cp's OEIS Frontend

Squared distance from (0,0,-1) to (n,n,n) in R^3. - James R. Buddenhagen, Jun 15 2013

a(n+1) is the number of lines crossing n cells of an n X n X n cube. - Lekraj Beedassy, Jul 29 2005

Equals binomial transform of [1, 3, 6, 0, 0, 0, ...]. - Gary W. Adamson, May 03 2008

Each term a(n), with n>1 represents the area of the right trapezoid with bases whose values are equal to hex number A003215(n) and A003215(n+1)and height equal to 1. The right trapezoid is formed by a rectangle with the sides equal to A003215(n) and 1 and a right triangle whose area is 3*n with the greater cathetus equal to the difference A003215(n+1)-A003215(n). - Giacomo Fecondo, Jun 11 2010

2*a(n)^2 is of the form x^4+y^4+(x+y)^4. In fact, 2*a(n)^2 = (n-1)^4+(n+1)^4+(2n)^4. - Bruno Berselli, Jul 16 2013

Numbers m such that m+(m-1)+(m-2) is a square. - César Aguilera, May 26 2015

After 4, twice each term belongs to A181123: 2*a(n) = (n+1)^3 - (n-1)^3. - Bruno Berselli, Mar 09 2016

This is a subsequence of A003136: a(n) = (n-1)^2 + (n-1)*(n+1) + (n+1)^2. - Bruno Berselli, Feb 08 2017

For n > 3, also the number of (not necessarily maximal) cliques in the n X n torus grid graph. - Eric W. Weisstein, Nov 30 2017

The row polynomials with exponents in increasing order (e.g., third row: 1+3x+3x^2) are Grosswald's y_{n}(x) polynomials, p. 18, Eq. (7).

Also called Bessel numbers of first kind.

The triangle a(n,k) has factorization [C(n,k)][C(k,n-k)]Diag((2n-1)!!) The triangle a(n-k,k) is A100861, which gives coefficients of scaled Hermite polynomials. - Paul Barry, May 21 2005

Related to k-matchings of the complete graph K_n by a(n,k)=A100861(n+k,k). Related to the Morgan-Voyce polynomials by a(n,k)=(2k-1)!!*A085478(n,k). - Paul Barry, Aug 17 2005

Related to Hermite polynomials by a(n,k)=(-1)^k*A060821(n+k, n-k)/2^n. - Paul Barry, Aug 28 2005

The row polynomials, the Bessel polynomials y(n,x):=Sum_{m=0..n} (a(n,m)*x^m) (called y_{n}(x) in the Grosswald reference) satisfy (x^2)*(d^2/dx^2)y(n,x) + 2*(x+1)*(d/dx)y(n,x) - n*(n+1)*y(n,x) = 0.

a(n-1, m-1), n >= m >= 1, enumerates unordered n-vertex forests composed of m plane (aka ordered) increasing (rooted) trees. Proof from the e.g.f. of the first column Y(z):=1-sqrt(1-2*z) (offset 1) and the Bergeron et al. eq. (8) Y'(z)= phi(Y(z)), Y(0)=0, with out-degree o.g.f. phi(w)=1/(1-w). See their remark on p. 28 on plane recursive trees. For m=1 see the D. Callan comment on A001147 from Oct 26 2006. - Wolfdieter Lang, Sep 14 2007

The asymptotic expansions of the higher order exponential integrals E(x,m,n), see A163931 for information, lead to the Bessel numbers of the first kind in an intriguing way. For the first four values of m these asymptotic expansions lead to the triangles A130534 (m=1), A028421 (m=2), A163932 (m=3) and A163934 (m=4). The o.g.f.s. of the right hand columns of these triangles in their turn lead to the triangles A163936 (m=1), A163937 (m=2), A163938 (m=3) and A163939 (m=4). The row sums of these four triangles lead to A001147, A001147 (minus a(0)), A001879 and A000457 which are the first four right hand columns of A001498. We checked this phenomenon for a few more values of m and found that this pattern persists: m = 5 leads to A001880, m=6 to A001881, m=7 to A038121 and m=8 to A130563 which are the next four right hand columns of A001498. So one by one all columns of the triangle of coefficients of Bessel polynomials appear. - Johannes W. Meijer, Oct 07 2009

a(n,k) also appear as coefficients of (n+1)st degree of the differential operator D:=1/t d/dt, namely D^{n+1}= Sum_{k=0..n} a(n,k) (-1)^{n-k} t^{1-(n+k)} (d^{n+1-k}/dt^{n+1-k}. - Leonid Bedratyuk, Aug 06 2010

a(n-1,k) are the coefficients when expanding (xI)^n in terms of powers of I. Let I(f)(x) := Integral_{a..x} f(t) dt, and (xI)^n := x Integral_{a..x} [ x_{n-1} Integral_{a..x_{n-1}} [ x_{n-2} Integral_{a..x_{n-2}} ... [ x_1 Integral_{a..x_1} f(t) dt ] dx_1 ] .. dx_{n-2} ] dx_{n-1}. Then: (xI)^n = Sum_{k=0..n-1} (-1)^k * a(n-1,k) * x^(n-k) * I^(n+k)(f)(x) where I^(n) denotes iterated integration. - Abdelhay Benmoussa, Apr 11 2025

If each row started with an initial 0 (i.e., a(n,k) = (n+1)^k - n^k) then each row would be the binomial transform of the preceding row. - Henry Bottomley, May 31 2001

a(n-1, k-1) is the number of ordered k-tuples of positive integers such that the largest of these integers is n. - Alford Arnold, Sep 07 2005

From Alford Arnold, Jul 21 2006: (Start)

The sequences in A047969 can also be calculated using the Eulerian Array (A008292) and Pascal's Triangle (A007318) as illustrated below: (cf. A101095).

1 1 1 1 1 1

1 1 1 1 1 1

-----------------------------------------

1 2 3 4 5 6

1 2 3 4 5

1 3 5 7 9 11

-----------------------------------------

1 3 6 10 15 21

4 12 24 40 60

1 3 6 10

1 7 19 37 61 91

-----------------------------------------

1 4 10 20 35 56

11 44 110 220 385

11 44 110 220

1 4 10

1 15 65 175 369 671

----------------------------------------- (End)

From Peter Bala, Oct 26 2008: (Start)

The above remarks of Alford Arnold may be summarized by saying that (the transpose of) this array is the Hilbert transform of the triangle of Eulerian numbers A008292 (see A145905 for the definition of the Hilbert transform). In this context, A008292 is best viewed as the array of h-vectors of permutohedra of type A. See A108553 for the Hilbert transform of the array of h-vectors of type D permutohedra. Compare this array with A009998.

The polynomials n^k - (n-1)^k, k = 1,2,3,..., which give the nonzero entries in the columns of this array, satisfy a Riemann hypothesis: their zeros lie on the vertical line Re s = 1/2 in the complex plane. See A019538 for the connection between the polynomials n^k - (n-1)^k and the Stirling polynomials of the simplicial complexes dual to the type A permutohedra.

(End)

Empirical: (n+1)^(k+1) - n^(k+1) is the number of first differences of length k+1 arrays of numbers in 0..n, k > 0. - R. H. Hardin, Jun 30 2013

a(n-1, k-1) is the number of bargraphs of width k and height n. Examples: a(1,2) = 7 because we have [1,1,2], [1,2,1], [2,1,1], [1,2,2], [2,1,2], [2,2,1], and [2,2,2]; a(2,1) = 5 because we have [1,3], [2,3], [3,1], [3,2], and [3,3] (bargraphs are given as compositions). This comment is equivalent to A. Arnold's Sep 2005 comment. - Emeric Deutsch, Jan 30 2017

Also the number of (not necessarily maximal) cliques in the n X n grid graph. - Eric W. Weisstein, Nov 29 2017

Move in 1-3 direction in a spiral organized like A068225 etc.

Equals binomial transform of [1, 2, 8, 0, 0, 0, ...]. - Gary W. Adamson, May 03 2008

Ulam's spiral (NE spoke). - Robert G. Wilson v, Oct 31 2011

Number of ternary strings of length 2*(n-1) that have one or no 0's, one or no 1's, and an even number of 2's. For n=2, the 3 strings of length 2 are 01, 10 and 22. For n=3, the 13 strings of length 4 are the 12 permutations of 0122 and 2222. - Enrique Navarrete, Jul 25 2025

Deleting the least significant digit yields the (n-1)-st triangular number: a(n) = 10*A000217(n-1) + 1. - Amarnath Murthy, Dec 11 2003

All divisors of a(n) are congruent to 1 or -1, modulo 10; that is, they end in the decimal digit 1 or 9. Proof: If p is an odd prime different from 5 then 5n^2 - 5n + 1 == 0 (mod p) implies 25(2n - 1)^2 == 5 (mod p), whence p == 1 or -1 (mod 10). - Nick Hobson, Nov 13 2006

Centered decagonal numbers. - Omar E. Pol, Oct 03 2011

The partial sums of this sequence give A004466. - Leo Tavares, Oct 04 2021

The continued fraction expansion of sqrt(5*a(n)) is [5n-3; {2, 2n-2, 2, 10n-6}]. For n=1, this collapses to [2; {4}]. - Magus K. Chu, Sep 12 2022

Numbers m such that 20*m + 5 is a square. Also values of the Fibonacci polynomial y^2 - x*y - x^2 for x = n and y = 3*n - 1. This is a subsequence of A089270. - Klaus Purath, Oct 30 2022

All terms can be written as a difference of two consecutive squares a(n) = A005891(n-1)^2 - A028895(n-1)^2, and they can be represented by the forms (x^2 + 2mxy + (m^2-1)y^2) and (3x^2 + (6m-2)xy + (3m^2-2m)y^2), both of discriminant 4. - Klaus Purath, Oct 17 2023

Triangular numbers plus quarter squares: (n+1)*(n+2)/2 + floor(n^2/4) (i.e., A000217(n+1) + A002620(n)).

Largest coefficient in the expansion of (1+x+x^2+...+x^(n-1))^3=((1-x^n)/(1-x))^3, i.e., the coefficient of x^floor[3(n-1)/2] and of x^ceiling[3(n-1)/2]; also number of compositions of [3(n+1)/2] into exactly 3 positive integers each no more than n.

A set of n independent statements a,b,c,d..., produces n^2 conditional statements of the form "If a, then b" (including self-implications such as "If a, then a"). If such statements are taken as equivalent to "It is not the case that the first statement is true and the second is false" (material implication), A077043(n) is the minimum number of the conditional statements that can be true. (The maximum number of false conditional statements is A002620(n), the maximum product of two integers whose sum is n.) - Matthew Vandermast, Mar 04 2003

This is also the maximum number of triple intersections between three sets of n lines, where the lines in each set are parallel to each other. E.g., for n=3:

\.\.\.../././

.\.\.\./././.

..\.\.x././..

---+-*-*-+---

----*-*-*----

---+-*-*-+---

.././.x.\.\..

./././.\.\.\.

/././...\.\.\

where '*' = triple intersection, '+' and 'x' = double intersection.

I am pretty sure that the hexagonal configuration of intersections shown above is the optimum and I get the formulas a(n) = (3n^2)/4 for n even and (3n^2+1)/4 for n odd. - Gabriel Nivasch (gnivasch(AT)yahoo.com), Jan 13 2004

For n > 1 the sequence represents the maximum number of points that can be placed in a plane such that the largest distances between any two points does not exceed the shortest of the distances between any two points by more than a factor n-1. - Johannes Koelman (Joc_kay(AT)hotmail.com), Apr 27 2006

This is also the number of distinct noncongruent isosceles triangles with side length up to n. - Patrick Hurst (patrick(AT)imsa.edu), May 14 2008

Also concentric triangular numbers. A033428 and A003215 interleaved. - Omar E. Pol, Sep 28 2011

Number of (w,x,y) with all terms in {0,...,n} and w=x>range{w,x,y}. - Clark Kimberling, Jun 02 2012

Number of pairs (x,y) with x in {0,...,n}, y even in {0,...,2n}, and x<=y. - Clark Kimberling, Jul 02 2012

From Bob Selcoe, Aug 05 2013: (Start)

a(n) is the number of 3-member sets with non-repeating positive integer values (x,y,z) whose sums equal 3(n+1). Example: a(4)=12; thus there are 12 sets where x+y+z = 15: (1,2,12), (1,3,11), (1,4,10), (1,5,9), (1,6,8), (2,3,10), (2,4,9), (2,5,8), (2,6,7), (3,4,8), (3,5,7) and (4,5,6).

From above, the number of sets sharing minimum values (minvals) equals a(1)-a(0), a(2)-a(1), a(3)-a(2),... a(n)-a(n-1) which are the numbers not divisible by 3, in sequence (A001651), range n to 1. So in the above example, there is one set with minval 4, two sets with minval 3, four sets with minval 2 and five sets with minval 1. (End)

Number of partitions of 3n into exactly 3 parts. - Wesley Ivan Hurt, Jan 21 2014

Number of partitions of 3(n-1) into at most 3 parts. - Colin Barker, Mar 31 2015

Number of possible positions after n-1 steps on the lines of a hexagonal grid. - Reg Robson, Mar 08 2014

12*a(n) is a perfect square when n is even and 12*a(n) - 3 is a perfect square when n is odd. - Miquel Cerda, Jun 30 2016

Square of largest Euclidean distance from start point reachable by an n-step walk on a honeycomb lattice. - Hugo Pfoertner, Jun 21 2018

a(n) is the least positive integer k such that k can only contain 'n-1' in exactly 2 different bases B, where 1 < B <= k.

Apart from the first term, the same as A135300. - R. J. Mathar, Apr 29 2008

A058895(n)^3 + a(n)^3 + A033562(n)^3 = A185065(n)^3. - Vincenzo Librandi, Mar 13 2012

Numbers k such that for every nonnegative integer m, k^(3*m+1) + k^(3*m) is a cube. - Arkadiusz Wesolowski, Aug 10 2013

From Floor van Lamoen, Jul 21 2001: (Start)

Write 1,2,3,4,... in a hexagonal spiral around 0; then a(n) is the sequence found by reading the line from 0 in the direction 0, 6, ...

The spiral begins:

85--84--83--82--81--80

/ \

86 56--55--54--53--52 79

/ / \ \

87 57 33--32--31--30 51 78

/ / / \ \ \

88 58 34 16--15--14 29 50 77

/ / / / \ \ \ \

89 59 35 17 5---4 13 28 49 76

/ / / / / \ \ \ \ \

<==90==60==36==18===6===0 3 12 27 48 75

/ / / / / / / / / /

61 37 19 7 1---2 11 26 47 74

\ \ \ \ / / / /

62 38 20 8---9--10 25 46 73

\ \ \ / / /

63 39 21--22--23--24 45 72

\ \ / /

64 40--41--42--43--44 71

\ /

65--66--67--68--69--70

(End)

If Y is a 4-subset of an n-set X then, for n >= 5, a(n-5) is the number of (n-4)-subsets of X having exactly two elements in common with Y. - Milan Janjic, Dec 28 2007

a(n) is the maximal number of points of intersection of n+1 distinct triangles drawn in the plane. For example, two triangles can intersect in at most a(1) = 6 points (as illustrated in the Star of David configuration). - Terry Stickels (Terrystickels(AT)aol.com), Jul 12 2008

Also sequence found by reading the line from 0, in the direction 0, 6, ... and the same line from 0, in the direction 0, 18, ..., in the square spiral whose vertices are the generalized octagonal numbers A001082. Axis perpendicular to A195143 in the same spiral. - Omar E. Pol, Sep 18 2011

Partial sums of A008588. - R. J. Mathar, Aug 28 2014

Also the number of 5-cycles in the (n+5)-triangular honeycomb acute knight graph. - Eric W. Weisstein, Jul 27 2017

a(n-4) is the maximum irregularity over all maximal 3-degenerate graphs with n vertices. The extremal graphs are 3-stars (K_3 joined to n-3 independent vertices). (The irregularity of a graph is the sum of the differences between the degrees over all edges of the graph.) - Allan Bickle, May 29 2023