HEXAGONbeta

Hilton’s conjecture on cycle multiplicities

A mix of human-written and AI-generated textHuman understanding: some partsmath.CO — Combinatorics

Contributed by Qiyue Tang ↗

Version 1 / Nov 03, 2026 / CC BY 4.0

Abstract

We prove Hilton’s conjecture on the number of cycles of each length in dense Hamiltonian graphs. This resolves the problem posed by A. J.W. Hilton and recorded by Sheehan in 1977.

Provenance statement

The research reported here was developed in a ChatGPT-6-Pro conversation in approximately 56 minutes; the recorded session, including organization and delivery checks, lasted approximately 74 minutes. Codex was used for adversarial review and expository revision. The proof has passed an external Rethlas-OSV review .

References

  1. G. A. Dirac, Some theorems on abstract graphs , Proceedings of the London Mathematical Society (3) 2 (1952), 69--81. https://doi.org/10.1112/plms/s3-2.1.69.DOI
  2. J. A. Bondy, Pancyclic graphs I , Journal of Combinatorial Theory, Series B 11 (1971), 80--84. https://doi.org/10.1016/0095-8956(71)90016-5.DOI
  3. P. Erdős, On a theorem of Rademacher--Turán , Illinois Journal of Mathematics 6 (1962), 122--127. https://www.renyi.hu/~p_erdos/1962-09.pdf.link
  4. F. He and Z. Hu, A weakly pancyclic theorem for Hamiltonian non-bipartite graphs , Journal of Systems Science and Mathematical Sciences 28 (2008), 1288--1296. https://doi.org/10.12341/jssms10150.DOI
  5. J. Sheehan, Graphs with exactly one hamiltonian circuit , Journal of Graph Theory 1 (1977), 37--43. https://doi.org/10.1002/jgt.3190010110.DOI
  6. F. Nie, H. Ye, S. Liu, Z. Wang, S. Ermon and J. Zou, One-Sided Verification Under Limited Expert Review , arXiv:2610.18089 (2026). https://arxiv.org/abs/2610.18089.arXiv
  7. S. Liu, Rethlas-OSV: Desktop Math Agents for Mathematicians , 29 September 2026, updated 20 October 2026. https://srliu.com/blog/rethlas-osv-guide/.link
  8. C. Li, L. Xu and B. Zhou, The number of cycles of a given length in dense hamiltonian graphs: proving Hilton's conjecture , arXiv:2606.16114v1 (15 June 2026). https://arxiv.org/abs/2606.16114.arXiv
  9. S. Brandt, R. Faudree and W. Goddard, Weakly pancyclic graphs , Journal of Graph Theory 27 (1998), 141--176. Author manuscript: https://people.computing.clemson.edu/~goddard/papers/weakpanFinal.pdf.link
  10. S. Brandt, A sufficient condition for all short cycles , Discrete Applied Mathematics 79 (1997), 63--66. https://doi.org/10.1016/S0166-218X(97)00032-2.DOI
Show all 14 referencesShow fewer references
  1. P. Erdős and T. Gallai, On maximal paths and circuits of graphs , Acta Mathematica Academiae Scientiarum Hungaricae 10 (1959), 337--356. https://www.renyi.hu/~p_erdos/1959-10.pdf.link
  2. G. N. Kopylov, On maximal paths and cycles in a graph , Doklady Akademii Nauk SSSR 234 (1977), 19--21; English translation, Soviet Mathematics Doklady 18 (1977), 593--596. https://www.mathnet.ru/eng/dan40958.link
  3. Z. Füredi, A. Kostochka, R. Luo and J. Verstraëte, Stability in the Erdős--Gallai theorem on cycles and paths, II , arXiv:1704.02866 (2017). https://arxiv.org/pdf/1704.02866.arXiv
  4. R. Luo, The maximum number of cliques in graphs without long cycles , arXiv:1701.07472v2 (2017). https://arxiv.org/pdf/1701.07472.arXiv

Version history

  1. v1Submitted by Qiyue TangInitial depositCurrentNov 02, 2026