On the chromatic profile for tripartite graphs and beyond
Pith reviewed 2026-05-21 09:39 UTC · model grok-4.3
The pith
For every graph H with chromatic number 3 the chromatic threshold δ_χ(H,2) equals one of eight specific rational numbers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
When H is color-critical with χ(H)=3 and odd girth 2k+1, δ_χ(H,2) equals the maximum of δ_χ of the cycle C_{2k+1} and the vertex-extendable threshold δ_ext(H,2). This maximum always equals one of the eight listed values, and the paper characterizes the graphs H that produce each value.
What carries the argument
The vertex-extendable threshold δ_ext(H,2), which is the infimum c such that the existence of a vertex v with G-v being 2-colorable together with minimum degree at least cn forces an H-free graph G to be 2-colorable.
If this is right
- The possible values for δ_χ(H,2) when χ(H)=3 form a finite set.
- Each value in the set has a complete structural characterization of the realizing graphs H.
- The formula reduces the problem to computing thresholds for odd cycles and the extendability parameter.
- Classical results for triangles extend to all color-critical 3-chromatic graphs with fixed odd girth.
Where Pith is reading between the lines
- The approach may generalize to determine chromatic profiles for higher r or higher chromatic numbers.
- Vertex-extendability could apply to other problems involving coloring after small modifications.
- Testing the reduction on non-critical graphs would check its robustness.
Load-bearing premise
The equality δ_χ(H,2) equals the maximum of the odd-cycle chromatic threshold and the vertex-extendable threshold holds for all color-critical 3-chromatic graphs.
What would settle it
A color-critical graph H with χ(H)=3 whose computed δ_χ(H,2) is not equal to the max of δ_χ(C_{2k+1},2) and δ_ext(H,2), or lies outside the eight values.
Figures
read the original abstract
Let $H$ be a graph and let $\delta_{\chi}(H,r)$ denote the infimum of $c$ such that every $H$-free graph with minimum degree at least $cn$ is $r$-colorable. The \textit{chromatic profile} of $H$ is defined to be the values of $\delta_{\chi}(H,r)$ as $r$ varies. Erd\H{o}s and Simonovits described this graph parameter as ``too complicated", and Allen, B\"ottcher, Griffiths, Kohayakawa, and Morris posed its determination for every graph $H$ as an open problem \cite[Problem~45]{ABGKM2013}, emphasizing its expected difficulty. In this paper, we resolve the case $r=2$ for every graph $H$ with $\chi(H)=3$. We show that the set of possible values of $\delta_{\chi}(H,2)$ with $\chi(H)=3$ is finite and discrete: $$\{\delta_{\chi}(H,2):\chi(H)=3\}=\left\{\frac{1}{2},\frac{2}{5},\frac{2}{7},\frac{1}{4},\frac{2}{9},\frac{1}{5},\frac{2}{11},\frac{1}{6}\right\}.$$ Furthermore, we provide a complete structural characterization of the graphs $H$ associated with each threshold value. Moreover, we extend the classical chromatic profile result for triangle to color-critical graphs $H$ with $g_{\mathrm{odd}}(H)=\chi(H)=3$. Our approach introduces a useful auxiliary parameter. Motivated by the notion of vertex-extendability of Liu, Mubayi, and Reiher \cite{liu2023unified}, we define the {\it vertex-extendable threshold} of $H$, denoted by $\delta_{\mathrm{ext}}(H,r)$, as the infimum of $c\in (0,1)$ so that for every $H$-free graph $G$ on $n$ vertices, the existence of a vertex $v \in V(G)$ with $\chi(G - v) \leq r$ combined with $\delta(G)\ge cn$ implies that $G$ is $r$-colorable. A key structural consequence is that $\delta_{\chi}(H,2) = \max\left\{\delta_\chi(C_{2k+1},2),\delta_{\mathrm{ext}}(H,2)\right\},$ where $H$ is a color-critical graph with $\chi(H)=3$ and $g_{\mathrm{odd}}(H)=2k+1$ for $k\geq 2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript resolves the chromatic profile δ_χ(H,2) for every graph H with χ(H)=3. It proves that the possible values form the finite discrete set {1/2, 2/5, 2/7, 1/4, 2/9, 1/5, 2/11, 1/6} and supplies a complete structural characterization of the realizing graphs H. The proof introduces the auxiliary vertex-extendable threshold δ_ext(H,r) and establishes the structural reduction δ_χ(H,2) = max{δ_χ(C_{2k+1},2), δ_ext(H,2)} for color-critical H with odd girth 2k+1 (k≥2). It further extends the classical triangle case to all such color-critical graphs.
Significance. This work resolves a concrete case of the open Problem 45 posed by Allen, Böttcher, Griffiths, Kohayakawa, and Morris, which was described as expected to be difficult. The explicit finite list together with the structural characterization constitutes a substantial advance in extremal graph theory. The newly defined parameter δ_ext(H,r), motivated by the vertex-extendability framework of Liu, Mubayi, and Reiher, is a clean and potentially reusable tool. The structural reduction theorem is a load-bearing contribution that converts the original parameter into quantities that can be classified by odd girth and minimal non-extendable graphs.
minor comments (2)
- The abstract states the key equality but does not spell out the definition of δ_ext(H,r) in a single sentence; adding a brief parenthetical would improve accessibility for readers who have not yet reached the definitions section.
- In the classification of δ_ext values, the case distinctions on odd girth are clear, but a short table summarizing which graphs realize each rational would help readers quickly verify the completeness claim.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation to accept. We appreciate the recognition that the work resolves Problem 45 in the case r=2 for all graphs H with chromatic number 3, along with the introduction of the vertex-extendable threshold and the structural reduction theorem.
Circularity Check
No significant circularity detected
full rationale
The paper proves the central structural reduction δ_χ(H,2) = max{δ_χ(C_{2k+1},2), δ_ext(H,2)} directly from the definitions of the two parameters for color-critical H; δ_ext is introduced as a new auxiliary quantity rather than fitted to the target result, and δ_χ(C_{2k+1},2) is treated as an independently known or computable base case for odd cycles. The subsequent classification of δ_ext values proceeds by case analysis on odd girth and minimal non-extendable graphs without reducing back to the original δ_χ by construction. No self-citation chain, ansatz smuggling, or renaming of known results is load-bearing for the finite-set claim. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard definitions of chromatic number χ(H), odd girth g_odd(H), color-critical graphs, and H-free graphs.
invented entities (1)
-
vertex-extendable threshold δ_ext(H,r)
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
δ_χ(H,2) = max{δ_χ(C_{2k+1},2), δ_ext(H,2)} for color-critical H with g_odd(H)=2k+1 (Theorem 1.10)
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Finite discrete set {1/2, 2/5, 2/7, 1/4, 2/9, 1/5, 2/11, 1/6} for χ(H)=3 (Theorem 1.4)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
N. Alon and C. Shikhelman. ManyTcopies inH-free graphs.J. Combin. Theory, Series B, 121:146–172, 2016
work page 2016
-
[3]
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 Math., 8:205–218, 1974
work page 1974
-
[4]
J. B¨ ottcher, N. Frankl, D. Mergoni 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. 28
-
[5]
S. Brandt and S. Thomass´ e. Dense triangle-free graphs are four colorable: a so- lution to the Erd˝ os-Simonovits problem. Available from Thomass´ e’s webpage at http://perso.ens-lyon.fr/stephan.thomasse/liste/vega11.pdf, 2005
work page 2005
- [6]
-
[7]
Y. Caro and Z. Tuza. Regular Tur´ an numbers.Australas. J. Combin., 78(1):133–144, 2020
work page 2020
-
[8]
C. C. Chen, G. Jin, and K. M. Koh. Triangle-free graphs with large degree.Combin. Probab. Comput., 6(4):381–396, 1997
work page 1997
-
[9]
P. Erd˝ os and M. Simonovits. A limit theorem in graph theory.Studia Sci. Math. Hungar, 1:51–57, 1966
work page 1966
-
[10]
P. Erd˝ os and M. Simonovits. On a valence problem in extremal graph theory.Discrete Math., 5:323–334, 1973
work page 1973
-
[11]
P. Erd˝ os and A. H. Stone. On the structure of linear graphs.Bull. Amer. Math. Soc., 52:1087–1091, 1946
work page 1946
-
[12]
J. Gao, H. Liu, Z. Wu, and Y. Xue. Multicolor chromatic thresholds.Manuscript, 2026
work page 2026
-
[13]
W. Goddard and J. Lyle. Dense graphs with small clique number.J. Graph Theory, 66(4):319–331, 2011
work page 2011
-
[14]
R. H¨ aggkvist. Odd cycles of specified length in non-bipartite graphs. InNorth-Holland Mathematics Studies, volume 62, pages 89–99. Elsevier, 1982
work page 1982
-
[15]
F. Illingworth. The chromatic profile of locally bipartite graphs.J. Combin. Theory Ser. B, 156:343–388, 2022
work page 2022
-
[16]
F. Illingworth. The chromatic profile of locally colourable graphs.Combin. Probab. Comput., 31(6):976–1009, 2022
work page 2022
-
[17]
G. Jin. Triangle-free four-chromatic graphs.Discrete Math., 145(1-3):151–170, 1995
work page 1995
- [18]
-
[19]
T. Kov´ ari, V. S´ os, and P. Tur´ an. On a problem of K. Zarankiewicz. InColloquium Mathematicum, volume 3, pages 50–57. Polska Akademia Nauk. Instytut Matematy- czny PAN, 1954
work page 1954
-
[20]
X. Liu, D. Mubayi, and C. Reiher. A unified approach to hypergraph stability.J. Combin. Theory, Series B, 158:36–62, 2023
work page 2023
-
[21]
Coloring dense graphs via VC-dimension
T. Luczak and S. Thomass´ e. Coloring dense graphs via VC-dimension.arXiv preprint arXiv:1007.1670, 2010
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[22]
J. Ma. Cycles with consecutive odd lengths.European Journal of Combinatorics, 52:74–78, 2016
work page 2016
-
[23]
Chromatic number and mimimum degree of K_r-free graphs
V. Nikiforov. Chromatic number and minimum degree ofK r-free graphs.arXiv preprint arXiv:1001.2070, 2010. 29
work page internal anchor Pith review Pith/arXiv arXiv 2070
-
[24]
I. Z. Ruzsa and E. Szemer´ edi. Triple systems with no six points carrying three triangles.Combinatorics (Keszthely, 1976), Coll. Math. Soc. J. Bolyai, 18(2):939– 945, 1978
work page 1976
- [25]
-
[26]
P. Tur´ an. On an extremal problem in graph theory.Mat. Fiz. Lapok, 48:436–452, 1941
work page 1941
- [27]
- [28]
-
[29]
X. Yuan and Y. Peng. Minimum degree stability ofC 2k+1-free graphs.Journal of Graph Theory, 106(2):307–321, 2024. A Appendix: Proof of Lemma 4.1 Proof.LetSbe a random subset ofAof sizet, chosen uniformly at random from all |A| t possible subsets. LetYbe the random variable which denotes the size of the common neighborhood ofS, i.e., Y=|N(S)|= \ x∈S N(x) ....
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.