arXiv++ Combinatorics

It was recently shown by Yeliussizov \cite{Yeliussizov} that integer partitions in dimensions $d \geq 7$ asymptotically grow strictly faster than MacMahon numbers. As MacMahon numbers match with integer partitions in dimensions $d = 1,2$, the comparison of asymptotics of integer partitions with MacMahon numbers in intermediate dimensions ($d = 3,4,5,6$) is an open question. In this work, we perform Markov chain Monte Carlo (MCMC) simulations till $N=15000$ by using adaptive weight learning followed by conventional MCMC steps to numerically estimate the asymptotics of integer partitions in these intermediate dimensions. We numerically establish that in these intermediate dimensions, partitions asymptotically grow faster than MacMahon numbers. More specifically, assuming that the limits exist, we show: $\lim_{n\to\infty}n^{-3/4}\log p_3(n) = 1.8196 \pm 0.0019$, $\lim_{n\to\infty}n^{-4/5}\log p_4(n) = 1.7215 \pm 0.0045$, $\lim_{n\to\infty}n^{-5/6}\log p_5(n) = 1.6521 \pm 0.0059$, and $\lim_{n\to\infty}\log n^{-6/7}p_6(n) = 1.652 \pm 0.021$ for partitions in dimensions $d=3,4,5,$ and $6$ respectively. These numbers are all larger than MacMahon leading order asymptotic coefficients of $1.7898, 1.6614, 1.5737,$ and $1.509$ respectively. Additionally, we also find estimates for some of the sub-leading asymptotic terms in $\log p_d(n)$ in each of the dimensions.

The aim of this paper is to introduce pairing theory for partitions. We begin with two statistics on integer partitions, the \emph{pairing index} and the \emph{pairing rank}. The pairing index is equidistributed with the number of parts, while a joint refinement identifies its two constituents with the numbers of even and odd parts. We further introduce the \emph{pairing width} and prove that pairing index and pairing width are jointly equidistributed with the number of parts and the largest part. The resulting finite Gaussian generating function has a cyclotomic factorization from which Kummer's famous carry theorem for binomial coefficients follows. We also prove a mod-$5$ congruence for the excess of unpaired parts congruent to $1$ modulo $4$ over those congruent to $3$ modulo $4$ in the partitions of $5n+4$. A signed specialization exhibits that the parity of the pairing rank is governed by self-conjugate partitions. Motivated by this, we go on to introduce a second, diagrammatic pairing: after the two wings of the Durfee square are folded together, the unpaired cells break into connected \emph{diagonal blocks}. These blocks may be reflected independently, giving a Boolean decomposition of the set of partitions with a unique representative having all successive ranks nonnegative. We then relate our theory to overpartitions and Frobenius representations, obtaining as a corollary a geometric realization of overpartitions in terms of partitions whose principal hooks are all even. Finally, we study simply paired partitions of negative pairing rank, obtaining identities involving odd divisors and overpartitions, a parity theorem for pairing rank $-2$, and a Toeplitz determinant whose coefficientwise limit is an explicit infinite product related to MacMahon's product for plane partitions.

We prove seven conjectures involving binomial coefficients. These conjectures appear in The On-Line Encyclopedia of Integer Sequences (OEIS). Among these is an application of Jacobi's residue formula. We also apply MacMahon's master theorem to give a new and independently obtained proof of a recently established result.

Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.

By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. The algorithm instead operates directly on a rational generating function in the form of a nested root average, as produced by the \texttt{SimpCone[S]} framework. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that induces an exact non-coprime split of the outermost average. The resulting child terms are encoded as joint root averages, and Smith normal form is used to restore the recursive structure. Two structural invariants---the generation condition and full-column independence---ensure that the recursion is well defined and that all required pole exchanges are valid. For a fixed-dimensional simplicial cone, the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log \ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.

We introduce and study two partition-indexed families of quasimodular forms obtained from Schur functions: Schur Eisenstein series and Schur MacMahon series. An explicit transition between them can be interpreted as a convolution in a Faà di Bruno Hopf algebra of symmetric functions. We discuss the classical sl2-action and prove that Schur Eisenstein series for partitions with parts of size at most 3 give a basis for quasimodular forms. Further, we conjecture that the Schur MacMahon series span all quasimodular forms with integral coefficients.

We generalize Gessel's Formula for the number of Latin rectangles to partial Latin rectangles and non-attacking rook placements in a tridimensional chessboard. We also derive explicit short formulas for the generating series of the numbers of non-attacking rook placements on a chessboard with $2$ or $3$ levels. These series also count partial Latin rectangles with $2$ or $3$ rows. The results are obtained following methods developed by MacMahon and Gessel for counting Latin squares and Latin rectangles, by means of scalar products of multisymmetric functions.

We study skew double-shifted plane partitions with three-element profiles using MacMahon's partition analysis. We present new generating function formulas for these partitions, incorporating an extra bound on the number of non-zero diagonal elements. These objects are closely related to the Göllnitz-Gordon and little Göllnitz identities. Moreover, we investigate some infinite hierarchies of $q$-series identities that stem from our formulas. We also observe certain palindromic properties within these generating functions. Finally, we examine these same objects from the perspective of linear partitions, which leads to interesting new $q$-series identities.

We investigate the joint distribution of the trivariate statistics (des, maj, inv) on classical permutations, Andre permutations of the first and second kinds, and Simsun permutations. By decomposing permutations according to the position of the smallest element, we obtain explicit recurrence relations for the generating functions of these statistics. In the classical permutation setting, our recurrence relation yields the generating function for the trivariate statistics (des, maj, inv) due to Gessel, which is typically proved using MacMahon's technique.

We study an opinion dynamics model in which $n$ agents hold directed trust or distrust opinions about one another, represented as a matrix $M \in \{0,1\}^{n \times n}$ in which 1 represents trust and 0 represents distrust. A gossip event $(a, z, y)$ causes agent $z$ to adopt agent $a$'s opinion of $y$, provided that $z$ trusts $a$. We characterize the absorbing states of this process, i.e. the states in which no further opinion change can take place: we find that they are the states in which agents are partitioned into isolated factions, each faction containing a subset of core members who share mutual trust, while the remaining peripheral members trust all core members but receive no trust in return. This structure establishes a bijection between absorbing states on $[n]$ and pairs consisting of a set partition $π$ of $[n]$ together with a choice of non-empty subset of each faction of $π$. The number of such absorbing states is therefore given by OEIS A143405, with exponential generating function $\exp(\exp(x) \cdot (\exp(x) - 1))$. In addition, up to isomorphism, the count equals the number of plane partitions of $n$, given by OEIS A000219, recovering MacMahon's classical product formula $\prod_{k \geq 1} 1/(1 - x^k)^k$. Exhaustive computation for $n \leq 7$ confirms both counts.

MacMahon introduced partition analysis in his book ``Combinatory Analysis'' as a computational technique for solving problems related to systems of linear Diophantine equations and inequalities. This paper aims to develop a fundamental computational method for MacMahon's partition analysis. As applications, we present simplified computations for ``Han's formula'', the ``$k$-gon partitions problem'', and the ``two-dimensional problem''. Moreover, we apply our method to solve a challenging problem.

Motivated by earlier work of P.~A.~MacMahon and recent contributions of T.~Amdeberhan, G.~E.~Andrews, K.~Ono, A.~Singh, and R.~Tauraso on higher-order partition enumerants, we study a class of $q$-series arising from nested divisor structures. In particular, we consider the $q$-series \[ V_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,n_1+n_2+\cdots+n_k}} {(1-q^{n_1})^2(1-q^{n_2})^2\cdots(1-q^{n_k})^2}, \] introduced recently as MacMahon-type generating functions. We further define a new MacMahon-type series \[ W_k(q) = \sum_{1 \le n_1 \le n_2 \le \cdots \le n_k} \frac{q^{\,2(n_1+n_2+\cdots+n_k)-k}} {(1-q^{2n_1-1})^2(1-q^{2n_2-1})^2\cdots(1-q^{2n_k-1})^2}, \] and establish families of identities, generating function relations, and hypergeometric representations for the truncated forms of $V_k(q)$ and $W_k(q)$. Connections with overpartition pairs and bipartitions with distinct odd parts arise naturally in this context.

Plethysm coefficients $\mathsf{a}_{μ[ν]}^λ$ are the structure coefficients of the plethysm of Schur functions $s_μ[s_ν] = \sum_λ \mathsf{a}_{μ[ν]}^λs_λ$. We study a bivariate generating function of plethysm coefficients when $λ$ has bounded length. We show that this generating function is rational. A key step is MacMahon's combinatory analysis. When the bound on the length is $2$ we give an explicit geometric algorithm to compute it using $q$-Ehrhart theory. We give evidence that the generating function is the quantum Ehrhart series of a union of half-open polytopes and show that it satisfies a reciprocity theorem reminiscent of Ehrhart reciprocity. Furthermore, we give a set of linear recursions that completely describe the $\mathrm{SL}_2$-plethysm coefficients.

This work follows the spirit of Andrews' series of papers on Partition Analysis. In $2011$, Savage and Sills found new sum sides for the little Göllnitz identities and provided their partition interpretations. It turns out that similar companions exist for a mod $8$ partition identity due to Andrews. In this work, we use MacMahon's Partition Analysis to study partitions related to these identities. We find refined generating functions for them, where we keep track of the size of each part. Finally, by considering the alternating sum and Schmidt weight, we show the application of these refined functions in the study of partition statistics.

In his classic text, \emph{Combinatory Analysis}, MacMahon defined a perfect partition of a positive integer $n$ as a partition whose parts contain exactly one partition of every positive integer not exceeding $n$. In this paper we apply the same definition to overpartitions which are integer partitions with the additional property that the final occurrence of each part may be overlined. It turns out that perfect overpartitions are enumerated by ordered factorization functions in which the occurrence of 2 as a factor determines the presence of an overlined part.

In 1920, MacMahon introduced two families of $q$-series to study divisor sums. Recent work has shown that MacMahon's $q$-series are closely connected to overpartitions and $3$-colored partitions. Merca introduced truncated forms of MacMahon's $q$-series to generalize earlier results by Andrews-Rose and Ono-Singh, and posed two conjectures regarding the $q$-binomial expansions of these truncated series. In this paper, we provide combinatorial proofs of Merca's conjectures through the combinatorial interpretation of $q$-binomial coefficients.

A MacMahon symmetric function is an invariant of the diagonal action of the symmetric group on power series in multiple alphabets of variables. We introduce an analogue of the chromatic symmetric function for vertex-weighted graphs, taking values in the MacMahon symmetric functions on two sets of variables, recording information about both cardinalities and weights of vertex sets. We prove that the chromatic symmetric MacMahon function of a tree determines the generating function for its vertex subsets by cardinality, weight, and the numbers of internal and external edges. This result generalizes the one for the unweighted case, first conjectured by Crew and proved independently by Aliste-Prieto--Martin--Wagner--Zamora and Liu--Tang.

We revisit several partition-theoretic generating functions, including the theta quotients from Ramanujan's lost notebook, MacMahon's partition functions, and reciprocal sums of parts in partitions, through the lens of the classical Faà di Bruno formula. This approach offers a unified and natural reinterpretation of known results and provides a systematic framework for deriving new identities of a similar type.

Plane partition diamonds were introduced by Andrews, Paule, and Riese (2001) as part of their study of MacMahon's $Ω$-operator in search for integer partition identities. More recently, Dockery, Jameson, Sellers, and Wilson (2024) extended this concept to $d$-fold partition diamonds and found their generating function in a recursive form. We approach $d$-fold partition diamonds via Stanley's (1972) theory of $P$-partitions and give a closed formula for a bivariate generalization of the Dockery--Jameson--Sellers--Wilson generating function; its main ingredient is the Euler--Mahonian polynomial encoding descent statistics of permutations.

A century ago, P. A. MacMahon introduced two families of generating functions, $$ \sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2} \quad\text{ and } \sum_{\substack{1\leq n_1<n_2<\cdots<n_t\\ \text{$n_1,n_2,\dots,n_t$ odd}}}\prod_{k=1}^t\frac{q^{n_k}}{(1-q^{n_k})^2}, $$ which connect sum-of-divisors functions and integer partitions. These have recently drawn renewed attention. In particular, Amdeberhan, Andrews, and Tauraso extended the first family above by defining $$ U_t(a,q):=\sum_{1\leq n_1<n_2<\cdots<n_t}\prod_{k=1}^t\frac{q^{n_k}}{1+aq^{n_k}+q^{2n_k}} $$ for $a=0, \pm1, \pm2$ and investigated various properties, including some congruences satisfied by the coefficients of the power series representations for $U_t(a,q)$. These arithmetic aspects were subsequently expanded upon by the authors of the present work. Our goal here is to generalize the second family of generating functions, where the sums run over odd integers, and then apply similar techniques to show new infinite families of Ramanujan--like congruences for the associated power series coefficients.