partition
6235 papers tagged with this keyword
Dismantlability, connectedness, and mixing in relational structures
The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a crucial role in many of those applications. For instance, in the decision CSPs, structural properties of the relational structures involved---like, for example, dismantlability---and their logical characterizations have been instrumental for determining the complexity and other properties of the problem. Topological properties of the solution set such as connectedness are related to the hardness of CSPs over random structures. Additionally, in approximate counting and statistical physics, where CSPs emerge in the form of spin systems, mixing properties and the uniqueness of Gibbs measures have been heavily exploited for approximating partition functions and free energy.
In spite of the great diversity of those features, there are some eerie similarities between them. These were observed and made more precise in the case of graph homomorphisms by Brightwell and Winkler, who showed that dismantlability of the target graph, connectedness of the set of homomorphisms, and good mixing properties of the corresponding spin system are all equivalent. In this paper we go a step further and demonstrate similar connections for arbitrary CSPs. This requires much deeper understanding of dismantling and the structure of the solution space in the case of relational structures, and new refined concepts of mixing introduced by Briceño. In addition, we develop properties related to the study of valid extensions of a given partially defined homomorphism, an approach that turns out to be novel even in the graph case. We also add to the mix the combinatorial property of finite duality and its logic counterpart, FO-definability, studied by Larose, Loten, and Tardif.
A Basic Structure for Grids in Surfaces
A graph $G$ embedded in a surface $S$ is called an $S$-grid when every facial boundary walk has length four, that is, the topological dual graph of $G$ in $S$ is 4-regular. Aside from the case where $S$ is the torus or Klein bottle, an $S$-grid must have vertices of degrees other than four. Let the sequence of degrees other than four in $G$ be called the curvature sequence of $G$. We give a succinct characterization of $S$-grids with nonempty curvature sequence $L$ in terms of graphs that have degree sequence $L$ and are immersed in a certain way in $S$; furthermore, the immersion associated with the $S$-grid $G$ is unique and so our characterization of $S$-grids also partitions the collection of all $S$-grids.
Categories of Two-Colored Pair Partitions, Part II: Categories Indexed by Semigroups
Within the framework of unitary easy quantum groups, we study an analogue of Brauer's Schur-Weyl approach to the representation theory of the orthogonal group. We consider concrete combinatorial categories whose morphisms are formed by partitions of finite sets into disjoint subsets of cardinality two; the points of these sets are colored black or white. These categories correspond to "half-liberated easy" interpolations between the unitary group and Wang's quantum counterpart. We complete the classification of all such categories demonstrating that the subcategories of a certain natural halfway point are equivalent to additive subsemigroups of the natural numbers; the categories above this halfway point have been classified in a preceding article. We achieve this using combinatorial means exclusively. Our work reveals that the half-liberation procedure is quite different from what was previously known from the orthogonal case.
$d$-Galvin families
The Galvin problem asks for the minimum size of a family $\mathcal{F} \subseteq \binom{[n]}{n/2}$ with the property that, for any set $A$ of size $\frac n 2$, there is a set $S \in \mathcal{F}$ which is balanced on $A$, meaning that $|S \cap A| = |S \cap \overline{A}|$. We consider a generalization of this question that comes from a possible approach in complexity theory. In the generalization the required property is, for any $A$, to be able to find $d$ sets from a family $\mathcal{F} \subseteq \binom{[n]}{n/d}$ that form a partition of $[n]$ and such that each part is balanced on $A$. We construct such families of size polynomial in the parameters $n$ and $d$.
Number Identities and Integer Partitions
Using a specific form of the triple product identity, polygonal number identities are stated. Further number identities are examined that can be considered identities related to modular sets of numbers. The identities can be used to give results on integer partitions with parts from numbers in modular arithmetic progression. This includes recursive formulas for the number of partitions using these modular parts. The triple product identity can derive further recursive formulas. Additionally, there is a recursive formula for the related sum of divisors function. The specific triple product identity provides a framework to examine all the identities and can be used to define related theta functions.
Antichain Simplices
To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of $λ$ is relatively prime to $n-1$. We use these characterizations to experimentally study $Δ_λ$ for all partitions of $n$ with $n\leq 73$. We also investigate the structure of these posets when $λ$ has only one or two distinct parts. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated to $Δ$, and we prove that this series is rational when $Δ$ is antichain.
On the Universality and Extremality of graphs with a distance constrained colouring
A lambda colouring (or $L(2,1)-$colouring) of a graph is an assignment of non-negative integers (with minimum assignment $0$) to its vertices such that the adjacent vertices must receive integers at least two apart and vertices at distance two must receive distinct integers. The lambda chromatic number (or the $λ$ number) of a graph $G$ is the least positive integer among all the maximum assigned positive integer over all possible lambda colouring of the graph $G$. Here we have primarily shown that every graph with lambda chromatic number $t$ can be embedded in a graph, with lambda chromatic number $t$, which admits a partition of the vertex set into colour classes of equal size. It is further proved that if an $n-$vertex graph with lambda chromatic number $t\geq5$, where $n\geq t+1$, contains maximum number of edges, then the vertex set of such graph admits an equitable partition. For such an admitted equitable partition there are either $0$ or $\min\{|A|,|B|\}$ number of edges between each pair $(A,B)$ of subsets (i.e. roughly, such partition is a "sparse like" equitable partition). Here we establish a classification result, identifying all possible $n-$vertex graphs with lambda chromatic number $t\geq3$, where $n\geq t+1$, which contain maximum number of edges. Such classification provides a solution of a problem posed more than two decades ago by John P. Georges and David W. Mauro.
Colored partitions and the hooklength formula: partition statistic identities
We give relations between the joint distributions of multiple hook lengths and of frequencies and part sizes in partitions, extending prior work in this area. These results are discovered by investigating truncations of the Han/Nekrasov-Okounkov hooklength formula and of (k,j)-colored partitions, a unification of k-colored partitions and overpartitions. We establish the observed relations at the constant and linear terms for all n, and for j=2 in their quadratic term, with the associated hook/frequency identities. Further results of this type seem likely.
Compositions with restricted parts
Euler showed that the number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts. This theorem was generalized by Glaisher and further by Franklin. Recently, Beck made three conjectures on partitions with restricted parts, which were confirmed analytically by Andrews and Chern and combinatorially by Yang.
Analogous to Euler's partition theorem, it is known that the number of compositions of $n$ with odd parts equals the number of compositions of $n+1$ with parts greater than one, as both numbers equal the Fibonacci number $F_n$. Recently, Sills provided a bijective proof for this result using binary sequences, and Munagi proved a generalization similar to Glaisher's result using the zigzag graphs of compositions. Extending Sills' bijection, we obtain a further generalizaiton which is analogous to Franklin's result. We establish, both analytically and combinatorially, two closed formulas for the number of compositions with restricted parts appearing in our generalization. We also prove some composition analogues for the conjectures of Beck.
Andrews-Gordon Type Series for Schur's Partition Identity
We construct an evidently positive multiple series as a generating function for partitions satisfying the multiplicity condition in Schur's partition theorem.
Refinements of the series when parts in the said partitions are classified according to their parities or values mod 3 are also considered.
Direct combinatorial interpretations of the series are provided.
Equivalence of OEIS A007729 and A174868
We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.
Convex caterpillars are Schur-Positive
A remarkable result of Stanley shows that the set of maximal chains in the non-crossing partition lattice of type $A$ is Schur-positive, where descents are defined by a distinguished edge labeling. A bijection between these chains and labeled trees was presented by Goulden and Yong. Using Adin-Roichman's variant of Björner's $EL$-labeling, we show that the subset of maximal chains in the non-crossing partition lattice of type $A$, whose underlying tree is a convex caterpillar, is Schur-positive.
Upper-triangular linear relations on multiplicities and the Stanley-Stembridge conjecture
In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case.
Complexity of Partitioning Hypergraphs
For a given $π=(π_0, π_1,..., π_k) \in \{0, 1, *\}^{k+1}$, we want to determine whether an input $k$-uniform hypergraph $G=(V, E)$ has a partition $(V_1, V_2)$ of the vertex set so that for all $X \subseteq V$ of size $k$, $X \in E$ if $π_{|X\cap V_1|}=1$ and $X \notin E$ if $π_{|X\cap V_1|}=0$. We prove that this problem is either polynomial-time solvable or NP-complete depending on $π$ when $k=3$ or $4$. We also extend this result into $k$-uniform hypergraphs for $k \geq 5$.
Character polynomials for two rows and hook partitions
Representation theory of the symmetric group $\mathfrak{S}_n$ has a very distinctive combinatorial flavor. The conjugacy classes as well as the irreducible characters are indexed by integer partitions $λ\vdash n$. We introduce class functions on $\mathfrak{S}_n$ that count the number of certain tilings of Young diagrams. The counting interpretation gives a uniform expression of these class functions in the ring of character polynomials, as defined by \cite{murnaghanfirst}. A modern treatment of character polynomials is given in \cite{orellana-zabrocki}. We prove a relation between these combinatorial class functions in the (virtual) character ring. From this relation, we were able to prove Goupil's generating function identity \cite{goupil}, which can then be used to derive Rosas' formula \cite{rosas} for Kronecker coefficients of hook shape partitions and two row partitions.
Minuscule reverse plane partitions via quiver representations
A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.
On Partitions of Two-Dimensional Discrete Boxes
Let $A$ and $B$ be finite sets and consider a partition of the \emph{discrete box} $A \times B$ into \emph{sub-boxes} of the form $A' \times B'$ where $A' \subset A$ and $B' \subset B$. We say that such a partition has the $(k,\ell)$-piercing property for positive integers $k$ and $\ell$ if every \emph{line} of the form $\{a\} \times B$ intersects at least $k$ sub-boxes and every line of the form $A \times \{b\}$ intersects at least $\ell$ sub-boxes. We show that a partition of $A \times B$ that has the $(k, \ell)$-piercing property must consist of at least $(k-1)+(\ell-1)+\left\lceil 2\sqrt{(k-1)(\ell-1)} \right\rceil$ sub-boxes. This bound is nearly sharp (up to one additive unit) for every $k$ and $\ell$. As a corollary we get that the same bound holds for the minimum number of vertices of a graph whose edges can be colored red and blue such that every vertex is part of red $k$-clique and a blue $\ell$-clique.
Characterization of general position sets and its applications to cographs and bipartite graphs
A vertex subset $S$ of a graph $G$ is a general position set of $G$ if no vertex of $S$ lies on a geodesic between two other vertices of $S$. The cardinality of a largest general position set of $G$ is the general position number ${\rm gp}(G)$ of $G$. It is proved that $S\subseteq V(G)$ is in general position if and only if the components of $G[S]$ are complete subgraphs, the vertices of which form an in-transitive, distance-constant partition of $S$. If ${\rm diam}(G) = 2$, then ${\rm gp}(G)$ is the maximum of $ω(G)$ and the maximum order of an induced complete multipartite subgraph of the complement of $G$. As a consequence, ${\rm gp}(G)$ of a cograph $G$ can be determined in polynomial time. If $G$ is bipartite, then ${\rm gp}(G) \leq α(G)$ with equality if ${\rm diam}(G) \in \{2,3\}$. A formula for the general position number of the complement of an arbitrary bipartite graph is deduced and simplified for the complements of trees, of grids, and of hypercubes.
Relationship Between Mullineux Involution and the Generalized Regularization
Published in European Journal of Combinatorics, Volume 85, March 2020, 103059
• View Publication
• BIB
The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization and prove a condition under which the two maps are exactly the same. Our results generalize the work of Bessenrodt, Olsson and Xu, and the combinatorial constructions is related to the Iwahori-Hecke algebra and the global crystal basis of the basic $U_q(\widehat{\mathfrak{sl}}_b)$-module. In the conclusion, we provide several conjectures regarding the $q$-decomposition numbers and generalizations of results due to Fayers.
On zero-free regions for the anti-ferromagnetic Potts model on bounded-degree graphs
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 8 (2021), no. 3, pp. 459--489
• View Publication
• BIB
For a graph $G=(V,E)$, $k\in \mathbb{N}$, and a complex number $w$ the partition function of the univariate Potts model is defined as \[ {\bf Z}(G;k,w):=\sum_{φ:V\to [k]}\prod_{\substack{uv\in E \\ φ(u)=φ(v)}}w, \] where $[k]:=\{1,\ldots,k\}$. In this paper we give zero-free regions for the partition function of the anti-ferromagnetic Potts model on bounded degree graphs. In particular we show that for any $Δ\in \mathbb{N}$ and any $k\geq eΔ+1$, there exists an open set $U$ in the complex plane that contains the interval $[0,1)$ such that ${\bf Z}(G;k,w)\neq 0$ for any $w\in U$ and any graph $G$ of maximum degree at most $Δ$. (Here $e$ denotes the base of the natural logarithm.) For small values of $Δ$ we are able to give better results.
As an application of our results we obtain improved bounds on $k$ for the existence of deterministic approximation algorithms for counting the number of proper $k$-colourings of graphs of small maximum degree.