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.

Almost Tight Bounds for Eliminating Depth Cycles in Three Dimensions

Eliminating Depth Cycles Among Triangles in Three Dimensions

Vertical Decomposition in 3D and 4D with Applications to Line Nearest-Neighbor Searching in 3D

Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications

On Lines, Joints, and Incidences in Three Dimensions

Reasonable Bounds for Combinatorial Lines of Length Three

Stronger 3-SUM Lower Bounds for Approximate Distance Oracles via Additive Combinatorics

On cliques in three-dimensional dense point-line arrangements

Light 3-Paths in 3-Polytopes without Adjacent Triangles

Depth lower bounds in Stabbing Planes for combinatorial principles

Search-Space Reduction Via Essential Vertices Revisited: Vertex Multicut and Cograph Deletion

Information Bounds Are Weak in the Shortest Distance Problem

Minimizing the stabbing number of matchings, trees, and triangulations

Partitioning axis-parallel lines in 3D

New bounds on curve tangencies and orthogonalities

Edge-disjoint cycles with the same vertex set

On forbidden configurations in point-line incidence graphs

Minimum Number of Edges That Occur in Odd Cycles

Polynomial bounds for surfaces in cusped 3-manifolds

Parallel Minimum Cuts in $O(m \log^2(n))$ Work and Low Depth

Finding Triangles and Other Small Subgraphs in Geometric Intersection Graphs