Maths Olympiad Prep

Library / /2 of 2

Combinatorics Difficulty 7.7 National Olympiad, round 2 Prove it Romanian Master of Mathematics (RMM)

Problem:
Given any positive real number ε\varepsilon, prove that, for all but finitely many positive integers vv, any graph on vv vertices with at least (1+ε)v(1+\varepsilon) v edges has two distinct simple cycles of equal lengths.
(Recall that the notion of a simple cycle does not allow repetition of vertices in a cycle.)

Solution

Solution:
Fix a positive real number ε\varepsilon, and let GG be a graph on vv vertices with at least (1+ε)v(1+\varepsilon) v edges, all of whose simple cycles have pairwise distinct lengths.
Assuming ε2v1\varepsilon^{2} v \geq 1, we exhibit an upper bound linear in vv and a lower bound quadratic in vv for the total number of simple cycles in GG, showing thereby that vv cannot be arbitrarily large, whence the conclusion.
Since a simple cycle in GG has at most vv vertices, and each length class contains at most one such, GG has at most vv pairwise distinct simple cycles. This establishes the desired upper bound.
For the lower bound, consider a spanning tree for each component of GG, and collect them all together to form a spanning forest FF. Let AA be the set of edges of FF, and let BB be the set of all other edges of GG. Clearly, Av1|A| \leq v-1, so B(1+ε)vA(1+ε)v(v1)=εv+1>εv|B| \geq (1+\varepsilon) v - |A| \geq (1+\varepsilon) v - (v-1) = \varepsilon v + 1 > \varepsilon v.
For each edge bb in BB, adjoining bb to FF produces a unique simple cycle CbC_{b} through bb. Let SbS_{b} be the set of edges in AA along CbC_{b}. Since the CbC_{b} have pairwise distinct lengths, bBSb2++(B+1)=B(B+3)/2>B2/2>ε2v2/2\sum_{b \in B} |S_{b}| \geq 2 + \cdots + (|B|+1) = |B|(|B|+3)/2 > |B|^{2}/2 > \varepsilon^{2} v^{2}/2.
Consequently, some edge in AA lies in more than ε2v2/(2v)=ε2v/2\varepsilon^{2} v^{2}/(2v) = \varepsilon^{2} v/2 of the SbS_{b}. Fix such an edge aa in AA, and let BB' be the set of all edges bb in BB whose corresponding SbS_{b} contain aa, so B>ε2v/2|B'| > \varepsilon^{2} v/2.
For each 2-edge subset {b1,b2}\{b_{1}, b_{2}\} of BB', the union Cb1Cb2C_{b_{1}} \cup C_{b_{2}} of the cycles Cb1C_{b_{1}} and Cb2C_{b_{2}} forms a θ\theta-graph, since their common part is a path in FF through aa; and since neither of the bib_{i} lies along this path, Cb1Cb2C_{b_{1}} \cup C_{b_{2}} contains a third simple cycle Cb1,b2C_{b_{1}, b_{2}} through both b1b_{1} and b2b_{2}. Finally, since BCb1,b2={b1,b2}B' \cap C_{b_{1}, b_{2}} = \{b_{1}, b_{2}\}, the assignment {b1,b2}Cb1,b2\{b_{1}, b_{2}\} \mapsto C_{b_{1}, b_{2}} is injective, so the total number of simple cycles in GG is at least (B2)>(ε2v/22)\binom{|B'|}{2} > \binom{\varepsilon^{2} v/2}{2}. This establishes the desired lower bound and concludes the proof.

Sketch of solution 2. (Po-Shen Loh)
Recall that the girth of a graph GG is the minimal length of a (simple) cycle in this graph.
Lemma. For any fixed positive δ\delta, a graph on vv vertices whose girth is at least δv\delta v has at most v+o(v)v+o(v) edges.
Proof. Define f(v)f(v) to be the maximal number ff such that a graph on vv vertices whose girth is at least δv\delta v may have v+fv+f edges. We are interested in the recursive estimates for ff.
Let GG be a graph on vv vertices whose girth is at least δv\delta v containing v+f(v)v+f(v) edges. If GG contains a leaf (i.e., a vertex of degree 1), then one may remove this vertex along with its edge, obtaining a graph with at most v1+f(v1)v-1+f(v-1) edges. Thus, in this case f(v)f(v1)f(v) \leq f(v-1).
Define an isolated path of length kk to be a sequence of vertices v0,v1,,vkv_{0}, v_{1}, \ldots, v_{k}, such that viv_{i} is connected to vi+1v_{i+1}, and each of the vertices v1,,vk1v_{1}, \ldots, v_{k-1} has degree 2 (so, these vertices are connected only to their neighbors in the path). If GG contains an isolated path v0,,vkv_{0}, \ldots, v_{k} of length, say, k>vk > \sqrt{v}, then one may remove all its middle vertices v1,,vk1v_{1}, \ldots, v_{k-1}, along with all their kk edges. We obtain a graph on vk+1v-k+1 vertices with at most (vk+1)+f(vk+1)(v-k+1)+f(v-k+1) edges. Thus, in this case f(v)f(vk+1)+1f(v) \leq f(v-k+1)+1.
Assume now that the lengths of all isolated paths do not exceed v\sqrt{v}; we show that in this case vv is bounded from above. For that purpose, we replace each maximal isolated path by an edge between its endpoints, removing all middle vertices. We obtain a graph HH whose girth is at least δv/v=δv\delta v / \sqrt{v} = \delta \sqrt{v}. Each vertex of HH has degree at least 3. By the girth condition, the neighborhood of any vertex xx of radius r=(δv1)/2r = \lfloor (\delta \sqrt{v} - 1)/2 \rfloor is a tree rooted at xx. Any vertex at level i<ri < r has at least two sons; so the tree contains at least 2(δv1)/22^{\lfloor (\delta \sqrt{v} - 1)/2 \rfloor} vertices (even at the last level). So, v2(δv1)/2v \geq 2^{\lfloor (\delta \sqrt{v} - 1)/2 \rfloor} which may happen only for a finite number of values of vv.
Thus, for all large enough values of vv, we have either f(v)f(v1)f(v) \leq f(v-1) or f(v)f(vk+1)f(v) \leq f(v-k+1) for some k>vk > \sqrt{v}. This easily yields f(v)=o(v)f(v) = o(v), as desired.

Now we proceed to the problem. Consider a graph on vv vertices containing no two simple cycles of the same length. Take its εv/2\lfloor \varepsilon v / 2 \rfloor shortest cycles (or all its cycles, if their total number is smaller) and remove an edge from each. We get a graph of girth at least εv/2\varepsilon v / 2. By the lemma, the number of edges in the obtained graph is at most v+o(v)v + o(v), so the number of edges in the initial graph is at most v+εv/2+o(v)v + \varepsilon v / 2 + o(v), which is smaller than (1+ε)v(1+\varepsilon) v if vv is large enough.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.