Bostan–Weil–Yurkevich conjecture on integral Pochhammer transforms

About 3 years old · traced to

Let (cn)n≥0(c_n)_{n\geq 0} be the sequence discussed in the paper, and for (u,v)∈Q2(u,v)\in\mathbb{Q}^2 define c~n=wn(u)n(v)ncn\widetilde c_n=w^n(u)_n(v)_n c_n, where (u)n(u)_n and (v)n(v)_n are Pochhammer symbols and w∈Zw\in\mathbb{Z}. Bostan–Weil–Yurkevich conjecture. The only pairs (u,v)∈Q2∩(0,1)2(u,v)\in\mathbb{Q}^2\cap(0,1)^2 for which some such ww makes c~n∈Z\widetilde c_n\in\mathbb{Z} for every n≥0n\geq0 are those listed in the paper's figure; moreover, for every listed pair, ∑n≥0c~nxn\sum_{n\geq0}\widetilde c_nx^n is algebraic with the algebraicity degree given in that figure. This conjecture concerns which rational Pochhammer factors turn the coefficients into integers and predicts algebraicity of all corresponding generating functions. The supplied status evidence explicitly says that it is an open problem.

References

Primary source

Alin Bostan, Xavier Caruso and Julien Roques, “Algebraic solutions of linear differential equations: an arithmetic approach”, arXiv:2304.05061 (2024).

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.