Negative-argument congruence conjecture for partial Stirling functions

About 12 years old · traced to

Let Pn(x)P_n(x) denote the partial Stirling function, let ν\nu be the 2-adic valuation, and let o⁡(n)=n/2ν(n)\operatorname{o}(n)=n/2^{\nu(n)} be the odd part of nn. For integers ee and Δ\Delta in the range considered in the paper, and for x<0x<0, the negative-argument congruence conjecture.

P2e+Δ(x)≡2o⁡(2e!)PΔ(x)(mod2e−lg⁡([Δ/2]−x)).P_{2^e+\Delta}(x)\equiv\frac{2}{\operatorname{o}(2^e!)}P_\Delta(x)\pmod {2^{e-\operatorname{lg}([\Delta/2]-x)}}.

This would extend the corresponding congruence already obtained for 0≤x<Δ0\le x<\Delta and describe the limiting behavior of these functions at negative arguments.

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.