arXiv++ Combinatorics

This article is devoted to the study of Jack connection coefficients, a generalization of the connection coefficients of the classical commutative subalgebras of the group algebra of the symmetric group closely related to the theory of Jack symmetric functions. First introduced by Goulden and Jackson (1996) these numbers indexed by three partitions of a given integer $n$ and the Jack parameter $α$ are defined as the coefficients in the power sum expansion of the Cauchy sum for Jack symmetric functions. While very little is known about them, examples of computations for small values of $n$ tend to show that the nice properties of the special cases $α=1$ (connection coefficients of the class algebra) and $α= 2$ (connection coefficients of the double coset algebra) extend to general $α$. Goulden and Jackson conjectured that Jack connection coefficients are polynomials in $β= α-1$ with non negative integer coefficients given by some statistics on matchings on a set of $2n$ elements, the so called Matchings-Jack conjecture. In this paper we look at the case when two of the integer partitions are equal to the single part $(n)$ and use a framework by Lasalle (2008) for Jack symmetric functions to show that the coefficients satisfy a simple recurrence formula that makes their computation very effective and allow a better understanding of their properties. In particular we prove the Matchings-Jack conjecture in this case. Furthermore, we provide a bijective proof of the recurrence formula for $α\in \{1,2\}$ using the combinatorial interpretation of the coefficients for these specific values of the Jack parameter. Finally we exhibit the polynomial properties of more general coefficients where the two single part partitions are replaced by an arbitrary number of integer partitions either equal to $(n)$ or $[1^{n-2}2]$.

Fibonacci numbers can be expressed in terms of multinomial coefficients as sums over integer partitions into odd parts. We use this fact to introduce a family of double inequalities involving the generating function for the number of partitions into odd parts and the generating function for the number of odd divisors.

We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input). The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal. At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.

We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study.

The h-index was introduced by the physicist J.E. Hirsch in 2005 as measure of a researcher's productivity. We consider the "combinatorial Fermi problem" of estimating h given the citation count. Using the Euler-Gauss identity for integer partitions, we compute confidence intervals. An asymptotic theorem about Durfee squares, due to E.R. Canfield-S. Corteel-C.D. Savage from 1998, is reinterpreted as the rule of thumb h=0.54 x (citations)^{1/2}. We compare these intervals and the rule of thumb to empirical data (primarily using mathematicians).

We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time.

We give a series of recursive identities for the number of partitions with exactly $k$ parts and with constraints on both the minimal difference among the parts and the minimal part. Using these results we demonstrate that the number of partitions of $n$ is equal to the number of partitions of $2n+d{n \choose 2}$ with $n$ $d$-distant parts. We also provide a direct proof for this identity. This work is the result of our aim at finding a bijective proof for Rogers-Ramanujan identities.

One of the most basic results concerning the number-theoretic properties of the partition function $p(n)$ is that $p(n)$ takes each value of parity infinitely often. This statement was first proved by Kolberg in 1959, and it was strengthened by Subbarao in 1966 to say that both $p(2n)$ and $p(2n+1)$ take each value of parity infinitely often. These results have received several other proofs, each relying to some extent on manipulating generating functions. We give a new, self-contained proof of Subbarao's result by constructing a series of bijections and involutions, along the way getting a more general theorem concerning the enumeration of a special subset of integer partitions.

For each composition $\vec{c}$ we show that the order complex of the poset of pointed set partitions $Π^{\bullet}_{\vec{c}}$ is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with descent composition $\vec{c}$. Furthermore, the action of the symmetric group on the top homology is isomorphic to the Specht module $S^{B}$ where $B$ is a border strip associated to the composition. We also study the filter of pointed set partitions generated by a knapsack integer partition and show the analogous results on homotopy type and action on the top homology.

The $U$-polynomial of Noble and Welsh is known to have intimate connections with the Potts model as well as with several important graph polynomials. For each graph $G$, $U(G)$ is equivalent to Stanley's symmetric bad colouring polynomial $XB(G)$. Moreover Sarmiento established the equivalence between $U$ and the polychromate of Brylawski. Loebl defined the $q$-dichromate $B_q(G,x,y)$ as a function of a graph $G$ and three independent variables $q,x,y$, proved that it is equal to the partition function of the Potts model with variable number of states and with a certain external field contribution, and conjectured that the $q$-dichromate is equivalent to the $U$-polynomial. He also proposed a stronger conjecture on integer partitions. The aim of this paper is two-fold. We present a construction disproving Loebl's integer partitions conjecture, and we introduce a new function $B_{r,q}(G;x,k)$ which is also equal to the partition function of the Potts model with variable number of states and with a (different) external field contribution, and we show that $B_{r,q}(G;x,k)$ is equivalent to the $U$-polynomial and to Stanley's symmetric bad colouring polynomial.

In this paper we present a new class of integer partition identities. The number of partitions with d-distant parts can be represented as a sum of the number of partitions with 1-distant parts whose even parts are greater than twice the number of odd parts. We also provide a direct bijection between these classes of partitions.

Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson. We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.

We consider a stochastic version of Bulgarian solitaire: A number of cards are distributed in piles; in every round a new pile is formed by cards from the old piles, and each card is picked independently with a fixed probability. This game corresponds to a multi-square birth-and-death process on Young diagrams of integer partitions. We prove that this process converges in a strong sense to an exponential limit shape as the number of cards tends to infinity. Furthermore, we bound the probability of deviation from the limit shape and relate this to the number of rounds played in the solitaire.

In this paper we consider the sequence whose n^{th} term is the number of h-vectors of length n. We show that the n^{th} term of this sequence is bounded above by the n^{th} Fibonacci number and bounded below by the number if integer partitions of n into distinct parts. Further we show embedded sequences that directly relate to integer partitions.

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

This paper introduced a way of fractal to solve the problem of taking count of the integer partitions, furthermore, using the method in this paper some recurrence equations concerning the integer partitions can be deduced, including the pentagonal number theorem.

If $a_1, a_2, ..., a_k$ and $n$ are positive integers such that $n = a_1 + a_2 + ... + a_k$, then the sum $a_1 + a_2 + ... + a_k$ is said to be a \emph{partition of $n$} of \emph{length $k$}, and $a_1, a_2, ..., a_k$ are said to be the \emph{parts} of the partition. Two partitions that differ only in the order of their parts are considered to be the same. We say that two partitions \emph{intersect} if they have at least one common part. We call a set $A$ of partitions \emph{intersecting} if any two partitions in $A$ intersect. Let $P_{n,k}$ be the set of all partitions of $n$ of length $k$. We conjecture that if $2 \leq k \leq n$, then the size of any intersecting subset of $P_{n,k}$ is at most the size of $P_{n-1,k-1}$, which is the size of the intersecting subset of $P_{n,k}$ consisting of those partitions which have 1 as a part. The conjecture is trivially true for $n \leq 2k$, and we prove it for $n \geq 5k^5$. We also generalise this for subsets of $P_{n,k}$ with the property that any two of their members have at least $t$ common parts.

In this paper we present a bijection $ω_n$ between two well known families of Catalan objects: the set of facets of the $m$-generalized cluster complex $Δ^m(A_n)$ and the set of dominant regions in the $m$-Catalan arrangement ${\rm Cat}^m(A_n)$, where $m\in\mathbb{N}_{>0}$. In particular, $ω_n$ bijects the facets containing the negative simple root $-α$ to dominant regions having the hyperplane $\{v\in V\mid<v,α>=m\}$ as separating wall. As a result, $ω_n$ restricts to a bijection between the set of facets of the positive part of $Δ^m(A_n)$ and the set of bounded dominant regions in ${\rm Cat}^m(A_n)$. The map $ω_n$ is a composition of two bijections in which integer partitions in an $m$-staircase shape come into play.

A cascade of dihedral symmetries is hidden in Young's lattice of integer partitions. In fact, for each integer N>2 the Hasse graph of the subposet consisting of the partitions with maximal hook length strictly less than N has the dihedral group of order 2N as its symmetry group. Here a new interpretation of those Hasse graphs is presented, namely as the 1-skeleta of the injective hulls of certain finite metric spaces.

We consider a special type of integer partitions in which the parts of the form $p^aq^b$, for some relatively prime integers $p$ and $q$, are restricted by divisibility conditions. We investigate the problems of generating and encoding those partitions and give some estimates for several partition functions.