login
A refinement of the Mahonian numbers (non-canonical ordering).
1

%I #30 Mar 18 2023 08:49:14

%S 1,1,1,1,2,2,1,1,3,5,3,3,5,3,1,1,4,9,6,9,16,4,11,11,4,16,9,6,9,4,1,1,

%T 5,14,10,19,35,14,26,40,5,10,61,19,35,26,40,40,26,35,19,61,10,5,40,26,

%U 14,35,19,10,14,5,1

%N A refinement of the Mahonian numbers (non-canonical ordering).

%C Let T(N,d) be a Mahonian number.

%C (1) Find all partitions k(1) >= k(2) >= ... >= k(N) = 0 of the number d with at most N-1 parts, such that k(i) - k(i+1) <= 1 and k(N) = 0.

%C (2) For each such partition, draw a ribbon Young diagram with N boxes at matrix (row-column) coordinates (k(i), k(i) + i - 1), i = 1, ..., N.

%C (3) For each ribbon diagram, count all standard Young skew tableaux.

%C The numbers under (3) will add up to T(N,d), as proven in the cited reference. These refinements appear consecutively as subsequences in the sequence, ordered by increasing N and increasing d from 0 to N(N-1)/2 for each N. The ordering within each subsequence is reverse-lexicographic by the partitions (1), i.e., from the largest k(1) down.

%C This ordering corresponds to the ordering of generating polynomials from the lowest power in d up, and from the highest power in k(1) down. Because of certain symmetries in the sequence (cf. the example), it is the same as decreasing d from N(N-1)/2 to 0 and ordering the partitions lexicographically. For the converse (canonical) convention and a program implementation, cf. A357611.

%C The sums of rows (3) are A008302. Because the latter is itself a triangle, arranged in the (N, d) plane, the present sequence is actually three-dimensional: each number in the triangle A008302 can be replaced by the row numbers (3), each of which is thus coordinatized by (N, d, m), the last coordinate being its position in the row.

%C The range of the m coordinate is the number of partitions satisfying the constraint (1). It is proven in the cited reference to be equal to the coefficient of q^d in the q-binomial theorem: coeff[q^d] Product_{k=1..N-1} (1 + q^k).

%H D. K. Sunko, <a href="https://arxiv.org/abs/2209.02523">Evaluation and spanning sets of confluent Vandermonde forms</a>, arXiv:2209.02523 [math-ph], 2022.

%H D. K. Sunko, <a href="https://doi.org/10.1063/5.0075576">Evaluation and spanning sets of confluent Vandermonde forms</a>, J. Math. Phys. 63, 082101 (2022).

%e The first nontrivial terms in the sequence are a(11) = a(12) = 3, corresponding to the refinement T(4, 3) = 6 = 3 + 3. The terms from a(1) to a(10) are the Mahonian numbers themselves, because the refinement is trivial for them (there is only one partition satisfying the given constraints).

%e The data in triangular form are:

%e N, d

%e 1, 0 1

%e 2, 0 1

%e 1 1

%e 3, 0 1

%e 1 2

%e 2 2

%e 3 1

%e 4, 0 1

%e 1 3

%e 2 5

%e 3 3, 3

%e 4 5

%e 5 3

%e 6 1

%e 5, 0 1

%e 1 4

%e 2 9

%e 3 6, 9

%e 4 16, 4

%e 5 11, 11

%e 6 4, 16

%e 7 9, 6

%e 8 9

%e 9 4

%e 10 1

%e 6, 0 1

%e 1 5

%e 2 14

%e 3 10, 19

%e 4 35, 14

%e 5 26, 40, 5

%e 6 10, 61, 19

%e 7 35, 26, 40

%e 8 40, 26, 35

%e 9 19, 61, 10

%e 10 5, 40, 26

%e 11 14, 35

%e 12 19, 10

%e 13 14

%e 14 5

%e 15 1

%e One can check the generating function for the number of terms in a row, e.g., for N = 4: (1 + q)(1 + q^2)(1 + q^3) = q^6 + q^5 + q^4 + 2q^3 + q^2 + q + 1.

%Y Cf. A008302, A357611.

%K nonn,tabf

%O 1,5

%A _Denis K. Sunko_, Aug 28 2022