Biorthogonal Eigenfunctions: Theory & Applications

Updated 6 April 2026

Biorthogonal eigenfunctions are pairs of right and left eigenvectors that satisfy ⟨φ_m|ψ_n⟩ = δ_mn, forming dual bases in non-Hermitian settings.
They employ a metric operator to resolve gauge ambiguities, ensuring unambiguous transition probabilities and expectation values in quantum mechanics.
This framework underpins spectral decompositions and quasi-basis expansions, essential for analyzing non-Hermitian Hamiltonians in both finite and infinite dimensions.

A biorthogonal eigenfunction system arises naturally in spectral theory for non-Hermitian, diagonalizable operators, quantum mechanics beyond Hermitian Hamiltonians, and generalizations of orthogonal polynomial theory. When the spectral problem for an operator $H$ is defined on a (possibly infinite-dimensional) Hilbert space but $H\ne H^\dagger$ , the right and left eigenvectors associated to distinct real eigenvalues span dual bases in the space and its dual, related by precise biorthogonality conditions. This concept enables the extension of key features of quantum theory—including spectral decompositions, completeness, functional calculus, and probabilistic rules—to settings where the conventional notion of orthogonality fails.

1. Biorthogonal Eigenfunctions: Definitions and Foundational Properties

Given a diagonalizable operator $H:\mathcal H\to\mathcal H$ with simple real spectrum, the eigenproblem for $H$ is

$H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$

for right eigenvectors $\vert\psi_n\rangle$ , and

$\langle\phi_n\vert\,H = \lambda_n\,\langle\phi_n\vert$

for left eigenvectors $\langle\phi_n\vert$ , which are elements of the dual space $\mathcal H^*$ . The system $\{\vert\psi_n\rangle,\,\langle\phi_n\vert\}$ satisfies:

Biorthonormality: $H\ne H^\dagger$ 0
Completeness: $H\ne H^\dagger$ 1 (identity operator on $H\ne H^\dagger$ 2)

This framework immediately extends standard orthogonality: when $H\ne H^\dagger$ 3 one has $H\ne H^\dagger$ 4 and recovers an orthonormal basis.

Spectral decompositions and functional calculus then take the form

$H\ne H^\dagger$ 5

for analytic $H\ne H^\dagger$ 6 on the spectrum. These statements hold for non-Hermitian $H\ne H^\dagger$ 7 with simple real spectra and a complete set of right and left eigenvectors (Brody, 2013).

2. Gauge Ambiguity and Metric Operators

The biorthogonal formalism faces a scaling (gauge) ambiguity: simultaneous rescalings

$H\ne H^\dagger$ 8

leave $H\ne H^\dagger$ 9 invariant, but affect transition amplitudes and probabilities unless a basis-independent metric is specified. To remove this ambiguity, a unique, positive-definite "metric operator" $H:\mathcal H\to\mathcal H$ 0 (often denoted $H:\mathcal H\to\mathcal H$ 1) is constructed,

$H:\mathcal H\to\mathcal H$ 2

yielding the inner product

$H:\mathcal H\to\mathcal H$ 3

which is completely invariant under gauge transformations. All expectation values and transition probabilities become unambiguous: $H:\mathcal H\to\mathcal H$ 4 where $H:\mathcal H\to\mathcal H$ 5 (Edvardsson et al., 2022).

The set of physical observables is then precisely those $H:\mathcal H\to\mathcal H$ 6 such that $H:\mathcal H\to\mathcal H$ 7, ensuring a real spectrum and $H:\mathcal H\to\mathcal H$ 8-algebra structure. The $H:\mathcal H\to\mathcal H$ 9-inner product also restores (in the Hermitian limit) the standard form $H$ 0.

3. Regularity, Bases, and General Extensions

A regular biorthogonal pair $H$ 1 is one such that both $H$ 2 and $H$ 3 are dense in $H$ 4. The general theory shows that for every regular biorthogonal pair, there exists a unique orthonormal basis $H$ 5 and a non-singular, positive self-adjoint operator $H$ 6 such that

$H$ 7

with $H$ 8 (and hence the associated metric $H$ 9) playing the role of a similarity (or intertwining) operator between the non-Hermitian representation and a Hermitian one (Inoue, 2016). This recovers the quasi-Hermitian quantum mechanics paradigm, where observables and time evolution are Hermitian with respect to the $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 0-inner product.

The ladder (raising and lowering) and number operators constructed via this machinery reproduce shifted commutation relations and act as generalized creation/annihilation operators on the biorthogonal system—the algebra closes on these regular biorthogonal pairs.

Beyond bases, biorthogonal eigenfunction systems in infinite dimensions may form only $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 1-quasi bases—i.e., on a dense subspace $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 2 one retains for all $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 3: $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 4 without guaranteeing a basis property for the whole $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 5. This generalization ensures a weak resolution of the identity (Bagarello et al., 2017), sufficient for many spectral-theoretic and quantum applications where orthonormality or Riesz basis properties fail.

4. Infinite-Dimensional and Concrete Realizations

In infinite-dimensional Hilbert spaces, completeness, closure, and boundedness of the metric operator become subtle. The sums $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 6 and $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 7 may not converge in the operator norm, and the biorthogonal system may fail to be a (Riesz or Schauder) basis. Additional conditions—such as the system being a Riesz basis or satisfying certain Bari conditions—are required for the strong validity of expansions and unitarity of time evolution. Exceptional points (non-diagonalizability) break the construction (Brody, 2013).

Canonical concrete examples include:

Fučík eigenfunctions for Neumann problems: Riesz basis and explicit biorthogonal partner via recurrence relations in $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 8 (Baustian et al., 2022).
Sturm–Liouville operators with singular potentials: Asymptotic expansions for the eigenfunctions and their biorthogonal duals, satisfying $H\,\vert\psi_n\rangle = \lambda_n\,\vert\psi_n\rangle$ 9, with explicit uniform estimates (Savchuk, 2010).
Biorthogonal Laguerre systems: Constructed via biisometric operator pairs $\vert\psi_n\rangle$ 0 in $\vert\psi_n\rangle$ 1, realizing generalized shift symmetries and exact biorthogonality, though the systems generally fail to be Riesz bases (Kubrusly et al., 2019).

Additionally, generalized Riesz systems and biorthogonal rational functions of $\vert\psi_n\rangle$ 2 type establish the reach of the biorthogonal paradigm in approximation theory and spectral problems for tridiagonal pencils. Here, the Gram–Schmidt process on rational subspaces yields simultaneously orthonormal and biorthogonal rational function systems via the Zhedanov method (Behera et al., 2017).

5. Applications in Quantum Mechanics and Operator Theory

Biorthogonal eigenfunctions underpin the extension of quantum mechanics to non-Hermitian or pseudo-Hermitian settings:

In biorthogonal quantum mechanics, the physical content (probabilities, expectation values, time evolution) is formulated via the biorthogonal system and the associated metric operator, ensuring that non-Hermitian Hamiltonians with real spectrum admit a consistent quantum theory (Brody, 2013).
In PT-symmetric and pseudo-Hermitian quantum models, the spectral problem for non-self-adjoint Hamiltonians yields biorthogonal eigenvectors for $\vert\psi_n\rangle$ 3 and $\vert\psi_n\rangle$ 4, which often only form quasi-bases rather than complete bases (Bagarello et al., 2017, Bagarello et al., 2018).
The framework allows for the construction of non-self-adjoint Hamiltonians with real-point spectrum, extension of ladder operators, and the implementation of similarity transformations to map non-Hermitian models into Hermitian ones in a new inner product (Inoue, 2016).

Spectral decompositions, functional calculus, and intertwining relations rely fundamentally on the biorthogonal system and the properties of the associated metric operator and similarity transformations, providing the necessary algebraic and analytic structure for many models in mathematical physics.

6. Open Issues and Physical Significance

Despite the completeness of the mathematical framework, certain aspects warrant further attention:

Physical meaning of Hilbert space representations: As detailed in (Edvardsson et al., 2022), while the metric $\vert\psi_n\rangle$ 5 ensures gauge-independent physical predictions, the assignment of meaning to abstract vectors across inequivalent representations remains Hamiltonian-dependent. In particular, the inner products of such vectors with respect to $\vert\psi_n\rangle$ 6 cannot in general be made simultaneously invariant for different models.
Exceptional points and non-diagonalizability: At coalescence of eigenvalues, the system ceases to be diagonalizable and the biorthogonal construction is invalid—requiring more general treatment (e.g., via Jordan chains).
Infinite-dimensional subtleties: When the system lacks Riesz basis or quasi-basis properties, expansion and closure may only hold in a restricted sense, which limits the scope of certain spectral techniques and quantum mechanical formulations (Brody, 2013, Bagarello et al., 2017).

A plausible implication is that any robust extension of operator theory or quantum theory to non-Hermitian, infinite-dimensional contexts will necessarily involve careful control of the analytic and topological properties of the underlying biorthogonal system and metric structure.

References: