The diagonal and Hadamard grade of hypergeometric functions
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916688976412672 |
|---|---|
| author | Harder, Andrew Kramer-Miller, Joe |
| author_facet | Harder, Andrew Kramer-Miller, Joe |
| contents | Diagonals of rational functions are an important class of functions arising in number theory, algebraic geometry, combinatorics, and physics. In this paper we study the diagonal grade of a function $f$, which is defined to be the smallest $n$ such that $f$ is the diagonal of a rational function in variables $x_0,\dots, x_n$. We relate the diagonal grade of a function to the nilpotence of the associated differential equation. This allows us to determine the diagonal grade of many hypergeometric functions and answer affirmatively the outstanding question on the existence of functions with diagonal grade greater than $2$. In particular, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has diagonal grade $n$ for each $n\geq 1$. Our method also applies to the generating function of the Apéry sequence, which we find to have diagonal grade $3$. We also answer related questions on Hadamard grades posed by Allouche and Mendès France. For example, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has Hadamard grade $n$ for all $n\geq 1$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_10354 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The diagonal and Hadamard grade of hypergeometric functions Harder, Andrew Kramer-Miller, Joe Combinatorics Mathematical Physics Algebraic Geometry Number Theory 11G99, 11B37, 33C20, 34M15, 34M35, 14D05 Diagonals of rational functions are an important class of functions arising in number theory, algebraic geometry, combinatorics, and physics. In this paper we study the diagonal grade of a function $f$, which is defined to be the smallest $n$ such that $f$ is the diagonal of a rational function in variables $x_0,\dots, x_n$. We relate the diagonal grade of a function to the nilpotence of the associated differential equation. This allows us to determine the diagonal grade of many hypergeometric functions and answer affirmatively the outstanding question on the existence of functions with diagonal grade greater than $2$. In particular, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has diagonal grade $n$ for each $n\geq 1$. Our method also applies to the generating function of the Apéry sequence, which we find to have diagonal grade $3$. We also answer related questions on Hadamard grades posed by Allouche and Mendès France. For example, we show that $\prescript{}{n}F_{n-1}(\frac{1}{2},\dots, \frac{1}{2};1\dots,1 \mid x)$ has Hadamard grade $n$ for all $n\geq 1$. |
| title | The diagonal and Hadamard grade of hypergeometric functions |
| topic | Combinatorics Mathematical Physics Algebraic Geometry Number Theory 11G99, 11B37, 33C20, 34M15, 34M35, 14D05 |
| url | https://arxiv.org/abs/2504.10354 |