REVIEW 3 major objections 5 minor 23 references
Colour-biased Hamilton cycles in randomly perturbed graphs
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Adding O(n) random edges to any graph with minimum degree αn forces a Hamilton cycle with Ω(n) colour bias, and at the critical degree (r+1)n/2r the bias scales exactly with the number m of added random edges.
desk verdict Serious paper with a genuinely new critical-case phenomenon, but two load-bearing proof gaps (a false inequality in Thm 3.1 for r=2,3 and a failed degree-contradiction in Lemma 4.20) mean the main theorems are not proven as written. 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 proof of the critical case rests on a structural characterization (Theorem 4.2): if an r-coloured G_α with δ ≥ (r+1)n/2r has no Hamilton cycle with Ω(m) colour bias, then some induced subgraph on αn vertices is almost monochromatic—every matching avoiding the dominant colour c* has at most o(m) edges. Assuming this fails, the authors build a near-monochromatic cycle F of length Θ(m) whose vertices can be absorbed into a spanning cycle H in two ways, using 'bowties' (two triangles sharing a centre vertex) as switching devices that change the colour count by a controlled amount. Together with a Pósa-type spanning-cycle lemma and random-graph lemmas guaranteeing long almost-monochromatic paths and large matchings in every βn-set, this yields the Ω(m) bound.
What would settle it
Recompute the union bound in the proof of Lemma 4.20 with the paper's stated constants: two independent sets of size βn−$2^{{−4}}$β²m with intersection βn−$2^{{−6}}$β²m have union βn−7·$2^{{−6}}$β²m, which contradicts the claimed βn+$2^{{−6}}$β²m; checking whether a matching of size Ω(m) still exists under the weaker overlap is a direct finite calculation that would settle the lemma.
Extended reading notes
Core claim
The paper establishes two complementary statements. For every α>0 and r≥2, there is m=O(n) such that G_α ∪ G(n,m) with δ(G_α)≥αn typically satisfies h_r(G_α ∪ G(n,m)) = Ω(n): no matter how the union's edges are r-coloured, a Hamilton cycle has many more than n/r edges of one colour. For 0<α<(r+1)/2r, m=o(n) random edges are useless for this purpose—there are graphs of that minimum degree whose every Hamilton cycle is perfectly balanced regardless of the added edges. The critical case α=(r+1)/2r is where the paper's main theorem lies: for any m with 1≪m≤n, the typical value of h_r is Ω(m), and matching constructions force O(m), so the bias is linear in the number of random edges.
Load-bearing premise
The lower bound at the critical degree relies on a lemma that every βn-sized vertex set either contains a large matching already or overlaps one of finitely many exceptional sets in a large independent set, with the overlap bounded away from the whole set; the paper's own inequalities do not force that overlap, so this inheritance step is the load-bearing assumption.
Editorial extensions
If this is right
- For any positive minimum degree, a linear number of random edges makes colour bias as large as it can be, matching the deterministic dense threshold up to the constant factor.
- At the critical minimum degree (r+1)/2r, even a superconstant number m of random edges produces a superconstant colour bias, so the transition from zero bias to linear bias is governed by how many random edges are present.
- The upper-bound constructions show the Ω(m) lower bound is tight up to constants: there are colourings in which every Hamilton cycle has colour bias at most O(m).
- The structural dichotomy—no large bias forces a large nearly monochromatic induced subgraph—identifies the balanced-colouring example as the unique extremal obstruction in the critical regime.
Reading between the lines
- The structural dichotomy likely extends to a stability statement: graphs near the critical degree whose every Hamilton cycle is nearly balanced must contain a large nearly monochromatic set; a formal quantitative version could connect to discrepancy-stability results for other spanning structures.
- The Θ(m) dependence suggests that the natural measure of 'randomness needed' for bias is the number of available random edges themselves; for m=n^{1/2}, the upper construction gives a concrete test case for algorithms that search for biased Hamilton cycles.
- A testable extension is to push the Ω(m) result down to the regime where m is a constant (the current theorem needs 1≪m); a direct computation of the matching lemma at constant m would show whether the threshold is sharp at m=Θ(1).
- The bowtie switching mechanism provides a colour-count identity that could be reused to bound the discrepancy of perfect matchings or small factors in randomly perturbed hypergraphs and graphs.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies colour-biased Hamilton cycles in randomly perturbed graphs, i.e. graphs of the form G_α ∪ G(n,m), where G_α has minimum degree at least α n. The main results claimed are: (1) for every α>0, adding O(n) random edges typically forces an Ω(n)-colour-biased Hamilton cycle in every r-edge-colouring; (2) below the threshold α < (r+1)/(2r), o(n) random edges do not suffice; (3) at the critical value α=(r+1)/(2r), adding m random edges typically forces an Ω(m)-colour-biased Hamilton cycle for every 1≪m≤n, and there are examples with O(m) bias. The proofs combine an absorption/sprinkling argument for the O(n)-edge regime and a structural decomposition of graphs without large colour bias for the critical regime, together with Pósa's theorem, Erdős-Gallai, and standard random graph estimates.
Significance. If the theorems are correct, the paper would settle the randomly perturbed threshold for colour-biased Hamilton cycles and give a sharp dependence on m at the critical endpoint, extending results of Freschi–Hyde–Lada–Treglown and Gishboliner–Krivelevich–Michaeli. The paper is written in a standard and readable style, and it contains explicit extremal constructions for the upper bounds. It also makes good use of existing tools without introducing fitted parameters. However, the correctness of the main lower-bound results currently rests on several proof gaps that need to be fixed before the claims can be accepted.
major comments (3)
- [§4.3, Lemma 4.20] The proof of the overlap claim (15) is not valid. From (13) one has |I(U)|,|I(U_i)| ≥ βn − 2^{−4}β²m, and the negation of (15) gives |I(U)∩I(U_i)| < βn − 2^{−6}β²m. These imply |I(U)∪I(U_i)| ≥ 2(βn − 2^{−4}β²m) − (βn − 2^{−6}β²m) = βn − 7·2^{−6}β²m, which is smaller than βn, not larger. Therefore the displayed bound d_{G_α}(x) ≤ (1−β)n − 2^{−6}β²m does not follow, and the contradiction with δ(G_α) ≥ αn is not obtained. Since this step is used to guarantee that the random matching inside some U_i survives inside every U, and that matching is essential for the Ω(m) lower bound in Theorem 4.1 (and hence Theorem 1.6), this is a load-bearing gap. The argument may be repairable by choosing different constants and using the fact that an independent set in G_α has size at most βn, but a corrected proof must be supplied.
- [§3.3, proof of Theorem 3.1] The final numerical claim in the proof is false. After equation (5), the paper asserts that the path P'_1 contains at least (2/(r+1) − 5ε)n − 2ε³n ≥ n/r + n/(2r) edges of one colour. But for every r ≥ 2 one has 2/(r+1) < (r+1)/(2r), so the coefficient 2/(r+1) is strictly smaller than the coefficient 3/(2r) = 1/r + 1/(2r) needed for the claimed n/(2r) colour bias. Thus the path P_1 obtained from the Gishboliner–Krivelevich–Michaeli lemma gives only Ω(n) bias of size about (r−1)n/(r(r+1)), not n/(2r). This invalidates the stated bound in Theorem 3.1 as written. Since Theorem 1.4 only requires Ω(n) bias, the proof may be salvageable by changing the target constant, but all the inequalities in this final step must be adjusted accordingly.
- [§4.1, Lemma 4.5] The proof of Lemma 4.5 contains an unjustified averaging claim: it states that some colour c* has at least n·αn·r^{−1} > n²/(2r) edges. Averaging over the r colour classes gives only e_{c*} ≥ e(G)/r ≥ αn²/(2r) = (r+1)n²/(4r²), which is smaller than n²/(2r) for every r ≥ 2. As written, the Erdős–Gallai argument does not apply. This is repairable: since t = 2^{5r} b ≤ n/(32r), the Erdős–Gallai bound can be sharpened to ex(n,P_t) ≤ (t−2)n/2 ≤ n²/(64r), and the averaged colour count is larger than this. But the current proof needs this correction before the existence of the almost-monochromatic cycle F is established.
minor comments (5)
- [§2] The numbering in Section 2 is inconsistent: Lemma 2.1 is proved under the name “Proof of Theorem 2.1”, and Lemma 2.2 is referred to as “Theorem 2.2”.
- [§2, Proposition 1.5] Proposition 1.5 in the introduction is called “Theorem 1.5” in Section 2; the labels should be harmonized.
- [§4.2, Lemma 4.19] In the statement of Lemma 4.19, the phrase “at least t more edges of colour c” should refer to ℓ, the number of bowties, rather than t; as written it is ambiguous because t is defined earlier as 2^{5r} b.
- [§4.2, Lemma 4.16] In the proof of Lemma 4.16, when the selected side-edge colour c' equals c, the cycle H_2 has one more c-edge than H_1, not H_1 more than H_2. The conclusion still follows if the argument is phrased as a difference of ℓ/r in absolute value, but the sentence as written is not correct in that case.
- [§3.2, proof of Lemma 3.6] In the greedy connection step, the proof says there are at least 4εn choices and that at most 4εn choices need to be forbidden; this only guarantees a surviving choice if the inequalities are strict or the constants are adjusted. A small constant slack would make the argument clean.
Circularity Check
No circular reasoning found; the derivation chain uses external theorems and stated assumptions, with no fitted parameters or self-citation carrying the argument.
full rationale
The paper derives its theorems by standard external tools (Pósa's theorem, Erdős–Gallai, Kim–Vu concentration, Chernoff bounds, and results from GKM22, KLS15, and FHLT21) applied to explicitly stated graph classes. The main results are proved from the assumptions δ(G)≥αn and the definition of G(n,m), without fitting parameters to target quantities or defining the desired conclusion into the hypotheses. For instance, Theorem 1.4 is assembled from Theorem 3.2 (an external almost-monochromatic path lemma), Theorem 3.6 (an absorber constructed via explicit matching arguments), and Theorem 3.3 (a path in βn-subsets derived from the k-joined property), none of which assumes the biased Hamilton cycle being proved. Similarly, Theorem 4.1 is built from the structural Proposition 4.2, the bowtie lemmas, and Lemma 4.20; the proof of Lemma 4.20 does contain an apparent gap in the inequality (15) (the union bound derivation is not valid as written), but that is a correctness issue, not a circularity: the proof still attempts to derive the matching property from δ(G_α)≥αn and random-edge concentration, and it does not assume the conclusion. The upper-bound constructions in Section 2 are explicit and match the claimed bounds through direct counting. The acknowledgements and references include self-citations only in the ordinary sense of building on prior work, and no central premise is justified solely by an unpublished or same-author uniqueness claim. Overall, the analysis finds no step where a 'prediction' or theorem statement is equivalent by construction to its inputs.
Assumptions & free parameters
assumptions (5)
- standard math Pósa's theorem: a graph on n vertices with δ≥(n+ℓ)/2 contains a Hamilton cycle containing any given path forest with ℓ edges.
- standard math Erdős-Gallai bound ex(n,P_t) ≤ (t−2)n/2.
- standard math GKM22 DFS lemma: G(n,p) with p≥C/n has an almost monochromatic path of length (2/(r+1)−ε)n in any r-colouring.
- standard math Kim-Vu inequality and Chernoff bounds for random graph concentration.
- standard math Janson-Luczak-Ruciński monotone conversion between G(n,p) and G(n,m).
Cite this review
Pith. "Pith review of Colour-biased Hamilton cycles in randomly perturbed graphs." pith.science (2026). https://pith.science/paper/FGJ25ZAC
@misc{pith2026250604189,
author = {Pith},
title = {Pith review of: Colour-biased Hamilton cycles in randomly perturbed graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/FGJ25ZAC}},
note = {Machine review of arXiv:2506.04189}
}
abstract
Given a graph $G$ and an $r$-edge-colouring $\chi$ on $E(G)$, a Hamilton cycle $H\subset G$ is said to have $t$ colour-bias if $H$ contains $n/r+t$ edges of the same colour in $\chi$. Freschi, Hyde, Lada and Treglown showed every $r$-coloured graph $G$ on $n$ vertices with $\delta(G)\geq(r+1)n/2r+t$ contains a Hamilton cycle $H$ with $\Omega(t)$ colour-bias, generalizing a result of Balogh, Csaba, Jing and Pluh\'{a}r. In 2022, Gishboliner, Krivelevich and Michaeli proved that the random graph $G(n,m)$ with $m\geq(1/2+\varepsilon)n\log n$ typically admits an $\Omega(n)$ colour biased Hamilton cycle in any $r$-colouring. In this paper, we investigate colour-biased Hamilton cycles in randomly perturbed graphs. We show that for every $\alpha>0$, adding $m=O(n)$ random edges to a graph $G_\alpha$ with $\delta(G_\alpha)\geq \alpha n$ typically ensures a Hamilton cycle with $\Omega(n)$ colour bias in any $r$-colouring of $G_\alpha\cup G(n,m)$. Conversely, for certain $G_{\alpha}$, reducing the number of random edges to $m=o(n)$ may eliminate all colour biased Hamilton cycles of $G(n,m)\cup G$ in a certain colouring. In contrast, at the critical endpoint $\alpha=(r+1)/2r$, adding $m$ random edges typically results in a Hamilton cycle with $\Omega(m)$ colour-bias for any $1\ll m\leq n$.
Figures
Reference graph
Works this paper leans on
-
[1]
Minimum Degree Threshold for $H$-factors with High Discrepancy
D. Brada c , M. Christoph, and L. Gishboliner. Minimum degree threshold for h -factors with high discrepancy. arXiv:2302.13780
- [2]
-
[3]
P. Bennett, A. Dudek, and A. Frieze. Adding random edges to create the square of a H amilton cycle. arXiv:1710.02716
- [4]
-
[5]
J. B \"o ttcher, R. Montgomery, O. Parczyk, and Y. Person. Embedding spanning bounded degree graphs in randomly perturbed graphs. Mathematika , 66(2):422--447, 2020
work page 2020
- [6]
- [7]
-
[8]
A. Freschi, J. Hyde, J. Lada, and A. Treglown. A note on color-bias H amilton cycles in dense graphs. SIAM J. Discrete Math. , 35(2):970--975, 2021
work page 2021
Show all 23 references
-
[9]
Gishboliner, S
L. Gishboliner, S. Glock, and A. Sgueglia. Steiner triple systems with high discrepancy. arXiv:2503.23252
-
[10]
Gishboliner, M
L. Gishboliner, M. Krivelevich, and P. Michaeli. Color-biased H amilton cycles in random graphs. Random Structures & Algorithms , 60(3):289--307, 2022
2022
-
[11]
H \`a n, R
H. H \`a n, R. Lang, J. Marciano, M. Pavez-Sign \'e , N. Sanhueza-Matamala, A. Treglown, and C. Z \'a rate-Guer \'e n. Colour-bias perfect matchings in hypergraphs. arXiv:2408.11016
-
[12]
Hollom, L
L. Hollom, L. Lichev, A. Mond, and J. Portier. Discrepancies of spanning trees in dense graphs. arXiv:2410.17034
-
[13]
J. Han, P. Morris, and A. Treglown. Tilings in randomly perturbed graphs: B ridging the gap between H ajnal- S zemer \'e di and J ohansson- K ahn- V u. Random Structures & Algorithms , 58(3):480--516, 2021
2021
-
[14]
Joos and J
F. Joos and J. Kim. Spanning trees in randomly perturbed graphs. Random Structures & Algorithms , 56(1):169--219, 2020
2020
-
[15]
Janson, T
S. Janson, T. Luczak, and A. Rucinski. Random graphs . John Wiley & Sons, 2011
2011
-
[16]
Janson and A
S. Janson and A. Ruci\' n ski. The infamous upper tail. Random Structures & Algorithms , 20(3):317--342, 2002. Probabilistic methods in combinatorial optimization
2002
-
[17]
Krivelevich, M
M. Krivelevich, M. Kwan, and B. Sudakov. Bounded-degree spanning trees in randomly perturbed graphs. SIAM Journal on Discrete Mathematics , 31(1):155--171, 2017
2017
-
[18]
Krivelevich, C
M. Krivelevich, C. Lee, and B. Sudakov. Long paths and cycles in random subgraphs of graphs with large minimum degree. Random Structures & Algorithms , 46(2):320--345, 2015
2015
-
[19]
Kim and V
J. Kim and V. Vu. Concentration of multivariate polynomials and its applications. Combinatorica , 20(3):417--434, 2000
2000
-
[20]
H. Lu, J. Ma, and S. Xie. Discrepancies of perfect matchings in hypergraphs. arXiv:2408.06020
-
[21]
Montgomery
R. Montgomery. Topics in random graphs. Lecture notes , 2018
2018
-
[22]
P\' o sa
L. P\' o sa. On the circuits of finite graphs. Magyar Tud. Akad. Mat. Kutat\' o Int. K\" o zl. , 8:355--361 (1964), 1963
1964
-
[23]
R\" o dl, A
V. R\" o dl, A. Ruci\' n ski, and E. Szemer\' e di. A D irac-type theorem for 3-uniform hypergraphs. Combin. Probab. Comput. , 15(1-2):229--251, 2006
2006
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.