REVIEW 2 major objections 5 minor 30 references
Counting in Vieta graphs over $\mathbb{F}_p$
T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Quadratic character sums give exact degree counts for Vieta graphs over finite fields.
desk verdict A broad, mostly careful framework for counting degrees in Vieta graphs over F_p, with solid dimension-3 results and dimension-4 tables that rest on a few unproved counts. 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 is the family of counts recording vertices fixed by at least k of the n Vieta flips, together with an inclusion-exclusion lemma that converts the sequence of these counts into the full degree distribution. The Discriminant Lemma is the workhorse: it expresses the two lowest counts and an associated character sum as lower-dimensional counts involving the discriminant of the defining polynomial viewed as a quadratic in one variable, dropping the dimension by one. Evaluation of the resulting sums uses standard quadratic character sums, a quartic-to-cubic reduction lemma, and Jacobsthal sums, whose values are known through representations of p as sums of two or three squares. In dimension 3, the key algebraic object is a 'main cubic' whose quadratic character sum is the only non-elementary ingredient in the count of degree-deficient vertices; the families are chosen so that this cubic is non-separable, or is a shift of a monomial cubic, or so that the relevant Jacobsthal sum falls in a small explicitly computable list.
What would settle it
Directly enumerate all solutions over a small prime field, say p = 7, for one of the quartics (x+y+z+t+1)^2 = c x y z t with c = 8, -16, or 32, and compare the numbers of vertices of degree 0, 1, 2, 3 with the paper's tables; a mismatch would show the unproved counts in Lemma 15.1 to be wrong, and the degree tables with them.
Extended reading notes
Core claim
The paper's central claim is that for a symmetric polynomial of degree 2 in each variable, the degree distribution of the Vieta graph over the field with p elements is determined by the counts of vertices fixed by at least k Vieta flips, and that these counts can be computed explicitly via quadratic character sums for several natural families. In dimension 3, the generalized Markoff cubic admits closed-form counts in the Cayley family, the K-family, the Fricke family at four distinguished level parameters, and the J-family in cases where the relevant Jacobsthal sum is known. In dimension 4, explicit degree distributions are given for Cayley-type quartics at specific parameter values and for Markoff-Hurwitz quartics. Along the way the paper proves that among all generalized Markoff cubics the Vieta graph is regular only for two small exceptional instances, and that nodes of the underlying cubic surface occur only in the Cayley and K families.
Load-bearing premise
For the four-variable Cayley-type quartics, the degree-distribution theorems rest on three counts that the paper states without proof; if any of those counts is wrong, the corresponding degree tables fail.
Editorial extensions
If this is right
- For the generalized Markoff cubic, the Vieta graph is regular only for one cubic over the field of 5 elements and one over the field of 7 elements; for every other parameter pair and every prime p the graph has deficient vertices.
- The Cayley family is exceptional in the census: its graphs have about twice as many deficient vertices as the generic family, and the Cayley cubic is the only generalized Markoff cubic whose Vieta graph has no degree-2 vertices for any p.
- Nodal cubics occur only in the Cayley family (generally three nodes) and the K-family (always one node), with the Cayley cubic the unique case with four nodes; a particular intersection cubic has a single node.
- In dimension 4, the Markoff-Hurwitz quartic has essentially two Vieta graphs depending only on the quadratic signature of its parameter, and when p is congruent to 3 modulo 4 it has no vertices of degree 1 or 2.
Reading between the lines
- Because the edge count depends only on the first two counts, every explicit formula for those counts in the paper immediately yields the total number of edges in the corresponding Vieta graph, a quantity the paper does not tabulate.
- The character-sum method suggests a recipe for finding further countable families: impose an algebraic condition on the main cubic, such as being, up to a shift, of the form x^3 + b x. The author notes this condition is more complicated and lacks a complete classification; finding one would add new explicit families.
- The unproved higher counts for the Cayley-type quartics could be checked independently by brute force for small primes; this would form a cheap test of the four-variable degree tables.
- The observed coincidence that a distinguished set of real parameters lies in the Cayley family, with the same quadratic signature appearing in the vertex count, points to a possible arithmetic echo of real-dynamics phenomena, but the paper offers no explanation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Vieta graphs over F_p associated to symmetric polynomials f that are quadratic in each variable, with vertices the solutions and edges given by Vieta flips. The main methodological contribution is a reduction of the degree distribution to counts N_k(f) of vertices fixed by at least k flips, together with a 'Discriminant Lemma' that lowers the dimension of the relevant character-sum computations. In dimension 3, the paper studies the generalized Markoff cubic M(C,D): x^2+y^2+z^2=xyz-C(x+y+z)+D, computes N_0 through N_3, and gives explicit degree tables for the Cayley family D=4-2C-C^2/4, the K family C=K^2+2K, D=-(2K^3+3K^2), and selected Fricke and J family members, using Jacobsthal sums. In dimension 4, it treats Cayley-type quartics (x+y+z+t+F)^2=E xyzt and Markoff-Hurwitz quartics x^2+y^2+z^2+t^2=2Exyzt, producing degree distribution tables in Theorems 15.2, 15.3 and 16.2. The paper is written as a systematic framework with many explicit finite-field formulas; the dimension-3 part is largely self-contained, while the dimension-4 part relies on counts that are stated without full proof.
Significance. Conditional on the completeness of the proofs, the paper delivers a substantial toolbox for a natural class of finite graphs of algebraic origin. The three-variable analysis is detailed and appears correct: the character-sum evaluations for the Cayley and K families are fully derived, the Fricke and J families are handled through explicit Jacobsthal-sum identities, and the tables are internally consistent. The paper also does a service by connecting Carlitz's classical point counts to Vieta-flip degree distributions. I verified algebraically that the N_k values stated in Lemma 15.1 reproduce Theorem 15.2 when substituted into Table 9, so the announced tables are consistent with the asserted counts. The main value of the paper, if the missing computations are supplied or verified, would be as a reference framework and a set of explicit formulas for further work on Markoff-type graphs in higher dimensions.
major comments (2)
- [§15, Lemma 15.1 and Theorems 15.2–15.3] The proof of Lemma 15.1 explicitly states that the counts for N2(f), N3(f), and N4(f) are 'elementary, and somewhat tedious' and are 'all omitted and left to the reader.' These counts are load-bearing: Theorems 15.2 and 15.3 and Table 10 are obtained from them by the linear combinations of Lemma 3.1, and the degree-0 column is exactly N4(f). An error in any one of these unproved counts would change the announced degree distributions for the Cayley-type quartics. I checked that substituting the stated N_k values into Table 9 reproduces Theorem 15.2, but this only verifies the algebra, not the counts themselves. Please either provide complete derivations for N2, N3, and N4, or add an independent small-prime verification (e.g., direct enumeration of the Vieta graph for p=5,7,11) in a table or appendix.
- [§16, Counting Lemma 16.1] The N1 computation for the Markoff-Hurwitz quartics is the most delicate step in Part 4 and is not fully carried out. It depends on the evaluation S2 = σ(2)(4A2(p)^2 - 2p) in (16.14), obtained by a chain of nontrivial manipulations including a double-sign change and a change of variables, and on 'simple manipulations, left to the reader' in the N0 part. A sign error in (16.14) or in the reductions (16.11)–(16.15) would propagate directly into the degree-3 column of Theorem 16.2. Please expand these computations, or at minimum provide a verification by direct enumeration for small primes in both congruence classes p≡1 mod 4 and p≡3 mod 4.
minor comments (5)
- [§14, after equation (14.2)] The sentence 'The J family meets the K family when J=±2 (correspondingly, K=−1) or J=−1 (correspondingly, K=2)' has the K-values interchanged: J=±2 gives C=8, D=−28, which is the K=2 cubic M(8,−28), while J=−1 gives C=D=−1, which is the K=−1 cubic M(−1,−1).
- [§9, final paragraph] The assertion that κ and λ are non-separable if and only if C and D are parameterized as in (9.1) is stated without proof; since it is not needed for the counting lemmas, it should either be proved in a short appendix or be explicitly labeled as an observation.
- [§16, end of the N1 proof] The sentence 'This completes the proof of Theorem 16.1' should refer to Lemma 16.1, since that is the statement being proved.
- [§12 and §14, use of A3(p)] In Table 7 and Theorem 14.3, the integer A3(p) is used without restating its normalization A≡−1 mod 3 from Lemma 12.2; a parenthetical reminder would avoid ambiguity.
- [§15, Table 10] The Iverson bracket 'JF 2E= 16K' is typographically ambiguous; it should be written as JF^2E=16K to avoid reading the exponent as 2E.
Circularity Check
No significant circularity: the N_k counts are computed independently, and the degree tables follow by inclusion–exclusion rather than by definition.
full rationale
The paper's central derivation is self-contained in the relevant sense. The degree distributions are obtained from the N_k counts via Lemma 3.1, a straightforward inclusion–exclusion identity for graphs generated by involutions; the N_k counts themselves are defined as fixed-point counts of Vieta flips, not as degree-distribution quantities, so the relation is a genuine mathematical derivation rather than a tautology. The N_0, N_1, N_2, N_3, and N_4 counts in dimensions 3 and 4 are computed through the Discriminant Lemma, direct elimination, and quadratic character sums; where the paper relies on external results, those results are independent benchmarks: Carlitz's point counts are classical and cited as such, and the Jacobsthal sum evaluations used for the Fricke and J families are standard facts that the paper records from the author's monograph [26] but does not derive from the conclusions being asserted. The unproved N_2–N_4 counts in Lemma 15.1 are a genuine proof gap, but they are asserted inputs, not quantities fitted from or defined by the degree tables, so they constitute a completeness/correctness risk rather than circularity. Similarly, the restriction to the Cayley, K, Fricke, and J families is an explicit design choice that makes the auxiliary cubics split or reduces the character sums to known Jacobsthal sums; this is not a case of smuggling the answer into the ansatz. No fitted parameter is relabeled as a prediction, no load-bearing uniqueness theorem is imported from the author's own work, and no known result is merely renamed. Accordingly, the paper's explicit counting results do not reduce by construction to their inputs.
Assumptions & free parameters
assumptions (5)
- standard math Standard complete character sum evaluations: (4.3), (4.5), Lemma 4.1.
- standard math Hasse-Weil bound for cubic character sums: |Σ σ(λ(x))| ≤ 2√p.
- domain assumption Equations are symmetric, degree 2 in each variable, and regular: ∂_i^2 f never vanishes on V(f).
- standard math Carlitz's counting results [8, 9, 10] are correct.
- ad hoc to paper The parameter families (Cayley, K, Fricke, J) are chosen so that the relevant character sums reduce to known Jacobsthal sums.
Cite this review
Pith. "Pith review of Counting in Vieta graphs over $\mathbb{F}_p$." pith.science (2026). https://pith.science/paper/RMLUVL63
@misc{pith2026260803097,
author = {Pith},
title = {Pith review of: Counting in Vieta graphs over $\mathbbF_p$},
year = {2026},
howpublished = {\url{https://pith.science/paper/RMLUVL63}},
note = {Machine review of arXiv:2608.03097}
}
abstract
We introduce and study a finite simple graph of algebraic origin: the Vieta graph on the solution set over $\mathbb{F}_p$ to a symmetric, multivariate equation which is quadratic in each variable. This construction is a broad generalization of the Markoff graph over $\mathbb{F}_p$, extensively studied in the recent literature. We give a systematic approach, partly based on quadratic character sums, to the following basic counting questions: how many vertices does a Vieta graph have, and what is the degree distribution? We focus on explicit counts, addressing the low-dimensional cases in three and four variables.
Figures
Figures from the paper (6 more)
Reference graph
Works this paper leans on
-
[1]
Banaian:Orderings ofk-Markov Numbers, preprint (2025),arXiv:2512.04026
E. Banaian:Orderings ofk-Markov Numbers, preprint (2025),arXiv:2512.04026
arXiv 2025
-
[2]
Baragar:The Markoff equation and equations of Hurwitz, Ph.D
A. Baragar:The Markoff equation and equations of Hurwitz, Ph.D. Thesis, Brown University, 1991
work page 1991
-
[3]
Baragar:Integral solutions of Markoff–Hurwitz equations, J
A. Baragar:Integral solutions of Markoff–Hurwitz equations, J. Number Theory 49 (1994), no. 1, 27–44
work page 1994
-
[4]
J. Bourgain, A. Gamburd, P. Sarnak:Markoff triples and strong approximation, C. R. Math. Acad. Sci. Paris 354 (2016), no. 2, 131–135
work page 2016
-
[5]
J. Bourgain, A. Gamburd, P. Sarnak:Strong approximation and Diophantine properties of Markoff triples, J. Amer. Math. Soc. 39 (2026), no. 1, 177–204
work page 2026
-
[6]
Cantat:Bers and H´ enon, Painlev´ e and Schr¨ odinger, Duke Math
S. Cantat:Bers and H´ enon, Painlev´ e and Schr¨ odinger, Duke Math. J. 149 (2009), no. 3, 411–460
work page 2009
- [7]
-
[8]
Carlitz:Certain special equations in a finite field, Monatsh
L. Carlitz:Certain special equations in a finite field, Monatsh. Math. 58 (1954), 5–12
work page 1954
Show all 30 references
-
[9]
Carlitz:The number of solutions of some equations in a finite field, Portugal
L. Carlitz:The number of solutions of some equations in a finite field, Portugal. Math. 13 (1954), 25–31
1954
-
[10]
Carlitz:The number of points on certain cubic surfaces over a finite field, Boll
L. Carlitz:The number of points on certain cubic surfaces over a finite field, Boll. Un. Mat. Ital. (3) 12 (1957), 19–21
1957
-
[11]
W. Y. Chen:Nonabelian level structures, Nielsen equivalence, and Markoff triples, Ann. of Math. (2) 199 (2024), no. 1, 301–443 COUNTING IN VIETA GRAPHS OVERF p 47
2024
-
[12]
de Courcy-Ireland:Non-planarity of Markoff graphs modp, Comment
M. de Courcy-Ireland:Non-planarity of Markoff graphs modp, Comment. Math. Helv. 99 (2024), no. 1, 111–148
2024
-
[13]
de Courcy-Ireland, S
M. de Courcy-Ireland, S. Lee:Experiments with the Markoff surface, Exp. Math. 31 (2022), no. 3, 814–829
2022
-
[14]
de Courcy-Ireland, M
M. de Courcy-Ireland, M. Litman, Y. Mizuno:Divisibility bypfor Markoff-like surfaces, preprint (2025),arXiv:2509.02187
2025 arXiv
-
[15]
J. Eddy, E. Fuchs, M. Litman, D. E. Martin, N. Tripeny:Connectivity of Markoff mod-p graphs and maximal divisors, Proc. Lond. Math. Soc. (3) 130 (2025), no. 2, Paper No. e70027, 37 pp
2025
-
[16]
Fuchs, M
E. Fuchs, M. Litman, J. Silverman, A. Tran:Orbits on K3 surfaces of Markoff type, Exp. Math. 33 (2024), no. 4, 663–700
2024
-
[17]
Gamburd:Arithmetic and dynamics on varieties of Markoff type, ICM—International Congress of Mathematicians 2022, Vol
A. Gamburd:Arithmetic and dynamics on varieties of Markoff type, ICM—International Congress of Mathematicians 2022, Vol. 3. Sections 1–4, 1800–1836, EMS Press 2023
2022
-
[18]
Ghosh, P
A. Ghosh, P. Sarnak:Integral points on Markoff type cubic surfaces, Invent. Math. 229 (2022), no. 2, 689–749
2022
-
[19]
W. M. Goldman:Trace coordinates on Fricke spaces of some simple hyperbolic surfaces, IRMA Lect. Math. Theor. Phys. no. 13, European Mathematical Society 2009, 611–684
2009
-
[20]
Gyoda, S
Y. Gyoda, S. Maruyama:Uniqueness theorem of generalized Markov numbers that are prime powers, preprint (2023),arXiv:2312.07329
2023 arXiv
-
[21]
Gyoda, S
Y. Gyoda, S. Maruyama, Y. Sato:SL(2,Z)-matrixizations of generalized Markov numbers, preprint (2024),arXiv:2407.08203
2024 arXiv
-
[22]
Gyoda, K
Y. Gyoda, K. Matsushita:Generalization of Markov Diophantine equation via generalized cluster algebra, Electron. J. Combin. 30 (2023), no. 4, Paper No. 4.10, 20 pp
2023
-
[23]
Kiritchenko, M
V. Kiritchenko, M. Tsfasman, S. Vl˘ adut ¸, I. Zakharevich:Quadratic residue patterns, alge- braic curves and a K3 surface, Finite Fields Appl. 101 (2025), Paper no. 102517
2025
-
[24]
D. E. Martin:A new proof of Chen’s theorem for Markoff graphs, Invent. Math. 241 (2025), no. 2, 623–626
2025
-
[25]
L. J. Mordell:On the integer solutions of the equationx 2 +y 2 +z 2 + 2xyz=n, J. London Math. Soc. 28 (1953), 500–510
1953
-
[26]
Nica:Jacobsthal Sums, Monogr
B. Nica:Jacobsthal Sums, Monogr. Number Theory no.14, World Scientific 2025
2025
-
[27]
Rebelo, R
J. Rebelo, R. Roeder:Dynamics of groups of automorphisms of character varieties and Fatou/Julia decomposition for Painlev´ e 6, Indiana Univ. Math. J. 73 (2024), no. 6, 1967– 2038
2024
-
[28]
Silverman:The Markoff equation: past, present, future, Notices Amer
J. Silverman:The Markoff equation: past, present, future, Notices Amer. Math. Soc. 73 (2026), no. 5, 367–375
2026
-
[29]
Satake, Y
S. Satake, Y. Yamasaki:Topological properties of generalized Markoff modpgraphs, preprint (2025),arXiv:2512.21963
2025
-
[30]
A. V. Ustinov:On the last entry in Gauss’ mathematical diary, Mat. Zametki 117 (2025), no. 5, 799–803 Department of Mathematical Sciences Indiana University Indianapolis Email address:bnica@iu.edu
2025
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.