A135588 -id:A135588 - cp's OEIS frontend

A138178 Number of symmetric matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n.

1, 1, 3, 9, 33, 125, 531, 2349, 11205, 55589, 291423, 1583485, 8985813, 52661609, 319898103, 2000390153, 12898434825, 85374842121, 580479540219, 4041838056561, 28824970996809, 210092964771637, 1564766851282299, 11890096357039749, 92151199272181629

Offset: 0

Vladeta Jovovic, Mar 03 2008

Number of normal semistandard Young tableaux of size n, where a tableau is normal if its entries span an initial interval of positive integers. - Gus Wiseman, Feb 23 2018

			a(4) = 33 because there are 1 such matrix of type 1 X 1, 7 matrices of type 2 X 2, 15 of type 3 X 3 and 10 of type 4 X 4, cf. A138177.
From _Gus Wiseman_, Feb 23 2018: (Start)
The a(3) = 9 normal semistandard Young tableaux:
1   1 2   1 3   1 2   1 1   1 2 3   1 2 2   1 1 2   1 1 1
2   3     2     2     2
3
(End)
From _Gus Wiseman_, Nov 14 2018: (Start)
The a(4) = 33 matrices:
[4]
.
[30][21][20][11][10][02][01]
[01][10][02][11][03][20][12]
.
[200][200][110][101][100][100][100][100][011][010][010][010][001][001][001]
[010][001][100][010][020][011][010][001][100][110][101][100][020][010][001]
[001][010][001][100][001][010][002][011][100][001][010][002][100][101][110]
.
[1000][1000][1000][1000][0100][0100][0010][0010][0001][0001]
[0100][0100][0010][0001][1000][1000][0100][0001][0100][0010]
[0010][0001][0100][0010][0010][0001][1000][1000][0010][0100]
[0001][0010][0001][0100][0001][0010][0001][0100][1000][1000]
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..500

Row sums of A138177.
Cf. A007716, A120733, A135588, A296188.
Cf. A057151, A104601, A104602, A120732, A316983, A320796, A321401, A321405, A321407.

gf:= proc(j) local k, n; add(add((-1)^(n-k) *binomial(n, k) *(1-x)^(-k) *(1-x^2)^(-binomial(k, 2)), k=0..n), n=0..j) end: a:= n-> coeftayl(gf(n+1), x=0, n): seq(a(n), n=0..25); # Alois P. Heinz, Sep 25 2008

Table[Sum[SeriesCoefficient[1/(2^(k+1)*(1-x)^k*(1-x^2)^(k*(k-1)/2)),{x,0,n}],{k,0,Infinity}],{n,0,20}]  (* Vaclav Kotesovec, Jul 03 2014 *)
multsubs[set_,k_]:=If[k==0,{{}},Join@@Table[Prepend[#,set[[i]]]&/@multsubs[Drop[set,i-1],k-1],{i,Length[set]}]]; Table[Length[Select[multsubs[Tuples[Range[n],2],n],And[Union[First/@#]==Range[Max@@First/@#],Union[Last/@#]==Range[Max@@Last/@#],Sort[Reverse/@#]==#]&]],{n,5}] (* Gus Wiseman, Nov 14 2018 *)

G.f.: Sum_{n>=0} Sum_{k=0..n} (-1)^(n-k)*C(n,k)*(1-x)^(-k)*(1-x^2)^(-C(k,2)).

G.f.: Sum_{n>=0} 2^(-n-1)*(1-x)^(-n)*(1-x^2)^(-C(n,2)). - Vladeta Jovovic, Dec 09 2009

More terms from Alois P. Heinz, Sep 25 2008

A321405 Number of non-isomorphic self-dual set systems of weight n.

Original entry on oeis.org

1, 1, 1, 2, 2, 3, 6, 9, 16, 28, 47

Offset: 0

Gus Wiseman, Nov 15 2018

Also the number of (0,1) symmetric matrices up to row and column permutations with sum of elements equal to n and no zero rows or columns, in which the rows are all different.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(8) = 16 set systems:
  {{1}}  {{1}{2}}  {{2}{12}}    {{1}{3}{23}}    {{2}{13}{23}}
                   {{1}{2}{3}}  {{1}{2}{3}{4}}  {{1}{2}{4}{34}}
                                                {{1}{2}{3}{4}{5}}
.
  {{12}{13}{23}}        {{13}{23}{123}}          {{1}{13}{14}{234}}
  {{3}{23}{123}}        {{1}{23}{24}{34}}        {{12}{13}{24}{34}}
  {{1}{3}{24}{34}}      {{1}{4}{34}{234}}        {{1}{24}{34}{234}}
  {{2}{4}{12}{34}}      {{2}{13}{24}{34}}        {{2}{14}{34}{234}}
  {{1}{2}{3}{5}{45}}    {{3}{4}{14}{234}}        {{3}{4}{134}{234}}
  {{1}{2}{3}{4}{5}{6}}  {{1}{2}{4}{35}{45}}      {{4}{13}{14}{234}}
                        {{1}{3}{5}{23}{45}}      {{1}{2}{34}{35}{45}}
                        {{1}{2}{3}{4}{6}{56}}    {{1}{2}{5}{45}{345}}
                        {{1}{2}{3}{4}{5}{6}{7}}  {{1}{3}{24}{35}{45}}
                                                 {{1}{4}{5}{25}{345}}
                                                 {{2}{4}{12}{35}{45}}
                                                 {{4}{5}{13}{23}{45}}
                                                 {{1}{2}{3}{5}{46}{56}}
                                                 {{1}{2}{4}{6}{34}{56}}
                                                 {{1}{2}{3}{4}{5}{7}{67}}
                                                 {{1}{2}{3}{4}{5}{6}{7}{8}}

Cf. A000219, A007716, A045778, A049311, A135588, A138178, A283877, A316980, A316983, A319616.

Cf. A320796, A320797, A321401, A321403, A321406.

A138265 Number of upper triangular zero-one matrices with n ones and no zero rows or columns.

Original entry on oeis.org

1, 1, 1, 2, 5, 16, 61, 271, 1372, 7795, 49093, 339386, 2554596, 20794982, 182010945, 1704439030, 17003262470, 180011279335, 2015683264820, 23801055350435, 295563725628564, 3850618520827590, 52514066450469255, 748191494586458700, 11115833059268126770

Offset: 0

Vladeta Jovovic, Mar 10 2008, Mar 11 2008

Row sums of A193357.
This is also the number of rigid unlabeled interval orders with n points (see Brightwell-Keller, Theorem 2; or Dukes-Kitaev-Remmel-Steingrímsson, Theorem 8). - N. J. A. Sloane, Dec 04 2011  [Corrected by Vít Jelínek, Sep 04 2014.]
Number of length-n ascent sequences without flat steps (i.e., no two adjacent digits are equal).  An ascent sequence is a sequence [d(1), d(2), ..., d(n)] where d(k)>=0 and d(k) <= 1 + asc([d(1), d(2), ..., d(k-1)]) and asc(.) gives the number of ascents of its argument. [Joerg Arndt, Nov 05 2012]

			From _Joerg Arndt_, Nov 05 2012: (Start)
The a(4) = 5 such matrices with 4 ones are (dots for zeros):
  1 . . .      1 1 .      1 . 1      1 1 .      1 . .
  . 1 . .      . . 1      . 1 .      . 1 .      . 1 1
  . . 1 .      . . 1      . . 1      . . 1      . . 1
  . . . 1
The a(5)=16 ascent sequences without flat steps are (dots for zeros):
  [ 1]   [ . 1 . 1 . ]
  [ 2]   [ . 1 . 1 2 ]
  [ 3]   [ . 1 . 1 3 ]
  [ 4]   [ . 1 . 2 . ]
  [ 5]   [ . 1 . 2 1 ]
  [ 6]   [ . 1 . 2 3 ]
  [ 7]   [ . 1 2 . 1 ]
  [ 8]   [ . 1 2 . 2 ]
  [ 9]   [ . 1 2 . 3 ]
  [10]   [ . 1 2 1 . ]
  [11]   [ . 1 2 1 2 ]
  [12]   [ . 1 2 1 3 ]
  [13]   [ . 1 2 3 . ]
  [14]   [ . 1 2 3 1 ]
  [15]   [ . 1 2 3 2 ]
  [16]   [ . 1 2 3 4 ]
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..300
G. E. Andrews and J. A. Sellers, Congruences for the Fishburn Numbers, arXiv preprint arXiv:1401.5345 [math.NT], 2014 (see final paragraph of text).
George E. Andrews and Vít Jelínek, On q-Series Identities Related to Interval Orders, arXiv:1309.6669 [math.CO], 2013.
George E. Andrews and Vít Jelínek, On q-Series Identities Related to Interval Orders, European Journal of Combinatorics, Volume 39, July 2014, 178-187.
Graham Brightwell and Mitchel T. Keller, Asymptotic Enumeration of Labelled Interval Orders, arXiv 1111.6766 [math.CO], 2011.
Kathrin Bringmann, Yingkun Li, and Robert C. Rhoades, Asymptotics for the number of row-Fishburn matrices, European Journal of Combinatorics, vol.41, pp.183-196, (October-2014); preprint.
Matthieu Dien, Antoine Genitrini, and Frederic Peschanski, A Combinatorial Study of Async/Await Processes, Conf.: 19th Int'l Colloq. Theor. Aspects of Comp. (2022), (Analytic) Combinatorics of concurrent systems.
M. Dukes, S. Kitaev, J. Remmel, and E. Steingrímsson, Enumerating (2+2)-free posets by indistinguishable elements, arXiv:1006.2696 [math.CO], 2010.
M. Dukes, S. Kitaev, J. Remmel, and E. Steingrímsson, Enumerating (2+2)-free posets by indistinguishable elements, Journal of Combinatorics, Volume 2, Issue 1, 2011, pp. 139-163.
F. Garvan, Congruences and relations for the r-Fishburn numbers, arXiv:1406.5611 [math.NT], 2014.
Ankush Goswami, Abhash Kumar Jha, Byungchan Kim, and Robert Osburn, Asymptotics and sign patterns for coefficients in expansions of Habiro elements, arXiv:2204.02628 [math.NT], 2022.
Hsien-Kuei Hwang and Emma Yu Jin, Asymptotics and statistics on Fishburn matrices and their generalizations, arXiv:1911.06690 [math.CO], 2019.
V. Jelínek, Counting self-dual interval orders, arXiv:1106.2261 [math.CO], 2011.
V. Jelínek, Counting general and self-dual interval orders, Journal of Combinatorial Theory, Series A, Volume 119, Issue 3, April 2012, pp. 599-614.
V. Jelinek, Catalan pairs and Fishburn triples, Adv. Appl. Math. 70 (2015) 1-31
Soheir Mohamed Khamis, Exact Counting of Unlabeled Rigid Interval Posets Regarding or Disregarding Height, Order (journal), published on-line, 2011.
Yan X. Zhang, Four Variations on Graded Posets, arXiv preprint arXiv:1508.00318 [math.CO], 2015.

Cf. A005321, A104602, A135588, A193548, A194530.
Column k=0 of A242153.
Column k=1 of A264909.
Row sums of A137252.

g:=sum(product(1-1/(1+x)^i,i=1..n),n=0..35): gser:=series(g,x=0,30): seq(coeff(gser,x,n),n=0..22);  # Emeric Deutsch, Mar 23 2008
# second Maple program:
b:= proc(n, i, t) option remember; `if`(n<1, 1, add(
     `if`(i=j, 0, b(n-1, j, t+`if`(j>i, 1, 0))), j=0..t+1))
    end:
a:= n-> b(n-1, 0$2):
seq(a(n), n=0..30);  # Alois P. Heinz, Nov 09 2012, Jan 14 2015

max = 25; g = Sum[Product[1 - 1/(1 - x)^i, {i, 1, n}], {n, 0, max}]; gser = Series[g, {x, 0, max}]; a[n_] := SeriesCoefficient[gser, {x, 0, n}]; Table[a[n] // Abs, {n, 0, max-1}] (* Jean-François Alcover, Jan 24 2014, after Emeric Deutsch *)

# Adaptation of the Maple program by Alois P. Heinz:
@CachedFunction
def b(n, i, t):
    if n<1: return 1
    return sum(b(n-1, j, t+(j>i)) for j in range(t+2))
def a(n):
    if n<1: return 1
    return sum((-1)^(n-k)*binomial(n-1, k-1)*b(k-1, 0, 0) for k in range(n+1))
[a(n) for n in range(33)]
# Joerg Arndt, Feb 26 2014

G.f.: Sum_{n>=0} (Product_{i=1..n} 1-1/(1+x)^i).
G.f.: Sum_{n>=0} (1+x)^(n+1)*Product_{i=1..n} (1-(1+x)^i)^2. Proved by Bringmann-Li-Rhoades, and by Andrews-Jelínek. - Vít Jelínek, Sep 04 2014
a(n) = (1/n!)*Sum_{k=0..n} Stirling1(n,k)*A079144(k). a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(n-1,k-1)*A022493(k).
G.f.: B(x/(1+x)) where B(x) is the g.f. of A022493; g.f.: Q(0,u) where u=x/(1+x), Q(k,u) = 1 + (1 - (1-x)^(2*k+1))/(1 - (1-(1-x)^(2*k+2))/(1 -(1-x)^(2*k+2) + 1/Q(k+1,u) )); (continued fraction). - Sergei N. Gladkovskii, Oct 03 2013
Asymptotics (Brightwell and Keller, 2011): a(n) ~ 12*sqrt(3)/(exp(Pi^2/12)*Pi^(5/2)) * n!*sqrt(n)*(6/Pi^2)^n. - Vaclav Kotesovec, May 03 2014
From Vít Jelínek, Sep 04 2014: (Start)
For each m, a(5m+4) mod 5 = 0. Conjectured by Andrews-Sellers, and proved by Garvan (see Remark 1.4(ii) in Garvan's paper).
For each m, a(5m+1) mod 5 = a(5m+2) mod 5 = 3*a(5m+3) mod 5. Proved by Garvan (see (1.17) in Garvan's paper).
The limit a(n)/A022493(n) is equal to exp(-Pi^2/6). This corresponds to the asymptotic probability that a random unlabeled interval order is rigid (See Brightwell-Keller; or Jelínek, Fact 5.2). (End)
Conjectural g.f.:  1 + Sum_{n >= 0} n/(1+x)^(n+1) * (Product_{i = 1..n} 1 - 1/(1+x)^i). Cf. A194530. - Peter Bala, Aug 21 2023

More terms from Emeric Deutsch, Mar 23 2008

A057150 Triangle read by rows: T(n,k) = number of k X k binary matrices with n ones, with no zero rows or columns, up to row and column permutation.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 1, 2, 1, 0, 0, 5, 2, 1, 0, 0, 4, 11, 2, 1, 0, 0, 3, 21, 14, 2, 1, 0, 0, 1, 34, 49, 15, 2, 1, 0, 0, 1, 33, 131, 69, 15, 2, 1, 0, 0, 0, 33, 248, 288, 79, 15, 2, 1, 0, 0, 0, 19, 410, 840, 420, 82, 15, 2, 1, 0, 0, 0, 14, 531, 2144, 1744, 497, 83, 15, 2, 1

Offset: 1

Vladeta Jovovic, Aug 14 2000

Also the number of non-isomorphic set multipartitions (multisets of sets) of weight n with k parts and k vertices. - Gus Wiseman, Nov 14 2018

			[1], [0,1], [0,1,1], [0,1,2,1], [0,0,5,2,1], [0,0,4,11,2,1], ...;
There are 8 square binary matrices with 5 ones, with no zero rows or columns, up to row and column permutation: 5 of size 3 X 3:
[0 0 1] [0 0 1] [0 0 1] [0 0 1] [0 0 1]
[0 0 1] [0 1 0] [0 1 1] [0 1 1] [1 1 0]
[1 1 1] [1 1 1] [1 0 1] [1 1 0] [1 1 0]
2 of size 4 X 4:
[0 0 0 1] [0 0 0 1]
[0 0 0 1] [0 0 1 0]
[0 0 1 0] [0 1 0 0]
[1 1 0 0] [1 0 0 1]
and 1 of size 5 X 5:
[0 0 0 0 1]
[0 0 0 1 0]
[0 0 1 0 0]
[0 1 0 0 0]
[1 0 0 0 0].
From _Gus Wiseman_, Nov 14 2018: (Start)
Triangle begins:
   1
   0   1
   0   1   1
   0   1   2   1
   0   0   5   2   1
   0   0   4  11   2   1
   0   0   3  21  14   2   1
   0   0   1  34  49  15   2   1
   0   0   1  33 131  69  15   2   1
   0   0   0  33 248 288  79  15   2   1
Non-isomorphic representatives of the multiset partitions counted in row 6 {0,0,4,11,2,1} are:
  {{12}{13}{23}}  {{1}{1}{1}{234}}  {{1}{2}{3}{3}{45}}  {{1}{2}{3}{4}{5}{6}}
  {{1}{23}{123}}  {{1}{1}{24}{34}}  {{1}{2}{3}{5}{45}}
  {{13}{23}{23}}  {{1}{1}{4}{234}}
  {{3}{23}{123}}  {{1}{2}{34}{34}}
                  {{1}{3}{24}{34}}
                  {{1}{3}{4}{234}}
                  {{1}{4}{24}{34}}
                  {{1}{4}{4}{234}}
                  {{2}{4}{12}{34}}
                  {{3}{4}{12}{34}}
                  {{4}{4}{12}{34}}
(End)

Row sums give A057151.
Cf. A049311, A056037, A056079, A056080, A057149, A057151, A057152.
Cf. A007716, A048291, A054976, A101370, A104601, A104602, A120732, A120733, A135588, A319616, A321609, A321615.

permcount[v_List] := Module[{m = 1, s = 0, k = 0, t}, For[i = 1, i <= Length[v], i++, t = v[[i]]; k = If[i > 1 && t == v[[i - 1]], k + 1, 1]; m *= t*k; s += t]; s!/m];
c[p_List, q_List, k_] := SeriesCoefficient[Product[Product[(1 + O[x]^(k + 1) + x^LCM[p[[i]], q[[j]]])^GCD[p[[i]], q[[j]]], {j, 1, Length[q]}], {i, 1, Length[p]}], {x, 0, k}];
M[m_, n_, k_] := M[m, n, k] = Module[{s = 0}, Do[Do[s += permcount[p]* permcount[q]*c[p, q, k], {q, IntegerPartitions[n]}], {p, IntegerPartitions[m]}]; s/(m!*n!)];
T[n_, k_] := M[k, k, n] - 2*M[k, k - 1, n] + M[k - 1, k - 1, n];
Table[T[n, k], {n, 1, 12}, {k, 1, n}] // Flatten (* Jean-François Alcover, Sep 10 2019, after Andrew Howroyd *)

\\ See A321609 for M.
T(n,k) = M(k,k,n) - 2*M(k,k-1,n) + M(k-1,k-1,n); \\ Andrew Howroyd, Nov 14 2018

Duplicate seventh row removed by Gus Wiseman, Nov 14 2018

A135589 Triangle T(n,k) read by rows: number of k X k symmetric (0,1)-matrices with exactly n entries equal to 1 and no zero rows or columns.

Original entry on oeis.org

1, 0, 1, 0, 0, 2, 0, 0, 2, 4, 0, 0, 1, 9, 10, 0, 0, 0, 12, 36, 26, 0, 0, 0, 10, 76, 140, 76, 0, 0, 0, 6, 116, 420, 540, 232, 0, 0, 0, 3, 138, 915, 2160, 2142, 764, 0, 0, 0, 1, 136, 1605, 6230, 10766, 8624, 2620, 0, 0, 0, 0, 116, 2372, 14436, 39130, 53312, 35856, 9496, 0, 0, 0, 0

Offset: 0

Vladeta Jovovic, Feb 25 2008

			  1;
  0, 1;
  0, 0, 2;
  0, 0, 2,  4;
  0, 0, 1,  9,  10;
  0, 0, 0, 12,  36,  26;
  0, 0, 0, 10,  76, 140,  76;
  0, 0, 0,  6, 116, 420, 540, 232;
  ...

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

Main diagonal gives A000085.
Row sums give A135588.
Column sums give A322661.

T(n)=my(A=O(x*x^n), v=vector(n+1, k, k--;Col(A+(1+x+A)^k*(1+x^2+A)^binomial(k,2)))); Mat(vector(n+1, k, k--; sum(j=0, k, (-1)^(k-j)*binomial(k,j)*v[1+j])))
{ my(M=T(10)); for(i=1, #M, print(M[i,1..i])) } \\ Andrew Howroyd, Feb 01 2024

G.f. of column k: Sum_{j=0..k} (-1)^(k-j) * binomial(k,j) * (1 + x)^j * (1 + x^2)^binomial(j,2). - Andrew Howroyd, Feb 01 2024

A138177 Triangle T(n,k) read by rows: number of k X k symmetric matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n, n>=1, 1<=k<=n.

Original entry on oeis.org

1, 1, 2, 1, 4, 4, 1, 7, 15, 10, 1, 10, 36, 52, 26, 1, 14, 74, 176, 190, 76, 1, 18, 132, 460, 810, 696, 232, 1, 23, 222, 1060, 2705, 3756, 2674, 764, 1, 28, 347, 2180, 7565, 15106, 17262, 10480, 2620, 1, 34, 525, 4204, 19013, 51162, 83440, 80816, 42732, 9496, 1, 40

Offset: 1

Vladeta Jovovic, Mar 03 2008

See the Brualdi/Ma reference for the connection to A161126. - Joerg Arndt, Nov 02 2014
T(n,k) is also the number of semistandard Young tableaux of size n whose entries span the interval 1..k. See also Gus Wiseman's comment in A138178. The T(4,2) = 7 semi-standard Young tableaux of size 4 spanning the interval 1..2 are:
   11  122  112  111  1222  1122  1112
   22  2    2    2                      . - Jacob Post, Jun 15 2018

			Triangle T(n,k) begins:
  1;
  1,  2;
  1,  4,   4;
  1,  7,  15,   10;
  1, 10,  36,   52,   26;
  1, 14,  74,  176,  190,   76;
  1, 18, 132,  460,  810,  696,  232;
  1, 23, 222, 1060, 2705, 3756, 2674, 764;
  ...

Alois P. Heinz, Rows n = 1..141, flattened
Richard A. Brualdi, Shi-Mei Ma, Enumeration of involutions by descents and symmetric matrices, European Journal of Combinatorics, vol.43, pp.220-228, (January 2015).
FindStat - Combinatorial Statistic Finder, Semistandard Young tableaux
Samantha Dahlberg, Combinatorial Proofs of Identities Involving Symmetric Matrices, arXiv:1410.7356 [math.CO], (27-October-2014)

Cf. (row sums) A138178, A135589, A135588, A161126, A210391.
Main diagonal gives A000085. - Alois P. Heinz, Apr 06 2015
T(2n,n) gives A266305.
T(n^2,n) gives A268309.

gf:= k-> 1/((1-x)^k*(1-x^2)^(k*(k-1)/2)):
A:= (n, k)-> coeff(series(gf(k), x, n+1), x, n):
T:= (n, k)-> add(A(n, k-i)*(-1)^i*binomial(k, i), i=0..k):
seq(seq(T(n, k), k=1..n), n=1..12);  # Alois P. Heinz, Apr 06 2015

gf[k_] := 1/((1-x)^k*(1-x^2)^(k*(k-1)/2)); A[n_, k_] := Coefficient[ Series [gf[k], {x, 0, n+1}], x, n]; T[n_, k_] := Sum[(-1)^j*Binomial[k, j]*A[n, k-j], {j, 0, k}]; Table[T[n, k], {n, 1, 12}, {k, 1, n}] // Flatten (* Jean-François Alcover, Jan 31 2016, after Alois P. Heinz *)

T(n,k) = Sum_{i=0..k} (-1)^i * binomial(k,i) * A210391(n,k-i). - Alois P. Heinz, Apr 06 2015

A321406 Number of non-isomorphic self-dual set systems of weight n with no singletons.

Original entry on oeis.org

1, 0, 0, 0, 0, 0, 1, 1, 1, 2, 4

Offset: 0

Gus Wiseman, Nov 15 2018

Also the number of 0-1 symmetric matrices up to row and column permutations with sum of elements equal to n and no zero rows or columns, in which the rows are all different and none sums to 1.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(6) = 1 through a(10) = 4 set systems:
   6: {{1,2},{1,3},{2,3}}
   7: {{1,3},{2,3},{1,2,3}}
   8: {{1,2},{1,3},{2,4},{3,4}}
   9: {{1,2},{1,3},{1,4},{2,3,4}}
   9: {{1,2},{1,4},{3,4},{2,3,4}}
  10: {{1,2},{2,4},{1,3,4},{2,3,4}}
  10: {{1,3},{2,4},{1,3,4},{2,3,4}}
  10: {{1,4},{2,4},{3,4},{1,2,3,4}}
  10: {{1,2},{1,3},{2,4},{3,5},{4,5}}

Cf. A000219, A007716, A045778, A049311, A135588, A138178, A283877, A302545, A316980, A316983.

Cf. A320796, A320797, A321401, A321402, A321403, A321405.

A321403 Number of non-isomorphic self-dual set multipartitions (multisets of sets) of weight n.

Original entry on oeis.org

1, 1, 1, 2, 4, 6, 10, 17, 32, 56, 98, 177, 335, 620, 1164, 2231, 4349, 8511, 16870, 33844, 68746, 140894, 291698, 610051, 1288594, 2745916, 5903988, 12805313, 28010036, 61764992, 137281977, 307488896, 693912297, 1577386813, 3611241900, 8324940862, 19321470086

Offset: 0

Gus Wiseman, Nov 15 2018

nonn

Also the number of symmetric (0,1)-matrices up to row and column permutations with sum of elements equal to n and no zero rows or columns.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(7) = 17 set multipartitions:
  {{1}}  {{1},{2}}  {{2},{1,2}}    {{1,2},{1,2}}      {{1},{2,3},{2,3}}
                    {{1},{2},{3}}  {{1},{1},{2,3}}    {{2},{1,3},{2,3}}
                                   {{1},{3},{2,3}}    {{3},{3},{1,2,3}}
                                   {{1},{2},{3},{4}}  {{1},{2},{2},{3,4}}
                                                      {{1},{2},{4},{3,4}}
                                                      {{1},{2},{3},{4},{5}}
.
  {{1,2},{1,3},{2,3}}        {{1,3},{2,3},{1,2,3}}
  {{3},{2,3},{1,2,3}}        {{1},{1},{1,4},{2,3,4}}
  {{1},{1},{1},{2,3,4}}      {{1},{2,3},{2,4},{3,4}}
  {{1},{2},{3,4},{3,4}}      {{1},{4},{3,4},{2,3,4}}
  {{1},{3},{2,4},{3,4}}      {{2},{1,2},{3,4},{3,4}}
  {{1},{4},{4},{2,3,4}}      {{2},{1,3},{2,4},{3,4}}
  {{2},{4},{1,2},{3,4}}      {{3},{4},{1,4},{2,3,4}}
  {{1},{2},{3},{3},{4,5}}    {{4},{4},{4},{1,2,3,4}}
  {{1},{2},{3},{5},{4,5}}    {{1},{1},{5},{2,3},{4,5}}
  {{1},{2},{3},{4},{5},{6}}  {{1},{2},{2},{2},{3,4,5}}
                             {{1},{2},{3},{4,5},{4,5}}
                             {{1},{2},{4},{3,5},{4,5}}
                             {{1},{2},{5},{5},{3,4,5}}
                             {{1},{3},{5},{2,3},{4,5}}
                             {{1},{2},{3},{4},{4},{5,6}}
                             {{1},{2},{3},{4},{6},{5,6}}
                             {{1},{2},{3},{4},{5},{6},{7}}
Inequivalent representatives of the a(6) = 10 matrices:
  [0 0 1] [1 1 0]
  [0 1 1] [1 0 1]
  [1 1 1] [0 1 1]
.
  [1 0 0 0] [1 0 0 0] [1 0 0 0] [1 0 0 0] [0 1 0 0]
  [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] [0 0 0 1]
  [1 0 0 0] [0 0 1 1] [0 1 0 1] [0 0 0 1] [1 1 0 0]
  [0 1 1 1] [0 0 1 1] [0 0 1 1] [0 1 1 1] [0 0 1 1]
.
  [1 0 0 0 0] [1 0 0 0 0]
  [0 1 0 0 0] [0 1 0 0 0]
  [0 0 1 0 0] [0 0 1 0 0]
  [0 0 1 0 0] [0 0 0 0 1]
  [0 0 0 1 1] [0 0 0 1 1]
.
  [1 0 0 0 0 0]
  [0 1 0 0 0 0]
  [0 0 1 0 0 0]
  [0 0 0 1 0 0]
  [0 0 0 0 1 0]
  [0 0 0 0 0 1]

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

Cf. A007716, A049311, A135588, A135589, A138178, A283877, A316983, A319616.

Cf. A320796, A320797, A321403, A321404, A321405.

permcount(v) = {my(m=1, s=0, k=0, t); for(i=1, #v, t=v[i]; k=if(i>1&&t==v[i-1], k+1, 1); m*=t*k; s+=t); s!/m}
c(p, k)={polcoef((prod(i=2, #p, prod(j=1, i-1, (1 + x^(2*lcm(p[i], p[j])) + O(x*x^k))^gcd(p[i], p[j]))) * prod(i=1, #p, my(t=p[i]); (1 + x^t + O(x*x^k))^(t%2)*(1 + x^(2*t) + O(x*x^k))^(t\2) )), k)}
a(n)={my(s=0); forpart(p=n, s+=permcount(p)*c(p, n)); s/n!} \\ Andrew Howroyd, May 31 2023

Terms a(11) and beyond from Andrew Howroyd, May 31 2023

A321404 Number of non-isomorphic self-dual set multipartitions (multisets of sets) of weight n with no singletons.

Original entry on oeis.org

1, 0, 0, 0, 1, 0, 1, 1, 3, 4, 6

Offset: 0

Gus Wiseman, Nov 15 2018

Also the number of 0-1 symmetric matrices up to row and column permutations with sum of elements equal to n and no zero rows or columns, in which no row sums to 1.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(4) = 1 through a(10) = 6 set multipartitions:
   4: {{1,2},{1,2}}
   6: {{1,2},{1,3},{2,3}}
   7: {{1,3},{2,3},{1,2,3}}
   8: {{2,3},{1,2,3},{1,2,3}}
   8: {{1,2},{1,2},{3,4},{3,4}}
   8: {{1,2},{1,3},{2,4},{3,4}}
   9: {{1,2,3},{1,2,3},{1,2,3}}
   9: {{1,2},{1,2},{3,4},{2,3,4}}
   9: {{1,2},{1,3},{1,4},{2,3,4}}
   9: {{1,2},{1,4},{3,4},{2,3,4}}
  10: {{1,2},{1,2},{1,3,4},{2,3,4}}
  10: {{1,2},{2,4},{1,3,4},{2,3,4}}
  10: {{1,3},{2,4},{1,3,4},{2,3,4}}
  10: {{1,4},{2,4},{3,4},{1,2,3,4}}
  10: {{1,2},{1,2},{3,4},{3,5},{4,5}}
  10: {{1,2},{1,3},{2,4},{3,5},{4,5}}

Cf. A007716, A049311, A135588, A138178, A283877, A302545, A316983.

Cf. A320797, A320798, A320811, A320812, A321403, A321404, A321405, A321406.

cp's OEIS Frontend

A138178 Number of symmetric matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A321405 Number of non-isomorphic self-dual set systems of weight n.

Views

Author

Keywords

Comments

Examples

Crossrefs

A138265 Number of upper triangular zero-one matrices with n ones and no zero rows or columns.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Sage

Formula

Extensions

A057150 Triangle read by rows: T(n,k) = number of k X k binary matrices with n ones, with no zero rows or columns, up to row and column permutation.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

PARI

Extensions

A135589 Triangle T(n,k) read by rows: number of k X k symmetric (0,1)-matrices with exactly n entries equal to 1 and no zero rows or columns.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A138177 Triangle T(n,k) read by rows: number of k X k symmetric matrices with nonnegative integer entries and without zero rows or columns such that sum of all entries is equal to n, n>=1, 1<=k<=n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A321406 Number of non-isomorphic self-dual set systems of weight n with no singletons.

Views

Author

Keywords

Comments

Examples

Crossrefs

A321403 Number of non-isomorphic self-dual set multipartitions (multisets of sets) of weight n.

Views

Author

Keywords

Comments