Salvato in:
Dettagli Bibliografici
Autori principali: Harder, Andrew, Kramer-Miller, Joe
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:https://arxiv.org/abs/2504.10354
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_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