A Proof of Nash-Williams' Conjecture
Pith reviewed 2026-06-27 12:21 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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-ε})).
- [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
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
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
axioms (1)
- standard math Standard axioms of graph theory including the definitions of triangle-divisible graphs, minimum degree, and fractional vs integral decompositions.
Forward citations
Cited by 1 Pith paper
-
Determining decomposition thresholds for long odd cycles
Proves δ_{C_ℓ} = ℓ/(2ℓ-2) for odd ℓ ≥ 73.
Reference graph
Works this paper leans on
-
[1]
Every planar map is four colorable
Kenneth Appel and Wolfgang Haken. Every planar map is four colorable. 1976
1976
-
[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
1995
-
[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
1999
-
[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
arXiv 2024
-
[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
2025
-
[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
2016
-
[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
2019
-
[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
arXiv 2025
-
[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
2022
-
[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
2019
-
[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
2016
-
[12]
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
arXiv 2025
-
[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
arXiv 2025
-
[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
2021
-
[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
arXiv 2024
-
[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
2026
-
[17]
Refined absorption for partitioned hypergraphs and beyond
Michelle Delcourt and Luke Postle. Refined absorption for partitioned hypergraphs and beyond. manuscript, 2026. 117
2026
-
[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
2016
-
[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
2012
-
[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
2020
-
[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
1966
-
[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
1966
-
[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
1966
-
[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
1973
-
[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
1902
-
[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
2017
-
[27]
PhD thesis, University of Victoria, 2014
Kseniya Garaschuk.Linear methods for rational triangle decompositions. PhD thesis, University of Victoria, 2014
2014
-
[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
2021
-
[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
2019
-
[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
2020
-
[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
2021
-
[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
1996
-
[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
1998
-
[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
1991
-
[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
2021
-
[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
2001
-
[37]
The existence of designs.arXiv preprint arXiv:1401.3665, 2014
Peter Keevash. The existence of designs.arXiv preprint arXiv:1401.3665, 2014
arXiv 2014
-
[38]
Amer- ican Mathematical Society, 2015
Peter Keevash and Richard Mycroft.A geometric theory for hypergraph matching, volume 233. Amer- ican Mathematical Society, 2015
2015
-
[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
2022
-
[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
2019
-
[41]
Thomas P. Kirkman. On a problem in combinatorics.Cambridge Dublin Math. J, 2:191–204, 1847
-
[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
2019
-
[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
2013
-
[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
2024
-
[45]
Tiling dense hypergraphs.arXiv preprint arXiv:2308.12281, 2023
Richard Lang. Tiling dense hypergraphs.arXiv preprint arXiv:2308.12281, 2023
Pith/arXiv arXiv 2023
-
[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
1991
-
[47]
American Mathematical Soc., 2012
L´ aszl´ o Lov´ asz.Large networks and graph limits, volume 60. American Mathematical Soc., 2012
2012
-
[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
2019
-
[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
1965
-
[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
1970
-
[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
1962
-
[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
1997
-
[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
2006
-
[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
1966
-
[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
1904
-
[56]
Richard M. Wilson. Decomposition of complete graphs into subgraphs isomorphic to a given graph. Congressus Numerantium XV, pages 647–659, 1975
1975
-
[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
2005
-
[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
2005
-
[59]
Raphael Yuster.H-packing ofk-chromatic graphs.Mosc. J. Comb. Number Theory, 2(1):73–88, 2012
2012
-
[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
2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.