cp's OEIS Frontend

From Peter Bala, Nov 21 2017: (Start)

The sequence terms have the form 4*m + 1 (follows from the recurrence).

For k = 2,3,4,... the difference a(n+k) - a(n) is divisible by k (proof by induction on n making use of the recurrence - the starting case a(k) == a(0) (mod k) for all k follows from the sum formula for a(k)). Hence for each k, the sequence b(n) == a(n) (mod k) is periodic with the exact period dividing k. (End)

Compound Poisson distribution with parameter 1 and distribution Geometric(1/2) has a probability mass function p_n = a(n)*e^(-1/2)/(4^n*n!). More specifically, let S = Sum_{i=0..N} X_i where X_i's are i.i.d. random variables with Geometric(1/2) distribution (i.e., Pr{X_i = k} = 1/2^(k+1) for k=0,1,2...) and N is a random variable with Poisson(1) distribution independent of all X_i's. Then Pr{S=n} = a(n)*e^(-1/2)/(4^n*n!) = a(n)*e^(-1/2)/A047053(n) for nonnegative integers n. - Xiaohan Zhang, Nov 16 2022

For n >= 1, a(n) is the order of the wreath product of the symmetric group S_n and the Abelian group (C_7)^n. - Ahmed Fares (ahmedfares(AT)my-deja.com), May 07 2001

The coefficients in the upper right triangle of the ED1 array (m > n) were found with the a(n,m) formula while the coefficients in the lower left triangle of the ED1 array (m <= n) were found with the recurrence relation, see below. We use for the array rows the letter n (>= 1) and for the array columns the letter m (>= 1).

Our procedure for finding the coefficients in the lower left triangle can be compared with the procedure that De Smit and Lenstra used to fill in the hole in the middle of 'The Print Gallery' by M. C. Escher, see the links. In this lithograph Escher made use of the so-called Droste effect, hence we propose to call this square array of numbers the ED1 array.

For the ED2, ED3 and ED4 arrays see A167560, A167572 and A167584.

a(n) is the number of signed permutations of length 4n that are equal to their reverse-inverses. Note that the reverse-inverse of a permutation is equivalent to a 90-degree rotation of the permutation's diagram (see the Hardt and Troyka link). - Justin M. Troyka, Aug 11 2011

Define the bar operation as an operation on signed permutation that flips the sign of each entry. Then a(n) is the number of signed permutations of length 2n that are equal to the bar of their inverses and equal to their reverse-complements (see the Hardt and Troyka link). - Justin M. Troyka, Aug 11 2011

This is a lower triangular infinite matrix of the Jabotinsky type. See the Knuth reference given in A039692 for exponential convolution arrays.

The row polynomials p(n,x) := Sum_{m=1..n} a(n,m)x^m, n >= 1, have e.g.f. J(x; z)= exp((exp(4*z) - 1)*x/4) - 1

Also the inverse Bell transform of the quadruple factorial numbers 4^n*n! (A047053) adding 1,0,0,0,... as column 0. For the definition of the Bell transform see A264428 and for cross-references A265604. - Peter Luschny, Dec 31 2015

Many of the terms yield multifactorial primes a(n) + 1, e.g.: a(2) + 1 = 3, a(4) + 1 = 5, a(6) + 1 = 7, a(9) + 1 = 19, a(10) + 1 = 31, a(12) + 1 = 61, a(13) + 1 = 79, a(24) + 1 = 12241, a(25) + 1 = 19801, a(26) + 1 = 29641, a(29) + 1 = 76561, a(31) + 1 = 379441, a(35) + 1 = 2016841, a(36) + 1 = 2756161, ...

Equivalently, product of all positive integers <= n congruent to n (mod 7). - M. F. Hasler, Feb 23 2018

The coefficients in the upper right triangle of the ED2 array (m>n) were found with the a(n,m) formula while the coefficients in the lower left triangle of the ED2 array (m<=n) were found with the recurrence relation, see below. We use for the array rows the letter n (>=1) and for the array columns the letter m (>=1).

The ED2 array is related to the EG1 matrix, see A162005, because sum(EG1(2*m-1,n) * z^(2*m-1), m=1..infinity) = ((2*n-1)!/(4^(n-1)*(n-1)!^2))*int(sinh(y*(2*z))/cosh(y)^(2*n), y=0..infinity).

For the ED1, ED3 and ED4 arrays see A167546, A167572 and A167584.

a(n,m) = R_n^m(a=0, b=4) in the notation of the given 1961 and 1962 references.

a(n,m) is a Jabotinsky matrix, i.e., the monic row polynomials E(n,x) := Sum_{m=1..n} a(n,m)*x^m = Product_{j=0..n-1} (x - 4*j), n >= 1, and E(0,x) := 1 are exponential convolution polynomials (see A039692 for the definition and a Knuth reference).

This is the signed Stirling1 triangle with diagonal d >= 0 (main diagonal d = 0) scaled with 4^d.

Also the Bell transform of the quadruple factorial numbers Product_{k=0..n-1} (4*k+4) (A047053) giving unsigned values and adding 1, 0, 0, 0, ... as column 0. For the definition of the Bell transform, see A264428 and for cross-references A265606. - Peter Luschny, Dec 31 2015

Pbar(r,n) is a polynomial of degree r defined by the recurrence

Pbar(r+1,n) = (2*n-1)^2 * Pbar(r,n) - 4*(n-1)^2 * Pbar(r,n-1)

with initial condition Pbar(0,n) = 1.