pith. sign in

arxiv: 2606.11178 · v1 · pith:6BQDFR6Vnew · submitted 2026-06-09 · 🧮 math.CO

A Proof of Nash-Williams' Conjecture

Pith reviewed 2026-06-27 12:21 UTC · model grok-4.3

classification 🧮 math.CO
keywords Nash-Williams conjecturetriangle decompositionfractional decompositionstability theoremextremal graph theorydesign theoryminimum degree condition
0
0 comments X

The pith

Every sufficiently large triangle-divisible graph with minimum degree at least 3n/4 has a triangle decomposition.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves Nash-Williams' conjecture from 1970 that every triangle-divisible graph on n vertices with minimum degree at least 3n/4 admits a triangle decomposition when n is large enough. The argument splits into three parts: first establishing the fractional version exactly at degree 3n/4, then proving a stability theorem that any graph without a fractional decomposition must be edit-close to the join of two n/4-regular graphs on n/2 vertices each, and finally combining the two to obtain the integral decomposition. A reader would care because the result resolves a fifty-year-old question in extremal design theory and supplies the exact threshold needed for related decomposition problems.

Core claim

If G is a triangle-divisible graph on n vertices with minimum degree at least 3n/4, then G has a triangle decomposition for all sufficiently large n. The proof first shows the fractional Nash-Williams conjecture holds at this exact degree bound, next establishes a fractional stability theorem identifying any graph without a fractional K3-decomposition as close in edit distance to the join of two n/4-regular graphs on n/2 vertices, and finally uses the stability result to upgrade the fractional decomposition to an integral one.

What carries the argument

The fractional triangle decomposition at minimum degree exactly 3n/4 together with the stability theorem that forces any non-decomposable graph near the threshold to be close in edit distance to the join of two n/4-regular graphs on n/2 vertices.

If this is right

  • The full Nash-Williams conjecture holds for all large n.
  • Any triangle-divisible graph near the degree threshold without a decomposition must lie close in edit distance to the join of two n/4-regular graphs on n/2 vertices.
  • The exact fractional threshold of 3n/4 can be substituted into other design-theory results that previously required a strictly larger constant.
  • The stability theorem applies simultaneously to both the fractional and integral settings.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The stability method could be adapted to obtain decomposition thresholds for other fixed subgraphs such as K4 or C4.
  • The explicit description of the extremal examples suggests that algorithmic or approximate versions of the decomposition may exist for graphs slightly below the threshold.
  • Related problems in extremal design theory that depended on the previous fractional bound of roughly 0.827 can now be tightened to 0.75.

Load-bearing premise

The fractional Nash-Williams conjecture holds exactly when the minimum degree reaches three-quarters of the number of vertices.

What would settle it

A triangle-divisible graph on a large number of vertices with minimum degree at least 3n/4 that has no triangle decomposition.

read the original abstract

A central open question in extremal design theory is Nash-Williams' Conjecture from 1970 that every triangle-divisible graph on $n$ vertices (for $n$ large enough) with minimum degree at least $0.75 n$ has a triangle decomposition. In this paper, we prove this conjecture in full. In 2016, Barber, K\"{u}hn, Lo, and Osthus proved that if the fractional relaxation of Nash-Williams' Conjecture holds for minimum degree $cn$ for some constant $c\ge 0.75$, then Nash-Williams' Conjecture holds for any constant $c' > c$. The previously best-known bound on the fractional relaxation was due to Delcourt and Postle from 2021 with $c= \frac{7+\sqrt{21}}{14} \approx 0.82733$. This bound on the fractional relaxation has grown in importance over the years as it has been directly tied to bounds for a number of other problems in extremal design theory. This paper consists of three parts. In Part I, our first main result is a proof of the Fractional Nash-Williams' Conjecture: if $G$ is a graph on $n$ vertices with minimum degree at least $\frac{3n}{4}$, then $G$ has a fractional triangle decomposition. In Part II, our second main result is a Fractional Stability Theorem for Nash-Williams' Conjecture: if a graph $G$ on $n$ vertices has minimum degree close to $\frac{3n}{4}$ but no fractional $K_3$-decomposition, then $G$ is close (in edit distance) to the join of two $\frac{n}{4}$-regular graphs each on $\frac{n}{2}$ vertices. We use this to prove that if a triangle-divisible graph $G$ on $n$ vertices has minimum degree close to $\frac{3n}{4}$ but no $K_3$-decomposition, then $G$ is close (in edit distance) to the join of two $\frac{n}{4}$-regular graphs each on $\frac{n}{2}$ vertices. In Part III, our final main result is a proof of Nash-Williams' Conjecture in full.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves Nash-Williams' conjecture: for all sufficiently large n, every triangle-divisible graph on n vertices with minimum degree at least (3/4)n admits a K_3-decomposition. The argument proceeds in three parts: Part I establishes the fractional Nash-Williams conjecture at the exact threshold δ(G) ≥ 3n/4; Part II proves a matching fractional stability theorem identifying the extremal examples as joins of two (n/4)-regular graphs on n/2 vertices each; Part III combines these with the reduction framework of Barber-Kühn-Lo-Osthus to obtain the integral result for triangle-divisible graphs.

Significance. If the proofs are correct, the result resolves a 1970 conjecture that has been a central open question in extremal design theory. The fractional theorem at the optimal constant 3/4 improves the previous best bound of (7+√21)/14 ≈ 0.827 and directly strengthens bounds for multiple related decomposition problems. The stability theorem supplies the precise structural information needed to close the gap between the fractional and integral statements at the conjectured threshold.

minor comments (2)
  1. [Abstract and §1] The abstract and introduction should explicitly state the precise value of 'n large enough' or the form of the error term in the stability statements (e.g., edit distance o(n^2) or O(n^{2-ε})).
  2. [Part II] Notation for the join construction in Part II should be introduced once with a clear diagram or equation showing the two n/2-vertex parts and the complete bipartite edges between them.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending acceptance. The report accurately captures the structure and contributions of the three parts of the paper.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper structures its proof in three independent parts: a direct proof of the fractional Nash-Williams conjecture at exactly δ ≥ 3n/4 (Part I), a stability theorem characterizing near-extremal graphs without fractional decompositions (Part II), and an application of the external Barber-Kühn-Lo-Osthus reduction to obtain the integral result (Part III). The only self-citation is to the authors' own 2021 result establishing a weaker fractional bound (c ≈ 0.827), which is cited solely as historical context and is superseded by the new proof rather than serving as a load-bearing premise. No equations, definitions, or stability statements reduce to fitted parameters, self-referential constructions, or prior self-citations by construction. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a mathematical proof in extremal graph theory and relies only on standard definitions and axioms of graphs, decompositions, and linear programming relaxations; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of graph theory including the definitions of triangle-divisible graphs, minimum degree, and fractional vs integral decompositions.
    Invoked throughout the three parts as background for the conjecture and its relaxations.

pith-pipeline@v0.9.1-grok · 5960 in / 1188 out tokens · 23820 ms · 2026-06-27T12:21:38.546697+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Determining decomposition thresholds for long odd cycles

    math.CO 2026-06 unverdicted novelty 8.0

    Proves δ_{C_ℓ} = ℓ/(2ℓ-2) for odd ℓ ≥ 73.

Reference graph

Works this paper leans on

60 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Every planar map is four colorable

    Kenneth Appel and Wolfgang Haken. Every planar map is four colorable. 1976

  2. [2]

    Polynomial time approximation schemes for dense instances of NP-hard problems

    Sanjeev Arora, David Karger, and Marek Karpinski. Polynomial time approximation schemes for dense instances of NP-hard problems. InProceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, pages 284–293, 1995

  3. [3]

    Polynomial time approximation schemes for dense instances of NP-hard problems.Journal of Computer and System Sciences, 58(1):193–210, 1999

    Sanjeev Arora, David Karger, and Marek Karpinski. Polynomial time approximation schemes for dense instances of NP-hard problems.Journal of Computer and System Sciences, 58(1):193–210, 1999

  4. [4]

    Clique covers and decompositions of cliques of graphs.arXiv preprint arXiv:2412.05522, 2024

    J´ ozsef Balogh, Jialin He, Robert A Krueger, The Nguyen, and Michael C Wigal. Clique covers and decompositions of cliques of graphs.arXiv preprint arXiv:2412.05522, 2024

  5. [5]

    Packing edge disjoint cliques in graphs.Combinatorica, 45(5):56, 2025

    J´ ozsef Balogh and Michael C Wigal. Packing edge disjoint cliques in graphs.Combinatorica, 45(5):56, 2025

  6. [6]

    Edge-decompositions of graphs with high minimum degree.Advances in Mathematics, 288:337–385, 2016

    Ben Barber, Daniela K¨ uhn, Allan Lo, and Deryk Osthus. Edge-decompositions of graphs with high minimum degree.Advances in Mathematics, 288:337–385, 2016

  7. [7]

    Large girth approximate Steiner triple systems.Journal of the London Mathematical Society, 100(3):895–913, 2019

    Tom Bohman and Lutz Warnke. Large girth approximate Steiner triple systems.Journal of the London Mathematical Society, 100(3):895–913, 2019

  8. [8]

    Perfect tilings of 3-graphs with the generalised triangle.arXiv preprint arXiv:2505.05606, 2025

    Candida Bowtell, Amarja Kathapurkar, Natasha Morrison, and Richard Mycroft. Perfect tilings of 3-graphs with the generalised triangle.arXiv preprint arXiv:2505.05606, 2025

  9. [9]

    Burgess, Peter H

    Andrea C. Burgess, Peter H. Danziger, and Tommaso Traetta. A survey on constructive methods for the Oberwolfach problem and its variants. InInternational Conference on New Advances in Designs, Codes and Cryptography, pages 37–62. Springer, 2022

  10. [10]

    A bandwidth theorem for approx- imate decompositions.Proceedings of the London Mathematical Society, 118(6):1393–1449, 2019

    Padraig Condon, Jaehoon Kim, Daniela K¨ uhn, and Deryk Osthus. A bandwidth theorem for approx- imate decompositions.Proceedings of the London Mathematical Society, 118(6):1393–1449, 2019

  11. [11]

    Memoirs of the American Mathematical Society, 2016

    B´ ela Csaba, Daniela K¨ uhn, Allan Lo, Deryk Osthus, and Andrew Treglown.Proof of the 1-factorization and Hamilton decomposition conjectures, volume 244. Memoirs of the American Mathematical Society, 2016

  12. [12]

    Beyond Nash–Williams: Counterexamples to clique decomposition thresholds for all cliques larger than triangles

    Michelle Delcourt, Cicely Henderson, Thomas Lesgourgues, and Luke Postle. Beyond Nash–Williams: Counterexamples to clique decomposition thresholds for all cliques larger than triangles. arXiv:2508.20819, 2025

  13. [13]

    Erd˝ os meets Nash- Williams.arXiv preprint arXiv:2507.23624, 2025

    Michelle Delcourt, Cicely Henderson, Thomas Lesgourgues, and Luke Postle. Erd˝ os meets Nash- Williams.arXiv preprint arXiv:2507.23624, 2025

  14. [14]

    Progress towards Nash-Williams’ Conjecture on triangle decom- positions.Journal of Combinatorial Theory, Series B, 146:382–416, 2021

    Michelle Delcourt and Luke Postle. Progress towards Nash-Williams’ Conjecture on triangle decom- positions.Journal of Combinatorial Theory, Series B, 146:382–416, 2021

  15. [15]

    Refined Absorption: A New Proof of the Existence Conjecture

    Michelle Delcourt and Luke Postle. Refined Absorption: A New Proof of the Existence Conjecture. arXiv:2402.17855, 2024

  16. [16]

    Proof of the resolvable variant of Nash-Williams’ conjecture

    Michelle Delcourt and Luke Postle. Proof of the resolvable variant of Nash-Williams’ conjecture. manuscript, 2026

  17. [17]

    Refined absorption for partitioned hypergraphs and beyond

    Michelle Delcourt and Luke Postle. Refined absorption for partitioned hypergraphs and beyond. manuscript, 2026. 117

  18. [18]

    Fractional triangle decompositions in graphs with large minimum degree.SIAM Journal on Discrete Mathematics, 30(1):36–42, 2016

    Fran¸ cois Dross. Fractional triangle decompositions in graphs with large minimum degree.SIAM Journal on Discrete Mathematics, 30(1):36–42, 2016

  19. [19]

    Rational decomposition of dense hypergraphs and some related eigenvalue estimates

    Peter J. Dukes. Corrigendum to “Rational decomposition of dense hypergraphs and some related eigenvalue estimates”[Linear Algebra Appl. 436 (9)(2012) 3736–3746].Linear Algebra and its Appli- cations, 467:267–269, 2015

  20. [20]

    Dukes and Daniel Horsley

    Peter J. Dukes and Daniel Horsley. On the minimum degree required for a triangle decomposition. SIAM Journal on Discrete Mathematics, 34(1):597–610, January 2020

  21. [21]

    On some new inequalities concerning extremal properties of graphs

    Paul Erd˝ os. On some new inequalities concerning extremal properties of graphs. InTheory of Graphs (Proc. Colloq., Tihany, 1966), pages 77–81, 1966

  22. [22]

    Some recent results on extremal problems in graph theory

    Paul Erd˝ os. Some recent results on extremal problems in graph theory. results.Theory of Graphs (Internat. Sympos., Rome, 1966), pages 117–123, 1967

  23. [23]

    A limit theorem in graph theory.Studies Scientiarum Mat- tiematiearum Hungariea, 1(51-57):51, 1966

    Paul Erd˝ os and Mikl´ os Simonovits. A limit theorem in graph theory.Studies Scientiarum Mat- tiematiearum Hungariea, 1(51-57):51, 1966

  24. [24]

    Problems and results in combinatorial analysis

    Paul Erd˝ os. Problems and results in combinatorial analysis. InColloq. Internat. Theor. Combin. Rome, pages 3–17, 1973

  25. [25]

    Theorie der einfachen ungleichungen.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 1902(124):1–27, 1902

    Julius Farkas. Theorie der einfachen ungleichungen.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 1902(124):1–27, 1902

  26. [26]

    Packing spanning graphs from separable families

    Asaf Ferber, Choongbum Lee, and Frank Mousset. Packing spanning graphs from separable families. Israel Journal of Mathematics, 219(2):959–982, 2017

  27. [27]

    PhD thesis, University of Victoria, 2014

    Kseniya Garaschuk.Linear methods for rational triangle decompositions. PhD thesis, University of Victoria, 2014

  28. [28]

    Resolution of the Ober- wolfach problem.Journal of the European Mathematical Society, 23(8):2511–2547, 2021

    Stefan Glock, Felix Joos, Jaehoon Kim, Daniela K¨ uhn, and Deryk Osthus. Resolution of the Ober- wolfach problem.Journal of the European Mathematical Society, 23(8):2511–2547, 2021

  29. [29]

    On the decomposition threshold of a given graph.Journal of Combinatorial Theory, Series B, 139:47–127, 2019

    Stefan Glock, Daniela K¨ uhn, Allan Lo, Richard Montgomery, and Deryk Osthus. On the decomposition threshold of a given graph.Journal of Combinatorial Theory, Series B, 139:47–127, 2019

  30. [30]

    On a conjecture of Erd˝ os on locally sparse Steiner triple systems.Combinatorica, 40(3):363–403, 2020

    Stefan Glock, Daniela K¨ uhn, Allan Lo, and Deryk Osthus. On a conjecture of Erd˝ os on locally sparse Steiner triple systems.Combinatorica, 40(3):363–403, 2020

  31. [31]

    London Mathematical Society Lecture Note Series

    Stefan Glock, Daniela K¨ uhn, and Deryk Osthus.Extremal aspects of graph and hypergraph decom- position problems, pages 235–266. London Mathematical Society Lecture Note Series. Cambridge University Press, 2021

  32. [32]

    Property testing and its connection to learning and approximation

    Oded Goldreich, Shafi Goldwasser, and Dana Ron. Property testing and its connection to learning and approximation. pages 339–348. IEEE Comput. Soc. Press, New York, 1996

  33. [33]

    Property testing and its connection to learning and approximation.Journal of the ACM (JACM), 45(4):653–750, 1998

    Oded Goldreich, Shari Goldwasser, and Dana Ron. Property testing and its connection to learning and approximation.Journal of the ACM (JACM), 45(4):653–750, 1998

  34. [34]

    PhD thesis, University of Stockholm, 1991

    Torbj¨ orn Gustavsson.Decompositions of large graphs and digraphs with high minimum degree. PhD thesis, University of Stockholm, 1991

  35. [35]

    On perfect matchings in k-complexes.International Mathematics Research Notices, 2021(11):8741–8762, 2021

    Jie Han. On perfect matchings in k-complexes.International Mathematics Research Notices, 2021(11):8741–8762, 2021. 118

  36. [36]

    Haxell and Vojtech R¨ odl

    Penny E. Haxell and Vojtech R¨ odl. Integer and fractional packings in dense graphs.Combinatorica, 21(1):13–38, 2001

  37. [37]

    The existence of designs.arXiv preprint arXiv:1401.3665, 2014

    Peter Keevash. The existence of designs.arXiv preprint arXiv:1401.3665, 2014

  38. [38]

    Amer- ican Mathematical Society, 2015

    Peter Keevash and Richard Mycroft.A geometric theory for hypergraph matching, volume 233. Amer- ican Mathematical Society, 2015

  39. [39]

    The generalised Oberwolfach problem.Journal of Combinatorial Theory, Series B, 152:281–318, 2022

    Peter Keevash and Katherine Staden. The generalised Oberwolfach problem.Journal of Combinatorial Theory, Series B, 152:281–318, 2022

  40. [40]

    A blow-up lemma for ap- proximate decompositions.Transactions of the American Mathematical Society, 371(7):4655–4742, 2019

    Jaehoon Kim, Daniela K¨ uhn, Deryk Osthus, and Mykhaylo Tyomkyn. A blow-up lemma for ap- proximate decompositions.Transactions of the American Mathematical Society, 371(7):4655–4742, 2019

  41. [41]

    Thomas P. Kirkman. On a problem in combinatorics.Cambridge Dublin Math. J, 2:191–204, 1847

  42. [42]

    Martins, and Yanitsa Pehova

    Daniel Kr´ al’, Bernard Lidick´ y, Ta´ ısa L. Martins, and Yanitsa Pehova. Decomposing graphs into edges and triangles.Combinatorics, Probability and Computing, 28(3):465–472, 2019

  43. [43]

    Optimal packings of Hamilton cycles in graphs of high minimum degree.Combinatorics, Probability and Computing, 22(3):394–416, 2013

    Daniela K¨ uhn, John Lapinskas, and Deryk Osthus. Optimal packings of Hamilton cycles in graphs of high minimum degree.Combinatorics, Probability and Computing, 22(3):394–416, 2013

  44. [44]

    High-girth Steiner triple sys- tems.Annals of Mathematics, 200(3):1059–1156, 2024

    Matthew Kwan, Ashwin Sah, Mehtaab Sawhney, and Michael Simkin. High-girth Steiner triple sys- tems.Annals of Mathematics, 200(3):1059–1156, 2024

  45. [45]

    Tiling dense hypergraphs.arXiv preprint arXiv:2308.12281, 2023

    Richard Lang. Tiling dense hypergraphs.arXiv preprint arXiv:2308.12281, 2023

  46. [46]

    A brief review on Egmont K¨ ohler’s mathematical work.Discrete mathematics, 97(1-3):3–16, 1991

    Hanfried Lenz and Gerhard Ringel. A brief review on Egmont K¨ ohler’s mathematical work.Discrete mathematics, 97(1-3):3–16, 1991

  47. [47]

    American Mathematical Soc., 2012

    L´ aszl´ o Lov´ asz.Large networks and graph limits, volume 60. American Mathematical Soc., 2012

  48. [48]

    Fractional clique decompositions of dense graphs.Random Structures & Algo- rithms, 54(4):779–796, 2019

    Richard Montgomery. Fractional clique decompositions of dense graphs.Random Structures & Algo- rithms, 54(4):779–796, 2019

  49. [49]

    Motzkin and Ernst G

    Theodore S. Motzkin and Ernst G. Straus. Maxima for graphs and a new proof of a theorem of Tur´ an. Canadian Journal of Mathematics, 17:533–540, 1965

  50. [50]

    Crispin St J. A. Nash-Williams. An unsolved problem concerning decomposition of graphs into trian- gles.Combinatorial Theory and its Applications, 3(1070):1179–1183, 1970

  51. [51]

    A theorem concerning Hamilton lines.A Magyar Tudomanyos Akademia Matematikai Kutat´ o Intezetenek K¨ ozlem´ enyei, 7(1-2):225–226, 1962

    Lajos P´ osa. A theorem concerning Hamilton lines.A Magyar Tudomanyos Akademia Matematikai Kutat´ o Intezetenek K¨ ozlem´ enyei, 7(1-2):225–226, 1962

  52. [52]

    The four-colour theorem.Journal of Combinatorial Theory, Series B, 70(1):2–44, 1997

    Neil Robertson, Daniel Sanders, Paul Seymour, and Robin Thomas. The four-colour theorem.Journal of Combinatorial Theory, Series B, 70(1):2–44, 1997

  53. [53]

    Perfect matchings in uniform hypergraphs with large minimum degree.European Journal of Combinatorics, 27(8):1333–1349, 2006

    Vojtech R¨ odl, Andrzej Ruci´ nski, and Endre Szemer´ edi. Perfect matchings in uniform hypergraphs with large minimum degree.European Journal of Combinatorics, 27(8):1333–1349, 2006

  54. [54]

    A method for solving extremal problems in graph theory, stability problems

    Mikl´ os Simonovits. A method for solving extremal problems in graph theory, stability problems. In Theory of Graphs (Proc. Colloq., Tihany, 1966), pages 279–319, 1968

  55. [55]

    ¨Uber den kartographischen vierfarbensatz.Mathematische Annalen, 58(3):413–426, 1904

    Paul Wernicke. ¨Uber den kartographischen vierfarbensatz.Mathematische Annalen, 58(3):413–426, 1904. 119

  56. [56]

    Richard M. Wilson. Decomposition of complete graphs into subgraphs isomorphic to a given graph. Congressus Numerantium XV, pages 647–659, 1975

  57. [57]

    Asymptotically optimalK k-packings of dense graphs via fractionalK k- decompositions.Journal of Combinatorial Theory, Series B, 95(1):1–11, 2005

    Raphael Yuster. Asymptotically optimalK k-packings of dense graphs via fractionalK k- decompositions.Journal of Combinatorial Theory, Series B, 95(1):1–11, 2005

  58. [58]

    Integer and fractional packing of families of graphs.Random Structures & Algorithms, 26(1-2):110–118, 2005

    Raphael Yuster. Integer and fractional packing of families of graphs.Random Structures & Algorithms, 26(1-2):110–118, 2005

  59. [59]

    Raphael Yuster.H-packing ofk-chromatic graphs.Mosc. J. Comb. Number Theory, 2(1):73–88, 2012

  60. [60]

    Edge-disjoint cliques in graphs with high minimum degree.SIAM Journal on Discrete Mathematics, 28(2):893–910, 2014

    Raphael Yuster. Edge-disjoint cliques in graphs with high minimum degree.SIAM Journal on Discrete Mathematics, 28(2):893–910, 2014. 120