A combinatorial formula is derived which expresses free cumulants in terms of classical comulants. As a corollary, we give a combinatorial interpretation of free cumulants of classical distributions, notably Gaussian and Poisson distributions. The latter count connected pairings and connected set partitions respectively. The proof relies on Moebius inversion on the partition lattice.
The q-semicircular distribution is a probability law that interpolates between the Gaussian law and the semicircular law. There is a combinatorial interpretation of its moments in terms of matchings where q follows the number of crossings, whereas for the free cumulants one has to restrict the enumeration to connected matchings. The purpose of this article is to describe combinatorial properties of the classical cumulants. We show that like the free cumulants, they are obtained by an enumeration of connected matchings, the weight being now an evaluation of the Tutte polynomial of a so-called c…
We prove a product formula for the remaining cases of the weighted enumeration of self-complementary plane partitions contained in a given box where adding one half of an orbit of cubes and removing the other half of the orbit changes the sign of the weight. We use nonintersecting lattice path families to express this enumeration as a Pfaffian which can be expressed in terms of the known ordinary enumeration of self-complementary plane partitions.
We give another proof for the (-1)-enumeration of self-complementary plane partitions with at least one odd side-length by specializing a certain Schur function identity. The proof is analogous to Stanley's proof for the ordinary enumeration. In addition, we obtain enumerations of 180-degree symmetric rhombus tilings of hexagons with a barrier of arbitrary length along the central line.
Schutzenberger's theorem for the ordinary RSK correspondence naturally extends to Chen et. al's correspondence for matchings and partitions. Thus the counting of bilaterally symmetric $k$-noncrossing partitions naturally arises as an analogue for involutions. In obtaining the analogous result for 3-noncrossing partitions, we use a different technique to develop a Maple package for 2-dimensional vacillating lattice walk enumeration problems. The package also applies to the hesitating case. As applications, we find several interesting relations for some special bilaterally symmetric partitions.
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition case, the right hand side of this identity admits a simple factorization form in terms of the "hook lengths" of the individual boxes in the underlying shape. The main result of this paper is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences.
A set partition is said to be $(k,d)$-noncrossing if it avoids the pattern $12... k12... d$. We find an explicit formula for the ordinary generating function of the number of $(k,d)$-noncrossing partitions of $\{1,2,...,n\}$ when $d=1,2$.
We study certain bijection between plane partitions and $\mathbb{N}$-matrices. As applications, we prove a Cauchy-type identity for generalized dual Grothendieck polynomials. We introduce two statistics on plane partitions, whose generating functions are similar to classical MacMahon's formulas; one of these statistics is equidistributed with the usual volume. We also show natural connections with the longest increasing subsequences of words.
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of this paper is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. Our proof uses commutation relations for $(q,t)$-vertex operators acting on Macdonald polynomials as given by Garsia, Haiman and Tesla. The second result of this paper is an explicit combinatorial interpreation of the $(q,t)$-Macdonald weight in term…
We use the 0-1 tableaux as a tool for enumerating permutations and partitions with restricted minima. The method used is extended for permutation pairs and partition pairs generated by a bipartite 0-1 tableaux.
We compute the weighted enumeration of plane partitions contained in a given box with complementation symmetry where adding one half of an orbit of cubes and removing the other half of the orbit changes the weight by -1 as proposed by Kuperberg. We use nonintersecting lattice path families to accomplish this for transpose-complementary, cyclically symmetric transpose-complementary and totally symmetric self-complementary plane partitions. For symmetric transpose-complementary and self-complementary plane partitions we get partial results. We also describe Kuperberg's proof for the case of cycl…
A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.
We give combinatorial proofs of the formulas for the number of multichains in the $k$-divisible noncrossing partitions of classical types with certain conditions on the rank and the block size due to Krattenthaler and M{ü}ller. We also prove Armstrong's conjecture on the zeta polynomial of the poset of $k$-divisible noncrossing partitions of type $A$ invariant under a $180^\circ$ rotation in the cyclic representation.
We consider $m$-divisible non-crossing partitions of $\{1,2,\ldots,mn\}$ with the property that for some $t\leq n$ no block contains more than one of the first $t$ integers. We give a closed formula for the number of multi-chains of such non-crossing partitions with prescribed number of blocks. Building on this result, we compute Chapoton's $M$-triangle in this setting and conjecture a combinatorial interpretation for the $H$-triangle. This conjecture is proved for $m=1$.
In this paper we consider the enumeration of ordered set partitions avoiding a permutation pattern of length 2 or 3. We provide an exact enumeration for avoiding the permutation 12. We also give exact enumeration for ordered partitions with 3 blocks and ordered partitions with n-1 blocks avoiding a permutation of length 3. We use enumeration schemes to recursively enumerate 123-avoiding ordered partitions with any block sizes. Finally, we give some asymptotic results for the growth rates of the number of ordered set partitions avoiding a single pattern; including a Stanley-Wilf type that exhib…
The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. The chain polynomials of the partition lattices and their standard type $B$ analogues are shown to have only real roots. The real-rootedness of the chain polynomial is conjectured for all geometric lattices and is shown to be preserved by the pyramid and the prism operations on Cohen--Macaulay posets. As a result, new families of convex polytopes whose face lattices have real-rooted chain polynomials are presented. An application to the face enumeration of the second barycentri…
Motivated by recent work on mixtures of classical and free probabilities, we introduce and study the notion of $ε$-noncrossing partitions. It is shown that the set of such partitions forms a lattice, which interpolates as a poset between the poset of partitions and the one of noncrossing partitions. Moreover, $ε$-cumulants are introduced and shown to characterize the notion of $ε$-independence.
Free cumulants were introduced as the proper analog of classical cumulants in the theory of free probability. There is a mix of similarities and differences, when one considers the two families of cumulants. Whereas the combinatorics of classical cumulants is well expressed in terms of set partitions, the one of free cumulants is described, and often introduced in terms of non-crossing set partitions. The formal series approach to classical and free cumulants also largely differ. It is the purpose of the present article to put forward a different approach to these phenomena. Namely, we show th…
In this paper, we show that both 12312-avoiding partitions and 12321-avoiding partitions of the set $[n+1]$ are in one-to-one correspondence with Schröder paths of semilength $n$ without peaks at even level. As a consequence, the refined enumeration of 12312-avoiding (resp. 12321-avoiding) partitions according to the number of blocks can be reduced to the enumeration of certain Schröder paths according to the number of peaks. Furthermore, we get the enumeration of irreducible 12312-avoiding (resp. 12321-avoiding) partitions, which are closely related to skew Dyck paths.
Let $m\ge 2$ be a fixed positive integer. Suppose that $m^j \leq n< m^{j+1}$ is a positive integer for some $j\ge 0$. Denote $b_{m}(n)$ the number of $m$-ary partitions of $n$, where each part of the partition is a power of $m$. In this paper, we show that $b_m(n)$ can be represented as a $j$-fold summation by constructing a one-to-one correspondence between the $m$-ary partitions and a special class of integer sequences rely only on the base $m$ representation of $n$. It directly reduces to Andrews, Fraenkel and Sellers' characterization of the values $b_{m}(mn)$ modulo $m$. Moreover, denote …
Successive ranks of a partition, which were introduced by Atkin, are the difference of the $i$th row and the $i$th column in the Ferrers graph. Recently, in the study of singular overpartitions, Andrews revisited successive ranks and parity blocks. Motivated by his work, we investigate partitions with prescribed successive rank parity blocks. The main result of this paper is the generating function of partitions with exactly $d$ successive ranks and $m$ parity blocks.
In this paper we give Pfaffian expressions and constant term identities for the enumeration problems presented by Mills, Robbins and Rumsey (``Self-complementary totally symmetric plane partitions'' J. Combin. Theory Ser. A, 42, 277--292), concerning the totally symmetric self-complementary plane partitions (TSSCPPs). We also present some new conjectures and give Pfaffian expressions for them.
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 con…
We consider the {\em Shaped Partition Problem} of partitioning $n$ given vectors in real $k$-space into $p$ parts so as to maximize an arbitrary objective function which is convex on the sum of vectors in each part, subject to arbitrary constraints on the number of elements in each part. In addressing this problem, we study the {\em Shaped Partition Polytope} defined as the convex hull of solutions. The Shaped Partition Problem captures ${\cal N}{\cal P}$-hard problems such as the Max-Cut problem and the Traveling Salesperson problem, and the Shaped Partition Polytope may have exponentially ma…
In this report, we summarize the set partition enumeration problems and thoroughly explain the algorithms used to solve them. These algorithms iterate through the partitions in lexicographic order and are easy to understand and implement in modern high-level programming languages, without recursive structures and jump logic. We show that they require linear space in respect to the set cardinality and advance the enumeration in constant amortized time. The methods discussed in this document are not novel. Our goal is to demonstrate the process of enumerating set partitions and highlight the ide…
An avoidance pattern where the letters within an occurrence of which are required to be adjacent is referred to as a subword. In this paper, we enumerate members of the set NC_n of non-crossing partitions of length n according to the number of occurrences of several infinite families of subword patterns each containing repeated letters. As a consequence of our results, we obtain explicit generating function formulas counting the members of NC_n for n >= 0 according to all subword patterns of length three containing a repeated letter. Further, simple expressions are deduced for the total number…
We prove the equality of doubly refined enumerations of Alternating Sign Matrices and of Totally Symmetric Self-Complementary Plane Partitions using integral formulae originating from certain solutions of the quantum Knizhnik--Zamolodchikov equation.
Graph compositions generalize both integer compositions and partitions of a finite set. We develop formulas, generating functions and recurrence relations for composition counting functions for several families of graphs.
Anderson established a connection between core partitions and order ideals of certain posets by mapping a partition to its $β$-set. In this paper, we give a characterization of the poset $P_{(s,s+1,s+2)}$ whose order ideals correspond to $(s,s+1,s+2)$-core partitions. Using this characterization, we obtain the number of $(s,s+1,s+2)$-core partitions, the maximum size and the average size of an $(s,s+1,s+2)$-core partition, confirming three conjectures posed by Amdeberhan.
Motivated by the enumeration of a class of plane partitions studied by Proctor and by considerations about symmetry classes of plane partitions, we consider the problem of enumerating lozenge tilings of a hexagon with ``maximal staircases'' removed from some of its vertices. The case of one vertex corresponds to Proctor's problem. For two vertices there are several cases to consider, and most of them lead to nice enumeration formulas. For three or more vertices there do not seem to exist nice product formulas in general, but in one special situation a lot of factorization occurs, and we pose t…
The Δ-convolution of real probability measures, introduced by Bożejko, generalizes both free and boolean convolutions. It is linearized by the Δ-cumulants, and Yoshida gave a combinatorial formula for moments in terms of Δ-cumulants, that implicitly defines the latter. It relies on the definition of an appropriate weight on noncrossing partitions. We give here two different expressions for the Δ-cumulants: the first one is a simple variant of Lagrange inversion formula, and the second one is a combinatorial inversion of Yoshida's formula involving Schröder trees.
An integer partition λof n corresponds, via its Ferrers diagram, to an artinian monomial ideal I of colength n in the polynomial ring on two variables. If the partition λcorresponds to an integrally closed ideal we call λconcave. We study generating functions for the number of concave partitions, unrestricted or with at most r parts.
Lecture notes for the proceedings of the workshop "Algebraic Combinatorics related to Young diagram and statistical physics", Aug. 6-10 2012, I.I.A.S., Nara, Japan.
We generalize the notion of non-crossing partition on a disk to general surfaces with boundary. For this, we consider a surface $Σ$ and introduce the number $C_Σ(n)$ of non-crossing partitions of a set of $n$ points laying on the boundary of $Σ$. Our proofs use bijective techniques arising from map enumeration, joint with the symbolic method and singularity analysis on generating functions. An outcome of our results is that the exponential growth of $C_Σ(n)$ is the same as the one of the $n$-th Catalan number, i.e., does not change when we move from the case where $Σ$ is a disk to general surf…
The aim of this paper is to develop the combinatorics of constructions associated to what we call \emph{triangular partitions}. As introduced in arXiv:2102.07931, these are the partitions whose cells are those lying below the line joining points $(r,0)$ and $(0,s)$, for any given positive reals $r$ and $s$. Classical notions such as Dyck paths and parking functions are naturally generalized by considering the set of partitions included in a given triangular partition. One of our striking results is that the restriction of the Young lattice to triangular partition has a planar Hasse diagram, wi…
The functional equation defining the free cumulants in free probability is lifted successively to the noncommutative Faà di Bruno algebra, and then to the group of a free operad over Schröder trees. This leads to new combinatorial expressions, which remain valid for operator-valued free probability. Specializations of these expressions give back Speicher's formula in terms of noncrossing partitions, and its interpretation in terms of characters due to Ebrahimi-Fard and Patras.
In this paper, we apply the combinatorial proof technique of Description, Involution, Exceptions (DIE) to prove various known identities for the joint cumulant. Consider a set of random variables $S = \{X_1,..., X_n\} $. Motivated by the definition of the joint cumulant, we define $ \sC(S) $ as the set of cyclically arranged partitions of $S$, allowing us to express the joint cumulant of $ S $ as a weighted, alternating sum over $\sC(S)$. We continue to define other combinatorial objects that allow us to rewrite expressions originally in terms of the joint cumulant as weighted sums over the se…
In the combinatorics of finite finite Coxeter groups, there is a simple formula giving the number of maximal chains of noncrossing partitions. It is a reinterpretation of a result by Deligne which is due to Chapoton, and the goal of this article is to refine the formula. First, we prove a one-parameter generalization, by the considering enumeration of noncrossing chains where we put a weight on some relations. Second, we consider an equivalence relation on noncrossing chains coming from the natural action of the group on set partitions, and we show that each equivalence class has a simple gene…
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product formula which enumerates these objects according to type. We define a notion of `connectivity' for these objects and prove an analogous product formula which counts connected objects by type. Our proof of this product formula is combinatorial and bijective. We extend this to a product formula which counts objects with a fixed type and number of connected components. We relate our product formulas to symmetric function…
We propose new conjectures relating sum rules for the polynomial solution of the qKZ equation with open (reflecting) boundaries as a function of the quantum parameter $q$ and the $τ$-enumeration of Plane Partitions with specific symmetries, with $τ=-(q+q^{-1})$. We also find a conjectural relation à la Razumov-Stroganov between the $τ\to 0$ limit of the qKZ solution and refined numbers of Totally Symmetric Self Complementary Plane Partitions.
We deal with unweighted and weighted enumerations of lozenge tilings of a hexagon with side lengths $a,b+m,c,a+m,b,c+m$, where an equilateral triangle of side length $m$ has been removed from the center. We give closed formulas for the plain enumeration and for a certain $(-1)$-enumeration of these lozenge tilings. In the case that $a=b=c$, we also provide closed formulas for certain weighted enumerations of those lozenge tilings that are cyclically symmetric. For $m=0$, the latter formulas specialize to statements about weighted enumerations of cyclically symmetric plane partitions. One such …
In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one …
We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of Möbius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by inse…
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.
An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round p…
Given a complete graph with positive weights on its edges, we define the weight of a subset of edges as the product of weights of the edges in the subset and consider sums (partition functions) of weights over subsets of various kinds: cycle covers, closed walks, spanning trees. We show that if the weights of the edges of the graph are within a constant factor, fixed in advance, of each other then the bulk of the partition function is concentrated on the subsets of a particularly simple structure: cycle covers with few cycles, walks that visit every vertex only few times, and spanning trees wi…
In this paper, we are mainly concerned with the enumeration of $(2k+1, 2k+3)$-core partitions with distinct parts. We derive the number and the largest size of such partitions, confirming two conjectures posed by Straub.
The refined enumeration of alternating sign matrices (ASMs) of given order having prescribed behavior near one or more of their boundary edges has been the subject of extensive study, starting with the Refined Alternating Sign Matrix Conjecture of Mills-Robbins-Rumsey, its proof by Zeilberger, and more recent work on doubly-refined and triply-refined enumeration by several authors. In this paper we extend the previously known results on this problem by deriving explicit enumeration formulas for the "top-left-bottom" (triply-refined) and "top-left-bottom-right" (quadruply-refined) enumerations.…