The divisor-sum variance asymptotic conjecture

For z>0z>0, let dz(n)d_z(n) be the generalized divisor function, define Dz(x)=nxdz(n)D_z(x)=\sum_{n\leq x}d_z(n), and let Dz(x)\overline D_z(x) be the contour approximation defined in the paper. Set

Δz(x):=Dz(x)Dz(x),Δz(x;H):=Δz(x+H)Δz(x),\Delta_z(x):=D_z(x)-\overline D_z(x),\qquad \Delta_z(x;H):=\Delta_z(x+H)-\Delta_z(x),

and

Vdz(X;H):=1XX2XΔz(x;H)2dx.V_{d_z}(X;H):=\frac{1}{X}\int_X^{2X}\Delta_z(x;H)^2\,dx.

Write

az:=lims1+(s1)z2n=1dz(n)2ns,a_z:=\lim_{s\to1^+}(s-1)^{z^2}\sum_{n=1}^{\infty}\frac{d_z(n)^2}{n^s},

and let α1(z)\alpha_1^{(z)} be the random variable used in the paper's limiting distribution. The divisor-sum variance asymptotic conjecture. For fixed z>0z>0 and fixed δ(0,1)\delta\in(0,1), with H=XδH=X^\delta,

Vdz(X;H)=az(P(α1(z)1δ)Γ(z2)+o(1))H(logX)z21V_{d_z}(X;H)=a_z\left(\frac{\mathbb{P}(\alpha_1^{(z)}\leq1-\delta)}{\Gamma(z^2)}+o(1)\right)H(\log X)^{z^2-1}

as XX\to\infty. This generalizes a conjecture previously made for integer zz; the stated extension remains open.

Sources & referencesView supporting material

Primary source

Ofir Gorodetsky and Brad Rodgers, “The variance of the number of sums of two squares in F_q[T] in short intervals”, arXiv:1810.06002 (2020).

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.