The second approximation conjecture for ν₂(S(m,5))

At least 18 years old · documented by

Let x1(m)x_1(m), I1I_1, f1(m)f_1(m), and Err⁡1(m,5)=ν2(S(m,5))−ν2(f1(m))\operatorname{Err}_1(m,5)=\nu_2(S(m,5))-\nu_2(f_1(m)) be as above. Define

λp(m)=12(1−(−1)m mod p),\lambda_p(m)=\frac12\left(1-(-1)^{m\bmod p}\right), m3(m)=(m+2) mod 3,m_3(m)=(m+2)\bmod3, αm=λ3(m+2)(1+λ3(m))+λ2(m+1)λ3(m),\alpha_m=\lambda_3(m+2)(1+\lambda_3(m))+\lambda_2(m+1)\lambda_3(m),

and

f2(m)=(2m3m3)⌊m+23⌋+208λ3(m+1)+27λ2(m)λ3(m).f_2(m)=\binom{2m_3}{m_3}\left\lfloor\frac{m+2}{3}\right\rfloor+208\lambda_3(m+1)+27\lambda_2(m)\lambda_3(m).

Set I2={x2(m):m≥0}I_2=\{x_2(m):m\geq0\}, where

x2(m)=109+107⌊4m+23⌋+85⌊4m+13⌋.x_2(m)=109+107\left\lfloor\frac{4m+2}{3}\right\rfloor+85\left\lfloor\frac{4m+1}{3}\right\rfloor.

The second approximation conjecture.

Err⁡1(x1(m),5)=(−1)αmν2(f2(m))\operatorname{Err}_1(x_1(m),5)=(-1)^{\alpha_m}\nu_2(f_2(m))

unless m∈I2m\in I_2. This is an empirical improvement of the first approximation, and the supplied text gives no proof or resolution.

References

Primary source

Tewodros Amdeberhan, Dante Manna and Victor H. Moll, “The 2-adic valuations of Stirling numbers”, arXiv:0707.3104 (2007).

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.