References & Citations
Mathematics > Number Theory
Title: On the non-integrality of certain generalized binomial sums
(Submitted on 3 Mar 2022)
Abstract: We consider certain generalized binomial sums $\mathcal{S}_{(r,n)}(\ell)$ and discuss the non-integrality of their values for integral parameters $n,r \geq 1$ and $\ell \in \mathbb{Z}$ in several cases using $p$-adic methods. In particular, we show some properties of the denominator of $\mathcal{S}_{(r,n)}(\ell)$. Viewed as polynomials, the sequence $(\mathcal{S}_{(r,n)}(x))_{n \geq 0}$ forms an Appell sequence. The special case $\mathcal{S}_{(r,n)}(2)$ reduces to the sum \[
\sum_{k=0}^{n} \binom{n}{k} \frac{r}{r+k}, \] which has received some attention in recent times from several authors regarding the conjectured non-integrality of its values. Only specific cases have been proved yet. The generalized results imply, among other things, for even $|\ell| \geq 2$ that $\mathcal{S}_{(r,n)}(\ell) \notin \mathbb{Z}$ when $\binom{r+n}{r}$ is even, e.g., $r$ and $n$ are odd. Although there exist exceptions where $\mathcal{S}_{(r,n)}(\ell) \in \mathbb{Z}$, "almost all" values of $\mathcal{S}_{(r,n)}(\ell)$ for $n,r \geq 1$ are non-integral for any fixed $|\ell| \geq 2$. Subsequently, we also derive explicit inequalities between the parameters for which $\mathcal{S}_{(r,n)}(\ell) \notin \mathbb{Z}$. Especially, this is shown for certain small values of $\ell$ for $r \geq n$ and $n > r \geq \frac{1}{5} n$. As a supplement, we finally discuss exceptional cases where $\mathcal{S}_{(r,n)}(\ell) \in \mathbb{Z}$.
Link back to: arXiv, form interface, contact.