The Ratios Conjecture for local averages of three-cube sums

Fix a real M0M\geqslant 0. Let aO6\bm{a}\in \mathcal{O}^6 and dO+d\in \mathcal{O}^+ with a,dM^\lvert \bm{a}\rvert,\lvert d\rvert\leqslant \widehat M. Let bK6\bm{b}\in K_\infty^6 with b1\lvert \bm{b}\rvert\leqslant 1. Let AF,1a,d(s)A_{F,1}^{\bm{a},d}(s) be the Euler product defined from the local averages μˉF,1a,d(r)\bar{\mu}_{F,1}^{\bm{a},d}(r), and write s=β+σ(Z)+iτs=\beta+\sigma(Z)+i\tau. The Ratios Conjecture. There exists β=βM(Z)[0,1]\beta=\beta_M(Z)\in[0,1] such that, uniformly over ZNZ\in\mathbb{N} and τR\tau\in\mathbb{R},

cS1camoddctZbZ^/M^Φc,1(s)=cS1camoddctZbZ^/M^(1+O(gZ^3β))AF,1a,d(s),\sum_{\substack{\bm{c}\in \mathcal{S}_1 \\ \bm{c}\equiv\bm{a}\bmod{d} \\ \lvert\bm{c}-t^Z\bm{b}\rvert\leqslant\widehat Z/\widehat M}}\Phi^{\bm{c},1}(s)=\sum_{\substack{\bm{c}\in \mathcal{S}_1 \\ \bm{c}\equiv\bm{a}\bmod{d} \\ \lvert\bm{c}-t^Z\bm{b}\rvert\leqslant\widehat Z/\widehat M}}(1+O(g\widehat Z^{-3\beta}))\,A_{F,1}^{\bm{a},d}(s),

for some function g=gM(Z)0g=g_M(Z)\to0 as ZZ\to\infty. This is the paper's Ratios Conjecture prediction, expressing the averaged ratio through the leading Euler-product constant; the stated parser status is unknown, so its resolution is not established by the supplied material.

Sources & referencesView supporting material

Primary source

Tim Browning, Jakob Glas and Victor Y. Wang, “Optimal sums of three cubes in F_q[t]”, arXiv:2408.03668 (2024).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.