partition
6235 papers tagged with this keyword
Central sets defined by words of low factor complexity
A subset $A$ of $\mathbb{N}$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \mathbb{N}} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing additional nice combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we show how certain families of aperiodic words of low factor complexity may be used to generate a wide assortment of central sets having additional nice properties inherited from the rich combinatorial structure of the underlying word. We consider Sturmian words and their extensions to higher alphabets (so-called Arnoux-Rauzy words), as well as words generated by substitution rules including the famous Thue-Morse word. We also describe a connection between central sets and the strong coincidence condition for fixed points of primitive substitutions which represents a new approach to the strong coincidence conjecture for irreducible Pisot substitutions. Our methods simultaneously exploit the general theory of combinatorics on words, the arithmetic properties of abstract numeration systems defined by substitution rules, notions from topological dynamics including proximality and equicontinuity, the spectral theory of symbolic dynamical systems, and the beautiful and elegant theory, developed by N. Hindman, D. Strauss and others, linking IP-sets to the algebraic/topological properties of the Stone-Čech compactification of $\mathbb{N}.$ Using the key notion of $p$-$\lim_n,$ regarded as a mapping from words to words, we apply ideas from combinatorics on words in the framework of ultrafilters.
Complexity of Ising Polynomials
Published in Combinatorics, Probability and Computing, Volume 21, Issue 5 (2012), pp. 743-772
• View Publication
• BIB
This paper deals with the partition function of the Ising model from statistical mechanics, which is used to study phase transitions in physical systems. A special case of interest is that of the Ising model with constant energies and external field. One may consider such an Ising system as a simple graph together with vertex and edge weights. When these weights are considered indeterminates, the partition function for the constant case is a trivariate polynomial Z(G;x,y,z). This polynomial was studied with respect to its approximability by L. A. Goldberg, M. Jerrum and M. Paterson in 2003. Z(G;x,y,z) generalizes a bivariate polynomial Z(G;t,y), which was studied by D. Andrén and K. Markström in 2009.
We consider the complexity of Z(G;t,y) and Z(G;x,y,z) in comparison to that of the Tutte polynomial, which is well-known to be closely related to the Potts model in the absence of an external field. We show that Z(G;\x,\y,\z) is #P-hard to evaluate at all points in $mathbb{Q}^3$, except those in an exception set of low dimension, even when restricted to simple graphs which are bipartite and planar. A counting version of the Exponential Time Hypothesis, #ETH, was introduced by H. Dell, T. Husfeldt and M. Wahlén in 2010 in order to study the complexity of the Tutte polynomial. In analogy to their results, we give a dichotomy theorem stating that evaluations of Z(G;t,y) either take exponential time in the number of vertices of $G$ to compute, or can be done in polynomial time. Finally, we give an algorithm for computing Z(G;x,y,z) in polynomial time on graphs of bounded clique-width, which is not known in the case of the Tutte polynomial.
Maximizing H-colorings of a regular graph
Published
• View Publication
• BIB
For graphs $G$ and $H$, a {\em homomorphism} from $G$ to $H$, or {\em $H$-coloring} of $G$, is an adjacency preserving map from the vertex set of $G$ to the vertex set of $H$. Writing ${\rm hom}(G,H)$ for the number of $H$-colorings admitted by $G$, we conjecture that for any simple finite graph $H$ (perhaps with loops) and any simple finite $n$-vertex, $d$-regular, loopless graph $G$ we have $$ {\rm hom}(G,H) \leq \max{{\rm hom}(K_{d,d},H)^{\frac{n}{2d}}, {\rm hom}(K_{d+1},H)^{\frac{n}{d+1}}} $$ where $K_{d,d}$ is the complete bipartite graph with $d$ vertices in each partition class, and $K_{d+1}$ is the complete graph on $d+1$ vertices.
Results of Zhao confirm this conjecture for some choices of $H$ for which the maximum is achieved by ${\rm hom}(K_{d,d},H)^{n/2d}$. Here we exhibit infinitely many non-trivial triples $(n,d,H)$ for which the conjecture is true and for which the maximum is achieved by ${\rm hom}(K_{d+1},H)^{n/(d+1)}$.
We also give sharp estimates for ${\rm hom}(K_{d,d},H)$ and ${\rm hom}(K_{d+1},H)$ in terms of some structural parameters of $H$. This allows us to characterize those $H$ for which ${\rm hom}(K_{d,d},H)^{1/2d}$ is eventually (for all sufficiently large $d$) larger than ${\rm hom}(K_{d+1},H)^{1/(d+1)}$ and those for which it is eventually smaller, and to show that this dichotomy covers all non-trivial $H$. Our estimates also allow us to obtain asymptotic evidence for the conjecture in the following form. For fixed $H$, for all $d$-regular $G$ we have $$ {\rm hom}(G,H)^{\frac{1}{|V(G)|}} \leq (1+o(1))\max{{\rm hom}(K_{d,d},H)^{\frac{1}{2d}}, {\rm hom}(K_{d+1},H)^{\frac{1}{d+1}}} $$ where $o(1)\rightarrow 0$ as $d \rightarrow \infty$. More precise results are obtained in some special cases.
Reversible Markov structures on divisible set partitions
Published in Journal of Applied Probability, 52(3), 2015
• View Publication
• BIB
We study $k$-divisible partition structures, which are families of random set partitions whose block sizes are divisible by an integer $k=1,2,\ldots$. In this setting, exchangeability corresponds to the usual invariance under relabeling by arbitrary permutations; however, for $k>1$, the ordinary deletion maps on partitions no longer preserve divisibility, and so a random deletion procedure is needed to obtain a partition structure. We describe explicit Chinese restaurant-type seating rules for generating families of exchangeable $k$-divisible partitions that are consistent under random deletion. We further introduce the notion of {\em Markovian partition structures}, which are ensembles of exchangeable Markov chains on $k$-divisible partitions that are consistent under a random process of {\em Markovian deletion}. The Markov chains we study are reversible and refine the class of Markov chains introduced in {\em J.\ Appl.\ Probab.}~{\bf48}(3):778--791.
Tropical Combinatorics and Whittaker functions
Published in Duke Math. J. 163, no. 3 (2014), 513-563
• View Publication
• BIB
We establish a fundamental connection between the geometric RSK correspondence and GL(N,R)-Whittaker functions, analogous to the well known relationship between the RSK correspondence and Schur functions. This gives rise to a natural family of measures associated with GL(N,R)-Whittaker functions which are the analogues in this setting of the Schur measures on integer partitions. The corresponding analogue of the Cauchy-Littlewood identity can be seen as a generalisation of an integral identity for GL(N,R)-Whittaker functions due to Bump and Stade. As an application, we obtain an explicit integral formula for the Laplace transform of the law of the partition function associated with a one-dimensional directed polymer model with log-gamma weights recently introduced by one of the authors (TS).
On partitions avoiding right crossings
Recently, Chen et al. derived the generating function for partitions avoiding right nestings and posed the problem of finding the generating function for partitions avoiding right crossings. In this paper, we derive the generating function for partitions avoiding right crossings via an intermediate structure of partial matchings avoiding 2-right crossings and right nestings. We show that there is a bijection between partial matchings avoiding 2-right crossing and right nestings and partitions avoiding right crossings.
Submatrices of character tables and basic sets
Published
• View Publication
• BIB
In this investigation of character tables of finite groups we study basic sets and associated representation theoretic data for complementary sets of conjugacy classes. For the symmetric groups we find unexpected properties of characters on restricted sets of conjugacy classes, like beautiful combinatorial determinant formulae for submatrices of the character table and Cartan matrices with respect to basic sets; we observe that similar phenomena occur for the transition matrices between power sum symmetric functions to bounded partitions and the $k$-Schur functions introduced by Lapointe and Morse. Arithmetic properties of the numbers occurring in this context are studied via generating functions.
Two-part set systems
Published
• View Publication
• BIB
The two part Sperner theorem of Katona and Kleitman states that if $X$ is an $n$-element set with partition $X_1 \cup X_2$, and $\cF$ is a family of subsets of $X$ such that no two sets $A, B \in \cF$ satisfy $A \subset B$ (or $B \subset A$) and $A \cap X_i=B \cap X_i$ for some $i$, then $|\cF| \le {n \choose \lfloor n/2 \rfloor}$. We consider variations of this problem by replacing the Sperner property with the intersection property and considering families that satisfiy various combinations of these properties on one or both parts $X_1$, $X_2$. Along the way, we prove the following new result which may be of independent interest: let $\cF, \cG$ be families of subsets of an $n$-element set such that $\cF$ and $\cG$ are both intersecting and cross-Sperner, meaning that if $A \in \cF$ and $B \in \cG$, then $A \not\subset B$ and $B \not\subset A$. Then $|\cF| +|\cG| < 2^{n-1}$ and there are exponentially many examples showing that this bound is tight.
Permutation patterns and statistics
Published
• View Publication
• BIB
Let S_n denote the symmetric group of all permutations of the set {1, 2, ...,n} and let S = \cup_{n\ge0} S_n. If Pi is a set of permutations, then we let Av_n(Pi) be the set of permutations in S_n which avoid every permutation of Pi in the sense of pattern avoidance. One of the celebrated notions in pattern theory is that of Wilf-equivalence, where Pi and Pi' are Wilf equivalent if #Av_n(Pi)=#Av_n(Pi') for all n\ge0. In a recent paper, Sagan and Savage proposed studying a q-analogue of this concept defined as follows. Suppose st:S->N is a permutation statistic where N represents the nonnegative integers. Consider the corresponding generating function, F_n^{st}(Pi;q) = sum_{sigma in Av_n(Pi)} q^{st sigma}, and call Pi,Pi' st-Wilf equivalent if F_n^{st}(Pi;q)=F_n^{st}(Pi';q) for all n\ge0. We present the first in-depth study of this concept for the inv and maj statistics. In particular, we determine all inv- and maj-Wilf equivalences for any Pi containd in S_3. This leads us to consider various q-analogues of the Catalan numbers, Fibonacci numbers, triangular numbers, and powers of two. Our proof techniques use lattice paths, integer partitions, and Foata's fundamental bijection. We also answer a question about Mahonian pairs raised in the Sagan-Savage article.
Pattern avoidance in ascent sequences
Published
• View Publication
• BIB
Ascent sequences are sequences of nonnegative integers with restrictions on the size of each letter, depending on the number of ascents preceding it in the sequence. Ascent sequences have recently been related to (2+2)-free posets and various other combinatorial structures. We study pattern avoidance in ascent sequences, giving several results for patterns of lengths up to 4, for Wilf equivalence and for growth rates. We establish bijective connections between pattern avoiding ascent sequences and various other combinatorial objects, in particular with set partitions. We also make a number of conjectures related to all of these aspects.
Jack superpolynomials with negative fractional parameter: clustering properties and super-Virasoro ideals
Published in Communications in Mathematical Physics, Volume 316 Number 2 (December 2012), pages 395-440
• View Publication
• BIB
The Jack polynomials P_λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible partitions are known to span an ideal I^{(k,r)}_N of the space of symmetric functions in N variables. The ideal I^{(k,r)}_N is invariant under the action of certain differential operators which include half the Virasoro algebra. Moreover, the Jack polynomials in I^{(k,r)}_N admit clusters of size at most k: they vanish when k+1 of their variables are identified, and they do not vanish when only k of them are identified. We generalize most of these properties to superspace using orthogonal eigenfunctions of the supersymmetric extension of the trigonometric Calogero-Moser-Sutherland model known as Jack superpolynomials. In particular, we show that the Jack superpolynomials P_Λ^{(α)} at α=-(k+1)/(r-1) indexed by certain (k,r,N)-admissible superpartitions span an ideal {\mathcal I}^{(k,r)}_N of the space of symmetric polynomials in N commuting variables and N anticommuting variables. We prove that the ideal {\mathcal I}^{(k,r)}_N is stable with respect to the action of the negative-half of the super-Virasoro algebra. In addition, we show that the Jack superpolynomials in {\mathcal I}^{(k,r)}_N vanish when k+1 of their commuting variables are equal, and conjecture that they do not vanish when only k of them are identified. This allows us to conclude that the standard Jack polynomials with prescribed symmetry should satisfy similar clustering properties. Finally, we conjecture that the elements of {\mathcal I}^{(k,2)}_N provide a basis for the subspace of symmetric superpolynomials in N variables that vanish when k+1 commuting variables are set equal to each other.
The Fibonacci partition triangles
Published
• View Publication
• BIB
In two previous papers we have presented partition formulae for the Fibonacci numbers motivated by the appearance of the Fibonacci numbers in the representation theory of the 3-Kronecker quiver and its universal cover, the 3-regular tree. Here we show that the basic information can be rearranged in two triangles. They are quite similar to the Pascal triangle of the binomial coefficients, but in contrast to the additivity rule for the Pascal triangle, we now deal with additivity along hooks, or, equivalently, with additive functions for valued translation quivers. As for the Pascal triangle, we see that the numbers in these Fibonacci partition triangles are given by evaluating polynomials. We show that the two triangles can be obtained from each other by looking at differences of numbers, it is sufficient to take differences along arrows and knight's moves.
A conjecture on independent sets and graph covers
In this article, I present a conjecture on the number of independent sets on graph covers. I also show that the conjecture implies that the partition function of a binary pairwise attractive model is greater than that of the Bethe approximation.
On Tensor Product Decomposition of $\hat{\mathfrak{sl}}(n)$ Modules
Published
• View Publication
• BIB
We decompose the $\hat{\mathfrak{sl}}(n)$-module $V(Λ_0) \otimes V(Λ_0)$ and give generating function identities for the outer multiplicities. In the process we discover some seemingly new partition identities in the cases $n=2,3$.
Asymptotics of generalized Galois numbers via affine Kac-Moody algebras
Published in Proceedings of the American Mathematical Society 141 (2013), no. 10, 3313-3326
• View Publication
• BIB
Generalized Galois numbers count the number of flags in vector spaces over finite fields. Asymptotically, as the dimension of the vector space becomes large, we give their exponential growth and determine their initial values. The initial values are expressed analytically in terms of theta functions and Euler's generating function for the partition numbers. Our asymptotic enumeration method is based on a Demazure module limit construction for integrable highest weight representations of affine Kac-Moody algebras. For the classical Galois numbers, that count the number of subspaces in vector spaces over finite fields, the theta functions are Jacobi theta functions. We apply our findings to the asymptotic number of q-ary codes, and conclude with some final remarks about possible future research concerning asymptotic enumerations via limit constructions for affine Kac-Moody algebras.
An improved error term for minimum H-decompositions of graphs
Published
• View Publication
• BIB
We consider partitions of the edge set of a graph G into copies of a fixed graph H and single edges. Let φ_H(n) denote the minimum number p such that any n-vertex G admits such a partition with at most p parts. We show that φ_H(n)=ex(n,K_r)+Θ(biex(n,H)) for χ(H)>2, where biex(n,H) is the extremal number of the decomposition family of H. Since biex(n,H)=O(n^{2-γ}) for some γ>0 this improves on the bound φ_H(n)=ex(n,H)+o(n^2) by Pikhurko and Sousa [J. Combin. Theory Ser. B 97 (2007), 1041-1055]. In addition it extends a result of Özkahya and Person [J. Combin. Theory Ser. B, to appear].
Diagonal Solutions to the 2-Toda Hierarchy
Published
• View Publication
• BIB
Using a combinatorial description of the Bernstein operator and its action on Schur functions, we describe the formal power series solutions to a family of partial differential equations known as the 2-Toda hierarchy. We also characterize diagonal solutions and use this to prove that a special family of formal power series, called content-type series, are solutions to the 2-Toda hierarchy. As examples, we prove that various generating series for permutation factorization problems (including the double Hurwitz problem), correlators for the Schur measure on partitions and the formal character expansion of the HCIZ integral are all solutions to the 2-Toda hierarchy.
An analogue of Gromov's waist theorem for coloring the cube
Published in Discrete and Computational Geometry 49:3 (2013), 444-453
• View Publication
• BIB
It is proved that if we partition a $d$-dimensional cube into $n^d$ small cubes and color the small cubes into $m+1$ colors then there exists a monochromatic connected component consisting of at least $f(d, m) n^{d-m}$ small cubes.
Counting dimer coverings on self-similar Schreier graphs
Published in European Journal of Combinatorics, 33, Issue 7 (2012), 1484-1513
• View Publication
• BIB
We study partition functions for the dimer model on families of finite graphs converging to infinite self-similar graphs and forming approximation sequences to certain well-known fractals. The graphs that we consider are provided by actions of finitely generated groups by automorphisms on rooted trees, and thus their edges are naturally labeled by the generators of the group. It is thus natural to consider weight functions on these graphs taking different values according to the labeling. We study in detail the well-known example of the Hanoi Towers group $H^{(3)}$, closely related to the Sierpiński gasket.
Half-turn symmetric FPLs with rare couplings and tilings of hexagons
Published in Theoretical Computer Science 502 (2013) 143-152
• View Publication
• BIB
In this work, we put to light a formula that relies the number of fully packed loop configurations (FPLs) associated to a given coupling pi to the number of half-turn symmetric FPLs (HTFPLs) of even size whose coupling is a punctured version of the coupling pi. When the coupling pi is the coupling with all arches parallel pi0 (the "rarest" one), this formula states the equality of the number of corresponding HTFPLs to the number of cyclically-symmetric plane partition of the same size. We provide a bijective proof of this fact. In the case of HTFPLs odd size, and although there is no similar expression, we study the number of HTFPLs whose coupling is a slit version of pi_0, and put to light new puzzling enumerative coincidence involving countings of tilings of hexagons and various symmetry classes of FPLs.