Auxiliary valuation conjecture for partial Stirling functions

At least 11 years old · documented by

Let 5≤Δ≤85\le\Delta\le8 and e≥5e\ge5. For j≥0j\ge0, define

QΔ,j=1(2e+Δ)!∑i(2e+Δ2i+1)(2i)2e−1+j−1Δ!∑i(Δ2i+1)(2i)j.Q_{\Delta,j}=\frac1{(2^e+\Delta)!}\sum_i\binom{2^e+\Delta}{2i+1}(2i)^{2^{e-1}+j}-\frac1{\Delta!}\sum_i\binom{\Delta}{2i+1}(2i)^j.

For j>0j>0, j≠2e−1j\ne2^{e-1}, and any integer mm, define

vΔ,j,m:=e−1−ν(j)+ν(1(2e+Δ)!∑i(2e+Δ2i+1)(2i+1)m(2i)j).v_{\Delta,j,m}:=e-1-\nu(j)+\nu\left(\frac1{(2^e+\Delta)!}\sum_i\binom{2^e+\Delta}{2i+1}(2i+1)^m(2i)^j\right).

Auxiliary valuation conjecture. The quantities satisfy all the following assertions: (a) ν(QΔ,j)≥e−2\nu(Q_{\Delta,j})\ge e-2, with the stated residue conditions modulo 44 for Q7,j/2e−2Q_{7,j}/2^{e-2} and Q8,j/2e−2Q_{8,j}/2^{e-2}; (b) vΔ,j,m>min⁡(ν(PΔ(m)),e−3)v_{\Delta,j,m}>\min(\nu(P_\Delta(m)),e-3); and, when (Δ,m2)=(7,0)(\Delta,m_2)=(7,0) or (8,1)(8,1), (i) vΔ,j,m>min⁡(ν(PΔ(m)),e−2)v_{\Delta,j,m}>\min(\nu(P_\Delta(m)),e-2), and (ii) if ν(PΔ(m))=e−1\nu(P_\Delta(m))=e-1, the values of j≠2e−1j\ne2^{e-1} for which vΔ,j,m=e−1v_{\Delta,j,m}=e-1 occur in groups {8a+1,8a+2,8a+3,8a+4}\{8a+1,8a+2,8a+3,8a+4\} for various integers aa. These detailed estimates are proposed as an auxiliary route to proving the preceding difference-valuation conjecture.

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.