The nonvanishing and square-root bound conjecture for modular-symbol Ramanujan sums

From papers

Let Rj+(n)R_j^+(n) denote the scalar quantity associated with the embedded spectral contribution, and let r(X)r(X) be the corresponding error term in the twisted Ramanujan-sum asymptotic. Modular-symbol Ramanujan-sum conjecture. (1) For each fixed j>0j>0, there exists a nonzero integer nn such that Rj+(n)0R_j^+(n)\neq0. (2) For every nonzero integer nn, every k>6k>6, and every ε>0\varepsilon>0,

r(X)=On,k,ε(X1/2+ε).r(X)=O_{n,k,\varepsilon}\left(X^{1/2+\varepsilon}\right).

The first assertion would prevent all embedded-eigenvalue contributions from vanishing simultaneously, while the second predicts square-root cancellation up to XεX^\varepsilon; both remain conjectural in the supplied source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nikolaos Diamantis, Solomon Friedberg and Fredrik Strömberg, “Sums of Kloosterman sums formed with modular symbols”, arXiv:2607.10786 (2026).

Solutions 0

No solutions have been posted yet.