REVIEW 2 major objections 6 minor 43 references
Sharp Diagonal Thresholds for Tight Hamilton Cycles in Uniformly Dense $3$-Graphs
T0 review · 2 major / 6 minor · reviewed 2026-07-30 · grok-4.5
Pith's one-line read Above density 1/3, a sharp vertex-degree curve forces tight Hamilton cycles in uniformly dense 3-graphs; the codegree diagonal threshold is about 0.3177, not 1/4.
desk verdict Sharp thresholds that settle two named problems, with solid internal math that routes through one recent external embedding black box. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
A Hamilton-framework reduction: almost every large induced subgraph must contain a spanning tight component that carries a perfect fractional matching, an aperiodic closed walk, and consistency across overlapping subgraphs; that component is located by two distinct dominant-component lemmas (weighted monochromatic-clique selection for vertex degree; stability around κ plus cherry inequalities for codegree).
What would settle it
Exhibit an infinite family of (n,d,μ)-dense 3-graphs with minimum vertex degree above f(d) (or codegree above κ) that still lack a tight Hamilton cycle, or show that the Lang–Sanhueza-Matamala embedding fails at the error scales used here.
Extended reading notes
Core claim
In (n,d,μ)-dense 3-graphs, density d>1/3 and minimum vertex degree strictly above f(d)=(1−√((4d−1)/3))/2 force a tight Hamilton cycle, and the bound is asymptotically sharp; on the codegree side the sharp diagonal is exactly (κ,κ) with κ the unique root of κ=(1−κ)³≈0.3177, so the previously conjectured 1/4 threshold is false.
Load-bearing premise
The argument treats an external embedding theorem as a black box: once almost every medium-sized subset carries a local Hamilton framework, the whole graph is automatically Hamiltonian.
Editorial extensions
If this is right
- The diagonal vertex-degree problem above density 1/3 is settled: any α>1/3 works once d>1/3.
- The codegree conjecture that density and codegree >1/4 suffice is false; the correct diagonal constant is κ≈0.3177.
- The same dominant-component lemmas supply structural information usable for other spanning problems in linearly quasirandom 3-graphs.
- Below density 1/3 the threshold functions h1(d) and h2(d) remain open and are now the natural next targets.
Reading between the lines
- The jump from 1/4 to κ on the codegree diagonal suggests that space barriers and component separation, not mere density, govern the obstruction once pairs rather than vertices are controlled.
- Because the weighted-clique step needs monochromatic triangle weight >1/3, the method itself explains why density 1/3 is a natural wall for the vertex-degree argument.
- Independent determination of the codegree curve above 1/3 (h2(d)=f(d)²) together with this diagonal result nearly completes the picture except in the sparse regime d≤1/3.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies tight Hamilton cycles in (n,d,μ)-dense 3-graphs under minimum-degree conditions. Theorem 1.1 shows that for every d∈(1/3,1] and α>f(d)=(1−√((4d−1)/3))/2, uniform density together with δ₁≥α\binom{n−1}{2} forces a tight Hamilton cycle, and §3.1 gives matching constructions showing this boundary is sharp; the diagonal consequence (Corollary 1.2) answers Problem 8.3(i) of Araújo–Piga–Schacht and confirms Conjecture 8.1 of Han–Shu–Wang. For the codegree condition, Theorem 1.3 constructs (n,κ,μ)-dense 3-graphs with δ₂≥(κ−ε)n and no tight Hamilton cycle, where κ=(1−κ)³≈0.3177>1/4, thereby disproving Conjecture 8.2 of Han–Shu–Wang and answering Problem 8.3(ii) negatively; Theorem 1.4 shows (κ,κ) is the sharp diagonal threshold. The upper-bound proofs use a common reduction to the Hamilton-framework embedding theorem of Lang–Sanhueza-Matamala via inheritance lemmas, with the framework conditions supplied by two distinct dominant tight-component lemmas: in the vertex-degree case via a component coloring, Kruskal–Katona, multicolor regularity, and a new weighted monochromatic-clique theorem; in the codegree case via a stability analysis around κ=(1−κ)³ and a weighted two-color cherry-counting lemma.
Significance. If correct, this is a strong result that settles two open problems from Araújo–Piga–Schacht and Han–Shu–Wang, one positively and one negatively, and in the vertex-degree case determines the entire sharp boundary curve α=f(d) for d>1/3 rather than only the diagonal. The negative codegree answer is quantitatively interesting: the diagonal threshold κ=(1−κ)³≈0.3177 strictly exceeds 1/4, so density and codegree above 1/4 provably do not suffice, and the matching construction in §3.2 is new and clean. Beyond the headline theorems, the paper contributes reusable machinery: the weighted monochromatic-clique theorem (Lemma 5.3) and its robust form (Theorem 5.4), the two-color structural theorem (Theorem 5.8), the sharp cherry lemma (Lemma 5.9, sharp at q=1/4), and a dominant-component method that avoids absorption. The sharpness constructions are explicit and the concentration arithmetic is verified in full, so the thresholds are derived from matching extremal examples rather than assumed. The combination of new internal machinery with the recent Hamilton-framework embedding technology is a natural and apparently effective way to bypass the connecting-ends obstacle identified in earlier的工作
major comments (2)
- [§2.1, Lemma 2.2; §4.3] Both main theorems route through Lemma 2.2, stated as 'the case k=t=3 of [30, Theorem 3.5]' (Lang–Sanhueza-Matamala, arXiv:2412.14891v2, revised March 2026, apparently unpublished), together with the inheritance statements Lemma 2.3 ([29, Lemma 8.1], arXiv:2308.12281v3, revised May 2026) and Lemma 2.4 ([30, Lemma 4.3]). If the specialization is inaccurate in any framework axiom — e.g. if [30]'s framework conditions differ from (F1)-(F4) of Definition 2.1, or if the quantitative hypothesis of [30, Thm 3.5] is weaker/stronger than the 'at least (1-1/s^2) of the s-sets through every 6-set' formulation used here — the deductions in §4.3 have no fallback. Since both cited works are very recent, revised preprints, the manuscript should include a short appendix or an expanded remark that (i) derives the k=t=3 statement from [30, Thm 3.5] explicitly (identifying the parameters and confirming the
- [§7.2, proof of Lemma 4.3] Lemma 4.3 is load-bearing for (F4) in the codegree case (Lemma 4.5), but its proof in §7.2 ends with the truncated sentence 'contradicting.' with no object. From context the intended contradiction is with Lemma 5.9 (with q' in place of q, on the reduced red weight system and its complement), but the argument as printed also skips a step: Lemma 5.9 gives a positive proportion βr_j^2/2 of bad pairs, whereas the proof establishes the common-neighbor lower bounds only on 'all but o(r_j^2)' pairs, so one must verify that o(r_j^2) < βr_j^2/2 for large j — this is fine but should be written out, and the missing reference restored. As printed, the final step of the proof is not checkable.
minor comments (6)
- [§5.2, opening paragraph] The sentence 'We prove Lemmas 4.2 and 4.3. Throughout this section, κ is...' appears at the head of §5.2, but §5.2 contains the weighted-coloring auxiliary results (Lemmas 5.5-5.9); Lemmas 4.2 and 4.3 are proved in §7. The sentence presumably belongs at the start of §7.
- [notation throughout §§5-7] The symbol q is used for the cluster size in §6, for the cherry-weight threshold in Lemma 5.9 and §7, and for the common-neighbor parameter in Lemma 2.12; m is used both for the number of clusters (§6) and as the induction variable in Lemma 5.3. Consider renaming to avoid confusion.
- [§4.1, Lemma 4.3 statement] In the statement of Lemma 4.3, the quantification 'there exist ε>0 and s0... Let R and B be... Then no such pair (R,B) exists' is slightly awkward; the conclusion is that the hypotheses are mutually inconsistent. A phrase such as 'no such pair exists' directly after the hypotheses would read better.
- [§4.3] Lemma 2.2 requires s≥6 and a statement for every 6-set R; a sentence explaining why r=6 (and not a larger anchor) suffices in the applications of Lemmas 2.3-2.4 in §4.3 would help the reader follow the constant hierarchy d0,α0 → μ',s0 → s → μ → n0.
- [References] Please double-check reference data: [17] is listed as J. Combin. Theory Ser. B 177:1-30, 2026; [29] and [30] are cited only as preprints with 2026 revision dates. If any of these have since appeared, updated citations (and, for [30], a stable statement number for Theorem 3.5) should be given.
- [§1.3, Corollary 1.2] The diagonal formulation Corollary 1.2 is stated as an 'immediate consequence' of Theorem 1.1; one line noting that d,α>1/3 implies α>f(d) (since f(d)<1/3 for d>1/3) would make this literally immediate.
Circularity Check
No circularity: thresholds arise from matching explicit constructions to independent structural proofs, not from self-definition or fitted inputs.
full rationale
The paper is a self-contained extremal combinatorics argument. The functions f(d) and κ are obtained from explicit probabilistic constructions (Lemmas 3.2–3.3) that obstruct Hamiltonicity while preserving (n,d,μ)-density and the stated degree bounds; the matching sufficiency proofs (Theorems 1.1 and 1.4) proceed by a Hamilton-framework reduction to new dominant-component lemmas (4.1–4.3), which are proved from scratch via multicolour regularity, a weighted monochromatic-clique theorem (Lemma 5.3 / Theorem 5.4), and a codegree stability analysis (Theorem 5.8, Lemma 5.9). None of these steps defines the output in terms of itself, fits a parameter to data and re-labels it a prediction, or rests on a load-bearing uniqueness/ansatz result of the same authors. Citations to Han–Shu–Wang and Araújo–Piga–Schacht are to the open problems being resolved; the embedding black box (Lemma 2.2) is an external theorem of Lang–Sanhueza-Matamala. Standard matching of construction to proof is not circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption Lang–Sanhueza-Matamala Hamilton-framework embedding theorem (their Thm 3.5 specialized to k=t=3): local robust presence of a framework implies a tight Hamilton cycle.
- standard math Multicolor Szemerédi regularity lemma and standard weighted cut/triangle counting lemmas.
- standard math Lovász form of Kruskal–Katona (triangle bound) and Lenz–Mubayi perfect-matching theorem for uniformly dense 3-graphs with positive vertex degree.
- standard math Uniform Turán density of C7^(3) is at most 4/27 (Bucić–Cooper–Kráľ–Mohr–Munhá Correia), so density >4/27 forces a 7-cycle.
- domain assumption Inheritance of (n,d,μ)-density and of minimum degree/codegree to almost all s-sets (Lang; Lang–Sanhueza-Matamala).
- domain assumption Definition of (n,d,μ)-density (one-sided box discrepancy / linear quasirandomness) as the ambient host class.
invented entities (3)
-
Weighted L-coloring of pairs and monochromatic triangle/cherry weights M, Ki
-
Hamilton-framework family Ps with conditions (F1)–(F4)
-
Dominant tight component C with quantitative shadow/density/degree lower bounds (Lemmas 4.1–4.2)
Cite this review
Pith. "Pith review of Sharp Diagonal Thresholds for Tight Hamilton Cycles in Uniformly Dense $3$-Graphs." pith.science (2026). https://pith.science/paper/7K5JGZWJ
@misc{pith2026260723748,
author = {Pith},
title = {Pith review of: Sharp Diagonal Thresholds for Tight Hamilton Cycles in Uniformly Dense $3$-Graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/7K5JGZWJ}},
note = {Machine review of arXiv:2607.23748}
}
abstract
A $3$-uniform hypergraph (or $3$-graph) $H$ on $n$ vertices is \emph{$(n,d,\mu)$-dense} if $e_H(X,Y,Z)\ge d|X||Y||Z|-\mu n^3$ for all $X,Y,Z\subseteq V(H)$. This is one of the weakest standard notions of quasirandomness for $3$-graphs and is also known as linear quasirandomness. In this paper, we determine the sharp diagonal thresholds for tight Hamilton cycles in $(n,d,\mu)$-dense $3$-graphs $H$ under conditions on the minimum vertex degree $\delta_1(H)$ and the minimum codegree $\delta_2(H)$. We actually prove a general result: define \[ f(d):=\frac{1-\sqrt{(4d-1)/3}}2. \] We prove that $(n,d,\mu)$-density together with $\delta_1(H)\ge\alpha\binom{n-1}{2}$ forces a tight Hamilton cycle whenever $d > 1/3$ and $\alpha>f(d)$. In particular, $f(1/3)=1/3$, which answers Problem~8.3(i) of Ara\'ujo, Piga and Schacht and confirms Conjecture~8.1 of Han, Shu and Wang. For the minimum codegree condition, the sharp diagonal threshold is $(\kappa,\kappa)$, where $\kappa$ is the unique real solution of $\kappa=(1-\kappa)^3$. Since $\kappa\approx0.3177>1/4$, this gives a negative answer to Problem~8.3(ii) of Ara\'ujo, Piga and Schacht and disproves Conjecture~8.2 of Han, Shu and Wang. The two proofs use a common Hamilton-framework reduction, but the two degree conditions lead to distinct dominant-component lemmas for $(n, d, \mu)$-dense $3$-graphs, which are of independent interest and whose proofs do not rely on the absorption method.
Reference graph
Works this paper leans on
-
[30]
R. Lang and N. Sanhueza-Matamala. A hypergraph bandwidth theorem, 2024. arXiv:2412.14891v2, revised March 2026
arXiv 2024
-
[1]
Aigner-Horev, D
E. Aigner-Horev, D. Conlon, H. Hán, Y. Person, and M. Schacht. Quasirandomness in hypergraphs. Electron. J. Combin., 25(3):Paper No. 3.34, 22, 2018
2018
-
[2]
Aigner-Horev and G
E. Aigner-Horev and G. Levy. Tight Hamilton cycles in cherry-quasirandom 3-uniform hypergraphs. Combin. Probab. Comput., 30(3):412–443, 2021
2021
-
[3]
Araújo, S
P. Araújo, S. Piga, and M. Schacht. Localized codegree conditions for tight Hamilton cycles in 3-uniform hypergraphs.SIAM J. Discrete Math., 36(1):147–169, 2022
2022
-
[4]
J. d. O. Bastos, G. O. Mota, M. Schacht, J. Schnitzer, and F. Schulenburg. Loose Hamiltonian cycles forced by large (k−2) -degree—approximate version.SIAM J. Discrete Math., 31(4):2328–2347, 2017
2017
-
[5]
J. d. O. Bastos, G. O. Mota, M. Schacht, J. Schnitzer, and F. Schulenburg. Loose Hamiltonian cycles forced by large(k−2)-degree—sharp version.Contrib. Discrete Math., 13(2):88–100, 2018. TIGHT HAMILTON CYCLES IN UNIFORMLY DENSE3-GRAPHS 33
2018
-
[6]
Bucić, J
M. Bucić, J. W. Cooper, D. Krᡠl, S. Mohr, and D. Munhá Correia. Uniform Turán density of cycles.Trans. Amer. Math. Soc., 376(7):4765–4809, 2023
2023
-
[7]
E. Buß, H. Hán, and M. Schacht. Minimum vertex degree conditions for loose Hamilton cycles in 3-uniform hypergraphs.J. Combin. Theory Ser. B, 103(6):658–678, 2013
2013
Show all 43 references
-
[8]
F. R. K. Chung and R. L. Graham. Quasi-random hypergraphs.Random Structures Algorithms, 1(1):105–124, 1990
1990
-
[9]
F. R. K. Chung, R. L. Graham, and R. M. Wilson. Quasi-random graphs.Combinatorica, 9(4):345– 362, 1989
1989
-
[10]
Conlon, H
D. Conlon, H. Hán, Y. Person, and M. Schacht. Weak quasi-randomness for uniform hypergraphs. Random Structures Algorithms, 40(1):1–38, 2012
2012
-
[11]
L. Ding, J. Han, S. Sun, G. Wang, and W. Zhou.F-factors in quasi-random hypergraphs.J. Lond. Math. Soc. (2), 106(3):1810–1843, 2022
2022
-
[12]
L. Ding, J. Han, S. Sun, G. Wang, and W. Zhou. Tiling multipartite hypergraphs in quasi-random hypergraphs.J. Combin. Theory Ser. B, 160:36–65, 2023
2023
-
[13]
G. A. Dirac. Some theorems on abstract graphs.Proc. London Math. Soc. (3), 2:69–81, 1952
1952
-
[14]
Gan and J
L. Gan and J. Han. Hamiltonicity in cherry-quasirandom 3-graphs.European J. Combin., 102:Paper No. 103457, 7, 2022
2022
-
[15]
Hán and M
H. Hán and M. Schacht. Dirac-type results for loose Hamilton cycles in uniform hypergraphs.J. Combin. Theory Ser. B, 100(3):332–346, 2010
2010
-
[16]
J. Han, X. Shu, and G. Wang. Non-linear Hamilton cycles in linear quasi-random hypergraphs. InProceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 74–88. [Society for Industrial and Applied Mathematics (SIAM)], Philadelphia, PA, 2021
2021
-
[17]
J. Han, X. Shu, and G. Wang. Non-linear Hamilton cycles in linear quasirandom and uniformly dense hypergraphs.J. Combin. Theory Ser. B, 177:1–30, 2026
2026
-
[18]
Han and Y
J. Han and Y. Zhao. Minimum codegree threshold for Hamiltonℓ-cycles ink-uniform hypergraphs. J. Combin. Theory Ser. A, 132:194–223, 2015
2015
-
[19]
Han and Y
J. Han and Y. Zhao. Minimum vertex degree threshold for loose Hamilton cycles in 3-uniform hypergraphs.J. Combin. Theory Ser. B, 114:70–96, 2015
2015
-
[20]
R. M. Karp. Reducibility among combinatorial problems. InComplexity of computer computations (Proc. Sympos., IBM Thomas J. Watson Res. Center, Yorktown Heights, N.Y., 1972), The IBM Research Symposia Series, pages 85–103. Plenum, New York-London, 1972
1972
-
[21]
G. Y. Katona and H. A. Kierstead. Hamiltonian chains in hypergraphs.J. Graph Theory, 30(3):205– 212, 1999
1999
-
[22]
P. Keevash. Shadows and intersections: Stability and new proofs.Advances in Mathematics, 218(5):1685–1703, 2008
2008
-
[23]
Keevash, D
P. Keevash, D. Kühn, R. Mycroft, and D. Osthus. Loose Hamilton cycles in hypergraphs.Discrete Math., 311(7):544–559, 2011
2011
-
[24]
Kohayakawa, B
Y. Kohayakawa, B. Nagle, V. e. Rödl, and M. Schacht. Weak hypergraph regularity and linear hypergraphs.J. Combin. Theory Ser. B, 100(2):151–160, 2010
2010
-
[25]
Komlós, G
J. Komlós, G. N. Sárközy, and E. Szemerédi. Blow-up lemma.Combinatorica, 17(1):109–123, 1997
1997
-
[26]
D. Kühn, R. Mycroft, and D. Osthus. Hamiltonℓ-cycles in uniform hypergraphs.J. Combin. Theory Ser. A, 117(7):910–927, 2010
2010
-
[27]
Kühn and D
D. Kühn and D. Osthus. Loose Hamilton cycles in 3-uniform hypergraphs of high minimum degree. J. Combin. Theory Ser. B, 96(6):767–821, 2006
2006
-
[28]
Kühn and D
D. Kühn and D. Osthus. Hamilton cycles in graphs and hypergraphs: an extremal perspective. In Proceedings of the International Congress of Mathematicians—Seoul 2014. Vol. IV, pages 381–406. Kyung Moon Sa, Seoul, 2014
2014
-
[29]
R. Lang. Tiling dense hypergraphs, 2023. arXiv:2308.12281v3, revised May 2026
2023 arXiv
-
[31]
Lenz and D
J. Lenz and D. Mubayi. The poset of hypergraph quasirandomness.Random Structures Algorithms, 46(4):762–800, 2015
2015
-
[32]
Lenz and D
J. Lenz and D. Mubayi. Perfect packings in quasirandom hypergraphs I.J. Combin. Theory Ser. B, 119:155–177, 2016
2016
-
[33]
J. Lenz, D. Mubayi, and R. Mycroft. Hamilton cycles in quasirandom hypergraphs.Random Structures Algorithms, 49(2):363–378, 2016
2016
-
[34]
McDiarmid
C. McDiarmid. On the method of bounded differences. InSurveys in combinatorics, 1989 (Norwich, 1989), volume 141 ofLondon Math. Soc. Lecture Note Ser., pages 148–188. Cambridge Univ. Press, Cambridge, 1989. 34 H. LIN, G. W ANG, AND W. ZHOU
1989
-
[35]
Reiher, V
C. Reiher, V. e. Rödl, A. Ruciński, M. Schacht, and E. Szemerédi. Minimum vertex degree condition for tight Hamiltonian cycles in 3-uniform hypergraphs.Proc. Lond. Math. Soc. (3), 119(2):409–439, 2019
2019
-
[36]
Rödl and A
V. Rödl and A. Ruciński. Dirac-type questions for hypergraphs—a survey (or more problems for Endre to solve). InAn irregular mind, volume 21 ofBolyai Soc. Math. Stud., pages 561–590. János Bolyai Math. Soc., Budapest, 2010
2010
-
[37]
Rödl and A
V. Rödl and A. Ruciński. Families of triples with high minimum degree are Hamiltonian.Discuss. Math. Graph Theory, 34(2):361–381, 2014
2014
-
[38]
V. Rödl, A. Ruciński, M. Schacht, and E. Szemerédi. On the Hamiltonicity of triple systems with high minimum degree.Ann. Comb., 21(1):95–117, 2017
2017
-
[39]
V. Rödl, A. Ruciński, and E. Szemerédi. A Dirac-type theorem for 3-uniform hypergraphs.Combin. Probab. Comput., 15(1-2):229–251, 2006
2006
-
[40]
V. Rödl, A. Ruciński, and E. Szemerédi. An approximate Dirac-type theorem fork-uniform hyper- graphs.Combinatorica, 28(2):229–260, 2008
2008
-
[41]
V. Rödl, A. Ruciński, and E. Szemerédi. Dirac-type conditions for Hamiltonian paths and cycles in 3-uniform hypergraphs.Adv. Math., 227(3):1225–1299, 2011
2011
-
[42]
X. Shu. Tight hamilton cycles in linearly quasirandom3-graphs. 2026. arXiv:2607.21568
2026 arXiv
-
[43]
Y. Zhao. Recent advances on Dirac-type problems for hypergraphs. InRecent trends in combinatorics, volume 159 ofIMA Vol. Math. Appl., pages 145–165. Springer, [Cham], 2016. School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 230026, Chi...
2016
Reviewed July 30, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.