Divisibility by 2 of Stirling numbers of the second kind and their differences
Let n,k,a and c be positive integers and b be a nonnegative integer. Let ν2(k) and s2(k) be the 2-adic valuation of k and the sum of binary digits of k, respectively. Let S(n,k) be the Stirling number of the second kind. It is shown that ν2(S(c2n,b2n+1+a))≥s2(a)−1, where 0<a<2n+1 and 2∤c. Furthermore, one gets that ν2(S(c2n,(c−1)2n+a))=s2(a)−1, where n≥2, 1≤a≤2n and 2∤c. Finally, it is proved that if 3≤k≤2n and k is not a power of 2 minus 1, then ν2(S(a2n,k)−S(b2n,k))=n+ν2(a−b)−⌈log2k⌉+s2(k)+δ(k), where δ(4)=2, δ(k)=1 if k>4 is a power of 2, and δ(k)=0 otherwise. This confirms a conjecture of Lengyel raised in 2009 except when k is a power of 2 minus 1.