---
title: 'Biorthogonal Formalism: Theory & Applications'
url: https://www.emergentmind.com/topics/biorthogonal-formalism
type: topic
---

# Biorthogonal Formalism: Theory & Applications

Searching arXiv for recent and foundational papers on biorthogonal formalism across quantum mechanics, operator theory, and signal processing.
Biorthogonal formalism denotes a family of constructions in which the role of an orthonormal basis is replaced by a pair of dual families linked by a bilinear or sesquilinear pairing. In quantum mechanics, this replacement is used when a non-Hermitian but diagonalizable operator has real or complex eigenvalues and complete right and left eigenvectors; orthogonality in the original inner product is then replaced by biorthogonality, and observables, probabilities, density operators, and dynamics are reformulated accordingly [1308.2609]. In operator theory, the same idea appears through biorthogonal families, $\mathcal D$-quasi bases, $\mathcal G$-quasi bases, generalized Riesz systems, and reproducing-kernel systems [1802.09559]. In signal analysis, it appears as a synthesis-analysis exchange between a localized nonorthogonal family and its biorthogonal dual, yielding exact yet sparse representations for band-limited finite signals [1207.0632]. Across these settings, the common structure is a dual pairing, a resolution of identity or weak reconstruction formula, and a transfer of spectral or expansion data between a space and an appropriate dual system.

## 1. Finite-dimensional quantum formulation

In finite-dimensional biorthogonal quantum mechanics, one works on an $N$-dimensional complex Hilbert space $H$ with dual $H^*$ and assumes that all operators under consideration are diagonalizable with $N$ distinct eigenvalues, so that no Jordan blocks arise [1308.2609]. If $A$ is a linear operator on $H$ with nondegenerate real spectrum $\{a_n\}$, its right eigenvectors $\phi_n\in H$ satisfy
$$
A\,\phi_n=a_n\,\phi_n,
$$
while the eigenvectors $\chi_n\in H$ of the ordinary Hermitian adjoint $A^\dagger$ satisfy
$$
A^\dagger\,\chi_n=a_n\,\chi_n.
$$
The defining relation is the biorthonormality condition
$$
\langle\chi_m\mid\phi_n\rangle=\delta_{mn},
$$
together with completeness,
$$
\sum_{n=1}^N |\phi_n\rangle\langle\chi_n|=\mathbb 1_H.
$$

This structure immediately yields an operator expansion. Any linear operator $B:H\to H$ admits
$$
B=\sum_{m,n=1}^N B_{mn}\,|\phi_m\rangle\langle\chi_n|,
\qquad
B_{mn}=\langle\chi_m|B|\phi_n\rangle,
$$
and in particular
$$
A=\sum_n a_n\,|\phi_n\rangle\langle\chi_n|.
$$
The formalism therefore replaces the ordinary spectral resolution by a right-left decomposition on the biorthogonal basis.

A metric operator is then introduced as
$$
\eta=\sum_{n=1}^N |\chi_n\rangle\langle\chi_n|,
\qquad
\eta^{-1}=\sum_n |\phi_n\rangle\langle\phi_n|.
$$
With the $\eta$-inner product
$$
\langle\psi|\phi\rangle_\eta=\langle\psi|\eta|\phi\rangle,
$$
the right eigenvectors become orthonormal:
$$
\langle\phi_m|\phi_n\rangle_\eta=\delta_{mn}.
$$
In this setting, a normalized pure state $|\psi\rangle=\sum_n c_n|\phi_n\rangle$ satisfies $\langle\psi|\psi\rangle_\eta=1$, equivalently $\sum_n |c_n|^2=1$, and the probability of outcome $a_n$ is
$$
p_n=|\langle\chi_n|\psi\rangle|^2=|c_n|^2.
$$
For an observable $B$ whose matrix in the $\phi$-$\chi$ basis satisfies $B_{mn}=(B_{nm})^*$, the expectation value is
$$
\langle B\rangle_\psi=\langle\psi|B|\psi\rangle_\eta=\sum_{m,n} c_m^*\,B_{mn}\,c_n.
$$

The same framework extends to projectors and mixed states. The projector onto the $\phi_n$-ray is
$$
P_n=|\phi_n\rangle\langle\chi_n|,
$$
with $P_nP_m=\delta_{nm}P_n$ and $\sum_n P_n=\mathbb 1$. A density operator has the expansion
$$
\rho=\sum_{m,n}\rho_{mn}\,|\phi_m\rangle\langle\chi_n|,
$$
with $\rho_{mn}=\rho_{nm}^*$, eigenvalues $\ge 0$, and $\mathrm{tr}_\eta\,\rho=1$; its expectation of $B$ is $\mathrm{tr}_\eta(\rho B)=\sum_{m,n}\rho_{mn}B_{nm}$ [1308.2609].

A concrete two-level realization is given by
$$
A=\begin{pmatrix}1 & a\\ 0 & 2\end{pmatrix},
\qquad a\in\mathbb R\setminus\{0\},
$$
with right eigenvectors $\phi_1=(1,0)^T$, $\phi_2=(a,1)^T$ and left eigenvectors $\chi_1=(1,-a)$, $\chi_2=(0,1)$. The associated metric is
$$
\eta=
\begin{pmatrix}
1+a^2 & -a\\
-a & 1
\end{pmatrix},
$$
and in the $\eta$-inner product the $\phi$’s become orthonormal [1308.2609].

The ordinary Hermitian theory is recovered when $A^\dagger$ and $A$ share the same eigenvectors, so that $\phi_n=\chi_n$, $\eta=\mathbb 1$, and the biorthogonal basis coincides with an orthonormal one [1308.2609]. This identifies the biorthogonal formalism not as a distinct kinematics unrelated to standard quantum mechanics, but as a relaxation of Hermiticity under the assumptions of diagonalizability, completeness, and suitable spectral reality.

## 2. Infinite-dimensional operator-theoretic extensions

In infinite-dimensional Hilbert spaces, biorthogonal formalism is typically developed through sequences $\{\varphi_n\}$ and $\{\psi_n\}$ satisfying
$$
\langle\psi_m,\varphi_n\rangle=\delta_{mn},
\qquad m,n=0,1,2,\dots
$$
or, with alternate inner-product conventions, $(\varphi_n,\psi_m)=\delta_{nm}$ [1802.09559]. Here the principal issue is not merely biorthogonality but the strength of reconstruction, the domains on which expansions hold, and whether the systems are bases, quasi bases, or generalized Riesz systems.

A central notion is that of $\mathcal D$-quasi bases. For a dense subspace $\mathcal D\subset\mathcal H$ such that
$$
\{\varphi_n\}\cup\{\psi_n\}\subset\mathcal D\subset\mathcal D(\varphi)\cap\mathcal D(\psi),
$$
the two families are called $\mathcal D$-quasi bases if for all $x,y\in\mathcal D$,
$$
\sum_{n=0}^\infty\langle x,\varphi_n\rangle\langle\psi_n,y\rangle
=
\langle x,y\rangle
=
\sum_{n=0}^\infty\langle x,\psi_n\rangle\langle\varphi_n,y\rangle.
$$
This reproducing formula implies that both linear spans are dense in $\mathcal H$ at least when the series converge in the norm of $\mathcal H$, and it ensures weak reconstruction on $\mathcal D$ [1802.09559].

The associated sesquilinear forms are
$$
Q_\varphi(x,y)=\sum_{n=0}^\infty \langle x,\varphi_n\rangle\langle\varphi_n,y\rangle,
\qquad
Q_\psi(x,y)=\sum_{n=0}^\infty \langle x,\psi_n\rangle\langle\psi_n,y\rangle.
$$
Each is a densely defined, closed, positive sesquilinear form, and by the representation theorem there are unique positive self-adjoint operators $K_\varphi$ and $K_\psi$ with
$$
Q_\varphi(x,y)=\langle K_\varphi^{1/2}x,K_\varphi^{1/2}y\rangle,
\qquad
Q_\psi(x,y)=\langle K_\psi^{1/2}x,K_\psi^{1/2}y\rangle.
$$
This transfers biorthogonal data into operator-theoretic objects that resemble metric operators but are defined by closed forms rather than finite sums [1802.09559].

Another important notion is the generalized Riesz system. A sequence $\{\varphi_n\}$ is a generalized Riesz system if there exist an orthonormal basis $\{e_n\}$ and a closed, densely defined operator $T$ with densely defined inverse such that
$$
\varphi_n=Te_n,
\qquad
\psi_n=(T^{-1})^*e_n.
$$
Under suitable domain assumptions, a biorthogonal pair that is also a $\mathcal D$-quasi basis is equivalent to such a generalized Riesz realization [1802.09559]. This provides a similarity transform from orthonormal spectral data to nonorthogonal physical data.

A related weakening is the $\mathcal G$-quasi basis. If $\mathcal G\subset\mathcal H$ is dense, two biorthogonal sets are $\mathcal G$-quasi bases if, for all $f,g\in\mathcal G$,
$$
(f,g)
=
\sum_{n=0}^\infty (f,\varphi_n)(\psi_n,g)
=
\sum_{n=0}^\infty (f,\psi_n)(\varphi_n,g).
$$
When $\mathcal G=\mathcal H$ this is often called a weak resolution of the identity [1702.05049]. The formulation is weaker than basishood on the whole Hilbert space, but it is sufficient for defining non-self-adjoint Hamiltonians with purely point real spectra through the expansion
$$
Hf=\sum_{n=0}^\infty E_n\,(\psi_n,f)\,\varphi_n.
$$

The notion of regularity can be relaxed further. A pair is regular if both $D_\varphi=\mathrm{Span}\{\varphi_n\}$ and $D_\psi=\mathrm{Span}\{\psi_n\}$ are dense; it is semi-regular if only one of the relevant density-and-domain conditions is imposed [1608.04050]. In that case one still obtains generalized Riesz bases for one side of the pair. This suggests that biorthogonal formalism is robust under weakening of basis assumptions, but only at the cost of asymmetric reconstruction and more delicate domain control.

These developments clarify a common misconception: biorthogonality alone is not equivalent to basis completeness, norm convergence of expansions, or bounded metric operators. The operator-theoretic literature distinguishes carefully between biorthogonal bases, regular biorthogonal pairs, semi-regular pairs, $\mathcal D$-quasi bases, $\mathcal G$-quasi bases, and generalized Riesz systems precisely because these properties do not coincide [1702.05049].

## 3. Metrics, pseudo-Hermiticity, and normalization issues

A recurrent theme in biorthogonal formalism is the construction of positive operators that intertwine non-self-adjoint operators with self-adjoint or orthonormal models. In finite dimension, the metric operator is
$$
\eta=\sum_n |\chi_n\rangle\langle\chi_n|,
$$
and the $\eta$-inner product makes the right eigenvectors orthonormal [1308.2609]. In infinite-dimensional settings, analogous operators appear as
$$
S_\varphi=\sum_{n=0}^\infty |\varphi_n\rangle\langle\varphi_n|,
\qquad
S_\psi=\sum_{n=0}^\infty |\psi_n\rangle\langle\psi_n|,
$$
at least on a dense span of eigenvectors, with formal intertwining relations
$$
S_\psi H=H^\dagger S_\psi,
\qquad
S_\varphi H^\dagger=H S_\varphi.
$$
This yields the pseudo-Hermitian relation
$$
H^\dagger=S_\psi H S_\psi^{-1},
$$
and the self-adjoint Hamiltonian
$$
h=S_\psi^{1/2}H S_\psi^{-1/2}
$$
satisfies $h^\dagger=h$ [1702.05049].

For invariant lattice constructions, one seeks a commuting-unitary family $\phi_k=A^k\phi_0$ and a dual family $\psi_k=A^k\psi_0$, with $\psi_0=X\phi_0$ for an intertwiner
$$
X=\sum_{k\in\mathbb Z^N} c_k\,A_1^{k_1}\cdots A_N^{k_N}.
$$
The Fourier-symbol equation
$$
c(p)\,g(p)=1
$$
determines the coefficients via $c(p)=1/g(p)$ when $g(p)\neq 0$ almost everywhere and $1/g(p)\in L^2([0,2\pi]^N)$ [1402.0425]. Under these hypotheses, $X$ is bounded and invertible, the two families are Riesz bases of the closed span, and the weak resolution of the identity becomes
$$
I_{\mathcal H_N}
=
\sum_{k\in\mathbb Z^N} |\phi_k\rangle\langle\psi_k|
=
\sum_{k\in\mathbb Z^N} |\psi_k\rangle\langle\phi_k|.
$$
In the associated pseudo-Hermitian Hamiltonian construction, $X$ serves as the metric, and the “physical” inner product $(f,g)_{\rm phys}:=\langle f,Xg\rangle$ makes the non-Hermitian Hamiltonian self-adjoint [1402.0425].

A more recent controversy concerns the scaling, or gauge, ambiguity of the conventional biorthogonal inner product. If right and left eigenvectors are rescaled as
$$
|\psi_n^r\rangle\to \alpha_n |\psi_n^r\rangle,
\qquad
\langle\psi_n^l|\to \alpha_n^{-1}\langle\psi_n^l|,
\qquad
\alpha_n\in\mathbb C^\times,
$$
the condition $\langle\psi_m^l|\psi_n^r\rangle=\delta_{mn}$ is preserved, but transition probabilities and expectation values defined with the conventional associated-state inner product change under the $\alpha_n$ [2212.06004]. To remove this ambiguity, a gauge-invariant inner product is introduced:
$$
(|\phi\rangle,|\psi\rangle)_G=\langle\phi|G|\psi\rangle,
$$
with
$$
P_n=\frac{|\psi_n^r\rangle\langle\psi_n^l|}{\langle\psi_n^l|\psi_n^r\rangle},
\qquad
G=\sum_{n=1}^N P_n^\dagger P_n.
$$
The operator $G$ is positive and Hermitian, the right eigenvectors become orthogonal under $(\cdot,\cdot)_G$, and expectation values
$$
\langle Q\rangle_G=\frac{\langle\alpha|GQ|\alpha\rangle}{\langle\alpha|G|\alpha\rangle}
$$
are independent of the original scaling choice [2212.06004].

This debate reveals two distinct uses of “metric” in the literature. In some works the metric is a positive operator restoring orthonormality in a fixed biorthogonal basis; in others the emphasis is on eliminating normalization dependence between different admissible biorthogonal bases. A plausible implication is that “biorthogonal formalism” is not a single canonical inner-product prescription but a family of related prescriptions whose equivalence depends on the physical question being asked.

## 4. Non-Hermitian dynamics, topology, and quench theory

For non-Hermitian dynamics, the right-left spectral decomposition is combined with an associated-state construction. If
$$
H|\psi_n^R\rangle=\varepsilon_n |\psi_n^R\rangle,
\qquad
H^\dagger |\psi_n^L\rangle=\varepsilon_n^* |\psi_n^L\rangle,
$$
with
$$
\langle\psi_m^L|\psi_n^R\rangle=\delta_{mn},
\qquad
\sum_n |\psi_n^R\rangle\langle\psi_n^L|=1,
$$
then an arbitrary state $|\phi\rangle=\sum_n c_n|\psi_n^R\rangle$ has associated state
$$
|\widetilde\phi\rangle=\sum_n c_n|\psi_n^L\rangle.
$$
The biorthogonal inner product becomes
$$
\langle \phi,\chi\rangle \equiv \langle\widetilde\phi|\chi\rangle=\sum_n c_n^*d_n,
$$
and the transition probability between $|\psi\rangle$ and $|\phi\rangle$ is
$$
p=
\frac{\langle\widetilde\psi|\phi\rangle\,\langle\widetilde\phi|\psi\rangle}
{\langle\widetilde\psi|\psi\rangle\,\langle\widetilde\phi|\phi\rangle},
\qquad (0\le p\le 1)
$$
[2307.02993].

On this basis one defines an automatically normalized biorthogonal Loschmidt amplitude for the evolution $|\Psi(t)\rangle=e^{-iHt}|\Psi(0)\rangle$:
$$
\mathcal L(t)=
\frac{\langle\widetilde\Psi(0)|\Psi(t)\rangle\langle\widetilde\Psi(t)|\Psi(0)\rangle}
{\langle\widetilde\Psi(t)|\Psi(t)\rangle\langle\widetilde\Psi(0)|\Psi(0)\rangle}.
$$
The intensive rate function is
$$
g(t)\equiv -\frac{1}{N}\ln |\mathcal L(t)|^2,
$$
and zeros of momentum-resolved factors produce non-analytic cusps in $g(t)$, signaling biorthogonal dynamical quantum phase transitions [2307.02993]. The practical recipe is explicit: diagonalize $H$ and $H^\dagger$, expand the initial state in the right basis, form associated states using the same coefficients in the left basis, evolve the state, compute the normalized $\mathcal L(t)$, and identify critical times where $\mathcal L(t_c)=0$ or the rate function becomes non-analytic [2307.02993].

In the non-Hermitian Su-Schrieffer-Heeger model, this formalism produces a half-integer jump in the dynamical topological order parameter
$$
\nu(t)=\frac{1}{2\pi}\int_0^{2\pi} dk\,\partial_k \phi_k^G(t),
$$
a feature that does not appear in self-normalized treatments. The periodicity of biorthogonal dynamical quantum phase transitions depends on whether the critical two-level subsystem oscillates or asymptotically reaches a steady state [2307.02993].

A closely related development in topological transport concerns charge pumping. For a one-dimensional lattice with Bloch Hamiltonian $H(k,t)$ and left/right Bloch eigenvectors $|u_k^R(t)\rangle$, $\langle u_k^L(t)|$, the biorthogonal Berry curvature is
$$
\Omega_{kt}(k,t)
=
-i\Big[
\langle\partial_k u^L|\partial_t u^R\rangle
-
\langle\partial_t u^L|\partial_k u^R\rangle
\Big].
$$
The pumped charge equals the shift of the average position computed with left and right states,
$$
Q=\Delta\bar x^{\,LR}
=
\frac{1}{2\pi}\int_0^T dt\int_0^{2\pi} dk\,\Omega_{kt}(k,t)
=
C,
$$
where $C$ is the biorthogonal Chern number [2401.17564]. When the non-Hermitian skin effect is present, one replaces the Bloch momentum by the generalized Brillouin zone variable $\beta=e^{ik}e^{-\kappa(k)}$, defines the non-Bloch curvature $\Omega_{\theta t}$, and obtains
$$
\Delta\bar x^{\,LR}=C_{\rm nB}.
$$
The key message is explicit: quantized transport in non-Hermitian Thouless pumping arises only when position or current is measured in a biorthogonal sense [2401.17564].

Quench dynamics in PT-symmetric systems adds entanglement and quantum geometry to this picture. With right and left eigenstates, the natural density matrix is
$$
\rho=\sum_n p_n\,|\psi_n^R\rangle\langle\psi_n^L|,
$$
which is generally non-Hermitian, though $\mathrm{Tr}\,\rho=1$ [2507.20155]. The biorthogonal quantum geometric tensor is
$$
{\cal G}_{\mu\nu}^n=
\langle\partial_\mu \psi_n^L|
\bigl(1-|\psi_n^R\rangle\langle\psi_n^L|\bigr)
|\partial_\nu \psi_n^R\rangle,
$$
whose real part defines the metric and whose imaginary part encodes the Berry curvature [2507.20155]. In a PT-broken post-quench regime, observables grow as $e^{2E_I t}$ and the TTC entropy behaves differently in interacting and free-fermion systems: it grows exponentially in generic interacting systems but shows linear decay in the free-fermion special case,
$$
S_{\rm TTC}(t)\approx -2E_I t
\qquad
(\text{free-fermion})
$$
[2507.20155].

These results collectively indicate that in non-Hermitian dynamics the biorthogonal formalism is not merely a notational variant. It changes the definitions of state normalization, transition probabilities, Loschmidt echoes, geometric tensors, pumped charge, and entanglement diagnostics, and in several models it shifts the critical times or topological signatures relative to self-normal prescriptions [2307.02993].

## 5. Signal processing and computational representations

Outside quantum mechanics, biorthogonal formalism appears in an exact and computationally effective form in periodic Gabor analysis. Starting from the classical Gabor family
$$
g_{n,m}(t)=g(t-na)\exp(jmbt),
\qquad
n,m\in\mathbb Z,
\qquad
ab=2\pi,
$$
one truncates to a finite grid of $N_t\times N_\omega=N$ functions. The truncated family is incomplete under periodic boundary conditions, a difficulty tied to the Balian-Low theorem [1207.0632].

The remedy is to periodize the Gabor basis via the Dirichlet kernel
$$
D(t)=\frac{\sin(N\Omega t/2)}{N\sin(\Omega t/2)}
=\frac1N\sum_{k=-(N-1)/2}^{(N-1)/2} e^{jk\Omega t},
\qquad
\Omega=\frac{2\pi}{T},
$$
whose translates form an exact basis for band-limited, $T$-periodic functions. The periodic Gabor functions are then
$$
G_{n,m}(t)=\sum_{i=1}^N g_{n,m}(t_i)\,D(t-t_i).
$$
By construction, the $G_{n,m}(t)$ span exactly the same $N$-dimensional space as the sample-recovery Dirichlet basis, are stable, and bypass the Balian-Low obstruction [1207.0632].

Since the $G_{n,m}$ are nonorthogonal, there exist dual functions $\widetilde G_{n,m}(t)$ such that
$$
\langle G_{n,m},\widetilde G_{n',m'}\rangle=\delta_{n,n'}\delta_{m,m'}.
$$
If the overlap matrix is
$$
S_{ij}=\langle G_i,G_j\rangle,
$$
then the duals are given by
$$
\widetilde G_i(t)=\sum_{j=1}^N (S^{-1})_{ji}G_j(t),
$$
which implies
$$
\langle G_i,\widetilde G_j\rangle=\delta_{ij}.
$$

The key step is the biorthogonal exchange. A signal can be written in the pg basis,
$$
f(t)=\sum_{i=1}^N c_i\,G_i(t),
\qquad
c_i=\sum_{j=1}^N (S^{-1})_{ij}\langle G_j,f\rangle,
$$
or in the dual basis,
$$
f(t)=\sum_{i=1}^N d_i\,\widetilde G_i(t),
\qquad
d_i=\langle G_i,f\rangle.
$$
Because the pg functions are localized in time-frequency, many overlaps $d_i$ vanish or are very small for signals occupying only a subset of the time-frequency plane, whereas multiplication by the dense matrix $S^{-1}$ destroys locality. The formalism therefore exchanges roles: use the localized pg functions only to compute the overlaps, and use the delocalized duals as the synthesis basis. Dropping the small coefficients yields a large compression factor without sacrificing exactness for band-limited, finite-support signals [1207.0632].

A 64-point discrete rectangular pulse on an $8\times 8$ pg grid illustrates the gain. Keeping only the 25 largest overlaps gives reconstruction errors
- DGE error $\|f-f_{\rm rec}\|_2\approx 0.399$,
- pgb error $\|f-f_{\rm rec}\|_2\approx 0.047$,

which is reported as almost an order-of-magnitude improvement [1207.0632].

This setting shows that biorthogonality is not tied intrinsically to non-Hermiticity or quantum observables. It can also be understood as an analysis-synthesis asymmetry: localized, nonorthogonal functions are optimal for coefficient extraction, while their duals are optimal for exact reconstruction.

## 6. Biorthogonality beyond quantum mechanics: kernels, random matrices, and special functions

In reproducing-kernel Hilbert spaces, an exact system $\{v_n\}$ has a unique biorthogonal system $\{w_m\}$ satisfying
$$
\langle v_n,w_m\rangle_H=\delta_{nm}.
$$
However, biorthogonality does not guarantee completeness of the dual system in a general Hilbert space [1005.1197]. The reproducing-kernel setting is exceptional because extra analytic structure constrains this defect. For a class of spaces with a Riesz basis of reproducing kernels, Baranov and Belov identify regimes where the biorthogonal to every exact system is complete and regimes where incomplete biorthogonals exist [1005.1197]. In the notation of their construction, slowly decaying weights force completeness of the biorthogonal system, while rapidly decaying weights permit incomplete biorthogonals.

Biorthogonal ensembles in probability theory are built from families $\{w_i(x)\}$ and $\{v_j(x)\}$ satisfying
$$
\langle w_i,v_j\rangle=\int_I w_i(x)v_j(x)\,dx=\delta_{ij}.
$$
The associated projection kernel
$$
K_n(x,y)=\sum_{i=1}^n w_i(x)\,v_i(y)
$$
is idempotent,
$$
\int_I K_n(x,t)K_n(t,y)\,dt=K_n(x,y),
$$
and generates a determinantal point process through the density
$$
d\mu_n(x_1,\dots,x_n)
=
\frac1{n!}\det[w_i(x_j)]_{i,j=1}^n
\det[v_i(x_j)]_{i,j=1}^n
\,dx_1\cdots dx_n
$$
[2401.10130]. Cafasso and Claeys develop a double-contour construction of such kernels and use it to represent the partition functions of the Log Gamma polymer, the O'Connell-Yor polymer, and the mixed polymer in terms of explicit biorthogonal measures [2401.10130]. They also show that these measures converge to random matrix eigenvalue distributions in small temperature limits.

A different branch of the subject concerns basic hypergeometric biorthogonal functions. Rosengren studies two families built from Rahman’s ${}_{10}W_9$ functions and obtains explicit continuous and discrete biorthogonality measures [1612.05051]. In that framework the inner product is realized either as a contour integral with a specified weight or, under stronger interlacing conditions, as a discrete sum over nodes. The same objects arise in superconformal indices for three-dimensional quantum field theories and in solvable lattice models [1612.05051].

These examples suggest that the most stable abstract core of biorthogonal formalism is the existence of dual families with a reproducing pairing and a corresponding kernel or resolution operator. What changes from field to field is the ambient structure: a Hilbert-space metric in pseudo-Hermitian quantum mechanics, an overlap matrix in signal compression, a determinantal kernel in random matrices, or a contour/discrete measure in special-function theory.

## 7. Conceptual scope and recurring issues

Several recurring themes organize the literature.

First, biorthogonality is weaker than orthonormality but stronger than arbitrary duality. It typically supplies a reconstruction formula, a spectral expansion, or a determinantal kernel, yet it does not by itself imply completeness, boundedness of the metric, or norm-convergent expansions [1005.1197]. This is why the literature develops refinements such as regularity, semi-regularity, $\mathcal D$-quasi bases, $\mathcal G$-quasi bases, and generalized Riesz systems [1608.04050].

Second, the relation between right and left objects is not uniform across applications. In finite-dimensional non-Hermitian quantum mechanics, the left system is usually the eigenbasis of $A^\dagger$ and the metric restores a positive-definite inner product [1308.2609]. In dynamical non-Hermitian settings, associated states carry the same expansion coefficients into the left basis, which makes probabilities and Loschmidt amplitudes automatically normalized [2307.02993]. In signal processing, by contrast, one intentionally separates localization properties between the analysis family and the synthesis family [1207.0632].

Third, metric selection is both a technical and conceptual issue. In pseudo-Hermitian constructions, a positive intertwining operator implements similarity to a self-adjoint Hamiltonian [1702.05049]. In renormalized biorthogonal quantum mechanics, a gauge-invariant operator
$$
G=\sum_n P_n^\dagger P_n
$$
is introduced to remove scaling ambiguities of the conventional biorthogonal inner product [2212.06004]. This suggests that physical predictions may depend on which inner-product structure is regarded as primary.

Finally, the formalism has become increasingly important in non-Hermitian topology and nonequilibrium physics. Quantized charge pumping is guaranteed only under a biorthogonal formalism, with the pumped charge identified with a Chern number or, in the presence of the non-Hermitian skin effect, a non-Bloch Chern number on the generalized Brillouin zone [2401.17564]. Likewise, biorthogonal dynamical quantum phase transitions produce critical times and topological signatures that differ from conventional self-normal approaches [2307.02993]. These developments indicate that, in contemporary usage, “biorthogonal formalism” often marks the point at which a non-Hermitian theory becomes probabilistically and topologically well posed rather than merely algebraically diagonalizable.

Source: https://www.emergentmind.com/topics/biorthogonal-formalism