Integrality conjecture for a truncated hypergeometric series

About 28 years old · traced to

Let d≥2d\geq 2 be an integer. Let nn be a positive integer satisfying

n≡−1(modd),n>d−1.n\equiv -1\pmod d,\qquad n>d-1.

Integrality conjecture. Then

(n−1)!dddn−dn2⋅dFd−1[1d−1,1d,1+1d,1+1d,…,1+1d1,1,1,…,1∣ 1]n−1∈Z.\frac{(n-1)!^d d^{dn-d}}{n^2}\cdot {}_dF_{d-1}\bigg[\begin{matrix}\frac1d-1,&\frac1d,&1+\frac1d,&1+\frac1d,&\ldots,&1+\frac1d\\ &1,&1,&1,&\ldots,&1\end{matrix}\bigg|\,1\bigg]_{n-1}\in\mathbb Z.

This conjecture is motivated by a related congruence modulo p2p^2 and numerical calculations. The source gives no resolution, so the integrality assertion remains open.

References

Primary source

Junhang Li, Yezhenyang Tang and Chen Wang, “Some congruences from the Karlsson-Minton summation formula”, arXiv:2208.06650 (2023).

Additional references

18 papers in this index state this conjecture (1998–2022). The statement above is taken from the most recent of them; the others are arXiv:1908.11224, arXiv:1907.09391, arXiv:1812.00316, arXiv:1708.02381, arXiv:1706.02341, arXiv:1608.02279, arXiv:1606.04613, arXiv:1602.01954, arXiv:1307.4372, arXiv:1301.4632, arXiv:1006.2428, arXiv:1003.5875, and 5 more.

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.