arXiv++ Combinatorics

In his important 1920 paper on partitions, MacMahon defined the partition generating functions \begin{align*} A_k(q)=\sum_{n=1}^{\infty}\mathfrak{m}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{s_1+s_2+\cdots+s_k}}{(1-q^{s_1})^2(1-q^{s_2})^2\cdots(1-q^{s_k})^2},\\ C_k(q)=\sum_{n=1}^{\infty} \mathfrak{m}_{odd}(k;n)q^n&:=\sum_{0< s_1<s_2<\cdots<s_k} \frac{q^{2s_1+2s_2+\cdots+2s_k-k}}{(1-q^{2s_1-1})^2(1-q^{2s_2-1})^2\cdots(1-q^{2s_k-1})^2}. \end{align*} These series give infinitely many formulas for two prominent generating functions. For each non-negative $k$, we prove that $A_k(q), A_{k+1}(q), A_{k+2}(q),\dots$ (resp. $C_k(q), C_{k+1}(q), C_{k+2}(q),\dots$) give the generating function for the 3-colored partition function $p_3(n)$ (resp. the overpartition function $\overline{p}(n)$).

Verifying a suspicion of Propp and Reiner concerning the cyclic sieving phenomenon (CSP), M. Thiel introduced a Catalan object called noncrossing $(1,2)$-configurations (denoted by $X_n$), which is a class of set partitions of $[n-1]$. More precisely, Thiel proved that, with a natural action of the cyclic group $C_{n-1}$ on $X_n$, the triple $\left(X_n,C_{n-1},\text{Cat}_n(q)\right)$ exhibits the CSP, where $\text{Cat}_n(q):=\frac{1}{[n+1]_q}\begin{bmatrix} 2n\\ n \end{bmatrix}_q$ is MacMahon's $q$-Catalan number. Recently, in a study of the fermionic diagonal coinvariant ring $FDR_n$, J. Kim found a combinatorial basis for $FDR_n$ indexed by $X_n$. In this paper, we continue to study $X_n$ and obtain the following results: (1) We define a statistic $cwt$ on $X_n$ whose generating function is $\text{Cat}_n(q)$, which answers a problem of Thiel. (2) We show that $\text{Cat}_n(q)$ is equivalent to $$\sum_{\substack{k,x,y\\2k+x+y=n-1}}\begin{bmatrix} n-1 2k,x,y \end{bmatrix}_q\text{Cat}_k (q)q^{k+\binom{x}{2}+\binom{y}{2}+\binom{n}{2}}$$ modulo $q^{n-1}-1$, which answers a problem of Kim. As mentioned by Kim, this result leads to a representation theoretic proof of the above cyclic sieving result of Thiel. (3) We consider the dihedral sieving, a generalization of the CSP, which was recently introduced by Rao and Suk. Under a natural action of the dihedral group $I_2(n-1)$ (for even $n$), we prove a dihedral sieving result on $X_n$.

Azam and Richmond arXiv:2107.09149 obtained a recursion for the generating function of \(P_λ(y)\), itself a generating function enumerating by length partitions in the lower ideal \([0,λ]\) in the Young lattice. We show that this recursion can be extended to a multi-graded version. This is done by interpreting the original problem as enumerating plane partitions with two rows. We can then use the well-developed theory of lattice points in polyhedral cones to determine some properties of the generating function. We also relate Azam and Richmond's result to those obtained by Andrews and Paule using MacMahons Omega-operator.

We propose a class of generating functions denoted by $\textrm{RGF}_p(x)$, which is related to the Sylvester denumerant for the quotients of numerical semigroups. Using MacMahon's partition analysis, we can obtain $\textrm{RGF}_p(x)$ by extracting the constant term of a rational function. We use $\textrm{RGF}_p(x)$ to give a system of generators of the quotient of the numerical semigroup $\langle a_1,a_2,a_3\rangle$ by $p$ for a small positive integer $p$ and we characterise the generators for $\frac{\langle A\rangle}{p}$ for a general numerical semigroup $A$ and any positive integer $p$.

We give explicit expressions for MacMahon's generalized sums-of-divisors $q$-series $A_r$ and $C_r$ by relating them to (odd) multiple Eisenstein series. Recently, these sums-of-divisors have been studied in the context of quasimodular forms, vertex algebras, $N=4$ $SU(N)$ Super-Yang-Mills theory, and the study of congruences of partitions. We relate them to a broader mathematical framework and give explicit expressions for both $q$-series in terms of Eisenstein series and their odd variants.

The famous partition theorem of Euler states that partitions of $n$ into distinct parts are equinumerous with partitions of $n$ into odd parts. Another famous partition theorem due to MacMahon states that the number of partitions of $n$ with all parts repeated at least once equals the number of partitions of $n$ where all parts must be even or congruent to $3 \pmod 6$. These partition theorems were further extended by Glaisher, Andrews, Subbarao, Nyirenda and Mugwangwavari. In this paper, we utilize the Chinese remainder theorem to prove a comprehensive partition theorem that encompasses all existing partition theorems. We also give a natural generalization of Euler's theorem based on a special complete residue system. Furthermore, we establish interesting congruence connections between the partition function $p(n)$ and related partition functions.

In 1920, P. A. MacMahon generalized the (classical) notion of divisor sums by relating it to the theory of partitions of integers. In this paper, we extend the idea of MacMahon. In doing so we reveal a wealth of divisibility theorems and unexpected combinatorial identities. Our initial approach is quite different from MacMahon and involves rational function approximation to MacMahon-type generating functions. One such example involves multiple $q$-harmonic sums $$\sum_{k=1}^n\frac{(-1)^{k-1}\genfrac{[}{]}{0pt}{}{n}{k}_{q}(1+q^k)q^{\binom{k}{2}+tk}}{[k]_q^{2t} \genfrac{[}{]}{0pt}{}{n+k}{k}_{q}}=\sum_{1\leq k_1\leq\cdots\leq k_{2t}\leq n}\frac{q^{n+k_1+k_3\cdots+k_{2t-1}}+q^{k_2+k_4+\cdots+k_{2t}}}{[n+k_1]_q[k_2]_q\cdots[k_{2t}]_q}.$$

We provide a refinement of MacMahon's partition identity on sequence-avoiding partitions, and use it to produce another mod 6 partition identity. In addition, we show that our technique also extends to cover Andrews's generalization of MacMahon's identity. Our proofs are bijective in nature, exploiting a theorem of Xiong and Keith.

The Todd polynomials, denoted as $td_k(b_1,b_2,\ldots,b_m)$, are characterised by their generating functions: $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ These polynomials serve as fundamental components in the Todd class of toric varieties, a concept of significant relevance in the study of lattice polytopes and number theory. We identify that generalised Todd polynomials emerge naturally within the framework of MacMahon's partition analysis, particularly in the context of computing Ehrhart series. We introduce an efficient method for the evaluation of generalised Todd polynomials for numerical values of $b_i$. This is achieved through the development of expedited operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d}$, where $p$ is a large prime. The practical implications of our work are demonstrated through two applications: firstly, we facilitate a recalculated resolution of the Ehrhart series for magic squares of order 6, a problem initially addressed by the first author, reducing computation time from 70 days to approximately 1 day; secondly, we present a polynomial-time algorithm for Integer Linear Programming when the dimension is fixed, exhibiting a notable enhancement in computational efficiency.

The study of Mahonian statistics dated back to 1915 when MacMahon showed that the major index and the inverse number have the same distribution on a set of permutations with length n. Since then, many Mahonian statistics have been discovered and much effort have been done to find the equidistribution between two Mahonian statistics on permutations avoiding length-3 classical patterns. In recent years, Amini and Do et al. have done extensive research with various methods to prove the equidistributions, ranging from using generating functions, Dyck paths, block decompositions, to bijections. In this thesis, we will solve the conjectured equidistribution between bast and foze on Av(312) using the bijection method, as well as refine two established results by Do et al. with a combinatorial approach.

Multiparametric quantum semigroups $\mathrm{M}_{\hat{q}, \hat{p}}(n)$ are generalization of the one-parameter general linear semigroups $\mathrm{M}_q(n)$, where $\hat{q}=(q_{ij})$ and $\hat{p}=(p_{ij})$ are $2n^2$ parameters satisfying certain conditions. In this paper, we study the algebra of multiparametric Manin matrices using the R-matrix method. The systematic approach enables us to obtain several classical identities such as Muir identities, Newton's identities, Capelli-type identities, Cauchy-Binet's identity both for determinant and permanent as well as a rigorous proof of the MacMahon master equation for the quantum algebra of multiparametric Manin matrices. Some of the generalized identities are also generalized to multiparameter $q$-Yangians.

Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.

We establish some bounds on the number of higher-dimensional partitions by volume. In particular, we give bounds via vector partitions and MacMahon's numbers.

For a positive integer $r$, George Andrews proved that the set of partitions of $n$ in which odd multiplicities are at least $2r + 1$ is equinumerous with the set of partitions of $n$ in which odd parts are congruent to $2r + 1$ modulo $4r + 2$. This was given as an extension of MacMahon's theorem ($r = 1$). Andrews, Ericksson, Petrov and Romik gave a bijective proof of MacMahon's theorem. Despite several bijections being given, until recently, none of them was in the spirit of Andrews-Ericksson-Petrov-Romik bijection. Andrews' theorem has also been extended recently. Our goal is to give a generalized bijective mapping of this further extension in the spirit of Andrews-Ericksson-Petrov-Romik bijection.

MacMahon's classical theorem on the number of boxed plane partitions has been generalized in several directions. One way to generalize the theorem is to view boxed plane partitions as lozenge tilings of a hexagonal region and then generalize it by making some holes in the region and counting its tilings. In this paper, we provide new regions whose numbers of lozenges tilings are given by simple product formulas. The regions we consider can be obtained from hexagons by removing structures called intrusions. In fact, we show that the tiling generating functions of those regions under certain weights are given by similar formulas. These give the $q$-analogue of the enumeration results.

The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to our main theorem, which is a factorization of the generating function for score sequences with a distinguished index. We also derive a closed formula and a quadratic time algorithm for counting score sequences.

The permanent is pivotal to both complexity theory and combinatorics. In quantum computing, the permanent appears in the expression of output amplitudes of linear optical computations, such as in the Boson Sampling model. Taking advantage of this connection, we give quantum-inspired proofs of many existing as well as new remarkable permanent identities. Most notably, we give a quantum-inspired proof of the MacMahon master theorem as well as proofs for new generalizations of this theorem. Previous proofs of this theorem used completely different ideas. Beyond their purely combinatorial applications, our results demonstrate the classical hardness of exact and approximate sampling of linear optical quantum computations with input cat states.

We present a short proof of MacMahon's classic result that the number of permutations with $k$ inversions equals the number whose major index (sum of positions at which descents occur) is $k$

We study a natural set of refinements of the Ehrhart series of a closed polytope, first considered by Chapoton. We compute the refined series in full generality for a simplex of dimension d, a cross-polytope of dimension d, respectively a hypercube of dimension d<4, using commutative algebra. We deduce summation formulae for products of q-integers with different arguments, generalizing a classical identity due to MacMahon and Carlitz. We also present a characterisation of a certain refined Eulerian polynomial in algebraic terms.

This is a lecture on the theory of formal power series developed entirely without any analytic machinery. Combining ideas from various authors we are able to prove Newton's binomial theorem, Jacobi's triple product, the Rogers--Ramanujan identities and many other prominent results. We apply these methods to derive several combinatorial theorems including Ramanujan's partition congruences, generating functions of Stirling numbers and Jacobi's four-square theorem. We further discuss formal Laurent series and multivariate power series and end with a proof of MacMahon's master theorem.