A052367 -id:A052367 - cp's OEIS frontend

A007716 Number of polynomial symmetric functions of matrix of order n under separate row and column permutations.

1, 1, 4, 10, 33, 91, 298, 910, 3017, 9945, 34207, 119369, 429250, 1574224, 5916148, 22699830, 89003059, 356058540, 1453080087, 6044132794, 25612598436, 110503627621, 485161348047, 2166488899642, 9835209912767, 45370059225318, 212582817739535, 1011306624512711

Offset: 0

Colin Mallows

Also, the number of nonnegative integer n X n matrices with sum of elements equal to n, under row and column permutations (cf. A120733).
This is a two-dimensional generalization of the partition function (A000041), which equals the number of length n vectors of nonnegative integers with sum n, equivalent under permutations. - Franklin T. Adams-Watters, Sep 19 2011
Also number of non-isomorphic multiset partitions of weight n. - Gus Wiseman, Sep 19 2011

			The 10 non-isomorphic multiset partitions of weight 3 are {{1, 1, 1}}, {{1, 1, 2}}, {{1, 2, 3}}, {{1}, {1, 1}}, {{1}, {1, 2}}, {{1}, {2, 2}}, {{1}, {2, 3}}, {{1}, {1}, {1}}, {{1}, {1}, {2}}, {{1}, {2}, {3}}.

Andrew Howroyd, Table of n, a(n) for n = 0..50 (terms 0..30 from Seiichi Manyama)

Main diagonal of A318795.

Cf. A053307, A052365, A052366, A052367, A052372, A052373, A049311, A054688, A000041.

permcount[v_] := 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_, q_, k_] := SeriesCoefficient[1/Product[(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_] := Module[{s=0}, Do[Do[s += permcount[p]*permcount[q]*c[p, q, k], {q, IntegerPartitions[n]}], {p, IntegerPartitions[m]}]; s/(m!*n!)];
a[n_] := a[n] = M[n, n, n];
Table[Print[n, " ", a[n]]; a[n], {n, 0, 18}] (* Jean-François Alcover, May 03 2019, after Andrew Howroyd *)

\\ See A318795
a(n) = M(n,n,n); \\ Andrew Howroyd, Sep 03 2018

EulerT(v)={Vec(exp(x*Ser(dirmul(v,vector(#v,n,1/n))))-1, -#v)}
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}
K(q, t, k)={EulerT(Vec(sum(j=1, #q, gcd(t, q[j])*x^lcm(t,q[j])) + O(x*x^k), -k))}
a(n)={my(s=0); forpart(q=n, s+=permcount(q)*polcoef(exp(x*Ser(sum(t=1, n, K(q,t,n)/t))), n)); s/n!} \\ Andrew Howroyd, Mar 29 2020

a(n) is the coefficient of x^n in the cycle index Z(S_n X S_n; x_1, x_2, ...) if we replace x_i with 1+x^i+x^(2*i)+x^(3*i)+x^(4*i)+..., where S_n X S_n is the Cartesian product of symmetric groups S_n of degree n. - Vladeta Jovovic, Mar 09 2000

More terms from Vladeta Jovovic, Jun 28 2000
a(19)-a(25) from Max Alekseyev, Jan 22 2010
a(0)=1 prepended by Alois P. Heinz, Feb 03 2019
a(26)-a(27) from Seiichi Manyama, Nov 23 2019

A318795 Array read by antidiagonals: T(n,k) is the number of inequivalent nonnegative integer n X n matrices with sum of elements equal to k, under row and column permutations.

Original entry on oeis.org

1, 1, 1, 1, 4, 1, 1, 5, 4, 1, 1, 11, 10, 4, 1, 1, 14, 24, 10, 4, 1, 1, 24, 51, 33, 10, 4, 1, 1, 30, 114, 78, 33, 10, 4, 1, 1, 45, 219, 224, 91, 33, 10, 4, 1, 1, 55, 424, 549, 277, 91, 33, 10, 4, 1, 1, 76, 768, 1403, 792, 298, 91, 33, 10, 4, 1, 1, 91, 1352, 3292, 2341, 881, 298, 91, 33, 10, 4, 1

Offset: 1

Andrew Howroyd, Sep 03 2018

			Array begins:
===========================================================
n\k| 1 2  3  4  5   6   7    8    9    10     11     12
---+-------------------------------------------------------
1  | 1 1  1  1  1   1   1    1    1     1      1      1 ...
2  | 1 4  5 11 14  24  30   45   55    76     91    119 ...
3  | 1 4 10 24 51 114 219  424  768  1352   2278   3759 ...
4  | 1 4 10 33 78 224 549 1403 3292  7677  16934  36581 ...
5  | 1 4 10 33 91 277 792 2341 6654 18802  51508 138147 ...
6  | 1 4 10 33 91 298 881 2825 8791 27947  87410 272991 ...
7  | 1 4 10 33 91 298 910 2974 9655 32287 108274 367489 ...
8  | 1 4 10 33 91 298 910 3017 9886 33767 116325 410298 ...
9  | 1 4 10 33 91 298 910 3017 9945 34124 118729 424498 ...
...

Andrew Howroyd, Table of n, a(n) for n = 1..1275
Andrew Howroyd, Additional PARI Programs

Rows 2..7 are A053307, A052365, A052366, A052367, A052372, A052373.
Main diagonal is A007716.
Cf. A214398, A246106, A304942, A318805.

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[1/Product[(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_] := Module[{s=0}, Do[Do[s += permcount[p]*permcount[q]*c[p, q, k], {q, IntegerPartitions[n]}], {p, IntegerPartitions[m]}]; s/(m!*n!)];
Table[M[n-k+1, n-k+1, k], {n, 1, 12}, {k, n, 1, -1}] // Flatten (* Jean-François Alcover, Sep 12 2018, after Andrew Howroyd *)

\\ see also link.
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}
K(q, t, k)={1/prod(j=1, #q, (1-y^lcm(t,q[j]) + O(y*y^k))^gcd(t, q[j]))}
M(m, n, k)={my(s=0); forpart(q=m, s+=permcount(q)*polcoef(polcoef(exp(sum(t=1, n, K(q, t, k)/t*x^t) + O(x*x^n)), n), k)); s/m!}
for(n=1, 10, for(k=1, 12, print1(M(n, n, k), ", ")); print); \\ updated Andrew Howroyd, Mar 29 2020

T(n,k) = T(k,k) for n > k.

cp's OEIS Frontend

A007716 Number of polynomial symmetric functions of matrix of order n under separate row and column permutations.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

PARI

Formula

Extensions

A318795 Array read by antidiagonals: T(n,k) is the number of inequivalent nonnegative integer n X n matrices with sum of elements equal to k, under row and column permutations.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula