English

On the nonintegrality of certain generalized binomial sums

Number Theory 2023-08-23 v2

Abstract

We consider certain generalized binomial sums S(r,n)()\mathcal{S}_{(r,n)}(\ell) and discuss the nonintegrality of their values for integral parameters n,r1n,r \geq 1 and Z\ell \in \mathbb{Z} in several cases using pp-adic methods. In particular, we show some properties of the denominator of S(r,n)()\mathcal{S}_{(r,n)}(\ell). Viewed as polynomials, the sequence (S(r,n)(x))n0(\mathcal{S}_{(r,n)}(x))_{n \geq 0} forms an Appell sequence. The special case S(r,n)(2)\mathcal{S}_{(r,n)}(2) reduces to the sum k=0n(nk)rr+k\sum_{k=0}^{n} \binom{n}{k} \frac{r}{r+k}, which has recently received some attention from several authors regarding the conjectured nonintegrality of its values. So far, only a few cases have been proved. The generalized results imply, among other things, for even 2|\ell| \geq 2 that S(r,n)()Z\mathcal{S}_{(r,n)}(\ell) \notin \mathbb{Z} when (r+nr)\binom{r+n}{r} is even, e.g., rr and nn are odd. Although there exist exceptions where S(r,n)()Z\mathcal{S}_{(r,n)}(\ell) \in \mathbb{Z}, ``almost all'' values of S(r,n)()\mathcal{S}_{(r,n)}(\ell) for n,r1n,r \geq 1 are nonintegral for any fixed 2|\ell| \geq 2. Subsequently, we also derive explicit inequalities between the parameters for which S(r,n)()Z\mathcal{S}_{(r,n)}(\ell) \notin \mathbb{Z}. Especially, this is shown for certain small values of \ell for rnr \geq n and n>r15nn > r \geq \frac{1}{5} n. As a supplement, we finally discuss exceptional cases where S(r,n)()Z\mathcal{S}_{(r,n)}(\ell) \in \mathbb{Z}.

Keywords

Cite

@article{arxiv.2203.01908,
  title  = {On the nonintegrality of certain generalized binomial sums},
  author = {Bernd C. Kellner},
  journal= {arXiv preprint arXiv:2203.01908},
  year   = {2023}
}

Comments

20 pages, 3 tables, 3 figures, final revised version

R2 v1 2026-06-24T10:01:16.842Z