partition
6235 papers tagged with this keyword
A Note About Majority Colorings of Countable DAGs
A majority coloring of an undirected graph is a vertex coloring in which for each vertex there are at least as many bi-chromatic edges containing that vertex as monochromatic ones. It is known that for every countable graph a majority 3-coloring always exists. The Unfriendly Partition Conjecture states that every countable graph admits a majority 2-coloring. Since the 3-coloring result extends to countable DAGs, a variant of the conjecture states that 2 colors are enough to majority color every countable DAG. We show that this is false by presenting a DAG for which 3 colors are necessary. Presented construction is strongly based on a StackExchange conversation regarding labellings of infinite graphs that is linked in the references.
Asymptotics for $t$-Core Partitions and Stanton's Conjecture
A partition is a $t$-core partition if $t$ is not one of its hook lengths. Let $c_t(N)$ be the number of $t$-core partitions of $N$. In 1999, Stanton conjectured $c_t(N) \le c_{t+1}(N)$ if $4 \le t \ne N-1$. This was proved for $t$ fixed and $N$ sufficiently large by Anderson, and for small values of $t$ by Kim and Rouse. In this paper, we prove Stanton's conjecture in general. Our approach is to find a saddle point asymptotic formula for $c_t(N)$, valid in all ranges of $t$ and $N$. This includes the known asymptotic formulas for $c_t(N)$ as special cases, and shows that the behavior of $c_t(N)$ depends on how $t^2$ compares in size to $N$. For example, our formula implies that if $t^2 = κN + o(t)$, then $c_t(N) = \frac{\exp\left(2π\sqrt{A N}\right)}{B N} (1 + o(1))$ for suitable constants $A$ and $B$ defined in terms of $κ$.
On $\ell$-regular partitions and Hickerson's identity
Based on two involutions and a bijection, we completely determine the difference between the number of $\ell$-regular partitions of $n$ into an even number of parts and into an odd number of parts for all positive integers $n$ and $\ell>1$, which extends two recent results due to Ballantine and Merca. As an application, we provide a combinatorial proof of Hickerson's identity on the number of partitions into an even and odd number of parts.
Realizations with five subsquares
Published
• View Publication
• BIB
Given an integer partition $(h_1,h_2,\dots,h_k)$ of $n$, is it possible to find an order $n$ latin square with $k$ disjoint subsquares of orders $h_1,\dots,h_k$? This question was posed by L.Fuchs and is only partially solved. Existence has been determined in general when $k\leq 4$, and in this paper we will complete the case when $k=5$. We also prove some less general results for partitions with $k=5$.
The antipode of of a Com-PreLie Hopf algebra
We study the compatibility between the antipode and the preLie product of a Com-PreLie Hopf algebra, that is to say a commutative Hopf algebra with a complementary preLie product, compatible with the product and the coproduct in a certain sense. An example of such a Hopf algebra is the Connes-Kreimer Hopf algebra, with the preLie product given by graftingof forests, extending the free preLie product of grafting of rooted trees. This compatibility is then used to study the antipode of the Connes-Moscovici subalgebra, whichcan be defined with the help of this preLie product. The antipode of the generators of this subalgebra gives a family of combinatorial coefficients indexed by partitions,which can be computed with the help of iterated harmonic sums.
Quasisymmetric expansion of Hall-Littlewood symmetric functions
Published in Séminaire Lotharingien de Combinatoire 91B (2024) (Proceedings of the 36th FPSAC) Article #86, 12 pp
• Search Publication
In our previous works we introduced a $q$-deformation of the generating functions for enriched $P$-partitions. We call the evaluation of this generating functions on labelled chains, the $q$-fundamental quasisymmetric functions. These functions interpolate between Gessel's fundamental ($q=0$) and Stembridge's peak ($q=1$) functions, the natural quasisymmetric expansions of Schur and Schur's $Q$-symmetric functions. In this paper, we show that our $q$-fundamental functions provide a quasisymmetric expansion of Hall-Littlewood $S$-symmetric functions with parameter $t=-q$.
Combinatorial proofs of inequalities involving the number of partitions with parts separated by parity
We consider the number of various partitions of $n$ with parts separated by parity and prove combinatorially several inequalities between these numbers. For example, we show that for $n\geq 5$ we have $p_{od}^{eu}(n)<p_{ed}^{ou}(n)$, where $p_{od}^{eu}(n)$ is the number of partitions of $n$ with odd parts distinct and even parts unrestricted and all odd parts less than all even parts and $p_{ed}^{ou}(n)$ is the number of partitions of $n$ with even parts distinct and odd parts unrestricted and all even parts less than all odd parts. We also prove a conjectural inequality of Fu and Tang involving partitions with parts separated by parity with restrictions on the multiplicity of parts.
A bijection related to Bressoud's conjecture
Bressoud introduced the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$, which counts the number of partitions with certain difference conditions. Bressoud posed a conjecture on the generating function for the partition function $B(α_1,\ldots,α_λ;η,k,r;n)$ in multi-summation form. In this article, we introduce a bijection related to Bressoud's conjecture. As an application, we give a new companion to the Göllnitz-Gordon identities.
A weighted Murnaghan-Nakayama rule for $(P, w)$-partitions
Published in European Journal of Combinatorics, Volume 134, April 2026, 104332
• View Publication
• BIB
The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions.
We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.
Regular bipartite multigraphs have many (but not too many) symmetries
Let $k$ and $l$ be integers, both at least 2. A $(k,l)$-bipartite graph is an $l$-regular bipartite multigraph with coloured bipartite sets of size $k$. Define $χ(k,l)$ and $μ(k,l)$ to be the minimum and maximum order of automorphism groups of $(k,l)$-bipartite graphs, respectively. We determine $χ(k,l)$ and $μ(k,l)$ for $k\geq 8$, and analyse the generic situation when $k$ is fixed and $l$ is large. In particular, we show that almost all such graphs have automorphism groups which fix the vertices pointwise and have order far less than $μ(k,l)$. These graphs are intimately connected with both contingency tables with uniform margins and uniform set partitions; we examine the uniform distribution on the set of $k\times k$ contingency tables with uniform margin $l$, showing that with high probability all entries stray far from the mean. We also show that the symmetric group acting on uniform set partitions is non-synchronizing.
Fock's dimer model on the Aztec diamond
We consider the dimer model on the Aztec diamond with Fock's weights, which is gauge equivalent to the model with any choice of positive weight function. We prove an explicit, compact formula for the inverse Kasteleyn matrix, thus extending numerous results in the case of periodic graphs. We also show an explicit product formula for the partition function; as a specific instance of the genus 0 case, we recover Stanley's formula. We then use our explicit formula for the inverse Kasteleyn matrix to recover, in a simple way, limit shape results; we also obtain new ones. In doing so, we extend the correspondence between the limit shape and the amoeba of the corresponding spectral curve of arXiv:2306.07482 to the case of non-generic weights.
A combinatorial interpretation of the Bernstein degree of unitary highest weight modules
Consider the $(\mathfrak{g}, K)$-modules $L_λ$ for unitary highest weight representations of the real reductive group $G_{\mathbb{R}} = \operatorname{U}(p,q)$, $\operatorname{Mp}(2n, \mathbb{R})$, or $\operatorname{O}^*(2n)$, where $\operatorname{Mp}(2n,\mathbb{R})$ denotes the metaplectic double cover of $\operatorname{Sp}(2n,\mathbb{R})$. Let $k$ be a positive integer. Corresponding to $G_{\mathbb{R}}$ via Howe duality is the compact group $\operatorname{U}(k)$, $\operatorname{O}(k)$, or $\operatorname{Sp}(k)$, respectively, for which every irreducible representation $σ$ corresponds to a unique $L_λ = L_{λ(σ)}$. Nishiyama-Ochiai-Taniguchi (2001) expressed the Bernstein degree $\operatorname{Deg} L_{λ(σ)}$ as the product of $\dim σ$ and the degree of the associated variety of $L_{λ(σ)}$; this result is valid when $k \leq r :=$ the real rank of $G_{\mathbb{R}}$. In this paper, for arbitrary $k$, we give a new combinatorial interpretation $\operatorname{Deg} L_{λ(σ)} = \#(\mathcal{Q}_k(σ) \times \mathcal{P}_k)$, where $\mathcal{Q}_k(σ)$ is a certain set of semistandard tableaux, whose cardinality (for $k \geq r$) interpolates between $\dim σ$ and the dimension of the simple $K$-module with highest weight $λ(σ)$. The set $\mathcal{P}_k$ consists of certain plane partitions that encode the Hilbert series of the associated variety. We exhibit analogous sets $\mathcal{P}_k$ of plane partitions for all real reductive groups of Hermitian type, including the exceptional groups.
$S$-packing colorings of distance graphs with distance sets of cardinality $2$
For a non-decreasing sequence $S=(s_1,s_2,\ldots)$ of positive integers, a partition of the vertex set of a graph $G$ into subsets $X_1,\ldots, X_\ell$, such that vertices in $X_i$ are pairwise at distance greater than $s_i$ for every $i\in\{1,\ldots,\ell\}$, is called an $S$-packing $\ell$-coloring of $G$. The minimum $\ell$ for which $G$ admits an $S$-packing $\ell$-coloring is called the $S$-packing chromatic number of $G$, denoted by $χ_S(G)$. In this paper, we consider $S$-packing colorings of distance graphs $G(\mathbb{Z},\{k,t\})$, where $k$ and $t$ are positive integers, which are the graphs whose vertex set is $\mathbb{Z}$, and two vertices $x,y\in \mathbb{Z}$ are adjacent whenever $|x-y|\in\{k,t\}$. We complement partial results from two earlier papers, thus determining all values of $χ_S(G(\mathbb{Z},\{k,t\}))$ when $S$ is any sequence with $s_i\le 2$ for all $i$. In particular, if $S=(1,1,2,2,\ldots)$, then the $S$-packing chromatic number is $2$ if $k+t$ is even, and $4$ otherwise, while if $S=(1,2,2,\ldots)$, then the $S$-packing chromatic number is $5$, unless $\{k,t\}=\{2,3\}$ when it is $6$; when $S=(2,2,2,\ldots)$, the corresponding formula is more complex.
Quasimetric spaces with few lines
Chen and Chvátal conjectured in 2008 that in any finite metric space either there is a line containing all the points - a universal line -, or the number of lines is at least the number of points. This is a generalization of a classical result due to Erdős that says that a set of $n$ non-collinear points in the Euclidean plane defines at least $n$ different lines.
A line of a metric space with metric $ρ$ is defined in terms of a notion called the betweenness of the space which is the set of all triples $(x,z,y)$ such that $ρ(x,y)=ρ(x,z)+ρ(z,y)$.
In this work we prove that for each $n\geq 4$ there are $p_3(n)$ non isomorphic betweennesses arising from \emph{quasimetric} spaces with $n$ points, without universal lines and with exactly 3 lines, where $p_3(n)$ is the number of partitions of an integer $n$ into three parts. We also prove that for $n\geq 5$, there are $2p_3(n-1)$ non isomorphic betweennesses arising from quasimetric spaces on $n$ points, without universal lines and with exactly 4 lines. Here two betweennesses are isomorphic if they are isomorphic as relational structures.
None of the betweennesses mentioned above is metric which implies that Chen and Chvátal's conjecture is valid for metric spaces with at most five points.
Some new Bollobás-type inequalities
A family of disjoint pairs of finite sets $\mathcal{P}=\{(A_i,B_i)\mid i\in[m]\}$ is called a Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i\neq j$, and a skew Bollobás system if $A_i\cap B_j\neq\emptyset$ for every $i<j$. Bollobás proved that for a Bollobás system, the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1 \end{equation*} holds. Hegedüs and Frankl generalized this theorem to skew Bollobás systems with the inequality \begin{equation*} \sum_{i=1}^m\binom{|A_i|+|B_i|}{|A_i|}^{-1}\leq 1+n, \end{equation*} provided $A_i,B_i\subseteq [n]$. In this paper, we improve this inequality to \begin{equation*} \sum_{i=1}^m \left((1+|A_i|+|B_i|) \binom{|A_i|+|B_i|}{|A_i|}\right)^{-1} \leq 1 \end{equation*} with probabilistic method. We also generalize this result to partitions of sets on both symmetric and skew cases.
Partitioning the set of natural numbers into Mersenne trees and into arithmetic progressions; Natural Matrix and Linnik's constant
We partition a series of natural numbers into infinite number sequences. We consider two partitioning options: (a) a forest of unary trees with recurrence formula of Mersenne numbers, and (b) a set of arithmetic progressions with difference $2^k$. Every tree starts with an even number, and any even number starts a certain tree. In the partitioning into arithmetic progressions, each progression starts with a Mersenne number, and each Mersenne number is the beginning of a particular arithmetic progression. Unary trees starting from some term are contained in OEIS A036991 (compact Dyck path codes), so we consider A036991 as a backbone of the partitions. In particular, we prove the existence of an arithmetic progression of any length in A036991. As a result of the partitions, we obtain a Natural Matrix with a packing function that captures the bijection between the set of natural numbers and the set of ordered pairs of natural numbers. In Natural Matrix, the even natural numbers are located on the $x$-axis, so the selection of primes in the considered arithmetic progressions is greatly simplified. A method for proving the infinity of primes in A036991 is proposed. In this regard, an attempt is made to reduce the Linnik's constant to $2$.
Clonal cores and flexipaths in matroids
A partitioned matroid $(M, \{X_1,X_2,\dots,X_n\})$ consists of a matroid $M$ and a partition $\{X_1,X_2,\dots,X_n\}$ of its ground set. As such structures arise frequently in structural matroid theory, this paper introduces a general technique for analyzing those special properties of partitioned matroids that depend solely on the values of the connectivities $λ(X_i)$, the local connectivities $\sqcap(\cup_{j\in J}X_j, \cup_{k\in K}X_k,)$, and the dual local connectivities $\sqcap^*(\cup_{h\in H}X_h, \cup_{g\in G}X_g)$. In particular, we consider those partitioned matroids in which each $X_i$ is an independent, coindependent set of clones of cardinality $λ(X_i)$. Calling such partitioned matroids clonal-core matroids, we show that special results of the above type for partitioned matroids can be verified in general by proving them just for clonal-core matroids. Aiming at the long-term goal of finding the unavoidable minors of $4$-connected matroids, we illustrate this technique by studying $4$-paths. These are sequences $(L,P_1,P_2,\ldots, P_n,R)$ of sets that partition the ground set of a matroid so that the union of any proper initial segment of parts is $4$-separating. Viewing the ends $L$ and $R$ as fixed, we call such a partition a $4$-flexipath if $(L,Q_1,Q_2,\ldots, Q_n,R)$ is a $4$-path for all permutations $(Q_1,Q_2,\ldots, Q_n)$ of $(P_1,P_2,\ldots, P_n)$. A straightforward simplification enables us to focus on $(4,c)$-flexipaths for some $c$ in $\{1,2,3\}$, that is, those $4$-flexipaths for which $λ(Q_i) = c$ and $λ(Q_i \cup Q_j) > c$ for all distinct $i$ and $j$. Our main result for $4$-paths is that the only non-trivial case that arises here is when $c=2$. In that case, there are essentially only two possible dual pairs of $(4,c)$-flexipaths when $n \ge 5$.
A skew Specht perspective of RoCK blocks and cuspidal systems for KLR algebras in affine type A
Cuspidal systems parameterize KLR algebra representations via root partitions $π$, where simple modules $L(π)$ arise as heads of proper standard modules. Working in affine type A with an arbitrary convex preorder, we construct explicit skew diagrams $ζ(π)$ such that the skew Specht module $S^{ζ(π)}$ has simple head $L(π)$ and a filtration by proper standard modules. A key ingredient in this construction is the development of `core-truncation' functors, which take module categories of level one RoCK blocks to the category of imaginary semicuspidal KLR modules. Every simple imaginary semicuspidal module arises in the image of these functors. This result stems from an in-depth study of the combinatorial interplay between cuspidal systems and RoCK cyclotomic KLR algebras, in which we characterize core blocks and RoCK blocks in arbitrary level via cuspidal tiling properties of multipartitions in these blocks.
The Boolean polynomial polytope with multiple choice constraints
We consider a class of $0$-$1$ polynomial programming termed multiple choice polynomial programming (MCPP) where the constraint requires exact one component per subset of the partition to be $1$ after all the entries are partitioned. Compared to the unconstrained counterpart, there are few polyhedral studies of MCPP in general form. This paper serves as the first attempt to propose a polytope associated with a hypergraph to study MCPP, which is the convex hull of $0$-$1$ vectors satisfying multiple choice constraints and production constraints. With the help of the decomposability property, we obtain an explicit half-space representation of the MCPP polytope when the underlying hypergraph is $α$-acyclic by induction on the number of hyperedges, which is an analogy of the acyclicity results on the multilinear polytope by Del Pia and Khajavirad (SIAM J Optim 28 (2018) 1049) when the hypergraph is $γ$-acyclic. We also present a necessary and sufficient condition for the inequalities lifted from the facet-inducing ones for the multilinear polytope to be still facet-inducing for the MCPP polytope. This result covers the particular cases by Bärmann, Martin and Schneider (SIAM J Optim 33 (2023) 2909).
The Erdős-Rényi Random Graph Conditioned on Every Component Being a Clique
Motivated by an application in community detection, we consider an \ER random graph conditioned on the rare event that all connected components are fully connected. Such graphs can be considered as partitions of vertices into cliques. Hence, this conditional distribution defines a distribution over partitions. We show that a popular community detection method is equivalent to Bayesian inference with this distribution as prior over the community partitions. Using tools from analytic combinatorics, we prove limit theorems for several graph observables in this conditional distribution: the number of cliques; the number of edges; and the degree distribution. We consider several regimes of the connection probability $p$ as the number of vertices $n$ diverges. For $p=\tfrac{1}{2}$, the conditioning yields the uniform distribution over set partitions, which is well-studied, but has not been studied as a graph distribution before. For $p<\tfrac{1}{2}$, we show that the number of cliques is of the order $n/\sqrt{\log n}$, while for $p>\tfrac{1}{2}$, we prove that the graph consists of a single clique with high probability. This shows that there is a phase transition at $p=\tfrac{1}{2}$. We additionally study the near-critical regime $p_n\downarrow\tfrac{1}{2}$, as well as the sparse regime $p_n\downarrow0$. Finally, we discuss the implications of these results for community detection.