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.

Odd Vector Cycles in $\mathbb{Z}^m$

On Cyclic Codes of Length $${2^{2^R}-1}$$ with Two Zeros Whose Dual Codes Have Three Weights

The maximum number of odd cycles in a planar graph

Narrowing Down the Gap on Cycle-Star Ramsey Numbers

The Ramsey Numbers of Wheels Versus Odd Cycles

An Algorithm to find the Generators of Multidimensional Cyclic Codes over a Finite Chain Ring

Hodge cycles for cubic hypersurfaces

Optimal bounds for zero-sum cycles. I. Odd order

Spaces of Generators for the $2 \times 2$ Matrix Algebra

Breaking Cycles, the Odd Versus the Even

Min-max relations for odd cycles in planar graphs

The Ramsey Numbers for Cycles Versus Wheels of Even Order

Four infinite families of ternary cyclic codes with a square-root-like lower bound

On the two-colour Rado number for $\sum_{i=1}^m a_ix_i=c$

Ramanujan vector field

Minimum Number of Edges That Occur in Odd Cycles

On the Generalized Turán Problem for Odd Cycles

Star-Critical Ramsey Numbers of Cycles Versus Wheels

Bipartite Ramsey numbers of cycles

A version of Hilbert's 16th Problem for 3D polynomial vector fields: Counting isolated invariant tori

On the existence of factors intersecting sets of cycles in regular graphs