Major Percy A. MacMahon's first paper on plane partitions included a conjectured generating function for symmetric plane partitions. This conjecture was proven almost simultaneously by George Andrews and Ian Macdonald, Andrews using the machinery of basic hypergeometric series and Macdonald employing his knowledge of symmetric functions. The purpose of this paper is to simplify Macdonald's proof by providing a direct, inductive proof of his formula which expresses the sum of Schur functions whose partitions fit inside a rectangular box as a ratio of determinants.
We prove a conjecture of Haglund which can be seen as an extension of the equidistribution of the inversion number and the major index over permutations to ordered set partitions. Haglund's conjecture implicitly defines two statistics on ordered set partitions and states that they are equidistributed. The implied inversion statistic is equivalent to a statistic on ordered set partitions studied by Steingrímsson, Ishikawa, Kasraoui, and Zeng, and is known to have a nice distribution in terms of $q$-Stirling numbers. The resulting major index exhibits a combinatorial relationship between $q$-Sti…
We study some combinatorial properties of higher-dimensional partitions which generalize plane partitions. We present a natural bijection between $d$-dimensional partitions and $d$-dimensional arrays of nonnegative integers. This bijection has a number of important applications. We introduce a statistic on $d$-dimensional partitions, called the corner-hook volume, whose generating function has the formula of MacMahon's conjecture. We obtain multivariable formulas whose specializations give analogues of various formulas known for plane partitions. We also introduce higher-dimensional analogues …
A classical result of MacMahon states that inversion number and major index have the same distribution over permutations of a given multiset. In this work we prove a strengthening of this theorem originally conjectured by Haglund. Our result can be seen as an equidistribution theorem over the ordered partitions of a multiset into sets, which we call ordered multiset partitions. Our proof is bijective and involves a new generalization of Carlitz's insertion method. This generalization leads to a new extension of Macdonald polynomials for hook shapes. We use our main theorem to show that these p…
Solutions to a linear Diophantine system, or lattice points in a rational convex polytope, are important concepts in algebraic combinatorics and computational geometry. The enumeration problem is fundamental and has been well studied, because it has many applications in various fields of mathematics. In algebraic combinatorics, MacMahon's partition analysis has become a general approach for linear Diophantine system related problems. Many algorithms have been developed, but "bottlenecks" always arise when dealing with complex problems. While in computational geometry, Barvinok's important resu…
We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces.
We report on findings of a variant of ${\texttt{IdentityFinder}}$ - a Maple program that was used by two of the authors to conjecture several new identities of Rogers-Ramanujan kind. In the present search, we modify the parametrization of the search space by taking into consideration several aspects of Lepowsky and Wilson's $Z$-algebraic mechanism and its variant by Meurman and Primc. We search for identities based on forbidding the appearance of "flat" partitions as sub-partitions. Several new identities of Rogers-Ramanujan-MacMahon type are found and proved.
The Delta Conjecture of Haglund, Remmel, and Wilson is a recent generalization of the Shuffle Conjecture in the field of diagonal harmonics. In this paper we give evidence for the Delta Conjecture by proving a pair of conjectures of Wilson and Haglund-Remmel-Wilson which give equidistribution results for statistics related to inversion count and major index on objects related to ordered set partitions. Our results generalize the famous result of MacMahon that major index and inversion number share the same distribution on permutations.
The cyclic sieving phenomenon of Reiner, Stanton, and White says that we can often count the fixed points of elements of a cyclic group acting on a combinatorial set by plugging roots of unity into a polynomial related to this set. One of the most impressive instances of the cyclic sieving phenomenon is a theorem of Rhoades asserting that the set of plane partitions in a rectangular box under the action of promotion exhibits cyclic sieving. In Rhoades's result the sieving polynomial is the size generating function for these plane partitions, which has a well-known product formula due to MacMah…
Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Turán inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.
In this article, we give an elementary combinatorial proof of a conjecture about the determination of automorphism group of the power graph of finite cyclic groups, proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.
We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition-like objects (the "box-counting" formulae for the Calabi-Yau topological vertices in Donaldson-Thomas theory and Pandharipande-Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot-Jacobi-type "condensation" identity, and a novel application of the tripartite double-dimer model of Kenyon-Wilson.
We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition-like objects (the "box-counting" formulae for the Calabi-Yau topological vertices in Donaldson-Thomas theory and Pandharipande-Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot-Jacobi-type condensation identity, and a novel application of the tripartite double-dimer model of Kenyon-Wilson.
We conjecture that the asymptotic behavior of the numbers of solid (three-dimensional) partitions is identical to the asymptotics of the three-dimensional MacMahon numbers. Evidence is provided by an exact enumeration of solid partitions of all integers <=68 whose numbers are reproduced with surprising accuracy using the asymptotic formula (with one free parameter) and better accuracy on increasing the number of free parameters. We also conjecture that similar behavior holds for higher-dimensional partitions and provide some preliminary evidence for four and five-dimensional partitions.
We use a weight-preserving, sign-reversing involution to find a combinatorial expansion of $Δ_{e_k} e_n$ at $q=1$ in terms of the elementary symmetric function basis. We then use a weight-preserving bijection to prove the Delta Conjecture at $q=1$. The method of proof provides a variety of structures which can compute the inner product of $Δ_{e_k} e_n|_{q=1}$ with any symmetric function.
We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials. We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge an…
We prove a continued fraction expansion for a certain $q$-tangent function that was conjectured by the present writer, then proved by Fulmek, now in a completely elementary way.
A simple proof of Atanassov's Conjecture is presented. Atanassov's Conjecture is a generalization of Sperner's Lemma, a lemma which has been used to prove Brouwer's Fixed Point Theorem, among other fixed point theorems. The proof of Atanassov's Conjecture is based on the Brouwer Degree of maps and is extremely elementary. It is much simpler than the original proofs given for the conjecture and provides some insight into the nature of the conjecture. Furthermore, a generalization of the conjecture is presented and finally a new theorem, similar to the original Sperner Lemma, is proved.
In 1947, Lehmer conjectured that the Ramanujan's tau function $τ(m)$ never vanishes for all positive integers $m$, where $τ(m)$ is the $m$-th Fourier coefficient of the cusp form $Δ_{24}$ of weight 12. The theory of spherical $t$-design is closely related to Lehmer's conjecture because it is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm $2m$ of the $E_{8}$-lattice is a spherical 8-design. So, Lehmer's conjecture is reformulated in terms of spherical $t$-design. Lehmer's conjecture is difficult to prove, and still remains open. However,…
We introduce an elementary method to give unified proofs of the Dyson, Morris, and Aomoto identities for constant terms of Laurent polynomials. These identities can be expressed as equalities of polynomials and thus can be proved by verifying them for sufficiently many values, usually at negative integers where they vanish. Our method also proves some special cases of the Forrester conjecture.
An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.
We propose a new approach to study plethysm coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. This allows us to explain the stability properties of plethysm and Kronecker coefficients in a simple and uniform fashion for the first time. We prove the strengthened Foulkes' conjecture for stable plethysm coefficients in an elementary fashion.
We prove that the Fourier coefficients of a certain general eta product considered by K. Saito are nonnegative. The proof is elementary and depends on a multidimensional theta function identity. The z = 1 case is an identity for the generating function for p-cores due to Klyachko [12] and Garvan, Kim and Stanton [7].
