partition
6235 papers tagged with this keyword
Explicit Formulas for Partition Pairs and Triples with 3-Cores
Published
• View Publication
• BIB
Let $A_{3}(n)$ (resp. ${{B}_{3}}(n)$) denote the number of partition pairs (resp. triples) of $n$ where each partition is 3-core. By applying Ramanujan's ${}_{1}ψ_{1}$ formula and Bailey's ${}_{6}ψ_{6}$ formula, we find the explicit formulas for $A_{3}(n)$ and $B_{3}(n)$. Using these formulas, we confirm a conjecture of Xia and establish many arithmetic identities satisfied by $A_{3}(n)$ and $B_{3}(n)$.
Proof of a Conjecture on 6-colored Generalized Frobenius Partitions
Let $cφ_{k}(n)$ be the $k$-colored generalized Frobenius partition function. By employing the generating function of $cφ_{6}(3n+1)$ found by Hirschhorn, we prove that $cφ_{6}(27n+16)\equiv 0$ (mod 243). This confirms a conjecture of E.X.W. Xia. We also find a congruence relation $cφ_{6}(81n+61) \equiv 3 cφ_{6}(9n+7)$ (mod 243). Moreover, we show that $cφ_{6}(81n+61) \equiv 0$ (mod 81), $cφ_{6}(243n+142) \equiv 0$ (mod 243) and $cφ_{6}(729n+ 547) \equiv 0$ (mod 243). We further conjecture that for $n\ge 0$, $cφ_{6}(243n+142) \equiv 0$ (mod 729).
Some Problems Arising from Partition Poset Homology
Published
• View Publication
• BIB
We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.
Zero-free regions of partition functions with applications to algorithms and graph limits
Published
• View Publication
• BIB
Based on a technique of Barvinok and Barvinok and Soberón we identify a class of edge-coloring models whose partition functions do not evaluate to zero on bounded degree graphs. Subsequently we give a quasi-polynomial time approximation scheme for computing these partition functions. As another application we show that the normalised partition functions of these models are continuous with respect the Benjamini-Schramm topology on bounded degree graphs. We moreover give quasi-polynomial time approximation schemes for evaluating a large class of graph polynomials, including the Tutte polynomial, on bounded degree graphs.
Exponential formulas for models of complex reflection groups
Published
• View Publication
• BIB
In this paper we find some exponential formulas for the Betti numbers of the De Concini-Procesi minimal wonderful models Y_{G(r,p,n)} associated to the complex reflection groups G(r,p,n). Our formulas are different from the ones already known in the literature: they are obtained by a new combinatorial encoding of the elements of a basis of the cohomology by means of set partitions with weights and exponents.
We also point out that a similar combinatorial encoding can be used to describe the faces of the real spherical wonderful models of type A_{n-1}=G(1,1,n), B_n=G(2,1,n) and D_n=G(2,2,n). This provides exponential formulas for the f-vectors of the associated nestohedra: the Stasheff's associahedra (in this case closed formulas are well known) and the graph associahedra of type D_n.
On the greatest and least elements in the set of semistandard tableaux of given shape and weight
We give three algorithms to construct a semistandard tableau of given shape and weight, where the weight is a composition which is not necessarily a partition. With respect to a natural partial order on the set of semistandard tableaux, we show that the set of semistandard tableaux of given shape and weight has a unique greatest element and a unique least element. Two of our algorithms give each of these elements.
Signed lozenge tilings
Published
• View Publication
• BIB
It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations.
More bounds for the Grundy number of graphs
Published
• View Publication
• BIB
A coloring of a graph $G=(V,E)$ is a partition $\{V_1, V_2, \ldots, V_k\}$ of $V$ into independent sets or color classes. A vertex $v\in V_i$ is a Grundy vertex if it is adjacent to at least one vertex in each color class $V_j$ for every $j<i$. A coloring is a Grundy coloring if every vertex is a Grundy vertex, and the Grundy number $Γ(G)$ of a graph $G$ is the maximum number of colors in a Grundy coloring. We provide two new upper bounds on Grundy number of a graph and a stronger version of the well-known Nordhaus-Gaddum theorem. In addition, we give a new characterization for a $\{P_{4}, C_4\}$-free graph by supporting a conjecture of Zaker, which says that $Γ(G)\geq δ(G)+1$ for any $C_4$-free graph $G$.
Combinatorics of exceptional sequences in type A
Published
• View Publication
• BIB
Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.
Weak regularity and finitely forcible graph limits
Published
• View Publication
• BIB
Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bounded by a polynomial in $\varepsilon^{-1}$. We construct a finitely forcible graphon $W$ such that the number of parts in any weak $\varepsilon$-regular partition of $W$ is at least exponential in $\varepsilon^{-2}/2^{5\log^*\varepsilon^{-2}}$. This bound almost matches the known upper bound for graphs and, in a certain sense, is the best possible for graphons.
Color-blind index in graphs of very low degree
Published in Discrete Applied Mathematics, Volume 225, 10 July 2017, Pages 122-129
• View Publication
• BIB
Let $c:E(G)\to [k]$ be an edge-coloring of a graph $G$, not necessarily proper. For each vertex $v$, let $\bar{c}(v)=(a_1,\ldots,a_k)$, where $a_i$ is the number of edges incident to $v$ with color $i$. Reorder $\bar{c}(v)$ for every $v$ in $G$ in nonincreasing order to obtain $c^*(v)$, the color-blind partition of $v$. When $c^*$ induces a proper vertex coloring, that is, $c^*(u)\neq c^*(v)$ for every edge $uv$ in $G$, we say that $c$ is color-blind distinguishing. The minimum $k$ for which there exists a color-blind distinguishing edge coloring $c:E(G)\to [k]$ is the color-blind index of $G$, denoted $\operatorname{dal}(G)$. We demonstrate that determining the color-blind index is more subtle than previously thought. In particular, determining if $\operatorname{dal}(G) \leq 2$ is NP-complete. We also connect the color-blind index of a regular bipartite graph to 2-colorable regular hypergraphs and characterize when $\operatorname{dal}(G)$ is finite for a class of 3-regular graphs.
Critical surface of the 1-2 model
Published
• View Publication
• BIB
The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either $1$ or $2$. There are three types of edge, and three corresponding parameters $a$, $b$, $c$. It is proved that, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical. The proof hinges upon a representation of the partition function in terms of that of a certain dimer model. This dimer model may be studied via the Pfaffian representation of Fisher, Kasteleyn, and Temperley. It is proved, in addition, that the two-edge correlation function converges exponentially fast with distance when $\sqrt a \ne \sqrt b + \sqrt c$. Many of the results may be extended to periodic models.
Upper Bounds for Stern's Diatomic Sequence and Related Sequences
Published
• View Publication
• BIB
Let $(s_2(n))_{n=0}^\infty$ denote Stern's diatomic sequence. For $n\geq 2$, we may view $s_2(n)$ as the number of partitions of $n-1$ into powers of $2$ with each part occurring at most twice. More generally, for integers $b,n\geq 2$, let $s_b(n)$ denote the number of partitions of $n-1$ into powers of $b$ with each part occurring at most $b$ times. Using this combinatorial interpretation of the sequences $s_b(n)$, we use the transfer-matrix method to develop a means of calculating $s_b(n)$ for certain values of $n$. This then allows us to derive upper bounds for $s_b(n)$ for certain values of $n$. In the special case $b=2$, our bounds improve upon the current upper bounds for the Stern sequence. In addition, we are able to prove that $\displaystyle{\limsup_{n\rightarrow\infty}\frac{s_b(n)}{n^{\log_bφ}}=\frac{(b^2-1)^{\log_bφ}}{\sqrt 5}}$.
Kostka multiplicity one for multipartitions
If $[λ(j)]$ is a multipartition of the positive integer $n$ (a sequence of partitions with total size $n$), and $μ$ is a partition of $n$, we study the number $K_{[λ(j)]μ}$ of sequences of semistandard Young tableaux of shape $[λ(j)]$ and total weight $μ$. We show that the numbers $K_{[λ(j)] μ}$ occur naturally as the multiplicities in certain permutation representations of wreath products. The main result is a set of conditions on $[λ(j)]$ and $μ$ which are equivalent to $K_{[λ(j)] μ} = 1$, generalizing a theorem of Berenshteĭn and Zelevinskiĭ. We also show that the questions of whether $K_{[λ(j)] μ} > 0$ or $K_{[λ(j)] μ} = 1$ can be answered in polynomial time, expanding on a result of Narayanan. Finally, we give an application to multiplicities in the degenerate Gel'fand-Graev representations of the finite general linear group, and we show that the problem of determining whether a given irreducible representation of the finite general linear group appears with nonzero multiplicity in a given degenerate Gel'fand-Graev representation, with their partition parameters as input, is $NP$-complete.
Solution of the string equations for asymmetric potentials
Published
• View Publication
• BIB
We consider the large $N$ expansion of the partition function for the Hermitian one-matrix model. It is well known that the coefficients of this expansion are generating functions $F^{(g)}$ for a certain kind of graph embedded in a Riemann surface. Other authors have made a simplifying assumption that the potential $V$ is an even function. We present a method for computing $F^{(g)}$ in the case that $V$ is not an even function. Our method is based on the string equations, and yields "valence independent" formulas which do not depend explicitly on the potential. We introduce a family of differential operators, the "string polynomials", which make clear the valence independent nature of the string equations.
A combinatorial proof of a relationship between maximal $(2k-1,2k+1)$ and $(2k-1,2k,2k+1)$-cores
Published in Electronic Journal of Combinatorics 23, no. 1 (2016), Article P1.13
• View Publication
• BIB
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.
The computational complexity of calculating partition functions of optimal medians with Hamming distance
In this paper, we show that calculating the partition function of optimal medians of binary strings with Hamming distance is \#P-complete for several weight functions. The case when the weight function is the factorial function has application in bioinformatics. In that case, the partition function counts the most parsimonious evolutionary scenarios on a star tree under several models in bioinformatics. The results are extended to binary trees and we show that it is also \#P-complete to calculate the most parsimonious evolutionary scenarios on an arbitrary binary tree under the substitution model of biological sequences and under the Single Cut-or-Join model for genome rearrangements.
Power Partitions
Published
• View Publication
• BIB
In 1918, Hardy and Ramanujan published a seminal paper which included an asymptotic formula for the partition function. In their paper, they also claim without proof an asymptotic equivalence for $p^k(n)$, the number of partitions of a number $n$ into $k$-th powers. In this paper, we provide an asymptotic formula for $p^k(n)$, using the Hardy-Littlewood Circle Method. We also provide a formula for the difference function $p^k(n+1)-p^k(n)$. As a necessary step in the proof, we obtain a non-trivial bound on exponential sums of the form $\sum_{m=1}^q e(\frac{am^k}{q})$.
Quotient-polynomial graphs
Published
• View Publication
• BIB
As a generalization of orbit-polynomial and distance-regular graphs, we introduce the concept of a quotient-polynomial graph. In these graphs every vertex $u$ induces the same regular partition around $u$, where all vertices of each cell are equidistant from $u$. Some properties and characterizations of such graphs are studied. For instance, all quotient-polynomial graphs are walk-regular and distance-polynomial. Also, we show that every quotient-polynomial graph generates a (symmetric) association scheme.
On the Poset of Multichains
In this note we introduce the poset of $m$-multichains of a given poset $\mathcal{P}$. Its elements are the multichains of $\mathcal{P}$ consisting of $m$ elements, and its partial order is the componentwise partial order of $\mathcal{P}$. We show that this construction preserves a number of poset-theoretic and poset-topological properties of $\mathcal{P}$. Moreover, we describe the structure of the poset of $m$-multichains of a finite distributive lattice, and provide a link to R.~Stanley's theory of $\mathcal{P}$-partitions.