{"id":"arxiv/2609.33035","url":"https://arxiv.org/abs/2609.33035","tags":["math.CO"],"score":0,"title":"There are no nontrivial uniquely C_9-saturated graphs","domain":"math.CO","source":"arxiv","authors":["Fayzan Khan"],"reviews":0,"subject":"math.CO","summary":"A graph G is uniquely C_t-saturated if G contains no cycle of length t and, for every edge e of the complement, G+e contains exactly one cycle of length t; it is nontrivial if it has at least t vertices. Wenger and West proved that no nontrivial uniquely C_6- or C_7-saturated graphs exist, and conjectured the same for every t >= 6; the case t=8 was verified but never published, and t >= 9 has remained open. We prove the conjecture for t=9: there is no nontrivial uniquely C_9-saturated graph. The proof is a case analysis on the length L of a longest even cycle of length at most 12 (L is 4, 6,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}