REVIEW
Universal murmuration and Hecke augmentation
Number Theory · Submitted 1 Sep 2026 · 20 references
Pith's verdict: Solid trace-formula extension and honestly controlled experiments, but Proposition 4.3's validity for every fixed k is asserted rather than proved and needs to be pinned down before the main theorem is fully trusted.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Prime-power coefficients share one murmuration profile
The reading
What carries the argument
The Skoruppa–Zagier trace formula (Proposition 4.3) expresses the root-number-weighted Hecke trace at a prime power as a combination of class numbers and a polynomial term. The proof averages this formula over short intervals of squarefree levels using estimates for class numbers and Hooley's squarefree progression estimate, isolating the leading parabolic and hyperbolic contributions that yield a common profile independent of k.
Extended reading notes
Core claim
Theorem 1.2: Under the level-aspect and specified growth conditions, the expression $\sqrt$(X) * E_{X,Y}[ ε(f) $λ^{{sym_k}}$_f(P) ] = G(P^k/X) + o_k(1) for a continuous explicit function G, showing every fixed prime power samples the same leading murmuration function when placed at the effective position P^k/X.
Load-bearing premise
The proof depends on the Skoruppa–Zagier trace formula (Proposition 4.3) being valid for every fixed k at squarefree level, and on the short-window condition that the level interval length Y grows slower than X (Y ~ $X^{{1-δ1}}$ with δ1 < 1/8). If the trace formula does not hold for k≥3 in the squarefree case, or if the window is too wide, the common profile for k≥2 would not follow.
Editorial extensions
If this is right
- The effective position P^k/X allows prime-power coefficients to be treated on the same footing as primes in murmuration predictions, unifying their statistical behavior.
- Hecke coordinates H2 and H3 provide a principled way to incorporate higher-power information without additional coefficient queries, motivating structured feature augmentation.
- The explicit form of G gives a precise asymptotic for the expected correlation between root sign and symmetric-power coefficients in large families, guiding further arithmetic statistics.
- The result suggests that the same G function may govern all prime powers simultaneously for families where trace formulas extend to arbitrary indices.
Reading between the lines
- The uniformity across fixed k suggests that the murmuration function G may be universal in the sense that it arises from a single functional equation, not merely from the trace formula. Proving this would require averaging over all k simultaneously rather than fixing k.
- The Hecke augmentation framework could be extended to other automorphic families (e.g., Maass forms or higher weight) if analogous trace formulas for prime powers are available, linking arithmetic statistics to machine learning more broadly.
- The empirical gain, though modest, indicates that the root-number signal is not purely linear in the prime coefficient but has a structured polynomial component, supporting the theoretical picture of a common profile.
- The comparison between fixed-k theorem and finite-data experiment suggests that the asymptotic regime (short level windows) may not be necessary for observable predictive gains; practical benefit may appear even in moderate conductor ranges.
Original abstract
Prime coefficients of elliptic curves exhibit murmurations, statistical patterns that support the prediction of arithmetic labels. We conjecture that root number weighted averages of unitary normalized coefficients at primes and prime powers sample the same leading profile when placed at the effective position $p^k/X$, where $X$ is the conductor scale. For weight $2$ newforms of squarefree level in the level aspect, we prove this principle for every fixed $k$ under suitable short-window and growth conditions, extending Zubrilina's prime case and the square-case analysis of Kundu and M\"uller. Experiments with elliptic curve isogeny class representatives show that the resulting prime power features improve root number prediction and give a smaller gain in distinguishing ranks $0$ and $1$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Prime coefficients of elliptic curves exhibit murmurations, statistical patterns that support the prediction of arithmetic labels. We conjecture that root number weighted averages of unitary normalized coefficients at primes and prime powers sample the same leading profile when placed at the effective position $p^k/X$, where $X$ is the conductor scale. For weight $2$ newforms of squarefree level in the level aspect, we prove this principle for every fixed $k$ under suitable short-window and growth conditions, extending Zubrilina's prime case and the square-case analysis of Kundu and M\"uller. Experiments with elliptic curve isogeny class representatives show that the resulting prime power features improve root number prediction and give a smaller gain in distinguishing ranks $0$ and $1$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Prime coefficients of elliptic curves exhibit murmurations, statistical patterns that support the prediction of arithmetic labels. | background 1.00 | 0.13 | 0.08 | asserted 0.90 |
| s1 | We conjecture that root number weighted averages of unitary normalized coefficients at primes and prime powers sample the same leading profile when placed at the effective position $p^k/X$, where $X$ is the conductor scale. | contribution 0.93 | 0.23 | 0.27 | speculative 0.99 |
| s2 | For weight $2$ newforms of squarefree level in the level aspect, we prove this principle for every fixed $k$ under suitable short-window and growth conditions, extending Zubrilina's prime case and the square-case analysis of Kundu and M\"uller. | contribution 0.59 | 0.95 | 0.67 | asserted 1.00 |
| s3 | Experiments with elliptic curve isogeny class representatives show that the resulting prime power features improve root number prediction and give a smaller gain in distinguishing ranks $0$ and $1$. | result 0.91 | 0.90 | 0.08 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2609.00777 by the authors.
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.