---
title: Finite-Rank Perturbations of Toeplitz Ops
url: https://www.emergentmind.com/topics/finite-rank-perturbations-of-toeplitz-operators
type: topic
---

# Finite-Rank Perturbations of Toeplitz Ops

Searching arXiv for the cited papers to ground the article in current arXiv records.
Finite-rank perturbations of Toeplitz operators concern operators obtained by adding a finite-rank term to a Toeplitz operator, and the subject is markedly sensitive to the underlying function space, symbol class, and operator-theoretic constraint. In the Bargmann–Fock setting, the decisive rigidity statement is that finite-rank Toeplitz operators with function symbols vanish, whereas allowing distributional symbols produces a complete classification by finitely supported jets of delta-masses [1303.2996], [1304.5048]. In Hardy, Bergman, harmonic Bergman, and block Toeplitz settings, finite-rank perturbations are instead described through nearly invariant subspaces, noncommutative symbol calculus, Mellin–Gamma conditions, Blaschke or Blaschke–Potapov factorizations, and finite-rank local boundary modifications [1911.10072], [2011.05414], [1411.0213], [2605.02214], [2506.12757].

## 1. Bargmann–Fock framework and Toeplitz operators with generalized symbols

In the Bargmann–Fock model, one identifies \(\mathbb R^2\cong\mathbb C\) and uses the Gaussian probability measure
\[
dv(z)=\pi^{-1}e^{-|z|^2}dA(z),
\]
with \(dA\) the Lebesgue area measure. The Bargmann–Fock space is
\[
\mathcal F^2=\{f\ \text{entire}:\ \|f\|^2=\int_{\mathbb C}|f(z)|^2\,dv(z)<\infty\},
\]
and its reproducing kernel is \(K_w(z)=e^{z\bar w}\). The orthogonal projection \(P:L^2(dv)\to\mathcal F^2\) acts by
\[
(Pf)(z)=\int_{\mathbb C}K_z(w)\,f(w)\,dv(w).
\]
These formulas fix the canonical Toeplitz structure in the Fock space [1304.5048].

For a distributional symbol \(\mu\in\mathcal D'(\mathbb C)\), one introduces the weighted distribution \(\tilde\mu\) by
\[
\langle\tilde\mu,\phi\rangle=\langle\mu,e^{-|\cdot|^2}\phi\rangle,
\]
and for \(f,g\in\mathrm{Pol}(\mathbb C)\) defines the sesquilinear form
\[
t_\mu(f,g)=\langle\mu,f\overline g\,e^{-|z|^2}\rangle=\langle\tilde\mu,f\overline g\rangle.
\]
Whenever this form is bounded on \(\mathcal F^2\), one obtains a densely defined operator
\[
T_\mu:f\mapsto P(\mu f),
\]
which extends by continuity to \(\mathcal F^2\). If \(\mu\) is actually a function of at most Gaussian growth, this recovers the usual Toeplitz construction [1304.5048].

The function-symbol theory is rigid. For \(F\in\mathfrak D_{1,-}\), where
\[
\forall\,a<0:\quad F(z)=O\!\bigl(e^{|z|^2+a|z|}\bigr)\quad(|z|\to\infty),
\]
Borichev–Rozenblum proved that if the sesquilinear form \(t_F\) has finite rank on reproducing kernels, then \(F\equiv 0\). Equivalently, no nonzero Toeplitz operator with function symbol in \(\mathfrak D_{1,-}\) can have finite rank [1303.2996]. This is the basic rigidity statement against which the distributional theory should be read.

## 2. Finite-rank theorem in the Fock space

The central classification result for finite-rank Toeplitz operators in the Fock space with distributional symbols states that if \(\mu\in\mathcal D'(\mathbb C)\) is such that \(t_\mu\) is bounded on \(\mathcal F^2\), then \(T_\mu\) has finite rank \(N\) if and only if there exist points \(\{z_j\}_{j=1}^M\), integers \(m_j\ge 0\), and constants \(c_{j,\alpha,\beta}\) such that
\[
\mu(z)=\sum_{j=1}^M\sum_{|\alpha|+|\beta|\le m_j}
c_{j,\alpha,\beta}\,\partial^\alpha\bar\partial^\beta\delta(z-z_j),
\qquad
\sum_j(m_j+1)^2=N.
\]
In particular, every finite-rank \(\mu\) is supported on finitely many points and is a finite linear combination of point-masses and their holomorphic and anti-holomorphic derivatives [1304.5048].

This theorem resolves a potential misconception created by the function-symbol zero theorem. In the Fock space, finite-rank Toeplitz operators do exist, but only after enlarging the symbol class from functions to distributions. The two results are complementary rather than contradictory: function symbols in the admissible growth classes yield only the zero finite-rank operator, while distributional symbols yield precisely finitely supported jets [1303.2996], [1304.5048].

The perturbative consequence is explicit. If \(T_0=T(\mu_0)\) is a bounded Toeplitz operator with regular symbol \(\mu_0\), and \(\Delta T\) is any finite-rank operator in \(\mathcal F^2\), then \(\Delta T\), viewed as Toeplitz with distributional symbol \(\nu\), must satisfy the same classification. Hence
\[
T_0+\Delta T=T(\mu_0+\nu),
\]
where \(\nu\) is a finite linear combination of \(\partial^\alpha\bar\partial^\beta\delta\)-terms. Conversely, adding such a \(\nu\) produces a finite-rank upgrade of rank \(\le \sum_j(m_j+1)^2\) [1304.5048]. In this sense, every finite-rank perturbation is localized at finitely many points.

## 3. Gaussian \(\bar\partial\)-estimates and the reduction of singularity order

The proof mechanism in the Fock-space distributional theorem is built on Gaussian-weighted solvability of the \(\bar\partial\)-equation. The key lemma is: if \(q>0\) and \(h\) is a globally defined function satisfying
\[
|\partial^\alpha h(z)|\le C_\alpha e^{-q|z|^2},\qquad |\alpha|\le \ell,
\]
and \(\langle h,z^k\rangle=0\) for all \(k\), then for any \(q'<q/e\) there is an entire function \(u\) with
\[
\bar\partial u=h,\qquad
|\partial^\alpha u(z)|\le C'_\alpha e^{-q'|z|^2},\qquad |\alpha|\le \ell.
\]
One may construct \(u\) by the Cauchy–Green integral
\[
u(z)=-\frac1\pi\int_{\mathbb C}\frac{h(w)}{w-z}\,dA(w),
\]
and control both near-field and far-field contributions to preserve Gaussian decay [1304.5048].

This estimate extends to distributions by convolution with a compactly supported mollifier. If \(\mu\) annihilates all \(z^k\), then one obtains a distributional solution \(\nu\) of \(\bar\partial \nu=\mu\) with one higher order of smoothness and only slightly worse Gaussian decay. The stability is formulated in the distributional topology \(\mathcal D'\) with Gaussian seminorms [1304.5048].

The finite-rank theorem then follows by iteration. Starting from \(\mu\), one chooses a holomorphic polynomial \(p_0\) so that \(p_0(z)\mu\) still annihilates all \(z^k\), solves
\[
\bar\partial \nu_1=p_0(z)\mu,
\]
multiplies again by another polynomial \(p_1\), and repeats. After \(M\lesssim 2N\) steps one reaches \(\nu_M\), which is an actual function in \(\mathcal F^2\). At that point the classical finite-rank theorem for function symbols implies that the resulting function-symbol Toeplitz operator must have zero symbol. Tracing the factorization back shows that \(\mu\) is supported on the common zeros of the chosen polynomials, hence on finitely many points, and admits only a finite jet at each point [1304.5048].

The earlier Borichev–Rozenblum function-symbol theorem uses a different mechanism: the function
\[
\Phi(z)=t_F\bigl(K(\cdot,iz),K(\cdot,-iz)\bigr)
\]
has both a finite-sum entire representation and, via the integral definition, a Fourier-transform representation whose derivatives go to zero at infinity. A convex-geometric argument with Wronskians and Santalo’s inequality then forces linear dependence and finally \(F\equiv 0\) [1303.2996]. Taken together, the two proofs show that finite-rank phenomena in the Fock space are exhausted by finitely supported distributional singularities.

## 4. Hardy-space kernels, near invariance, and finite defect

In the scalar Hardy space \(H^2\), a finite-rank perturbation
\[
R_n=T_\phi+F,\qquad
Ff=\sum_{i=1}^n \langle f,u_i\rangle v_i,
\]
has a kernel with a precise structural property: \(\ker R_n\) is nearly \(S^*\)-invariant with defect at most \(n\), and one may take the defect space to be \(\mathrm{Span}\{v_1,\dots,v_n\}\). The proof uses the commutation \(S^*T_\phi=T_\phi S^*\) and shows that if \(h\in\ker R_n\) with \(h(0)=0\), then \(S^*h\in\ker R_n+\mathrm{Span}\{v_1,\dots,v_n\}\) [1911.10072].

The Chalendar–Gallardo–Partington theorem then represents such nearly \(S^*\)-invariant subspaces with finite defect in terms of backward-shift-invariant subspaces of vector-valued Hardy spaces. If \(M\subset H^2\) is closed and nearly \(S^*\)-invariant with defect \(m\), then either every \(f\in M\) vanishes at \(0\), or every \(f\in M\) admits a decomposition
\[
f(z)=k_0(z)f_0(z)+z\sum_{j=1}^m k_j(z)e_j(z),
\]
with \((k_0,\dots,k_m)\) lying in a closed \((S^*\oplus\cdots\oplus S^*)\)-invariant subspace \(K\subset H^2(\mathbb D,\mathbb C^{m+1})\) [1911.10072]. For rank-one perturbations, this yields explicit model-space-type parametrizations of \(\ker(T_\phi+(\cdot,u)v)\).

The vector-valued Hardy theory parallels the scalar case. For \(\Phi\in L^\infty(\mathbb T,\mathcal L(\mathbb C^m))\) and a rank-\(n\) perturbation
\[
Kf=\sum_{i=1}^n \langle f,G_i\rangle H_i,
\]
the kernel \(\ker(T_\Phi+K)\) is nearly \(S^*\)-invariant with defect at most \(n\) [2005.02255]. In four symbol classes—\(\Phi\equiv 0\), inner multiplier, invertible factorization \(\Phi=F_1^*F_2\), and \(\Phi=\Theta^*\) with \(\Theta\) inner—the defect space can be described explicitly in terms of the perturbation data and transforms of the \(H_i\) [2005.02255].

A further refinement appears for perturbations of \(T_\Phi^*\) on vector-valued Hardy spaces when \(\phi\in H^\infty(\mathbb D)\) is inner with \(\phi(0)=0\) and \(T_\Phi=T_\phi\otimes I_E\). If
\[
P=\sum_{i=1}^k V_i\otimes U_i
\]
and \(\mathcal M\neq 0\) is invariant under \(T_\Phi^*-P\), then \(\mathcal M\) admits the representation
\[
\mathcal M=[\mathcal G,I_E]\,K,
\]
where \(K\subset H^2(\mathbb D,\mathbb C^{p+m})\) is invariant under \(T_\phi^*\oplus T_\phi^*\), and the map \([R,H]\mapsto \mathcal G R+H\) is unitary from \(K\) onto \(\mathcal M\) [2507.05721]. The same framework extends to almost invariant and nearly invariant subspaces with finite defect.

## 5. Bergman and harmonic Bergman finite-rank differences

On the Bergman space \(A^2(\mathbb D)\), finite-rank perturbation questions often appear not for a single Toeplitz operator but for products, commutators, and generalized semicommutators. For quasihomogeneous symbols, Le–Thilakarathna introduced a noncommutative convolution \(\diamond\). If
\[
F(z)=z^m\bar z^n,\qquad G(z)=z^k\bar z^l,
\]
then
\[
(F\diamond G)(z)=\sum_{r=0}^{\min(n,k)}
\frac{n!\,k!}{r!\,(n-r)!\,(k-r)!}\,
z^{m+k-r}\bar z^{n+l-r},
\]
and the main theorem states that for finite sums of quasihomogeneous functions,
\[
\sum_{j=1}^N T_{F_j}T_{G_j}-T_H
\]
has finite rank on \(A^2(\mathbb D)\) if and only if
\[
H(z)=\sum_{j=1}^N (F_j\diamond G_j)(z)
\]
with the right-hand side in \(L^1(D)\) [2011.05414]. In the holomorphic/anti-holomorphic case, \(H\) is characterized as the unique \(C^1\)-function on \(\mathbb C\setminus\{0\}\) solving a first-order PDE system together with a normalization condition [2011.05414].

Dong–Zhou gave a separate complete classification of finite-rank commutators and generalized semicommutators of quasihomogeneous Toeplitz operators on the harmonic Bergman space \(L_h^2(D)\) and on \(A^2(D)\). Their criteria are expressed through Mellin–Gamma formulas and explicit arithmetic cases. On \(A^2(D)\), the situation is rigid: nontrivial finite-rank commutators and generalized semicommutators are always rank \(1\), with range spanned by a single monomial [1411.0213]. On \(L_h^2(D)\), the theory is more flexible: the finite-rank cases admit canonical decompositions, explicit range descriptions, and closed-form rank formulas, and arbitrarily large finite ranks occur in cases (6)–(9) of their classification [1411.0213].

These Bergman-space results indicate a different perturbative geometry from the Fock-space theorem. In the Fock setting, finite-rank Toeplitz operators themselves are classified by delta-jets. In Bergman settings, finite-rank phenomena frequently arise as the defect between operator products and Toeplitz operators with a corrected symbol, or as commutators whose symbol data satisfy exact Mellin constraints.

## 6. Block Toeplitz operators, self-commutators, and finite-rank local perturbations

For scalar Toeplitz operators on \(H^2(\mathbb T)\), Nakazi–Takahashi established that
\[
T_\phi\ \text{is hyponormal and}\ [T_\phi^*,T_\phi]\ \text{has finite rank}
\]
if and only if there exists a finite Blaschke product \(b\in E(\phi)\), and one may choose \(b\) so that \(\deg b=\operatorname{rank}[T_\phi^*,T_\phi]\) [2605.02214]. In the block setting, if \(\Phi\in L^\infty(\mathbb T,M_n)\) and \(E(\Phi)\) contains a constant unitary matrix \(U\), then \(T_\Phi\) is normal; under a mild symbol hypothesis, normality implies that \(E(\Phi)\) contains such a \(U\) [2605.02214].

A partial block-matrix analogue of the Curto–Hwang–Lee conjecture is now available. If \(\Phi\in H^\infty(\mathbb T,M_n)\), \(\Phi^*\) is of bounded type, and \(T_\Phi\) is hyponormal, then
\[
[T_\Phi^*,T_\Phi]\ \text{has finite rank}
\quad\Longleftrightarrow\quad
\exists\ \text{a finite Blaschke–Potapov product }Q\in E(\widetilde\Phi),
\]
where \(\widetilde\Phi=\breve\Phi^*\) and \(\breve\Phi(e^{i\theta})=\Phi(e^{-i\theta})\). Moreover, \(Q\) may be chosen so that
\[
\dim H(Q)=\operatorname{rank}[T_\Phi^*,T_\Phi],
\qquad
H(Q)=H^2(\mathbb C^n)\ominus QH^2(\mathbb C^n).
\]
The proof proceeds through Hankel-operator formulas and Beurling–Lax theory, which converts finite-dimensional range of \(H_{\Phi^*}\) into a finite Blaschke–Potapov model space [2605.02214].

In a matrix-asymptotic direction, local finite-rank perturbations of block Toeplitz matrices have been analyzed through a generalized Widom formula. For a block-tridiagonal Toeplitz matrix \(H_N^0\), modifying only \(O(1)\) boundary blocks yields a perturbation \(P_N\) of rank at most \(2r\). The continuous part of the limit spectrum depends only on the rank \(r\) of the perturbation, while the outliers depend continuously on the local perturbation data \(A,B,C\) [2506.12757]. This separates universal rank-class effects from perturbation-specific discrete spectral motion.

Related rank-\(1\) perturbation models for nonnormal Toeplitz matrices replace the Toeplitz part by \(S^m\) or \(S^m+aS^{m+1}\) and add \(\delta J\), where \(J\) is the all-ones matrix. In these models, the perturbation creates explicit nonzero eigenvalue equations, a defective zero eigenvalue, and a pseudospectral cloud whose geometry is organized by the symbol curves of the unperturbed Toeplitz operators [2401.08129]. In a different operator-theoretic application, finite-rank perturbations \(\mathcal T=T+K\) of semi-infinite Toeplitz operators with \(\operatorname{rank}K\le r\) arise from finite-difference boundary conditions; under dissipativity of the Toeplitz symbol and a weak Kreiss–Lopatinskii condition allowing finitely many simple zeros on the unit circle, \(\mathcal T\) is power bounded [2102.03066].

Taken together, these results show that finite-rank perturbations of Toeplitz operators are best understood as a family of classification problems rather than a single theorem. In the Fock space they are exhausted by finitely supported distributional jets; in Hardy spaces they are encoded by finite defect and near invariance; in Bergman settings they are governed by explicit symbol calculus and Mellin identities; and in block or matrix settings they are tied to Blaschke–Potapov models, boundary transfer matrices, and outlier spectral equations [1304.5048], [1911.10072], [2011.05414], [2605.02214], [2506.12757].

Source: https://www.emergentmind.com/topics/finite-rank-perturbations-of-toeplitz-operators