arXiv++ Combinatorics

MacMahon's theorem on plane partitions yields a simple product formula for tiling number of a hexagon, and Cohn, Larsen and Propp's theorem provides an explicit enumeration for tilings of a dented semihexagon via semi-strict Gelfand--Tsetlin patterns. In this paper, we prove a natural hybrid of the two theorems for hexagons with an arbitrary set of unit triangles removed along a horizontal axis. In particular, we show that the `shuffling' of removed unit triangles only changes the tiling number of the region by a simple multiplicative factor. Our main result generalizes a number of known enumerations and asymptotic enumerations of tilings. We also reveal connections of the main result to the study of symmetric functions and $q$-series.

MacMahon showed that the generating function for partitions into at most $k$ parts can be decomposed into a partial fractions-type sum indexed by the partitions of $k$. In this present work, a generalization of MacMahon's result is given, which in turn provides a full combinatorial explanation.

The hook length formula gives a product formula for the number of standard Young tableaux of a partition shape. The number of standard Young tableaux of a skew shape does not always have a product formula. However, for some special skew shapes, there is a product formula. Recently, Morales, Pak and Panova joint with Krattenthaler conjectured a product formula for the number of standard Young tableaux of shape $λ/μ$ for $λ=((2a+c)^{c+a},(a+c)^a)$ and $μ=(a+1,a^{a-1},1)$. They also conjectured a product formula for the number of standard Young tableaux of a certain skew shifted shape. In this paper we prove their conjectures using Selberg-type integrals. We also give a generalization of MacMahon's box theorem and a product formula for the trace generating function for a certain skew shape, which is a generalization of a recent result of Morales, Pak and Panova.

Consider zero-dimensional Donaldson-Thomas invariants of a toric threefold or toric Calabi-Yau fourfold. In the second case, invariants can be defined using a tautological insertion. In both cases, the generating series can be expressed in terms of the MacMahon function. In the first case, this follows from a theorem of Maulik-Nekrasov-Okounkov-Pandharipande. In the second case, this follows from a conjecture of the authors and a (more general $K$-theoretic) conjecture of Nekrasov. In this paper, we consider formal analogues of these invariants in any dimension $d \not \equiv 2 \ \mathrm{mod} \, 4$. The direct analogues of the above-mentioned conjectures fail in general when $d>4$, showing that dimensions 3 and 4 are special. Surprisingly, after appropriate specialization of the equivariant parameters, the conjectures seem to hold in all dimensions.

In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's necklace-counting function for binary aperiodic necklaces of length $k$ \cite{mo} (Theorem 3), and we prove the binary case of MacMahon's formula from 1892 \cite{ma} (also called Witt's formula) for the number of necklaces (Theorem 4). Notice that we give proofs of Theorems 3 and 4 without use of Burnside's lemma and Pólya enumeration theorem. Namely, the methods used in our proofs of auxiliary and main results presented in Sections 3 and 4 are combinatorial in spirit and they are based on counting method and some facts from elementary number theory.

Ciucu showed that the number of lozenge tilings of a hexagon in which a chain of equilateral triangles of alternating orientations, called a `\emph{fern}', has been removed in the center is given by a simple product formula (Adv. Math. 2017). In this paper, we present a multi-parameter generalization of this work by giving an explicit tiling enumeration for a hexagon with three ferns removed, besides the middle fern located in the center as in Ciucu's region, we remove two additional ferns from two sides of the hexagon. Our result also implies a counterpart of MacMahon's classical formula of boxed plane partitions, corresponding the \emph{exterior} of the union of three disjoint concave polygons obtained by turning 120 degrees after drawing each side.

We present a statistical mechanical model whose random variables are solid partitions, i.e. Young diagrams built by stacking up four dimensional hypercubes. Equivalently, it can be viewed as the model of random tessellations of ${\bf R}^{3}$ by squashed cubes of four fixed orientations. The model computes the refined index of a system of D0-branes in the presence of $D8$-$\overline{D8}$ system, with a $B$-field strong enough to support the bound states. Mathematically, it is the equivariant K-theoretic version of integration over the Hilbert scheme of points on ${\bf C}^{4}$ and its higher rank analogues, albeit the definition is real, not complex analytic. The model is a mother of all random partition models, including the equivariant Donaldson-Thomas theory and the four dimensional instanton counting. Finally, a version of our model with infinite solid partitions with four fixed plane partition asymptotics is the vertex contribution to the equivariant count of instantons on toric Calabi-Yau fourfolds. The conjectured partition function of the model is presented. We have checked it up to six instantons (which is one step beyond the checks of the celebrated P.~MacMahon's failed conjectures of the early XX century). A specialization of the formula is our earlier (2004) conjecture on the equivariant K-theoretic Donaldson-Thomas theory, proven by A.~Okounkov in 2015.

We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Calabi-Yau 4-folds is proposed. This conjecture is proved for smooth toric divisors and verified for more general toric divisors in many examples. Combining the equivariant conjecture with a vertex calculation, we find explicit positive rational weights, which can be assigned to solid partitions. The weighted generating function of solid partitions is given by $\exp(M(q)-1)$, where $M(q)$ denotes the MacMahon function.

In their paper about a dual of MacMahon's classical theorem on plane partitions, Ciucu and Krattenthaler proved a closed form product formula for the tiling number of a hexagon with a "shamrock", a union of four adjacent triangles, removed in the center (Proc. Natl. Acad. Sci. USA 2013). Lai later presented a $q$-enumeration for lozenge tilings of a hexagon with a shamrock removed from the boundary (European J. Combin. 2017). It appears that the above are the only two positions of the shamrock hole that yield nice tiling enumerations. In this paper, we show that in the case of symmetric hexagons, we always have a simple product formula for the number of tilings when removing a shamrock at any position along the symmetry axis. Our result also generalizes Eisenkölbl's related work about lozenge tilings of a hexagon with two unit triangles missing on the symmetry axis (Electron. J. Combin. 1999).

Let $n$ be a nonnegative integer and $I$ be a finite set of positive integers. In 1915, MacMahon proved that the number of permutations in the symmetric group $\mathfrak{S}_n$ with descent set $I$ is a polynomial in $n$. We call this the descent polynomial. However, basic properties of these polynomials such as a description of their coefficients and roots do not seem to have been studied in the literature. Much more recently, in 2013, Billey, Burdzy, and Sagan showed that the number of elements of $\mathfrak{S}_n$ with peak set $I$ is a polynomial in $n$ times a certain power of two. Since then, there have been a flurry of papers investigating properties of this peak polynomial. The purpose of the present paper is to study the descent polynomial. We will see that it displays some interesting parallels with its peak relative. Conjectures and questions for future research are scattered throughout.

Stanley generalized MacMahon's classical theorem by proving a product formula for the norm-trace generating function for plane partition with unbounded parts. In his recent work on biothorgonal polynomials, Kamioka proved a finite analogue of Stanley's formula for plane partitions with bounded parts (arXiv:1508.01674). In this paper, we use techniques from the enumeration of tilings to give a new proof for Kamioka's formula.

Starting with the zero-square "zeon algebra" the connection with permanents is shown. Permanents of sub-matrices of a linear combination of the identity matrix and all-ones matrix leads to moment polynomials with respect to the exponential distribution. A permanent trace formula analogous to MacMahon's Master Theorem is presented and applied. Connections with permutation groups acting on sets and the Johnson association scheme arise. The families of numbers appearing as matrix entries turn out to be related to interesting variations on derangements. These generalized derangements are considered in detail as an illustration of the theory.

Plane partitions have been widely studied in Mathematics since MacMahon. See, for example, the works by Andrews, Macdonald, Stanley, Sagan and Krattenthaler. The Schur process approach, introduced by Okounkov and Reshetikhin, and further developed by Borodin, Corwin, Corteel, Savelief and Vuletić, has been proved to be a powerful tool in the study of various kinds of plane partitions. The exact enumerations of ordinary plane partitions, shifted plane partitions and cylindric partitions could be derived from two summation formulas for Schur processes, namely, the open summation formula and the cylindric summation formula. In this paper, we establish a new summation formula for Schur processes, called the complete summation formula. As an application, we obtain the generating function and the asymptotic formula for the number of doubled shifted plane partitions, which can be viewed as plane partitions `shifted at the two sides'. We prove that the order of the asymptotic formula depends only on the diagonal width of the doubled shifted plane partition, not on the profile (the skew zone) itself. By using the same methods, the generating function and the asymptotic formula for the number of symmetric cylindric partitions are also derived.

A close connection of reverse plane partitions with an integrable dynamical system called the discrete two-dimensional (2D) Toda molecule is clarified. It is shown that a multiplicative partition function for reverse plane partition of arbitrary shape with bounded parts can be obtained from each non-vanishing solution to the discrete 2D Toda molecule. As an example a partition function which generalizes MacMahon's triple product formula as well as Gansner's multi-trace generating function is derived from a specific solution to the dynamical system.

Let $n\geq2$ be an integer. In this paper, we study the convexity of the so-called MacMahon's $q$-Catalan polynomials $C_n(q)=\frac1{[n+1]_q}\left[ 2n \atop n \right]_q$ as functions of $q$. Along the way, several intermediate results on inequalities are presented including a commentary on the convexity of the generation function for the integer partitions.

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.

Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose alphabet is the set of simple cycleson the graph. We show that hikes characterize undirected graphs uniquely, up to isomorphism, andsatisfy remarkable algebraic properties such as the existence and uniqueness of a prime factorization.Because of this, the set of hikes partially ordered by divisibility hosts a plethora of relations in directcorrespondence with those found in number theory. Some applications of these results are presented,including a permanantal extension to MacMahon's master theorem and a derivation of the Ihara zetafunction.

We generalize a special case of a theorem of Proctor on the enumeration of lozenge tilings of a hexagon with a maximal staircase removed, using Kuo's graphical condensation method. Additionally, we prove a formula for a weighted version of the given region. The result also extends work of Ciucu and Fischer. By applying the factorization theorem of Ciucu, we are also able to generalize a special case of MacMahon's boxed plane partition formula.

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.

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 polynomials are symmetric and we give their Schur expansion.