Companion-zero conjecture for the smooth divisor-count indicator

From papers

For a prime pp, a companion zero at pp is a real zero xpx\neq p of a smooth prime indicator with xp<1|x-p|<1. A family xp(±)(κ)x_p^{(\pm)}(\kappa) is a prime-zero approximant if xp(±)(κ)px_p^{(\pm)}(\kappa)\to p as κ\kappa\to\infty. For each odd prime p3p\ge 3, the companion-zero conjecture. There exist κ0(p)1\kappa_0(p)\ge 1 and εp>0\varepsilon_p>0 such that, for all κκ0(p)\kappa\ge\kappa_0(p), Pτ(;κ)\mathcal P_\tau(\cdot;\kappa) has two simple real zeros, one in (pεp,p)(p-\varepsilon_p,p) and one in (p,p+εp)(p,p+\varepsilon_p). Numerical computations suggest that both distances from pp are O(eκ/(p+1))O\bigl(\mathrm e^{-\kappa/(p+1)}\bigr) as κ\kappa\to\infty.

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

Sebastian Fuchs, “Fejér-Kernel Prime Indicators”, arXiv:2506.18933 (2025).

Solutions 0

No solutions have been posted yet.