A331639 -id:A331639 - cp's OEIS frontend

A331277 Array read by antidiagonals: A(n,k) is the number of binary matrices with k distinct columns and any number of nonzero rows with n ones in every column and columns in decreasing lexicographic order.

1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 1, 6, 1, 1, 0, 1, 62, 31, 1, 1, 0, 1, 900, 2649, 160, 1, 1, 0, 1, 16824, 441061, 116360, 841, 1, 1, 0, 1, 384668, 121105865, 231173330, 5364701, 4494, 1, 1, 0, 1, 10398480, 49615422851, 974787170226, 131147294251, 256452714, 24319, 1, 1

Offset: 0

Andrew Howroyd, Jan 13 2020

The condition that the columns be in decreasing order is equivalent to considering nonequivalent matrices with distinct columns up to permutation of columns.

A(n,k) is the number of labeled n-uniform hypergraphs with k edges and no isolated vertices. When n=2 these objects are graphs.

			Array begins:
====================================================================
n\k | 0 1    2         3              4            5           6
----+---------------------------------------------------------------
  0 | 1 1    0         0              0            0           0 ...
  1 | 1 1    1         1              1            1           1 ...
  2 | 1 1    6        62            900        16824      384668 ...
  3 | 1 1   31      2649         441061    121105865 49615422851 ...
  4 | 1 1  160    116360      231173330 974787170226 ...
  5 | 1 1  841   5364701   131147294251 ...
  6 | 1 1 4494 256452714 78649359753286 ...
  ...
The A(2,2) = 6 matrices are:
   [1 0]  [1 0]  [1 0]  [1 1]  [1 0]  [1 0]
   [1 0]  [0 1]  [0 1]  [1 0]  [1 1]  [0 1]
   [0 1]  [1 0]  [0 1]  [0 1]  [0 1]  [1 1]
   [0 1]  [0 1]  [1 0]

Andrew Howroyd, Table of n, a(n) for n = 0..1325

Rows n=1..3 are A000012, A121251, A136245.
Columns k=0..3 are A000012, A000012, A047665, A137219.
The version with nonnegative integer entries is A331278.
The version with not necessarily distinct columns is A330942.
Cf. A262809 (unrestricted version), A331315, A331639.

T(n,k)={my(m=n*k); sum(j=0, m, binomial(binomial(j,n), k)*sum(i=j, m, (-1)^(i-j)*binomial(i, j)))}

A(n, k) = Sum_{j=0..n*k} binomial(binomial(j,n),k) * (Sum_{i=j..n*k} (-1)^(i-j)*binomial(i,j)).
A(n, k) = Sum_{j=0..k} Stirling1(k, j)*A262809(n, j)/k!.
A(n, k) = Sum_{j=0..k} (-1)^(k-j)*binomial(k-1, k-j)*A330942(n, j).
A331639(n) = Sum_{d|n} A(n/d, d).

A331638 Number of binary matrices with nonzero rows, a total of n ones and each column with the same number of ones and columns in nonincreasing lexicographic order.

Original entry on oeis.org

1, 3, 5, 16, 17, 140, 65, 1395, 2969, 22176, 1025, 1050766, 4097, 13010328, 128268897, 637598438, 65537, 64864962683, 262145, 1676258452736, 28683380484257, 24908619669860, 4194305, 30567710172480050, 8756434134071649, 62128557507554504, 21271147396968151093

Offset: 1

Andrew Howroyd, Jan 23 2020

nonn

The condition that the columns be in nonincreasing order is equivalent to considering nonequivalent matrices up to permutation of columns.
From Gus Wiseman, Apr 03 2025: (Start)
Also the number of multiset partitions such that (1) the blocks together cover an initial interval of positive integers, (2) the blocks are sets of a common size, and (3) the block-sizes sum to n. For example, the a(1) = 1 through a(4) = 16 multiset partitions are:
  {{1}}  {{1,2}}    {{1,2,3}}      {{1,2,3,4}}
         {{1},{1}}  {{1},{1},{1}}  {{1,2},{1,2}}
         {{1},{2}}  {{1},{1},{2}}  {{1,2},{1,3}}
                    {{1},{2},{2}}  {{1,2},{2,3}}
                    {{1},{2},{3}}  {{1,2},{3,4}}
                                   {{1,3},{2,3}}
                                   {{1,3},{2,4}}
                                   {{1,4},{2,3}}
                                   {{1},{1},{1},{1}}
                                   {{1},{1},{1},{2}}
                                   {{1},{1},{2},{2}}
                                   {{1},{1},{2},{3}}
                                   {{1},{2},{2},{2}}
                                   {{1},{2},{2},{3}}
                                   {{1},{2},{3},{3}}
                                   {{1},{2},{3},{4}}
(End)

Andrew Howroyd, Table of n, a(n) for n = 1..200

Cf. A330942, A331639.
For constant instead of strict blocks we have A034729.
Without equal sizes we have A116540 (normal set multipartitions).
Without strict blocks we have A317583.
For distinct instead of equal sizes we have A382428, non-strict blocks A326517.
For equal sums instead of sizes we have A382429, non-strict blocks A326518.
Normal multiset partitions: A255903, A255906, A317532, A382203, A382204, A382216.
Cf. A000110, A000670, A007716, A034691, A035310, A050320, A050326, A116539, A306319, A381718.

a(n) = Sum_{d|n} A330942(n/d, d).

a(p) = 2^(p-1) + 1 for prime p.

cp's OEIS Frontend

A331277 Array read by antidiagonals: A(n,k) is the number of binary matrices with k distinct columns and any number of nonzero rows with n ones in every column and columns in decreasing lexicographic order.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula