arXiv++ Combinatorics

Motivated by recent work on tree independence number, we study the path independence number of a graph $G$: the minimum integer $k$ such that there is a path decomposition of $G$ where each bag induces a graph with independence number at most $k$. We show that every graph excluding both an induced forest minor and an induced star has bounded path independence number. This characterises when a graph class that excludes an induced star has bounded path independence number while also partially resolving a conjecture of Dallard, Krnc, Kwon, Milani{č}, Munaro, Štorgel and Wiederrecht (2024). Furthermore, we show that graphs excluding both an apex-forest induced minor and an induced star have bounded tree independence number. As a consequence, for every fixed apex-forest $H$ and integer $t$, there is a polynomial-time algorithm to test whether a $K_{1,t}$-induced-subgraph-free graph contains $H$ as an induced minor. Moreover, it follows that the Maximum Weight Independent Set problem, as well as several other NP-hard problems, can be solved in polynomial-time on $K_{1,t}$-induced-subgraph-free graphs that exclude $H$ as an induced minor.

We consider a random subgraph $G_p(n,r,<s)$ of the complete distance graph $G(n,r,<s)$ whose vertices are the $r$-element subsets of the set $\{1,\dots,n\}$ and whose edges join pairs of subsets that intersect in fewer than $s$ elements; each edge survives independently of the others with probability $p$. The independence number of the graph $G(n,r,<s)$ equals $C_{n-s}^{r-s}$ -- this is the classical Erdos-Ko-Rado theorem. We prove that, for $r=r(n)\to\infty$, $s=s(n)\to\infty$, $s=o(r)$, $r^2=o(n)$ and $p\ge 16\,sr^2\ln(n/r)/n$, with probability tending to 1 the independence number of the random graph $G_p(n,r,<s)$ also equals $C_{n-s}^{r-s}$, i.e., the Erdos-Ko-Rado result is stable under random sparsification of the graph. Thereby, in the range of parameters $s\to\infty$, $s=o(r)$, a recent result of Raigorodskii and Karas is strengthened: the lower bound on the probability $p$ that guarantees stability is lowered by a factor of about $r/s$.

We resolve two open problems regarding uniquely colorable Cayley graphs posed by Klotz and Sander (2017). First, we construct an infinite family of uniquely 3-colorable integral circulant graphs with a clique number of 2. This provides a negative answer to Problem 3.6, which asks whether every uniquely colorable circulant graph satisfies $χ(G) = ω(G)$. Because verifying unique colorability inherently relies on the exact independence number, we demonstrate that traditional spectral bounds fail to tightly capture this parameter, necessitating a rigorous combinatorial proof based on exact structural isomorphisms. Second, we establish a general algebraic construction proving the existence of uniquely colorable Cayley graphs over nonabelian groups whose color classes are left cosets of strictly distinct subgroups. By utilizing right-coset partitions of non-normal subgroups, this result provides a definitive affirmative answer to Problem 2.4.

We give a nibble-free construction proving $R(3,k)\ge(1/200+o(1))k^2/\log k$. We also include Shearer's proof bounding the independence number of a triangle-free graph, which implies $R(3,k)\le (1+o(1))(k^2/\log k)$.

For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.

For a finite graph $G$ on $n$ vertices, let $η(G)$ denote the least order of a finite abelian group $Γ$ for which $G$ is an induced subgraph of some Cayley graph of $Γ$. Babai and Sós (1985) settled the worst-case order of magnitude: it is $Θ(n^2)$. We treat $η$ instead as an invariant of the individual graph, minimised over all finite abelian groups rather than over the cyclic groups alone, which is the restriction implicit in the literature on representation numbers modulo $n$. We prove a local order floor: $η(G)$ is at least the maximum of $n$ and twice the largest independence number of a neighbourhood of $G$. This localises at an arbitrary vertex the correspondence of Babai and Sós between induced stars and sum-free sets; a corollary of the classification of maximum sum-free sets in abelian groups does not lower this floor, but restricts which host orders are admissible and so prunes the search. We determine $η$ exactly for paths, where it equals $n+1$, and for complete bipartite graphs $K_{a,b}$, where it equals $2\max(a,b)$ and meets the floor. A Cartesian product bound gives $η(P_m \,\square\, P_m) = (1+o(1))n$. We report certified exact values of $η$ for $22$ graphs, computed over all abelian groups. Seventeen of the $22$ optimal hosts are cyclic, so on most of these graphs the cyclic restriction costs nothing; where it bites, however, it is expensive. A search restricted to cyclic groups returns $36$ for the Petersen graph against the true value $16$, and $59$ for the Frucht graph against $27$. The cost of the restriction is concentrated rather than diffuse, and we identify the graphs on which it is paid. We also determine $η$ exactly for the double stars $D_{q,q}$ with $2 \le q \le 6$, obtaining $5q$ in each case. Since $η(D_{6,6}) = 30$ exceeds $2n = 28$, no constant below $15/7$ can bound $η(T)/n$ over all trees.

We confirm a conjecture of Brause, Randerath, Rautenbach and Schiermeyer (2016) by proving a localized lower bound on the independence number of a graph that strengthens the classical bounds of Fajtlowicz (1978) and of Caro (1979) and Wei (1981), which in turn settles a conjecture by Bertram and Horák (1996). Our proof is based on a new Motzkin--Straus-type inequality involving local clique numbers and the independence number. We then apply the developed methods to study spectral and algebraic measures of graph bipartiteness. In particular, we extend a theorem of Brandt (1998) on spectral bipartiteness from regular $K_{r+1}$-free graphs to all $K_{r+1}$-free graphs, we improve a general upper bound for the least signless Laplacian eigenvalue of $K_{r+1}$-free graphs, and we disprove a conjecture of de Lima, Nikiforov and Oliveira (2016) in the case of $K_4$-free graphs.

For a connected and non-complete graph $G$ of order $n$, its toughness is defined as \[ τ(G)=\min\bigl\{|S|/c(G-S):S\subseteq V(G),\ c(G-S)>1\bigr\}, \] where $c(G-S)$ denotes the number of components of $G-S$. Let $α(G)$ denote the independence number of $G$. An elementary bound on toughness is $$τ(G)\leq\frac{n-α(G)}{α(G)}.$$ Let $G(n,p)$ be the binomial random graph on vertex set $[n]$. Set $a=α(G(n,p))$. In this paper, we prove that \[ τ(G(n,p))=\frac{n-a}{a}+o(1) \] with high probability. Moreover, we show that there is a sequence $n_m\to\infty$ such that with high probability, \[ τ(G(n_{m},p)) \le\frac{n_{m}-a}a-\frac{1}{a}. \]

The singular difference graph, denoted by $Γ$, of the vector space of square matrices over a field is a graph whose vertex set is the set of all elements of the vector space, where two distinct vertices are adjacent if and only if the difference of the corresponding matrices is singular. In this paper, we investigate fundamental graph-theoretic properties of $Γ$, including connectivity, diameter, regularity, the Eulerian property, independence number, clique number, and domination number. We show that $Γ$ is a connected regular graph with diameter two. Over finite fields, we obtain an explicit formula for the degree of each vertex and characterize precisely when $Γ$ is Eulerian. We determine the independence number and clique number and provide explicit constructions attaining these values using companion matrices of irreducible polynomials. We also construct an explicit dominating set, yielding an upper bound for the domination number.

We prove a Schur alpha-omega lemma for chromatic symmetric functions. It bounds the partitions indexing nonzero Schur coefficients in terms of higher independence numbers, higher clique numbers, and the chromatic number. We then establish three equivalent dominance-matching criteria: matrix, Hall, and order-ideal, that certify Schur positivity from a fixed signed $e_I$-expansion. As applications, we obtain complete classifications of $e$-positivity and Schur positivity for four basic families of $3$-clique-spiders. Here $S^{ghk}_{rst}$ is formed by joining a common center to one vertex of each of $K_r$, $K_s$, and $K_t$ by internally disjoint paths of lengths $g$, $h$, and $k$, respectively. As a result, $S^{000}_{rst}$ is Schur positive exactly when $r\ge st-1$, and every graph $S^{100}_{rst}$ and $S^{010}_{rst}$ is Schur positive. When $s=t$, the graph $S^{001}_{rst}$ is Schur positive; when $s>t$, its Schur-positive members fall into four explicit parameter regimes. We also introduce a path-clique bootstrap and use it to prove that every spider $S(a,b,2)$ is Schur positive. Finally, we prove that the spider $S(a,b,2)$ for $a\ge b\ge2$ with $3\nmid b$ is $e$-positive if and only if $(a,b)\in\{(6,4),(12,4),(9,7)\}$, which advances the study of Tom's conjecture concerning the $e$-positivity of spiders $S(a,b,2)$.

For admissible integers $n,α,k$, let $f(n,α,k)$ be the minimum number of edges in a $k$-connected graph of order $n$ and independence number $α$. A conjecture of Bougard and Joret predicts that $f(n,α,k)=\lceil nk/2\rceil$ when $n\leq kα$, under the assumptions $n\geq2α$, $n\geqα+k$, $α\geq2$, and $k\geq3$. We disprove this prediction, determine $f(n,α,k)$ throughout the boundary $n=α+k$, and characterize every extremal graph on that boundary. In particular, for every $k\geq4$, \[ f(2k-1,k-1,k)=k^2-1, \] whereas the conjectured value is $k^2-\lfloor k/2\rfloor$. The extremal graphs in this family are precisely $\overline K_{k-1}\join T$, where $T$ is an arbitrary tree of order $k$. The smallest-order failure has parameters $(n,α,k)=(7,3,4)$, and no admissible counterexample has smaller order.

For a graph $G$, let $h(G)$ be the minimum cardinality of a vertex set meeting every maximum independent set of $G$. We establish two complementary reduction principles for the Bollobás--Erdős--Tuza conjecture: the conjecture for arbitrary graphs is equivalent to its restriction to regular graphs of any fixed positive linear degree, and, within every hereditary graph class, a uniform sublinear bound is equivalent to a sublinear bound on graphs of every fixed positive linear vertex connectivity. We prove the sharp general estimate \[ h(G)\le \left\lfloor\frac{|V(G)|}{2α(G)+δ(G)-|V(G)|}\right\rfloor \] whenever the denominator is positive, with equality for balanced complete multipartite graphs. Consequently, every $3$-colorable graph of order $n$ with $κ(G)\geρn$ and $ρ>1/3$ has a hitting set of size at most $\lfloor(ρ-1/3)^{-1}\rfloor$; direct use of a $3$-coloring improves this to $6$ when $κ(G)>4n/9$ and to the sharp bound $3$ when $κ(G)>n/2$. For dense regular graphs with independence ratio greater than $1/4$, we obtain a logarithmic bound, while constructions with linear degree and linear independence number show that $h(G)=Ω(\sqrt n)$ can still occur. We also prove a logarithmic bound for near-regular $3$-colorable graphs and exhibit a critical family at connectivity $n/3$ that explains the limitations of the degree-surplus and degree-ratio methods.

A set S of vertices of a graph is odd independent if it is independent and every vertex outside S has either zero or an odd number of neighbors in S. The largest size of such a set is the odd independence number alpha_od. Caro, Petrusevski, Skrekovski and Tuza [2] conjectured that alpha_od = 1 for every finite Queen graph. They also asked whether the infinite Queen graph has alpha_od = 1 or alpha_od = infinity. We prove that alpha_od = 1 in both cases. In particular, in the case of an infinite board we prove that alpha_od = 1 holds on the quarter plane and on the whole plane.

We initiate a systematic study of Inc-invariant chains of graphs, the combinatorial counterparts of Inc-invariant chains of edge ideals arising in the theory of equivariant Noetherianity. Such a chain consists of graphs on growing vertex sets whose edge sets are compatible with the action of the monoid of strictly increasing maps on the positive integers. We show that several associated combinatorial invariants exhibit rigid asymptotic behavior. The independence number eventually stabilizes, and every fixed entry of the $f$-vector and the $h$-vector of the independence complex is eventually linear. For clique complexes, every fixed entry of the $f$-vector is eventually polynomial, whereas the entries of the $h$-vector are eventually quasi-polynomial. Moreover, the clique and chromatic numbers are eventually quasi-linear, and their difference is eventually at most one. We also prove that the matching number eventually attains the maximal value $\lfloor n/2\rfloor$. Finally, admissible and minimal paths eventually have lengths at most $3$ and $5$, respectively, and their maximal lengths stabilize. These results reveal strong asymptotic regularity in graph families governed by increasing symmetry.

Let k and l be two non-negative integers with k > l. A graph G is (k,l)-stable if alpha(G - S) >= alpha(G) - l for every subset S of V(G) with |S| = k, where alpha(G) denotes the independence number of G. Dong and Wu established that alpha(G) <= floor((n - k + 1)/2) + l for a (k, l)-stable graph G, where n is the order of G. A (k, l)-stable graph G is tight if alpha(G) = floor((n - k + 1)/2) + l. In this paper, we provide a complete characterization of tight (k, 0)-stable graphs for k >= 4. In particular, we prove that tight (k, 0)-stable graphs are K_{k+1} and K_{k+2} for k >= 5, which not only extends the result of Liu, Song and Wang [J. Graph Theory 110(2) (2025), 193-199] from k >= 24 to k >= 5, but also proves the conjecture of Dong and Luo [Electron. J. Comb. 32(4) (2025), 4-45] once more.

We exhibit two explicit circulant graphs of prime order $251$ that are $K_4$-free and have independence number $19$. Consequently \[R(4,20)\ge 252.\] These improve the bound $R(4,20)\ge 237$ given by Nagda, Raghavan, Thakurta and the long standing bound $R(4,21)\ge 242$ recorded in Radziszowski's dynamic survey. The graphs are $32$-subsets of a pair of undirected quintic cyclotomic classes modulo $251$, in analogy with the quartic-residue circulant of order $313$ used for $R(4,22)$. Clique-freeness is elementary; the independence-number claims are certified by a bitset branch-and-bound on the $186$-vertex residual of a vertex.

Kühn, Sauermann, Steiner and Wigderson recently disproved the Odd Hadwiger Conjecture, even for graphs with independence number 2. For this class of graphs the conjecture is known to be equivalent to the following: every $n$-vertex graph $G$ with independence number 2 contains $K_{\lceil \frac n2 \rceil}$ as an odd minor. While this does not hold, we prove that every graph $G$ with independence number 2 contains $K_{\lceil \frac n2 \rceil}$ as an odd minor or as a totally odd immersion.

Let G = UT(4; p) be the group of all 4 ? 4 unitriangular matrices over the fi?nite fi?eld Fp, where p is a prime. Using the six-parameter form of the elements of G, we describe the commutativity relation explicitly and use it to analyse the struc- ture of the graph. We prove that the reduced commuting graph is connected and has diameter 3. We also determine the size of its maximal cliques, chromatic number, independence number, per- fectness, etc. by decomposing the graph into cosets, layers, and direction parts.

We develop a unified framework for constructing combinatorial structures under local constraints. Our approach extends the configuration model for random graphs with a prescribed degree sequence, and covers many special cases, including bipartite graphs, directed graphs, oriented graphs, edge-colored (bipartite) graphs, and (directed) hypergraphs. By reformulating half-edge matching as an independent set problem in an auxiliary graph, we identify 2-uniformity, a property characterising when greedy sampling preserves asymptotic uniformity. We classify all 2-uniform graphs and show that only two classes, the configuration space and the bipartite configuration space, have unbounded independence number, enabling the asymptotic regime. Our main theorem then gives the asymptotic sampling distribution and enumeration formulae for configurations, with error terms of order $O(d_{\max}^4\log m/m+d_{\max}^2(\log m)^2/m)$ as the number of edges $m$ tends to infinity with maximum degree $d_{\max}=O(m^{1/4}/\log m)$. This settles the long-standing $O(m^{1/4-τ})$ bound (for some fixed $τ> 0$), making the critical exponent explicit. Furthermore, our theorem accommodates forbidden edges, provided that each vertex participates in at most $O(m^{1/4}/\log m)$ of them. In particular, this enables the sampling of edge-colored graphs with prescribed degree sequences for each color class by constructing the colored subgraphs one at a time.

We study the maximum size of an independent set in the graph of a simplicial sphere. Let $β(d,n)$ denote this maximum over all simplicial $(d-1)$-spheres on $n$ vertices, and let $α(d,n)$ denote the maximum restricted to flag $(d-1)$-spheres. For every fixed $d\geq4$, we prove $β(d,n)=n-Θ(n^{1/\lfloor d/2\rfloor})$. For flag spheres, we show $α(d,n)\geq n-4\sqrt n+O(1)$ for all $d\geq4$ and determine the correct asymptotic order $α(d,n)=n-Θ(\sqrt n)$ for dimensions $d=4,5$. We also investigate the independence sets of Bier spheres and show that, in contrast to our other results, for this very large family of spheres, the independence number cannot be larger than $\left\lfloor\frac{n}{2}\right\rfloor.$