arXiv++ Combinatorics

As a directed analog of Sidorenko's conjecture in extremal graph theory, Fox, Himwich, Zhou, and the second author defined an oriented graph $H$ to be tournament Sidorenko (anti-Sidorenko) if the random tournament asymptotically minimizes (maximizes) the number of copies of $H$ among all tournaments. We prove new inequalities of this form for oriented trees and cycles, considering both local and global notions of the Sidorenko property. We make progress on a conjecture of the aforementioned authors that every tree has an anti-Sidorenko direction, and give a characterization of short paths. For long paths we show that orientations are split symmetrically between being locally Sidorenko and anti-Sidorenko, yet almost all orientations are not globally Sidorenko. Finally, we give algorithms characterizing the local Sidorenko status of paths and cycles when the number of vertices is not divisible by four.

The online Ramsey turnaround game is a game between two players, Builder and Painter, on a board of $n$ vertices using $3$ colors, for a fixed graph $H$ on at most $n$ vertices. The goal of Painter is to force a monochromatic copy of $H$, the goal of Builder is to avoid this as long as possible. In each round of the game, Builder exposes one new edge and is allowed to forbid the usage of one color for Painter to color this newly exposed edge, and Painter colors the edge according to this restriction. The game is over as soon as Painter manages to achieve a monochromatic copy of $H$. For sufficiently large $n$, we consider the smallest number $f(n, H)$ of edges so that Painter can always win after $f(n, H)$ edges have been exposed by Builder. In addition, we define $f(H)$ to be the smallest $n$ such that Painter can always win on a clique with $n$ vertices. We give bounds for both functions and show that this problem is closely related to other concepts in extremal graph theory, such as polychromatic colorings, set-coloring Ramsey numbers, chromatic Ramsey numbers, and 2-color Turán numbers.

Given a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-saturated if it is $\mathcal{F}$-free but the addition of any missing edge creates a copy of some $F \in \mathcal{F}$. The study of the minimum number of edges in $\mathcal{F}$-saturated graphs is a central topic in extremal graph theory. Let $(p+1)K_2$ denote a matching of size $p+1$. Determining the minimum number of edges in a $(p+1)K_{2}$-saturated graph is a fundamental question in this area, explicitly posed as Problem 9 in the survey by Faudree et al. (2011). In this paper, we refine the structural analysis of $(p+1)K_2$-saturated graphs and derive an explicit formula for the number of edges in terms of a single integer parameter. By minimizing this formula we determine $\mathrm{sat}(n,(p+1)K_2)$ for all $n>2p$, thereby resolving Problem 9 in full generality and extending earlier results of Kászonyi--Tuza (1986) and Zhang--Lu--Yu (2024). Moreover, by maximizing the same formula we recover the classical Erdős--Gallai (1959) upper bound on the number of edges in such graphs.

Confirming a conjecture of Elphick and Edwards and strengthening a spectral theorem of Wilf, Nikiforov proved that for any $K_{r+1}$-free graph $G$, $λ(G)^2 \leq 2 (1 - 1/r) m$, where $λ(G)$ is the spectral radius of $G$, and $m$ is the number of edges of $G$. This result was later improved in \cite{LiuN26}, where it was shown that for any graph $G$, $λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)}$, where $\mathrm{cl}(e)$ denotes the order of the largest clique containing the edge $e$. In this paper, we further extend this inequality to weighted graphs, proving that \[ λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)} w(e)^2, \] and we characterize all extremal graphs attaining this bound. Our main theorem yields several new consequences, including two vertex-based and vertex-degree-based local versions of Turán's theorem, as well as weighted generalizations of the Edwards--Elphick theorem and the Cvetković theorem, and two localized versions of Wilf's theorems. One of these localized Wilf's theorem confirms a conjecture that originates from Probability and Operator Algebras and was proposed by R. Tripathi independently of us. Moreover, our main result unifies and implies numerous earlier ones from spectral graph theory and extremal graph theory, including Stanley's spectral inequality, Hong's inequality, a localized Turán-type theorem, and a recent extremal theorem by Adak and Chandran. Notably, while Nikiforov's earlier spectral inequality implied Stanley's bound, it did not imply Hong's inequality -- a gap that is now bridged by our result. As a key tool, we establish the inequality $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)} \geq n-1$, which complements an upper bound $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)-1} \leq n^2 - 2m$ due to Bradač, and Malec and Tompkins, independently.

Given a fixed graph H, we say that a graph G is H-free if G does not contain H as a subgraph. The Turán number ex(n, H) of H is the maximum number of edges in an n-vertex H-free graph. The study of Turán number of graphs is a central topic in extremal graph theory. The purpose of this article is to present some well-known results about this field but also to prove the Erdős-Stone-Simonovits theorem in an original manner.

A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural following up problem would be to seek an $H$-factor, which a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method of obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$. As an application, we proved that, for all $\varepsilon>0$ and $\ell$ sufficiently large, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon) k \ell$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.

In this paper, we establish bounds on the topological index -- the Sigma index -- focusing on analyzing the upper bound of its maximum value, which is known as $σ_{\max}(\mathcal{S}) = \max \{σ(\mathscr{G}) \mid \mathscr{G} \in \mathcal{S}\}$, where $\mathcal{S}$ is a class of graphs. We establish precise lower and upper bounds for the Sigma index by leveraging degree sequences $\mathscr{D} = (d_1, d_2, \dots, d_n)$, $\mathscr{R} = (t_1, t_2, \dots, t_m)$, and $\mathscr{A} = (a_1, a_2, \dots, a_r)$. The minimum bound for the Albertson index related to the Sigma index bounds incorporates terms such as $\mathrm{irr}(T)$ and $\left\lfloor \frac{n-2}{a_r - t_m} \right\rfloor $. These results, rooted in extremal graph theory, enhance the understanding of topological indices in molecular and network analysis.

An $S_k$-set in a group $Γ$ is a set $A\subseteqΓ$ such that $α_1\cdotsα_k=β_1\cdotsβ_k$ with $α_i,β_i\in A$ implies $(α_1,\ldots,α_k)=(β_1,\ldots,β_k)$. An $S_k'$-set is a set such that $α_1β_1^{-1}\cdotsα_kβ_k^{-1}=1$ implies that there exists $i$ such that $α_i=β_i\text{ or }β_i=α_{i+1}$. We give explicit constructions of large $S_k$-sets in the group $S_n$ and $S_2$-sets in $S_n\times S_n$ and $A_n\times A_n$. We give probabilistic constructions for `nice' groups which obtain large $S_2$-sets in $A_n$ and $S_2'$-sets in $S_n$. We also give upper bounds on the size of $S_k$-sets in certain groups, improving the trivial bound by a constant multiplicative factor. We describe some connections between $S_k$-sets and extremal graph theory. In particular, we determine up to a constant factor the minimum outdegree of a digraph which guarantees even cycles with certain orientations. As applications, we improve the upper bound on Hamilton paths which pairwise create a two-part cycle of given length, and we show that a directed version of the Erdős-Simonovits compactness conjecture is false.

Computers and algorithms play an ever-increasing role in obtaining new results in graph theory. In this survey, we present a broad range of techniques used in computer-assisted graph theory, including the exhaustive generation of all pairwise non-isomorphic graphs within a given class, the use of searchable databases containing graphs and invariants as well as other established and emerging algorithmic paradigms. We cover approaches based on mixed integer linear programming, semidefinite programming, dynamic programming, SAT solving, metaheuristics and machine learning. The techniques are illustrated with numerous detailed results covering several important subareas of graph theory such as extremal graph theory, graph coloring, structural graph theory, spectral graph theory, regular graphs, topological graph theory, special sets in graphs, algebraic graph theory and chemical graph theory. We also present some smaller new results that demonstrate how readily a computer-assisted graph theory approach can be applied once the appropriate tools have been developed.

The Dowling geometry $Q_n(Γ)$, where $Γ$ is a finite group, is a matroid that generalizes the complete-graphic matroid $M(K_{n+1})$. We determine the maximum size of an $N$-free submatroid of $Q_n(Γ)$ for various choices of $N$, including subgeometries $Q_m(Γ')$, lines $U_{2,\ell}$, and graphic matroids $M(H)$. When the group $Γ$ is trivial and $N=M(K_t)$, this problem reduces to Turán's classical result in extremal graph theory. We show that when $Γ$ is nontrivial, a complex dependence on $Γ$ emerges, even when $N=M(K_4)$.

Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds. A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*} m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*} ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*} mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*} In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.

Spectral graph theory studies how the eigenvalues of a graph relate to the structural properties of a graph. In this paper, we solve three open problems in spectral extremal graph theory which generalize the classical Turán-type supersaturation results. (a) We prove that every $m$-edge graph $G$ with the spectral radius $λ(G) > \sqrt{m}$ contains at least $\frac{1}{144} \sqrt{m}$ triangles sharing a common edge. This result confirms a conjecture of Nikiforov, and Li and Peng. Moreover, the bound is optimal up to a constant factor. (b) Next, for $m$-edge graph $G$ with $λ(G) > \sqrt{(1-\frac{1}{r})2m}$, we show that it must contain $Ω_r (\sqrt{m})$ copies of $K_{r+1}$ sharing $r$ common vertices. This confirms a conjecture of Li, Liu and Feng and unifies a series of spectral extremal results on books and cliques. Moreover, we also show that such a graph $G$ contains $Ω_r (m^{\frac{r-1}{2}})$ copies of $K_{r+1}$. This extends a result of Ning and Zhai for counting triangles. (c) We prove that every $m$-edge graph $G$ with $λ(G) > \sqrt{m}$ contains at least $(\frac{1}{8}-o(1)) m^2$ copies of 4-cycles, and we provide two constructions showing that the constant $\frac{1}{8}$ is the best possible. This result settles a problem raised by Ning and Zhai, and it gives the first asymptotics for counting degenerate bipartite graphs. The key to our proof are two structural results we obtain for graphs with large spectral radii on their maximum degree and on existence of large structured subgraphs, which we believe to be of independent interest.

Let ${\rm EX}(n,H)$ and ${\rm SPEX}(n,H)$ denote the families of $n$-vertex $H$-free graphs with the maximum size and the maximum spectral radius, respectively. A graph $H$ is said to be spectral-consistent if ${\rm SPEX}(n,H)\subseteq {\rm EX}(n,H)$ for sufficiently large $n$. A fundamental problem in spectral extremal graph theory is to determine which graphs are spectral-consistent. Cioabă, Desai and Tait [European J. Combin. 99 (2022) 103420] proposed the following conjecture: Let $H$ be any graph such that the graphs in ${\rm EX}(n,H)$ are Turán graph plus $O(1)$ edges. Then $H$ is spectral-consistent. Wang, Kang and Xue [J. Combin. Theory Ser. B 159 (2023) 20--41] confirmed this conjecture, along with a stronger result. In this paper, we continue to explore the spectral-consistent problem. We prove that for any finite graph $H$, if $\mathcal{M}(H)$ is matching-good, then $H$ is spectral-consistent. This provides a weaker condition than the one presented by Wang, Kang, and Xue for guaranteeing that $H$ is spectral-consistent. This result allows us to characterize spectral-consistency for several important classes of forbidden graphs $H$: generalized color-critical graphs (including the Petersen graph and the dodecahedron graph), and the odd-ballooning of trees or complete bipartite graphs. Moreover, we provide a concise proof for a spectral-consist result by Chen, Lei and Li [European J. Combin. 130 (2025) 104226]. Additionally, we propose problems for future research.

Given a graph $H,$ we say that a graph is \textit{$H$-free} if it does not contain $H$ as a subgraph. The Turán number $\ex(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex $H$-free graph, the set of all the corresponding extremal graphs is denoted by $\Ex(n, H)$. The study of Turán number of graphs is a central topic in extremal graph theory. A graph is \textit{color-critical} if it contains an edge whose deletion reduces its chromatic number. Simonovits showed that if $H$ is a color-critical graph of chromatic number $r+1,$ then for sufficiently large $n,$ $\Ex(n, H)=\{T_r(n)\},$ the $r$-partite Turán graph of order $n.$ Given a color-critical graph $H$ with chromatic number $r+1,$ it is interesting to determine $H$-free non-$r$-partite graphs with maximum number of edges. For a graph $H$ with chromatic number $r+1,$ denote $\ex_{r+1}(n,H)$ the maximum number of edges in non-$r$-partite $H$-free graphs of order $n,$ the set of all non-$r$-partite $H$-free graphs of order $n$ and size $\ex_{r+1}(n,H)$ is denoted by $\Ex_{r+1}(n, H)$. For $r\geq 3,\,k\geq1,$ the generalized book graph \({B}_{r,k}\) is a graph obtained by joining every vertex of $K_r$ to every vertex of an independent set of size \(k\). Note that \({B}_{r,k}\) is a color-critical graph of chromatic number $r+1.$ In this paper, based on the stability theory and local structure characterization, the exact value of $\ex_{r+1}(n,B_{r,k})$ is determined and all the corresponding extremal graphs are identified, where $r\geq 3,\,k\geq1$ and $n$ is sufficiently large.

For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.

For two integers $k$ and $\ell$, an $(\ell \text{ mod }k)$-cycle means a cycle of length $m$ such that $m\equiv \ell\pmod{k}$. In 1977, Bollobás proved a conjecture of Burr and Erdős by showing that if $\ell$ is even or $k$ is odd, then every $n$-vertex graph containing no $(\ell \text{ mod }k)$-cycles has at most a linear number of edges in terms of $n$. Since then, determining the exact extremal bounds for graphs without $(\ell \text{ mod }k)$-cycles has emerged as an interesting question in extremal graph theory, though the exact values are known only for a few integers $\ell$ and $k$. Recently, Győri, Li, Salia, Tompkins, Varga and Zhu proved that every $n$-vertex graph containing no $(0 \text{ mod }4)$-cycles has at most $\left\lfloor \frac{19}{12}(n -1) \right\rfloor$ edges, and they provided extremal examples that reach the bound, all of which are not $2$-connected. In this paper, we show that a $2$-connected graph without $(0 \text{ mod } 4)$-cycles has at most $\left\lfloor \frac{3n-1}{2} \right\rfloor$ edges, and this bound is tight by presenting a method to construct infinitely many extremal examples.

One of the earliest results in extremal graph theory, Mantel's theorem, states that the maximum number of edges in a triangle-free graph $G$ on $n$ vertices is $\lfloor n^2/4 \rfloor$. We investigate how this extremal bound is affected when $G$ is additionally required to contain a prescribed graph $\mathbb{P}$ as a subgraph. We establish general upper and lower bounds for this problem, which are tight in the exponent for random triangle-free graphs and graphs generated by the triangle-free process, when the size of $\mathbb{P}$ lies within certain ranges.

The Zarankiewicz problem, a cornerstone problem in extremal graph theory, asks for the maximum number of edges in an $n$-vertex graph that does not contain the complete bipartite graph $K_{s,s}$. While the problem remains widely open in the case of general graphs, the past two decades have seen significant progress on this problem for various restricted graph classes -- particularly those arising from geometric settings -- leading to a deeper understanding of their structure. In this paper, we develop a new structural tool for addressing Zarankiewicz-type problems. More specifically, we show that for any positive integer $k$, every graph with average degree $d$ either contains an induced $C_4$-free subgraph with average degree at least $k$, or it contains a $d$-vertex subgraph with $Ω_k(d^2)$ edges. As an application of this dichotomy, we propose a unified approach to a large number of Zarankiewicz-type problems in geometry, obtaining optimal bounds in each case.

We prove scalar and operator-valued Khintchine inequalities for mixtures of free and tensor-independent semicircle variables, interpolating between classical and free Khintchine-type inequalities. Specifically, we characterize the norm of sums of $G$-independent semicircle variables in terms of the spectral radius of the Cayley graph associated with the trace monoid determined by the graph $G$. Our approach relies on a precise correspondence between closed paths in trace monoids and the norms of such operator sums. This correspondence uncovers connections between non-commutative probability, combinatorial group theory, and extremal graph theory. In particular, we formulate Turán-type extremal problems that govern maximal norm growth under classical commutation constraints, and identify the extremal configurations. We hope that the methods and connections developed here will be useful in the study of non-commutative structures constrained by combinatorial symmetries.

There are many intriguing questions in extremal graph theory that are well-understood in the undirected setting and yet remain elusive for digraphs. A natural instance of such a problem was recently studied by Hons, Klimošová, Kucheriya, Mikšaník, Tkadlec and Tyomkyn: What are the digraphs that have to appear as a subgraph in all digraphs of sufficiently large minimum out-degree? Hons et al. showed that all such digraphs must be oriented forests with a specific structure, and conjectured that vice-versa all oriented forests with this specific structure appear in any digraph of sufficiently large minimum out-degree. In this paper, we confirm their conjecture.