REVIEW 3 major objections 3 minor 1 cited by
Uniform Tur\'an density -- palette classification
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A finite no-homomorphism rule decides palette separation.
desk verdict Useful palette classification that strengthens the main construction tool for uniform Turán densities; sound modulo two fixable presentation gaps. 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 machinery centres on three palette operations and one transfer principle. A homomorphism between palettes is a colour map that sends every feasible triple to a feasible triple, so a homomorphism from $P$ to $P'$ forces every $P$-colorable ordered hypergraph to be $P'$-colorable. The inverse palette $\mathrm{inv}(P)$ reverses the order of triples, corresponding to reversing the vertex order. The symmetrization $P^{(s)}$ duplicates each colour and, for each feasible triple, adds the six triples obtained by permuting the vertex order and cloning colours whose left/right role flips; it makes colorability insensitive to which vertex order witnesses it. The multi-palette theorem forms the palette $P_q\times\prod_{s\ne q}P_s^{(s)}$ because, when all $P_s$ colour the same hypergraph, the $q$-th palette supplies the master order and every other palette can be used in symmetrized form. The proof also leans on regularity-lemma arguments and Ramsey-type results to locate monochromatic subsystems and to force the existence of the homomorphism $h$.
What would settle it
Enumerate all palettes with up to four colours and all small 3-uniform hypergraphs, and compare the theorem's homomorphism condition with the actual existence of a separating hypergraph; a single disagreement would refute the classification. Alternatively, exhibit three regular-looking vertex classes with pairwise density at least $2\varepsilon$ that contain no triangle, which would break the quoted embedding lemma.
Extended reading notes
Core claim
The central claim is Theorem 16 and its Corollary 17. In palette language, a palette is a finite set of colours together with a set of feasible ordered triples of colours, and an ordered hypergraph is $P$-colorable when its vertex pairs can be coloured so that every edge receives a feasible triple. The theorem states that a hypergraph $H$ that is $P_s$-colorable for every $s\in[r]$ but not $P_0$-colorable exists if and only if, for every $q\in[r]$, there is no homomorphism from the palette $P_q\times\prod_{s\in[r]\setminus\{q\}}P_s^{(s)}$ to $P_0$ or to $\mathrm{inv}(P_0)$, where $P^{(s)}$ is the symmetrization of $P$: two twin colours per original colour and, for each feasible triple, all six permutations with colours cloned when their left/right role is reversed. The proof has two directions: absence of the homomorphism is used, via regularity and Ramsey-type arguments, to build a separating hypergraph; presence of the homomorphism is used to show every $P_s$-colorable hypergraph must be $P_0$-colorable, because homomorphisms transfer colorability. The paper also proves the $r=1$ special case, where the condition simplifies to checking homomorphisms from $P$ to $P_0$ or to $\mathrm{inv}(P_0)$.
Load-bearing premise
The proof quotes without proof a regularity-embedding lemma saying that three large, well-mixed vertex sets with pairwise edge density at least a small threshold must contain a triangle of prescribed edge colours; the main characterization relies on that statement.
Editorial extensions
If this is right
- The classification is decidable in finite terms: to test whether a separating hypergraph exists, one only needs to check finitely many homomorphisms between the given finite palettes.
- When $r=1$, the criterion reduces to Theorem 13: a hypergraph colorable with $P$ but not with $P_0$ exists exactly when there is no homomorphism from $P$ to $P_0$ and no homomorphism from $P$ to $\mathrm{inv}(P_0)$.
- The symmetrization factor is essential; the paper shows with the broken tetrahedron example that the plain product $P_1\times\cdots\times P_r$ would give a false criterion.
- Given the palette characterization of uniform Turán density, the criterion yields hypergraphs with specified uniform Turán densities; the paper exhibits one with density exactly $4/81$.
- The same necessary-and-sufficient condition extends, via disjoint unions, to separating a hypergraph from finitely many palettes at once, as stated in Corollary 17.
Reading between the lines
- The criterion is algorithmic in character, so one could enumerate palettes up to a bounded number of colours and search for new attainable uniform Turán densities; the paper states the condition is easy to verify but does not develop this search procedure.
- Because the proof uses only finite palettes and finite transfer arguments, a similar classification likely applies to other ordered colouring problems built from finite sets of feasible triples, not only to uniform Turán density.
- The symmetrization operation may be relevant for $k$-uniform analogues if a palette characterization of uniform Turán density is later established in that setting; the paper itself is explicitly limited to 3-uniform hypergraphs.
- The new multidimensional sign-pattern Ramsey theorem used in the proof may be useful independently for other problems requiring simultaneous control of several linear orders on a grid.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the palette method for uniform Turán densities of 3-uniform hypergraphs. Building on Lamaison's theorem that the uniform Turán density equals the supremum of Lagrangians of non-coloring palettes, the authors give a necessary and sufficient condition for the existence of a hypergraph that is colorable with each of several given palettes P_1,...,P_r but not with another given palette P_0 (Theorem 16), and the corresponding multi-target version (Corollary 17). The condition is finite and checkable: it asks for the nonexistence of homomorphisms from certain product palettes involving the symmetrization operation to P_0 or its inverse. The paper also gives the single-palette case (Theorem 13) and demonstrates the utility of the criterion by constructing a 3-uniform hypergraph with uniform Turán density exactly 4/81, a value not previously known to occur.
Significance. If the amendments below are made, the paper constitutes a substantial contribution. The characterization of palette separation is a natural and useful completion of the palette program: it turns an existence question about hypergraphs into a finite homomorphism check. The introduction of the symmetrization operation is conceptually important, and the proof of the multi-palette theorem is an intricate piece of work using regularity, Ramsey theory, and Erdős–Szekeres arguments in what appears to be a correct combination once the stated gaps are repaired. The application yielding a hypergraph of uniform Turán density 4/81 is a concrete, falsifiable new result. The paper is honest about its reliance on Lamaison's theorem as an external benchmark, and the main characterization is proved independently of that theorem.
major comments (3)
- [Section 3 (Theorem 9)] Theorem 9 is stated for all pairs x,y in J_1×...×J_r, including pairs with equal coordinates in some positions. The proof, however, colors (2r)-element subsets of [R] and defines the function C from such a subset. This only determines F(x,y) when the union of the coordinates of x and y has exactly 2r elements, i.e. when x_s≠y_s for every s. When some coordinates coincide, the union has fewer than 2r elements, and extending it to a 2r-subset can shift the positions of the relevant pairs; the value of C at vectors containing a zero is not forced by the Ramsey construction. Lemma 14 uses Theorem 9 only for triples i,i',i'' with all coordinate pairs distinct, so a weaker statement requiring x_s≠y_s for every s (with C defined on {−1,1}^r) suffices. Please restate Theorem 9 accordingly, or provide a genuinely different proof for the equal-coordinate case.
- [Section 2 (Lemma 5) and its uses in Lemmas 11 and 14] Lemma 5 is stated as an uncolored triangle-existence statement: for three ε-regular pairs with density at least 2ε, there exist mutually adjacent vertices v_1,v_2,v_3. In the proofs of Lemma 11 and Lemma 14, however, the lemma is invoked to produce a triangle whose three edges have prescribed colors in the edge-colored complete graph, for example (x_{12},f_0(x_{12})), (x_{13},f_0(x_{13})), (x_{23},f_0(x_{23})) in Lemma 11. That is a colored triangle-embedding statement and does not follow from the uncolored Lemma 5 as formulated. The authors should either strengthen Lemma 5 to a lemma that simultaneously realizes a prescribed three-edge color pattern in three ε-regular pairs, or add such a lemma as a separate statement, and supply a proof or a precise reference. This lemma is load-bearing for the homomorphism constructions in both the single-palette and multi-palette cases.
- [Sections 4 and 5 (Lemma 11 and Lemma 14)] The Ramsey parameters in the two lemmas are numerically inconsistent with the objects being colored. In Lemma 11 the number R is chosen using ℓ=|C_0||C|, but the auxiliary graph G' is edge-colored by mappings f:C→C_0, of which there are |C_0|^{|C|}. Similarly, in Lemma 14 the parameter ℓ in the application of Theorem 9 is written as |C_0|ℓ_C, whereas the functions F(i,i') take values in the set of all functions C_1×...×C_r→C_0, of cardinality |C_0|^{ℓ_C}. With the printed values R may be too small to guarantee the required monochromatic triangle or the required grid. Replace these products by the exponential counts |C_0|^{|C|} and |C_0|^{ℓ_C}, respectively.
minor comments (3)
- [Section 2 (Lemma 5)] Once Lemma 5 is strengthened as suggested in the major comments, please supply the full argument or a specific reference; the current sentence 'The proof of the next lemma follows from standard regularity method arguments, and we omit it' is too terse for a lemma used twice in central homomorphism proofs.
- [Section 6 (Lemma 20)] The displayed feasible triples for P_LM×P_{3T}^{(s)} and P_{3T}×P_{LM}^{(s)} appear to suppress the clone bars in the symmetrized coordinates. For example, the second triple of the first product should presumably have third entry (γ',\bar{ω}) rather than (γ',ω), since the underlying permutation requires the clone of ω. Please clarify the convention, because in the symmetrized palette the clone is a distinct color from the original.
- [Section 6 (Theorem 21)] The sentence 'and so with any palette P with Lagrangian larger than 4/81' does not follow from the preceding statement about palettes with density larger than 4/81, since L(P)>4/81 does not imply d(P)>4/81. The upper bound is obtained instead by applying the density form of Theorem 2 (or equivalently the remark that density can replace Lagrangian there). Please rephrase this step to avoid the non-sequitur.
Circularity Check
No significant circularity: the main palette-separation criterion is proved from first principles; the self-citations are to independent external results.
full rationale
The central characterization (Theorem 16 and Corollary 17) is self-contained. The 'only if' direction shows directly that a homomorphism from P_q × ∏_{s≠q} P_s^(s) to P_0 or inv(P_0) forces every hypergraph colorable by all P_s to be P_0-colorable, using the symmetrization construction and Proposition 3. The 'if' direction is the contrapositive: assuming no such homomorphism, Lemma 14 (proved via random coloring, the regularity lemma, Ramsey's theorem and Lemma 5) produces ordered hypergraphs H_q^+ and H_q^-, and Lemma 15 (a probabilistic construction with independent events) combines them into the desired hypergraph. None of these steps assumes the existence of the sought hypergraph, fits a parameter to the desired conclusion, or imports a uniqueness theorem. The definition of symmetrization is novel and justified in the proof, so it is not an ansatz smuggled in by citation. The paper does cite Lamaison's Theorem 2 [18] in the Section 6 application to convert palette colorability into uniform Turán density, and [19] in the conclusion; these are by the third author, but they cite independent external theorems and do not support the main classification. Two non-circular caveats are flagged: Lemma 5 is stated without proof ('The proof of the next lemma follows from standard regularity method arguments, and we omit it.'), and Theorem 9's proof only establishes the displayed equality when the coordinate pairs are distinct, so its statement overreaches for pairs with x_s = y_s; Lemma 14 only needs the distinct-coordinate case, so the main theorem is unaffected. These are correctness/exposition issues, not circularity.
Assumptions & free parameters
assumptions (7)
- domain assumption Theorem 2 (Lamaison): the uniform Turán density of any 3-uniform hypergraph equals the supremum of Lagrangians of palettes it is not colorable with.
- standard math Lemma 4: Szemerédi Regularity Lemma for prepartitioned edge-colored graphs.
- standard math Lemma 5: triangle embedding in ε-regular triples with density at least 2ε.
- standard math Theorem 7 (Erdős-Szekeres): any long sequence contains long increasing or decreasing subsequence.
- standard math Theorem 8 (Ramsey's Theorem, multicolor hypergraph version).
- standard math Theorem 10 (Fishburn-Graham lexicographic Ramsey theorem).
- standard math Chernoff Bound for concentration of edge color counts.
Cite this review
Pith. "Pith review of Uniform Tur\'an density -- palette classification." pith.science (2026). https://pith.science/paper/FLK74PQG
@misc{pith2026250517325,
author = {Pith},
title = {Pith review of: Uniform Tur\'an density -- palette classification},
year = {2026},
howpublished = {\url{https://pith.science/paper/FLK74PQG}},
note = {Machine review of arXiv:2505.17325}
}
abstract
In the 1980s, Erd\H{o}s and S\'os initiated the study of Tur\'an hypergraph problems with a uniformity condition on the distribution of edges, i.e., determining density thresholds for the existence of a hypergraph H in a host hypergraph with edges uniformly distributed. In particular, Erd\H{o}s and S\'os asked to determine the uniform Tur\'an densities of the hypergraphs $K_4^{(3)-}$ and $K_4^{(3)}$. After more than 30 years, the former was solved by Glebov, Kr\'al' and Volec [Israel J. Math. 211 (2016), 349-366] and Reiher, R\"odl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open. In these two cases and several additional cases, the tight lower bounds are provided by a so-called palette construction. Lamaison [arXiv:2408.09643] has recently showed that the uniform Tur\'an density of a 3-uniform hypergraph H is equal to the supremum of the densities of palettes that H is not colorable with. We give a necessary and sufficient condition, which is easy to verify, on the existence of a 3-uniform hypergraph colorable by a set of palettes and not colorable by another given set of palettes. We also demonstrate how our result can be used to prove the existence of 3-uniform hypergraphs with specific values of the uniform Tur\'an density.
Figures
Forward citations
Cited by 1 Pith paper
-
Finite palette endpoints and degree-square Tur\'an problems
Proves exact degree-square Turán formulas for tournament palettes via auxiliary digraphs and majorization, yielding finite 3-graphs with uniform densities approaching 1/3.
Reference graph
Works this paper leans on
-
[1]
M. Buci´ c, J. W. Cooper, D. Kr´ al’, S. Mohr and D. Munh´ a Correia:Uniform Tur´ an density of cycles, Transactions of the AMS376(2023), 4765–4809. 25
work page 2023
-
[2]
M. Buci´ c, B. Sudakov and T. Tran:Erd˝ os-Szekeres theorem for multidi- mensional arrays, Journal of the European Mathematical Society25(2023), 2927–2947
work page 2023
- [3]
-
[4]
F. Chung and L. Lu:An upper bound for the Tur´ an numbert 3(n,4), Journal of Combinatorial Theory Series A87(1999), 381–389
work page 1999
-
[5]
P. Erd˝ os:On the combinatorial problems which I would most like to see solved, Combinatorica1(1981), 25–42
work page 1981
-
[6]
Erd˝ os:Problems and results on graphs and hypergraphs: similarities and differences, in: J
P. Erd˝ os:Problems and results on graphs and hypergraphs: similarities and differences, in: J. Neˇ setˇ ril and V. R¨ odl (eds.), Mathematics of Ramsey theory (1990), 223–233
work page 1990
-
[7]
P. Erd˝ os and M. Simonovits:A limit theorem in graph theory, Studia Sci. Math. Hungar.1(1966), 51–57
work page 1966
-
[8]
P. Erd˝ os and V. T. S´ os:On Ramsey-Tur´ an type theorems for hypergraphs, Combinatorica2(1982), 289–295
work page 1982
Show all 34 references
-
[9]
Erd˝ os and A
P. Erd˝ os and A. H. Stone:On the structure of linear graphs, Bulletin of the American Mathematical Society52(1946), 1087–1091
1946
-
[10]
Erd˝ os and G
P. Erd˝ os and G. Szekeres:A combinatorial problem in geometry, Compositio Mathematica2(1935), 463–470
1935
-
[11]
P. C. Fishburn and R. L. Graham:Lexicographic ramsey theory, Journal of Combinatorial Theory, Series A62(1993), 280–298
1993
-
[12]
Frankl and Z
P. Frankl and Z. F¨ uredi:An exact result for 3-graphs, Discrete Mathematics 50(1984), 323–328
1984
-
[13]
Garbe, D
F. Garbe, D. Il ’koviˇ c, D. Kr´ al’ and A. Lamaison:Hypergraphs with uniform Tur´ an density equal to 8/27(2024),preprint arXiv:2407.05829
2024
-
[14]
Garbe, D
F. Garbe, D. Kr´ al’ and A. Lamaison:Hypergraphs with minimum positive uniform tur´ an density, Israel Journal of Mathematics259(2024), 701–726
2024
-
[15]
Glebov, D
R. Glebov, D. Kr´ al’ and J. Volec:A problem of Erd˝ os and S´ os on 3-graphs, Israel J. Math.211(2016), 349–366
2016
-
[16]
Keevash:Hypergraph Tur´ an problems, in: R
P. Keevash:Hypergraph Tur´ an problems, in: R. Chapman (ed.), Surveys in Combinatorics 2011, London Mathematical Society Lecture Note Series (2011), 83–140. 26
2011
-
[17]
D. King, S. Piga, M. Sales and B. Sch¨ ulke:On possible uniform tur´ an den- sities,preprint arXiv:2504.21220
-
[18]
Lamaison:Palettes determine uniform Tur´ an density,preprint arXiv:2408.09643
A. Lamaison:Palettes determine uniform Tur´ an density,preprint arXiv:2408.09643
-
[19]
Lamaison and Z
A. Lamaison and Z. Wu:Relating the Tur´ an density and the uniform Tur´ an density of hypergraphs, in preparation
-
[20]
Lamaison and Z
A. Lamaison and Z. Wu:The uniform Tur´ an density of large stars,preprint arXiv:2409.03699
-
[21]
H. Li, H. Lin, G. Wang and W. Zhou:Hypergraphs with a quarter uniform Tur´ an density,preprint arXiv:2305.11749
-
[22]
Liu and O
X. Liu and O. Pikhurko:Hypergraph Tur´ an densities can have arbitrarily large algebraic degree, Journal of Combinatorial Theory, Series B161(2023), 407–416
2023
-
[23]
F. P. Ramsey:On a problem of formal logic, Proceedings of the London Mathematical Society2(1930), 264–286
1930
-
[24]
A. A. Razborov:Flag algebras, J. Symbolic Logic72(2007), 1239–1282
2007
-
[25]
A. A. Razborov:On 3-hypergraphs with forbidden 4-vertex configurations, SIAM J. Discrete Math.24(2010), 946–963
2010
-
[26]
Reiher:Extremal problems in uniformly dense hypergraphs, European Journal of Combinatorics88(2020), 103117
C. Reiher:Extremal problems in uniformly dense hypergraphs, European Journal of Combinatorics88(2020), 103117
2020
-
[27]
Reiher, V
C. Reiher, V. R¨ odl and M. Schacht:Embedding tetrahedra into quasirandom hypergraphs, Journal of Combinatorial Theory Series B121(2016), 229–247
2016
-
[28]
Reiher, V
C. Reiher, V. R¨ odl and M. Schacht:Hypergraphs with vanishing Tur´ an den- sity in uniformly dense hypergraphs, Journal of the London Mathematical Society97(2018), 77–97
2018
-
[29]
Reiher, V
C. Reiher, V. R¨ odl and M. Schacht:On a generalisation of Mantel’s theorem to uniformly dense hypergraphs, International Mathematics Research Notices 16(2018), 4899–4941
2018
-
[30]
Reiher, V
C. Reiher, V. R¨ odl and M. Schacht:On a Tur´ an problem in weakly quasiran- dom 3-uniform hypergraphs, Journal of the European Mathematical Society 20(2018), 1139–1159
2018
-
[31]
Reiher, V
C. Reiher, V. R¨ odl and M. Schacht:Some remarks onπ, in: S. Butler, J. Cooper and G. Hurlbert (eds.), Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham (2018), 214–239. 27
2018
-
[32]
R¨ odl:On universality of graphs with uniformly distributed edges, Discrete Mathematics59(1986), 125–134
V. R¨ odl:On universality of graphs with uniformly distributed edges, Discrete Mathematics59(1986), 125–134
1986
-
[33]
Sidorenko:What we know and what we do not know about Tur´ an numbers, Graphs and Combinatorics11(1995), 179–199
A. Sidorenko:What we know and what we do not know about Tur´ an numbers, Graphs and Combinatorics11(1995), 179–199
1995
-
[34]
Tur´ an:On an extremal problem in graph theory, Matematikai ´ es Fizikai Lapok48(1941), 436–452
P. Tur´ an:On an extremal problem in graph theory, Matematikai ´ es Fizikai Lapok48(1941), 436–452. 28
1941
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.