arXiv++ Combinatorics

Motivated by the classical conjectures of Lovász, Thomassen, and Smith, recent work has renewed interest in the study of longest cycles in important graph families, such as vertex-transitive and highly connected graphs. In particular, Groenland et al.\ proved that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{8/5})$ separating them, yielding improved bounds toward these conjectures. Their proof combines Turán-type arguments with computer-assisted search. We prove two results addressing problems of Babai (1979) and Smith (1984) on intersections of longest cycles in vertex-transitive and highly connected graphs. First, we strengthen the bound of Groenland et al.\ by showing that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{3/2})$ separating them. As a consequence, we show that in every \(k\)-connected graph, any two longest cycles intersect in at least \(Ω(k^{2/3})\) vertices, improving the best known bound toward Smith's conjecture. Our proof is purely combinatorial, employing supersaturation-type estimates beyond the existing Turán-type approach. Second, we prove that in every connected vertex-transitive graph on \(n\) vertices, any two longest cycles intersect in at least \(f(n)\) vertices for some function \(f(n)\to\infty\) as \(n\to\infty\), thereby resolving a problem of Babai (1979) for the class of vertex-transitive graphs central to his original motivation. In doing so, we introduce a new method for constructing longer cycles in vertex-transitive graphs based on a given cycle, which may be of independent interest.

The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.

We prove a new lower bound on the Ramsey number $r(\ell, C\ell)$ for any constant $C > 1$ and sufficiently large $\ell$, showing that there exists $\varepsilon=\varepsilon(C)> 0$ such that \[ r(\ell, C\ell) \geq \left(p_C^{-1/2} + \varepsilon\right)^\ell, \] where $p_C \in (0, 1/2)$ is the unique solution to $C = \frac{\log p_C}{\log(1 - p_C)}$. This provides the first exponential improvement over the classical lower bound obtained by Erdős in 1947.

Chao and Yu introduced an entropy method for hypergraph Turán problems, and used it to show that the family of $\lfloor k/2\rfloor$ $k$-uniform tents have Turán density $k!/k^k$. Il'kovič and Yan improved this by reducing to a subfamily of $\lceil k/e\rceil$ tents. In this note, enhancing Il'kovič-Yan's result, we give a significantly shorter entropy proof, with optimal bounds within this framework.

In this paper, we investigate the problem of finding {\it bisections} (i.e., balanced bipartitions) in graphs. We prove the following two results for {\it all} graphs $G$: (1). $G$ has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in its own part; (2). $G$ also has a bisection where each vertex $v$ has at least $(1/4 - o(1))d_G(v)$ neighbors in the opposite part. These results are asymptotically optimal up to a factor of $1/2$, aligning with what is expected from random constructions, and provide the first systematic understanding of bisections in general graphs under degree constraints. As a consequence, we establish for the first time the existence of a function $f(k)$ such that for any $k\geq 1$, every graph with minimum degree at least $f(k)$ admits a bisection where every vertex has at least $k$ neighbors in its own part, as well as a bisection where every vertex has at least $k$ neighbors in the opposite part. Using a more general setting, we further show that for any $\varepsilon > 0$, there exist $c_\varepsilon, c'_\varepsilon > 0$ such that any graph $G$ with minimum degree at least $c_\varepsilon k$ (respectively, $c'_\varepsilon k$) admits a bisection satisfying: every vertex has at least $k$ neighbors in its own part (respectively, in the opposite part), and at least $(1 - \varepsilon)|V(G)|$ vertices have at least $k$ neighbors in the opposite part (respectively, in their own part). These results extend and strengthen classical graph partitioning theorems of Erdős, Thomassen, and Kühn-Osthus, while additionally satisfying the bisection requirement.

An $n$-vertex graph is degree 3-critical if it has $2n - 2$ edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following: - every $n$-vertex degree 3-critical graph has $Ω(\log n)$ distinct cycle lengths; -every tree with maximum degree $Δ\ge 3$ and $\ell$ leaves has at least $\log_{Δ-1}\, ((Δ-2)\ell)$ distinct leaf-to-leaf path lengths; - for every integer $N\geq 1$, there exist arbitrarily large 1-3 trees which have $O(N^{0.91})$ distinct leaf-to-leaf path lengths smaller than $N$, and, conversely, every 1-3 tree on at least $2^N$ vertices has $Ω(N^{2/3})$ distinct leaf-to-leaf path lengths smaller than $N$. Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.

We address a problem posed by Erdős and Hajnal in 1991, proving that for all $n \geq 600$, every $(2n+1)$-vertex graph with at least $n^2 + n + 1$ edges contains two vertices of equal degree connected by a path of length three. The complete bipartite graph $K_{n,n+1}$ demonstrates that this edge bound is sharp. We further establish an analogous result for graphs with even order and investigate several related extremal problems.

Spanning trees $T_1,T_2, \dots,T_k$ of $G$ are $k$ completely independent spanning trees if, for any two vertices $u,v\in V(G)$, the paths from $u$ to $v$ in these $k$ trees are pairwise edge-disjoint and internal vertex-disjoint. Hasunuma proved that determining whether a graph contains $k$ completely independent spanning trees is NP-complete, even for $k = 2$. Araki posed the question of whether certain known sufficient conditions for hamiltonian cycles are also also guarantee two completely independent spanning trees? In this paper, we affirmatively answer this question for the Fan-type condition. Precisely, we proved that if $G$ is a connected graph such that each pair of vertices at distance 2 has degree sum at least $|V(G)|$, then $G$ has two completely independent spanning trees.

The crossing number of a graph $G$ denotes the minimum number of crossings in any planar drawing of $G$. In this short note, we confirm a long-standing conjecture posed by Pach, Spencer, and Tóth over 25 years ago, establishing an optimal lower bound on the crossing number of graphs that satisfy some monotone properties. Furthermore, we address a related open problem introduced by Pach and Tóth in 2000, which explores the interplay between the crossing number of a graph, its degree sequence, and its bisection width.

Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify polynomial inequalities in graph homomorphism densities. Recently, Blekherman, Raymond and Wei extended this result by showing that it is also undecidable to determine the validity of polynomial inequalities in homomorphism densities for weighted graphs with edge weights taking real values. These two results resolved a question of Lovász. In this paper, we consider the problem of determining the validity of polynomial inequalities in digraph homomorphism densities for tournaments. We prove that the answer to this problem is also undecidable.

In 1975 Bollobás, Erdős, and Szemerédi asked what minimum degree guarantees an octahedral subgraph $K_3(2)$ in any tripartite graph $G$ with $n$ vertices in each vertex class. We show that $δ(G)\geq n+2n^{\frac{5}{6}}$ suffices thus improving the bound $n+(1+o(1))n^{\frac{11}{12}}$ of Bhalkikar and Zhao obtained by following their approach. Bollobás, Erdős, and Szemerédi conjectured that $n+cn^{\frac{1}{2}}$ suffices and there are many $K_3(2)$-free tripartite graphs $G$ with $δ(G)\geq n+cn^{\frac{1}{2}}$. We confirm this conjecture under the additional assumption that every vertex in $G$ is adjacent to at least $(1/5+\varepsilon)n$ vertices in any other vertex class.

For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions, assuming a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. The main contribution of our paper is extending this result to hypergraph. Moreover, in the case of graph, our proof differs from that in \cite{FK06}, offering the advantage of producing the correct constant factor when $p > p_{F}$. When $p = p_F$, Füredi and Kündgen proved a general upper bound on $\mathrm{ex}_{p}(n,F)$, tight up to a $\log n$ factor, and conjectured that this factor is unnecessary. We confirm this conjecture for several well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.

Piga, Sanhueza-Matamala, and Schacht recently established that the codegree Turán density of 3-uniform tight cycles $C_\ell$ is $1/3$ for $\ell\in \{10, 13, 16\}$ and for all $\ell\geq 19$. In this note, we extend their proof to determine the codegree Turán density of the 3-uniform tight cycle $C_{11}$, thereby completing the picture for tight cycles of length at least 10.

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.

In this paper, we determine the minimum degree threshold of perfect matchings with high discrepancy in $r$-edge-colored $k$-uniform hypergraphs for all $k\geq 3$ and $r\geq 2$, thereby completing the investigation into discrepancies of perfect matchings that has recently attracted significant attention. Our approach identifies this discrepancy threshold with a novel family of multicolored uniform hypergraphs and reveals new phenomena not covered in previous studies. In particular, our results address a question of Balogh, Treglown and Zárate-Guerén concerning 3-uniform hypergraphs.

A {\it simple $k$-coloring} of a multigraph $G$ is a decomposition of the edge multiset as a disjoint sum of $k$ simple graphs which are referred as colors. A subgraph $H$ of a multigraph $G$ is called {\it multicolored} if its edges receive distinct colors in a given simple $k$-coloring of $G$. In 2004, Keevash-Saks-Sudakov-Verstraëte introduced the {\it $k$-color Turán number} $ex_k(n,H)$, which denotes the maximum number of edges in an $n$-vertex multigraph that has a simple $k$-coloring containing no multicolored copies of $H$. They made a conjecture for any $r\geq 3$ and $r$-color-critical graph $H$ that in the range of $k\geq \frac{r-1}{r-2}(e(H)-1)$, if $n$ is sufficiently large, then $ex_k(n, H)$ is achieved by the multigraph consisting of $k$ colors all of which are identical copies of the Turán graph $T_{r-1}(n)$. In this paper, we show that this holds in the range of $k\geq 2\frac{r-1}{r}(e(H)-1)$, significantly improving earlier results. Our proof combines the stability argument of Chakraborti-Kim-Lee-Liu-Seo with a novel graph packing technique for embedding multigraphs.

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.

For non-negative integers $n$, $m$, $a$ and $b$, we write $\left( n,m \right) \rightarrow \left( a,b \right)$ if for every family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|\geqslant m$ there is an $a$-element set $T\subseteq [n]$ such that $\left| \mathcal{F}_{\mid T} \right| \geqslant b$, where $\mathcal{F}_{\mid T}=\{ F \cap T : F \in \mathcal{F} \}$. A longstanding problem in extremal set theory asks to determine $m(s)=\lim_{n\rightarrow +\infty}\frac{m(n,s)}{n}$, where $m(n,s)$ denotes the maximum integer $m$ such that $\left( n,m \right) \rightarrow \left( n-1,m-s \right)$ holds for non-negatives $n$ and $s$. In this paper, we establish the exact value of $m(2^{d-1}-c)$ for all $1\leqslant c\leqslant d$ whenever $d\geqslant 50$, thereby solving an open problem posed by Piga and Schülke. To be precise, we show that $$m(n,2^{d-1}-c)=\frac{2^{d}-c}{d}n \mbox{ for } 1\leq c\leq d-1 \mbox{ and } d\mid n, \mbox{ and } m(n,2^{d-1}-d)=\frac{2^{d}-d-0.5}{d}n \mbox{ for } 2d\mid n $$ holds for $d\geq 50$. Furthermore, we provide a proof that confirms a conjecture of Frankl and Watanabe from 1994, demonstrating that $m(11)=5.3$.

For a graph $H$, let $m(H,k)$ denote the number of vertices of degree $k$ in $H$. A conjecture of Alon and Wei states that for any $d\geq 3$, every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2$ for every $0\leq k \leq d$. This holds easily when $d\leq 2$. An asymptotic version of this conjecture was initially established by Frieze, Gould, Karoński and Pfender, subsequently improved by Alon and Wei, and most recently enhanced by Fox, Luo and Pham, approaching its complete range. All of these approaches relied on probabilistic methods. In this paper, we provide a novel framework to study this conjecture, based on localized deterministic techniques which we call local adjustments. We prove two main results. Firstly, we show that every $n$-vertex $d$-regular graph contains a spanning subgraph $H$ satisfying $|m(H,k)-\frac{n}{d+1}|\leq 2d^2$ for all $0\leq k \leq d$, which provides the first bound independent of the value of $n$. Secondly, we confirm the case $d=3$ of the Alon-Wei Conjecture in a strong form. Both results can be generalized to multigraphs and yield efficient algorithms for finding the desired subgraphs $H$. Furthermore, we explore a generalization of the Alon-Wei Conjecture for multigraphs and its connection to the Faudree-Lehel Conjecture concerning irregularity strength.

In this paper, we investigate the hypergraph Turán number $ex(n,K^{(r)}_{s,t})$. Here, $K^{(r)}_{s,t}$ denotes the $r$-uniform hypergraph with vertex set $\left(\cup_{i\in [t]}X_i\right)\cup Y$ and edge set $\{X_i\cup \{y\}: i\in [t], y\in Y\}$, where $X_1,X_2,\cdots,X_t$ are $t$ pairwise disjoint sets of size $r-1$ and $Y$ is a set of size $s$ disjoint from each $X_i$. This study was initially explored by Erdős and has since received substantial attention in research. Recent advancements by Bradač, Gishboliner, Janzer and Sudakov have greatly contributed to a better understanding of this problem. They proved that $ex(n,K_{s,t}^{(r)})=O_{s,t}(n^{r-\frac{1}{s-1}})$ holds for any $r\geq 3$ and $s,t\geq 2$. They also provided constructions illustrating the tightness of this bound if $r\geq 4$ is {\it even} and $t\gg s\geq 2$. Furthermore, they proved that $ex(n,K_{s,t}^{(3)})=O_{s,t}(n^{3-\frac{1}{s-1}-\varepsilon_s})$ holds for $s\geq 3$ and some $ε_s>0$. Addressing this intriguing discrepancy between the behavior of this number for $r=3$ and the even cases, Bradač et al. post a question of whether \begin{equation*} \mbox{$ex(n,K_{s,t}^{(r)})= O_{r,s,t}(n^{r-\frac{1}{s-1}- \varepsilon})$ holds for odd $r\geq 5$ and any $s\geq 3$.} \end{equation*} In this paper, we provide an affirmative answer to this question, utilizing novel techniques to identify regular and dense substructures. This result highlights a rare instance in hypergraph Turán problems where the solution depends on the parity of the uniformity.