Dense networks must hide loops of many sizes
- What it is
- A paper claims an exact density threshold forcing many consecutive even loop sizes in sufficiently large networks.
- Who did it
- Yaobin Chen, Hong Liu, Xia Wang, Xin Wei, and Fan Yang
- What it could mean
- Pack enough connections into a network and whole runs of even-sized loops become unavoidable. This theorem would identify the exact threshold for that hidden order in the stated large-size regime.
See the check plan
Evidence & validation
From announcement to evidence
Discovery recorded. State of Proof has not yet examined this claim.
Read the original work
The Erdos--Gallai bound for consecutive even cycle lengths ↗See the proposed checks
Pin the exact quantifier behind “sufficiently large,” then examination the dense-core decomposition and rooted-cycle-family coverage against the equality case; highest risk is a gap in recovering all required consecutive lengths after the expander extraction.
No proof docket yet
A docket is the public record of checks and open questions. This paper does not have one yet; the check plan above describes work still to do.
Explore existing proof dockets →
- What it claims
- For sufficiently large (t), claims the sharp Erdős--Gallai edge threshold forces (t) consecutive even cycle lengths, resolving a conjecture of Verstraëte and deriving stated residue-class cycle-threshold consequences.
- Why this could matter
- Dense networks must hide loops of many sizes In a dense network, loops are unavoidable. This theorem claims something much sharper: once a graph crosses an exact density threshold, it must contain loops of many consecutive even sizes, revealing a surprisingly rigid law of network structure.
- If it holds up
- Foundational: it would give graph theorists a sharp guarantee about the cycle lengths hidden inside dense networks, strengthening the structural toolkit behind extremal graph algorithms.
- If it does not
- The proposed threshold or exceptional case is incomplete, warning researchers not to use it as a universal guarantee about dense graphs.
- Impact horizon
- Foundational · Graph theory · Network structure · Combinatorics
- Version
- submitted 2026-08-27 17:32:57 UTC.
- Why we tracked it
- fresh resolution claim for a named extremal-graph conjecture, with clear scope and a potentially decomposable proof examination.
- Highest-risk dependency
- a gap in recovering all required consecutive lengths after the expander extraction.
- Available artifacts
- No new usable Slack packet or SocialBot signal. Attention evidence is the fresh primary submission. arXiv provides PDF, experimental HTML, and TeX source; no public formalization or code/certificate link appears on the record.
- Current boundary
- Intake record only; examination not started.