partition
6235 papers tagged with this keyword
On $S$-packing Coloring of Bounded Degree Graphs
Given a sequence $S=(s_1,s_2,\ldots,s_p)$, $p\geq 2$, of non-decreasing integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $p$ disjoint sets $V_1,\ldots, V_p$ such that any two distinct vertices of $V_i$ are at a distance greater than $s_i$, $1\le i\le p$. In this paper, we study the $S$-packing coloring problem on graphs of bounded maximum degree and for sequences mainly containing 1's and 2's ($i^r$ in a sequence means $i$ is repeated $r$ times). Generalizing existing results for subcubic graphs, we prove a series of results on graphs of maximum degree $k$: We show that graphs of maximum degree $k$ are $(1^{k-1},2^k)$-packing colorable. Moreover, we refine this result for restricted subclasses: A graph of maximum degree $k$ is said to be $t$-saturated, $0\le t\le k$, if every vertex of degree $k$ is adjacent to at most $t$ vertices of degree $k$. We prove that any graph of maximum degree $k\ge 3$ is $(1^{k-1}, 3)$-packing colorable if it is 0-saturated, $(1^{k-1}, 2)$-packing colorable if it is $t$-saturated, $1\leq t\leq k-2$; and $(1^{k-1},2^{k-1})$-packing colorable if it is $(k-1)$-saturated. We also propose some conjectures and questions.
Cluster Synchronization via Graph Laplacian Eigenvectors
Published in Chaos 1 September 2025; 35 (9): 093109
• View Publication
• BIB
Almost equitable partitions (AEPs) have been linked to cluster synchronization in oscillatory systems, highlighting the importance of structure in collective network dynamics. We provide a general spectral framework that formalizes this connection, showing how eigenvectors associated with AEPs span a subspace of the Laplacian spectrum that governs partition-induced synchronization behavior. This offers a principled reduction of network dynamics, allowing clustered states to be understood in terms of quotient graph projections. Our approach clarifies the conditions under which transient hierarchical clustering and multi-frequency synchronization emerge, and connects these dynamical phenomena directly to network symmetry and community structure. In doing so, we bridge a critical gap between static topology and dynamic behavior-namely, the lack of a spectral method for analyzing synchronization in networks that exhibit exact or approximate structural regularity. Perfect AEPs are rare in real-world networks since most have some degree of irregularity or noise. We define a relaxation of an AEP we call a quasi-equitable partition at level $δ$ ($δ-$QEP). $δ-$QEPs can preserve many of the clustering-relevant properties of AEPs while tolerating structural imperfections and noise. This extension enables us to describe synchronization behavior in more realistic scenarios, where ideal symmetries are rarely present. Our findings have important implications for understanding synchronization patterns in real-world networks, from neural circuits to power grids.
Finite analogs of partition bias related to hook length two and a variant of Sylvester's map
In this paper, we count the total number of hooks of length two in all odd partitions of $n$ and all distinct partitions of $n$ with a bound on the largest part of the partitions. We generalize inequalities of Ballantine, Burson, Craig, Folsom and Wen by showing there is a bias in the number of hooks of length two in all odd partitions over all distinct partitions of $n$ in presence of a bound on the largest part. To establish such a bias, we use a variant of Sylvester's map. Then, we conjecture a similar finite bias for a weighted count of hooks of length two and prove it when we remove the bound on the largest part.
Skew shapes, Ehrhart positivity and beyond
A classical result by Kreweras (1965) allows one to compute the number of plane partitions of a given skew shape and bounded parts as certain determinants. We prove that these determinants expand as polynomials with nonnegative coefficients. This result can be reformulated in terms of order polynomials of cell posets of skew shapes, and explains important positivity phenomena about the Ehrhart polynomials of shard polytopes, matroids, and order polytopes. Among other applications, we generalize a positivity statement from Schubert calculus by Fomin and Kirillov (1997) from straight shapes to skew shapes. We show that all shard polytopes are Ehrhart positive and, stronger, that all fence posets, including the zig-zag poset, and all circular fence posets have order polynomials with nonnegative coefficients. We discuss a general method for proving positivity which reduces to showing positivity of the linear terms of the order polynomials. We propose positivity conjectures on other relevant classes of posets.
Type C $K$-Stanley symmetric functions and Kraśkiewicz-Hecke insertion
We study Type C $K$-Stanley symmetric functions, which are $K$-theoretic extensions of the Type C Stanley symmetric functions. They are indexed by signed permutations and can be used to enumerate reduced words via their expansion into Schur $Q$-functions, which are indexed by strict partitions. A combinatorial description of the Schur $Q$- coefficients is given by Kraśkiewicz insertion. Similarly, their $K$-Stanley analogues are conjectured to expand positively into $GQ$'s, which are $K$-theory representatives for the Lagrangian Grassmannian introduced by Ikeda and Naruse also indexed by strict partitions. We introduce a $K$-theoretic analogue of Kraśkiewicz insertion, which can be used to enumerate 0-Hecke expressions for signed permutations and gives a conjectural combinatorial rule for computing this $GQ$ expansion.
We show the Type C $K$-Stanleys for certain fully commutative signed permutations are skew $GQ$'s. Combined with a Pfaffian formula of Anderson's, this allows us to prove Lewis and Marberg's conjecture that $GQ$'s of (skew) rectangle shape are $GQ$'s of trapezoid shape. Combined with our previous conjecture, this also gives an explicit combinatorial description of the skew $GQ$ expansion into $GQ$'s. As a consequence, we obtain a conjecture for the product of two $GQ$ functions where one has trapezoid shape.
Decomposition results for multiplicative actions and applications
Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving polynomials that factor into products of linear forms in two variables. We focus mainly on actions that are finitely generated, and the key tool in our analysis is a decomposition result for any bounded measurable function into a sum of two components, one that mimics concentration properties of pretentious multiplicative functions and another that mimics vanishing properties of aperiodic multiplicative functions. Crucial to part of our arguments are some new seminorms that are defined by a mixture of addition and multiplication of the iterates of the action, and we prove an inverse theorem that explicitly characterizes the factor of the system on which these seminorms vanish.
Counting $\mathbb F_q$-points of orbital varieties in ad-nilpotent ideals of type $A_n$
Let $\mathfrak b_n(\mathbb F_q)$ denote the Lie algebra of upper triangular $n \times n$ matrices over $\mathbb F_q$, and let $\mathfrak u_n(\mathbb F_q)$ be the subalgebra of strictly upper triangular matrices. For every $\mathfrak b_n(\mathbb F_q)$-stable ideal $\mathfrak a \subseteq \mathfrak u_n(\mathbb F_q)$ and partition $μ$ of $n$, we give an explicit formula for the number of elements in $\mathfrak a$ of Jordan type $μ$. Up to a power of $q$, the number of points is given by the Hall scalar product of a modified Hall-Littlewood function indexed by $μ$ and a chromatic quasisymmetric function associated to $\mathfrak a$.
In the special case $\mathfrak a = \mathfrak u_Λ(\mathbb F_q)$, the nilradical of the standard parabolic subalgebra of $\mathfrak{gl}_n(\mathbb F_q)$ corresponding to a composition $Λ$ of $n$, our formula specializes to a result of Karp and Thomas: up to a polynomial in $q$, the number of elements in $\mathfrak u_Λ(\mathbb F_q)$ of Jordan type $μ$ equals the coefficient of $\mathbf x^Λ$ in the specialization of the dual Macdonald symmetric function $\mathrm Q_{μ'}(\mathbf x; q^{-1}, t)$ at $t = 0$. We give a new and shorter proof using a parabolic version of Borodin's division algorithm.
We present four applications: (1) a formula for the number of points on a nilpotent Hessenberg variety; (2) a derivation of Kirillov's recurrence for counting nilpotent matrices of fixed Jordan type; (3) a formula for the number of $X \in \mathfrak u_Λ(\mathbb F_q)$ with $X^2 = 0$, yielding a new proof of the Kirillov-Melnikov-Ekhad-Zeilberger formula via two-row Macdonald polynomials; (4) a formula for the number of double cosets $\mathsf U_1 \backslash \mathsf{GL}_n(\mathbb F_q) / \mathsf U_2$, where $\mathsf U_1$ and $\mathsf U_2$ are unipotent subgroups from $\mathfrak b_n(\mathbb F_q)$-stable ideals.
Enumerating k-connected blocks and gk-connected blocks in words
We define two new statistics on words: the k-connector and the gk-connector. For a word $π= π_1π_2\cdotsπ_n$ of length $n$ over the alphabet $[k]$, a k-connector is defined as an ordered pair $(π_j, π_{j+1})$ where $1 \leq j \leq n-1$ and $π_j + π_{j+1} = k$. Conversely, a gk-connector is defined as an ordered pair $(π_j, π_{j+1})$ where $1 \leq j \leq n-1$ and $π_j + π_{j+1} > k$. We investigate the enumeration of partitions based on these statistics, providing generating functions and explicit formulas.
Invariants of nested Hilbert and Quot schemes on surfaces
Let $(S,p)$ be a smooth pointed surface. In the first part of this paper we study motivic invariants of punctual nested Hilbert schemes attached to $(S,p)$ using the Hilbert-Samuel stratification. We compute two infinite families of motivic classes of punctual nested Hilbert schemes, corresponding to nestings of the form $(2,n)$ and $(3,n)$. As a consequence, we are able to give a lower bound for the number of irreducible components of $S_p^{[2,n]}$ and $S_p^{[3,n]}$.
In the second part of this paper we characterise completely the generating series of Euler characteristics of all nested Hilbert and Quot schemes. This is achieved via a novel technique, involving differential operators modelled on the enumerative problem, which we introduce. From this analysis, we deduce that in the Hilbert scheme case the generating series is the product of a rational function by the celebrated Euler's product formula counting integer partitions. In higher rank, we derive functional equations relating the nested Quot scheme generating series to the rank one series, corresponding to nested Hilbert schemes.
Dynkin Systems and the One-Point Geometry
In this note I demonstrate that the collection of Dynkin systems on finite sets assembles into a Connes-Consani $\mathbb{F}_1$-module, with the collection of partitions of finite sets as a sub-module. The underlying simplicial set of this $\mathbb{F}_1$-module is shown to be isomorphic to the delooping of the Krasner hyperfield $\mathbb{K}$, where $1+1=\{0,1\}$. The face and degeneracy maps of the underlying simplicial set of the $\mathbb{F}_1$-module of partitions correspond to merging partition blocks and introducing singleton blocks, respectively. I also show that the $\mathbb{F}_1$-module of partitions cannot correspond to a set with a binary operation (even partially defined or multivalued) under the ``Eilenberg-MacLane'' embedding. These results imply that the $n$-fold sum of the Dynkin $\mathbb{F}_1$-module with itself is isomorphic to the $\mathbb{F}_1$-module of the discrete projective geometry on $n$ points.
Connected Partitions via Connected Dominating Sets
The classical theorem due to Győri and Lovász states that any $k$-connected graph $G$ admits a partition into $k$ connected subgraphs, where each subgraph has a prescribed size and contains a prescribed vertex, as long as the total size of target subgraphs is equal to the size of $G$. However, this result is notoriously evasive in terms of efficient constructions, and it is still unknown whether such a partition can be computed in polynomial time, even for $k = 5$.
We make progress towards an efficient constructive version of the Győri--Lovász theorem by considering a natural strengthening of the $k$-connectivity requirement. Specifically, we show that the desired connected partition can be found in polynomial time, if $G$ contains $k$ disjoint connected dominating sets. As a consequence of this result, we give several efficient approximate and exact constructive versions of the original Győri--Lovász theorem:
1. On general graphs, a Győri--Lovász partition with $k$ parts can be computed in polynomial time when the input graph has connectivity $Ω(k \cdot \log^2 n)$;
2. On convex bipartite graphs, connectivity of $4k$ is sufficient;
3. On biconvex graphs and interval graphs, connectivity of $k$ is sufficient, meaning that our algorithm gives a ``true'' constructive version of the theorem on these graph classes.
Dual Murnaghan-Nakayama rule for Hecke algebras in Type $A$
Let $χ^λ_μ$ be the value of the irreducible character $χ^λ$ of the Hecke algebra of the symmetric group on the conjugacy class of type $μ$. The usual Murnaghan-Nakayama rule provides an iterative algorithm based on reduction of the lower partition $μ$. In this paper, we establish a dual Murnaghan-Nakayama rule for Hecke algebras of type $A$ using vertex operators by applying reduction to the upper partition $λ$. We formulate an explicit recursion of the dual Murnaghan-Nakayama rule by employing the combinatorial model of ``brick tabloids", which refines a previous result by two of us (J. Algebra 598 (2022), 24--47).
Extending recent work of Nath, Saikia, and Sarma on $k$-tuple $\ell$-regular partitions
Let $T_{\ell,k}(n)$ denote the number of $\ell$-regular $k$-tuple partitions of $n$. In a recent work, Nath, Saikia, and Sarma derived several families of congruences for $T_{\ell,k}(n)$, with particular emphasis on the cases $T_{2,3}(n)$ and $T_{4,3}(n)$. In the concluding remarks of their paper, they conjectured that $T_{2,3}(n)$ satisfies an infinite set of congruences modulo 6. In this paper, we confirm their conjecture by proving a much more general result using elementary $q$-series techniques. We also present new families of congruences satisfied by $T_{\ell,k}(n)$.
Steiner Quadruple Systems with Minimum Colorable Derived Designs: Constructions and Applications
An $r$-block-coloring, simply $r$-coloring, of a Steiner triple system $\mathrm{STS}(v)$ is a partition of the block set into $r$ color classes, each color class being a partial parallel class. The chromatic index of $\mathrm{STS}(v)$, denoted by $χ^{\prime}(v)$, is the smallest $r$ for which an $r$-coloring of an $\mathrm{STS}(v)$ exists. A minimum colorable Steiner triple system $\mathrm{mcSTS}(v)$ is an $\mathrm{STS}(v)$ admitting a $χ^{\prime} (v)$-coloring. We generalize the notion of an $\mathrm{RDSQS}$ (a Steiner quadruple system $\mathrm{SQS}$ with resolvable derived designs) to $\mathrm{mcDSQS}$, representing an $\mathrm{SQS}$ whose derived design at every point is minimum colorable. This is motivated from an application in non-binary diameter perfect codes. The purpose of this paper is to display a few recursive constructions to produce $\mathrm{mcDSQS}$s via Steiner systems $\mathrm{S}(3,K,v)$ with certain properties. Among others, a construction for $\mathrm{mcDSQS}$s is developed, which is also new even for $\mathrm{RDSQS}$s; special constructions concentrating only on $\mathrm{mcDSQS}(6n+2)$s are demonstrated as well. As the main results, both a new infinite family of $\mathrm{RDSQS}(6n+4)$s and the first infinite family of $\mathrm{mcDSQS}(6n+2)$s are constructed. To be specific, an $\mathrm{RDSQS}(2^{2m+1}+2)$ and an $\mathrm{mcDSQS}(2\cdot 9^{m}+2)$ are proved to exist, in which the former class gives rise to a new infinite family of large sets of Kirkman triple systems. As applications, the smallest $q$ is determined such that a diameter perfect constant-weight $(n,\frac{1}{4}\tbinom{n}{3},6;4)_{q}$ code exists where $n \in\{ 2\cdot 9^{m}+2:m\geq 1\}\bigcup\{ 2^{2m+1}+2:m\geq 0\}$.
On the distribution of $t$-hooks of doubled distinct partitions
Recently, Griffin, Ono, and Tsai examined the distribution of the number of $t$-hooks in partitions of $n$, which was later followed by the work of Craig, Ono, and Singh on the distribution of the number of $t$-hooks in self-conjugate partitions of $n$. Motivated by these studies, in this paper, we further investigate the number of $t$-hooks in some subsets of partitions. More specifically, we obtain the generating functions for the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions. Based on these generating functions, we prove that the number of $t$-hooks in doubled distinct partitions and the number of $t$-shifted hooks in strict partitions are both asymptotically normally distributed.
Thresholds for the biased Maker-Breaker domination games
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Combinatorics (October 22, 2025) dmtcs:15392
• View Publication
• BIB
In the $(a,b)$-biased Maker-Breaker domination game, two players alternately select unplayed vertices in a graph $G$ such that Dominator selects $a$ and Staller selects $b$ vertices per move. Dominator wins if the vertices he selected during the game form a dominating set of $G$, while Staller wins if she can prevent Dominator from achieving this goal. Given a positive integer $b$, Dominator's threshold, $\textrm{a}_b$, is the minimum $a$ such that Dominator wins the $(a,b)$-biased game on $G$ when he starts the game. Similarly, $\textrm{a}'_b$ denotes the minimum $a$ such that Dominator wins when Staller starts the $(a,b)$-biased game. Staller's thresholds, $\textrm{b}_a$ and $\textrm{b}'_a$, are defined analogously. It is proved that Staller wins the $(k-1,k)$-biased games in a graph $G$ if its order is sufficiently large with respect to a function of $k$ and the maximum degree of $G$. Along the way, the $\ell$-local domination number of a graph is introduced. This new parameter is proved to bound Dominator's thresholds $\textrm{a}_\ell$ and $\textrm{a}_\ell'$ from above. As a consequence, $\textrm{a}_1'(G)\le 2$ holds for every claw-free graph $G$. More specific results are obtained for thresholds in line graphs and Cartesian grids. Based on the concept of $[1,k]$-factor of a graph $G$, we introduce the star partition width $σ(G)$ of $G$, and prove that $\textrm{a}_1'(G)\le σ(G)$ holds for any nontrivial graph $G$, while $\textrm{a}_1'(G)=σ(G)$ if $G$ is a tree.
On the perfect $k$-divisibility of graphs
A graph $G$ is perfectly divisible if, for every induced subgraph $H$ of $G$, either $V(H)$ is a stable set or admits a partition into two sets $X_1$ and $X_2$ such that $ω(H[X_1]) < ω(H)$ and $H[X_2]$ is a perfect graph. In this article, we propose the following generalisation of perfectly divisible graphs. A graph $G$ is perfectly $1$-divisible if $G$ is perfect and perfectly $k$-divisible if, for every induced subgraph $H$ of $G$, either $V(H)$ is a stable set or admits a partition into two sets $X_1$ and $X_2$ such that $ω(H[X_1]) < ω(H)$ and $H[X_2]$ is perfectly $(k-1)$-divisible, $k \in \mathbb{N}_{> 1}$. Our main result establishes that every perfectly $k$-divisible graph $G$ satisfies $χ(G) \leq \binom{ω(G)+k-1}{k}$ which generalises the known bound for perfectly divisible graphs.
Positive Weighted Partitions Generated by Double Series
Published in SIGMA 21 (2025), 056, 12 pages
• View Publication
• BIB
We investigate some weighted integer partitions whose generating functions are double-series. We will establish closed formulas for these $q$-double series and deduce that their coefficients are non-negative. This leads to inequalities among integer partitions.
Ramsey's witnesses
We introduce the notion of Ramsey partition regularity, a generalisation of partition regularity involving infinitary configurations. We provide characterisations of this notion in terms of certain ultrafilters related to tensor products and dubbed Ramsey's witnesses; and we also consider their nonstandard counterparts as pairs of hypernatural numbers, called Ramsey pairs. These characterisations are then used to determine whether various configurations involving polynomials and exponentials are Ramsey partition regular over the natural numbers.
Star decompositions and independent sets in random regular graphs
A $k$-star decomposition of a graph is a partition of its edges into $k$-stars (i.e., $k$ edges with a common vertex). The paper studies the following problem: for what values of $k>d/2$ does the random $d$-regular graph have a $k$-star decomposition (asymptotically almost surely, provided that the number of edges is divisible by $k$)?
Delcourt, Greenhill, Isaev, Lidický, and Postle proposed the following conjecture. It is easy to see that a $k$-star decomposition necessitates the existence of an independent set of density $1-d/(2k)$. So let $k^{\mathrm{ind}}_d$ be the largest $k$ for which the random $d$-regular graph a.a.s. contains an independent set of this density. Clearly, $k$-star decompositions cannot exist for $k>k^{\mathrm{ind}}_d$. The conjecture suggests that this is essentially the only restriction: there is a threshold $k^\star_d$ such that $k$-star decompositions exist if and only if $k \leq k^\star_d$, and it (basically) coincides with the other threshold, i.e., $k^\star_d \approx k^{\mathrm{ind}}_d$.
We confirm this conjecture for sufficiently large $d$ by showing that a $k$-star decomposition exists if $d/2< k < k^{\mathrm{ind}}_d$. In fact, we prove the existence even if $k=k^{\mathrm{ind}}_d$ for degrees $d$ with asymptotic density $1$.