Companion-zero conjecture for the smooth divisor-count indicator

About 1 year old · traced to

For a prime pp, a companion zero at pp is a real zero x≠px\neq p of a smooth prime indicator with ∣x−p∣<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 p≥3p\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.

References

Primary source

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

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.