arXiv++ Combinatorics

A result of Pyber states that every finite group $G$ contains an abelian subgroup whose order is quasi-polynomially large in $\lvert G\rvert$. We prove a similar result for $K$-approximate subgroups of solvable groups under only modest restrictions on $K$. We show that, if $A$ is a finite $K$-approximate group contained in some solvable group, then some abelian group intersects $A^4$ in at least $\exp(Ω(\log^{1/6}\lvert A\rvert/\log 2K))$ elements. We also prove a similar result for approximate subgroups of finite groups with no large alternating subquotients. Along the way, we obtain polynomial (instead of quasi-polynomial) bounds for the same statement of approximate subgroups of linear groups. We give two applications. Firstly, we consider the conjecture of Alon that every finite group $G$ admits a Cayley graph with clique number and independence number $O(\log\lvert G\rvert)$. Conlon, Fox, Pham, and Yepremyan have recently proven that, for almost all positive integers $N$, every abelian group of order $N$ satisfies Alon's conjecture. Extending their result, we verify Alon's conjecture for all (not necessarily abelian) groups of almost all orders. Secondly, we prove a "local" version of Roth's theorem in (many) non-abelian settings with quasi-polynomial bounds, using the recent breakthroughs of Kelley and Meka on Roth's theorem and of Jaber, Liu, Lovett, Ostuni, and Sawhney on the corners problem.

For a real number $c > 4$, we prove that every graph $G$ with $α(G) \leq 2$ and $|V(G)| \geq ct$ has a matching $M$ with $|M| = t$ such that the number of non-adjacent pairs of edges in $M$ is at most: \begin{equation*} \left( \frac{1}{c\left(c-1\right)^2} + O_c\left(t^{-1/3} \right) \right) \binom{t}{2}. \end{equation*} This is related to an open problem of Seymour (2016) about Hadwiger's Conjecture, who asked if there is a constant $\varepsilon > 0$ such that every graph $G$ with $α(G) \leq 2$ has $\text{had}(G) \geq (\frac{1}{3} + \varepsilon) |V(G)|$.

We investigate the minimal free resolutions of closed neighborhood ideals of graphs within the framework of Barile-Macchia (BM) resolutions. We show that for any tree $T$, the closed neighborhood ideal $NI(T)$ is bridge-friendly, and hence its BM resolution is minimal. The combinatorial structure of trees further allows us to construct a maximal critical cell of size $α(T)$, leading to the equality $\mathrm{pdim}(R/NI(T)) = α(T)$, where $α(T)$ denotes the independence number of $T$ and $\mathrm{pdim}$ is the projective dimension. Using Betti splitting techniques, we also obtain explicit formulas for the graded Betti numbers of $NI(P_n)$, where $P_n$ is the path graph on $n$ vertices. Finally, we make some observations on the bridge-friendly condition of the closed neighborhood ideals of chordal and bipartite graphs.

The ultimate independence ratio of a graph $G$ is defined as $\mathscr{I}(G) = \lim_{k\rightarrow\infty } \frac{α(G^{\Box k})}{|V(G)|^k},$ where $α(G^{\Box k})$ is the independence number of the Cartesian product of $k$ copies of $G$. For all graphs $G$, Hahn, Hell, and Poljak (1995) proved that $\frac{1}{χ(G)} \leq \mathscr{I}(G) \leq \frac{1}{ω(G)}$ where $χ(G)$ is the chromatic number, and $ω(G)$ is the clique number of $G$. So all graphs $G$ with $χ(G) = ω(G)$ satisfy $\mathscr{I}(G) = \frac{1}{χ(G)} = \frac{1}{ω(G)}$. A construction of Zhu demonstrates that there exists a graph $G$ with $\frac{1}{χ(G)} < \mathscr{I}(G) < \frac{1}{ω(G)}$, so neither equality holds in general. In response, Hahn, Hell, and Poljak conjectured that all wheel graphs $W_n$ satisfy $\mathscr{I}(W_n) = \frac{1}{χ(W_n)}$. For even wheels $W_{2t}$ this follows from the fact $χ(W_{2t}) = ω(W_{2t}) = 3$. Odd wheels of length at least $5$ present a more challenging case, since $χ(W_{2t+1}) = 4$ and $ω(W_{2t+1}) = 3$. First, we prove that odd wheels of length at least $7$ satisfy $\mathscr{I}(W_{2t+1})\leq \frac{4t^2+6t}{3(2t+2)^2}<\frac{1}{3}$, which provides the best upper bound for large odd wheels. Next, we prove that $\mathscr{I}(W_5) \leq \frac{1019}{3888}$, improving an upper bound of Hahn, Hell, and Poljak that $\mathscr{I}(W_5) \leq \frac{11}{41}$. Our proofs combine counting arguments, recursive bounds on $α(W^{\Box k}_{2t+1})$, and computer-assisted calculation in the $W_5$ case.

A set of Pauli stings is well characterized by the graph that encodes its commutatitivity structure, i.e., by its frustration graph. This graph provides a natural interface between graph theory and quantum information, which we explore in this work. We investigate all aspects of this interface for a special class of graphs that bears tight connections between the groundstate structures of a spin systems and topological structure of a graph. We call this class $\hbar$-perfect, as it extends the class of perfect and $h$-perfect graphs. Having an $\hbar$-perfect graph opens up several applications: we find efficient schemes for entanglement detection, a connection to the complexity of shadow tomography, tight uncertainty relations and a construction for computing good lower on bounds ground state energies. Conversely this also induces quantum algorithms for computing the independence number. Albeit those algorithms do not immediately promise an advantage in runtime, we show that an approximate Hamilton encoding of the independence number can be achieved with an amount of qubits that typically scales logarithmically in the number of vertices. We also we also determine the behavior of $\hbar$-perfectness under basic graph operations and evaluate their prevalence among all graphs.

A graph $G$ is $m$-joined if there is an edge between every two disjoint $m$-sets of vertices. In this paper, we prove that for any $\varepsilon>0$ and sufficiently large $m, n\in \mathbb{N}$ with $m \le n^{1-\varepsilon}$, every $n$-vertex $m$-joined graph $G$ contains a minor with density $Ω\!\left(\tfrac{n}{\sqrt{m}}\right)$, which is best possible up to a constant factor. When $m \ge n^{1-\varepsilon}$, we further show that $G$ contains a clique minor of order $Ω\!\left(\tfrac{n}{\sqrt{m\log m}}\right)$.

The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$ but $HK \ne G$. This graph arises naturally as the difference between the join graph $Δ(G)$ and the comaximal subgroup graph $Γ(G)$. In this paper, we initiate a systematic study of $D(G)$ and its reduced version $D^*(G)$, obtained by removing isolated vertices. We establish several fundamental structural properties of these graphs, including conditions for connectivity, forbidden subgraph characterizations, and the relationship between graph parameters - such as independence number, clique number, and girth - and the solvability or nilpotency of the underlying group. The paper concludes with a discussion of open problems and potential directions for future research.

Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.

In this paper we obtain the stability theorem for the independence number of $G(n, r, 1)$ graphs. This result was previously stated in the paper of M. Pyaderkin but the proof there was incorrect. We introduce the correct proof of the key lemma and thus finally complete the proof of this theorem.

For a graph $G$, its $k$-th graph power $G^k$ is constructed by placing an edge between two vertices if they are within distance $k$. We consider the problem of deriving upper bounds on the Shannon capacity of graph powers by using spectral graph theory and linear optimization methods. First, we use the so-called ratio-type bound to provide an alternative and spectral proof of a result by Lovász [IEEE Trans. Inform. Theory 1979], which states that, for a regular graph, the Hoffman ratio bound on the independence number is also an upper bound on the Lovász theta number and, hence, also on the Shannon capacity. In fact, we show that Lovász' result holds in the more general context of graph powers. Secondly, we derive another bound on the Shannon capacity of graph powers, the so-called rank-type bound, which depends on a new family of polynomials that can be computed by running a simple algorithm. Lastly, we provide several computational experiments that demonstrate the sharpness of the two proposed algebraic bounds. As a byproduct, when these two new algebraic bounds are tight, they can be used to easily derive the exact values of the Lovász theta number (which relies on solving an SDP) and the Shannon capacity (which is not known to be computable) of the corresponding graph power.

In this note we generalize the results of the recent work by Tom Bohman and Jacob Hofstad on the independence number in G(n, p) to the case of the random k-uniform hypergraph. Concentration in two values occurs in the regime $p>n^{-(k-1)k/(k+1)+\varepsilon}$.

Hadwiger's Conjecture from 1943 states that every graph with chromatic number $t$ contains a $K_t$ minor. Illingworth and Wood [arXiv:2405.14299] introduced the concept of a ``dominating $K_t$ minor'' and asked whether every graph with chromatic number $t$ contains a dominating $K_t$ minor. This question is a substantial strengthening of Hadwiger's Conjecture. Norin referred to it as the ``Dominating Hadwiger's Conjecture'' and believes it is likely false. In this paper we first observe that a $t$-chromatic $G$ on $n$ vertices with independence number $α(G)\le2$ contains a dominating $K_t$ minor if and only if $G$ contains a dominating $K_{\lceil n/2\rceil}$ minor. Building on this and using a deep result of Chudnovsky and Seymour on packing seagulls, we prove that every graph $G$ on $n$ vertices with $α(G)\le 2$ and $2ω(G)\ge \lceil n/2\rceil+1$ satisfies the Dominating Hadwiger's Conjecture, where $ω(G)$ denotes the clique number of $G$. We further prove that every $H$-free graph $G$ with $α(G)\le 2$ satisfies the Dominating Hadwiger's Conjecture, where $H\in\{2K_1+P_4, K_2+2K_2, K_2+(K_1\cup K_3), K_1+(K_1\cup K_5), W_5^<, W_5^-, W_5, K_7^<, K_7^-, K_7\}$, or $H\ne K_2\cup K_3$ is any graph on at most five vertices such that $α(H)\le2$.

This work establishes combinatorial bounds on the Castelnuovo-Mumford regularity of edge ideals for trees and their multi-whiskered variants. For a tree \( T \), we give bounds for the Castelnuovo-Mumford regularity of \( I(T) \) in terms of the order, diameter, and number of pendant vertices. Furthermore, we present an upper bound for multi-whiskered trees \( T_{\mathbf{a}} \), demonstrating that the Castelnuovo-Mumford regularity of \( I(T_{\mathbf{a}}) \) is bounded by the same invariants of the underlying tree \( T \). A principal consequence of this work is the derivation of corresponding inequalities for two key combinatorial invariants of \( T \), namely the induced matching number \( \operatorname{im}(T) \) and the independence number \( α(T) \).

Let $G$ be a graph. We denote by $c(G)$, $α(G)$ and $q(G)$ the number of components, the independence number and the signless Laplacian spectral radius ($Q$-index for short) of $G$, respectively. The toughness of $G$ is defined by $t(G)=\min\left\{\frac{|S|}{c(G-S)}:S\subseteq V(G), c(G-S)\geq2\right\}$ for $G\neq K_n$ and $t(G)=+\infty$ for $G=K_n$. Chen, Gu and Lin [Generalized toughness and spectral radius of graphs, Discrete Math. 349 (2026) 114776] generalized this notion and defined the $l$-toughness $t_l(G)$ of a graph $G$ as $t_l(G)=\min\left\{\frac{|S|}{c(G-S)}:S\subset V(G), c(G-S)\geq l\right\}$ if $2\leq l\leqα(G)$, and $t_l(G)=+\infty$ if $l>α(G)$. If $t_l(G)\geq t$, then $G$ is said to be $(t,l)$-tough. In this paper, we put forward $Q$-index conditions for a graph to be $(b,l)$-tough and $(\frac{1}{b},l)$-tough, respectively.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdotχ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. In the present work, which is a companion to our first paper on the subject [The odd independence number of graphs, I: Foundations and classical classes], we focus on grid-like and chessboard-like graphs and compute or estimate their odd independence number and their strong odd chromatic number. Among the many results obtained, the following give the flavour of this paper: (1) $0.375 \leq \varrho_{od}(P_\infty \Box P_\infty) \leq 0.384615...$, where $\varrho_{od}(P_\infty \Box P_\infty)$ is the odd independence ratio. (2) $χ_{so}(G_d) = 3$ for all $d \geq 1$, where $G_d$ is the infinite $d$-dimensional grid. As a consequence, $\varrho_{od}(G_d) \geq 1/3$. (3) The $r$-King graph $G$ on $n^2$ vertices has $α_{od}(G) = \lceil n/(2r+1) \rceil^2$. Moreover, $χ_{so}(G) = (2r + 1)^2$ if $n \geq 2r + 1$, and $χ_{so}(G) = n^2$ if $n \leq 2r$. Many open problems are given for future research.

We derive exact values and new bounds for the Shannon capacity of two families of graphs: the $q$-Kneser graphs and the tadpole graphs. We also construct a countably infinite family of connected graphs whose Shannon capacity is not attained by the independence number of any finite strong power. Building on recent work of Schrijver, we establish sufficient conditions under which the Shannon capacity of a polynomial in graphs, formed via disjoint unions and strong products, equals the corresponding polynomial of the individual capacities, thereby reducing the evaluation of such capacities to that of their components. Finally, we prove an inequality relating the Shannon capacities of the strong product of graphs and their disjoint union, which yields alternative proofs of several known bounds as well as new tightness conditions. In addition to contributing to the computation of the Shannon capacity of graphs, this paper is intended to serve as an accessible entry point to those wishing to work in this area.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdot χ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. We develop several basic inequalities concerning $α_{od}(G)$, and use already existing results on strong odd coloring, to derive lower bounds for odd independence in many families of graphs. We prove that $α_{od}(G) = α(G^2)$ holds for all claw-free graphs $G$, and present many results, using various techniques, concerning the odd independence number of cycles, paths, Moore graphs, Kneser graphs, the complete subdivision $S(K_n)$ of $K_n$, the half graphs $H_{n,n}$, and $K_p \Box K_q$. Further, we consider the odd independence number of the hypercube $Q_d$ and also of the complements of triangle-free graphs. Many open problems for future research are stated.

An eternal dominating family of graph $G$ in the eviction game is a collection $\mathcal{D}_{k}=\{D_{1},...,D_{l}\}$ of dominating sets of $G$ such that (a) $|D_{i}|=|D_{j}|$ for all $i,j\in\{1,2,...,l\}$, and (b) for any $i\in \{1,2,...,l\}$ and any $v\in D_{i}$, either all neighbours of $v$ belong to $D_{i}$, or there are a neighbour $w$ of $v$ not in $D_{i}$ and an integer $j\in\{1,2,...,l\}\setminus\{i\}$ such that $D_{i}\cup\{w\}\setminus \{v\}=D_{j}$. The eviction number of $G$, denoted by $e^{\infty}(G)$, is the smallest cardinality of the sets in such an eternal dominating family. We compare $e^{\infty}$ to the independence number $α$. We show that the ratio $α/e^{\infty}$ is unbounded and construct an infinite class of connected graphs for which $e^{\infty}/α\approx 4/3$. As our main result, we use Ramsey numbers to show that for any integer $k\geq1$, there exists a function $f(k)$ such that any graph with independence number $k$ has eviction number at most $f(k)$.

The inducibility of a graph $H$ is about the maximum number of induced copies of $H$ in a graph on $n$ vertices. We consider its edge version, that is, the maximum number of induced copies of $H$ in a graph with $m$ edges. Let $c(G,H)$ be the number of induced copies of $H$ in $G$ and $ρ(H,m) = \max \{c(G,H) \mid |E(G)| = m\}$. For any graph $H$, we prove that $ρ(H,m) = Θ(m^{α_f(H)})$ where $α_f(H)$ is the fractional independence number of $H$. Therefore, we now focus on the constant factor in front of $m^{α_f(H)}$. In this paper, we give some results of $ρ(H,m)$ when $H$ is a cycle or path. We conjecture that for any cycle $C_k$ with $k \ge 5$, $ρ(C_k,m)= (1+o(1))\left( m/k\right)^{k/2}$ and the bound achieves by the blow up of $C_k$. For even cycles, we establish an upper bound with an extra constant factor. For odd cycles, we can only establish an upper bound with an extra factor depending on $k$. We prove that $ρ(P_{2l},m) \le \frac{m^l}{2(l-1)^{l-1}}$ and $ρ(P_{2l+1},m) \le \frac{m^{l+1}}{4l^l}$, where $l \ge 2$. We also conjecture the asymptotic value of $ρ(P_k, m)$. The entropy method is mainly used to prove our results.

Given $r\in \mathbb{N}$ with $r\geq 4$, we show that there exists $n_0\in \mathbb{N}$ such that for every $n\geq n_0$, every $n$-vertex graph $G$ with $δ(G)\geq (\frac{1}{2}+o(1))n$ and $α_{r-2}(G)=o(n)$ contains a $K_{r}$-factor. This resolves the first open case of a question proposed by Nenadov and Pehova, and reiterated by Knierm and Su. We further introduce two lower bound constructions that, along with some known results, fully resolve a question presented by Balogh, Molla, and Sharifzadeh.