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

Let x1(m)x_1(m), I1I_1, f1(m)f_1(m), and Err1(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)mmodp),\lambda_p(m)=\frac12\left(1-(-1)^{m\bmod p}\right), m3(m)=(m+2)mod3,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):m0}I_2=\{x_2(m):m\geq0\}, where

x2(m)=109+1074m+23+854m+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.

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

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

Sources & referencesView supporting material

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.