REVIEW 3 major objections 3 minor 27 references
A directed Andr\'asfai-Erd\H{o}s-S\'os theorem and chromatic profiles of oriented cycles
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper proves a directed analogue of the classical minimum-degree coloring threshold: any digraph on $n$ vertices with no transitive tournament on $r$ vertices and minimum out-degree greater than $\frac{3r-7}{3r-4}n$ is…
desk verdict Nice directed AES package with a real gap in the central proof; the main theorem is not yet proven, but the paper is worth a careful referee. 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 key transfer device is the double orientation map, which sends each undirected edge to a pair of antiparallel arcs and turns the undirected sharpness example into a sharpness example for the directed theorem. The upper bound is carried by a saturation argument built around the 5-wheel-like digraph $\vec W_{r,t}$: two transitive tournaments on $r-2$ vertices sharing $t$ vertices, attached to vertices $v,w_1,w_2$ so that the only missing underlying edges are $vw_1$ and $vw_2$. Bounding the shared part $t\le r-3$ and counting how many common out-neighbors large sets must have forces $\delta^+(\hat D)\le \frac{3r-7}{3r-4}n$, contradicting the density assumption. For the pentagon orientations, the mechanism is a selection lemma that produces long chains of large common out-neighborhoods (Corollary 4.5), which is then used to embed arbitrary orientations of short cycles in dense digraphs.
What would settle it
A finite search for a $T_r$-free digraph with $\delta^+(D)>\frac{3r-7}{3r-4}n$ and chromatic number at least $r$ would refute the main theorem; none is expected. Because the pentagon upper bound depends on Lemma 4.4, an independent verification of that lemma for small $t$ and $\varepsilon$—or a counterexample where the common out-neighborhood fails to be linear—would settle whether the $1/3$ profile is truly established.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for every $r\ge 3$, $\delta_\chi^+(T_r, r-1) = \frac{3r-7}{3r-4}$. In words, every $T_r$-free digraph with minimum out-degree above this fraction of $n$ is $(r-1)$-colorable, and the double orientation of the extremal graph used for the undirected theorem shows the constant cannot be lowered. The proof of the upper bound runs through a saturation argument: a maximal $T_r$-free digraph either has a complete multipartite underlying graph, in which case an induction on $r$ applies, or it contains a 5-wheel-like structure whose out-neighborhood counts contradict the density assumption. The same paper establishes the exact 2-coloring profiles for directed odd cycles ($1/2$) and for the three remaining pentagon orientations ($1/3$).
Load-bearing premise
For the pentagon results, the load-bearing assumption is an unproved selection lemma from an unpublished manuscript: among many large vertex sets, some fixed number always share a common out-neighborhood of linear size, with constants that do not degrade as $n$ grows; if that lemma fails, the upper bound showing profiles equal to $1/3$ loses its support.
Editorial extensions
If this is right
- The undirected Andr\'asfai\textendash Erd\H{o}s\textendash S\'os theorem follows as a direct corollary by replacing each edge of a graph with a pair of antiparallel arcs.
- A stability statement accompanies the main theorem: a $T_r[t]$-free digraph with minimum out-degree at least $\frac{3r-7}{3r-4}+\varepsilon$ times $n$ can be made $(r-1)$-partite by deleting $o(n^2)$ arcs.
- The directed odd-cycle result means any digraph with minimum out-degree above $n/2$ and chromatic number at least $3$ must contain a directed odd cycle of every specified length.
- For the pentagon, the identical $1/3$ profile for the three non-directed orientations says that above one-third density, avoiding any one of those orientations forces bipartiteness.
- If the main theorem is correct, it gives a complete directed analogue of the classical minimum-degree-to-chromatic-number hierarchy for transitive tournaments.
Reading between the lines
- Beyond the paper's statements, the $1/3$ threshold for the pentagon orientations suggests that other orientations of odd cycles admitting a homomorphism to the directed triangle may also have profile $1/3$; the paper leaves this open in Question 2.
- The lower-bound constructions all contain source vertices, so a natural test not performed here is whether the thresholds drop when minimum out-degree is replaced by minimum semi-degree.
- If the unproved selection lemma were given explicit constants, the stability theorem's $o(n^2)$ arc-deletion bound might become quantitative, yielding a concrete exponent in the arc-deletion count.
- The contrast the paper records between chromatic profiles and chromatic thresholds for the pentagon orientations suggests that profile equality need not track threshold ordering, a phenomenon worth testing on longer odd cycles.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the chromatic profile δ^+_χ(H,k) for digraphs. The main result, Theorem 1.1, determines the profile for transitive tournaments T_r: δ^+_χ(T_r, r−1) = (3r−7)/(3r−4), with sharpness given by double orienting an AES-type graph (the C_5 blow-up joined with K_{r−3} for r≥4, and the C_5 blow-up alone for r=3). Theorem 1.3 gives δ^+_χ(\vec{C}_{2ℓ+1},2)=1/2 for every ℓ≥1. Theorem 1.4 gives δ^+_χ(C_5',2)=δ^+_χ(C_5'',2)=δ^+_χ(C_5''',2)=1/3. Section 2 proves the upper bound via a saturation argument using 5-wheel-like digraphs; Section 4 uses a selection lemma, embedding lemmas, and an odd-girth case split; Section 5 applies Theorem 1.1 through the diregularity lemma to obtain a stability result.
Significance. If completed, the paper is a substantial contribution to extremal digraph theory. Theorem 1.1 is an exact directed analogue of the Andrásfai–Erdős–Sós theorem with an explicit sharp construction, and Theorem 1.4 resolves the two-coloring profiles for all three non-directed pentagon orientations. The stability application in Theorem 1.2 is a natural and plausible consequence. The constructions and the general strategy are clear and well motivated. However, the proof of Theorem 1.1 contains an unproved structural step in Claim 2.10, and the proof of Theorem 1.4 relies on a selection lemma cited to an in-preparation manuscript; both issues are load-bearing and need to be addressed before the central claims can be considered established.
major comments (3)
- [Section 2, Claim 2.10] The step "Let Q_i' = Q_i − y_i + x. Then Q_1' and Q_2' are transitive tournaments on r−2 vertices" is not justified. The definition of X only guarantees that every vertex of Q_1∩Q_2 dominates x; for a private vertex q in V(Q_i)\V(Q_{3−i}) with q≠y_i, the manuscript supplies no arc between q and x and no orientation consistent with the transitive order of Q_i. The condition that y_i does not dominate x only excludes the arc y_i→x; it does not place x at the position of y_i in the transitive order. If x→q for some private q that precedes y_i, or if x is non-adjacent to such a q, then Q_i' need not be a transitive tournament. Since the maximality of t is then applied to Q_1' and Q_2' to conclude d^+(W,x)≤|W|−3, and this bound is exactly what makes inequality (5) contradict the minimum-out-degree assumption, the upper-bound proof of Theorem 1.1 is incomplete at this point. A full proof of the transitivity of Q_i' (or a different argument for d^+(W,x)≤|W|−3) is required.
- [Section 4, Lemmas 4.4–4.6] Lemma 4.4 is stated as a result of Gao–Liu–Wu–Xue and cited to the in-preparation manuscript [11], with no proof given. This lemma is load-bearing: Corollary 4.5 applies it iteratively to construct the disjoint common out-neighbourhood sets X_1,...,X_k, and Lemma 4.6 uses those sets to embed arbitrary oriented cycles in digraphs with minimum out-degree at least (1/2+ε)n. Lemma 4.6 is in turn used in Lemma 4.7(iii) and in Case 1 of Theorem 4.11. As submitted, the upper-bound proof of Theorem 1.4 depends on an unverifiable premise from an unpublished source. The authors should either include a complete proof of Lemma 4.4 or replace it with a publicly available reference that contains the proof.
- [Section 4, Theorem 4.11, Case 2] In the odd-girth-five case, after Claim 4.12 the proof constructs C_5^1 explicitly, but for C_5^2 and C_5^3 it only says the argument is analogous and refers to Figure 4.6. Since Theorem 1.4 requires the upper bound δ≤1/3 for all three orientations, the omission is not merely cosmetic: the replacement sequences for the two remaining orientations must be specified and proved to produce oriented 5-cycles at every intermediate step and the required forbidden pentagon at the end. Please provide the full details for these two cases.
minor comments (3)
- [Section 2, proof of Claim 2.10] The sentence "for each x∈X, there exists y_i ∈ ({w_i}∪V(Q_i))\V(Q_{3−i}) that does not dominate x" is ambiguous because it suggests a single vertex, while the subsequent argument needs two distinct vertices y_1 and y_2 with y_1∈V(Q_1)\V(Q_2) and y_2∈V(Q_2)\V(Q_1). Please state the choice of both vertices explicitly.
- [Section 4, Lemma 4.6] The phrase "P=C−v is an oriented path of length k−1" is inconsistent with the usual meaning of length as the number of arcs; since C has k vertices, P has k−1 vertices and k−2 arcs. Please rephrase as "on k−1 vertices".
- [Section 5, proof of Theorem 1.2] The notation "Fix 1≫γ≫d≫ε>0" should be spelled out as a hierarchy of constants, and the object called the pε,dq-reduced graph R should be called a reduced digraph for consistency.
Circularity Check
Theorem 1.1 and Theorem 1.3 are self-contained; the pentagon-profile upper bound relies on an unproved lemma cited to the author's own in-preparation manuscript.
-
self citation load bearing
[Section 4, Lemma 4.4; used via Corollary 4.5 and Lemma 4.6 in Lemma 4.7(iii) and Theorem 4.11 (proof of Theorem 1.4 upper bound)]
"Lemma 4.4 (Gao, Liu, Wu and Xue, [11]). Let tPN and εPp0,1q. Then there exist α=αpε,tq and m=mpε,tq such that for any V1,V2,¨¨¨,VmĎrnseach with size at least εn, there exist 1ďi1ăi2㨨¨ăitďmwith|Şt j“1Vij|ěαn."
Theorem 1.4's upper bound (Theorem 4.11) uses Lemma 4.6, and Lemma 4.6's proof invokes Corollary 4.5, obtained by 'Iterating the above proposition' from Lemma 4.4. Lemma 4.4 is not proved in this paper; it is quoted from [11], an in-preparation manuscript whose author list includes the present author. The pentagon-profile result is therefore supported at a load-bearing point by an unverified self-citation rather than by a self-contained derivation. The main Theorem 1.1 and Theorem 1.3 are independent of this lemma, so the circularity is partial rather than total.
full rationale
I found no self-definitional or fitted-input circularity. Theorem 1.1's lower bound is an explicit double-oriented construction and its upper bound is a saturation argument using Lemmas 2.2/2.5 and Claims 2.9–2.10; no constant is fitted from the conclusion. Theorem 1.3 uses an explicit family and a direct directed-cycle lemma. The lower bounds in Theorem 1.4 are explicit constructions, and the upper-bound argument is an extremal proof except for its reliance on Lemma 4.4. The skeptical note about Claim 2.10 is a possible correctness gap (an unproved claim about replacing a vertex in Q_i), not a circularity: it does not define the conclusion into the assumptions, so it does not affect this score. The only circularity-adjacent step is the load-bearing citation of the author's own in-preparation Lemma 4.4.
Assumptions & free parameters
assumptions (4)
- ad hoc to paper Lemma 4.4 (Gao-Liu-Wu-Xue selection lemma): among m sufficiently large subsets of [n] each of size at least εn, there are t with common intersection at least αn.
- domain assumption Degree form of the Diregularity Lemma (Lemma 5.1) from Taylor [25] and Keevash-Kühn-Osthus [18].
- domain assumption Embedding Lemma for digraphs, invoked as a standard result in the proof of Theorem 1.2.
- standard math Known fact that every oriented cycle that is not a directed cycle contains a sink vertex.
Cite this review
Pith. "Pith review of A directed Andr\'asfai-Erd\H{o}s-S\'os theorem and chromatic profiles of oriented cycles." pith.science (2026). https://pith.science/paper/KTIX75QA
@misc{pith2026250907760,
author = {Pith},
title = {Pith review of: A directed Andr\'asfai-Erd\Hos-S\'os theorem and chromatic profiles of oriented cycles},
year = {2026},
howpublished = {\url{https://pith.science/paper/KTIX75QA}},
note = {Machine review of arXiv:2509.07760}
}
abstract
The chromatic profile of a digraph $H$, denoted by $\delta_{\chi}^{+}(H,k)$, is the infimum $d$ such that any $H$-free digraph $D$ on $n$ vertices with minimum out-degree $\delta^{+}(D) \ge dn$ must be $k$-colorable. We determine the exact chromatic profile for several fundamental classes of digraphs. Our main result is a directed analogue of the Andr\'asfai-Erd\H{o}s-S\'os theorem, stating that $\delta_\chi^{+}(T_r, r-1)=\frac{3 r-7}{3 r-4}$, where $T_r$ is the transitive tournament on $r$ vertices. We then determine the chromatic profile for directed odd cycles, showing that $\delta^+_\chi(\overrightarrow{C}_{2\ell+1},2)=1/2$ for all $\ell\ge 1$. Finally, we resolve the profile for the three remaining orientations of the pentagon, establishing that $\delta_{\chi}^{+}(C_{5}',2)=\delta_{\chi}^{+}(C_{5}'',2)=\delta_{\chi}^{+}(C_{5}''',2)=1/3$.
Figures
Figures from the paper (6 more)
Reference graph
Works this paper leans on
-
[11]
J. Gao, H. Liu, Z. Wu, and Y. Xue. Multicolor chromatic thresholds.In preparation, 2025+
work page 2025
-
[1]
Allen, J
P. Allen, J. B¨ ottcher, S. Griffiths, Y. Kohayakawa, and R. Morris. The chromatic thresholds of graphs.Advances in Mathematics, 235:261–295, 2013
2013
-
[2]
N. Alon and A. Shapira. Testing subgraphs in directed graphs. InProceedings of the thirty-fifth annual ACM symposium on Theory of computing, pages 700–709, 2003. 14
work page 2003
-
[3]
N. Alon and B. Sudakov. H-free graphs of large minimum degree.The Electronic Journal of Combinatorics, page R19, 2006
work page 2006
-
[4]
B. Andr´ asfai, P. Erd˝ os, and V. T. S´ os. On the connection between chromatic number, maximal clique and minimal degree of a graph.Discrete Mathematics, 8(3):205–218, 1974
work page 1974
-
[5]
J. B¨ ottcher, N. Frankl, D. M. Cecchelli, O. Parczyk, and J. Skokan. Graphs with large minimum degree and no small odd cycles are 3-colourable.arXiv preprint arXiv:2302.01875, 2023
arXiv 2023
-
[6]
R. Bourneuf, P. Charbit, and S. Thomass´ e. A dense neighborhood lemma: Applications of partial concept classes to domination and chromatic number.arXiv preprint arXiv:2504.02992, 2025
arXiv 2025
-
[7]
S. Brandt. On the structure of graphs with bounded clique number.Combinatorica, 23(4):693–696, 2003
work page 2003
Show all 27 references
-
[8]
Brandt and S
S. Brandt and S. Thomass´ e. Dense triangle-free graphs are four colorable: a solution to the Erd˝ os-Simonovits problem, Available from Thomass´ e’s webpage at http://perso.ens- lyon.fr/stephan.thomasse/liste/vega11.pdf, 2005
2005
-
[9]
L. Ding, X. Huang, S. Jiang, H. Liu, Y. Sun, and Y. Xue. Directed chromatic thresholds.In preparation, 2025+
2025
-
[10]
Erd˝ os and M
P. Erd˝ os and M. Simonovits. On a valence problem in extremal graph theory.Discrete Mathematics, 5(4):323–334, 1973
1973
-
[12]
Goddard and J
W. Goddard and J. Lyle. Dense graphs with small clique number.Journal of Graph Theory, 66(4):319–331, 2011
2011
-
[13]
H¨ aggkvist
R. H¨ aggkvist. Odd cycles of specified length in non-bipartite graphs. InNorth-Holland Mathematics Studies, volume 62, pages 89–99. Elsevier, 1982
1982
-
[14]
Huang, H
X. Huang, H. Liu, M. Rong, and Z. Xu. Interpolating chromatic and homomorphism thresholds. arXiv preprint arXiv:2502.09576, 2025
2025 arXiv
-
[15]
Illingworth
F. Illingworth. The chromatic profile of locally bipartite graphs.Journal of Combinatorial Theory, Series B, 156:343–388, 2022
2022
-
[16]
Illingworth
F. Illingworth. The chromatic profile of locally colourable graphs.Combinatorics, Probability and Computing, 31(6):976–1009, 2022
2022
-
[17]
G. Jin. Triangle-free four-chromatic graphs.Discrete Mathematics, 145(1-3):151–170, 1995
1995
-
[18]
Keevash, D
P. Keevash, D. K¨ uhn, and D. Osthus. An exact minimum degree condition for Hamilton cycles in oriented graphs.Journal of the London Mathematical Society, 79(1):144–166, 2009
2009
-
[19]
J. Kim, H. Liu, C. Shangguan, G. Wang, Z. Wu, and Y. Xue. Stability with minuscule structure for chromatic thresholds.arXiv preprint arXiv:2506.14748, 2025
2025
-
[20]
Koerts, B
H. Koerts, B. Moore, and S. Spirkl. Orientations of cycles in digraphs of high chromatic number and high minimum out-degree.arXiv preprint arXiv:2503.20045, 2025
2025 arXiv
-
[21]
H. Liu, C. Shangguan, J. Skokan, and Z. Xu. Beyond chromatic threshold via pp,qq -theorem, and blow-up phenomenon.40th International Symposium on Computational Geometry (SoCG 2024), page 71:1–71:15, 2024. 15
2024
-
[22]
X. Liu, S. Ren, and J. Wang. Andr´ asfai-Erd˝ os-S´ os theorem for the generalized triangle.arXiv preprint arXiv:2410.20832, 2024
2024 arXiv
-
[23]
X. Liu, S. Ren, and J. Wang. Positive codegree Andr´ asfai-Erd˝ os-S´ os theorem for the generalized triangle.arXiv preprint arXiv:2411.07090, 2024
2024 arXiv
-
[24]
Nikiforov
V. Nikiforov. Chromatic number and mimimum degree of Kr-free graphs.arXiv preprint arXiv:1001.2070, 2010
2010 arXiv
-
[25]
A. Taylor. The regularity method for graphs and digraphs.arXiv preprint arXiv:1406.6531, 2014
2014 arXiv
-
[26]
Z. Yan, Y. Peng, and X. Yuan. Chromatic profiles of odd cycles.arXiv preprint arXiv:2409.03407, 2024
2024 arXiv
-
[27]
Yuan and Y
X. Yuan and Y. Peng. Minimum degree stability of C2k`1-free graphs.Journal of Graph Theory, 106(2):307–321, 2024. 16
2024
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.