partition
6354 papers tagged with this keyword
Frozen colourings in $2K_2$-free graphs
Published in Electronic Journal of Combinatorics 32(2), 2025
• View Publication
• BIB
The \emph{reconfiguration graph of the $k$-colourings} of a graph $G$, denoted $\mathcal{R}_k(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two vertices of $\mathcal{R}_k(G)$ are joined by an edge if the colourings of $G$ they correspond to differ in colour on exactly one vertex. A $k$-colouring of a graph $G$ is called \emph{frozen} if it is an isolated vertex in $\mathcal{R}_k(G)$; in other words, for every vertex $v \in V(G)$, $v$ is adjacent to a vertex of every colour different from its colour.
A clique partition is a partition of the vertices of a graph into cliques. A clique partition is called a $k$-clique-partition if it contains at most $k$ cliques. Clearly, a $k$-colouring of a graph $G$ corresponds precisely to a $k$-clique-partition of its complement, $\overline{G}$. A $k$-clique-partition $\mathcal{Q}$ of a graph $H$ is called \emph{frozen} if for every vertex $v \in V(H)$, $v$ has a non-neighbour in each of the cliques of $\mathcal{Q}$ other than the one containing $v$.
The cycle on four vertices, $C_4$, is sometimes called the \emph{square}; its complement is called $2K_2$.
We give several infinite classes of $2K_2$-free graphs with frozen colourings. We give an operation which transforms a $k$-chromatic graph with a frozen $(k+1)$-colouring into a $(k+1)$-chromatic graph with a frozen $(k+2)$-colouring. Our operation preserves being $2K_2$-free. It follows that for all $k \ge 4$, there is a $k$-chromatic $2K_2$-free graph with a frozen $(k+1)$-colouring. We prove these results by studying frozen clique partitions in $C_4$-free graphs.
We say a graph $G$ is \emph{recolourable} if $R_{\ell}(G)$ is connected for all $\ell$ greater than the chromatic number of $G$. We prove that every 3-chromatic $2K_2$-free graph is recolourable.
Jordan Type stratification of spaces of commuting nilpotent matrices
Published
• View Publication
• BIB
An $n\times n$ nilpotent matrix $B$ is determined up to conjugacy by a partition $P_B$ of $n$, its Jordan type given by the sizes of its Jordan blocks. The Jordan type $\mathfrak D(P)$ of a nilpotent matrix in the dense orbit of the nilpotent commutator of a given nilpotent matrix of Jordan type $P$ is stable - has parts differing pairwise by at least two - and was determined by R. Basili. The second two authors, with B. Van Steirteghem and R. Zhao determined a rectangular table of partitions $\mathfrak D^{-1}(Q)$ having a given stable partition $Q$ as the Jordan type of its maximum nilpotent commutator. They proposed a box conjecture, that would generalize the answer to stable partitions $Q$ having $\ell$ parts: it was proven recently by J.~Irving, T. Košir and M. Mastnak.
Using this result and also some tropical calculations, the authors here determine equations defining the loci of each partition in $\mathfrak D^{-1}(Q)$, when $Q$ is stable with two parts. The equations for each locus form a complete intersection. The authors propose a conjecture generalizing their result to arbitrary stable $Q$.
Higher level $q$-multiple zeta values with applications to quasimodular forms and partitions
Published
• View Publication
• BIB
In recent years, the generalized sum-of-divisor functions of MacMahon have been unified into the algebraic framework of $q$-multiple zeta values. In particular, these results link partition theory, quasimodular forms, $q$-multiple zeta values, and quasi-shuffle algebras. In this paper, we complete this idea of unification for higher levels, demonstrating that any quasimodular form of weight $k \geq 2$ and level $N$ may be expressed in terms of the $q$-multiple zeta values of level $N$ studied algebraically by Yuan and Zhao. We also give results restricted to $q$-multiple zeta values with integer coefficients, and we construct completely additive generating sets for spaces of quasimodular forms and for quasimodular forms with integer coefficients. We also provide a variety of computational examples from number-theoretic perspectives that suggest many new applications of the algebraic structure of $q$-multiple zeta values to quasimodular forms and partitions.
Graphs missing a connected partition
Published in Adv. in Appl. Math. Vol. 175 103044 (2026)
• View Publication
• BIB
We prove that a graph with a cut vertex whose deletion produces at least five connected components must be missing a connected partition of some type. We prove that this also holds if there are four connected components that each have at least two vertices. In particular, the chromatic symmetric function of such a graph cannot be $e$-positive. This brings us very close to the conjecture by Dahlberg, She, and van Willigenburg of non-$e$-positivity for all trees with a vertex of degree at least four. We also prove that spiders with four legs cannot have an $e$-positive chromatic symmetric function.
Variations on Bollobás systems of $d$-partitions
Published
• View Publication
• BIB
This paper investigates five kinds of systems of $d$-partitions of $[n]$, including symmetric Bollobás systems, strong Bollobás systems, Bollobás systems, skew Bollobás systems, and weak Bollobás systems. Many known results on variations of Bollobás systems are unified. Especially we give a negative answer to a conjecture on Bollobás systems of $d$-partitions of $[n]$ that was presented by Hegedüs and Frankl [European J. Comb., 120 (2024), 103983]. Even though this conjecture does not hold for general Bollobás systems, we show that it holds for strong Bollobás systems of $d$-partitions of $[n]$.
Embedding arbitrary edge-colorings of hypergraphs into regular colorings
For $\textbf{r}=(r_1,\ldots,r_k)$, an $\textbf{r}$-factorization of the complete $λ$-fold $h$-uniform $n$-vertex hypergraph $λK_n^h$ is a partition of the edges of $λK_n^h$ into $F_1,\ldots, F_k$ such that $F_j$ is $r_j$-regular and spanning for $1\leq j\leq k$. This paper shows that for $n>\frac{m-1}{1-2^{\frac{1}{1-h}}}+h-1$, a partial $\textbf{r}$-factorization of $λK_m^h$ can be extended to an $\textbf{r}$-factorization of $λK_n^h$ if and only if the obvious necessary conditions are satisfied.
Elementary symmetric partitions
Published
• View Publication
• BIB
Let e_k(x_1,...,x_l) be an elementary symmetric polynomial and let mu = (mu_1,...,mu_l) be an integer partition. Define pre_k(mu) to be the partition whose parts are the summands in the evaluation e_k(mu_1,...,mu_l). The study of such partitions was initiated by Ballantine, Beck, and Merca who showed (among other things) that pre_2 is injective as a map on binary partitions of n. In the present work we derive a host of identities involving the sequences which count the number of parts of a given value in the image of pre_2. These include generating functions, explicit expressions, and formulas for forward differences. We generalize some of these to d-ary partitions and explore connections with color partitions. Our techniques include the use of generating functions and bijections on rooted partitions. We end with a list of conjectures and a direction for future research.
Perfect coalition in graphs
Published
• View Publication
• BIB
\noindent A perfect dominating set in a graph $G=(V,E)$ is a subset $S \subseteq V$ such that each vertex in $V \setminus S$ has exactly one neighbor in $S$. A perfect coalition in $G$ consists of two disjoint sets of vertices $V_i$ and $V_j$ such that i) neither $V_i$ nor $V_j$ is a dominating set, ii) each vertex in $V(G) \setminus V_i$ has at most one neighbor in $V_i$ and each vertex in $V(G) \setminus V_j$ has at most one neighbor in $V_j$, and iii) $V_i \cup V_j$ is a perfect dominating set. A perfect coalition partition (abbreviated $prc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that for each set $V_i$ of $π$ either $V_i$ is a singleton dominating set, or there exists a set $V_j \in π$ that forms a perfect coalition with $V_i$. In this paper, we initiate the study of perfect coalition partitions in graphs. We obtain a bound on the number of perfect coalitions involving each member of a perfect coalition partition, in terms of maximum degree. The perfect coalition of some special graphs are investigated. The graph $G$ with $δ(G)=1$, the triangle-free graphs $G$ with prefect coalition number of order of $G$ and the trees $T$ with prefect coalition number in $\{n,n-1,n-2\}$ where $n=|V(T)|$ are characterized.
Permutation groups, partition lattices and block structures
Published in Forum of Mathematics, Sigma 13 (2025) e180
• View Publication
• BIB
Let $G$ be a transitive permutation group on $Ω$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $Ω$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties.
A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions.
We have included background and historical material on these concepts.
Vertex identification to a forest
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a graph class and $k\in\mathbb{N}$. We say a graph $G$ admits a \emph{$k$-identification to $\mathcal{H}$} if there is a partition $\mathcal{P}$ of some set $X\subseteq V(G)$ of size at most $k$ such that after identifying each part in $\mathcal{P}$ to a single vertex, the resulting graph belongs to $\mathcal{H}$. The graph parameter ${\sf id}_{\mathcal{H}}$ is defined so that ${\sf id}_{\mathcal{H}}(G)$ is the minimum $k$ such that $G$ admits a $k$-identification to $\mathcal{H}$, and the problem of \textsc{Identification to $\mathcal{H}$} asks, given a graph $G$ and $k\in\mathbb{N}$, whether ${\sf id}_{\mathcal{H}}(G)\le k$. If we set $\mathcal{H}$ to be the class $\mathcal{F}$ of acyclic graphs, we generate the problem \textsc{Identification to Forest}, which we show to be {\sf NP}-complete. We prove that, when parameterized by the size $k$ of the identification set, it admits a kernel of size $2k+1$. For our kernel we reveal a close relation of \textsc{Identification to Forest} with the \textsc{Vertex Cover} problem. We also study the combinatorics of the \textsf{yes}-instances of \textsc{Identification to $\mathcal{H}$}, i.e., the class $\mathcal{H}^{(k)}:=\{G\mid {\sf id}_{\mathcal{H}}(G)\le k\}$, {which we show to be minor-closed for every $k$} when $\mathcal{H}$ is minor-closed. We prove that the minor-obstructions of $\mathcal{F}^{(k)}$ are of size at most $2k+4$. We also prove that every graph $G$ such that ${\sf id}_{\mathcal{F}}(G)$ is sufficiently big contains as a minor either a cycle on $k$ vertices, or $k$ disjoint triangles, or the \emph{$k$-marguerite} graph, that is the graph obtained by $k$ disjoint triangles by identifying one vertex of each of them into the same vertex.
On new minimal excludants of overpartitions related to some $q$-series of Ramanujan
Published
• View Publication
• BIB
Inspired by Andrews' and Newman's work on the minimal excludant or "mex" of partitions, we define four new classes of minimal excludants for overpartitions and establish relations to certain functions due to Ramanujan.
Gallai's Path Decomposition of Levi Graph
Gallai's path decomposition conjecture states that for a connected graph $G$ on $n$ vertices, there exists a path decomposition of size $\lceil \frac{n}{2} \rceil$. The Levi graph of order one, denoted by $L_{1}(m,k)$, is a bipartite graph with vertex partition $(A,B)$, where $A$ is the collection of all $(k-1)$-element subsets of $[m]$, and $B$ is the collection of all $k$-element subsets of $[m]$. In this graph, a $(k-1)$-element subset is adjacent to a $k$-element subset if and only if it is properly contained within the $k$-element subset. The path number of a graph $G$ is the minimum size of its path decomposition. Gallai's conjecture can be seen as a conjecture on the upper bound of the path number of a connected graph. In this work, we prove the conjecture for $L_{1}(m,k)$ for all $m \ge 2 $ and $2 \le k \le m$. Moreover, we determine the path number of $L_{1}(m,2)$ for all $m$.
Minimal Matchings for dP3 Cluster Variables
Published
• View Publication
• BIB
In previous work [LM17], Tri Lai and the second author studied a family of subgraphs of the dP3 brane tiling, called Aztec castles, whose dimer partition functions provide combinatorial formulas for cluster variables resulting from mutations of the quiver associated with the del Pezzo surface dP3. In our paper, we investigate a variant of the dP3 quiver by considering a second alphabet of variables that breaks the symmetries of the relevant recurrences. This deformation is motivated by the theory of cluster algebras with principal coefficients introduced by Fomin and Zelevinsky. Our main result gives an explicit formula extending previously known generating functions for dP3 cluster variables by using Aztec castles and constructing their associated minimal matchings.
Maximum Persistent Betti Numbers of Čech Complexes
Published
• View Publication
• BIB
This note proves that only a linear number of holes in a Čech complex of $n$ points in $\mathbb{R}^d$ can persist over an interval of constant length. The proof uses a packing argument supported by relating the Čech complexes with corresponding snap complexes over the cells in a partition of space. The bound also applies to Alpha complexes and Vietoris-Rips complexes.
Bessenrodt--Ono inequalities for $\ell$-tuples of pairwise commuting permutations
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group. We consider \begin{equation*} N_{\ell}(n) := \frac{\left\vert Hom\left( \mathbb{Z}^{\ell},S_n\right) \right\vert}{n!} \end{equation*} which also counts the number of $\ell$-tuples $π=\left( π_1, \ldots, π_{\ell}\right) \in S_n^{\ell}$ with $π_i π_j = π_j π_i$ for $1 \leq i,j \leq \ell$ scaled by $n!$. A recursion formula, generating function, and Euler product have been discovered by Dey, Wohlfahrt, Bryman and Fulman, and White. Let $a,b, \ell \geq 2$. It is known by Bringman, Franke, and Heim, that the Bessenrodt--Ono inequality \begin{equation*} Δ_{a,b}^{\ell}:= N_{\ell}(a) \, N_{\ell}(b) - N_{\ell}(a+b) >0 \end{equation*} is valid for $a,b \gg 1$ and by Bessenrodt and Ono that it is valid for $\ell =2$ and $a+b >9$. In this paper we prove that for each pair $(a,b)$ the sign of $\{Δ_{a,b}^{\ell} \}_{\ell}$ is getting stable. In each case we provide an explicit bound. The numbers $N_{\ell}\left( n\right) $ had been identified by Bryan and Fulman as the $n$-th orbifold characteristics, generalizing work by Macdonald and Hirzebruch--Höfer concerning the ordinary and string-theoretic Euler characteristics of symmetric products, where $N_2(n)=p(n) $ represents the partition function.
Stability of ranks under field extensions
Published in Discrete Analysis, 2025
• Search Publication
This paper studies the stability of tensor ranks under field extensions. Our main contributions are fourfold: (1) We prove that the analytic rank is stable under field extensions. (2) We establish the equivalence between the partition rank vs. analytic rank conjecture and the stability conjecture for partition rank. We also prove that they are equivalent to other two important conjectures. (3) We resolve the Adiprasito-Kazhdan-Ziegler conjecture on the stability of the slice rank of linear subspaces under field extensions. (4) As an application of (1), we show that the geometric rank is equal to the analytic rank up to a constant factor.
Condensed Ricci Curvature on Paley Graphs and their Generalizations
Published
• View Publication
• BIB
We explore properties of generalized Paley graphs and we extend a result of Lim and Praeger by providing a more precise description of the connected components of disconnected generalized Paley graphs. This result leads to a new characterization of when generalized Paley graphs are disconnected. We also provide necessary and sufficient divisibility conditions for the multiplicative group of the prime subfield of certain finite fields to be contained in the multiplicative subgroup of nonzero $k$-th powers. This latter result plays a crucial role in our development of a sorting algorithm on generalized Paley graphs that exploits the vector space structure of finite fields to partition certain subsets of vertices in a manner that decomposes the induced bipartite subgraph between them into complete balanced bipartite subgraphs. As a consequence, we establish a matching condition between these subsets of vertices that results in an explicit formula for the condensed Ricci curvature on certain Paley graphs and their generalizations.
Fixed point counts and motivic invariants of bow varieties of affine type A
We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also obtain refined formulas on the motivic level for a class of bow varieties strictly containing Nakajima quiver varieties. These series hence generalise results of Nakajima-Yoshioka. As a special case, we obtain formulas for certain Zastava spaces. We define a parabolic analogue of Nekrasov's partition function and find an equation relating it to the classical partition function.
Geometric Markov partitions for pseudo-Anosov homeomorphisms with prescribed combinatorics
In this paper, we focus on constructing and refining geometric Markov partitions for pseudo-Anosov homeomorphisms that may contain spines. We introduce a systematic approach to constructing \emph{adapted Markov partitions} for these homeomorphisms. Our primary result is an algorithmic construction of \emph{adapted Markov partitions} for every generalized pseudo-Anosov map, starting from a single point. This algorithm is applied to the so-called \emph{first intersection points} of the homeomorphism, producing \emph{primitive Markov partitions} that behave well under iterations. We also prove that the set of \emph{primitive geometric types} of a given order is finite, providing a canonical tool for classifying pseudo-Anosov homeomorphisms. We then construct new geometric Markov partitions from existing ones, maintaining control over their combinatorial properties and preserving their geometric types. The first geometric Markov partition we construct has a binary incidence matrix, which allows for the introduction of the sub-shift of finite type associated with any Markov partition's incidence matrix -- this is known as the \emph{binary refinement}. We also describe a process that cuts any Markov partition along stable and unstable segments prescribed by a finite set of periodic codes, referred to as the $s$ and $U$-boundary refinements. Finally, we present an algorithmic construction of a Markov partition where all periodic boundary points are located at the corners of the rectangles in the partition, called the \emph{corner refinement}. Each of these Markov partitions and their intrinsic combinatorial properties plays a crucial role in our algorithmic classification of pseudo-Anosov homeomorphisms up to topological conjugacy.
Uniquely colorable hypergraphs
An $r$-uniform hypergraph is uniquely $k$-colorable if there exists exactly one partition of its vertex set into $k$ parts such that every edge contains at most one vertex from each part. For integers $k \ge r \ge 2$, let $Φ_{k,r}$ denote the minimum real number such that every $n$-vertex $k$-partite $r$-uniform hypergraph with positive codegree greater than $Φ_{k,r} \cdot n$ and no isolated vertices is uniquely $k$-colorable. A classic result by of Bollobás\cite{Bol78} established that $Φ_{k,2} = \frac{3k-5}{3k-2}$ for every $k \ge 2$.
We consider the uniquely colorable problem for hypergraphs. Our main result determines the precise value of $Φ_{k,r}$ for all $k \ge r \ge 3$. In particular, we show that $Φ_{k,r}$ exhibits a phase transition at approximately $k = \frac{4r-2}{3}$, a phenomenon not seen in the graph case. As an application of the main result, combined with a classic theorem by Frankl--Füredi--Kalai, we derive general bounds for the analogous problem on minimum positive $i$-degrees for all $1\leq i<r$, which are tight for infinitely many cases.