A266213 -id:A266213 - cp's OEIS frontend

A005899 Number of points on surface of octahedron; also coordination sequence for cubic lattice: a(0) = 1; for n > 0, a(n) = 4n^2 + 2.

1, 6, 18, 38, 66, 102, 146, 198, 258, 326, 402, 486, 578, 678, 786, 902, 1026, 1158, 1298, 1446, 1602, 1766, 1938, 2118, 2306, 2502, 2706, 2918, 3138, 3366, 3602, 3846, 4098, 4358, 4626, 4902, 5186, 5478, 5778, 6086, 6402, 6726, 7058, 7398, 7746, 8102, 8466

Offset: 0

N. J. A. Sloane

Also, the number of regions the plane can be cut into by two overlapping concave (2n)-gons. - Joshua Zucker, Nov 05 2002
If X is an n-set and Y_i (i=1,2,3) are mutually disjoint 2-subsets of X then a(n-5) is equal to the number of 5-subsets of X intersecting each Y_i (i=1,2,3). - Milan Janjic, Aug 26 2007
Binomial transform of a(n) is A055580(n). - Wesley Ivan Hurt, Apr 15 2014
The identity (4*n^2+2)^2 - (n^2+1)*(4*n)^2 = 4 can be written as a(n)^2 - A002522(n)*A008586(n)^2 = 4. - Vincenzo Librandi, Jun 15 2014
Also the least number of unit cubes required, at the n-th iteration, to surround a 3D solid built from unit cubes, in order to hide all its visible faces, starting with a unit cube. - R. J. Cano, Sep 29 2015
Also, coordination sequence for "tfs" 3D uniform tiling. - N. J. A. Sloane, Feb 10 2018
Also, the number of n-th order specular reflections arriving at a receiver point from an emitter point inside a cuboid with reflective faces. - Michael Schutte, Sep 18 2018

H. S. M. Coxeter, "Polyhedral numbers," in R. S. Cohen et al., editors, For Dirk Struik. Reidel, Dordrecht, 1974, pp. 25-35.
Gmelin Handbook of Inorg. and Organomet. Chem., 8th Ed., 1994, TYPIX search code (225) cF8
B. Grünbaum, Uniform tilings of 3-space, Geombinatorics, 4 (1994), 49-56. See tilings #16 and #22.
R. W. Marks and R. B. Fuller, The Dymaxion World of Buckminster Fuller. Anchor, NY, 1973, p. 46.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 0..1000
Barry Balof, Restricted tilings and bijections, J. Integer Seq. 15 (2012), no. 2, Article 12.2.3, 17 pp.
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Pierre de la Harpe, On the prehistory of growth of groups, arXiv:2106.02499 [math.GR], 2021.
R. W. Grosse-Kunstleve, Coordination Sequences and Encyclopedia of Integer Sequences
R. W. Grosse-Kunstleve, G. O. Brunner and N. J. A. Sloane, Algebraic Description of Coordination Sequences and Exact Topological Densities for Zeolites, Acta Cryst., A52 (1996), pp. 879-889.
Milan Janjic, Two Enumerative Functions
Milan Janjić, On Restricted Ternary Words and Insets, arXiv:1905.04465 [math.CO], 2019.
M. O'Keeffe, Coordination sequences for lattices, Zeit. f. Krist., 210 (1995), 905-908.
M. O'Keeffe, Coordination sequences for lattices, Zeit. f. Krist., 210 (1995), 905-908. [Annotated scanned copy]
Carlos I. Perez-Sanchez, The Spectral Action on quivers, arXiv:2401.03705 [math.RT], 2024.
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992
Reticular Chemistry Structure Resource (RCSR), The pcu tiling (or net)
Reticular Chemistry Structure Resource (RCSR), The tfs tiling (or net)
B. K. Teo and N. J. A. Sloane, Magic numbers in polygonal and polyhedral clusters, Inorgan. Chem. 24 (1985),4545-4558.
N. J. A. Sloane, Illustration of a(0)=1, a(1)=6, a(2)=18 (from Teo-Sloane 1985)
Index entries for linear recurrences with constant coefficients, signature (3,-3,1).

Partial sums give A001845.
Column 2 * 2 of array A188645.
Cf. A001844, A002522, A008586, A010014, A055580, A195322, A206399.
Cf. A000384, A014105, A000217, A008574, A008412, A035597.
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.
Row 3 of A035607, A266213, A343599.
Column 3 of A113413, A119800, A122542.

[4*n^2 + 2 : n in [0..50]]; // Wesley Ivan Hurt, Oct 26 2015

A005899:=n->4*n^2 + 2; seq(A005899(n), n=0..50); # Wesley Ivan Hurt, Apr 15 2014

Join[{1},4Range[40]^2+2] (* or *) Join[{1},LinearRecurrence[{3,-3,1},{6,18,38},40]] (* Harvey P. Dale, Nov 08 2011 *)

Vec(((1+x)/(1-x))^3 + O(x^100)) \\ Altug Alkan, Oct 26 2015

G.f.: ((1+x)/(1-x))^3. - Simon Plouffe in his 1992 dissertation
Binomial transform of [1, 5, 7, 1, -1, 1, -1, 1, ...]. - Gary W. Adamson, Nov 02 2007
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3), with a(0)=1, a(1)=6, a(2)=18, a(3)=38. - Harvey P. Dale, Nov 08 2011
Recurrence: n*a(n) = (n-2)*a(n-2) + 6*a(n-1), a(0)=1, a(1)=6. - Fung Lam, Apr 15 2014
For n > 0, a(n) = A001844(n-1) + A001844(n) = (n-1)^2 + 2n^2 + (n+1)^2. - Doug Bell, Aug 18 2015
For n > 0, a(n) = A010014(n) - A195322(n). - R. J. Cano, Sep 29 2015
For n > 0, a(n) = A000384(n+1) + A014105(n-1). - Bruce J. Nicholson, Oct 08 2017
a(n) = A008574(n) + A008574(n-1) + a(n-1). - Bruce J. Nicholson, Dec 18 2017
a(n) = 2*d*Hypergeometric2F1(1-d, 1-n, 2, 2) where d=3, n>0. - Shel Kaphan, Feb 16 2023
a(n) = A035597(n)*3/n, for n>0. - Shel Kaphan, Feb 26 2023
E.g.f.: exp(x)*(2 + 4*x + 4*x^2) - 1. - Stefano Spezia, Mar 08 2023
Sum_{n>=0} 1/a(n) = 3/4 + Pi *sqrt(2)*coth( Pi/sqrt 2)/8 = 1.31858... - R. J. Mathar, Apr 27 2024

A035607 Table a(d,m) of number of points of L1 norm m in cubic lattice Z^d, read by antidiagonals (d >= 1, m >= 0).

Original entry on oeis.org

1, 1, 2, 1, 4, 2, 1, 6, 8, 2, 1, 8, 18, 12, 2, 1, 10, 32, 38, 16, 2, 1, 12, 50, 88, 66, 20, 2, 1, 14, 72, 170, 192, 102, 24, 2, 1, 16, 98, 292, 450, 360, 146, 28, 2, 1, 18, 128, 462, 912, 1002, 608, 198, 32, 2, 1, 20, 162, 688, 1666, 2364, 1970, 952, 258, 36, 2, 1, 22, 200, 978, 2816

Offset: 0

N. J. A. Sloane

Table also gives coordination sequences of same lattices.
Rows sums are given by A001333. Rising and falling diagonals are the tribonacci numbers A000213, A001590. - Paul Barry, Feb 13 2003
a(d,m) also gives the number of ways to choose m squares from a 2 X (d-1) grid so that no two squares in the selection are (horizontally or vertically) adjacent. - Jacob A. Siehler, May 13 2006
Mirror image of triangle A113413. - Philippe Deléham, Oct 15 2006
The Ca1 sums lead to A126116 and the Ca2 sums lead to A070550, see A180662 for the definitions of these triangle sums. - Johannes W. Meijer, Aug 05 2011
A035607 is jointly generated with the Delannoy triangle A008288 as an array of coefficients of polynomials v(n,x):  initially, u(1,x) = v(1,x) = 1; for n > 1, u(n,x) = x*u(n-1,x) + v(n-1) and v(n,x) = 2*x*u(n-1,x) + v(n-1,x).  See the Mathematica section. - Clark Kimberling, Mar 05 2012
Also, the polynomial v(n,x) above is x + (x + 1)*f(n-1,x), where f(0,x) = 1. - Clark Kimberling, Oct 24 2014
Rows also give the coefficients of the independence polynomial of the n-ladder graph. - Eric W. Weisstein, Dec 29 2017
Considering both sequences as square arrays (offset by one row), the rows of A035607 are the first differences of the rows of A008288, and the rows of A008288 are the partial sums of the rows of A035607. - Shel Kaphan, Feb 23 2023
Considering only points with nonnegative coordinates, the number of points at L1 distance = m in d dimensions is the same as the number of ways of putting m indistinguishable balls into d distinguishable urns, binomial(m+d-1, d-1). This is one facet of the cross-polytope. Allowing for + and - coordinates, there are binomial(d,i)*2^i facets containing points with up to i nonzero coordinates. Eliminating double counting of points with any coordinates = 0, there are Sum_{i=1..d} (-1)^(d-i)*binomial(m+i-1,i-1)*binomial(d,i)*2^i points at distance m in d dimensions. One may avoid the alternating sum by using binomial(m-1,i-1) to count only the points per facet with exactly i nonzero coordinates, avoiding any double counting, but the result is the same. - Shel Kaphan, Mar 04 2023

			From _Clark Kimberling_, Oct 24 2014: (Start)
As a triangle of coefficients in polynomials v(n,x) in Comments, the first 6 rows are
  1
  1   2
  1   4   2
  1   6   8   2
  1   8  18  12   2
  1  10  32  38  16   2
  ... (End)
From _Shel Kaphan_, Mar 04 2023: (Start)
For d=3, m=4:
There are binomial(3,1)*2^1 = 6 facets (vertices) of binomial(4+1-1,1-1) = 1 point with <= one nonzero coordinate.
There are binomial(3,2)*2^2 = 12 facets (edges) of binomial(4+2-1,2-1) = 5 points with <= two nonzero coordinates.
There are binomial(3,3)*2^3 = 8 facets (faces) of binomial(4+3-1,3-1) = 15 points with <= three nonzero coordinates.
a(3,4) = 8*15 - 12*5 + 6*1 = 120 - 60 + 6 = 66. (End)

Reinhard Zumkeller, Rows n = 0..125 of triangle, flattened
Bela Bajnok, Additive Combinatorics: A Menu of Research Problems, arXiv:1705.07444 [math.NT], May 2017. See Sect. 2.3.
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
M. Janjic and B. Petkovic, A Counting Function, arXiv preprint arXiv:1301.4550 [math.CO], 2013. - From _N. J. A. Sloane_, Feb 13 2013
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 392.
R. J. Mathar, Bivariate Generating Functions for Non-attacking Wazirs on Rectangular Boards (2024), Table 2.
Emanuele Munarini, Combinatorial properties of the antichains of a garland, Integers, 9 (2009), 353-374.
Joan Serra-Sagrista, Enumeration of lattice points in l_1 norm, Inf. Proc. Lett. 76 (1-2) (2000) 39-44.
J. Siehler, Adjacency-free selections from a 2xN grid (Mathematica notebook) [broken link]
Jacob A. Siehler, Selections Without Adjacency on a Rectangular Grid, arXiv:1409.3869 [math.CO], 2014.
Eric Weisstein's World of Mathematics, Independence Polynomial
Eric Weisstein's World of Mathematics, Ladder Graph

Other versions: A113413, A119800, A122542, A266213.
Cf. A008288, which has g.f. 1/(1-x-x*y-x^2*y).
Cf. A078057 (row sums), A050146 (central terms).
Cf. A050146.

a035607 n k = a035607_tabl !! n !! k
a035607_row n = a035607_tabl !! n
a035607_tabl = map fst $ iterate
   (\(us, vs) -> (vs, zipWith (+) ([0] ++ us ++ [0]) $
                      zipWith (+) ([0] ++ vs) (vs ++ [0]))) ([1], [1, 2])
-- Reinhard Zumkeller, Jul 20 2013

A035607 := proc(d,m) local j: add(binomial(floor((d-1+j)/2),d-m-1)*binomial(d-m-1, floor((d-1-j)/2)),j=0..d-1) end: seq(seq(A035607(d,m),m=0..d-1),d=1..11); # d=dimension, m=norm # Johannes W. Meijer, Aug 05 2011

u[1, x_] := 1; v[1, x_] := 1; z = 16;
u[n_, x_] := x*u[n - 1, x] + v[n - 1, x];
v[n_, x_] := 2 x*u[n - 1, x] + v[n - 1, x];
Table[Expand[u[n, x]], {n, 1, z/2}]
Table[Expand[v[n, x]], {n, 1, z/2}]
cu = Table[CoefficientList[u[n, x], x], {n, 1, z}];
TableForm[cu]
Flatten[%]    (* A008288 *)
Table[Expand[v[n, x]], {n, 1, z}]
cv = Table[CoefficientList[v[n, x], x], {n, 1, z}];
TableForm[cv]
Flatten[%]    (* A035607 *)
(* Clark Kimberling, Mar 09 2012 *)
Reverse /@ CoefficientList[CoefficientList[Series[(1 + x)/(1 - x - x y - x^2 y), {x, 0, 10}], x], y] // Flatten (* Eric W. Weisstein, Dec 29 2017 *)

T(n, k) = if (k==0, 1, sum(i=0, k-1, binomial(n-k,i+1)*binomial(k-1,i)*2^(i+1)));
tabl(nn) = for (n=1, nn, for (k=0, n-1, print1(T(n, k), ", ")); print); \\ as a triangle; Michel Marcus, Feb 27 2018

def A035607_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return prec(n-1,k-1)+2*sum(prec(n-i,k-1) for i in (2..n-k+1))
    return [prec(n, n-k) for k in (0..n-1)]
for n in (1..10): print(A035607_row(n)) # Peter Luschny, Mar 16 2016

From Johannes W. Meijer, Aug 05 2011: (Start)
f(d,m) = Sum_{j=0..d-1} binomial(floor((d-1+j)/2), d-m-1)*binomial(d-m-1, floor((d-1-j)/2)), d >= 1 and 0 <= m <= d-1.
f(d,m) = f(d-1,m-1) + f(d-1,m) + f(d-2,m-1) (d >= 3 and 1 <= m <= d-1) with f(d,0) = 1 (d >= 1) and f(d,d-1) = 2 (d>=2). (End)
From Roger Cuculière, Apr 10 2006: (Start)
The generating function G(x,y) of this double sequence is the sum of a(n,p)*x^n*y^p, n=1..oo, p=0..oo, which is G(x,y) = x*(1+y)/(1-x-y-x*y).
The horizontal generating function H_n(y), which generates the rows of the table: (1, 2, 2, 2, 2, ...), (1, 4, 8, 12, 16, ...), (1, 6, 18, 38, 66, ...), is the sum of a(n,p)*y^p, p=0..oo, for each fixed n. This is H_n(y) = ((1+y)^n)/((1-y)^n).
The vertical generating function V_p(x), which generates the columns of the table: (1, 1, 1, 1, 1, ...), (2, 4, 6, 8, 10, ...), (2, 8, 18, 32, 50, ...), is the sum of a(n,p)*x^n, n=1..oo, for each fixed p. This is V_p(x) = 2*((1+x)^(p-1))/((1-x)^(p+1)) for p >= 1 and V_0(x) = x/(1-x). (End)
G.f.: (1+x)/(1-x-x*y-x^2*y). - Vladeta Jovovic, Apr 02 2002 (But see previous lines!)
T(2*n,n) = A050146(n+1). - Reinhard Zumkeller, Jul 20 2013
Seen as a triangle read by rows: T(n,0) = 1, for n > 1: T(n,n-1) = 2, T(n,k) = T(n-1,k-1) + T(n-1,k) + T(n-2,k-1), 0 < k < n. - Reinhard Zumkeller, Jul 20 2013
Seen as a triangle T(n,k) with 0 <= k < n read by rows: T(n,0)=1 for n > 0 and T(n,k) = Sum_{i=0..k-1} binomial(n-k,i+1)*binomial(k-1,i)*2^(i+1) for k > 0. - Werner Schulte, Feb 22 2018
With p >= 1 and q >= 0, as a square array a(p,q) = T(p+q-1,q) = 2*p*Hypergeometric2F1[1-p, 1-q, 2, 2] for q >= 1. Consequently, a(p,q) = a(q,p)*p/q. - Shel Kaphan, Feb 14 2023
For n >= 1, T(2*n,n) = A002003(n), T(3*n,2*n) = A103885(n) and T(4*n,3*n) = A333715(n). - Peter Bala, Jun 15 2023

More terms from David W. Wilson

Maple program corrected and information added by Johannes W. Meijer, Aug 05 2011

A122542 Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 2, -1, 0, 0, 0, 0, 0, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 2, 4, 1, 0, 2, 8, 6, 1, 0, 2, 12, 18, 8, 1, 0, 2, 16, 38, 32, 10, 1, 0, 2, 20, 66, 88, 50, 12, 1, 0, 2, 24, 102, 192, 170, 72, 14, 1, 0, 2, 28, 146, 360, 450, 292, 98, 16, 1, 0, 2, 32, 198, 608, 1002, 912, 462, 128, 18, 1

Offset: 0

Philippe Deléham, Sep 19 2006, May 28 2007

Riordan array (1, x*(1+x)/(1-x)). Rising and falling diagonals are the tribonacci numbers A000213, A001590.

			Triangle begins:
  1;
  0, 1;
  0, 2,  1;
  0, 2,  4,   1;
  0, 2,  8,   6,   1;
  0, 2, 12,  18,   8,    1;
  0, 2, 16,  38,  32,   10,   1;
  0, 2, 20,  66,  88,   50,  12,   1;
  0, 2, 24, 102, 192,  170,  72,  14,   1;
  0, 2, 28, 146, 360,  450, 292,  98,  16,  1;
  0, 2, 32, 198, 608, 1002, 912, 462, 128, 18, 1;

Reinhard Zumkeller, Rows n = 0..120 of triangle, flattened
Bela Bajnok, Additive Combinatorics: A Menu of Research Problems, arXiv:1705.07444 [math.NT], May 2017. See Sect. 2.3.
Huyile Liang, Yanni Pei, and Yi Wang, Analytic combinatorics of coordination numbers of cubic lattices, arXiv:2302.11856 [math.CO], 2023. See p. 1.

Other versions: A035607, A113413, A119800, A266213.
Diagonals: A000012, A005843, A001105, A035597 - A035606.
Columns: A000007, A040000, A008575, A005899, A008412-A008416, A008418, A008420, A035706 - A035745.
Sums include: A000007, A001333 (row), A001590 (diagonal), A007483, A057077 (signed row), A078016 (signed diagonal), A086901, A091928, A104934, A122558, A122690.
Cf. A155161, A059283.

a122542 n k = a122542_tabl !! n !! k
a122542_row n = a122542_tabl !! n
a122542_tabl = map fst $ iterate
   (\(us, vs) -> (vs, zipWith (+) ([0] ++ us ++ [0]) $
                      zipWith (+) ([0] ++ vs) (vs ++ [0]))) ([1], [0, 1])
-- Reinhard Zumkeller, Jul 20 2013, Apr 17 2013

function T(n, k) // T = A122542
  if k eq 0 then return 0^n;
  elif k eq n then return 1;
  else return T(n-1,k) + T(n-1,k-1) + T(n-2,k-1);
  end if;
end function;
[T(n, k): k in [0..n], n in [0..12]]; // G. C. Greubel, Oct 27 2024

CoefficientList[#, y]& /@ CoefficientList[(1-x)/(1 - (1+y)x - y x^2) + O[x]^11, x] // Flatten (* Jean-François Alcover, Sep 09 2018 *)
(* Second program *)
T[n_, k_]:= T[n, k]= If[k==n, 1, If[k==0, 0, T[n-1,k-1] +T[n-1,k] +T[n-2,k- 1] ]]; (* T = A122542 *)
Table[T[n,k], {n,0,12}, {k,0,n}]//Flatten (* G. C. Greubel, Oct 27 2024 *)

def A122542_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return prec(n-1,k-1)+2*sum(prec(n-i,k-1) for i in (2..n-k+1))
    return [prec(n, k) for k in (0..n)]
for n in (0..10): print(A122542_row(n)) # Peter Luschny, Mar 16 2016

Sum_{k=0..n} x^k*T(n,k) = A000007(n), A001333(n), A104934(n), A122558(n), A122690(n), A091928(n)  for x = 0, 1, 2, 3, 4, 5. - Philippe Deléham, Jan 25 2012
Sum_{k=0..n} 3^(n-k)*T(n,k) = A086901(n).
Sum_{k=0..n} 2^(n-k)*T(n,k) = A007483(n-1), n >= 1. - Philippe Deléham, Oct 08 2006
T(2*n, n) = A123164(n).
T(n, k) = T(n-1,k) + T(n-1,k-1) + T(n-2,k-1), n > 1. - Philippe Deléham, Jan 25 2012
G.f.: (1-x)/(1-(1+y)*x-y*x^2). - Philippe Deléham, Mar 02 2012
From G. C. Greubel, Oct 27 2024: (Start)
Sum_{k=0..n} (-1)^k*T(n, k) = A057077(n).
Sum_{k=0..floor(n/2)} T(n-k, k) = A001590(n+1).
Sum_{k=0..floor(n/2)} (-1)^k*T(n-k, k) = A078016(n). (End)

A103885 a(n) = [x^(2*n)] ((1 + x)/(1 - x))^n.

Original entry on oeis.org

1, 2, 16, 146, 1408, 14002, 142000, 1459810, 15158272, 158611106, 1669752016, 17664712562, 187641279616, 2000029880786, 21380213588848, 229129634462146, 2460955893981184, 26482855453375042, 285475524009208720, 3082024598888203090, 33319523640218177408

Offset: 0

Ralf Stephan, Feb 20 2005

From Peter Bala, Mar 01 2020: (Start)
The recurrence given below can be rewritten in the form
(2*n+1)*(2*n+2)*P(2,n)*a(n+1) - (2*n-1)*(2*n-2)*P(2,-n)*a(n-1) = Q(2,n^2)*a(n), where the polynomial Q(2,n) = 4*(55*n^2 - 34*n + 3) and the polynomial P(2,n) = 5*n^2 - 5*n + 1 satisfies the symmetry condition P(2,n) = P(2,1-n) and has real zeros.
More generally, for fixed m = 1,2,3,..., we conjecture that the sequence b(n) := a(m*n) satisfies a recurrence of the form ( Product_{k = 1..2*m} (2*m*n + k) ) * P(2*m,n)*b(n+1) + (-1)^m*( Product_{k = 1..2*m} (2*m*n - k) ) * P(2*m,-n)*b(n-1) = Q(2*m,n^2)*b(n), where the polynomials P(2*m,n) and Q(2*m,n) have degree 2*m. Conjecturally, the polynomial P(2*m,n) = P(2*m,1-n) and has real zeros in the interval [0, 1]. The 4*m zeros of the polynomial Q(2*m,n^2) seem to belong to the interval [-1, 1] and 4*m - 2 of these zeros appear to be approximated by the rational numbers +- k/(3*m), where 1 <= k <= 3*m - 2, k not a multiple of 3. (End)

G. C. Greubel, Table of n, a(n) for n = 0..950 [a(0) = 1 inserted by _Georg Fischer_, Apr 03 2020]
Peter Bala, Notes on A103885
V. V. Kruchinin and D. V. Kruchinin, A Generating Function for the Diagonal T_{2n,n} in Triangles, Journal of Integer Sequences, Vol. 18 (2015), Article 15.4.6.

Cf. A002003, A006318, A027307, A103882, A103884, A123164, A144097, A156894, A266213, A370102.

A103885:= func< n | n eq 0 select 1 else (&+[ Binomial(n, k)*Binomial(2*n+k-1, n-1): k in [0..n]]) >;
[A103885(n): n in [0..40]]; // G. C. Greubel, Oct 27 2024

a := n -> `if`(n=0, 1, 2*n*hypergeom([1 - 2*n, 1 - n], [2], 2)):
seq(simplify(a(n)), n=0..17); # Peter Luschny, Dec 30 2019
# Alternative (after Peter Bala ):
gf := n -> ( (1 + x)/(1 - x) )^n: ser := n -> series(gf(n), x, 40):
seq(coeff(ser(n), x, 2*n), n=0..17); # Peter Luschny, Mar 20 2020

Prepend[Table[Sum[2^i Binomial[n, i] Binomial[2n-1, i-1], {i, 1, 2n}], {n,1,20}], 1] (* Vaclav Kotesovec, Jul 01 2015 *)

a(n) = if (n==0, 1, sum(i=0, n, 2^i * binomial(n, i) * binomial(2*n-1, i-1))); \\ Michel Marcus, Mar 21 2020

def A103885(n): return 1 if n==0 else sum(binomial(n, k)*binomial(2*n+k-1, n-1) for k in range(n+1))
[A103885(n) for n in range(41)] # G. C. Greubel, Oct 27 2024

a(n) = Sum_{i=0..n} 2^i * binomial(n,i) * binomial(2*n-1,i-1). [Original definition, with summation range {i=1..n}.]
a(n) = A103884(n, n).
G.f.: A(x) = x*B(x)'/B(x), where B(x) is g.f. of A027307. - Vladimir Kruchinin, Jun 30 2015
From Vaclav Kotesovec, Jul 01 2015: (Start)
Recurrence: n*(2*n-1)*(5*n^2 - 15*n + 11)*a(n) = 2*(55*n^4 - 220*n^3 + 296*n^2 - 152*n + 24)*a(n-1) + (n-2)*(2*n-3)*(5*n^2 - 5*n + 1)*a(n-2).
a(n) ~ ((11 + 5*sqrt(5))/2)^n / (2 * 5^(1/4) * sqrt(Pi*n)). (End)
a(n) = [x^n] (1/(1 - x - x/(1 - x - x/(1 - x - x/(1 - x - x/(1 - ...))))))^n, a continued fraction. - Ilya Gutkovskiy, Sep 29 2017
a(n) = 2*n*hypergeom([1 - 2*n, 1 - n], [2], 2) for n >= 1. - Peter Luschny, Dec 30 2019
From Peter Bala, Mar 01 2020: (Start)
a(n) = Sum_{k = 0..n} C(n, k)*C(2*n+k-1, n-1), with a(0) = 1.
a(n) = Sum_{k = 0..n} C(2*n, 2*k)*C(2*n-k-1, n-1), with a(0) = 1.
a(n) = (1/2)*Sum_{k = 0..n} C(2*n, n-k)*C(2*n+k-1, k). Cf. A156894.
a(n) = [x^n] S(x)^n, where S(x) = (1 - x - sqrt(1 - 6*x + x^2))/(2*x) is the o.g.f. of the sequence of large Schröder numbers A006318.
a(n) = (1/2) * [x^(n)] ( (1 + x)/(1 - x) )^(2*n). Cf. A002003(n) = [x^n] ( (1 + x)/(1 - x) )^n.
Conjecture: a(n) = - [x^n] G(x)^(-n), where G(x) = 1 + 2*x + 14*x^2 + 134*x^3 + 1482*x^4 + ... is the o.g.f. of A144097.
a(p) == 2 ( mod p^3 ) for prime p >= 5. (End)
From Peter Bala, Sep 22 2021: (Start)
a(n) = Sum_{k = 0..n} 4^k*binomial(n+k-1,n)*binomial(n,k)^2 / binomial(2*k,k).
Equivalently, a(n) = [x^n] T(n,(1+x)/(1-x)), where T(n,x) is the n-th Chebyshev polynomial of the first kind. Cf. A103882. (End)
For n>0, a(n) = (1/3) * [x^n] (1/S(-x))^(3*n), where S(x) = (1 - x - sqrt(1 - 6*x + x^2))/(2*x) is the o.g.f. of the sequence of large Schröder numbers A006318. Cf. A370102. - Peter Bala, Jul 29 2024

a(0) = 1 added and new name by Peter Bala, Mar 01 2020

A008412 Coordination sequence for 4-dimensional cubic lattice (points on surface of 4-dimensional cross-polytope).

Original entry on oeis.org

1, 8, 32, 88, 192, 360, 608, 952, 1408, 1992, 2720, 3608, 4672, 5928, 7392, 9080, 11008, 13192, 15648, 18392, 21440, 24808, 28512, 32568, 36992, 41800, 47008, 52632, 58688, 65192, 72160, 79608, 87552, 96008, 104992, 114520, 124608, 135272

Offset: 0

N. J. A. Sloane

Coordination sequence for 4-dimensional cyclotomic lattice Z[zeta_8].

If Y_i (i=1,2,3,4) are 2-blocks of a (n+4)-set X then a(n-3) is the number of 7-subsets of X intersecting each Y_i (i=1,2,3,4). - Milan Janjic, Oct 28 2007

Seiichi Manyama, Table of n, a(n) for n = 0..10000 (terms 0..1000 from T. D. Noe)
M. Beck and S. Hosten, Cyclotomic polytopes and growth series of cyclotomic lattices, arXiv:math/0508136 [math.CO], 2005-2006.
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Pierre de la Harpe, On the prehistory of growth of groups, arXiv:2106.02499 [math.GR], 2021.
Milan Janjic, Two Enumerative Functions
Milan Janjić, On Restricted Ternary Words and Insets, arXiv:1905.04465 [math.CO], 2019.
Ross McPhedran, Numerical Investigations of the Keiper-Li Criterion for the Riemann Hypothesis, arXiv:2311.06294 [math.NT], 2023. See p. 6.
M. O'Keeffe, Coordination sequences for lattices, Zeit. f. Krist., 210 (1995), 905-908.
M. O'Keeffe, Coordination sequences for lattices, Zeit. f. Krist., 210 (1995), 905-908. [Annotated scanned copy]
Index entries for linear recurrences with constant coefficients, signature (4,-6,4,-1).

Cf. A001845, A005899, A006527, A035598.
First differences of A001846.
Row 4 of A035607, A266213.
Column 4 of A113413, A119800, A122542.

I:=[1,8,32,88,192]; [n le 5 select I[n] else 4*Self(n-1)-6*Self(n-2)+4*Self(n-3)-Self(n-4): n in [1..50]]; // Vincenzo Librandi, Jan 15 2018

Maple
```
8/3*n^3+16/3*n;
```

CoefficientList[Series[((1+x)/(1-x))^4,{x,0,40}],x] (* or *)
LinearRecurrence[{4, -6, 4, -1}, {1, 8, 32, 88, 192}, 41] (* Harvey P. Dale, Jun 10 2011 *)
f[n_] := 8 n (n^2 + 2)/3; f[0] = 1; Array[f, 38, 0] (* or *)
g[n_] := 4n^2 +2; f[n_] := f[n-1] + g[n] + g[n -1]; f[0] = 1; f[1] = 8; Array[f, 38, 0] (* Robert G. Wilson v, Dec 27 2017 *)

a(n)=if(n,8*(n^2+2)*n/3,1) \\ Charles R Greathouse IV, Jun 10 2011

G.f.: ((1+x)/(1-x))^4.
a(n) = 8*n*(n^2+2)/3 for n>1.
a(n) = 8*A006527(n) for n>0.
a(n) = A005899(n) + A005899(n-1) + a(n-1). - Bruce J. Nicholson, Dec 17 2017
n*a(n) = 8*a(n-1) + (n-2)*a(n-2) for n > 1. - Seiichi Manyama, Jun 06 2018
a(n) = 2*d*Hypergeometric2F1(1-d, 1-n, 2, 2) where d=4, for n>=1. - Shel Kaphan, Feb 14 2023
a(n) = A035598(n)*4/n, for n>0. - Shel Kaphan, Feb 28 2023
E.g.f.: 1 + 8*exp(x)*x*(3 + 3*x + x^2)/3. - Stefano Spezia, Mar 14 2024

A113413 A Riordan array of coordination sequences.

Original entry on oeis.org

1, 2, 1, 2, 4, 1, 2, 8, 6, 1, 2, 12, 18, 8, 1, 2, 16, 38, 32, 10, 1, 2, 20, 66, 88, 50, 12, 1, 2, 24, 102, 192, 170, 72, 14, 1, 2, 28, 146, 360, 450, 292, 98, 16, 1, 2, 32, 198, 608, 1002, 912, 462, 128, 18, 1, 2, 36, 258, 952, 1970, 2364, 1666, 688, 162, 20, 1, 2, 40, 326

Offset: 0

Paul Barry, Oct 29 2005

Columns include A040000, A008574, A005899, A008412, A008413, A008414. Row sums are A078057(n)=A001333(n+1). Diagonal sums are A001590(n+3). Reverse of A035607. Signed version is A080246. Inverse is A080245.
For another version see A122542. - Philippe Deléham, Oct 15 2006
T(n,k) is the number of length n words on alphabet {0,1,2} with no two consecutive 1's and no two consecutive 2's and having exactly k 0's. - Geoffrey Critzer, Jun 11 2015
From Eric W. Weisstein, Feb 17 2016: (Start)
Triangle of coefficients (from low to high degree) of x^-n * vertex cover polynomial of the n-ladder graph P_2 \square p_n:
  Psi_{L_1}: x*(2 + x) -> {2, 1}
  Psi_{L_2}: x^2*(2 + 4 x + x^2) -> {2, 4, 1}
  Psi_{L_3}: x^3*(2 + 8 x + 6 x^2 + x^3) -> {2, 8, 6, 1}
(End)
Let c(n, k), n > 0, be multiplicative sequences for some fixed integer k >= 0 with c(p^e, k) = T(e+k, k) for prime p and e >= 0. Then we have Dirichlet g.f.: Sum_{n>0} c(n, k) / n^s = zeta(s)^(2*k+2) / zeta(2*s)^(k+1). Examples: For k = 0 see A034444 and for k = 1 see A322328. Dirichlet convolution of c(n, k) and lambda(n) is Dirichlet inverse of c(n, k). - Werner Schulte, Oct 31 2022

			Triangle begins
  1;
  2,  1;
  2,  4,  1;
  2,  8,  6,  1;
  2, 12, 18,  8,  1;
  2, 16, 38, 32, 10,  1;
  2, 20, 66, 88, 50, 12,  1;

G. C. Greubel, Table of n, a(n) for the first 50 rows
Bela Bajnok, Additive Combinatorics: A Menu of Research Problems, arXiv:1705.07444 [math.NT], May 2017. See Sect. 2.3.
Paul Barry, Riordan arrays, generalized Narayana triangles, and series reversion, Linear Algebra and its Applications, 491 (2016) 343-385.
P. Holub, M. Miller, H. Perez-Roses, and J. Ryan, Degree diameter problem on honeycomb networks, Disc. Appl. Math. 179 (2014) 139-151.
Milan Janjić, Words and Linear Recurrences, J. Int. Seq. 21 (2018), #18.1.4.
Huyile Liang, Yanni Pei, and Yi Wang, Analytic combinatorics of coordination numbers of cubic lattices, arXiv:2302.11856 [math.CO], 2023. See p. 2.
Mirka Miller, Hebert Perez-Roses, and Joe Ryan, The Maximum Degree-and-Diameter-Bounded Subgraph in the Mesh, arXiv preprint arXiv:1203.4069 [math.CO], 2012.

Other versions: A035607, A119800, A122542, A266213.

nn = 10; Map[Select[#, # > 0 &] &, CoefficientList[Series[1/(1 - 2 x/(1 + x) - y x), {x, 0, nn}], {x, y}]] // Grid (* Geoffrey Critzer, Jun 11 2015 *)
CoefficientList[CoefficientList[Series[1/(1 - 2 x/(1 + x) - y x), {x, 0, 10}, {y, 0, 10}], x], y] (* Eric W. Weisstein, Feb 17 2016 *)

T = lambda n,k : binomial(n, k)*hypergeometric([-k-1, k-n], [-n], -1).simplify_hypergeometric()
A113413 = lambda n,k : 1 if n==0 and k==0 else T(n, k)
for n in (0..12): print([A113413(n,k) for k in (0..n)]) # Peter Luschny, Sep 17 2014 and Mar 16 2016

# Alternatively:
def A113413_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return prec(n-1,k-1)+2*sum(prec(n-i,k-1) for i in (2..n-k+1))
    return [prec(n, k) for k in (1..n)]
for n in (1..10): print(A113413_row(n)) # Peter Luschny, Mar 16 2016

From Paul Barry, Nov 13 2005: (Start)
Riordan array ((1+x)/(1-x), x(1+x)/(1-x)).
T(n, k) = Sum_{i=0..n-k} C(k+1, i)*C(n-i, k).
T(n, k) = Sum_{j=0..n-k} C(k+j, j)*C(k+1, n-k-j).
T(n, k) = D(n, k) + D(n-1, k) where D(n, k) = Sum_{j=0..n-k} C(n-k, j)*C(k, j)*2^j = A008288(n, k).
T(n, k) = T(n-1, k) + T(n-1, k-1) + T(n-2, k-1).
T(n, k) = Sum_{j=0..n} C(floor((n+j)/2), k)*C(k, floor((n-j)/2)). (End)
T(n, k) = C(n, k)*hypergeometric([-k-1, k-n], [-n], -1). - Peter Luschny, Sep 17 2014
T(n, k) = (Sum_{i=2..k+2} A137513(k+2, i) * (n-k)^(i-2)) / (k!) for 0 <= k < n (conjectured). - Werner Schulte, Oct 31 2022

A119800 Array of coordination sequences for cubic lattices (rows) and of numbers of L1 forms in cubic lattices (columns) (array read by antidiagonals).

Original entry on oeis.org

4, 8, 6, 12, 18, 8, 16, 38, 32, 10, 20, 66, 88, 50, 12, 24, 102, 192, 170, 72, 14, 28, 146, 360, 450, 292, 98, 16, 32, 198, 608, 1002, 912, 462, 128, 18, 36, 258, 952, 1970, 2364, 1666, 688, 162, 20, 40, 326, 1408, 3530, 5336, 4942, 2816, 978, 200, 22

Offset: 1

Thomas Wieder, Jul 30 2006, Aug 06 2006

			The second row of the table is: 6, 18, 38, 66, 102, 146, 198, 258, 326, ... = A005899 = number of points on surface of octahedron.
The third column of the table is: 12, 38, 88, 170, 292, 462, 688, 978, 1340, ... = A035597 = number of points of L1 norm 3 in cubic lattice Z^n.
The first rows are: A008574, A005899, A008412, A008413, A008414, A008415, A008416, A008418, A008420.
The first columns are: A005843, A001105, A035597, A035598, A035599, A035600, A035601, A035602, A035603.
The main diagonal seems to be A050146.
Square array A(n,k) begins:
   4,   8,   12,   16,    20,    24,     28,     32,      36, ...
   6,  18,   38,   66,   102,   146,    198,    258,     326, ...
   8,  32,   88,  192,   360,   608,    952,   1408,    1992, ...
  10,  50,  170,  450,  1002,  1970,   3530,   5890,    9290, ...
  12,  72,  292,  912,  2364,  5336,  10836,  20256,   35436, ...
  14,  98,  462, 1666,  4942, 12642,  28814,  59906,  115598, ...
  16, 128,  688, 2816,  9424, 27008,  68464, 157184,  332688, ...
  18, 162,  978, 4482, 16722, 53154, 148626, 374274,  864146, ...
  20, 200, 1340, 6800, 28004, 97880, 299660, 822560, 2060980, ...

Alois P. Heinz, Antidiagonals n = 1..141, flattened
Bela Bajnok, Additive Combinatorics: A Menu of Research Problems, arXiv:1705.07444 [math.NT], May 2017. See Sect. 2.3.
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Joan Serra-Sagrista, Enumeration of lattice points in l_1 norm, Inf. Proc. Lett. 76 (1-2) (2000) 39-44.

Other versions: A035607, A113413, A122542, A266213.

Cf. A008574, A005899, A008412, A008413, A008414, A008415, A008416, A008418, A008420, A005843, A005843, A001105, A035597, A035598, A035599, A035600, A035601, A035602, A035603, A050146.

A:= proc(m, n)  option remember;
      `if`(n=0, 1, `if`(m=0, 2, A(m, n-1) +A(m-1, n) +A(m-1, n-1)))
    end:
seq(seq(A(n, 1+d-n), n=1..d), d=1..10);  # Alois P. Heinz, Apr 21 2012

A[m_, n_] := A[m, n] = If[n == 0, 1, If[m == 0, 2, A[m, n-1] + A[m-1, n] + A[m-1, n-1]]]; Table[Table[A[n, 1+d-n], {n, 1, d}], {d, 1, 10}] // Flatten (* Jean-François Alcover, Mar 09 2015, after Alois P. Heinz *)

A(m,n) = A(m,n-1) + A(m-1,n) + A(m-1,n-1), A(m,0)=1, A(0,0)=1, A(0,n)=2.

Offset and typos corrected by Alois P. Heinz, Apr 21 2012

A035597 Number of points of L1 norm 3 in cubic lattice Z^n.

Original entry on oeis.org

0, 2, 12, 38, 88, 170, 292, 462, 688, 978, 1340, 1782, 2312, 2938, 3668, 4510, 5472, 6562, 7788, 9158, 10680, 12362, 14212, 16238, 18448, 20850, 23452, 26262, 29288, 32538, 36020, 39742, 43712, 47938, 52428, 57190, 62232, 67562

Offset: 0

N. J. A. Sloane

Sums of the first n terms > 0 of A001105 in palindromic arrangement. a(n) = Sum_{i=1 .. n} A001105(i) + Sum_{i=1 .. n-1} A001105(i), e.g. a(3) = 38 = 2 + 8 + 18 + 8 + 2; a(4) = 88 = 2 + 8 + 18 + 32 + 18 + 8 + 2. - Klaus Purath, Jun 19 2020

Apart from multiples of 3, all divisors of n are also divisors of a(n), i.e. if n is not divisible by 3, a(n) is divisible by n. All divisors d of a(n) for d !== 0 (mod) 3 are also divisors of a(abs(n-d)) and a(n+d). For all n congruent to 0,2,7 (mod 9) a(n) is divisible by 3. If n is divisible by 3^k, a(n) is divisible by 3^(k-1). - Klaus Purath, Jul 24 2020

Vincenzo Librandi, Table of n, a(n) for n = 0..10000
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
J. H. Conway and N. J. A. Sloane, Low-dimensional lattices. VII. Coordination sequences, Proc. Roy. Soc. Lond. A 458 (1996) 2369-2389.
Milzn Janjic, On a class of polynomials with integer coefficients, JIS 11 (2008) 08.5.2.
Milan Janjic and B. Petkovic, A Counting Function, arXiv preprint arXiv:1301.4550 [math.CO], 2013. - _N. J. A. Sloane_, Feb 13 2013
Milan Janjic and B. Petkovic, A Counting Function Generalizing Binomial Coefficients and Some Other Classes of Integers, J. Int. Seq. 17 (2014) # 14.3.5.
R. J. Mathar, Bivariate generating functions for non-attacking Wazirs on rectangular boards, viXra:2404.0122 (2024) page 14
Joan Serra-Sagrista, Enumeration of lattice points in l_1 norm, Inf. Proc. Lett. 76 (1-2) (2000) 39-44.
Index entries for linear recurrences with constant coefficients, signature (4,-6,4,-1).

Partial sums of A069894.
Cf. A001105, A005900, A084570, A097869.
Cf. A001844, A001845, A005899.
Column 3 of A035607, A266213, A343599.
Row 3 of A113413, A119800, A122542.

[(4*n^3 + 2*n)/3: n in [0..40]]; // Vincenzo Librandi, Sep 19 2011

f := proc(n,m) local i; sum( 2^i*binomial(n,i)*binomial(m-1,i-1),i=1..min(n,m)); end; # n=dimension, m=norm

Table[(4n^3+2n)/3,{n,0,40}] (* or *) LinearRecurrence[{4,-6,4,-1},{0,2,12,38},41] (* Harvey P. Dale, Sep 18 2011 *)

a(n) = (4*n^3 + 2*n)/3.
a(n) = 2*A005900(n). - R. J. Mathar, Dec 05 2009
a(0)=0, a(1)=2, a(2)=12, a(3)=38, a(n)=4*a(n-1)-6*a(n-2)+4*a(n-3)-a(n-4). G.f.: (2*x*(x+1)^2)/(x-1)^4. - Harvey P. Dale, Sep 18 2011
a(n) = -a(-n), a(n+1) = A097869(4n+3) = A084570(2n+1). - Bruno Berselli, Sep 20 2011
a(n) = 2*n*Hypergeometric2F1(1-n,1-k,2,2), where k=3. Also, a(n) = A001845(n) - A001844(n). - Shel Kaphan, Feb 26 2023
a(n) = A005899(n)*n/3. - Shel Kaphan, Feb 26 2023
a(n) = A006331(n)+A006331(n-1). - R. J. Mathar, Aug 12 2025

A050146 a(n) = T(n,n), array T as in A050143.

Original entry on oeis.org

1, 1, 4, 18, 88, 450, 2364, 12642, 68464, 374274, 2060980, 11414898, 63521352, 354870594, 1989102444, 11180805570, 63001648608, 355761664002, 2012724468324, 11406058224594, 64734486343480, 367891005738690, 2093292414443164, 11923933134635298, 67990160422313808

Offset: 0

Clark Kimberling

nonn

Also main diagonal of array : m(i,1)=1, i>=1; m(1,j)=2, j>1; m(i,j)=m(i,j-1)+m(i-1,j-1)+m(i-1,j): 1 2 2 2 ... / 1 4 8 12 ... / 1 6 18 38 ... / 1 8 32 88 ... / - Benoit Cloitre, Aug 05 2002
a(n) is also the number of order-preserving partial transformations (of an n-element chain) of waist n (waist(alpha) = max(Im(alpha))). - Abdullahi Umar, Aug 25 2008
Define a finite triangle T(r,c) with T(r,0) = binomial(n,r) for 0<=r<=n, and the other terms recursively with T(r,c) = T(r,c-1) + 2*T(r-1,c-1). The sum of the last terms in each row is Sum_{r=0..n} T(r,r)=a(n+1). For n=4 the triangle is 1; 4 6; 6 14 26; 4 16 44 96; 1 9 41 129 321 with the sum of the last terms being 1 + 6 + 26 + 96 + 321 = 450 = a(5). - J. M. Bergot, Jan 29 2013
It may be better to define a(0) = 0 for formulas without exceptions. - Michael Somos, Nov 25 2016
a(n) is the number of points at L1 distance n-1 from any point in Z^n, for n>=1. - Shel Kaphan, Mar 24 2023

			G.f. = 1 + x + 4*x^2 + 18*x^3 + 88*x^4 + 450*x^5 + 2364*x^6 + 12642*x^7 + ...

Vincenzo Librandi, Table of n, a(n) for n = 0..200
A. Laradji and A. Umar, A. Combinatorial results for semigroups of order-preserving partial transformations, Journal of Algebra, 278 (2004), 342-359.
A. Laradji and A. Umar, Combinatorial results for semigroups of order-decreasing partial transformations, J. Integer Seq., 7 (2004), 04.3.8.
Huyile Liang, Yanni Pei, and Yi Wang, Analytic combinatorics of coordination numbers of cubic lattices, arXiv:2302.11856 [math.CO], 2023. See p. 4.
Emanuele Munarini, Combinatorial properties of the antichains of a garland, Integers, 9 (2009), 353-374.

Cf. A002003, A006318, A050151, A008288, A002002, A026002.

-1-diagonal of A266213 for n>=1.

a050146 n = if n == 0 then 1 else a035607 (2 * n - 2) (n - 1)
-- Reinhard Zumkeller, Nov 05 2013, Jul 20 2013

Flatten[{1,RecurrenceTable[{(n-3)*(n-1)*a[n-2]-3*(n-2)*(2*n-3)*a[n-1]+(n-2)*(n-1)*a[n]==0,a[1]==1,a[2]==4},a,{n,20}]}] (* Vaclav Kotesovec, Oct 08 2012 *)
a[ n_] := If[ n == 0, 1, Sum[ Binomial[n, k] Binomial[n + k - 2, k - 1], {k, n}]]; (* Michael Somos, Nov 25 2016 *)
a[ n_] := If[ n == 0, 1, n Hypergeometric2F1[1 - n, n, 2, -1]]; (* Michael Somos, Nov 25 2016 *)

taylor(-(x^4+sqrt(x^2-6*x+1)*(x^3-5*x^2+5*x+1)-8*x^3+16*x^2-6*x+1)/(x^3+sqrt(x^2-6*x+1)*(x^2-4*x-1)-7*x^2+7*x-1),x,0,10); /* Vladimir Kruchinin, Nov 25 2016 */

a(n)=if(n==0, 1, sum(k=1,n, binomial(n, k)*binomial(n+k-2, k-1)) ); \\ Joerg Arndt, May 04 2013

A050146 = lambda n : n*hypergeometric([1-n, n], [2], -1) if n>0 else 1
[round(A050146(n).n(100)) for n in (0..24)] # Peter Luschny, Sep 17 2014

From Vladeta Jovovic, Mar 31 2004: (Start)
Coefficient of x^(n-1) in expansion of ((1+x)/(1-x))^n, n > 0.
a(n) = Sum_{k=1..n} binomial(n, k)*binomial(n+k-2, k-1), n > 0. (End)
D-finite with recurrence (n-1)*(n-2)*a(n) = 3*(2*n-3)*(n-2)*a(n-1) - (n-1)*(n-3)*a(n-2) for n > 2. - Vladeta Jovovic, Jul 16 2004
a(n+1) = Jacobi_P(n, 1, -1, 3); a(n+1) = Sum{k=0..n} C(n+1, k)*C(n-1, n-k)*2^k. - Paul Barry, Jan 23 2006
a(n) = n*A006318(n-1) - Abdullahi Umar, Aug 25 2008
a(n) ~ sqrt(3*sqrt(2)-4)*(3+2*sqrt(2))^n/(2*sqrt(Pi*n)). - Vaclav Kotesovec, Oct 08 2012
a(n+1) = A035607(2*n,n). - Reinhard Zumkeller, Jul 20 2013
a(n) = n*hypergeometric([1-n, n], [2], -1) for n >= 1. - Peter Luschny, Sep 17 2014
O.g.f.: -(x^4 + sqrt(x^2 - 6*x + 1)*(x^3 - 5*x^2 + 5*x + 1) - 8*x^3 + 16*x^2 - 6*x + 1)/(x^3 + sqrt(x^2 - 6*x + 1)*(x^2 - 4*x - 1)- 7*x^2 + 7*x - 1). - Vladimir Kruchinin, Nov 25 2016
0 = a(n)*(a(n+1) - 18*a(n+2) + 65*a(n+3) - 12*a(n+4)) + a(n+1)*(54*a(n+2) - 408*a(n+3) + 81*a(n+4)) + a(n+2)*(72*a(n+2) + 334*a(n+3) - 90*a(n+4)) + a(n+3)*(-24*a(n+3) + 9*a(n+4)) for all integer n if a(0) = 0 and a(n) = -2*A050151(-n) for n < 0. - Michael Somos, Nov 25 2016
O.g.f: (2 - x + x*(3 - x)/sqrt(x^2 - 6*x + 1))/2. - Petros Hadjicostas, Feb 14 2021
a(n) = A002002(n) - A026002(n-1) for n>=2. - Shel Kaphan, Mar 24 2023

A008413 Coordination sequence for 5-dimensional cubic lattice.

Original entry on oeis.org

1, 10, 50, 170, 450, 1002, 1970, 3530, 5890, 9290, 14002, 20330, 28610, 39210, 52530, 69002, 89090, 113290, 142130, 176170, 216002, 262250, 315570, 376650, 446210, 525002, 613810, 713450, 824770, 948650, 1086002, 1237770, 1404930

Offset: 0

N. J. A. Sloane

If Y_i (i=1,2,3,4,5) are 2-blocks of a (n+5)-set X then a(n-4) is the number of 9-subsets of X intersecting each Y_i (i=1,2,3,4,5). - Milan Janjic, Oct 28 2007

Seiichi Manyama, Table of n, a(n) for n = 0..10000
Milan Janjic, Two Enumerative Functions
Milan Janjić, On Restricted Ternary Words and Insets, arXiv:1905.04465 [math.CO], 2019.
J. H. Conway and N. J. A. Sloane, Low-Dimensional Lattices VII: Coordination Sequences, Proc. Royal Soc. London, A453 (1997), 2369-2389 (pdf).
Index entries for linear recurrences with constant coefficients, signature (5,-10,10,-5,1).

Cf. A035599.
Row 5 of A035607, A266213.
Column 5 of A113413, A119800, A122542.

Maple
```
4/3*n^4+20/3*n^2+2;
```

LinearRecurrence[{5,-10,10,-5,1},{1,10,50,170,450,1002},40] (* Harvey P. Dale, May 02 2016 *)
{1}~Join~Table[4/3 n^4 + 20/3 n^2 + 2, {n, 32}] (* or *)
CoefficientList[Series[((1 + x)/(1 - x))^5, {x, 0, 32}], x] (* Michael De Vlieger, Oct 04 2016 *)

G.f.: ((1+x)/(1-x))^5.
a(n) = (4/3)*n^4 + (20/3)*n^2 + 2 for n > 0. - Michael De Vlieger, Oct 04 2016
n*a(n) = 10*a(n-1) + (n-2)*a(n-2) for n > 1. - Seiichi Manyama, Jun 06 2018
From Shel Kaphan, Mar 03 2023: (Start)
a(n) = 2*d*Hypergeometric2F1(1-d, 1-n, 2, 2) where d=5, for n>=1.
a(n) = A035599(n)*5/n, for n>0. (End)

cp's OEIS Frontend

A005899 Number of points on surface of octahedron; also coordination sequence for cubic lattice: a(0) = 1; for n > 0, a(n) = 4n^2 + 2.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

A035607 Table a(d,m) of number of points of L1 norm m in cubic lattice Z^d, read by antidiagonals (d >= 1, m >= 0).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Sage

Formula

Extensions

A122542 Triangle T(n,k), 0 <= k <= n, read by rows, given by [0, 2, -1, 0, 0, 0, 0, 0, ...] DELTA [1, 0, 0, 0, 0, 0, 0, 0, ...] where DELTA is the operator defined in A084938.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Magma

Mathematica

Sage

Formula

A103885 a(n) = [x^(2*n)] ((1 + x)/(1 - x))^n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

SageMath

Formula

Extensions

A008412 Coordination sequence for 4-dimensional cubic lattice (points on surface of 4-dimensional cross-polytope).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

A113413 A Riordan array of coordination sequences.

Views

Author

Keywords

Comments

Examples

Links