Bostan–Weil–Yurkevich conjecture on integral Pochhammer transforms

Let (cn)n0(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 wZw\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~nZ\widetilde c_n\in\mathbb{Z} for every n0n\geq0 are those listed in the paper's figure; moreover, for every listed pair, n0c~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.

Sources & referencesView supporting material

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.