partition
6235 papers tagged with this keyword
Rational parking functions and $(m, n)$-invariant sets
An $(m, n)$-parking function can be characterized as function $f:[n] \to [m]$ such that the partition obtained by reordering the values of $f$ fits inside a right triangle with legs of length $m$ and $n$. Recent work by McCammond, Thomas, and Williams define an action of words in $[m]^n$ on $\mathbb{R}^n$. They show that rational parking functions are exactly the words that admit fixed points under that action. An $(m, n)$-invariant set is a set $Δ\subset \mathbb{Z}$ such that $Δ+ m \subset Δ$ and $Δ+ n \subset Δ$. In this work we define an action of words in $[m]^n $ on $(m, n)$-invariant sets by removing the $j$th $m$-generator from $Δ$. We show this action also characterizes $(m, n)$-parking functions. Further we show that each $(m, n)$-invariant set is fixed by a unique monotone parking function. By relating the actions on $\mathbb{R}^m$ and on $(m, n)$-invariant sets we prove that the set of all the points in $\mathbb{R}^m$ that can be fixed by a parking function is a union of points fixed by monotone parking functions. In the case when $\gcd(m, n) =1$ we characterize the set of periodic points of the action defined on $\mathbb{R}^m$ and show that the algorithm reversing the Pak-Stanley map proposed by Gorsky, Mazin, and Vazirani converges in a finite amount of steps.
Connected equitably $Δ$-colorable realizations with $k$-factors
A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.
Computational Complexity of Covering Colored Mixed Multigraphs with Simple Degree Partitions
The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph $H$, the {\sc $H$-Cover} problem asks if an input graph $G$ allows a graph covering projection onto $H$. Despite the fact that the quest for characterizing the computational complexity of {\sc $H$-Cover} had been started more than 30 years ago, only a handful of general results have been known so far.
In this paper, we present a complete characterization of the computational complexity of covering coloured graphs for the case that every equivalence class in the degree partition of the target graph has at most two vertices. We prove this result in a very general form. Following the lines of current development of topological graph theory, we study graphs in the most relaxed sense of the definition. In particular, we consider graphs that are mixed (they may have both directed and undirected edges), may have multiple edges, loops, and semi-edges. We show that a strong P/NP-complete dichotomy holds true in the sense that for each such fixed target graph $H$, the {\sc $H$-Cover} problem is either polynomial-time solvable for arbitrary inputs, or NP-complete even for simple input graphs.
Number of partitions of modular integers (with an Appendix by P. Deligne)
For integers $n,k,s$, we give a formula for the number $T(n,k,s)$ of order $k$ subsets of the ring $\mathbb{Z}/n\mathbb{Z}$ whose sum of elements is $s$ modulo $n$. To do so, we describe explicitly a sequence of matrices $M(k)$, for positive integers $k$, such that the size of $M(k)$ is the number of divisors of $k$, and for two coprime integers $k_{1},k_{2}$, the matrix $M(k_{1}k_{2})$ is the Kronecker product of $M(k_{1})$ and $M(k_{2})$. For $s=0, 1, 2$, and for $s=k/2$ when $k$ is even, the sequences $T(n,k,s)$ are related to the number of necklaces with $k$ black beads and $n-k$ white beads, and to Lyndon words. This work begins with empirical determinations of $M(k)$ up to $k=10000$, from which we infer a closed formula that encompasses many entries in the Encyclopedia of Integer Sequences. Its proof comes from work on Ramanujan sums, by Ramanathan, with a generalization to wider problems linked to representation theory and recently described by Deligne.
Merge-width and First-Order Model Checking
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new decompositions called construction sequences. These are sequences of ever coarser partitions of the vertex set, where each pair of parts has a specified default connection, and all vertex pairs of the graph that differ from the default are marked as resolved. The radius-$r$ merge-width is the maximum number of parts reached from a vertex by following a path of at most $r$ resolved edges. Graph classes of bounded merge-width -- for which the radius-$r$ merge-width parameter can be bounded by a constant, for each fixed $r=1,2,3,\ldots$ -- include all classes of bounded expansion or of bounded twin-width, thus unifying two central notions from the Sparsity and Twin-width frameworks. Furthermore, they are preserved under first-order transductions, which attests to their robustness. We conjecture that classes of bounded merge-width are equivalent to the previously introduced classes of bounded flip-width.
As our main result, we show that the model checking problem for first-order logic is fixed-parameter tractable on graph classes of bounded merge-width, assuming the input includes a witnessing construction sequence. This unites and extends two previous model checking results: the result of Dvořák, Král, and Thomas for classes of bounded expansion, and the result of Bonnet, Kim, Thomassé, and Watrigant for classes of bounded twin-width.
Finally, we suggest future research directions that could impact the study of structural and algorithmic graph theory, in particular of monadically dependent graph classes, which we conjecture to coincide with classes of almost bounded merge-width.
Chevalley operations on TNN Grassmannians
Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras.
We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea.
Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers.
Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.
An Alternative Generating Function for $k$-Regular Partitions
We construct a $k$-fold $q$-series as a generating function of $k$-regular partitions for each positive integer $k$. The $k=1$ case is one of Euler's $q$-series identities pertaining to the partitions into distinct parts. The construction is combinatorial. Although we find a connection to Bessel polynomials in the $k=2$ case, this note is certainly not a study of Bessel polynomials and their $q$-analogs.
Cookie cutters: Bisections with fixed shapes
In a mass partition problem, we are interested in finding equitable partitions of smooth measures in $\mathbb{R}^d$. In this manuscript, we study the problem of finding simultaneous bisections of measures using scaled copies of a prescribed set $K$. We distinguish the problem when we are allowed to use scaled and translated copies of $K$ and the problem when we are allowed to use scaled isometric copies of $K$. These problems have only previously been studied if $K$ is a half-space or a Euclidean ball. We obtain positive results for simultaneous bisection of any $d+1$ masses for star-shaped compact sets $K$ with non-empty interior, where the conditions on the problem depend on the smoothness of the boundary of $K$. Additional proofs are included for particular instances of $K$, such as hypercubes and cylinders, answering positively a conjecture of Soberón and Takahashi. The proof methods are topological and involve new Borsuk--Ulam-type theorems.
Littlewood--Richardson rules from quivers for two-step flag varieties
Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by pairs of partitions. We use these vector space bases to give a positive tableau formula for Littlewood--Richardson coefficients for the product of Schubert polynomials with certain Schur polynomials in two-step flag varieties, in the spirit of the Remmel-Whitney rule for the product of two Schur polynomials in Grassmannians. This in particular covers the cases considered by the Pieri rule.
Ribbon blocks for centraliser algebras of symmetric groups
Suppose $l,m$ are natural numbers with $l\le m$, and $\mathbb{F}$ a field of characteristic $p$, and let $\mathcal{C}_{l,m}^{\mathbb{F}}$ denote the centraliser of the group algebra $\mathbb{F}S_l$ inside $\mathbb{F}S_m$. Ellers and Murray give a conjectured classification of the blocks of $\mathcal{C}_{l,m}^{\mathbb{F}}$, in terms of the $p$-blocks of $S_l$ and $S_m$. We prove this conjecture for a family of blocks that we call ribbon blocks and belt blocks. These are the blocks containing Specht modules labelled by skew partitions having no repeated entries in their $p$-content.
Vertex functions of type $D$ Nakajima quiver varieties
We study the quasimap vertex functions of type $D$ Nakajima quiver varieties. When the quiver varieties have isolated torus fixed points, we compute the coefficients of the vertex functions in the $K$-theoretic fixed point basis. We also give an explicit combinatorial description of zero-dimensional type $D$ quiver varieties and their vertex functions using the combinatorics of minuscule posets. Using Macdonald polynomials, we prove that these vertex functions can be expressed as products of $q$-binomial functions, which proves a degeneration of the conjectured 3d mirror symmetry of vertex functions. We provide an interpretation of type $D$ spin vertex functions as the partition functions of the half-space Macdonald processes of Barraquand, Borodin, and Corwin. This hints that the geometry of quiver varieties may provide new examples of integrable probabilistic models.
Quasimodular Asymptotics of Spherical Integrals
We show that the spherical integral of the Circular Unitary Ensemble converges in expectation to Euler's generating function for integer partitions, and that subleading corrections to this high-dimensional limit are quasimodular forms.
Fixed perimeter analogues of some partition results
Euler's partition identity states that the number of partitions of $n$ into odd parts is equal to the number of partitions of $n$ into distinct parts. Strikingly, Straub proved in 2016 that this identity also holds when counting partitions of any size with largest hook (perimeter) $n$. This has inspired further investigation of partition identities and inequalities in the fixed perimeter setting. Here, we explore fixed perimeter analogues of some well-known partition results inspired by Euler's partition identity.
On the edge reconstruction of the second immanantal polynomials of undirected graph and digraph
Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.
An edge labeling of graphs from Rados partition regularity condition
A vertex $v$ is called an AR-vertex, if $v$ has distinct edge weight sums for each distinct subset of edges incident on $v$. i.e., if $\{x_1,x_2,\dots,x_k\}$ are the edge labels of the edges incident on $v$, then the $2^k$ subset sums are all distinct. An injective edge labeling $f$ of a graph $G$ is said to be an AR-labeling of $G$, if $f:E \rightarrow \mathbb{N}$ is such that every vertex in $G$ is an AR-vertex under $f$. A graph $G$ is said to be an AR-graph, if there exists an AR-labeling $f:E\rightarrow \{1,2,\dots,m\}$, where $m$ denotes the number of edges of $G$. A study of AR-labeling and AR-graphs is initiated in this paper.
Interpretable Machine Learning for Kronecker Coefficients
We analyze the saliency of neural networks and employ interpretable machine learning models to predict whether the Kronecker coefficients of the symmetric group are zero or not. Our models use triples of partitions as input features, as well as b-loadings derived from the principal component of an embedding that captures the differences between partitions. Across all approaches, we achieve an accuracy of approximately 83% and derive explicit formulas for a decision function in terms of b-loadings. Additionally, we develop transformer-based models for prediction, achieving the highest reported accuracy of over 99%.
Statistics on monotonically ordered non-crossing partitions
We study some combinatorial statistics defined on the set $NC^{(mton)}(n)$ of monotonically ordered non-crossing partitions of {1,...,n}, and on the set $NC_2^{(mton)}(2n)$ of monotonically ordered non-crossing pair-partitions of {1,...,2n}. Unlike in the analogous results known for unordered non-crossing partitions, the computations of expectations and variances for natural block-counting statistics on $NC^{(mton)}(n)$ and for the expectation of the area statistic on $NC_2^{(mton)}(2n)$ turn out to yield a logarithmic regime. An important role in our study is played by a nice tree structure on the disjoint union of the $NC^{(mton)}(n)$'s, which we use to streamline our arguments. As an illustration of how these ideas can be applied to calculations of cumulants in monotone probability, we discuss some combinatorial aspects of the monotonic Poisson process.
The Partition Dimension of Corona Product of Complete and Wheel Graph
The graph G is a pair of sets (V(G), E(G)), where V(G) is a finite set whose elements are called vertices, and E(G) is a set of pairs of members of V(G), which is called the edges. Let G be a simple graph. For an ordered k-partition \{Π\} = \{S_1, S_2, \dots, S_k\} of V(G), the representation of u with respect to \{Π\} is k-ordered pairs, r(u \mid \{Π\}) = (d(u, S_1), d(u, S_2), \dots, d(u, S_k)). The partition \{Π\} is called a resolving partition of G if r(u \mid \{Π\}) \neq r(v \mid \{Π\}) for all distinct u, v \in V(G). The resolving partition \{Π\} with the minimum cardinality is called minimum resolving partition. The partition dimension of G, denoted pd(G), is the cardinality of a minimum resolving partition of G.
In this research, we determine the partition dimension of the corona product of a complete graph using some mathematical statements about resolving partitions, the concept of equivalent vertices, and same-level vertices. Several analysis results for the K_n \circ W_m vertices refer to equivalent vertices and the same-level vertices concept. The results show that for m = n, pd(K_n \circ W_m) = n, for n \geq 3, for m = n + 1, pd(K_n \circ W_m) = 3 for n = 3, and pd(K_n \circ W_m) = n for n \geq 3. For m = n + 2, pd(K_n \circ W_m) = 4 for n = 2, 3, and pd(K_n \circ W_m) = n for n \geq 4.
Noncommutative chromatic quasi-symmetric functions, Macdonald polynomials, and the Yang-Baxter equation
As shown in our paper [JCTA 177 (2021), Paper No. 105305], the chromatic quasi-symmetric function of Shareshian-Wachs can be lifted to ${\bf WQSym}$, the algebra of quasi-symmetric functions in noncommuting variables. We investigate here its behaviour with respect to classical transformations of alphabets and propose a noncommutative analogue of Macdonald polynomials compatible with a noncommutative version of the Haglund-Wilson formula. We also introduce a multi-$t$ version of these noncommutative analogues. For rectangular partitions, their commutative images at $q=0$ appear to coincide with the multi-$t$ Hall-Littlewood functions introduced in [Lett. Math. Phys. 35 (1995), 359]. This leads us to conjecture that for rectangular partitions, multi-$t$ Macdonald polynomials are obtained as equivariant traces of certain Yang-Baxter elements of Hecke algebras. We also conjecture that all (ordinary) Macdonald polynomials can be obtained in this way. We conclude with some remarks relating various aspects of quasi-symmetric chromatic functions to calculations in Hecke algebras. In particular, we show that all modular relations are given by the product formula of the Kazhdan-Lusztig basis.