Displaying 1-10 of 33 results found.
Coordination sequence for 3D uniform tiling formed by stacking parallel layers of the 3.12.12 2D tiling (cf. A250122).
+20
51
1, 5, 12, 22, 36, 56, 82, 111, 144, 183, 226, 272, 324, 382, 442, 505, 576, 653, 730, 810, 900, 996, 1090, 1187, 1296, 1411, 1522, 1636, 1764, 1898, 2026, 2157, 2304, 2457, 2602, 2750, 2916, 3088, 3250, 3415, 3600, 3791, 3970, 4152, 4356, 4566, 4762, 4961, 5184, 5413, 5626, 5842, 6084, 6332
REFERENCES
B. Grünbaum, Uniform tilings of 3-space, Geombinatorics, 4 (1994), 49-56. See tiling #19.
FORMULA
G.f.: (2*x^8 - 4*x^7 + 3*x^6 - 5*x^5 + x^4 - 3*x^3 - x^2 - x - 1)*(x + 1) / ((x - 1)^3*(x^2 + 1)^2).
a(n) = (4 - (2+8*i)*(-i)^n - (2-8*i)*i^n + i*((-i)^n-i^n)*n + 18*n^2) / 8 for n>2, where i=sqrt(-1).
a(n) = 3*a(n-1) - 5*a(n-2) + 7*a(n-3) - 7*a(n-4) + 5*a(n-5) - 3*a(n-6) + a(n-7) for n>9. (End)
MATHEMATICA
LinearRecurrence[{3, -5, 7, -7, 5, -3, 1}, {1, 5, 12, 22, 36, 56, 82, 111, 144, 183}, 60] (* Paolo Xausa, Jun 20 2024 *)
PROG
(PARI) Vec((1 + x)*(1 + x + x^2 + 3*x^3 - x^4 + 5*x^5 - 3*x^6 + 4*x^7 - 2*x^8) / ((1 - x)^3*(1 + x^2)^2) + O(x^60)) \\ Colin Barker, Feb 09 2018
CROSSREFS
The 28 uniform 3D tilings: cab: A299266, A299267; crs: A299268, A299269; fcu: A005901, A005902; fee: A299259, A299265; flu-e: A299272, A299273; fst: A299258, A299264; hal: A299274, A299275; hcp: A007899, A007202; hex: A005897, A005898; kag: A299256, A299262; lta: A008137, A299276; pcu: A005899, A001845; pcu-i: A299277, A299278; reo: A299279, A299280; reo-e: A299281, A299282; rho: A008137, A299276; sod: A005893, A005894; sve: A299255, A299261; svh: A299283, A299284; svj: A299254, A299260; svk: A010001, A063489; tca: A299285, A299286; tcd: A299287, A299288; tfs: A005899, A001845; tsi: A299289, A299290; ttw: A299257, A299263; ubt: A299291, A299292; bnn: A007899, A007202. See the Proserpio link in A299266 for overview.
Coordination sequence for planar net 3.3.3.3.6 (also called the fsz net).
+10
6134
1, 5, 9, 15, 19, 24, 29, 33, 39, 43, 48, 53, 57, 63, 67, 72, 77, 81, 87, 91, 96, 101, 105, 111, 115, 120, 125, 129, 135, 139, 144, 149, 153, 159, 163, 168, 173, 177, 183, 187, 192, 197, 201, 207, 211, 216, 221, 225, 231, 235
COMMENTS
There are eleven uniform (or Archimedean) tilings (or planar nets), with vertex symbols 3^6, 3^4.6, 3^3.4^2, 3^2.4.3.4, 4^4, 3.4.6.4, 3.6.3.6, 6^3, 3.12^2, 4.6.12, and 4.8^2. Grünbaum and Shephard (1987) is the best reference.
a(n) is the number of vertices at graph distance n from any fixed vertex.
The Mathematica notebook can compute 30 or 40 iterations, and colors them with period 5. You could also change out images if you want to. These graphs are better for analyzing 5-iteration chunks of the pattern. You can see that under iteration all fragments of the circumferences are preserved in shape and translated outwards a distance approximately sqrt(21) (relative to small triangle edge), the length of a long diagonal of larger rhombus unit cell. The conjectured recurrence should follow from an analysis of how new pieces occur in between the translated pieces. - Bradley Klee, Nov 26 2014
REFERENCES
Branko Grünbaum and G. C. Shephard, Tilings and Patterns. W. H. Freeman, New York, 1987, Fig. 2.1.5, p. 63.
Marjorie Senechal, Quasicrystals and geometry, Cambridge University Press, Cambridge, 1995, Fig. 1.10, Section 1.3, pp. 13-16.
LINKS
Reticular Chemistry Structure Resource, fszN. J. A. Sloane, Coordination Sequences, Planing Numbers, and Other Recent Sequences (II), Experimental Mathematics Seminar, Rutgers University, Jan 31 2019, Part 1, Part 2, Slides. (Mentions this sequence)
FORMULA
Based on the computations of Darrah Chavey, Bradley Klee, and Maurizio Paolini, there is a strong conjecture that the first differences of this sequence are 4, 4, 6, 4, 5, 5, 4, 6, 4, 5, 5, 4, 6, 4, 5, 5, ..., that is, 4 followed by (4,6,4,5,5) repeated.
This would imply that the sequence satisfies the recurrence:
for n > 2, a(n) = a(n-1) + { n == 0,3 (mod 5), 4; n == 4 (mod 5), 6; n == 1,2 (mod 5), 5 }
(from Darrah Chavey)
and has generating function
(x^2+x+1)*(x^4+3*x^3+3*x+1)/((x^4+x^3+x^2+x+1)*(x-1)^2)
All the above conjectures are true - for proof see link to my article with Chaim Goodman-Strauss. - N. J. A. Sloane, Jan 14 2018; link added Mar 26 2018
MATHEMATICA
CoefficientList[Series[(x^2+x+1)(x^4+3x^3+3x+1)/((x^4+x^3+x^2+x+1)(x-1)^2), {x, 0, 80}], x] (* or *) LinearRecurrence[{1, 0, 0, 0, 1, -1}, {1, 5, 9, 15, 19, 24, 29}, 60] (* Harvey P. Dale, May 05 2018 *)
PROG
(C) /* Comments on the C program (see link) from Maurizio Paolini, Nov 23 2014: Basically what I do is deform the net onto the integral lattice, connect nodes aligned either horizontally, vertically or diagonally from northeast to southwest, marking as UNREACHABLE the nodes with coordinates (i, j) satisfying i + 2*j = 0 mod 7. Then the code computes the distance from each node to the central node of the grid. */
CROSSREFS
For partial sums of the present sequence, see A250121.
EXTENSIONS
a(11)-a(49) from Maurizio Paolini, Nov 23 2014
a(0) = 1, thereafter a(n) = 4n.
+10
123
1, 4, 8, 12, 16, 20, 24, 28, 32, 36, 40, 44, 48, 52, 56, 60, 64, 68, 72, 76, 80, 84, 88, 92, 96, 100, 104, 108, 112, 116, 120, 124, 128, 132, 136, 140, 144, 148, 152, 156, 160, 164, 168, 172, 176, 180, 184, 188, 192, 196, 200, 204, 208, 212, 216, 220, 224, 228, 232
COMMENTS
Number of squares on the perimeter of an (n+1) X (n+1) board. - Jon Perry, Jul 27 2003 Coordination sequence for square lattice (or equivalently the planar net 4.4.4.4).
Apparently also the coordination sequence for the planar net 3.4.6.4. - Darrah Chavey, Nov 23 2014 I confirm that this is indeed the coordination sequence for the planar net 3.4.6.4. The points at graph distance n from a fixed point in this net essentially lie on a hexagon (see illustration in link).
If n = 3k, k >= 1, there are 2k + 1 nodes on each edge of the hexagon. This counts the corners of the hexagon twice, so the number of points in the shell is 6(2k + 1) - 6 = 4n. If n = 3k + 1, the numbers of points on the six edges of the hexagon are 2k + 2 (4 times) and 2k + 1 (twice), for a total of 12k + 10 - 6 = 4n. If n = 3k + 2 the numbers are 2k + 2 (4 times) and 2k + 3 twice, and again we get 4n points.
The illustration shows shells 0 through 12, as well as the hexagons formed by shells 9 (green, 36 points), 10 (black, 40 points), 11 (red, 44 points), and 12 (blue, 48 points).
It is clear from the net that this period-3 structure continues forever, and establishes the theorem.
In contrast, for the 4.4.4.4 planar net, the successive shells are diamonds instead of hexagons, and again the n-th shell (n > 0) contains 4n points.
Of course the two nets are very different, since 4.4.4.4 has the symmetry of the square, while 3.4.6.4 has only mirror symmetry (with respect to a point), and has the symmetry of a regular hexagon with respect to the center of any of the 12-gons. (End)
Also the coordination sequence for a 6.6.6.6 point in the 3-transitive tiling {4.6.6, 6.6.6, 6.6.6.6}, see A265045, A265046. - N. J. A. Sloane, Dec 27 2015 Also the coordination sequence for 2-dimensional cyclotomic lattice Z[zeta_4].
Susceptibility series H_1 for 2-dimensional Ising model (divided by 2).
Also the Engel expansion of exp^(1/4); cf. A006784 for the Engel expansion definition. - Benoit Cloitre, Mar 03 2002 Number of 2 X n binary matrices avoiding simultaneously the right angled numbered polyomino patterns (ranpp) (00,0), (00;1) and (10;1). An occurrence of a ranpp (xy;z) in a matrix A=(a(i,j)) is a triple (a(i1,j1), a(i1,j2), a(i2,j1)) where i1 < i2 and j1 < j2 and these elements are in same relative order as those in the triple (x,y,z). - Sergey Kitaev, Nov 11 2004 Also the coordination sequence for the htb net. - N. J. A. Sloane, Mar 31 2018 This is almost certainly also the coordination sequence for Dual(3.3.4.3.4) with respect to a tetravalent node. - Tom Karzes, Apr 01 2020 Minimal number of segments (equivalently, corners) in a rook circuit of a 2n X 2n board (maximal number is A085622). - Ruediger Jehn, Jan 02 2021
LINKS
Reticular Chemistry Structure Resource, sql and htbN. J. A. Sloane, Coordination Sequences, Planing Numbers, and Other Recent Sequences (II), Experimental Mathematics Seminar, Rutgers University, Jan 31 2019, Part I, Part 2, Slides. (Mentions this sequence)
FORMULA
Euler transform of length 2 sequence [4, -2]. - Michael Somos, Apr 16 2007 G.f.: ((1 + x) / (1 - x))^2. E.g.f.: 1 + 4*x*exp(x). - Michael Somos, Apr 16 2007
EXAMPLE
Illustration of initial terms as perimeters of squares (cf. Perry's comment above):
. o o o o o o
. o o o o o o o
. o o o o o o o o
. o o o o o o o o o
. o o o o o o o o o o
. o o o o o o o o o o o o o o o o o o o o o
.
. 1 4 8 12 16 20
(End)
MATHEMATICA
f[0] = 1; f[n_] := 4 n; Array[f, 59, 0] (* or *)
CoefficientList[ Series[(1 + x)^2/(1 - x)^2, {x, 0, 58}], x] (* Robert G. Wilson v, Jan 02 2011 *)
PROG
(Haskell)
a008574 0 = 1; a008574 n = 4 * n
CROSSREFS
List of coordination sequences for Laves tilings (or duals of uniform planar nets): [3,3,3,3,3.3] = A008486; [3.3.3.3.6] = A298014, A298015, A298016; [3.3.3.4.4] = A298022, A298024; [3.3.4.3.4] = A008574, A296368; [3.6.3.6] = A298026, A298028; [3.4.6.4] = A298029, A298031, A298033; [3.12.12] = A019557, A298035; [4.4.4.4] = A008574; [4.6.12] = A298036, A298038, A298040; [4.8.8] = A022144, A234275; [6.6.6] = A008458. Coordination sequences for the 20 2-uniform tilings in the order in which they appear in the Galebach catalog, together with their names in the RCSR database (two sequences per tiling): #1 krt A265035, A265036; #2 cph A301287, A301289; #3 krm A301291, A301293; #4 krl A301298, A298024; #5 krq A301299, A301301; #6 krs A301674, A301676; #7 krr A301670, A301672; #8 krk A301291, A301293; #9 krn A301678, A301680; #10 krg A301682, A301684; #11 bew A008574, A296910; #12 krh A301686, A301688; #13 krf A301690, A301692; #14 krd A301694, A219529; #15 krc A301708, A301710; #16 usm A301712, A301714; #17 krj A219529, A301697; #18 kre A301716, A301718; #19 krb A301720, A301722; #20 kra A301724, A301726.
Expansion of (1 + x + x^2)/(1 - x)^2.
+10
86
1, 3, 6, 9, 12, 15, 18, 21, 24, 27, 30, 33, 36, 39, 42, 45, 48, 51, 54, 57, 60, 63, 66, 69, 72, 75, 78, 81, 84, 87, 90, 93, 96, 99, 102, 105, 108, 111, 114, 117, 120, 123, 126, 129, 132, 135, 138, 141, 144, 147, 150, 153, 156, 159, 162, 165, 168, 171, 174, 177, 180, 183, 186
COMMENTS
Also the Engel expansion of exp^(1/3); cf. A006784 for the Engel expansion definition. - Benoit Cloitre, Mar 03 2002 Coordination sequence for planar net 6^3 (the graphite net, or the graphene crystal) - that is, the number of atoms at graph distance n from any fixed atom. Also for the hcb or honeycomb net. - N. J. A. Sloane, Jan 06 2013, Mar 31 2018 Coordination sequence for 2-dimensional cyclotomic lattice Z[zeta_3].
Conjecture: This is also the maximum number of edges possible in a planar simple graph with n+2 vertices. - Dmitry Kamenetsky, Jun 29 2008 The conjecture is correct. Proof: For n=0 the theorem holds, the maximum planar graph has n+2=2 vertices and 1 edge. Now suppose that we have a connected planar graph with at least 3 vertices. If it contains a face that is not a triangle, we can add an edge that divides this face into two without breaking its planarity. Hence all maximum planar graphs are triangulations. Euler's formula for planar graphs states that in any planar simple graph with V vertices, E edges and F faces we have V+F-E=2. If all faces are triangles, then F=2E/3, which gives us E=3V-6. Hence for n>0 each maximum planar simple graph with n+2 vertices has 3n edges. - Michal Forisek, Apr 23 2009 a(n) = sum of natural numbers m such that n - 1 <= m <= n + 1. Generalization: If a(n,k) = sum of natural numbers m such that n - k <= m <= n + k (k >= 1) then a(n,k) = (k + n)*(k + n + 1)/2 = A000217(k+n) for 0 <= n <= k, a(n,k) = a(n-1,k) +2k + 1 = ((k + n - 1)*(k + n)/2) + 2k + 1 = A000217(k+n-1) +2k +1 for n >= k + 1 (see e.g. A008486). - Jaroslav Krizek, Nov 18 2009 Integers n dividing a(n) = a(n-1) - a(n-2) with initial conditions a(0)=0, a(1)=1 (see A128834 with offset 0). - Thomas M. Bridge, Nov 03 2013 a(n) is conjectured to be the number of polygons added after n iterations of the polygon expansions (type A, B, C, D & E) shown in the Ngaokrajang link. The patterns are supposed to become the planar Archimedean net 3.3.3.3.3.3, 3.6.3.6, 3.12.12, 3.3.3.3.6 and 4.6.12 respectively when n - > infinity. - Kival Ngaokrajang, Dec 28 2014 Number of reduced words of length n in Coxeter group on 3 generators S_i with relations (S_i)^2 = (S_i S_j)^3 = I. - Ray Chandler, Nov 21 2016 Conjecture: let m = n + 2, p is the polyhedron formed by the convex hull of m points, q is the number of quadrilateral faces of p (see the Wikipedia link below), and f(m) = a(n) - q. Then f(m) would be the solution of the Thompson problem for all m in 3-space. - Sergey Pavlov, Feb 03 2017 Also, sequence defined by a(0)=1, a(1)=3, c(0)=2, c(1)=4; and thereafter a(n) = c(n-1) + c(n-2), and c consists of the numbers missing from a (see A001651). - Ivan Neretin, Mar 28 2017
REFERENCES
J. V. Uspensky and M. A. Heaslet, Elementary Number Theory, McGraw-Hill, NY, 1939, p. 158.
LINKS
Reticular Chemistry Structure Resource, hcb
FORMULA
a(0) = 1; a(n) = 3*n = A008585(n), n >= 1. Euler transform of length 3 sequence [3, 0, -1]. - Michael Somos, Aug 04 2009
EXAMPLE
G.f. = 1 + 3*x + 6*x^2 + 9*x^3 + 12*x^4 + 15*x^5 + 18*x^6 + 21*x^7 + 24*x^8 + ...
Illustration of initial terms as triangles:
. o
. o o o
. o o o o o
. o o o o o o o
. o o o o o o o o o
. o o o o o o o o o o o o o o o o o o o o o
.
. 1 3 6 9 12 15
(End)
MATHEMATICA
CoefficientList[Series[(1 + x + x^2) / (1 - x)^2, {x, 0, 80}], x] (* Vincenzo Librandi, Nov 23 2014 *)
PROG
(PARI) {a(n) = if( n==0, 1, 3 * n)}; /* Michael Somos, May 05 2015 */ (Haskell)
a008486 0 = 1; a008486 n = 3 * n
CROSSREFS
List of coordination sequences for Laves tilings (or duals of uniform planar nets): [3,3,3,3,3.3] = A008486; [3.3.3.3.6] = A298014, A298015, A298016; [3.3.3.4.4] = A298022, A298024; [3.3.4.3.4] = A008574, A296368; [3.6.3.6] = A298026, A298028; [3.4.6.4] = A298029, A298031, A298033; [3.12.12] = A019557, A298035; [4.4.4.4] = A008574; [4.6.12] = A298036, A298038, A298040; [4.8.8] = A022144, A234275; [6.6.6] = A008458.
Coordination sequence for hexagonal lattice.
+10
59
1, 6, 12, 18, 24, 30, 36, 42, 48, 54, 60, 66, 72, 78, 84, 90, 96, 102, 108, 114, 120, 126, 132, 138, 144, 150, 156, 162, 168, 174, 180, 186, 192, 198, 204, 210, 216, 222, 228, 234, 240, 246, 252, 258, 264, 270, 276, 282, 288, 294, 300, 306, 312, 318, 324, 330, 336, 342, 348
COMMENTS
The hexagonal lattice is the familiar 2-dimensional lattice in which each point has 6 neighbors. This is sometimes called the triangular lattice. It is also the planar net 3.3.3.3.3.3.
Coordination sequence for 2-dimensional cyclotomic lattice Z[zeta_6].
Apart from initial term(s), dimension of the space of weight 2n cusp forms for Gamma_0( 20 ).
Also the Engel expansion of exp^(1/6); cf. A006784 for the Engel expansion definition. - Benoit Cloitre, Mar 03 2002 Numbers k such that k+floor(k/2) | k*floor(k/2). - Wesley Ivan Hurt, Dec 01 2020
LINKS
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 ( pdf). Reticular Chemistry Structure Resource, hxl
FORMULA
G.f.: (1 + 4*x + x^2)/(1 - x)^2.
Equals binomial transform of [1, 5, 1, -1, 1, -1, 1, ...]. - Gary W. Adamson, Jul 08 2008 G.f.: Hypergeometric2F1([3,-2], [1], -x/(1-x)). - Paul Barry, Sep 18 2008 n*a(1) + (n-1)*a(2) + (n-2)*a(3) + ... + 2*a(n-1) + a(n) = n^3. - Warren Breslow, Oct 28 2013
EXAMPLE
Illustration of initial terms:
. o o o o o
. o o o o o o
. o o o o o o o
. o o o o o o o o
. o o o o o o o o o
. o o o o o o o o
. 1 o o o o o o o
. 6 o o o o o o
. 12 o o o o o
. 18
. 24
(End)
G.f. = 1 + 6*x + 12*x^2 + 18*x^3 + 24*x^4 + 30*x^5 + 36*x^6 + 42*x^7 + 48*x^8 + 54*x^9 + ...
PROG
(PARI) {a(n) = 6*n + (!n)};
(Maxima) makelist(if n=0 then 1 else 6*n, n, 0, 65); /* Martin Ettl, Nov 12 2012 */ (SageMath) [6*n+int(n==0) for n in range(66)] # G. C. Greubel, May 25 2023
CROSSREFS
List of coordination sequences for Laves tilings (or duals of uniform planar nets): [3,3,3,3,3.3] = A008486; [3.3.3.3.6] = A298014, A298015, A298016; [3.3.3.4.4] = A298022, A298024; [3.3.4.3.4] = A008574, A296368; [3.6.3.6] = A298026, A298028; [3.4.6.4] = A298029, A298031, A298033; [3.12.12] = A019557, A298035; [4.4.4.4] = A008574; [4.6.12] = A298036, A298038, A298040; [4.8.8] = A022144, A234275; [6.6.6] = A008458.
G.f.: (x^4+3*x^3+6*x^2+3*x+1)/((1-x)*(1-x^3)).
+10
57
1, 4, 10, 14, 18, 24, 28, 32, 38, 42, 46, 52, 56, 60, 66, 70, 74, 80, 84, 88, 94, 98, 102, 108, 112, 116, 122, 126, 130, 136, 140, 144, 150, 154, 158, 164, 168, 172, 178, 182, 186, 192, 196, 200, 206, 210, 214, 220, 224, 228, 234, 238, 242, 248, 252, 256, 262
COMMENTS
Coordination sequence for Dual(3^3.4^2) tiling with respect to a tetravalent node. This tiling is also called the prismatic pentagonal tiling, or the cem-d net. It is one of the 11 Laves tilings. (The identification of this coordination sequence with the g.f. in the definition was first conjectured by Colin Barker, Jan 22 2018.) Also, coordination sequence for a tetravalent node in the "krl" 2-D tiling (or net).
Both of these identifications are easily established using the "coloring book" method - see the Goodman-Strauss & Sloane link.
For n>0, this is twice A047386 (numbers congruent to 0 or +-2 mod 7). Linear recurrence and g.f. confirmed by Shutov/Maleev link. - Ray Chandler, Aug 31 2023
REFERENCES
Branko Grünbaum and G. C. Shephard, Tilings and Patterns. W. H. Freeman, New York, 1987. See Table 2.2.1, page 66, 3rd row, second tiling. (For the krl tiling.)
B. Gruenbaum and G. C. Shephard, Tilings and Patterns, W. H. Freeman, New York, 1987. See p. 96. (For the Dual(3^3.4^2) tiling.)
LINKS
Chung, Ping Ngai, Miguel A. Fernandez, Yifei Li, Michael Mara, Frank Morgan, Isamar Rosa Plata, Niralee Shah, Luis Sordo Vieira, and Elena Wikner. Isoperimetric Pentagonal Tilings, Notices of the AMS 59, no. 5 (2012), pp. 632-640. See Fig. 1 (right).
FORMULA
a(n) = a(n-1) + a(n-3) - a(n-4) for n>4. (Conjectured, correctly, by Colin Barker, Jan 22 2018.)
MATHEMATICA
CoefficientList[Series[(x^4+3x^3+6x^2+3x+1)/((1-x)(1-x^3)), {x, 0, 60}], x] (* or *) LinearRecurrence[{1, 0, 1, -1}, {1, 4, 10, 14, 18}, 80] (* Harvey P. Dale, Oct 03 2018 *)
PROG
(PARI) See Links section.
CROSSREFS
List of coordination sequences for Laves tilings (or duals of uniform planar nets): [3,3,3,3,3.3] = A008486; [3.3.3.3.6] = A298014, A298015, A298016; [3.3.3.4.4] = A298022, A298024; [3.3.4.3.4] = A008574, A296368; [3.6.3.6] = A298026, A298028; [3.4.6.4] = A298029, A298031, A298033; [3.12.12] = A019557, A298035; [4.4.4.4] = A008574; [4.6.12] = A298036, A298038, A298040; [4.8.8] = A022144, A234275; [6.6.6] = A008458. Coordination sequences for the 20 2-uniform tilings in the order in which they appear in the Galebach catalog, together with their names in the RCSR database (two sequences per tiling): #1 krt A265035, A265036; #2 cph A301287, A301289; #3 krm A301291, A301293; #4 krl A301298, A298024; #5 krq A301299, A301301; #6 krs A301674, A301676; #7 krr A301670, A301672; #8 krk A301291, A301293; #9 krn A301678, A301680; #10 krg A301682, A301684; #11 bew A008574, A296910; #12 krh A301686, A301688; #13 krf A301690, A301692; #14 krd A301694, A219529; #15 krc A301708, A301710; #16 usm A301712, A301714; #17 krj A219529, A301697; #18 kre A301716, A301718; #19 krb A301720, A301722; #20 kra A301724, A301726.
Coordination sequence for 3.3.4.3.4 Archimedean tiling.
+10
54
1, 5, 11, 16, 21, 27, 32, 37, 43, 48, 53, 59, 64, 69, 75, 80, 85, 91, 96, 101, 107, 112, 117, 123, 128, 133, 139, 144, 149, 155, 160, 165, 171, 176, 181, 187, 192, 197, 203, 208, 213, 219, 224, 229, 235, 240, 245, 251, 256, 261, 267, 272, 277, 283, 288, 293, 299
COMMENTS
a(n) is the number of vertices of the 3.3.4.3.4 tiling (which has three triangles and two squares, in the given cyclic order, meeting at each vertex) whose shortest path connecting them to a given origin vertex contains n edges.
First few terms provided by Allan C. Wechsler; Fred Lunnon and Fred Helenius gave the next few; Fred Lunnon suggested that the recurrence was a(n+3) = a(n) + 16 for n > 1. [This conjecture is true - see the CGS-NJAS link for a proof. - N. J. A. Sloane, Dec 31 2017] Appears also to be coordination sequence for node of type V2 in "krd" 2-D tiling (or net). This should be easy to prove by the coloring book method (see link). - N. J. A. Sloane, Mar 25 2018 Appears also to be coordination sequence for node of type V1 in "krj" 2-D tiling (or net). This also should be easy to prove by the coloring book method (see link). - N. J. A. Sloane, Mar 26 2018
REFERENCES
Branko Grünbaum and G. C. Shephard, Tilings and Patterns. W. H. Freeman, New York, 1987. See Table 2.2.1, page 67, 1st row, 2nd tiling, also 2nd row, third tiling.
LINKS
Reticular Chemistry Structure Resource, ttsN. J. A. Sloane, Coordination Sequences, Planing Numbers, and Other Recent Sequences (II), Experimental Mathematics Seminar, Rutgers University, Jan 31 2019, Part I, Part 2, Slides. (Mentions this sequence)
FORMULA
Conjectured to be a(n) = floor((16n+1)/3) for n>0; a(0) = 1; this is a consequence of the suggested recurrence due to Lunnon (see comments). [This conjecture is true - see the CGS-NJAS link in A296368 for a proof. - N. J. A. Sloane, Dec 31 2017] a(n) = (16*n - ChebyshevU(n-1, -1/2))/3 for n>0 with a(0)=1.
MAPLE
A219529:= n -> `if`(n=0, 1, (16*n +1 - `mod`(n+1, 3))/3);
MATHEMATICA
Join[{1}, LinearRecurrence[{1, 0, 1, -1}, {5, 11, 16, 21}, 60]] (* Jean-François Alcover, Dec 13 2018 *) Table[If[n==0, 1, (16*n +1 - Mod[n+1, 3])/3], {n, 0, 60}] (* G. C. Greubel, May 27 2020 *) CoefficientList[Series[(x+1)^4/((x^2+x+1)(x-1)^2), {x, 0, 70}], x] (* Harvey P. Dale, Jul 03 2021 *)
PROG
(Haskell)
-- Very slow, could certainly be accelerated. SST stands for Snub Square Tiling.
setUnion [] l2 = l2
setUnion (a:rst) l2 = if (elem a l2) then doRest else (a:doRest)
where doRest = setUnion rst l2
setDifference [] l2 = []
setDifference (a:rst) l2 = if (elem a l2) then doRest else (a:doRest)
where doRest = setDifference rst l2
adjust k = (if (even k) then 1 else -1)
weirdAdjacent (x, y) = (x+(adjust y), y+(adjust x))
sstAdjacents (x, y) = [(x+1, y), (x-1, y), (x, y+1), (x, y-1), (weirdAdjacent (x, y))]
sstNeighbors core = foldl setUnion core (map sstAdjacents core)
sstGlob n core = if (n == 0) then core else (sstGlob (n-1) (sstNeighbors core))
sstHalo core = setDifference (sstNeighbors core) core
origin = [(0, 0)]
a219529 n = length (sstHalo (sstGlob (n-1) origin))
(Sage) [1]+[(16*n+1 -(n+1)%3)/3 for n in (1..60)] # G. C. Greubel, May 27 2020
CROSSREFS
Coordination sequences for the 20 2-uniform tilings in the order in which they appear in the Galebach catalog, together with their names in the RCSR database (two sequences per tiling): #1 krt A265035, A265036; #2 cph A301287, A301289; #3 krm A301291, A301293; #4 krl A301298, A298024; #5 krq A301299, A301301; #6 krs A301674, A301676; #7 krr A301670, A301672; #8 krk A301291, A301293; #9 krn A301678, A301680; #10 krg A301682, A301684; #11 bew A008574, A296910; #12 krh A301686, A301688; #13 krf A301690, A301692; #14 krd A301694, A219529; #15 krc A301708, A301710; #16 usm A301712, A301714; #17 krj A219529, A301697; #18 kre A301716, A301718; #19 krb A301720, A301722; #20 kra A301724, A301726.
EXTENSIONS
Corrected attributions and epistemological status in Comments; provided slow Haskell code - Allan C. Wechsler, Nov 30 2012
Coordination sequence for planar net 4.8.8.
+10
43
1, 3, 5, 8, 11, 13, 16, 19, 21, 24, 27, 29, 32, 35, 37, 40, 43, 45, 48, 51, 53, 56, 59, 61, 64, 67, 69, 72, 75, 77, 80, 83, 85, 88, 91, 93, 96, 99, 101, 104, 107, 109, 112, 115, 117, 120, 123, 125, 128, 131, 133
COMMENTS
Also, growth series for the affine Coxeter (or Weyl) groups B_2. - N. J. A. Sloane, Jan 11 2016
REFERENCES
N. Bourbaki, Groupes et Algèbres de Lie, Chap. 4, 5 and 6, Hermann, Paris, 1968. See Chap. VI, Section 4, Problem 10b, page 231, W_a(t).
A. V. Shutov, On the number of words of a given length in plane crystallographic groups (Russian), Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 302 (2003), Anal. Teor. Chisel i Teor. Funkts. 19, 188--197, 203; translation in J. Math. Sci. (N.Y.) 129 (2005), no. 3, 3922-3926 [MR2023041]. See Table 1.
LINKS
Reticular Chemistry Structure Resource, fes
FORMULA
G.f.: ((1+x)^2*(1+x^2))/((1-x)^2*(1+x+x^2)). - Ralf Stephan, Apr 24 2004 a(0)=1, a(1)=3, a(2)=5, a(3)=8, a(4)=11, a(n) = a(n-1) + a(n-3) - a(n-4). - Harvey P. Dale, Nov 24 2011 a(0)=1; thereafter a(3k)=8k, a(3k+1)=8k+3, a(3k+2)=8k+5. - N. J. A. Sloane, Dec 22 2015 The above g.f. and recurrence were originally empirical observations, but I now have a proof (details will be added later). This also justifies the Maple and Mma programs and the b-file. - N. J. A. Sloane, Dec 22 2015
MAPLE
if n mod 3 = 0 then 8*n/3 elif n mod 3 = 1 then 8*(n-1)/3+3 else 8*(n-2)/3+5 fi;
MATHEMATICA
cspn[n_]:=Module[{c=Mod[n, 3]}, Which[c==0, (8n)/3, c==1, (8(n-1))/3+3, True, (8(n-2))/3+5]]; Join[{1}, Array[cspn, 50]] (* or *) Join[{1}, LinearRecurrence[ {1, 0, 1, -1}, {3, 5, 8, 11}, 50]] (* Harvey P. Dale, Nov 24 2011 *)
PROG
(PARI) a(n)=([0, 1, 0, 0; 0, 0, 1, 0; 0, 0, 0, 1; -1, 1, 0, 1]^n*[1; 3; 5; 8])[1, 1] \\ Charles R Greathouse IV, Apr 08 2016
Coordination sequence for root lattice B_2.
+10
39
1, 8, 16, 24, 32, 40, 48, 56, 64, 72, 80, 88, 96, 104, 112, 120, 128, 136, 144, 152, 160, 168, 176, 184, 192, 200, 208, 216, 224, 232, 240, 248, 256, 264, 272, 280, 288, 296, 304, 312, 320, 328, 336, 344, 352, 360
COMMENTS
Equivalently, the coordination sequence for a point of degree 8 in the tiling of the Euclidean plane by right triangles (with angles Pi/2, Pi/4, Pi/4). These triangles are fundamental regions for the Coxeter group (2,4,4). In the notation of Conway et al. 2008 this is the tiling *442. The coordination sequence for a point of degree 4 is given by A234275. - N. J. A. Sloane, Dec 28 2015 Number of points of L_infinity norm n in the simple square lattice Z^2. - N. J. A. Sloane, Apr 15 2008 Apart from initial term(s), dimension of the space of weight 2n cusp forms for Gamma_0( 24 ).
Number of 4 X n binary matrices avoiding simultaneously the right angled numbered polyomino patterns (ranpp) (00;1), (01;0), (11;0) and (01;1). An occurrence of a ranpp (xy;z) in a matrix A=(a(i,j)) is a triple (a(i1,j1), a(i1,j2), a(i2,j1)) where i1<i2, j1<j2 and these elements are in same relative order as those in the triple (x,y,z). - Sergey Kitaev, Nov 11 2004 These numbers correspond to the number of primes in the shells of a prime spiral. In a(2) there are 8 primes surrounding 2 in a prime spiral. - Enoch Haga, Apr 06 2000
REFERENCES
J. H. Conway et al., The Symmetries of Things, Peters, 2008, p. 191.
FORMULA
a(n) = [x^(2*n)] ((1 + x)/(1 - x))^2.
G.f. for coordination sequence of B_n lattice: Sum_{i=0..n} binomial(2*n+1, 2*i)*z^i - 2*n*z*(1+z)^(n-1)/(1-z)^n. [Bacher et al.]
a(n) = (2*n+1)^2 - (2*n-1)^2. Binomial transform of [1, 7, 1, -1, 1, -1, 1, ...]. - Gary W. Adamson, Dec 27 2007
EXAMPLE
1 + 8*x + 16*x^2 + 24*x^3 + 32*x^4 + 40*x^5 + 48*x^6 + 56*x^7 + ...
CROSSREFS
Apart from initial term, the same as A008590. List of coordination sequences for Laves tilings (or duals of uniform planar nets): [3,3,3,3,3.3] = A008486; [3.3.3.3.6] = A298014, A298015, A298016; [3.3.3.4.4] = A298022, A298024; [3.3.4.3.4] = A008574, A296368; [3.6.3.6] = A298026, A298028; [3.4.6.4] = A298029, A298031, A298033; [3.12.12] = A019557, A298035; [4.4.4.4] = A008574; [4.6.12] = A298036, A298038, A298040; [4.8.8] = A022144, A234275; [6.6.6] = A008458.
AUTHOR
Michael Baake (mbaake(AT)sunelc3.tphys.physik.uni-tuebingen.de)
Coordination sequence of 2-uniform tiling {3.4.6.4, 4.6.12} with respect to a point of type 3.4.6.4.
+10
38
1, 4, 6, 7, 10, 14, 20, 24, 24, 23, 26, 34, 42, 44, 40, 37, 42, 54, 64, 64, 56, 51, 58, 74, 86, 84, 72, 65, 74, 94, 108, 104, 88, 79, 90, 114, 130, 124, 104, 93, 106, 134, 152, 144, 120, 107, 122, 154, 174, 164, 136, 121, 138, 174, 196, 184, 152, 135, 154, 194, 218
COMMENTS
Linear recurrence and g.f. confirmed by Shutov/Maleev link. - Ray Chandler, Aug 31 2023
REFERENCES
Branko Grünbaum and G. C. Shephard, Tilings and Patterns. W. H. Freeman, New York, 1987. See page 67, 4th row, 3rd tiling.
Otto Krötenheerdt, Die homogenen Mosaike n-ter Ordnung in der euklidischen Ebene, I, II, III, Wiss. Z. Martin-Luther-Univ. Halle-Wittenberg, Math-Natur. Reihe, 18 (1969), 273-290; 19 (1970), 19-38 and 97-122. [Includes classification of 2-uniform tilings]
Anton Shutov and Andrey Maleev, Coordination sequences of 2-uniform graphs, Z. Kristallogr., 235 (2020), 157-166.
FORMULA
Based on the b-file, the g.f. appears to be (-2*x^9+6*x^8-8*x^7+7*x^6-2*x^5-2*x^4+5*x^3-2*x^2+1) / (x^6-4*x^5+8*x^4-10*x^3+8*x^2-4*x+1). - N. J. A. Sloane, Dec 14 2015
MATHEMATICA
LinearRecurrence[{4, -8, 10, -8, 4, -1}, {1, 4, 6, 7, 10, 14, 20, 24, 24, 23}, 100] (* Paolo Xausa, Nov 15 2023 *)
CROSSREFS
See A265035 for the other type of point. Coordination sequences for the 20 2-uniform tilings in the order in which they appear in the Galebach catalog, together with their names in the RCSR database (two sequences per tiling): #1 krt A265035, A265036; #2 cph A301287, A301289; #3 krm A301291, A301293; #4 krl A301298, A298024; #5 krq A301299, A301301; #6 krs A301674, A301676; #7 krr A301670, A301672; #8 krk A301291, A301293; #9 krn A301678, A301680; #10 krg A301682, A301684; #11 bew A008574, A296910; #12 krh A301686, A301688; #13 krf A301690, A301692; #14 krd A301694, A219529; #15 krc A301708, A301710; #16 usm A301712, A301714; #17 krj A219529, A301697; #18 kre A301716, A301718; #19 krb A301720, A301722; #20 kra A301724, A301726.
Search completed in 0.040 seconds
| 
