On a class of hypergeometric diagonals

Bostan, Alin; Yurkevich, Sergey

doi:10.1090/proc/15693

On a class of hypergeometric diagonals
HTML articles powered by AMS MathViewer

by Alin Bostan and Sergey Yurkevich PDF

Proc. Amer. Math. Soc. 150 (2022), 1071-1087 Request permission

Abstract:

We prove that the diagonal of any finite product of algebraic functions of the form \begin{align*} {(1-x_1- \dots -x_n)^R}, \qquad R\in \mathbb {Q}, \end{align*} is a generalized hypergeometric function, and we provide an explicit description of its parameters. The particular case $(1-x-y)^R/(1-x-y-z)$ corresponds to the main identity of Abdelaziz, Koutschan and Maillard in [J. Phys. A 53 (2020), 205201, 16 pp., §3.2]. Our result is useful in both directions: on the one hand it shows that Christol’s conjecture holds true for a large class of hypergeometric functions, on the other hand it allows for a very explicit and general viewpoint on the diagonals of algebraic functions of the type above. Finally, in contrast to the approach of Abdelaziz, Koutschan and Maillard, our proof is completely elementary and does not require any algorithmic help.

References

Y. Abdelaziz, C. Koutschan, and J.-M. Maillard, On Christol’s conjecture, J. Phys. A 53 (2020), no. 20, 205201, 16. MR 4093477, DOI 10.1088/1751-8121/ab82dc
J.-P. Allouche and M. Mendès France, Hadamard grade of power series, J. Number Theory 131 (2011), no. 11, 2013–2022. MR 2825108, DOI 10.1016/j.jnt.2011.04.011
A. Bostan, S. Boukraa, G. Christol, S. Hassani, and J.-M. Maillard, Ising $n$-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity, 2012. arXiv:1211.6031.
A. Bostan, S. Boukraa, G. Christol, S. Hassani, and J.-M. Maillard, Ising $n$-fold integrals as diagonals of rational functions and integrality of series expansions, J. Phys. A, 46(18):185202, 44, 2013.
A. Bostan, S. Boukraa, J.-M. Maillard, and J.-A. Weil, Diagonals of rational functions and selected differential Galois groups, J. Phys. A 48 (2015), no. 50, 504001, 29. MR 3434836, DOI 10.1088/1751-8113/48/50/504001
F. Beukers and G. Heckman, Monodromy for the hypergeometric function $_nF_{n-1}$, Invent. Math. 95 (1989), no. 2, 325–354. MR 974906, DOI 10.1007/BF01393900
Alin Bostan, Pierre Lairez, and Bruno Salvy, Creative telescoping for rational functions using the Griffiths-Dwork method, ISSAC 2013—Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2013, pp. 93–100. MR 3206345, DOI 10.1145/2465506.2465935
Jonathan W. Bober, Factorial ratios, hypergeometric series, and a family of step functions, J. Lond. Math. Soc. (2) 79 (2009), no. 2, 422–444. MR 2496522, DOI 10.1112/jlms/jdn078
Delphine Boucher, About the polynomial solutions of homogeneous linear differential equations depending on parameters, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), ACM, New York, 1999, pp. 261–268. MR 1802089, DOI 10.1145/309831.309952
G. Christol, Fonctions hypergéométriques bornées, Groupe Travail Anal. Ultramétrique 14 (1986-1987), 1–16, Talk no. 8.
Gilles Christol, Diagonales de fractions rationnelles, Séminaire de Théorie des Nombres, Paris 1986–87, Progr. Math., vol. 75, Birkhäuser Boston, Boston, MA, 1988, pp. 65–90 (French). MR 990506
Gilles Christol, Globally bounded solutions of differential equations, Analytic number theory (Tokyo, 1988) Lecture Notes in Math., vol. 1434, Springer, Berlin, 1990, pp. 45–64. MR 1071744, DOI 10.1007/BFb0097124
Gilles Christol, Diagonals of rational fractions, Eur. Math. Soc. Newsl. 97 (2015), 37–43. MR 3409223
Harry Furstenberg, Algebraic functions over finite fields, J. Algebra 7 (1967), 271–277. MR 215820, DOI 10.1016/0021-8693(67)90061-0
Henry W. Gould, Combinatorial identities, Henry W. Gould, Morgantown, W. Va., 1972. A standardized set of tables listing 500 binomial coefficient summations. MR 0354401
R. Jungen, Sur les séries de Taylor n’ayant que des singularités algébrico-logarithmiques sur leur cercle de convergence, Comment. Math. Helv. 3 (1931), no. 1, 266–306 (French). MR 1509439, DOI 10.1007/BF01601817
Christoph Koutschan, Creative telescoping for holonomic functions, Computer algebra in quantum field theory, Texts Monogr. Symbol. Comput., Springer, Vienna, 2013, pp. 171–194. MR 3616751
E. E. Kummer, Über die hypergeometrische Reihe $1 +\frac {{\alpha } \cdot {\beta }}{1 \cdot {\gamma }} x +\frac {{\alpha } ({\alpha } + 1) {\beta } {(\beta +1)}}{1 \cdot 2 \cdot {\gamma } {(\gamma +1)}} x^2 +\frac {{\alpha } ({\alpha } + 1) ({\alpha } + 2){\beta } {(\beta +1)} {(\beta +2)}}{1 \cdot 2 \cdot 3 \cdot {\gamma } {(\gamma +1)} {(\gamma +2)}} x^3 + \dots$, (Fortsetzung). J. Reine Angew. Math., 15:127–172, 1836.
L. Lipshitz, The diagonal of a $D$-finite power series is $D$-finite, J. Algebra 113 (1988), no. 2, 373–378. MR 929767, DOI 10.1016/0021-8693(88)90166-4
Marko Petkovšek, Hypergeometric solutions of linear recurrences with polynomial coefficients, J. Symbolic Comput. 14 (1992), no. 2-3, 243–264. MR 1187234, DOI 10.1016/0747-7171(92)90038-6
G. Pólya, Sur les séries entières, dont la somme est une fonction algébrique, Enseign. Math. 22 (1921/1922), 38–47.
T. Rivoal and J. Roques, Hadamard products of algebraic functions, J. Number Theory 145 (2014), 579–603. MR 3253320, DOI 10.1016/j.jnt.2014.06.015
H. A. Schwarz, Ueber diejenigen Fälle, in welchen die Gaussische hypergeometrische Reihe eine algebraische Function ihres vierten Elementes darstellt, J. Reine Angew. Math. 75 (1873), 292–335 (German). MR 1579568, DOI 10.1515/crll.1873.75.292
Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589
Armin Straub, Multivariate Apéry numbers and supercongruences of rational functions, Algebra Number Theory 8 (2014), no. 8, 1985–2007. MR 3285621, DOI 10.2140/ant.2014.8.1985
Michel Waldschmidt, Transcendence of periods: the state of the art, Pure Appl. Math. Q. 2 (2006), no. 2, Special Issue: In honor of John H. Coates., 435–463. MR 2251476, DOI 10.4310/PAMQ.2006.v2.n2.a3
Doron Zeilberger, The method of creative telescoping, J. Symbolic Comput. 11 (1991), no. 3, 195–204. MR 1103727, DOI 10.1016/S0747-7171(08)80044-2