Abstract:If a graph G has n ≥ 4 k vertices and more than n 2 / 4 edges, then it contains a copy of C 2 k + 1. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle of such a G is at least 2 ⌊ n / 2 ⌋ + 1, and this bound is tight. They also showed that the minimum number of edges in G that occur in a copy of C 2 k + 1 for k ≥ 2 suddenly starts being quadratic in n , and conjectured that for any k ≥ 2, the correct lower bound should be 2 n 2 / 9 − O ( n ). Very recently, Füredi and Maleki constructed a counterexample for k = 2 and proved an asymptotically matching lower bound, namely that for any ε > 0 graphs with ( 1 + ε ) n 2 / 4 edges contain at least ( 2 + 2 ) n 2 / 16 ∼ 0.2134 n 2 edges that occur in C 5. In this paper, we use a different approach to tackle this problem and prove the following stronger result: Every n -vertex graph with at least ⌊ n 2 / 4 ⌋ + 1 edges has at least ( 2 + 2 ) n 2 / 16 − O ( n 15 / 8 ) edges that occur in C 5. Next, for all k ≥ 3 and n sufficiently large, we determine the exact minimum number of edges that occur in C 2 k + 1 for n -vertex graphs with more than n 2 / 4 edges, and show it is indeed equal to ⌊ n 2 4 ⌋ + 1 − ⌊ n + 4 6 ⌋ ⌊ n + 1 6 ⌋ = 2 n 2 / 9 − O ( n ). For both of these results, we give a structural description of all the large extremal configurations as well as obtain the corresponding stability results, which answers a conjecture of Füredi and Maleki. The main ingredient of our results is a novel approach that combines the semidefinite method from flag algebras together with ideas from finite forcibility of graph limits, which may be of independent interest. This approach allowed us to keep track of the additional extra edge needed to guarantee even the existence of a single copy of C 2 k + 1, which a standard flag algebra approach would not be able to handle. Also, we establish the first application of the semidefinite method in a setting, where the set of tight examples has exponential size and arises from two very different constructions.

An El-Zahar Type Theorem in $3$-graphs under Codegree Condition

$3$-uniform hypergraphs and linear cycles

Codegree Threshold for Tiling Balanced Complete 3-Partite 3-Graphs and Generalized 4-Cycles

The codegree Turán density of $3$-uniform tight cycles

The Size of 3-Uniform Hypergraphs with Given Matching Number and Codegree

On $3$-graphs with vanishing codegree Turán density

Tight Gaps in the Cycle Spectrum of 3-Connected Planar Graphs

A criterion for Andrásfai--Erdős--Sós type theorems and applications

Density of Balanced 3-Partite Graphs Without 3-Cycles or 4-Cycles

Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree

On $k$-uniform tight cycles: the Ramsey number for $C_{kn}^{(k)}$ and an approximate Lehel's conjecture

Transference for loose Hamilton cycles in random $3$-uniform hypergraphs

Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree

Extremal results on degree powers in some classes of graphs

On codegree Turán density of the 3-uniform tight cycle $C_{11}$

Minimum Number of Edges That Occur in Odd Cycles

The Hypergraph Turán Densities of Tight Cycles Minus an Edge

Monochromatic cycles in 2-edge-colored bipartite graphs with large minimum degree

Cycle-factors in oriented graphs

On two cycles of consecutive even lengths

Large monochromatic components in hypergraphs with large minimum codegree