REVIEW 4 minor 12 references
On quadratic character sums over quartics
T0 review · 0 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Every square-free quartic quadratic character sum equals -1 plus a cubic character sum with coefficients read off directly from the quartic.
desk verdict A genuinely useful, well-checked paper: new master formula for quartic quadratic character sums, with correct descent formulas and clean examples; deserves refereeing. 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 load-bearing object is the master formula (Theorem 3.2), built from a $3\times 3$ coefficient matrix that defines a biquadratic form $F(u,x)$. Expanding $F$ as a quadratic in $u$ gives row polynomials $\alpha,\beta,\gamma$; expanding as a quadratic in $x$ gives down polynomials $\delta_1,\delta_2,\delta_3$. Lemma 3.1 counts solutions to $f(x)y^2+g(x)y+h(x)=0$, and applying it to both expansions of $F(u,x)=0$ yields the identity $q\,n_{\alpha,\beta,\gamma}-n_\alpha+\sum_x\sigma(\beta(x)^2-4\alpha(x)\gamma(x))=q\,n_{\delta_1,\delta_2,\delta_3}-n_{\delta_1}+\sum_x\sigma(\delta_2(x)^2-4\delta_1(x)\delta_3(x))$. Choosing the right coefficient matrix makes the double-counted polynomial $F(u,x)$ produce $f(x)$ from one expansion and $g(x)$ from the other; Lemma 3.3 guarantees the auxiliary counts vanish when $f$ is square-free.
What would settle it
For a square-free quartic over $\mathbb{F}_7$ such as $x^4+2x+1$, direct enumeration of both sides of (6) must agree; a mismatch for any square-free quartic would refute Theorem 2.2.
Extended reading notes
Core claim
The central discovery is Theorem 2.2: the quadratic character sum of any square-free quartic is determined by an explicitly computed cubic companion. Concretely, $\sum_x\sigma(x^4+a_3x^3+a_2x^2+a_1x+a_0) = -1 + \sum_x\sigma(x^3+a_2x^2+(a_1a_3-4a_0)x+a_0(a_3^2-4a_2)+a_1^2)$. The $-1$ is not an error term; it records the single exceptional point where the rational change of variables between the quartic curve $y^2=f(x)$ and the cubic curve $y^2=g(x)$ is not defined. The same master formula, applied to other coefficient matrices, gives a quartic-to-quartic symmetry (Theorem 2.3) and recovers the descent formula for products of quadratics (Theorem 2.1), showing that the three transformation formulas are facets of one double-counting identity.
Load-bearing premise
The identity (6) is proved for square-free quartics; if the quartic has repeated roots, the auxiliary counts $n_{\alpha,\beta,\gamma}$ and $n_{\delta_1,\delta_2,\delta_3}$ in the master formula need not vanish, and the formula can fail.
Editorial extensions
If this is right
- Any existing evaluation of a cubic quadratic character sum immediately gives an evaluation of a quartic character sum through the descent formula (6).
- The known descent formulas for biquadratics and for products of quadratics, previously obtained by different arguments, are now derived from one master formula.
- The symmetric quartic-to-quartic formula (Theorem 2.3) yields new identities, including a cubic-to-cubic identity when the constant term vanishes.
- Over prime fields, the descent formula turns the quartic arguments of Examples 5.1–5.3 into known cubic Jacobsthal-type sums, producing closed evaluations and a direct proof of a requested identity.
- The method is not limited to quartic-to-cubic descent: different coefficient matrices give quartic-to-quartic transformations, indicating a family of further formulas.
Reading between the lines
- The square-free hypothesis appears to be the true boundary of (6): for repeated-root quartics the auxiliary counts in the master formula do not vanish, and deriving the correct correction terms would extend the formula to all quartics.
- Because the master formula is purely a double-counting argument, the same coefficient-matrix construction could in principle be adapted to other multiplicative characters or to weighted sums, yielding analogous descent identities.
- The paper's correction to a published Jacobsthal-sum example suggests that the master formula can serve as an automated consistency check for other known tables of character-sum evaluations.
- For algorithmic number theory, the descent formula provides a practical reduction: computing a quartic character sum can be delegated to a cubic computation, which is cheaper for large fields.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves transformation formulas for quadratic character sums over finite fields of characteristic not 2 or 3. The central result (Theorem 2.2) states that for any square-free monic quartic f(x)=x^4+a3x^3+a2x^2+a1x+a0 over F_q, the sum ∑_x σ(f(x)) equals −1+∑_x σ(g(x)), where g(x)=x^3+a2x^2+(a1a3−4a0)x+a0(a3^2−4a2)+a1^2. The proof is based on a 'master formula' (Theorem 3.2) obtained by double-counting solutions to a quartic form F(u,x)=0, combined with a lemma (Lemma 3.3) that forces certain common-zero counts to vanish under a square-free hypothesis. The paper also derives a descent formula for products of quadratics (Theorem 2.1), a symmetric quartic-to-quartic transformation (Theorem 2.3), and gives three worked examples over prime fields, including an evaluation of a palindromic quartic sum and a direct proof of an identity recently posed by Zhang.
Significance. The paper is a clean and self-contained contribution to the calculus of quadratic character sums. The master formula is a flexible double-counting device that yields several explicit transformation identities, and the algebraic expansions in Sections 4.1–4.3 are fully written out and can be verified symbolically. The main result, Theorem 2.2, is a genuinely general quartic-to-cubic descent: it reduces an arbitrary square-free quartic character sum to a cubic one, with the cubic obtained directly from the coefficients of f. The square-free hypothesis is stated explicitly and is known to be necessary (e.g., f=x^4 gives a counterexample to (6)). The paper's examples are instructive and correctly connect to known cubic Jacobsthal sums. I found no circularity: the central theorems are proved from the master formula, and the author's earlier results are used only as external tools or for examples. The correction of [7, Ex.5.18] is a useful service.
minor comments (4)
- [§4.3] In §4.3, the first displayed equation after the coefficient matrix reads β(x)^2 − 4α(x)β(x), but the correct expression is β(x)^2 − 4α(x)γ(x); this is a typographical error in a non-load-bearing display, but it should be fixed.
- [§4.1] In §4.1, the derivation of (16) by applying (4) to the two biquadratic arguments requires the conditions (2a−4b)^2 ≠ 4a^2 and (2b−4a)^2 ≠ 4b^2, which reduce to a≠b; the case a=b is trivial, but the text should state this condition to keep the derivation rigorous.
- [§3] In §3, Lemma 3.3's second implication uses the fact that β(x)^2 − 4α(x)γ(x) = (β(x)+2u0α(x))^2 contradicts the square-free hypothesis; this is valid when the discriminant is a nonconstant polynomial, which is the case in every application in the paper, but adding 'nonconstant' to the hypothesis would make the lemma formally precise.
- [§5.1] In Example 5.1, the notation '(x+8)^3 − 63' should be read as (x+8)^3 − 6^3; as typeset, the superscript 3 after 6 may be lost, and the sentence should clarify this to avoid confusion.
Circularity Check
No significant circularity: the main quartic-to-cubic descent formula is derived from a self-contained double-counting master formula, not from fitted inputs or author-specific prior results.
full rationale
Theorem 2.2 is proved by applying the Master Formula (Theorem 3.2) to the coefficient matrix in Section 4.2. The matrix is chosen so that beta(x)^2 - 4 alpha(x) gamma(x) equals the given quartic f(x) and delta_2(x)^2 - 4 delta_1(x) delta_3(x) equals the displayed cubic g(x). Theorem 3.2 is itself proved from Lemma 3.1, a direct counting argument for f(x)y^2+g(x)y+h(x)=0, and the application depends only on the explicit square-free hypothesis through Lemma 3.3. No parameter is fitted to data, and no 'prediction' is being read back from its own fit. The known formulas of Jacobsthal and Williams and the elliptic-curve change of variables of Mordell/Nagao are cited as context or as tools in examples and Remark 4.2; they are not used as the proof of (6). The self-citations [7] and [8] are used for further examples, generalizations, and a genuine correction to [7, Ex.5.18/Thm.5.16], none of which supports the central descent identity. The square-free condition is an explicit hypothesis and the proof of Lemma 3.3 shows why it is needed; treating it as an assumption is not circular. Overall the derivation chain is self-contained.
Assumptions & free parameters
assumptions (5)
- domain assumption The field Fq has characteristic different from 2 and 3.
- domain assumption The quartic polynomials considered are square-free.
- standard math Jacobsthal's cubic-to-cubic formula (equation (2)) is valid for all b, c in Fq.
- standard math The evaluation of the cubic Jacobsthal sum Σ σ(x^3+1) as in [7, Chap.3].
- standard math The Rishi, Parnami, and Rajwade evaluation of the cubic character sum related to Y^2 = X^3 - 23*19*X + 2*19^2, as in [10].
Cite this review
Pith. "Pith review of On quadratic character sums over quartics." pith.science (2026). https://pith.science/paper/7ZMWMHUE
@misc{pith2026250709991,
author = {Pith},
title = {Pith review of: On quadratic character sums over quartics},
year = {2026},
howpublished = {\url{https://pith.science/paper/7ZMWMHUE}},
note = {Machine review of arXiv:2507.09991}
}
read the original abstract
We obtain transformation formulas for quadratic character sums with quartic and cubic polynomial arguments.
Reference graph
Works this paper leans on
-
[1]
Birch: How the number of points of an elliptic curve over a fixed prime field varies, J
B.J. Birch: How the number of points of an elliptic curve over a fixed prime field varies, J. London Math. Soc. 43 (1968), 57–60
work page 1968
-
[2]
E. Jacobsthal: Anwendungen einer Formel aus der Theorie der quadratischen Reste , Dissertation, Berlin, 1906
work page 1906
-
[3]
D. Krachun, F. Petrov, Z.-W. Sun, M. Vsemirnov: On some determinants involving Jacobi symbols, Finite Fields Appl. 64 (2020), Paper no. 101672
work page 2020
-
[4]
F. Lepr´ evost, F. Morain:Revˆ etements de courbes elliptiques ` a multiplication complexe par des courbes hyperelliptiques et sommes de caract` eres, J. Number Theory 64 (1997), no. 2, 165–182
work page 1997
-
[5]
Mordell: Diophantine Equations , Academic Press 1969
L.J. Mordell: Diophantine Equations , Academic Press 1969
work page 1969
-
[6]
Nagao: An example of elliptic curve over Q(T ) with rank ≥ 13, Proc
K. Nagao: An example of elliptic curve over Q(T ) with rank ≥ 13, Proc. Japan Acad. Ser. A Math. Sci. 70 (1994), no. 5, 152–153
work page 1994
-
[7]
Nica: Jacobsthal Sums, Monographs in Number Theory, World Scientific 2025
B. Nica: Jacobsthal Sums, Monographs in Number Theory, World Scientific 2025
work page 2025
-
[8]
Variance of point-counts for families of cubic curves over $\mathbb{F}_p$ and Jacobsthal sums
B. Nica: Variance of point-counts for families of cubic curves over Fp and Jacobsthal sums, preprint (2025), available at https://arxiv.org/abs/2504.15505
work page Pith review arXiv 2025
Show all 12 references
-
[9]
Parnami, M.K
J.C. Parnami, M.K. Agrawal, A.R. Rajwade: Some identities involving character sums and their applications , J. Indian Math. Soc. (N.S.) 54 (1989), no. 1-4, 125–132
1989
-
[10]
Rishi, J.C
D.B. Rishi, J.C. Parnami, A.R. Rajwade: Evaluation of a cubic character sum using the √−19 division points of the curve Y 2 = X 3 − 23 · 19X + 2· 192, J. Number Theory 19 (1984), no. 2, 184–194
1984
-
[11]
Williams: Evaluation of character sums connected with elliptic curves , Proc
K.S. Williams: Evaluation of character sums connected with elliptic curves , Proc. Amer. Math. Soc. 73 (1979), no. 3, 291–299
1979
-
[12]
W. Zhang: Some interesting number theory problems , preprint (2025), available at https://arxiv.org/abs/2506.17235 Department of Mathematical Sciences Indiana University Indianapolis Email address : bnica@iu.edu
2025 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.