One-zero congruence-class conjecture for partial Stirling functions

Let 5Δ85\le\Delta\le8, let zΔ,Z2z_{\Delta,\ell}\in\mathbb Z_2 be the two zeros of PΔP_\Delta indexed by {0,1}\ell\in\{0,1\}, and let εΔ,\varepsilon_{\Delta,\ell} be 22 for (Δ,)=(7,0)(\Delta,\ell)=(7,0) or (8,1)(8,1) and 00 otherwise. Let e3e\ge3, 0m<2e10\le m<2^{e-1}, and assume m≢zΔ,m2(mod2e1)m\not\equiv z_{\Delta,m_2}\pmod {2^{e-1}}. One-zero congruence-class conjecture. There exists xmZ2x_m\in\mathbb Z_2 such that, for every integer xx,

ν(P2e+Δ(2e1x+m))=ν(xxm)+ν(mzΔ,m2)1+{εΔ,m2e>3,32εΔ,m2e=3.\nu(P_{2^e+\Delta}(2^{e-1}x+m))=\nu(x-x_m)+\nu(m-z_{\Delta,m_2})-1+\begin{cases}\varepsilon_{\Delta,m_2}&e>3,\frac32\varepsilon_{\Delta,m_2}&e=3.\end{cases}

This would imply that every congruence class other than those containing the two zeros of PΔP_\Delta contains exactly one zero of P2e+ΔP_{2^e+\Delta}; the source notes that the complementary classes remain unresolved.

Sources & referencesView supporting material

Primary source

Donald M. Davis, “2-adic Stirling functions and their zeros”, arXiv:1402.0433 (2014).

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.