Zero Diagonal Spaces in Mathematics

• Zero Diagonal Space is a unifying concept defined by the vanishing of diagonal entries in operators, matrices, or topological sets, with diverse applications.
• In operator theory, zero diagonality isolates bounded operators and idempotents using specific basis-dependent conditions that influence frame theory.
• In finite-dimensional and algebraic settings, zero diagonal constraints yield sharp norm inequalities and classify structures like Leonard pairs through symmetry and orbit properties.

Searching arXiv for the cited papers to ground the response in current records. “Zero diagonal space” denotes several related constructions in contemporary mathematics, unified by the requirement that a diagonal vanish but differing sharply by context. In operator theory, it can mean the class of bounded operators whose diagonal entries are identically zero in some orthonormal basis, or the closed subspace determined by a fixed basis (Loreaux et al., 2014). In finite-dimensional matrix theory it often means the linear subspace of real symmetric or Hermitian matrices with diagonal zero (Einollahzadeh, 2023), or the subspace of zero-diagonal tridiagonal matrices used to study Leonard pairs (Nomura, 2015). In the Terwilliger-theoretic setting of Leonard pairs, it can denote a specific subspace of $\mathrm{Span}\{I,A^*,A,AA^*\}$ characterized by vanishing diagonal entries in an $A^*$-eigenbasis (Nomura et al., 25 Sep 2025). In topology, diagonal terminology shifts from matrix diagonals to the diagonal subset $\Delta\subseteq X^2$; there, “zero-set diagonal,” “$\mathbb{Q}$-diagonal,” and related notions concern how $\Delta$ or $X^2\setminus\Delta$ is represented or controlled (Basile et al., 2011, Feng, 2017). The resulting literature is therefore not a single theory but a collection of structurally analogous theories in operator algebras, matrix analysis, algebraic combinatorics, geometry, integrable systems, and topology.

1. Operator-theoretic zero-diagonal classes

In the operator-theoretic sense, the basic notion is due to Fan’s terminology: “Zero-diagonal operators are those whose diagonal entries are identically zero in some basis” (Loreaux et al., 2014). For a complex Hilbert space $H$ and $T\in B(H)$,

$$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$

For a fixed orthonormal basis $e=\{e_n\}$, the corresponding zero diagonal space is

$A^*$0

a closed subspace of $A^*$1 (Loreaux et al., 2014). By contrast, the intrinsic class

$A^*$2

is not a linear subspace, because the property is existential and basis-dependent (Loreaux et al., 2014).

The most detailed structural results in this direction concern idempotents. If $A^*$3, then relative to

$A^*$4

one has the canonical decomposition

$A^*$5

where $A^*$6 is called the nilpotent part (Loreaux et al., 2014). This block form isolates the deviation from a projection in the off-diagonal corner $A^*$7.

The central characterization is Corollary 2.6 of “Diagonality and idempotents with applications to problems in operator theory and frame theory” (Loreaux et al., 2014): a nonzero idempotent is zero-diagonal if and only if it is not a Hilbert–Schmidt perturbation of a projection. For infinite-rank idempotents, Theorem 2.5 gives a stronger equivalence: the following are equivalent—being not a Hilbert–Schmidt perturbation of a projection, having nilpotent part not Hilbert–Schmidt, satisfying $A^*$8, being zero-diagonal, and possessing summable or absolutely summable diagonals in some basis (Loreaux et al., 2014). This identifies the zero-diagonal class of idempotents through a non-Hilbert–Schmidt size condition on the nilpotent corner.

The same paper also gives an unusually broad diagonal realization theorem: every bounded sequence $A^*$9 is the diagonal of some idempotent on a separable infinite-dimensional Hilbert space (Loreaux et al., 2014). The zero-diagonal case is the special choice $\Delta\subseteq X^2$0. The finite-rank situation is much more rigid: the diagonals of nonzero finite-rank idempotents are precisely the absolutely summable sequences with positive integer sum, so nonzero finite-rank idempotents are never zero-diagonal (Loreaux et al., 2014).

A further motivation comes from frame theory. The same diagonal realization theorem implies that every bounded sequence can appear as $\Delta\subseteq X^2$1 for some dual frame pair in infinite dimensions, because those inner products are encoded as diagonals of certain idempotents (Loreaux et al., 2014). In this sense, the zero-diagonal space of idempotents becomes a tool for describing admissible inner-product patterns of dual frames.

2. Finite-dimensional matrix spaces and norm geometry

In matrix analysis, “zero diagonal space” is usually literal: the linear subspace of matrices whose main diagonal entries vanish. For real symmetric and Hermitian matrices,

$\Delta\subseteq X^2$2

and these are linear subspaces of $\Delta\subseteq X^2$3 and $\Delta\subseteq X^2$4 respectively (Einollahzadeh, 2023). They are also the orthogonal complements of the diagonal subspace $\Delta\subseteq X^2$5 with respect to the Frobenius inner product (Einollahzadeh, 2023).

The paper “Minimum trace norm of real symmetric and Hermitian matrices with zero diagonal” (Einollahzadeh, 2023) studies these spaces through extremal norm inequalities. For nonzero real symmetric $\Delta\subseteq X^2$6 with diagonal zero,

$\Delta\subseteq X^2$7

and the minimum value is exactly $\Delta\subseteq X^2$8 (Einollahzadeh, 2023). For nonzero Hermitian $\Delta\subseteq X^2$9 with diagonal zero,

$\mathbb{Q}$0

and the minimum value is exactly $\mathbb{Q}$1 (Einollahzadeh, 2023). These are sharp lower bounds for the trace norm in terms of the entry-wise $\mathbb{Q}$2-norm.

The extremal matrices are highly structured. In the real symmetric case, $\mathbb{Q}$3 attains the bound $\mathbb{Q}$4 (Einollahzadeh, 2023). In the Hermitian case, extremals are constructed from vectors of $\mathbb{Q}$5-th roots of unity via matrices of the form

$\mathbb{Q}$6

yielding the sharp constant $\mathbb{Q}$7 (Einollahzadeh, 2023). The paper interprets these inequalities dually as spectral-norm bounds for approximation by diagonal matrices: $\mathbb{Q}$8 for symmetric matrices, and

$\mathbb{Q}$9

for Hermitian matrices (Einollahzadeh, 2023). Thus the geometry of the zero-diagonal space is linked directly to the distance from the diagonal subspace.

A different finite-dimensional zero-diagonal problem arises inside the orthogonal group. An $\Delta$0 is a real orthogonal $\Delta$1 matrix whose diagonal entries are zero and whose off-diagonal entries are all nonzero (Bailey et al., 2018). Such matrices exist if and only if $\Delta$2, while symmetric $\Delta$3 exist if and only if $\Delta$4 is even and $\Delta$5 (Bailey et al., 2018). The paper also gives a construction from doubly regular tournaments and uses these matrices to determine when certain bipartite graphs satisfy $\Delta$6 (Bailey et al., 2018). Here the zero diagonal space is the hollow-matrix subspace intersected with a nonlinear orthogonality constraint and a full-support condition off the diagonal.

The 2025 paper “Zeroing Diagonals, Conjugate Hollowization, and Characterizing Nondefinite Operators” pushes this orbit-intersection perspective further (Nicholus, 31 Jul 2025). It proves that for any pair of real traceless matrices $\Delta$7, there exists an orthogonal $\Delta$8 such that $\Delta$9 is hollow and $X^2\setminus\Delta$0 is almost hollow, thereby proving the conjecture of Damm and Fassbender (Nicholus, 31 Jul 2025). It also characterizes real traceless matrices through orthogonal hollowization and relates nondefiniteness to the possibility of orthogonally zeroing specified diagonal entries (Nicholus, 31 Jul 2025). This suggests a broader viewpoint in which zero-diagonal spaces are studied as target slices intersecting orthogonal similarity orbits.

3. Leonard pairs and algebraic zero-diagonal spaces

In algebraic combinatorics, the phrase acquires a more specialized meaning. A Leonard pair is an ordered pair $X^2\setminus\Delta$1 of linear transformations such that each is diagonalizable and irreducible tridiagonal with respect to an eigenbasis of the other (Nomura, 2015, Nomura et al., 25 Sep 2025). The paper “Leonard pairs having zero-diagonal TD-TD form” studies the case in which both matrices are irreducible tridiagonal with all diagonal entries equal to $X^2\setminus\Delta$2 in the same basis (Nomura, 2015). Writing

$X^2\setminus\Delta$3

the relevant space is the intersection of $X^2\setminus\Delta$4 with the tridiagonal locus, and then the subset of pairs that form a Leonard pair (Nomura, 2015).

The main structural criterion is Theorem 1.8: a Leonard pair admits a zero-diagonal TD–TD representation if and only if it is isomorphic to its opposite $X^2\setminus\Delta$5 (Nomura, 2015). At the parameter-array level, this is equivalent to antisymmetry of eigenvalues,

$X^2\setminus\Delta$6

and palindromy of split sequences,

$X^2\setminus\Delta$7

for the indicated ranges (Nomura, 2015). The classification then reduces the zero-diagonal TD–TD locus to Krawtchouk type, Bannai–Ito type with even diameter, and $X^2\setminus\Delta$8-Racah type (Nomura, 2015). Section 7 of that paper gives five explicit matrix families covering all such Leonard pairs up to the stated equivalences (Nomura, 2015).

A second, more intrinsic usage appears in “Spin Leonard pairs and the zero diagonal space” (Nomura et al., 25 Sep 2025). For a Leonard pair $X^2\setminus\Delta$9 with primitive idempotents $H$0, the zero diagonal space is defined by

$H$1

Relative to the $H$2-eigenbasis, this means precisely that the diagonal entries of $H$3 vanish (Nomura et al., 25 Sep 2025). Unlike the matrix subspace $H$4, this is a small subspace attached to a specific Leonard pair inside its Terwilliger algebra.

Its dimension is at most $H$5: if

$H$6

then

$H$7

so $H$8 (Nomura et al., 25 Sep 2025). Moreover, $H$9 if and only if there exist scalars $T\in B(H)$0, not all zero, such that

$T\in B(H)$1

(Nomura et al., 25 Sep 2025). For self-dual Leonard pairs with $T\in B(H)$2, the paper proves that spin is equivalent to the nontriviality of this zero diagonal space (Nomura et al., 25 Sep 2025). It also classifies, across the 13 Leonard-pair types, when $T\in B(H)$3 is nonzero and gives explicit bases in each case (Nomura et al., 25 Sep 2025).

Taken together, these two papers show that in Leonard theory “zero diagonal space” can mean either a large ambient subspace of zero-diagonal tridiagonal matrices (Nomura, 2015) or a canonical low-dimensional subspace inside the Terwilliger algebra of a fixed Leonard pair (Nomura et al., 25 Sep 2025).

4. Geometry, flag manifolds, and diagonal loci

In geometry, the diagonal is not the main diagonal of a matrix but the subset

$T\in B(H)$4

The paper “Representing a point and the diagonal as zero loci in flag manifolds” studies when a point in a generalized flag manifold $T\in B(H)$5, or the diagonal in $T\in B(H)$6, can be realized as the zero locus of a section of a complex vector bundle (Kaji, 2018). For a rank-$T\in B(H)$7 bundle $T\in B(H)$8 and a generic section $T\in B(H)$9, the zero locus $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$0 is a smooth submanifold of codimension $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$1, and its class is the top Chern class $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$2 (Kaji, 2018).

The diagonal problem asks for a rank $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$3 bundle $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$4 with a generic section whose zero locus is exactly $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$5 (Kaji, 2018). In type $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$6, Fulton’s construction yields representability of the diagonal for generalized flag manifolds $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$7 (Kaji, 2018). In type $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$8, the paper proves representability of points for $$T \text{ is zero-diagonal} \iff \exists \text{ an orthonormal basis } \{e_n\}\subset H \text{ such that } \langle Te_n,e_n\rangle =0 \ \forall n.$$9, but shows that the diagonal is not representable when $e=\{e_n\}$0 (Kaji, 2018). The diagonal class is tied to top equivariant Schubert classes and double Schubert polynomials (Kaji, 2018).

This geometric use is formally different from matrix zero-diagonal spaces, but the analogy is explicit: a distinguished diagonal object is characterized by vanishing conditions and by being the zero locus of a section. A plausible implication is that the shared terminology marks a common structural theme rather than a common algebraic formalism.

A still different geometric-spectral role is played by the zero diagonal entry in the AKNS/Zakharov–Shabat system studied in “Matrix Zakharov-Shabat Systems with Zero Diagonal Entry” (Mee, 19 Nov 2025). There,

$e=\{e_n\}$1

so the spectral matrix has a single zero diagonal entry (Mee, 19 Nov 2025). The anticommutation condition $e=\{e_n\}$2 forces the potential to be off-diagonal relative to the $e=\{e_n\}$3-eigenspace decomposition (Mee, 19 Nov 2025). The zero eigenvalue creates a distinguished neutral mode, leading to a nonstandard direct and inverse scattering theory that requires dual Jost solutions and a wedge-product construction to recover the missing analytic solution (Mee, 19 Nov 2025). Through the inverse scattering transform, this yields the initial-value problem for a system of long-wave–short-wave equations (Mee, 19 Nov 2025). Here the “zero diagonal” feature is a spectral singularity built into the Lax pair, rather than a vanishing main diagonal in the usual linear-algebraic sense.

5. Topological diagonal properties

Topology uses diagonal language in yet another way. A space $e=\{e_n\}$4 has a zero-set diagonal if the diagonal

$e=\{e_n\}$5

is the zero-set of a continuous map $e=\{e_n\}$6, that is,

$e=\{e_n\}$7

(Basile et al., 2011). Basile, Bella, and Ridderbos show that if $e=\{e_n\}$8 has a zero-set diagonal and $e=\{e_n\}$9 has countable weak extent, then $A^*$00 is submetrizable (Basile et al., 2011). They also prove that if $A^*$01 has a regular $A^*$02-diagonal and $A^*$03 has countable weak extent, then $A^*$04 condenses onto a second countable Hausdorff space (Basile et al., 2011). In this setting the diagonal is a zero locus in the topological sense, and the relevant separation properties are measured by diagonal degrees such as $A^*$05 and $A^*$06 (Basile et al., 2011).

A related but distinct notion is that of a $A^*$07-diagonal. A space $A^*$08 has a $A^*$09-diagonal if $A^*$10 has a $A^*$11-directed compact cover (Feng, 2017). Feng proves that any compact space with a $A^*$12-diagonal is metrizable, and any Tychonoff space with a $A^*$13-diagonal is cosmic (Feng, 2017). The proof relies on the structure of $A^*$14 under Tukey order and on “BIG” subsets of $A^*$15 (Feng, 2017). This is a diagonal-complement property rather than a matrix-like vanishing condition, but it again treats the diagonal as the central organizing object.

The distinction between zero-dimensionality and stronger diagonal-type properties appears in the 2021 counterexample “A zero-dimensional F-space that is not strongly zero-dimensional” (Dow et al., 2021). That paper constructs a space $A^*$16 that is zero-dimensional and an $A^*$17-space but not strongly zero-dimensional (Dow et al., 2021). Since a Tychonoff space is strongly zero-dimensional if and only if $A^*$18 is zero-dimensional, the example shows that local clopen structure does not force global diagonal-separation behavior in the Čech–Stone compactification (Dow et al., 2021). This topological line of work is conceptually close to diagonal control, but the underlying diagonal is a subset of $A^*$19, not a matrix diagonal.

6. Comparative perspective and recurring themes

Across these literatures, “zero diagonal space” is best understood as a family of context-dependent constructions linked by a common vanishing motif. Some versions are genuine linear subspaces, such as $A^*$20 (Loreaux et al., 2014), $A^*$21 (Nomura, 2015), $A^*$22 and $A^*$23 (Einollahzadeh, 2023), or the hollow subspace underlying OMZD theory (Bailey et al., 2018). Others are orbit-intersection problems, such as orthogonal hollowization (Nicholus, 31 Jul 2025) or the classification of zero-diagonal idempotents by Hilbert–Schmidt perturbation theory (Loreaux et al., 2014). Still others are canonical subspaces attached to structured objects, such as $A^*$24 for Leonard pairs (Nomura et al., 25 Sep 2025). In topology and geometry, the term shifts from vanishing matrix entries to the geometry of the diagonal subset in a product space (Basile et al., 2011, Feng, 2017, Kaji, 2018).

Several recurring features nevertheless stand out. First, basis dependence versus intrinsic structure is central: operator zero-diagonality is basis-dependent (Loreaux et al., 2014), whereas $A^*$25 for fixed $A^*$26 is intrinsic to the chosen coordinate system; Leonard-pair zero diagonal spaces are intrinsic once the pair and its idempotents are fixed (Nomura et al., 25 Sep 2025). Second, zero-diagonal conditions are frequently linked to strong orbit constraints: not being a Hilbert–Schmidt perturbation of a projection (Loreaux et al., 2014), being isomorphic to the opposite (Nomura, 2015), or being traceless under orthogonal similarity (Nicholus, 31 Jul 2025). Third, extremal and reconstruction problems recur: which diagonal sequences are realizable (Loreaux et al., 2014), what norm inequalities are forced by zero diagonal (Einollahzadeh, 2023), which graph patterns admit orthogonal hollow matrices (Bailey et al., 2018), or when a diagonal subset is representable as a zero locus (Kaji, 2018).

This suggests that “zero diagonal space” functions less as a single technical term than as a reusable structural template. In each domain, a diagonal object is singled out, vanishing on that object defines a class or subspace, and the main questions concern realization, classification, rigidity, and approximation. The differences among these settings are substantial, but the shared formal emphasis on annihilating a diagonal remains the unifying principle.