One-zero congruence-class conjecture for partial Stirling functions

At least 11 years old · documented by

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 e≥3e\ge3, 0≤m<2e−10\le m<2^{e-1}, and assume m≢zΔ,m2(mod2e−1)m\not\equiv z_{\Delta,m_2}\pmod {2^{e-1}}. One-zero congruence-class conjecture. There exists xm∈Z2x_m\in\mathbb Z_2 such that, for every integer xx,

ν(P2e+Δ(2e−1x+m))=ν(x−xm)+ν(m−zΔ,m2)−1+{εΔ,m2e>3,frac32εΔ,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.

References

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.