OFFSET
0,2
COMMENTS
Let E denote the lattice of Eisenstein integers u + v*w in the plane, with each point joined to its six neighbors. Here u and v are ordinary integers and w = (-1+sqrt(-3))/2 is a complex cube root of unity. Let theta = w - w^2 = sqrt(-3). Then theta*E is a sublattice of E of index 3 (Conway-Sloane, Fig. 7.2). The tiling considered in this sequence is obtained by replacing each node in theta*E by a small hexagon.
REFERENCES
J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, 3rd. ed., 1993. See Fig. 7.2, page 199.
LINKS
Colin Barker, Table of n, a(n) for n = 0..1000
Rémy Sigrist, Illustration of initial terms
N. J. A. Sloane, The graph of the tiling. (The red dots indicate the nodes of the sublattice theta*E.)
Index entries for linear recurrences with constant coefficients, signature (2,-1).
FORMULA
a(n) = 12*n-21 = A017557(n-2) for n > 5.
From Colin Barker, Mar 11 2020: (Start)
G.f.: (1 + x + x^2)*(1 + x^2 + 2*x^3 + x^4 - x^5) / (1 - x)^2.
a(n) = 2*a(n-1) - a(n-2) for n>7. (End)
E.g.f.: 22 + 12*x + 2*x^2 - x^3/6 - x^4/12 - x^5/120 + 3*exp(x)*(4*x - 7). - Stefano Spezia, Jul 10 2026
MATHEMATICA
Join[{1, 3, 7, 14, 25, 38}, 12*Range[6, 100] - 21] (* Paolo Xausa, Jul 10 2026 *)
PROG
(PARI) Vec((1 + x + x^2)*(1 + x^2 + 2*x^3 + x^4 - x^5) / (1 - x)^2 + O(x^50)) \\ Colin Barker, Mar 11 2020
CROSSREFS
KEYWORD
nonn,easy,changed
AUTHOR
Rémy Sigrist and N. J. A. Sloane, Jul 01 2018
EXTENSIONS
Terms a(16) and beyond from Andrei Zabolotskii, Sep 30 2019
STATUS
approved
