Auxiliary valuation conjecture for partial Stirling functions

From papers

Let 5Δ85\le\Delta\le8 and e5e\ge5. For j0j\ge0, define

QΔ,j=1(2e+Δ)!i(2e+Δ2i+1)(2i)2e1+j1Δ!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, j2e1j\ne2^{e-1}, and any integer mm, define

vΔ,j,m:=e1ν(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)e2\nu(Q_{\Delta,j})\ge e-2, with the stated residue conditions modulo 44 for Q7,j/2e2Q_{7,j}/2^{e-2} and Q8,j/2e2Q_{8,j}/2^{e-2}; (b) vΔ,j,m>min(ν(PΔ(m)),e3)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)),e2)v_{\Delta,j,m}>\min(\nu(P_\Delta(m)),e-2), and (ii) if ν(PΔ(m))=e1\nu(P_\Delta(m))=e-1, the values of j2e1j\ne2^{e-1} for which vΔ,j,m=e1v_{\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.