On a class of hypergeometric diagonals

DOI10.1090/PROC/15693MaRDI QIDQ5027153zbMATH OpenOpenAlexFDO

Authors Alin Bostan, Sergey Yurkevich

Publication date 4 February 2022

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.12809

zbMATH Keywords

algebraic functionsChristol's conjectureD-finite functionsdiagonals of power seriesgeneralized hypergeometric functionsglobally bounded functionsHadamard gradeHadamard products

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) Formal power series rings (13F25) Power series (including lacunary series) in one complex variable (30B10) Generalized hypergeometric series, ({}_pF_q) (33C20)

Abstract: We prove that the diagonal of any finite product of algebraic functions of the form �egin{align*} {(1-x_1-dots-x_n)^R}, qquad Rinmathbb{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 [AKM2020, {S}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 [AKM2020], our proof is completely elementary and does not require any algorithmic help.

Recommendations

• On Christol’s conjecture
• Algebraic power series and diagonals
• scientific article; zbMATH DE number 3966277
• scientific article; zbMATH DE number 4136093
• Diagonals of the Laurent series of rational functions

Cites work

• Algebraic functions over finite fields
• Creative telescoping for holonomic functions
• Creative telescoping for rational functions using the Griffiths-Dwork method
• Diagonals of rational fractions
• Diagonals of rational functions and selected differential Galois groups
• Factorial ratios, hypergeometric series, and a family of step functions
• Hadamard grade of power series
• Hadamard products of algebraic functions
• scientific article; zbMATH DE number 4136093 (Why is no real title available?)
• scientific article; zbMATH DE number 4156596 (Why is no real title available?)
• scientific article; zbMATH DE number 1268810 (Why is no real title available?)
• scientific article; zbMATH DE number 3380631 (Why is no real title available?)
• Hypergeometric solutions of linear recurrences with polynomial coefficients
• Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
• Monodromy for the hypergeometric function \(_ nF_{n-1}\)
• Multivariate Apéry numbers and supercongruences of rational functions
• On Christol’s conjecture
• Sur les séries de Taylor n'ayant que des singularites algebrico- logarithmiques sur leur cercle de convergence
• The diagonal of a D-finite power series is D-finite
• The method of creative telescoping
• Transcendence of periods: the state of the art

Cited in

(16)

• Algebraic diagonals and walks: algorithms, bounds, complexity
• Diagonals of rational fractions
• On the \(q\)-analogue of Pólya's theorem
• Algebraic diagonals and walks
• A note on the diagonal theorem of bivariate rational formal power series
• Diagonals of rational functions, pullbacked \(\mathbf{_2F_1}\) hypergeometric functions and modular forms
• scientific article; zbMATH DE number 4136093 (Why is no real title available?)
• scientific article; zbMATH DE number 3966277 (Why is no real title available?)
• Diagonals and semihyperhypersimple sets
• On thick diagonals and their complements
• scientific article; zbMATH DE number 3893515 (Why is no real title available?)
• On the representability of sequences as constant terms
• Algebraicity modulo \(p\) of generalized hypergeometric series \({}_n F_{n - 1}\)
• Algebraic solutions of linear differential equations: an arithmetic approach
• On the diagonals of rational functions: the minimal number of variables
• Hadamard products of algebraic functions

This page was built for publication: On a class of hypergeometric diagonals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027153)