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 k1k\ge 1 and nk+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)(nk1)g_k(n)=(k+1)(n-k-1) for n2k+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)(nk1)g_k(n)=(k+1)(n-k-1) for all nn(k)n\ge n(k). Jiang confirmed this by proving the formula for all n3k+3n\ge3k+3 when k1k\ge1. In this paper, we determine gk(n)g_k(n) completely. For all k1k\ge1 and nk+2n\ge k+2, we prove gk(n)={(k+1)n2,max{a(na)+a(k+1a)2:aZ,  (k+1)/2+1ak+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 k2k\ge2, we prove gk(n)=(k+1)(nk1)g_k(n)=(k+1)(n-k-1) when n(5k+1)/2n\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.