---
title: 'GRADE: Diagonal and Hadamard Grades'
url: https://www.emergentmind.com/topics/grade
type: topic
---

# GRADE: Diagonal and Hadamard Grades

GRADE refers to a diverse set of frameworks, metrics, and models across multiple domains including algebra, information retrieval, dialogue evaluation, automated grading, benchmarking, and machine learning. The concept typically encodes a notion of "gradation" or "degree"—either as a measure of complexity, capability, or evaluation along structural, algebraic, or computational axes. This article provides an integrated technical overview of GRADE as it appears in algebraic function theory, especially through the notion of diagonal grade and its relation to nilpotent monodromy, hypergeometric functions, Hadamard grade, and notable generating functions [2504.10354].

## 1. Diagonal Grade: Definition and Function Classes

Let $K$ be a number field and consider the formal power series $h(x_0,\dots,x_n) = \sum_{i_0,\dots,i_n\geq 0} a_{i_0,\dots,i_n}x_0^{i_0}\cdots x_n^{i_n}$—a rational or algebraic function with $Q(0)\neq 0$. The **diagonal** of $h$ is the single-variable series:
\[
\Delta_n(h) = \sum_{i \geq 0} a_{i,\dots,i} x^i.
\]
The **diagonal grade** $dg(f)$ of a nonzero $f(x)\in K\llbracket x\rrbracket$ is:
\[
dg(f) = \min\{ n \geq 0 \mid \exists\, h \in K(x_0,\dots,x_n) : f = \Delta_n(h) \}
\]
with $dg(f) = \infty$ if no such $n$ exists. Define $\mathcal{D}_k = \{ f \mid dg(f)\leq k \}$ and $\mathcal{D} = \{ f \mid dg(f) < \infty \}$. Notably, $\mathcal{D}_0$ is the set of rational functions and $\mathcal{D}_1$ is the set of algebraic functions. The diagonal grade thus encodes a hierarchy of function spaces:
\[
\mathcal{D}_0 \subsetneq \mathcal{D}_1 \subsetneq \mathcal{D}_2 \subsetneq \cdots.
\]
This structure formalizes how increasing the number of variables in the rational function "source" allows for greater function-theoretic richness in the resulting univariate series.

## 2. Nilpotent Monodromy and Grade Lower Bounds

Consider a $D$-finite function $f$ with minimal annihilating operator over $K(x)$:
\[
L_f = \partial^r + a_{r-1}(x)\partial^{r-1} + \cdots + a_0(x), \qquad \partial = x\frac{d}{dx}.
\]
Let $M_f$ denote the associated differential module (rank $r$). The local monodromy at $x=0$ decomposes as $U D$, with $U$ unipotent. The **nilpotence index** $Nil(f)$ is the minimal $k$ with $(U-1)^k=0$.

The principal result in this direction states:
\[
\text{If } h \in K\{x_0,\dots,x_n\} \text{ is algebraic (resp.\ rational) and } f=\Delta_n(h), \text{ then}
\]
\[
Nil(f) \leq n+1 \qquad (\text{resp.\ } Nil(f)\leq n).
\]
Consequently, for any $D$-finite $f$,
\[
dg(f) \geq Nil(f).
\]
Thus, the nilpotence of the monodromy yields a fundamental lower bound for the diagonal grade and, by implication, for any related gradation such as the Hadamard grade.

## 3. Diagonal and Hadamard Grade of Hypergeometric Series

For the generalized hypergeometric function:
\[
{}_nF_{n-1}(\alpha_1,\dots,\alpha_n;\, \beta_1,\dots,\beta_{n-1},1\mid x) = 
\sum_{i=0}^\infty
\frac{ (\alpha_1)_i \cdots (\alpha_n)_i }{ (\beta_1)_i \cdots (\beta_{n-1})_i\, (1)_i } x^i,
\]
the diagonal and Hadamard grade can be determined via monodromy. In the non-resonant case with $\beta_1=\cdots = \beta_{n-1}=1$, Levelt's monodromy theorem guarantees the nilpotence index at $x=0$ is $n$. Thus,
\[
Nil\left({}_nF_{n-1}(\tfrac12,\dots,\tfrac12;1,\dots,1\mid x)\right) = n \implies dg(\cdot) \geq n.
\]
On the other hand, the explicit Hadamard factorization yields:
\[
{}_nF_{n-1}(\alpha; 1,\dots,1\mid x) = {}_1F_0(\alpha_1;1\mid x) * \cdots * {}_1F_0(\alpha_n;1\mid x),
\]
where each ${}_1F_0(\alpha_i;1\mid x) = (1-x)^{-\alpha_i}$ is algebraic. This gives an upper bound $hg\leq n$ for the Hadamard grade. For the special case with $\alpha_i=1/2$,
\[
dg({}_nF_{n-1}(\tfrac12,\dots,\tfrac12;1,\dots,1\mid x)) = n = hg({}_nF_{n-1}(\tfrac12,\dots,\tfrac12;1,\dots,1\mid x))
\]
for all $n\geq 1$. This provides strictly increasing sequences of function classes:
\[
\mathcal{D}_0 \subsetneq \mathcal{D}_1 \subsetneq \ldots
\]
and, for Hadamard grade, likewise for the corresponding $\mathcal{H}_k$.

## 4. Hadamard Grade: Definition and Relation

The **Hadamard product** of $f(x) = \sum a_n x^n$ and $g(x) = \sum b_n x^n$ is:
\[
(f * g)(x) = \sum_{n\geq 0} a_n b_n x^n.
\]
The **Hadamard grade** $hg(f)$ is the minimal $k$ (or $\infty$) such that
\[
f = h_1 * h_2 * \cdots * h_k
\]
with all $h_i$ algebraic ($hg(f)=0$ if $f$ is rational). Any Hadamard product of diagonals is again a diagonal, so $hg(f)\geq dg(f)$. The correspondence between nilpotence and Hadamard (or diagonal) grade is precise for the hypergeometric family considered above, and the direct Hadamard decomposition gives $hg=n$ for
\[
{}_nF_{n-1}(\tfrac12,\dots,\tfrac12;1,\dots,1\mid x).
\]

## 5. Apéry's Generating Function and Higher Grade

Apéry’s sequence:
\[
A(n) = \sum_{k=0}^n \binom{n}{k}^2 \binom{n+k}{k}^2, \qquad G(x) = \sum_{n\geq 0} A(n)\,x^n
\]
admits the diagonal representation:
\[
G(x) = \Delta_3\left( \frac{1}{ (1-x_0-x_1)(1-x_2-x_3) + x_0x_1x_2x_3 } \right),
\]
implying $dg(G) \leq 3$. Furthermore, $G(x)$ satisfies Apéry’s third-order Fuchsian ODE with monodromy at $x=0$ a $3\times3$ Jordan block, implying $Nil(G)=3$ and thus $dg(G)=3$. This confirms the existence of $f$ with diagonal grade $>2$, resolving an outstanding question on the strictness of the class inclusions $\mathcal{D}_k$.

## 6. Structural and Theoretical Implications 

The findings substantiate that:
- The diagonal grade provides a strict stratification of $D$-finite functions, with rational $\subsetneq$ algebraic $\subsetneq$ strictly higher diagonal classes.
- Nilpotent monodromy is a sharp lower bound for both diagonal and Hadamard grade, and for classical hypergeometric series of the form ${}_nF_{n-1}(\tfrac12,\dots;1,\dots\mid x)$, both grades equal $n$.
- Hadamard grade, while potentially distinct in general, coincides with diagonal grade in these explicit cases due to direct factorization into algebraic components.
- The explicit computation for Apéry's $G(x)$ demonstrates grade $3$, answering in the affirmative the existence question for higher grades.

## 7. Outlook and Extensions

The presented framework establishes deep connections between the algebraic-combinatorial representation of functions, the monodromy theory of their differential equations, and concrete realizations via diagonals and Hadamard products. These techniques are foundational for the classification and understanding of transcendental numbers, the analytic properties of special functions, and applications in periods, enumerative geometry, and mathematical physics [2504.10354]. The extension of grade computations to wider classes of special functions, generating functions in enumerative combinatorics, and their analogues in $q$-series or multivariate settings remains a stimulating area for future research.

Source: https://www.emergentmind.com/topics/grade