REVIEW 2 major objections 2 minor 1 cited by
Non-orthogonality of the cubic and quartic large sieves via Rankin-Selberg
T0 review · 2 major / 2 minor · reviewed 2026-07-15 · grok-4.5
Pith's one-line read Cubic and quartic large sieves are not perfectly orthogonal; the obstruction is a bias in Gauss sums.
desk verdict Unconditional non-orthogonality of cubic/quartic large sieves from Gauss-sum bias, via Zagier-adapted Rankin–Selberg inputs, plus a clean conjecture for all n≥3; proofs uncheckable from abstract alone. 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
An adaptation of Zagier’s 1981 Rankin–Selberg regularization that simultaneously produces a Lindelöf-on-average upper bound for the second moment of Kubota’s Dirichlet series and a tight average lower bound for the Fourier coefficients of the Rankin–Selberg convolution of metaplectic theta functions.
What would settle it
A computation showing that the second-moment average of Kubota’s Dirichlet series grows faster than any fixed power of the logarithmic conductor, or that the Fourier coefficients of the metaplectic Rankin–Selberg convolution are o of the size claimed on average, would invalidate the non-orthogonality conclusion.
Extended reading notes
Core claim
Unconditionally, the cubic and quartic large sieves are not perfectly orthogonal. The principal obstruction is a bias exhibited by Gauss sums; this bias is detected by combining an average Lindelöf bound for Kubota’s series with a tight lower bound on the Fourier coefficients of a metaplectic Rankin–Selberg convolution.
Load-bearing premise
The argument stands or falls on the claim that Zagier’s regularization can be made to deliver both the average Lindelöf bound for Kubota’s series and a sufficiently strong lower bound on the relevant metaplectic Fourier coefficients, especially in the less-understood quartic case.
Editorial extensions
If this is right
- The operator norm of each of the cubic and quartic large-sieve ensembles is strictly larger than the value predicted by perfect orthogonality.
- The same Gauss-sum bias is expected to destroy perfect orthogonality for Hecke-character ensembles of every fixed order n ≥ 3 over a field containing the n-th roots of unity.
- Explicit conjectural formulae for those operator norms become available for each n.
- Any application that treated the cubic or quartic large sieve as an L^{2}-isometry must now retain a positive lower-order correlation term.
Reading between the lines
- The same Rankin–Selberg analysis is likely to produce unconditional non-orthogonality statements for other families of automorphic forms whose coefficients involve Gauss sums or metaplectic covers.
- Numerical checks of the conjectured operator norms for small n would give an independent measure of the size of the Gauss-sum bias.
- The quartic case being harder than the cubic case suggests that the growth of metaplectic Fourier coefficients, rather than the Kubota series alone, is the main bottleneck for higher-order analogues.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims an unconditional proof that the cubic and quartic large sieves are not perfectly orthogonal, with the principal obstruction identified as the bias of Gauss sums. The argument rests on two analytic inputs obtained by adapting Zagier’s 1981 Rankin–Selberg regularization: a Lindelöf-on-average upper bound for the second moment of Kubota’s Dirichlet series, and a tight average lower bound on the Fourier coefficients of a Rankin–Selberg convolution of metaplectic theta functions (the latter especially load-bearing in the quartic case). A precise conjecture is also stated for the operator norms of the analogous ensembles of Hecke characters of each fixed order n ≥ 3 over number fields containing the n-th roots of unity.
Significance. If the claimed non-orthogonality holds, the paper supplies a clean, unconditional obstruction to perfect orthogonality for two classical large-sieve ensembles and isolates Gauss-sum bias as the source. The adaptation of Zagier’s regularization to produce both an upper bound of Lindelöf-on-average type and a matching lower bound on Fourier coefficients of metaplectic Rankin–Selberg convolutions would be a useful technical contribution, particularly in the quartic setting where coefficient information is scarce. The general-n conjecture offers a concrete, falsifiable target for subsequent work on higher-order Hecke characters.
major comments (2)
- [Abstract (proof outline)] The central claim is load-bearing on two inputs obtained by adapting Zagier’s 1981 Rankin–Selberg method: the Lindelöf-on-average second-moment bound for Kubota’s series and the tight average lower bound on Fourier coefficients of the metaplectic Rankin–Selberg convolution. Only the abstract is available for review; without the explicit regularized integrals, contour shifts, growth estimates on the continuous spectrum, or the precise form of the lower-bound argument (especially for the quartic case), it is impossible to verify that these adaptations are free of unjustified interchanges or missing error terms. This verification is essential before the unconditional non-orthogonality statement can be accepted.
- [Abstract (quartic case)] The abstract asserts that the lower bound on Fourier coefficients is “particularly important in the quartic case, where much less is known.” The strength of the non-orthogonality conclusion for the quartic large sieve therefore hinges on the quality of this lower bound. In the absence of the actual estimate (or even its precise shape), one cannot assess whether the resulting operator-norm lower bound is of the expected strength or merely of weaker order.
minor comments (2)
- [Abstract] The abstract is clear and well-structured, but a full manuscript would benefit from an explicit statement of the precise operator-norm lower bounds obtained for the cubic and quartic ensembles (even if only asymptotic).
- [Abstract (conjecture)] The general-n conjecture is announced without a sketch of the expected main-term contribution; a brief heuristic paragraph in the introduction of the full paper would help readers gauge its plausibility.
Circularity Check
No circularity detectable from abstract; pure analytic claim with no fitted parameters or self-definitional reductions.
full rationale
Only the abstract is available. It states an unconditional non-orthogonality result for cubic and quartic large sieves, with the obstruction attributed to Gauss-sum bias, and identifies two analytic inputs (Lindelöf-on-average for Kubota’s series and a lower bound on Fourier coefficients of a metaplectic Rankin–Selberg convolution) obtained by adapting Zagier’s 1981 regularization. There is no fitting of free parameters to data, no self-referential normalization that forces the claimed non-orthogonality by construction, no uniqueness theorem imported from the authors, and no renaming of a known empirical pattern. The derivation is presented as a pure analytic argument; residual risk is only that the full technical steps cannot be inspected, which is a verification limitation rather than circularity. Score 0 is therefore the correct honest finding under the hard rules.
Assumptions & free parameters
assumptions (4)
- domain assumption Standard properties of large sieves, Gauss sums, and Hecke characters of fixed order over number fields containing the relevant roots of unity.
- domain assumption Existence and basic analytic properties of Kubota’s Dirichlet series and of metaplectic theta functions and their Rankin–Selberg convolutions.
- ad hoc to paper Zagier’s 1981 Rankin–Selberg regularization method can be adapted to produce both the Lindelöf-on-average second-moment bound and the tight average lower bound on Fourier coefficients.
- standard math Standard complex analysis and spectral theory of automorphic forms (contour integration, meromorphic continuation, growth estimates).
Cite this review
Pith. "Pith review of Non-orthogonality of the cubic and quartic large sieves via Rankin-Selberg." pith.science (2026). https://pith.science/paper/L3FTJAXO
@misc{pith2026260707911,
author = {Pith},
title = {Pith review of: Non-orthogonality of the cubic and quartic large sieves via Rankin-Selberg},
year = {2026},
howpublished = {\url{https://pith.science/paper/L3FTJAXO}},
note = {Machine review of arXiv:2607.07911}
}
abstract
We show unconditionally that the cubic and quartic large sieves are not perfectly orthogonal. The main obstruction to perfect orthogonality comes from the bias exhibited by Gauss sums. Our proof requires two main inputs: a Lindel\"{o}f-on-average upper bound for the second moment of Kubota's Dirichlet series, and a tight average lower bound for the Fourier coefficients of a certain Rankin-Selberg convolution of metaplectic theta functions. The latter input is particularly important in the quartic case, where much less is known about Fourier coefficients of metaplectic theta functions. To establish both of these inputs, we adapt a Rankin-Selberg regularization method due to Zagier (1981). In addition to the cubic and quartic cases considered in this paper, we expect that the family of Hecke characters of each fixed order $n \geq 3$ over a number field $K \supset \mathbb{Q}(\zeta_n)$ is not perfectly orthogonal. We provide a precise conjecture for the operator norm of these ensembles for each $n$.
Forward citations
Cited by 1 Pith paper
-
Average analytic rank for the $L$-functions of the elliptic curves $y^2=x^3-dx$
Under GRH the average analytic rank of y²=x³-dx over odd fourth-power-free d is at most 13/6, and at most 3/2 assuming a quartic Gauss-sum conjecture.
Reviewed July 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.