Rodgers–Soundararajan variance conjecture for the divisor function in arithmetic progressions

From papers

Let kk be the divisor-function parameter, let ww be a smooth function supported in [1,2][1,2] satisfying

w(y)2dy=1,\int w(y)^2\,dy=1,

and whose Mellin transform

M[w](s)=0w(x)xs1dx\mathcal{M}[w](s)=\int_0^\infty w(x)x^{s-1}\,dx

satisfies rapid decay on every fixed vertical strip. For X,dX,d\to\infty with logX/logdc(0,k)\log X/\log d\to c\in(0,k), define

Δw(τk;X,d,a)=na(modd)τk(n)w(nX)1φ(d)(n,d)=1τk(n)w(nX),\Delta_w(\tau_k;X,d,a)=\sum_{n\equiv a\pmod d}\tau_k(n)w\left(\frac nX\right)-\frac1{\varphi(d)}\sum_{(n,d)=1}\tau_k(n)w\left(\frac nX\right),

where τk\tau_k is the kk-fold divisor function, and define ak(d)a_k(d) and γk(c)\gamma_k(c) by

ak(d)=lims1+(s1)k2n1(n,d)=1τk(n)2ns,a_k(d)=\lim_{s\to1^+}(s-1)^{k^2}\sum_{\substack{n\ge1\\(n,d)=1}}\frac{\tau_k(n)^2}{n^s},

with γk(c)\gamma_k(c) the stated piecewise polynomial involving the Vandermonde determinant and the Barnes GG-function. Rodgers–Soundararajan's variance conjecture. One has

1ad(a,d)=1Δw(τk;X,d,a)2ak(d)γk(c)X(logd)k21.\sum_{\substack{1\le a\le d\\(a,d)=1}}\left|\Delta_w(\tau_k;X,d,a)\right|^2\sim a_k(d)\gamma_k(c)X(\log d)^{k^2-1}.

This is a smoothed conjectural asymptotic for the variance of τk\tau_k in reduced residue classes, motivated by function-field analogues and earlier Barban–Davenport–Halberstam results. The supplied text attributes the formulation to Nguyen and does not provide evidence that it has been resolved.

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

D. T. Nguyen, “Generalized divisor functions in arithmetic progressions: II”, arXiv:2302.12815 (2023).

Solutions 0

No solutions have been posted yet.