REVIEW 3 major objections 4 minor 1 cited by
Forcing Quasirandomness in a Regular Tournament
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Among the twenty tournaments on at most five vertices, exactly eleven force quasirandomness once the hosts are required to be nearly regular; the other nine do not.
desk verdict A sensible new variant of quasirandomness forcing with a complete 5-vertex classification; the positive half rests on flag-algebra certificates that need machine-checkable backing. 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 central objects are tournamentons, measurable functions $W:[0,1]^2 \to [0,1]$ with $W(x,y)+W(y,x)=1$, which are the continuous limits of tournament sequences; quasirandomness corresponds to $W(x,y)=1/2$ almost everywhere. The key reduction, Proposition 3.8, is that near-regularity is exactly the condition that the transitive triangle density or the cyclic triangle density sits at its random value, so H forces quasirandomness in regular tournaments precisely when the set {H, TT3} or {H, C3} forces it without regularity. On the positive side, the proof uses the flag algebra method, a calculus of rooted subpattern densities that turns density inequalities into positive semidefinite matrix certificates; the printed matrices A1, A2 and A3 yield inequalities such as $8t(C_3,W) + (1/4)1024t(H_{10},W) \le 5/4$, and the equality analysis forces the two four-vertex densities $t(TT_4,W)$ and $t(C_4,W)$ to equal $(1/8)t(TT_3,W)$, which Lemma 5.13 converts into $W=1/2$ almost everywhere. On the negative side, Lemma 3.10 builds regular tournamentons by splicing two regular tournamentons and uses continuity to hit the random density while remaining non-quasirandom.
What would settle it
Recompute the eigenvalues and kernels of the printed matrices $A_1,A_2,A_3$ and re-evaluate, for every five-vertex tournament $J$, the claimed constant expressions in Theorems 5.4–5.7; a matrix that is not positive semidefinite, a kernel different from the stated span, or a tournament $J$ whose expression differs from $5/4$, $8/7$ or $6/5$ would refute the positive half of the classification. An independent exhaustive search over regular tournamentons on a fine grid could look for a regular limit $W$ with t(H_i,W) equal to the random value for one of the eleven listed tournaments while W is not $1/2$ on a positive-measure set.
Extended reading notes
Core claim
On the paper's own terms, the discovery is the exact split of the twenty tournaments: H4, H5, H6, H7, H8, H10, H11, H13, H14, H15 and H17 force quasirandomness in regular tournaments, while H0, H1, H2, H3, H9, H12, H16, H18 and H19 do not. The positive half is proved by reducing regular forcing to ordinary forcing of a pair: by Proposition 3.8, H forces quasirandomness in regular tournaments if and only if {H, TT3}, equivalently {H, C3}, forces quasirandomness without the regularity assumption. The flag algebra inequalities of Theorems 5.4–5.7 then certify the needed pairs for H10, H11, H13 and H14, with H15 obtained by reversing arcs, and equality is shown to force the limit tournamenton to be $W(x,y)=1/2$ for almost all pairs. The negative half is witnessed by explicit regular tournamentons, including one-parameter interpolations between two regular limits and a regular seven-vertex tournament, for which t(H,W) reaches the random value while W stays far from the constant $1/2$.
Load-bearing premise
The load-bearing premise is that the printed positive semidefinite matrices $A_1,A_2,A_3$ and the Appendix A coefficient tables are all correct; the paper gives no code or certificates, and a single wrong entry would break Theorems 5.4–5.7 and with them the positive half of the classification.
Editorial extensions
If this is right
- In any nearly regular tournament sequence, matching the expected density of any one of the eleven listed tournaments forces every finite pattern density to match its random value.
- The forcing list strictly enlarges the unrestricted one on five vertices: H5, H6, H7, H10, H11, H13, H14 and H15 are non-transitive tournaments that force only under near-regularity, while H4, H8 and H17 remain forcing without it.
- Because near-regularity is equivalent to t(TT3) or t(C3) being at the random value, the classification can be restated as finitely many inequalities involving three- and five-vertex densities, all with equality only at the constant $1/2$ limit.
- Any future resolution of the open classification problem must reproduce this exact split on five vertices; the paper's Questions 6.2 and 6.3 ask whether the family continues to infinity and whether it eventually contains almost all tournaments.
Reading between the lines
- This inference goes beyond the paper: the negative constructions all live on low-complexity regular limits built from small regular tournaments or interpolations between them, so the non-forcing phenomenon may be confined to a finite-dimensional slice of the space of tournamentons.
- This inference goes beyond the paper: the same flag algebra pipeline could be run on the 112 six-vertex tournaments to test Question 6.3 at the next scale; the paper's method stops at five vertices.
- This inference goes beyond the paper: for tournament data with approximately balanced outdegrees, matching any one of the eleven pattern counts is a practical quasirandomness certificate, provided near-regularity is checked separately.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces and studies a variant of quasirandom forcing for tournaments in which the host tournaments are assumed to be nearly regular. The main result, Theorem 1.4, classifies all tournaments on at most five vertices that force quasirandomness in regular tournaments: exactly eleven do (H4, H5, H6, H7, H8, H10, H11, H13, H14, H15, H17) and exactly nine do not (H0, H1, H2, H3, H9, H12, H16, H18, H19). The negative side is handled by explicit regular tournamenton constructions, including a neat hand computation for H9 and H16 and a computer-assisted example for H18. The positive side is proved by reducing the problem to inequalities on homomorphism densities of C3 or TT3 combined with H10, H11, H13, or H14, and then proving these inequalities with flag algebras. The paper also gives structural reductions (Propositions 3.1–3.10) that connect near regularity, density of TT3 and C3, and forcing in regular tournaments, and it closes with several natural open problems, including whether almost every tournament forces quasirandomness in regular tournaments.
Significance. If the central results are correct, this paper significantly enlarges the known family of quasirandom-forcing tournaments by adding a regularity assumption on the host sequence. This is a meaningful conceptual contrast to Theorem 1.2, where only one non-transitive tournament forces quasirandomness. The structural reductions are clean and appear sound, and the negative constructions are explicit and mostly hand-checkable. The positive half, however, relies on flag-algebra certificates that are only partially verified in the text: large matrices are asserted to be positive semidefinite, kernel claims are asserted without proof, and the coefficient tables in Appendix A are stated as computer-generated with only sample demonstrations. These are load-bearing for the main classification, but the issue is a verification gap rather than a detected mathematical error. The paper does not ship machine-checkable code or certificates, which would substantially strengthen confidence in the positive results.
major comments (3)
- [Theorems 5.4–5.7 and Lemma 5.18]
- [Proofs of Theorems 5.4–5.7, equality cases]
- [Lemma 4.4, H18 construction]
minor comments (4)
- [Proof of Theorem 5.5]
- [Appendix A]
- [Theorem 5.7]
- [Proposition 4.3]
Circularity Check
No significant circularity: the flag-algebra certificates are asserted rather than fitted, and the equality cases are derived from kernel conditions.
full rationale
The derivation chain is not circular. Proposition 3.8 converts near-regular forcing to forcing with TT3 or C3, and Lemma 3.9 gives the reduction used in Section 5; both are proved from Propositions 3.6/3.7, not assumed. The negative results in Section 4 are explicit tournamenton constructions (WC3, the Uz family, and a computer-searched 7-vertex tournament for H18), so the non-forcing conclusions are exhibited rather than presupposed. The positive half rests on Lemma 5.18: the matrices A1, A2, A3 and the Appendix A coefficient tables are asserted to give, for every 5-vertex J, the constant value (-5/4, -5/4, 8/7, 6/5). The paper only shows sample evaluations and says the tables were 'computed by computer but can be easily checked by hand'; this is an unverified-certificate risk, not circularity, because the PSD matrices are certificates chosen to prove the inequalities and are not fitted to the densities t(H,1/2) that define the target value. The equality cases are then obtained from the kernel assertions in Lemma 5.18 together with Lemma 5.13, whose proof uses the external Theorem 1.2. The one self-citation that is load-bearing is Lemma 5.2 = [4, Corollary 6] for H6; it is an external, parameter-free inequality about C3/C4 densities with assumptions that do not include the present classification, so it counts as independent evidence and does not raise the circularity score. Overall, the paper's claims reduce neither to their own definitions nor to a fitted parameter renamed as a prediction.
Assumptions & free parameters
free parameters (6)
- PSD matrix A2 in Theorem 5.4 =
8x8 matrix with entries printed in Section 5
- PSD matrix A3 in Theorem 5.4 =
8x8 matrix printed in Section 5
- PSD matrices A2 and A3 in Theorem 5.5 =
two 8x8 matrices printed in Section 5
- PSD matrix A2 in Theorem 5.6 =
8x8 matrix printed in Section 5
- PSD matrices A1 and A3 in Theorem 5.7 =
4x4 and 8x8 matrices printed in Section 5
- 7-vertex regular tournament T in Lemma 4.4 =
7x7 adjacency matrix printed in proof of Lemma 4.4
assumptions (5)
- standard math Every sequence of tournaments has a subsequence converging to a tournamenton, and convergence preserves homomorphism densities (Proposition 2.1).
- domain assumption Near-regularity of a sequence is equivalent to the limit tournamenton being regular, expressed through t(TT3) and t(C3) limits (Propositions 3.6 and 3.7).
- standard math The flag algebra Lemma 5.18 is valid: positive semidefinite flag matrices yield valid lower bounds on homomorphism densities, with the given equality condition.
- ad hoc to paper The printed matrices A1, A2, A3 in Theorems 5.4-5.7 are positive semidefinite and have exactly the stated kernels.
- ad hoc to paper The coefficient tables in Appendix A are complete and correct for the twelve 5-vertex tournaments, and the 7-vertex tournament in Lemma 4.4 has the stated density.
Cite this review
Pith. "Pith review of Forcing Quasirandomness in a Regular Tournament." pith.science (2026). https://pith.science/paper/SDT5ES27
@misc{pith2026250111675,
author = {Pith},
title = {Pith review of: Forcing Quasirandomness in a Regular Tournament},
year = {2026},
howpublished = {\url{https://pith.science/paper/SDT5ES27}},
note = {Machine review of arXiv:2501.11675}
}
abstract
A tournament $H$ is said to force quasirandomness if it has the property that a sequence $(T_n)_{n\in \mathbb{N}}$ of tournaments of increasing orders is quasirandom if and only if the homomorphism density of $H$ in $T_n$ tends to $(1/2)^{\binom{v(H)}{2}}$ as $n\to\infty$. It was recently shown that there is only one non-transitive tournament with this property. This is in contrast to the analogous problem for graphs, where there are numerous graphs that are known to force quasirandomness and the well known Forcing Conjecture suggests that there are many more. To obtain a richer family of characterizations of quasirandomness in tournaments, we propose a variant in which the tournaments $(T_n)_{n\in \mathbb{N}}$ are assumed to be "nearly regular." We characterize the tournaments on at most 5 vertices which force quasirandomness under this stronger assumption.
Figures
Forward citations
Cited by 1 Pith paper
-
Sidorenko property and forcing in regular tournaments
For nearly regular tournaments, a tournament has the Sidorenko property exactly when it is transitive or a blow-up of the cyclic triangle whose three parts are transitive.
Reference graph
Works this paper leans on
-
[1]
N. Alon and J. H. Spencer. The probabilistic method . Wiley Series in Discrete Mathe- matics and Optimization. John Wiley & Sons, Inc., Hoboken, NJ, fourt h edition, 2016
work page 2016
-
[2]
M. Buci´ c, E. Long, A. Shapira, and B. Sudakov. Tournament q uasirandomness from local counting. Combinatorica, 41(2):175–208, 2021
work page 2021
- [3]
-
[4]
T. F. N. Chan, A. Grzesik, D. Kr´ al’, and J. A. Noel. Cycles of lengt h three and four in tournaments. J. Combin. Theory Ser. A , 175:105276, 23, 2020
work page 2020
-
[5]
T. F. N. Chan, D. Kr´ al’, J. A. Noel, Y. Pehova, M. Sharifzadeh, and J. Volec. Character- ization of quasirandom permutations by a pattern sum. Random Structures Algorithms, 57(4):920–939, 2020
work page 2020
-
[6]
F. Chung. From quasirandom graphs to graph limits and graphlets . Adv. in Appl. Math., 56:135–174, 2014
work page 2014
-
[7]
F. R. K. Chung and R. L. Graham. Quasi-random hypergraphs. Random Structures Algorithms, 1(1):105–124, 1990
work page 1990
-
[8]
F. R. K. Chung and R. L. Graham. Quasi-random set systems. J. Amer. Math. Soc. , 4(1):151–196, 1991
work page 1991
Show all 48 references
-
[9]
F. R. K. Chung and R. L. Graham. Quasi-random tournaments. J. Graph Theory , 15(2):173–198, 1991
1991
-
[10]
F. R. K. Chung, R. L. Graham, and R. M. Wilson. Quasi-random gr aphs. Combina- torica, 9(4):345–362, 1989
1989
-
[11]
Conlon, J
D. Conlon, J. Fox, and B. Sudakov. An approximate version of S idorenko’s conjecture. Geom. Funct. Anal. , 20(6):1354–1366, 2010
2010
-
[12]
Conlon, J
D. Conlon, J. Fox, and B. Sudakov. Hereditary quasirandomne ss without regularity. Math. Proc. Cambridge Philos. Soc. , 164(3):385–399, 2018
2018
-
[13]
Conlon, H
D. Conlon, H. H` an, Y. Person, and M. Schacht. Weak quasi-ra ndomness for uniform hypergraphs. Random Structures Algorithms , 40(1):1–38, 2012
2012
-
[14]
J. N. Cooper. Quasirandom permutations. J. Combin. Theory Ser. A , 106(1):123–143, 2004
2004
-
[15]
J. W. Cooper, D. Kr´ al’, A. Lamaison, and S. Mohr. Quasirandom Latin squares. Ran- dom Structures Algorithms , 61(2):298–308, 2022. 29
2022
-
[16]
Coregliano, R F
L N. Coregliano, R F. Parente, and C M. Sato. On the maximum den sity of fixed strongly connected subtournaments. Electron. J. Combin. , 26(1):Paper No. 1.44, 48, 2019
2019
-
[17]
L. N. Coregliano and A. A. Razborov. On the density of transitiv e tournaments. J. Graph Theory, 85(1):12–21, 2017
2017
-
[18]
L. N. Coregliano and A. A. Razborov. Natural quasirandomnes s properties. Random Structures Algorithms, 63(3):624–688, 2023
2023
-
[19]
Crudele, P
G. Crudele, P. Dukes, and J. A. Noel. Six permutation patterns force quasirandomness. E-print arXiv:2303.04776v3. To appear in Discrete Anal., 2023
2023 arXiv
-
[20]
Dellamonica, Jr
D. Dellamonica, Jr. and V. R¨ odl. Hereditary quasirandom prope rties of hypergraphs. Combinatorica, 31(2):165–182, 2011
2011
-
[21]
W. T. Gowers. Quasirandomness, counting and regularity for 3 -uniform hypergraphs. Combin. Probab. Comput. , 15(1-2):143–184, 2006
2006
-
[22]
W. T. Gowers. Quasirandom groups. Combin. Probab. Comput. , 17(3):363–387, 2008
2008
-
[23]
S. Griffiths. Quasi-random oriented graphs. J. Graph Theory , 74(2):198–209, 2013
2013
-
[24]
Grzesik, D
A. Grzesik, D. Il’koviˇ c, B. Kielak, and D. Kr´ al’. Quasirandom-f orcing orientations of cycles. SIAM J. Discrete Math. , 37(4):2689–2716, 2023
2023
-
[25]
Grzesik, D
A. Grzesik, D. Kr´ al’, L. M. Lov´ asz, and J. Volec. Cycles of a given length in tournaments. J. Combin. Theory Ser. B , 158:117–145, 2023
2023
-
[26]
Grzesik, D
A. Grzesik, D. Kr´ al’, and O. Pikhurko. Forcing generalised quas irandom graphs effi- ciently. Combin. Probab. Comput. , 33(1):16–31, 2024
2024
-
[27]
Hancock, A
R. Hancock, A. Kabela, D. Kr´ al’, T. Martins, R. Parente, F. Sk erman, and J. Volec. No additional tournaments are quasirandom-forcing. European J. Combin. , 108:Paper No. 103632, 10, 2023
2023
-
[28]
Kalyanasundaram and A
S. Kalyanasundaram and A. Shapira. A note on even cycles and q uasirandom tourna- ments. J. Graph Theory , 73(3):260–266, 2013
2013
-
[29]
M. G. Kendall and B. Babington Smith. On the method of paired co mparisons. Biometrika, 31:324–345, 1940
1940
-
[30]
Kohayakawa, V
Y. Kohayakawa, V. R¨ odl, and J. Skokan. Hypergraphs, quas i-randomness, and condi- tions for regularity. J. Combin. Theory Ser. A , 97(2):307–352, 2002
2002
-
[31]
Kr´ al’, J.-B
D. Kr´ al’, J.-B. Lee, and J. A. Noel. Forcing quasirandomness with 4-point permutations. E-print arXiv:2407.06869v1, 2024. 30
2024 arXiv
-
[32]
Kr´ al’ and O
D. Kr´ al’ and O. Pikhurko. Quasirandom permutations are char acterized by 4-point densities. Geom. Funct. Anal. , 23(2):570–579, 2013
2013
-
[33]
Kureˇ cka
M. Kureˇ cka. Lower bound on the size of a quasirandom forcing set of permutations. Combin. Probab. Comput. , 31(2):304–319, 2022
2022
-
[34]
Linial and A
N. Linial and A. Morgenstern. On the number of 4-cycles in a tou rnament. J. Graph Theory, 83(3):266–276, 2016
2016
-
[35]
Lov´ asz
L. Lov´ asz. Combinatorial problems and exercises . North-Holland Publishing Co., Amsterdam-New York, 1979
1979
-
[36]
Lov´ asz and V
L. Lov´ asz and V. T. S´ os. Generalized quasirandom graphs. J. Combin. Theory Ser. B , 98(1):146–163, 2008
2008
-
[37]
Lov´ asz and B
L. Lov´ asz and B. Szegedy. Limits of dense graph sequences. J. Combin. Theory Ser. B , 96(6):933–957, 2006
2006
-
[38]
American Mathematical Society, Providence, RI, 2012
L´ aszl´ o Lov´ asz.Large networks and graph limits , volume 60 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 2012
2012
-
[39]
Ma and T
J. Ma and T. Tang. Minimizing cycles in tournaments and normalized q-norms. Comb. Theory, 2(3):Paper No. 6, 19, 2022
2022
-
[40]
Moss and J
E. Moss and J. A. Noel. Off-diagonal Ramsey multiplicity. E-print a rXiv:2306.17388v1, 2023
2023 arXiv
-
[41]
A. A. Razborov. Flag algebras. J. Symbolic Logic , 72(4):1239–1282, 2007
2007
-
[42]
V. R¨ odl. On universality of graphs with uniformly distributed edg es. Discrete Math. , 59(1-2):125–134, 1986
1986
-
[43]
Sah and M
A. Sah and M. Sawhney. The intransitive dice kernel: 1x≥y−1x≤y 4 − 3(x−y)(1+xy) 8 . E-print arXiv:2302.11293v1, 2023
2023 arXiv
-
[44]
Skokan and L
J. Skokan and L. Thoma. Bipartite subgraphs and quasi-rando mness. Graphs Combin., 20(2):255–262, 2004
2004
-
[45]
Thomason
A. Thomason. Pseudorandom graphs. In Random graphs ’85 (Pozna´ n, 1985), volume 144 of North-Holland Math. Stud. , pages 307–331. North-Holland, Amsterdam, 1987
1985
-
[46]
Thomason
A. Thomason. Random graphs, strongly regular graphs and ps eudorandom graphs. In Surveys in combinatorics 1987 (New Cross, 1987) , volume 123 of London Math. Soc. Lecture Note Ser. , pages 173–195. Cambridge Univ. Press, Cambridge, 1987
1987
-
[47]
Th¨ ornblad
E. Th¨ ornblad. Decomposition of tournament limits. European J. Combin. , 67:96–125, 2018
2018
-
[48]
Zhao and Y
Y. Zhao and Y. Zhou. Impartial digraphs. Combinatorica, 40(6):875–896, 2020. 31 A Flag Algebra Coefficients The purpose of this appendix is to list all of the coefficients b2(F 1 i , F 1 j ; J) for 1 ≤ i, j ≤ 4 and b3(F q i , F q j ; J) for 1 ≤ i, j ≤ 8 and q ∈ {2, 3}, where J is ...
2020
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.