A318537 - OEIS

A318537

Irregular triangle read by rows: T(n,m) is the number of n X m (0,1)-matrices with pairwise distinct nonzero columns and pairwise distinct nonzero rows, n >= 0, m = 0..2^n-1.

1, 0, 1, 0, 0, 6, 6, 0, 0, 6, 174, 840, 2520, 5040, 5040, 0, 0, 0, 840, 24360, 335160, 3553200, 32382000, 259459200, 1816214400, 10897286400, 54486432000, 217945728000, 653837184000, 1307674368000, 1307674368000, 0, 0, 0, 2520, 335160, 15198120, 476496720, 12767000400, 314181504000, 7288444800000

(list; graph; refs; listen; history; text; internal format)

OFFSET

0,6

COMMENTS

T(n,m) is divisible by both n! and m!, but not necessarily by n!*m!.

By symmetry T(n,m) = T(m,n).

T(n,2^n-1) = T(n,2^n-2) = (2^n-1)! = A028366(n).

LINKS

Table of n, a(n) for n=0..40.

FORMULA

T(n,m) = m! * Sum_{i=0..n} Stirling1(n+1,i+1) * binomial(2^i-1,m) = n! * Sum_{j=0..m} Stirling1(m+1,j+1) * binomial(2^j-1,n).

T(n,m) = A059202(n,m) * m!.

EXAMPLE

Triangle begins:

n=0: 1;

n=1: 0, 1;

n=2: 0, 0, 6, 6;

n=3: 0, 0, 6, 174, 840, 2520, 5040, 5040;

...

PROG

(PARI) { A318537(n, m) = m! * sum(i=0, n, stirling(n+1, i+1)*binomial(2^i - 1, m)); }

CROSSREFS

Cf. A318538 (main diagonal), A059202.

Sequence in context: A238291 A028971 A173451 * A006806 A002892 A055667

Adjacent sequences: A318534 A318535 A318536 * A318538 A318539 A318540

KEYWORD

nonn,tabf

AUTHOR

Max Alekseyev, Aug 28 2018

STATUS

approved