partition
6235 papers tagged with this keyword
New enumeration formulas for alternating sign matrices and square ice partition functions
Published in Advances in Mathematics, Volume 235 (2013), Pages 161-186
• View Publication
• BIB
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. The latter case solves the problem of computing the full boundary correlation function for ASMs. The enumeration formulas are proved by deriving new representations, which are of independent interest, for the partition function of the square ice model with domain wall boundary conditions at the "combinatorial point" 2π/3.
Ehrhart f*-coefficients of polytopal complexes are non-negative integers
Published
• View Publication
• BIB
The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries.
In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.
Compositions constrained by graph Laplacian minors
Published
• View Publication
• BIB
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding super convex compositions, which we describe as compositions constrained by Laplacian minors for cycles; we extend this solution to the study of compositions constrained by Laplacian minors of leafed cycles. Connections are established and conjectured between compositions constrained by Laplacian minors of leafed cycles of prime length and algebraic/combinatorial properties of reflexive simplices.
Stochastic Block Models and Reconstruction
The planted partition model (also known as the stochastic blockmodel) is a classical cluster-exhibiting random graph model that has been extensively studied in statistics, physics, and computer science. In its simplest form, the planted partition model is a model for random graphs on $n$ nodes with two equal-sized clusters, with an between-class edge probability of $q$ and a within-class edge probability of $p$. Although most of the literature on this model has focused on the case of increasing degrees (ie.\ $pn, qn \to \infty$ as $n \to \infty$), the sparse case $p, q = O(1/n)$ is interesting both from a mathematical and an applied point of view.
A striking conjecture of Decelle, Krzkala, Moore and Zdeborová based on deep, non-rigorous ideas from statistical physics gave a precise prediction for the algorithmic threshold of clustering in the sparse planted partition model. In particular, if $p = a/n$ and $q = b/n$, then Decelle et al.\ conjectured that it is possible to cluster in a way correlated with the true partition if $(a - b)^2 > 2(a + b)$, and impossible if $(a - b)^2 < 2(a + b)$. By comparison, the best-known rigorous result is that of Coja-Oghlan, who showed that clustering is possible if $(a - b)^2 > C (a + b)$ for some sufficiently large $C$.
We prove half of their prediction, showing that it is indeed impossible to cluster if $(a - b)^2 < 2(a + b)$. Furthermore we show that it is impossible even to estimate the model parameters from the graph when $(a - b)^2 < 2(a + b)$; on the other hand, we provide a simple and efficient algorithm for estimating $a$ and $b$ when $(a - b)^2 > 2(a + b)$. Following Decelle et al, our work establishes a rigorous connection between the clustering problem, spin-glass models on the Bethe lattice and the so called reconstruction problem. This connection points to fascinating applications and open problems.
A doubly-refined enumeration of alternating sign matrices and descending plane partitions
Published in J. Combin. Theory Ser. A 120 (2013) 409-432
• View Publication
• BIB
It was shown recently by the authors that, for any n, there is equality between the distributions of certain triplets of statistics on nxn alternating sign matrices (ASMs) and descending plane partitions (DPPs) with each part at most n. The statistics for an ASM A are the number of generalized inversions in A, the number of -1's in A and the number of 0's to the left of the 1 in the first row of A, and the respective statistics for a DPP D are the number of nonspecial parts in D, the number of special parts in D and the number of n's in D. Here, the result is generalized to include a fourth statistic for each type of object, where this is the number of 0's to the right of the 1 in the last row of an ASM, and the number of (n-1)'s plus the number of rows of length n-1 in a DPP. This generalization is proved using the known equality of the three-statistic generating functions, together with relations which express each four-statistic generating function in terms of its three-statistic counterpart. These relations are obtained by applying the Desnanot-Jacobi identity to determinantal expressions for the generating functions, where the determinants arise from standard methods involving the six-vertex model with domain-wall boundary conditions for ASMs, and nonintersecting lattice paths for DPPs.
A combinatorial proof of the Alladi-Gordon key identity for Schur's partition theorem
Published
• View Publication
• BIB
The Alladi-Gordon identity plays an important role for the Alladi-Gordon generalization of Schur's partition theorem. By using Joichi-Stanton's insertion algorithm, we present an overpartition interpretation for the Alladi-Gordon key identity. Based on this interpretation, we further obtain a combinatorial proof of the Alladi-Gordon key identity by establishing an involution on the underlying set of overpartitions.
Warnaar's bijection and colored partition identities, II
Published in Ramanujan J. 33 (2014), no. 1, 83--120
• View Publication
• BIB
In our previous paper, we determined a unified combinatorial framework to look at a large number of colored partition identities, and studied the five identities corresponding to the exceptional modular equations of prime degree of the Schroeter, Russell and Ramanujan type. The goal of this paper is to use the master bijection of our previous work to show combinatorially several new and highly nontrivial colored partition identities. We conclude by listing a number of further interesting identities of the same type as conjectures.
Computing growth functions of braid monoids and counting vertex-labelled bipartite graphs
Published in Journal of Combinatorial Theory, Series A 120 (2013) 232-244
• View Publication
• BIB
We derive a recurrence relation for the number of simple vertex-labelled bipartite graphs with given degrees of the vertices and use this result to obtain a new method for computing the growth function of the Artin monoid of type $A_{n-1}$ with respect to the simple elements (permutation braids) as generators. Instead of matrices of size $2^{n-1}\times 2^{n-1}$, we use matrices of size $p(n)\times p(n)$, where $p(n)$ is the number of partitions of $n$.
Statistics of blocks in k-divisible non-crossing partitions
Published
• View Publication
• BIB
We derive a formula for the expected number of blocks of a given size from a non-crossing partition chosen uniformly at random. Moreover, we refine this result subject to the restriction of having a number of blocks given. Furthermore, we generalize to k-divisible partitions. In particular, we find that, asymptotically, the expected number of blocks of size t of a k-divisible non-crossing partition of nk elements chosen uniformly at random is (kn+1)/(k+1)^(t+1). Similar results are obtained for type B and type D k-divisible non-crossing partitions of Armstrong.
The number of self-conjugate core partitions
Published
• View Publication
• BIB
A conjecture on the monotonicity of t-core partitions in an article of Stanton [Open positivity conjectures for integer partitions, Trends Math., 2:19-25, 1999] has been the catalyst for much recent research on t-core partitions. We conjecture Stanton-like monotonicity results comparing self-conjugate (t+2)- and t-core partitions of n.
We obtain partial results toward these conjectures for values of t that are large with respect to n, and an application to the block theory of the symmetric and alternating groups. To this end we prove formulas for the number of self-conjugate t-core partitions of n as a function of the number of self-conjugate partitions of smaller n. Additionally, we discuss the positivity of self-conjugate 6-core partitions and introduce areas for future research in representation theory, asymptotic analysis, unimodality, and numerical identities and inequalities.
Annular noncrossing permutations and minimal transitive factorizations
Published in Journal of Combinatorial Theory, Series A, 124, 251-262, 2014
• View Publication
• BIB
We give two combinatorial proofs of Goulden and Jackson's formula for the number of minimal transitive factorizations of a permutation when the permutation has two cycles. We use the recent result of Goulden, Nica, and Oancea on the number of maximal chains of annular noncrossing partitions of type $B$.
Zeilberger's Holonomic Ansatz for Pfaffians
Published
• View Publication
• BIB
A variation of Zeilberger's holonomic ansatz for symbolic determinant evaluations is proposed which is tailored to deal with Pfaffians. The method is also applicable to determinants of skew-symmetric matrices, for which the original approach does not work. As Zeilberger's approach is based on the Laplace expansion (cofactor expansion) of the determinant, we derive our approach from the cofactor expansion of the Pfaffian. To demonstrate the power of our method, we prove, using computer algebra algorithms, some conjectures proposed in the paper "Pfaffian decomposition and a Pfaffian analogue of q-Catalan Hankel determinants" by Ishikawa, Tagawa, and Zeng. A minor summation formula related to partitions and Motzkin paths follows as a corollary.
On maximal chains in the non-crossing partition lattice
Published
• View Publication
• BIB
A weak order on the set of maximal chains of the non-crossing partition lattice is introduced and studied. A $0$-Hecke algebra action is used to compute the radius of the graph on these chains in which two chains are adjacent if they differ in exactly one element.
Computing with rational symmetric functions and applications to invariant theory and PI-algebras
Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form (1 - monomial). We use a classical combinatorial method of Elliott of 1903 further developed in the Partition Analysis of MacMahon in 1916 to compute the generating function of the multiplicities (i.e., the coefficients) of the Schur functions in the expression of f. It is a rational function with denominator of a similar form as f. We apply the method to several problems on symmetric algebras, as well as problems in classical invariant theory, algebras with polynomial identities, and noncommutative invariant theory.
Combinatorics of lower order terms in the moment conjectures for the Riemann zeta function
Conrey, Farmer, Keating, Rubinstein and Snaith have given a recipe that conjecturally produces, among others, the full moment polynomial for the Riemann zeta function. The leading term of this polynomial is given as a product of a factor explained by arithmetic and a factor explained by combinatorics (or, alternatively, random matrices). We explain how the lower order terms arise, and clarify the dependency of each factor on the exponent $k$ that is considered.
We use extensively the theory of symmetric functions and representations of symmetric groups, ideas of Lascoux on manipulations of alphabets, and a key lemma, due in a basic version to Bump and Gamburd. Our main result ends up involving dimensions of skew partitions, as studied by Olshanski, Regev, Vershik, Ivanov and others.
In this article, we also lay the groundwork for later unification of the combinatorial computations for lower order terms in the moments conjectures across families of $L$-functions of unitary, orthogonal and symplectic types.
A combinatorial proof of an identity for the divisor generating function
Published
• View Publication
• BIB
We translate Uchimura's identity for the divisor function and whose generalizations into combinatorics of partitions, and give a combinatorial proof of them. As a by-product of their proofs, we obtain some combinatorial results.
New Wilf-equivalence results for dashed patterns
Published
• View Publication
• BIB
We give a sufficient condition for the two dashed patterns $τ^{(1)}-τ^{(2)}-\cdots-τ^{(\ell)}$ and $τ^{(\ell)}-τ^{(\ell-1)}-\cdots-τ^{(1)}$ to be (strongly) Wilf-equivalent. This permits to solve in a unified way several problems of Heubach and Mansour on Wilf-equivalences on words and compositions, as well as a conjecture of Baxter and Pudwell on Wilf-equivalences on permutations. We also give a better explanation of the equidistribution of the parameters $\MAK+\bMAJ$ and $\MAK'+\bMAJ$ on ordered set partitions. These results can be viewed as consequences of a simple proposition which states that the set valued statistics "descent set'' and "rise set'' are equidistributed over each equivalence class of the partially commutative monoid generated by a poset $(X,\leq)$.
Sperner partition systems
Published
• View Publication
• BIB
A \textsl{Sperner $k$-partition system} on a set $X$ is a set of partitions of $X$ into $k$ classes such that the classes of the partitions form a Sperner set system (so no class from a partition is a subset of a class from another partition). These systems were defined by Meagher, Moura and Stevens in \cite{MMS} who showed that if $|X| = k \ell$, then the largest Sperner $k$-partition system has size $\frac{1}{k}\binom{|X|}{\ell}$. In this paper we find bounds on the size of the largest Sperner $k$-partition system where $k$ does not divide the size of $X$, specifically, we give an exact bound when $k=2$ and upper and lower bounds when $|X| = 2k+1$, $|X|=2k+2$ and $|X| = 3k-1$.
Using GENERATINGFUNCTIONOLOGY to Enumerate Distinct-Multiplicity Partitions
This article, written in fond memory of Herbert Saul Wilf (June 13, 1931- Jan. 7, 2012), explores integer partitions where each part shows up a different number of times than the other parts (if it shows up at least once), thereby making a modest contribution towards the solution of one of the eight intrigiung problems posted by Herb Wilf on his website on Dec. 13, 2010
Combinatorial Reciprocity Theorems
Published in Jahresbericht der DMV 114, no. 1 (2012), 3-22
• View Publication
• BIB
A common theme of enumerative combinatorics is formed by counting functions that are polynomials evaluated at positive integers. In this expository paper, we focus on four families of such counting functions connected to hyperplane arrangements, lattice points in polyhedra, proper colorings of graphs, and $P$-partitions. We will see that in each instance we get interesting information out of a counting function when we evaluate it at a \emph{negative} integer (and so, a priori the counting function does not make sense at this number). Our goals are to convey some of the charm these "alternative" evaluations of counting functions exhibit, and to weave a unifying thread through various combinatorial reciprocity theorems by looking at them through the lens of geometry, which will include some scenic detours through other combinatorial concepts.