arXiv++ Combinatorics

Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier analysis, we prove similarly two theorems of undecidability, thus showing that establishing such polynomial inequalities in additive combinatorics are inherently difficult in their full generality.

Many important results in extremal graph theory can be roughly summarised as "if a triangle-free graph $G$ has certain properties, then it has a homomorphism to a triangle-free graph $Γ$ of bounded size". For example, bounds on homomorphism thresholds give such a statement if $G$ has sufficiently high minimum degree, and the approximate homomorphism theorem gives such a statement for all $G$, if one weakens the notion of homomorphism appropriately. In this paper, we study asymmetric versions of these results, where the assumptions on $G$ and $Γ$ need not match. For example, we prove that if $G$ is a graph with odd girth at least $9$ and minimum degree at least $δ|G|$, then $G$ is homomorphic to a triangle-free graph whose size depends only on $δ$. Moreover, the odd girth assumption can be weakened to odd girth at least $7$ if $G$ has bounded VC dimension or bounded domination number. This gives a new and improved proof of a result of Huang et al. We also prove that in the asymmetric approximate homomorphism theorem, the bounds exhibit a rather surprising ``double phase transition'': the bounds are super-exponential if $G$ is only assumed to be triangle-free, they become exponential if $G$ is assumed to have odd girth $7$ or $9$, and become linear if $G$ has odd girth at least $11$. Our proofs use a wide variety of techniques, including entropy arguments, the Frieze--Kannan weak regularity lemma, properties of the generalised Mycielskian construction, and recent work on abundance and the asymmetric removal lemma.

Nearly-doubly-regular tournaments have played significant roles in extremal graph theory. In this note, we construct new cyclotomic nearly-doubly-regular tournaments and determine their spectrum by establishing a new connection between cyclotomic nearly-doubly-regular tournaments and almost difference sets from combinatorial design theory. Furthermore, under the celebrated Hardy-Littlewood conjecture F in analytic number theory, our results confirm the conjecture due to Sergey Savchenko (J. Graph Theory {\bf 83} (2016), 44--77) on the existence of infinitely many nearly-doubly-regular tournaments with the canonical spectrum.

For a fixed graph $F$, let $ex_F(G)$ denote the size of the largest $F$-free subgraph of $G$. Computing or estimating $ex_F(G)$ for various pairs $F,G$ is one of the central problems in extremal combinatorics. It is thus natural to ask how hard is it to compute this function. Motivated by an old problem of Yannakakis from the 80's, Alon, Shapira and Sudakov [ASS'09] proved that for every non-bipartite graph $F$, computing $ex_F(G)$ is NP-hard. Addressing a conjecture of Ailon and Alon (2007), we prove a hypergraph analogue of this theorem, showing that for every $k \geq 3$ and every non-$k$-partite $k$-graph $F$, computing $ex_F(G)$ is NP-hard. Furthermore, we conjecture that our hardness result can be extended to all $k$-graphs $F$ other than a matching of fixed size. If true, this would give a precise characterization of the $k$-graphs $F$ for which computing $ex_F(G)$ is NP-hard, since we also prove that when $F$ is a matching of fixed size, $ex_F(G)$ is computable in polynomial time. This last result can be considered an algorithmic version of the celebrated Erdős-Ko-Rado Theorem. The proof of [ASS'09] relied on a variety of tools from extremal graph theory, one of them being Turán's theorem. One of the main challenges we have to overcome in order to prove our hypergraph extension is the lack of a Turán-type theorem for $k$-graphs. To circumvent this, we develop a completely new graph theoretic approach for proving such hardness results.

We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule. We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.

A cornerstone of extremal graph theory due to Erdős and Stone states that the edge density which guarantees a fixed graph $F$ as subgraph also asymptotically guarantees a blow-up of $F$ as subgraph. It is natural to ask whether this phenomenon generalises to vertex-spanning structures such as Hamilton cycles. This was confirmed by Böttcher, Schacht and Taraz for graphs in the form of the Bandwidth Theorem. Our main result extends the phenomenon to hypergraphs. A graph on $n$ vertices that robustly contains a Hamilton cycle must satisfy certain conditions on space, connectivity and aperiodicity. Conversely, we show that if these properties are robustly satisfied, then all blow-ups of cycles on $n$ vertices with clusters of size at most $\operatorname{poly}(\log \log n)$ are guaranteed as subgraphs. This generalises to powers of cycles and to the hypergraph setting. As an application, we recover a series of classic results and recent breakthroughs on Hamiltonicity under degree conditions, which are then immediately upgraded to blown up versions. The proofs are based on a new setup for embedding large substructures into dense hypergraphs, which is of independent interest and does not rely on the Regularity Lemma or the Absorption Method.

Given a system $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs/digraphs/hypergraphs on the common vertex set $V$ of size $n$, an $m$-edge graph/digraph/hypergraph $H$ on $V$ is transversal in $\mathcal{G}$ if there exists a bijection $φ:E(H)\rightarrow [m]$ such that $e \in E(G_{φ(e)})$ for all $e\in E(H)$. In this survey, we consider extremal problems for transversal structures in graph systems. More precisely, we summarize some sufficient conditions that ensure the existence of transversal structures in graph/digraph/hypergraph systems, which generalize several classical theorems in extremal graph theory to transversal version. We also include a number of conjectures and open problems.

We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15]. Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and $3$-connected (it is known that Kronecker cancellation may fail in general). Equivalently, polyhedral graphs are Kronecker products in at most one way. This is a special case of the deep and interesting question, open in general, of Kronecker product cancellation for simple graphs: when does $A\wedge C\simeq B\wedge C$ imply $A\simeq B$? We complete our investigation on simultaneous products by characterising and constructing the planar graphs that are Cartesian products in two distinct ways, and the planar, $3$-connected graphs that are both Kronecker and Cartesian products. The other type of results we obtain are in extremal graph theory. We classify the polyhedral Kronecker products that are either face-regular or vertex-regular graphs. The face-regular ones are certain quadrangulations of the sphere, while the vertex-regular ones are certain cubic graphs (duals of maximal planar graphs). We also characterise, and iteratively construct, the face-regular subclass of graphs minimising the number of vertices of degree $3$.

In 2006, Marcus and Tardos proved that if $A^1,\dots,A^n$ are cyclic orders on some subsets of a set of $n$ symbols such that the common elements of any two distinct orders $A^i$ and $A^j$ appear in reversed cyclic order in $A^i$ and $A^j$, then $\sum_{i} |A^i|=O(n^{3/2}\log n)$. This result is tight up to the logarithmic factor and has since become an important tool in Discrete Geometry. We improve this to the optimal bound $O(n^{3/2})$. In fact, we show that if $A^1,\dots,A^n$ are linear orders on some subsets of a set of $n$ symbols such that no three symbols appear in the same order in any two distinct linear orders, then $\sum_{i} |A^i|=O(n^{3/2})$. Using this result, we resolve several open problems in Discrete Geometry and Extremal Graph Theory as follows. We prove that every $n$-vertex topological graph that does not contain a self-crossing four-cycle has $O(n^{3/2})$ edges. This resolves a problem of Marcus and Tardos from 2006. We also show that $n$ pseudo-circles in the plane can be cut into $O(n^{3/2})$ pseudo-segments, which, in turn, implies new bounds on point-circle incidences and on other geometric problems. Moreover, we prove that the edge-ordered Turán number of the four-cycle $C_4^{1243}$ is $Θ(n^{3/2})$. This answers a question of Gerbner, Methuku, Nagy, Pálvölgyi, Tardos and Vizer. Using different methods, we determine the largest possible extremal number that an edge-ordered forest of order chromatic number two can have. Kucheriya and Tardos showed that every such graph has extremal number at most $n2^{O(\sqrt{\log n})}$, and conjectured that this can be improved to $n(\log n)^{O(1)}$. We disprove their conjecture by showing that for every $C>0$, there exists an edge-ordered tree of order chromatic number two whose extremal number is $Ω(n 2^{C\sqrt{\log n}})$.

The Kruskal--Katona theorem determines the maximum number of $d$-cliques in an $n$-edge $(d-1)$-uniform hypergraph. A generalization of the theorem was proposed by Bollobás and Eccles, called the partial shadow problem. The problem asks to determine the maximum number of $r$-sets of vertices that contain at least $d$ edges in an $n$-edge $(d-1)$-uniform hypergraph. In our previous work, we obtained an asymptotically tight upper bound via its connection to the joints problem, a problem in incidence geometry. In a different direction, Friedgut and Kahn generalized the Kruskal--Katona theorem by determining the maximum number of copies of any fixed hypergraph in an $n$-edge hypergraph, up to a multiplicative factor. In this paper, using the connection to the joints problem again, we generalize our previous work to show an analogous partial shadow phenomenon for any hypergraph, generalizing Friedgut and Kahn's result. The key idea is to encode the graph-theoretic problem with new kinds of joints that we call hypergraph joints. Our main theorem is a generalization of the joints theorem that upper bounds the number of hypergraph joints, which the partial shadow phenomenon immediately follows from. In addition, with an appropriate notion of multiplicities, our theorem also generalizes a generalization of Hölder's inequality considered by Finner.

One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{á}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{á}n's result to arbitrary graphs $H$ with $χ(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$. In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.

We study the conflict-free chromatic number of hypergraphs derived from the family of facets of $d$-dimensional cyclic polytopes with $n$ vertices. While in odd dimensions $d$ the problem is easy, for even dimensions the problem becomes very difficult and exhibits interesting connections to extremal graph theory. We provide sharp asymptotic bounds for the conflict-free chromatic number in several small even dimensions and non-trivial upper and lower bounds for general even dimensions. The main purpose of this paper is revealing a surprising relation between conflict-free colorings and the celebrated Erdős girth conjecture, opening new avenues for future research.

One of the foundational theorems of extremal graph theory is Dirac's theorem, which says that if an n-vertex graph G has minimum degree at least n/2, then G has a Hamilton cycle, and therefore a perfect matching (if n is even). Later work by Sárkozy, Selkow and Szemerédi showed that in fact Dirac graphs have many Hamilton cycles and perfect matchings, culminating in a result of Cuckler and Kahn that gives a precise description of the numbers of Hamilton cycles and perfect matchings in a Dirac graph G (in terms of an entropy-like parameter of G). In this paper we extend Cuckler and Kahn's result to perfect matchings in hypergraphs. For positive integers d < k, and for n divisible by k, let $m_{d}(k,n)$ be the minimum d-degree that ensures the existence of a perfect matching in an n-vertex k-uniform hypergraph. In general, it is an open question to determine (even asymptotically) the values of $m_{d}(k,n)$, but we are nonetheless able to prove an analogue of the Cuckler-Kahn theorem, showing that if an n-vertex k-uniform hypergraph G has minimum d-degree at least $(1+γ)m_{d}(k,n)$ (for any constant $γ>0$), then the number of perfect matchings in G is controlled by an entropy-like parameter of G. This strengthens cruder estimates arising from work of Kang-Kelly-Kühn-Osthus-Pfenninger and Pham-Sah-Sawhney-Simkin.

A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result solved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral version of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the classical spectral techniques, we firstly prove that for $n\ge 300q^2$, each graph $G$ on $n$ vertices with $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. Moreover, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Secondly, we show further that $T_{n,2,q}$ is the unique spectral extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum of the spectral radius. This result answers a spectral triangle counting problem due to Ning and Zhai (2023). Thirdly, we present an asymptotically spectral stability result under a specific constraint on the triangle covering number. The third result could be regarded as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022).

In this paper, we study the well-known Kohayakawa-Nagle-R{ö}dl-Schacht (KNRS) conjecture, with a specific focus on graph subdivisions. The KNRS conjecture asserts that for any graph $H$, locally dense graphs contain asymptotically at least the number of copies of $H$ found in a random graph with the same edge density. We prove the following results about $k$-subdivisions of graphs (obtained by replacing edges with paths of length $k+1$): (1). If $H$ satisfies the KNRS conjecture, then its $(2k-1)$-subdivision satisfies Sidorenko's conjecture, extending a prior result of Conlon, Kim, Lee and Lee; (2). If $H$ satisfies the KNRS conjecture, then its $2k$-subdivision satisfies a constant-fraction version of the KNRS conjecture; (3). If $H$ is regular and satisfies the KNRS conjecture, then its $2k$-subdivision also satisfies the KNRS conjecture. These findings imply that all balanced subdivisions of cliques satisfy the KNRS conjecture, improving upon a recent result of Bradač, Sudakov and Wigerson. Our work provides new insights into this pivotal conjecture in extremal graph theory.

A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of the spectral extremal graph when we forbid the friendship graph as a substructure. We drop the condition that requires the order $n$ to be sufficiently large, which was investigated by Cioabă, Feng, Tait and Zhang (2020) using the triangle removal lemma. Thirdly, this method can be utilized to deduce the classical stability for odd cycles and it gives more concise bounds on parameters. Finally, the supersaturation-stability could be applied to deal with the spectral graph problems on counting triangles, which was recently studied by Ning and Zhai (2023).

In this paper, we construct explicit families of polynomials $P \in \mathbb{F}_q[x_1,\dots,x_n]$ with large root sets which have restricted intersections with affine lines. We use these sets to make substantial progress on a number of problems in extremal combinatorics. For each prime power $q$ and integer $2 \le t \le q-1$, we construct $t$-line evasive subsets of $\mathbb{F}_q^n$ of size \[ q^{\,n\left(1-\frac{2}{t^2+t}\right)}, \] which is significantly larger than those previously known. Moreover, our method yields a partition of $\mathbb{F}_q^n$ into such sets. We extend this partitioning result to the projective space $PG(n,q)$, obtaining the first explicit colorings for the vector space Ramsey number $R_q(2;k)$ that exhibit dependence on both $q$ and $k$. In particular, we show that \[ R_q(2;k) > \frac{(q-1)k}{2} - O_q(1), \] improving recent bounds. Finally, we apply these constructions to extremal graph theory and improve the best-known bounds on the bipartite Turán number $ \mathrm{ex}(n,m,\{C_4,θ_{3,t}\})$. Most notably, we show that \[ \mathrm{ex}(n,n^{2/3},\{C_4,θ_{3,3}\}) = Θ(n^{1+1/9}), \] making progress on a question originally posed by Erdős.

This survey on graphs of large girth consists of two parts. The first deals with some aspects of algebraic and extremal graph theory loosely related to the Moore bound. Our point of departure for the second, Ramsey theoretic, part are some constructions of graphs with large chromatic number and large girth; this will lead us to a discussion of the recent girth Ramsey theorem. Both parts can be enjoyed independently of each other.

This paper introduces AlphaMapleSAT, a Cube-and-Conquer (CnC) parallel SAT solver that integrates Monte Carlo Tree Search (MCTS) with deductive feedback to efficiently solve challenging combinatorial SAT problems. Traditional lookahead cubing methods, used by solvers such as March, limit their search depth to reduce overhead often resulting in suboptimal partitions. By contrast, AlphaMapleSAT performs a deeper MCTS search guided by deductive rewards from SAT solvers. This approach enables informed exploration of the cubing space while keeping cubing costs low. We demonstrate the efficacy of our technique via extensive evaluations against the widely used and established March cubing solver on three well-known challenging combinatorial benchmarks, including the minimum Kochen-Specker (KS) problem from quantum mechanics, the Murty-Simon Conjecture, and the Ramsey problems from extremal graph theory. We compare AlphaMapleSAT against March using different types of conquering solvers such as SAT Modulo Symmetries (SMS) and SAT+CAS, both built on top of the CaDiCaL SAT solver. We show that in all cases, there is a speedup in elapsed real time (wall clock time) ranging from 1.61x to 7.57x on a 128 core machine for the above-mentioned problems. We also perform cube-level and parallel scaling analysis over 32, 64, and 128 cores, which shows that AlphaMapleSAT outperforms March on all these settings. Our results show that deductively-guided MCTS search technique for cubing in CnC solvers can significantly outperform March on hard combinatorial problems.

The extremal graphs $\mathrm{EX}(n,\mathcal F)$ and spectral extremal graphs $\mathrm{SPEX}(n,\mathcal F)$ are the sets of graphs on $n$ vertices with maximum number of edges and maximum spectral radius, respectively, with no subgraph in $\mathcal F$. We prove a general theorem which allows us to characterize the spectral extremal graphs for a wide range of forbidden families $\mathcal F$ and implies several new and existing results. In particular, whenever $\mathrm{EX}(n,\mathcal F)$ contains the complete bipartite graph $K_{k,n-k}$ (or certain similar graphs) then $\mathrm{SPEX}(n,\mathcal F)$ contains the same graph when $n$ is sufficiently large. We prove a similar theorem which relates $\mathrm{SPEX}(n,\mathcal F)$ and $\mathrm{SPEX}_α(n,\mathcal F)$, the set of $\mathcal F$-free graphs which maximize the spectral radius of the matrix $A_α=αD+(1-α)A$, where $A$ is the adjacency matrix and $D$ is the diagonal degree matrix.