partition
6235 papers tagged with this keyword
Frugal coloring of graphs revisited
Given a graph $G$ and a positive integer $t$, an independent set $S\subseteq V(G)$ is $t$-frugal if every vertex has at most $t$ neighbors in $S$. A $t$-frugal coloring of $G$ is a partition of its vertex set into $t$-frugal independent sets. The maximum cardinality of a $t$-frugal independent set in $G$ is denoted by $α_t^f(G)$, while the minimum cardinality of a $t$-frugal coloring of $G$, $χ_t^f(G)$, is called the $t$-frugal chromatic number of $G$. Frugal colorings were introduced in 1998 and studied later in just a handful of papers. In this paper, we revisit this concept. While the NP-hardness of frugal coloring is known, we prove that the decision version of $α_t^f$ is NP-complete even for bipartite graphs, and present a linear-time algorithm to determine its value for trees. We prove a general sharp lower bound on $χ_{t}^{f}(G)$ expressed in terms of $α_{t}^{f}(G)$ and size of $G$. We also give a sharp upper bound on the $α_2^f$ of any graph $G$, which in the case of graphs with minimum degree $δ\geq2$ simplifies to $α_2^f(G)\le 2n/(δ+2)$. We prove that $3\leχ_2^f(G)\le 5$ holds for any graph $G$ with $Δ(G)=3$. For several classes of graphs such as block graphs, the Cartesian and strong products of multiple two-way infinite paths, we determine the exact values of $α_2^f$. We provide sharp bounds on the $α_2^f$ in all four standard graph products, which are expressed as different invariants of their factors. Finally, we obtain Nordhaus-Gaddum type inequalities for the sum of the $2$-frugal chromatic numbers of $G$ and its complement from below and from above by functions of the order of $G$. For the upper bound $χ_{2}^{f}(G)+χ_{2}^{f}(\overline{G})\leq 3n/2$, we characterize the family of extremal graphs $G$.
Poset Partitions and the Combinatorics of the $\textbf{cd}$-Index
We introduce a new class of Eulerian posets, called S-partitionable posets, which have a non-negative cd-index. These posets are a generalization of S-shellable complexes introduced by Stanley in 1994. We prove that S-partitionable posets have a non-negative cd-index via a recursive formula. Then, we introduce a semi-Eulerian version of S-partitionable posets, which we call SE-partitionable posets. We show that SE-partitionable posets also have a non-negative semi-Eulerian cd-index as defined by Juhnke-Kubitzke, Samper and Venturello in 2024.
A Geometric Characterization of Maximal Unrefinable Partitions via the Keith-Nath Transformation and Young Diagrams
We investigate the combinatorial structure of unrefinable partitions through their correspondence with numerical sets and Young diagrams. Building on the bijection introduced by Keith and Nath, we apply a general geometric criterion that links the unrefinability of a partition directly to the hook lengths of its associated Young diagram. This criterion provides a structural method for the characterization of any unrefinable partition. Using this general framework, we revisit the correspondence results between maximal unrefinable partitions and partitions into distinct parts, previously established using enumerative methods. We provide alternative and purely combinatorial proofs of these bijections, focusing on the rigid symmetry structures of the Young diagrams. In the triangular weight case, we show that the corresponding diagrams are quasi-symmetric, i.e. symmetric up to a single extra column. We extend this analysis to the nontriangular case, showing that the diagrams either exhibit this same quasi-symmetric structure or are perfectly self-conjugate, depending on the maximal part.
Benchmarking of algorithms for set partitions
Set partitions are arrangements of distinct objects into groups. The problem of listing all set partitions arises in a variety of settings, in particular in combinatorial optimization tasks. After a brief review, we give practical approximate formulas for determining the number of set partitions, both for small and large set sizes. Several algorithms for enumerating all set partitions are reviewed, and benchmarking tests were conducted. The algorithm of Djokic et al. is recommended for practical use.
Poset modules of the $0$-Hecke algebras of type $B$
In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.
The Coxeter Flag Variety
For a Coxeter element $c$ in a Weyl group $W$, we define the $c$-Coxeter flag variety $\operatorname{CFl}_c\subset G/B$ as the union of left-translated Richardson varieties $w^{-1}X^{wc}_w$. This is a complex of toric varieties whose geometry is governed by the lattice $\operatorname{NC}(W,c)$ of $c$-noncrossing partitions. We show that $\operatorname{CFl}_c$ is the common vanishing locus of the generalized Plücker coordinates indexed by $W\setminus\operatorname{NC}(W,c)$. We also construct an explicit affine paving of $\operatorname{CFl}_c$ and identify the $T$-weights of each cell in terms of $c$-clusters. This paving gives a GKM description of $H^\bullet(\operatorname{CFl}_c)$ and $H^\bullet_{T_{ad}}(\operatorname{CFl}_c)$ in terms of the induced Cayley subgraph on $\operatorname{NC}(W,c)$, and we show these rings are naturally isomorphic for different choices of $c$. In type $\mathrm{A}$, this recovers the quasisymmetric flag variety for a special $c$, and for general $c$ we show the cohomology ring has a presentation as permuted quasisymmetric coinvariants.
Mass formula for topological boundary conditions from TQFT gravity
Mass formulas evaluate the total weighted count of a given class of algebraic structures, such as lattices or codes. We show that 3d TQFTs provide a generalization of this concept: the total weighted count of topological boundary conditions is given by the TQFT partition function averaged over all closed 3d manifolds. This weighted count, which we call the mass, can be interpreted as the renormalized partition function of TQFT gravity. For Abelian TQFTs, the mass formula for topological boundary conditions reduces to the mass formula for particular families of codes. Focusing on the Abelian case, we show how to evaluate the mass for any bosonic theory and consider many explicit examples. We then discuss the non-Abelian generalization and compute the mass for $n + \bar n$ copies of the Ising modular tensor category. Finally, we generalize the construction to five dimensions and compute the mass for Abelian 2-form Chern-Simons theories.
Efficient Algorithms for Weakly-Interacting Quantum Spin Systems
We establish efficient algorithms for weakly-interacting quantum spin systems at arbitrary temperature. In particular, we obtain a fully polynomial-time approximation scheme for the partition function and an efficient approximate sampling scheme for the thermal distribution over a classical spin space. Our approach is based on the cluster expansion method and a standard reduction from approximate sampling to approximate counting.
Community detection in network using Szegedy quantum walk
In a network, the vertices with similar characteristics construct communities. The vertices in a community are well-connected. Detecting the communities in a network is a challenging and important problem in the theory of complex networks. One approach to solving this problem uses the classical random walks on graphs. In quantum computing, quantum walks are the quantum mechanical counterparts of classical random walks. In this article, we employ a variant of Szegedy's quantum walk to develop a procedure for discovering the communities in networks. The limiting probability distribution of quantum walks assists us in determining the inclusion of a vertex in a community. We apply our community detection procedure to a variety of graphs and social networks, including the relaxed caveman graph, $l$-partition graph, Karate club graph, and the dolphin's social network, among others.
Monochromatic cycle partitions of $r$-edge-coloured graphs with high minimum degree
A question posed independently by Letzter and Pokrovskiy asks: how many vertex-disjoint monochromatic cycles are needed to cover the vertex set of an $r$-edge-coloured graph, as a function of its minimum (uncoloured) degree? We resolve this problem up to a $(\log r)$-factor. Specifically, we prove that, for any $r \geq 2$ and $δ\in (0,1/2)$, any $n$-vertex $r$-edge-coloured graph $G$ with $δ(G) \geq (1- δ)n$ can be covered with $\mathcal{O}(r \log r \cdot \lceil r/\log(1/δ)\rceil)$ vertex-disjoint monochromatic cycles. We construct graphs that show this is tight up to the $(\log r)$-factor for all values of $r$ and $δ$, and along the way disprove a conjecture of Bal and DeBiasio about monochromatic tree covering.
On statistics of prime parking functions, Łukasiewicz paths, and quasisymmetric functions
We recall that a parking function of length $n+1$ is said to be prime if removing any instance of 1 yields a parking function of length $n$. In this article, we study prime parking functions from multiple lenses. We derive an explicit formula for the average value of the total displacement of prime parking functions. We present a formula for the displacement-enumerator of prime parking functions that involves a sum over Łukasiewicz paths. We describe the one-to-one correspondence between parking functions and labeledŁukasiewicz paths via Dyck paths. We introduce the concept of $\ell$-forward differences and use this as a vehicle for examining ties, ascents, and descents in prime parking functions. We establish a link between Schur functions corresponding to the partition $(i,1^{n-i})$ and fundamental quasisymmetric functions indexed by prime parking function tie sets of size $n-i.$
Strengthening the balanced set condition for the distance-regular graph of the bilinear forms
We consider a distance-regular graph $Γ=(X, \mathcal R)$ called the bilinear forms graph $H_q(D,N-D)$; we assume $N>2D\geq 6$ and $q \not=2$. We show that $Γ$ satisfies the following strengthened version of the balanced set condition.
For a vertex $x \in X$ and $0 \leq i \leq D$ define $Γ_i(x)=\lbrace y \in X\vert \partial(x,y)=i\rbrace$, where $\partial$ denotes the path-length distance function.
Abbreviate $Γ(x)=Γ_1(x)$.
Let $V={\mathbb R}^X$ denote the standard module for ${\rm Mat}_X(\mathbb R)$.
For $x\in X$ let $\hat x \in V$ have $x$-coordinate 1 and all other coordinates 0.
Let $E \in {\rm Mat}_X(\mathbb R)$ denote the primitive idempotent that corresponds to the second largest eigenvalue of the adjacency matrix of $Γ$.
For a subset $Ω\subseteq X$ define $\widehat Ω= \sum_{x \in Ω} \hat x$.
We fix two vertices $x,y \in X$ and write $k=\partial(x,y)$. To avoid degenerate situations, we assume
$2 \leq k \leq D-1$. Using $y$ we obtain an equitable partition $\lbrace O_i \rbrace_{i=1}^6$ of the local graph $Γ(x)$.
By construction $O_1 = Γ(x) \cap Γ_{k-1}(y)$ and $O_6 = Γ(x) \cap Γ_{k+1}(y)$.
We call $\lbrace O_i \rbrace_{i=1}^6$ the $y$-partition of $Γ(x)$. Let $\lbrace O'_i \rbrace_{i=1}^6$ denote the $x$-partition of $Γ(y)$.
According to the original balanced set condition, for $i \in \lbrace 1,6\rbrace$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We show that for $1 \leq i \leq 6$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We investigate the consequences of this result.
False and partial Eisenstein series related to unimodal sequences
Motivated by the fact that the classical Jacobi theta function $\vartheta$ is the exponential generating function of the Eisenstein series, we study the exponential Taylor coefficients (in the elliptic variable) of a related natural partial theta function, as well as a false theta function related to the Dedekind eta function. We prove that the space spanned by these objects is closed under differentiation, analogous to the space of quasimodular forms, and that it contains the quasimodular forms themselves. We further provide their Fourier expansions, establish quasimodular completions, and derive a recursive formula for the Taylor coefficients of the logarithm of the unimodal rank generating function, expressed as partition traces of the false and partial objects.
Kostant's problem for permutations of shape $(n-2,1,1)$ and $(n-3,2,1)$
For a permutation $z$ in the symmetric group $\mathrm{S}_{n}$, denote by $L_{z}$ the corresponding simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. In this paper, we provide a combinatorial answer to Kostant's problem for the modules $L_{z}$ when $z$ has shape (associated Young diagram/integer partition via Robinson-Schensted correspondence) equal to $(n-2,1,1)$ or $(n-3,2,1)$. Moreover, we verify that certain closely related conjectures hold for such permutations, including the Indecomposability Conjecture, which states that applying any indecomposable projective functor to the corresponding simple highest weight module outputs either an indecomposable module or zero.
Combinatorial proofs of some identities on overpartitions with repeated smallest non-overlined part
Let $\overline{\mathrm{spt}}k(n)$ denote the number of overpartitions of $n$ where the smallest non-overlined part, say $s(π)$, appears $k$ times and every overlined part is bigger than $s(π)$. Let $\overline{\mathrm{spt}}k_o(n)$ denote the number of overpartitions of $n$ where the smallest non-overlined part appears $k$ times, every overlined part is bigger than $s(π)$ and all parts other than $s(π)$ are incongruent modulo $2$ with $s(π)$. Also, let $b_e(k,n)$ (resp., $b_o(k,n)$) denote the number of overpartitions of $n$ counted by $\overline{\mathrm{spt}}k_o(n)$ where the number of parts greater than $s(π)$ is even (resp., odd), and let $$\overline{\mathrm{spt}}k_o'(n)=b_e(k,n)-b_o(k,n).$$ Recently, Malik and Sarma (arXiv:2601.15601v1) expressed the generating functions of these partition functions in terms of linear combinations of $q$-series with polynomials in $q$ as coefficients. As corollaries, they derived some partition identities involving the functions for $k=1$ and sought for combinatorial proofs of their results. In this paper, we present some desired proofs.
A note on restricted partition functions of Pushpa and Vasuki
We establish infinite families of congruences modulo arbitrary powers of $2$ for three restricted partition functions $M(n), T^\ast(n)$, and $P^\ast(n)$ recently introduced by Pushpa and Vasuki by employing elementary $q$-series techniques.
On Partition Classes Arising from Parity, Differences, and Repeated Smallest Parts
In this paper, we study various classes of partition functions such as those related to the parity of the number of parts, to differences of partition numbers, and to partitions with a repeated smallest part. We establish identities connecting these various classes of partitions. Moreover, our identities help us to extend the Euler's partition theorem. An analogue of Legendre's theorem of the partition-theoretic interpretation of Euler's pentagonal number theorem is also derived. Both combinatorial and $q$-series proofs are given for our results.
The arc chromatic number for Galois projective planes, affine planes and Euclidean grids
We establish that the minimum number of arcs required to partition the Galois projective plane $\text{PG}(2,q)$ is $q+1$. Furthermore, we determine the exact value for a fractional variant of this problem.
We extend our analysis to affine planes $\text{AG}(2,q)$, proving that they can be partitioned into $q$ arcs. In particular, we show that this partition is tight when $q$ is an odd prime power, and that a $(q-1)$-partition is attainable for $q=2^k$ with $k \in \{1,2,3\}$. For $q=2^k$ with $k \geq 4$, we provide bounds between two possible values.
Finally, we apply these results to Euclidean grids, demonstrating that a partition into $(1+ε)n$ sets in general position exists for any $ε> 0$ and sufficiently large $n$. We also present exact minimal partitions for small Euclidean grids.
An identity relating $n$-nacci numbers, partitions, and products of binomial coefficients
We study the combinatorial properties of final types, which are certain non-decreasing sequences of integers, together with the partitions naturally associated with them. As a consequence, we obtain an identity expressing the $n$-nacci numbers as sums of products of binomial coefficients over these partitions, generalizing the classical identity for $n = 2$ that expresses Fibonacci numbers in this way. We also examine how the partial order on the set of all partitions of a fixed integer induced by the ordering of final types compares with two natural partial orders on the same set.
Some Families of Type $B$ Set Partitions Counted by the Dowling Numbers
In this paper, we study type $B$ set partitions without zero block.
Certain classes of these partitions, such as merging-free and separated
partitions (enumerated by the Dowling numbers), are investigated.
We show that these classes are in bijection with type $B$ set partitions.
The intersection of these two classes is also studied, and we prove that their block-generating polynomials
are real-rooted.
Finally, we study the descent statistics on the class of permutations obtained by flattening type $B$ merging-free partitions. Using the valley-hopping action,
we prove the Gamma-positivity of the descent
distribution and provide a combinatorial interpretation of the Gamma-coefficients.
We also show that the descent statistic is homomesic under valley-hopping.