Indexed metadata

On Erdős Problem 767: Cycles with Chords

Xiaozheng Chen, Bo Ning

Source record

Source: arXiv

Published: Sep 14, 2026

arXiv: 2609.15330

Open original source ↗

Source abstract

For integers k≥1k\ge 1 and n≥k+2n\ge k+2, let gk(n)g_k(n) be the maximum number of edges in an nn-vertex graph containing no cycle with a vertex incident with at least kk chords. Erdős conjectured that gk(n)=(k+1)(n−k−1)g_k(n)=(k+1)(n-k-1) for n≥2k+2n\ge 2k+2. Lewin found a counterexample. Bollobás later conjectured that there exists a function n(k)n(k) such that gk(n)=(k+1)(n−k−1)g_k(n)=(k+1)(n-k-1) for all n≥n(k)n\ge n(k). Jiang confirmed this by proving the formula for all n≥3k+3n\ge3k+3 when k≥1k\ge1. In this paper, we determine gk(n)g_k(n) completely. For all k≥1k\ge1 and n≥k+2n\ge k+2, we prove gk(n)={⌊(k+1)n2⌋,max⁡{a(n−a)+⌊a(k+1−a)2⌋:a∈Z,  ⌊(k+1)/2⌋+1≤a≤k+1}}g_k(n)=\big\{\lfloor\frac{(k+1)n}{2}\rfloor,\max\{a(n-a)+\lfloor\frac{a(k+1-a)}{2}\rfloor : a\in\mathbb Z,\; \lfloor {(k+1)}/{2}\rfloor+1\le a\le k+1\}\big\}. For k≥2k\ge2, we prove gk(n)=(k+1)(n−k−1)g_k(n)=(k+1)(n-k-1) when n≥⌈(5k+1)/2⌉n\ge \lceil(5k+1)/2\rceil, and this threshold is sharp. Our proof builds on the method developed by Ma and the second author in [Ma and Ning, 2020].

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

On Erdős Problem 767: Cycles with Chords — Mathematical Frontier Network