arXiv++ Combinatorics

An integer partition of $n$ is a decreasing sequence of positive integers that add up to $[n]$. Back in $1979$ Macdonald posed a question about the limit value of the probability that two partitions chosen uniformly at random, and independently of each other, are comparable in terms of the dominance order. In $1982$ Wilf conjectured that the uniformly random partition is a size-ordered degree sequence of a simple graph with the limit probability $0$. In $1997$ we showed that in both, seemingly unrelated, cases the limit probabilities are indeed zero, but our method left open the problem of convergence rates. The main result in this paper is that each of the probabilities is $e^{-0.11\log n/\log\log n}$, at most. A key element of the argument is a local limit theorem, with convergence rate, for the joint distribution of the $[n^{1/4-\varepsilon}]$ tallest columns and the $[n^{1/4-\varepsilon}]$ longest rows of the Young diagram representing the random partition.

Billey et al. [arXiv:1507.04976] have recently discovered a surprisingly simple formula for the number $a_n(σ)$ of leaf-labelled rooted non-embedded binary trees (also known as phylogenetic trees) with $n\geq 1$ leaves, fixed (for the relabelling action) by a given permutation $σ\in\frak{S}_n$. Denoting by $λ\vdash n$ the integer partition giving the sizes of the cycles of $σ$ in non-increasing order, they show by a guessing/checking approach that if $λ$ is a binary partition (it is known that $a_n(σ)=0$ otherwise), then $$ a_n(σ)=\prod_{i=2}^{\ell(λ)}(2(λ_i+\cdots+λ_{\ell(λ)})-1), $$ and they derive from it a formula and random generation procedure for tanglegrams (and more generally for tangled chains). Our main result is a combinatorial proof of the formula, which yields a simplification of the random sampler for tangled chains.

The \emph{$q,t$-Catalan numbers} $C_n(q,t)$ are polynomials in $q$ and $t$ that reduce to the ordinary Catalan numbers when $q=t=1$. These polynomials have important connections to representation theory, algebraic geometry, and symmetric functions. Haglund and Haiman discovered combinatorial formulas for $C_n(q,t)$ as weighted sums of Dyck paths (or equivalently, integer partitions contained in a staircase shape). This paper undertakes a combinatorial investigation of the joint symmetry property $C_n(q,t)=C_n(t,q)$. We conjecture some structural decompositions of Dyck objects into "mutually opposite" subcollections that lead to a bijective explanation of joint symmetry in certain cases. A key new idea is the construction of infinite chains of partitions that are independent of $n$ but induce the joint symmetry for all $n$ simultaneously. Using these methods, we prove combinatorially that for $0\leq k\leq 9$ and all $n$, the terms in $C_n(q,t)$ of total degree $\binom{n}{2}-k$ have the required symmetry property.

We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and find many theorems of classical number theory arise as particular cases of extremely general combinatorial structure laws. We then see that the relatively recently-defined $q$-bracket operator $\left<f\right>_q$, studied by Bloch-Okounkov, Zagier, and others for its quasimodular properties, plays a deep role in the theory of partitions, quite apart from questions of modularity. Moreover, we give an explicit formula for the coefficients of $\left<f\right>_q$ for any function $f$ defined on partitions, and, conversely, give a partition-theoretic function whose $q$-bracket is a given power series.

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

We exploit transformations relating generalized $q$-series, infinite products, sums over integer partitions, and continued fractions, to find partition-theoretic formulas to compute the values of constants such as $π$, and to connect sums over partitions to the Riemann zeta function, multiple zeta values, and other number-theoretic objects.

Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers.

We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results about core partitions. For small values of a, we give formulas for the number of (a,b)-core partitions corresponding to numerical semigroups. We also study the number of partitions with a given hook set.

In this short note, we give basic enumerative results on colored integer partitions.

A theorem of Tverberg from 1966 asserts that every set $X\subset\mathbb{R}^d$ of $n=T(d,r)=(d+1)(r-1)+1$ points can be partitioned into $r$ pairwise disjoint subsets, whose convex hulls have a point in common. Thus every such partition induces an integer partition of $n$ into $r$ parts (that is, $r$ integers $a_1,\ldots,a_r$ satisfying $n=a_1+\cdots+a_r$), where the parts $a_i$ correspond to the number of points in every subset. In this paper, we prove that for any partition $a_i\le d+1$, $i=1,\ldots,r$, there exists a set $X\subset\mathbb{R}^d$ of $n$ points, such that every Tverberg partition of $X$ induces the same partition on $n$, given by the parts $a_1,\ldots,a_r$.

From Smyth's classification, modular compactifications of pointed smooth rational curves are indexed by combinatorial data, so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a finite union of atomic extremal assignments. We discuss a connection with the birational geometry of the moduli space of stable pointed curves. As applications, we study three special classes of extremal assignments: smooth, toric, and invariant with respect to the symmetric group action. We identify them with three combinatorial objects: simple intersecting families, complete multipartite graphs, and special families of integer partitions, respectively.

We give yet-another illustration of using Herb Wilf's Snake Oil Method, by proving a certain identity between the entries of the so-called Motzkin Triangle, that arose in a recent study of enumeration of certain classes of integer partitions. We also briefly illustrate how this method can be applied to general `triangles'.

Integer partitions which are simultaneously $t$--cores for distinct values of $t$ have attracted significant interest in recent years. When $s$ and $t$ are relatively prime, Olsson and Stanton have determined the size of the maximal $(s,t)$-core $κ_{s,t}$. When $k\geq 2$, a conjecture of Amdeberhan on the maximal $(2k-1,2k,2k+1)$-core $κ_{2k-1,2k,2k+1}$ has also recently been verified by numerous authors. In this work, we analyze the relationship between maximal $(2k-1,2k+1)$-cores and maximal $(2k-1,2k,2k+1)$-cores. In previous work, the first author noted that, for all $k\geq 1,$ $$ \vert \, κ_{2k-1,2k+1}\, \vert = 4\vert \, κ_{2k-1,2k,2k+1}\, \vert $$ and requested a combinatorial interpretation of this unexpected identity. Here, using the theory of abaci, partition dissection, and elementary results relating triangular numbers and squares, we provide such a combinatorial proof.

Walks on Young's lattice of integer partitions encode many objects of algebraic and combinatorial interest. Chen et al. established connections between such walks and arc diagrams. We show that walks that start at $\varnothing$, end at a row shape, and only visit partitions of bounded height are in bijection with a new type of arc diagram -- open diagrams. Remarkably two subclasses of open diagrams are equinumerous with well known objects: standard Young tableaux of bounded height, and Baxter permutations. We give an explicit combinatorial bijection in the former case.

In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.

In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function attributed to Nekrasov and Okounkov (which was actually first proved the same year by Westbury) by using a famous identity of Macdonald in the framework of type $\widetilde{A}$ affine root systems. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using the Macdonald identity in type $\widetilde{C}$ and a new bijection between vectors with integral coordinates and a subset of $t$-cores for integer partitions. As applications, we derive a symplectic hook formula and an unexpected relation between the Macdonald identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$. We also generalize these expansions through the Littlewood decomposition and deduce in particular many new weighted generating functions for subsets of integer partitions and refinements of hook formulas.

We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions. Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem. Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem.

For a degree d self branched covering of the 2-sphere, a notable combinatorial invariant is an integer partition of 2d -- 2, consisting of the multiplicities of the critical points. A finer invariant is the so called Hurwitz passport. The realization problem of Hurwitz passports remain largely open till today. In this article, we introduce two different types of finer invariants: a bipartite map and an incident matrix. We then settle completely their realization problem by showing that a map, or a matrix, is realized by a branched covering if and only if it satisfies a certain balanced condition. A variant of the bipartite map approach was initiated by W. Thurston. Our results shed some new lights to the Hurwitz passport problem.

The Rogers-Ramanujan identities and various analogous identities (Gordon, Andrews-Bressoud, Capparelli, etc.) form a family of very deep identities concerned with integer partitions. These identities (written in generating function form) are typically of the form "product side" equals "sum side," with the product side enumerating partitions obeying certain congruence conditions and the sum side obeying certain initial conditions and difference conditions (along with possibly other restrictions). We use symbolic computation to generate various such sum sides and then use Euler's algorithm to see which of them actually do produce elegant conjectured product sides. We not only rediscover many of the known identities but also discover some apparently new ones, as conjectures supported by strong mathematical evidence.

We introduce some new classes of words and permutations characterized by the second difference condition $π(i-1) + π(i+1) - 2π(i) \leq k$, which we call the $k$-convexity condition. We demonstrate that for any sized alphabet and convexity parameter $k$, we may find a generating function which counts $k$-convex words of length $n$. We also determine a formula for the number of 0-convex words on any fixed-size alphabet for sufficiently large $n$ by exhibiting a connection to integer partitions. For permutations, we give an explicit solution in the case $k = 0$ and show that the number of 1-convex and 2-convex permutations of length $n$ are $Θ(C_1^n)$ and $Θ(C_2^n)$, respectively, and use the transfer matrix method to give tight bounds on the constants $C_1$ and $C_2$. We also providing generating functions similar to the the continued fraction generating functions studied by Odlyzko and Wilf in the "coins in a fountain" problem.