OFFSET
2,2
COMMENTS
For definitions and more details, see the PDF by L. E. Jeffery.
Let n be an integer, n >= 2, and let k in {1,...,floor(n/2)}. Let R_n be the set of floor(n/2) rhombi in which the k-th rhombus r_{n,k} in R_n has interior angles about its vertices (or corners) given by the pair (k*Pi/n, (n-k)*Pi/n). Let T be any tiling of the plane. For any tile t in T, let C_m(t) denote the m-th corona of t, m>=0. Equivalently, starting with any r in R_n fixed in the plane, we can compose a corona C_m(r) of r of any order m by tessellation using tiles of R_n. For any r in R_n fixed in the plane, a disjoint union of r with four tiles t_1,t_2,t_3,t_4 in R_n is called a "candidate." If no tiles overlap in a candidate, then that candidate is called an "r-core;" otherwise that candidate is rejected (since no corona of r can be constructed from it). For each r_{n,k} in R_n, and for m>0, every r_{n,k}-core can be extended to an m-th corona of r_{n,k} using tiles of R_n in a number of ways. For the case m=1, the array A233332 gives the number of ways that this can be done for each n and k. In the theory of tiles the general problem of counting these coronas and its reduction for symmetry seem to have not been addressed before in the literature.
REFERENCES
Marjorie Senechal, Quasicrystals and Geometry, Cambridge University Press, 1995, p. 145.
LINKS
Dirk Frettlöh, Glossary of tiling-theoretic terms, Tilings Encyclopedia.
L. E. Jeffery, Algorithm for constructing A233332.
Eric W. Weisstein, Corona, from MathWorld.
Eric W. Weisstein, Tiling, from MathWorld.
FORMULA
The Jeffery PDF contains an algorithm for constructing this array.
Conjecture: The entries of column k satisfy sum{h=0..5} ((-1)^h*binomial(5,h)*A(n+5-h,k)) = 0, for appropriate initial conditions.
EXAMPLE
Array begins: {1}; {16}; {64, 81}; {169, 225}; {361, 484, 527}; ...
MATHEMATICA
maxn := 13; t[n_, m_, i_] := 1 + Mod[Floor[m/(n - 1)^(4 - i)], n - 1]; e[n_, k_, m_, 1] := -t[n, m, 1] + k + t[n, m, 4]; e[n_, k_, m_, 2] := -t[n, m, 2] - k + n + t[n, m, 1]; e[n_, k_, m_, 3] := -t[n, m, 3] + k + t[n, m, 2]; e[n_, k_, m_, 4] := -t[n, m, 4] - k + n + t[n, m, 3]; cores[n_, k_] := Sum[Product[If[e[n, k, m, i] >= 0, 1, 0], {i, 1, 4}], {m, 0, (n - 1)^4 - 1}]; Flatten[Table[cores[n, k], {n, 2, maxn}, {k, 1, Floor[n/2]}]] (* L. Edson Jeffery, Jul 22 2014 *)
CROSSREFS
KEYWORD
nonn,tabf
AUTHOR
L. Edson Jeffery, Dec 29 2013
STATUS
approved