REVIEW 3 major objections 3 minor 26 references
Exact Tur\'{a}n number of the Fano plane in the $\ell_2$-norm
T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read The balanced complete bipartite 3-graph is the unique extremal Fano-free 3-graph for the ℓ2-norm Turán problem, for all large n.
desk verdict Strong and likely correct, but the main theorem is conditional on a deferred unpublished lemma that carries the proof's weight. 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
The argument is carried by rewriting ℓ2-norms as counts of two-edge stars. For a 3-graph H, ||H||2 = 2N(S2, H) + 3|H| and for each vertex v, d2,H(v) = 2dS2,H(v) + 3dH(v), where S2 is the 2-edge star whose center is a pair of vertices; this identity lets the minimum ℓ2-norm degree condition speak about how many S2 copies sit at each vertex. Around this identity the proof builds three tools: a stability theorem for K4-free 5-multigraphs (Theorem 2.4), which describes the possible structure of the five link graphs of a K5³ under a minimum-degree restriction; a refinement of the classical star-counting theorem of [AK78] (Proposition 2.3), which bounds two-edge stars in a graph whose edge density lies in [17/50, 7/20] and which has a large independent set of high-degree vertices; and the vertex-extendability framework of [CL24], which converts edge-stability plus vertex-extendability into the degree-stability needed for the final theorem.
What would settle it
Search for, for the value of ε claimed in Theorem 1.1, any Fano-free 3-graph on large n that is not bipartite but has δℓ2(H) ≥ (5/4 − ε)n³; finding one would disprove the main theorem. A cheaper check is to verify Proposition 2.3 numerically on graphs with edge density in [17/50, 7/20] and an independent set of the prescribed size and degrees: any counterexample to that bound would break the proof, even if the theorem itself remains true.
Extended reading notes
Core claim
The central claim is that, for large n, the ℓ2-norm Turán number of the Fano plane F is exactly ||Bn||2, and Bn is the unique extremal construction; equivalently πℓ2(F) = 5/16. To prove this, the paper establishes the stronger statement that any F-free 3-graph on n vertices with δℓ2(H) ≥ (5/4 − ε)n³ must be bipartite. The proof first shows πℓ2(F) = 5/16: an extremal graph either avoids the complete 3-uniform hypergraph K5³ on five vertices, in which case the known value πℓ2(K5³) = 5/16 applies, or it contains a copy of K5³, in which case the five link graphs form a K4-free 5-multigraph whose structure is incompatible with a high minimum ℓ2-norm degree. Then edge-stability, vertex-extendability, and a uniqueness computation for bipartite 3-graphs upgrade the density bound to the exact unique extremal result.
Load-bearing premise
The load-bearing premise is a refined bound on two-edge stars in graphs with a large independent set of high-degree vertices, stated as Proposition 2.3 with its proof deferred to a separate paper [HLZ]; the contradiction establishing the main theorem collapses if that bound is false or unavailable, and the proof also imports, without proof, the value of the ℓ2-norm Turán density of the complete 3-graph K5³.
Editorial extensions
If this is right
- For all sufficiently large n, exℓ2(n, F) = ||Bn||2, and Bn is the unique Fano-free 3-graph attaining it.
- The ℓ2-norm Turán density of the Fano plane is exactly 5/16, matching the value conjectured in [BCL22a].
- Every F-free 3-graph with minimum ℓ2-norm degree at least (5/4 − ε)n³ is bipartite, and near-extremal graphs are bipartite after removing o(n³) edges.
- The exact value ex5(n, K4) = 2 binom(n,2) + 3 floor(n²/4) for n ≥ 632 follows from the new multigraph stability theorem.
- The associated generalized Turán number N(S2, H) is uniquely maximized by Bn.
Reading between the lines
- The same mechanism should extend to every ℓp-norm with p ≥ 1: since ||H||p is a linear combination of p-star counts via Stirling numbers, an analogue of the refined star-counting bound would likely force Bn to remain the unique extremal construction for all p; the paper proves only p = 2.
- The paper's own authors note that Proposition 2.3 is proved only for edge densities x in [17/50, 7/20] but believe the bound should hold for all x > 1/4; proving that extension would simplify the case analysis in Lemma 3.6 and might reduce numerical constants such as 58/17 and 61/176.
- A small-n exhaustive or SAT-based search for Fano-free 3-graphs exceeding ||Bn||2 could test how early the asymptotic extremal result begins; if no counterexample appears up to moderate n, it would support the natural guess that the exact result holds for all n ≥ 4, not merely for large n.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1.1, an Andrásfai–Erdős–Sós-type stability theorem for Fano-plane-free 3-graphs in the ℓ2-norm: for sufficiently large n, every F-free 3-graph on n vertices with minimum ℓ2-norm degree at least (5/4 − ε)n^3 is bipartite. As a consequence, the balanced complete bipartite 3-graph Bn is the unique extremal construction for the ℓ2-norm Turán number of the Fano plane, confirming a conjecture of Balogh–Clemen–Lidický. The proof combines a refined Ahlswede–Katona bound on star counts (Proposition 2.3), a new Andrásfai–Erdős–Sós-type stability theorem for K4-free 5-multigraphs (Theorem 2.4), the published flag-algebra value πℓ2(K3_5) = 5/16 (Theorem 2.8), and the vertex-extendability framework of [CL24].
Significance. If the result holds, it confirms Conjecture 3.1 of Balogh–Clemen–Lidický and provides the first exact ℓ2-norm Turán result for a nondegenerate hypergraph family with a uniqueness statement. The paper contains substantial original components: a full proof of Theorem 2.4, an application giving the exact value of ex5(n, K4) for n ≥ 632, and a self-contained proof of uniqueness among bipartite 3-graphs (Lemma 4.6). The case analysis in Section 5 is extensive and appears structured. However, the central claim is conditional on Proposition 2.3, whose proof is explicitly deferred to an in-preparation companion paper [HLZ]; the manuscript itself states that the proof is 'rather tedious' and presented elsewhere. The published flag-algebra input [BCL22b] is less concerning but is another external dependency.
major comments (3)
- [Section 2.1, Proposition 2.3] Proposition 2.3 is stated with its proof deferred to the authors' in-preparation manuscript [HLZ]. This is not a peripheral tool: the proposition is applied in Lemma 3.6, Claims 3.8, 3.9, and 3.10, and the final contradiction in Lemma 3.6 has a numerical margin of only about 1.5×10^{-4} n^2 between 5154779/2872915 and 61/34. If Proposition 2.3 is false, or is true with a slightly weaker bound on N(S2, G)/n^3, the inequalities in Claims 3.8–3.10 fail and the proof of Theorem 1.1 collapses. A complete proof of Proposition 2.3, or a reference to a publicly available version of [HLZ], is necessary before the main theorem can be considered established.
- [Section 2.1, statement of Proposition 2.3] As printed, the first term of the N(S2, G) bound in Proposition 2.3 is α^3 + ((2x−α^2)(2x+α^2)^{1/2})/2, but the 'Consequently' line and the described construction Ŝ(n, αn, β3 n) correspond instead to (α^3 + (2x−α^2)(2x+α^2)^{1/2})/2 before doubling. The two readings differ by α^3, which is not negligible at the scale of the constants used in Claims 3.8–3.10. Since Proposition 2.3 is unproved and load-bearing, the statement must be corrected and proved in a consistent form; as it stands, the inequality solved in Claims 3.8–3.10 is not clearly the one supplied by the proposition.
- [Lemma 3.6, Claims 3.8–3.10] In Claim 3.8, Proposition 2.3(i) is applied to Gi0 with α treated as the size parameter, but Claim 3.7 only guarantees an independent set of size at least α2 n, where α2 = 3α1/2. Since α2 ≥ α1, one can pass to a subset of size α1 n and then verify the degree condition, but this subset argument is not stated. The same issue occurs in Claim 3.9, where a subset of size α2 n (or any admissible α in [1/3, 2/5]) must be explicitly chosen. Without this clarification, the hypotheses of Proposition 2.3 are not satisfied by the sets produced in Claim 3.7 as written.
minor comments (3)
- [Section 3.2, proof of Theorem 3.2] The notation δS2(G) is used before it is defined; please define it as min_{v∈V(G)} dS2,G(v) for consistency with the rest of the paper.
- [Section 6, Theorem 6.3] The statement that a 'minor modification' of Lemma 4.6 yields the bound N(S2, H) ≤ N(S2, Bn) for all F-free H needs justification: Lemma 4.6 concerns ∥H∥2, and the relation ∥H∥2 = 2N(S2, H) + 3|H| involves the edge count, so the claimed transfer is not immediate. Please provide the details or mark the statement as conjectural.
- [Throughout] There are several minor typographical issues, such as missing spaces in 'p = 2and r = 2' and 'Fix a vertexvn ∈ V'; these should be corrected in the final version.
Circularity Check
No circular equivalence: the central derivation is not defined in terms of its target, though it leans on a deferred, load-bearing proposition.
full rationale
The proof of Theorem 1.1 is not circular in the sense of the requested patterns. The lower bound comes from the explicit balanced complete bipartite construction Bn, with δℓ2(Bn)=(5/4+o(1))n^3, and the upper bound is assembled from an external flag-algebra result (Theorem 2.8 from Balogh–Clemen–Lidický), a self-contained multigraph stability theorem (Theorem 2.4, proven in Section 5), a general vertex-extendability framework (Theorem 2.10 from Chen–Liu [CL24]), and the refined Ahlswede–Katona bound (Proposition 2.3). No fitted parameter is renamed as a prediction, and no equation is equivalent to its input by construction. The genuine gap is Proposition 2.3 in Section 2.1: it is load-bearing — Claims 3.8–3.10 in Lemma 3.6 apply it to force dmin ≥ 253n^2/730 and min{|G3|,|G4|,|G5|} ≥ 321n^2/926, with the final contradiction in Lemma 3.6 having a narrow numerical margin — yet its proof is deferred to the authors' own 'in preparation' paper [HLZ]. This is an omitted-proof/verifiability concern, not a circular reduction: the proposition is a parameter-free inequality about graphs and does not mention the Fano plane, and the main theorem still has substantial independent content (the multigraph stability theorem and vertex-extendability proof). The self-citation to [CL24] is likewise load-bearing but supplies a general framework whose stated assumptions do not include the target result. Overall, the paper's derivation does not reduce to its own inputs; the score reflects the unverified self-referential black box, not circularity.
Assumptions & free parameters
assumptions (6)
- standard math Theorem 2.1 (Andrásfai-Erdős-Sós): every K3-free graph on n vertices with minimum degree > 2n/5 is bipartite.
- standard math Theorem 2.2 (Ahlswede-Katona bound on stars), as stated.
- ad hoc to paper Proposition 2.3 (refined Ahlswede-Katona bound under independent-set degree conditions).
- domain assumption Theorem 2.8: πℓ2(K3_5)=5/16 and associated stability, from [BCL22b].
- domain assumption Theorem 2.10 (ℓp-degree-stability from ℓp-edge-stability plus vertex-extendability), from [CL24].
- standard math Bellmann-Reiher bound (5): ex5(n, K4) ≤ (7n^2 - n)/4.
Cite this review
Pith. "Pith review of Exact Tur\'{a}n number of the Fano plane in the $\ell_2$-norm." pith.science (2026). https://pith.science/paper/G6WCCZRK
@misc{pith2026250712354,
author = {Pith},
title = {Pith review of: Exact Tur\'an number of the Fano plane in the $\ell_2$-norm},
year = {2026},
howpublished = {\url{https://pith.science/paper/G6WCCZRK}},
note = {Machine review of arXiv:2507.12354}
}
abstract
A classical object in hypergraph Tur\'{a}n theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Tur\'{a}n density and exact Tur\'{a}n number of $\mathbb{F}$, first proposed as a problem by S\'{o}s \cite{Sos76} in the 1970s, were determined through a sequence of works by De Caen-F\"{u}redi \cite{DCF00}, F\"{u}redi-Simonovits \cite{FS05}, Keevash-Sudakov \cite{KS05}, and Bellmann-Reiher \cite{BR19}. Addressing a conjecture of Balogh-Clemen-Lidick\'{y} \cite[Conjecture 3.1]{BCL22a}, we establish an Andr\'{a}sfai-Erd\H{o}s-S\'{o}s-type stability theorem for $\mathbb{F}$ in the $\ell_2$-norm: there exists a positive constant $\varepsilon$ such that for large $n$, every $\mathbb{F}$-free $3$-graph on $n$ vertices with minimum $\ell_2$-norm degree at least $(5/4 - \varepsilon)n^3$ must be bipartite. As a consequence, for large $n$, the balanced complete bipartite $3$-graph is the unique extremal construction for the $\ell_{2}$-norm Tur\'{a}n problem of $\mathbb{F}$, thereby confirming the conjecture of Balogh-Clemen-Lidick\'{y}. Our proof includes a refinement of a classical result by Ahlswede-Katona \cite{AK78} on counting stars, and the establishment of an Andr\'{a}sfai-Erd\H{o}s-S\'{o}s-type theorem for a multigraph Tur\'{a}n problem studied by Bellmann-Reiher \cite{BR19}, both of which are of independent interest.
Figures
Reference graph
Works this paper leans on
-
[1]
B. Andr\' a sfai, P. Erd o s, and V. T. S\' o s. On the connection between chromatic number, maximal clique and minimal degree of a graph. Discrete Math. , 8:205--218, 1974
work page 1974
-
[2]
R. Ahlswede and G. O. H. Katona. Graphs with maximal number of adjacent pairs of edges. Acta Math. Acad. Sci. Hungar. , 32(1-2):97--120, 1978
work page 1978
-
[3]
Hypergraph T ur\' a n problems in _2 -norm
J\' o zsef Balogh, Felix Christian Clemen, and Bernard Lidick\' y . Hypergraph T ur\' a n problems in _2 -norm. In Surveys in combinatorics 2022 , volume 481 of London Math. Soc. Lecture Note Ser. , pages 21--63. Cambridge Univ. Press, Cambridge, 2022
work page 2022
-
[4]
Solving T ur\'an's tetrahedron problem for the _2 -norm
J\'ozsef Balogh, Felix Christian Clemen, and Bernard Lidick\'y. Solving T ur\'an's tetrahedron problem for the _2 -norm. J. Lond. Math. Soc. (2) , 106(1):60--84, 2022
work page 2022
-
[5]
Some exact and asymptotic results for hypergraph T ur\' a n problems in _2 -norm
George Brooks and William Linz. Some exact and asymptotic results for hypergraph T ur\' a n problems in _2 -norm. arXiv preprint arXiv:2310.09379 , 2023
arXiv 2023
-
[6]
Degree powers in graphs: the E rd o s- S tone theorem
B\'ela Bollob\'as and Vladimir Nikiforov. Degree powers in graphs: the E rd o s- S tone theorem. Combin. Probab. Comput. , 21(1-2):89--105, 2012
work page 2012
-
[7]
Tur\'an's theorem for the F ano plane
Louis Bellmann and Christian Reiher. Tur\'an's theorem for the F ano plane. Combinatorica , 39(5):961--982, 2019
work page 2019
-
[8]
Generalized A ndr \' a sfai-- E rd o s-- S \'o s theorems for odd cycles
Zian Chen, Jianfeng Hou, Caiyun Hu, and Xizhi Liu. Generalized A ndr \' a sfai-- E rd o s-- S \'o s theorems for odd cycles. arXiv preprint arXiv:2409.11950 , 2024
arXiv 2024
Show all 26 references
-
[9]
N ondegenerate T ur\' a n problems under (t,p) -norms
Wanfang Chen, Daniel Il'kovi c , Jared Le \'o n, Xizhi Liu, and Oleg Pikhurko. N ondegenerate T ur\' a n problems under (t,p) -norms. arXiv preprint arXiv:2406.15934 , 2024
2024 arXiv
-
[10]
Strong stability from vertex-extendability and applications in generalized T ur\' a n problems
Wanfang Chen and Xizhi Liu. Strong stability from vertex-extendability and applications in generalized T ur\' a n problems. arXiv preprint arXiv:2406.05748 , 2024
2024 arXiv
-
[11]
A T ur\'an type problem concerning the powers of the degrees of a graph
Yair Caro and Raphael Yuster. A T ur\'an type problem concerning the powers of the degrees of a graph. Electron. J. Combin. , 7:Research Paper 47, 14, 2000
2000
-
[12]
A T ur \' a n type problem concerning the powers of the degrees of a graph (revised)
Yair Caro and Raphael Yuster. A T ur \' a n type problem concerning the powers of the degrees of a graph (revised). arXiv preprint math/0401398 , 2004
2004 arXiv
-
[13]
The maximum size of 3-uniform hypergraphs not containing a F ano plane
Dominique De Caen and Zolt\'an F\"uredi. The maximum size of 3-uniform hypergraphs not containing a F ano plane. J. Combin. Theory Ser. B , 78(2):274--276, 2000
2000
-
[14]
Erd o s and A
P. Erd o s and A. H. Stone. On the structure of linear graphs. Bull. Amer. Math. Soc. , 52:1087--1091, 1946
1946
-
[15]
Erd o s and M
P. Erd o s and M. Simonovits. A limit theorem in graph theory. Studia Sci. Math. Hungar. , 1:51--57, 1966
1966
-
[16]
Triple systems not containing a F ano configuration
Zolt\'an F\"uredi and Mikl\'os Simonovits. Triple systems not containing a F ano configuration. Combin. Probab. Comput. , 14(4):467--484, 2005
2005
-
[17]
Phase transition of degenerate T ur \' a n problems in p -norms
Jun Gao, Xizhi Liu, Jie Ma, and Oleg Pikhurko. Phase transition of degenerate T ur \' a n problems in p -norms. arXiv preprint arXiv:2411.15579 , 2024
2024 arXiv
-
[18]
On a refinement of the A hlswede-- K atona T heorem
Jianfeng Hou, Xizhi Liu, and Yixiao Zhang. On a refinement of the A hlswede-- K atona T heorem. In preparation
-
[19]
A criterion for A ndr \' a sfai-- E rd o s-- S \' o s type theorems and applications
Jianfeng Hou, Xizhi Liu, and Hongbin Zhao. A criterion for A ndr \' a sfai-- E rd o s-- S \' o s type theorems and applications. arXiv preprint arXiv:2401.17219 , 2024
2024 arXiv
-
[20]
Hypergraph T ur\'an problems
Peter Keevash. Hypergraph T ur\'an problems. In Surveys in combinatorics 2011 , volume 392 of London Math. Soc. Lecture Note Ser. , pages 83--139. Cambridge Univ. Press, Cambridge, 2011
2011
-
[21]
On a problem of T ur\' a n in the theory of graphs
Gyula Katona, Tibor Nemetz, and Mikl\' o s Simonovits. On a problem of T ur\' a n in the theory of graphs. Mat. Lapok , 15:228--238, 1964
1964
-
[22]
The T ur\'an number of the F ano plane
Peter Keevash and Benny Sudakov. The T ur\'an number of the F ano plane. Combinatorica , 25(5):561--574, 2005
2005
-
[23]
Razborov
Alexander A. Razborov. Flag algebras. J. Symbolic Logic , 72(4):1239--1282, 2007
2007
-
[24]
Simonovits
M. Simonovits. A method for solving extremal problems in graph theory, stability problems. In Theory of G raphs ( P roc. C olloq., T ihany, 1966) , pages 279--319. Academic Press, New York-London, 1968
1966
-
[25]
Vera T. S \'o s. Remarks on the connection of graph theory, finite geometry and block designs. In Colloquio I nternazionale sulle T eorie C ombinatorie ( R oma, 1973), T omo II , pages 223--233. Accad. Naz. Lincei, Rome, 1976
1973
-
[26]
Eine E xtremalaufgabe aus der G raphentheorie
Paul Tur\'an. Eine E xtremalaufgabe aus der G raphentheorie. Mat. Fiz. Lapok , 48:436--452, 1941
1941
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.