Wiener Lemma and Spectral Invariance

• Wiener Lemma is a foundational result in harmonic analysis that shows a nonvanishing absolutely convergent Fourier series remains invertible within its Banach algebra.
• It underpins spectral invariance by ensuring that the inverse of such functions or operators also exhibits the same decay and convergence properties.
• Its generalizations to infinite matrices, LCA groups, and noncommutative settings provide practical tools for operator stability, frame theory, and functional calculus.

The Wiener Lemma is a foundational result in harmonic analysis, spectral theory, and operator algebras, encapsulating the principle of spectral invariance for specific Banach algebras, most famously for the algebra of absolutely convergent Fourier series. Over the past century, its influence has propagated through various mathematical domains, leading to a rich tapestry of generalizations—on commutative and noncommutative groups, weighted algebras, sequences of arithmetic or combinatorial interest, operator theory, and beyond. The lemma asserts, in its classical form, that the set of absolutely summable Fourier series is closed under inversion, provided a nonvanishing condition of the function on the maximal ideal space. Contemporary research has revealed versions of the Wiener property for infinite matrices, locally compact abelian groups, group algebras of nilpotent groups, Fourier integral operators, and even for special classes of meromorphic functions (such as Wolff–Denjoy series), unifying a broad variety of analytic and algebraic settings under the rubric of spectral (inverse-closed) Banach subalgebras.

1. Classical Statement and Banach Algebra Formulations

The original Wiener Lemma applies to functions $f$ on the unit circle $\mathbb{T}$ whose Fourier series converge absolutely: $$f(e^{i\theta}) = \sum_{n \in \mathbb{Z}} c_n e^{in\theta}, \qquad \sum_{n \in \mathbb{Z}} |c_n| < \infty.$$ If $f(e^{i\theta}) \neq 0$ for all $\theta$, then $1/f$ also has an absolutely convergent Fourier series, i.e., there exists $(d_n)_{n \in \mathbb{Z}}$ with $\sum |d_n| < \infty$ such that

$$\frac{1}{f(e^{i\theta})} = \sum_{n \in \mathbb{Z}} d_n e^{in\theta}.$$

Equivalently, the Banach algebra $A(\mathbb{T})$ of absolutely convergent Fourier series is inverse-closed in $C(\mathbb{T})$ (Mirotin et al., 2019). This result constitutes the prototypical “spectral invariance” scenario: invertibility in the larger algebra ($C(\mathbb{T})$) implies invertibility in the subalgebra ($A(\mathbb{T})$), provided the function remains nonvanishing.

Wiener's original proof and modern approaches rely on Banach algebra techniques—specifically, Gelfand theory, spectral radius formula, and the structure of the maximal ideal space (Göll et al., 2016). In this framework, invertibility is dictated by the nonvanishing of the Fourier symbol, and the reciprocal function reenters the same algebraic or analytic class.

2. Generalizations and Spectral Invariance

2.1 Infinite Matrices and Weighted Algebras

The Wiener Lemma generalizes to the algebra $B(\mathbb{Z}^d, \mathbb{Z}^d)$ of infinite matrices with prescribed off-diagonal decay: $$\|A\|_{B} = \sup_{k \in \mathbb{Z}^d} \sum_{|i-j|_\infty \geq |k|_\infty} |a(i,j)| < \infty,$$ where $a(i, j)$ are the matrix entries (Sun, 2010). When restricted to Toeplitz matrices, this algebra coincides with the Beurling algebra of absolutely convergent Fourier series. The key theorem shows that $B(\mathbb{Z}^d, \mathbb{Z}^d)$ is inverse-closed in the algebra of bounded operators on weighted sequence spaces $\ell_w^q(\mathbb{Z}^d)$, for any discrete Muckenhoupt $A_q$-weight $w$, making stability and localization under inversion a direct corollary.

2.2 Locally Compact Abelian Groups

In the setting of a second-countable LCA group $G$ with dual $\widehat{G}$, the Wiener Lemma admits a harmonic-analytic reformulation. For a finite complex measure $\mu$ on $G$ and an appropriate family of functions $(\varphi_R)_R$ forming an approximate identity,

$$\mu(\{\mathbf{1}_G\}) = \lim_{R \to \infty} \int_G \varphi_R(x)\,d\mu(x),$$

where each $\varphi_R$ is continuous, normalized at the identity, and vanishes at infinity (Jaming et al., 15 May 2025). If $\varphi_R$ is the inverse Fourier transform of a function in $L^1(\widehat{G})$, then

$$\mu(\{\mathbf{1}_G\}) = \lim_{R \to \infty} \int_{\widehat{G}} \psi_R(\gamma)\,\widehat{\mu}(\gamma)\,dm_{\widehat{G}}(\gamma).$$

Følner sequences in amenable groups provide canonical choices for $(\varphi_R)_R$, yielding a unified approach encompassing both discrete and continuous cases, and facilitating a direct route to point mass recovery from spectral data.

2.3 Noncommutative and Nilpotent Group Algebras

Extensions to noncommutative settings, specifically group algebras of countable discrete nilpotent groups (such as the discrete Heisenberg group $\mathbb{H}$), are established via representation-theoretic and local principles (Göll et al., 2016). In this context, invertibility in $\ell^1(\mathbb{H}, \mathbb{C})$ or $C^\ast(\mathbb{H})$ is characterized by invertibility of the images under all irreducible unitary representations associated with the dual object, often bypassing explicit knowledge of the dual by localizing at primitive ideals. The outcome is that $\ell^1(\Gamma)$, for $\Gamma$ nilpotent and countable, is symmetric and inverse-closed in its enveloping $C^\ast$-algebra.

2.4 Fourier Integral Operators and Noncommutative Generalizations

For certain classes of Fourier integral operators (FIOs), Wiener-type spectral invariance holds in the algebras $A_{\chi, s}$ defined via Gabor matrix decay: $$|G_T(\lambda, \mu)| \leq C(1 + |\mu - \chi(\lambda)|)^{-s},$$ where $G_T$ denotes the Gabor matrix relative to a Parseval Gabor frame and $\chi$ is a symplectic map (Cordero et al., 2012). If $s > 2d$, invertibility of $T$ on $L^2(\mathbb{R}^d)$ in $A_{\chi, s}$ implies $T^{-1}$ lies in $A_{\chi^{-1}, s}$, ensuring spectral invariance within this large class of non-pseudodifferential operators.

3. Subsequence, Arithmetic, and Measure-Theoretic Versions

Recent work by Cuny, Eisner, and Farkas generalizes the Wiener Lemma to sums over subsequences of the integers, particularly primes, polynomial sequences, or their combinations (Cuny et al., 2016). A strictly increasing sequence $(k_n)$ is called “good” if for each $\lambda \in \mathbb{T}$,

$$c(\lambda) := \lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^{N} \lambda^{k_n}$$

exists. For any good subsequence and finite complex Borel measure $\mu$,

$$\lim_{N \to \infty} \frac{1}{N} \sum_{n=1}^N |\widehat{\mu}(k_n)|^2 = \sum_{\lambda, \zeta \in \mathbb{T}} c(\overline{\lambda}\zeta)\, \mu(\{\lambda\})\mu(\{\zeta\}).$$

If $(k_n)$ is “ergodic,” i.e., $c(\lambda)=0$ for $\lambda \neq 1$, the sum reduces to the squared $\ell^2$-norm of the atomic part of $\mu$, mirroring the classical result.

For sequences of arithmetic interest (e.g., $P(n)$, $p_n$, or $P(p_n)$), “Wiener-extremality” can be characterized by explicit number-theoretic properties. For instance, polynomial subsequences are Wiener-extremal if for every modulus $q \geq 2$, $P(r) \not\equiv 0 \pmod{q}$ for some $r$ (Cuny et al., 2016).

This elaboration is robust enough to deduce rigidity and spectral properties for dynamical systems, and to analyze extremal orbits and eigenvectors for power-bounded and contractive linear operators on Hilbert and Banach spaces.

4. Structural Mechanisms and Proof Sketches

In the commutative case, Gelfand theory is central: the invertibility of an element follows from the nonvanishing of its Gelfand transform, which for convolution algebras matches the Fourier transform. The spectral radius formula and Banach algebra machinery are leveraged to lift invertibility from $C(\mathbb{T})$ (or its analogues) back to the Wiener algebra (Göll et al., 2016).

For infinite matrices or weighted sequence algebras, “off-diagonal decay” ensures the $\ell^1$-convolution structure required in Neumann series techniques. In the Fourier integral operator case, composition and inversion formulas are established by controlling decay properties of the associated Gabor matrices, reducing distinctly noncommutative algebras to pseudodifferential operator analogues for which the classical lemma applies (Cordero et al., 2012).

For LCA groups, the proof reduces the analysis of point masses to limits of convolutions with approximate identities, often realized via spectral averages over Følner sets. The duality and Parseval formula facilitate explicit reconstruction of atomic masses from the Fourier transform (Jaming et al., 15 May 2025).

5. Applications: Operator Theory, Sampling, Dynamics, and Beyond

The spectral invariance and inverse-closedness established by Wiener and its generalizations yield powerful applications:

• Operator Stability and Discretizations: Many discretized operator matrices (e.g., from Galerkin schemes) exhibit the decay conditions of Wiener–type algebras, ensuring their inverses inherit quasi-bandlimited structure, which is essential for preconditioning and algorithmic stability (Sun, 2010).
• Frame Theory: Gabor and wavelet frames induce operators whose matrices reside in Wiener classes, so dual frames (arising from inversion) preserve spatial or time-frequency localization properties (Sun, 2010).
• Algebraic Dynamics: Expansiveness of algebraic actions, e.g., $\mathbb{Z}^d$ or $\mathbb{H}$ actions on compact abelian groups, reduces to invertibility of associated polynomials in group convolution algebras, directly governed by Wiener’s lemma (Göll et al., 2016).
• Time-Frequency Analysis and Pseudodifferential Operators: Boundedness, composition rules, and spectral properties in algebras of FIOs and pseudodifferential operators depend on Wiener-type results for their matrix representations (Cordero et al., 2012).
• Functional Calculi for Partial Fraction Expansions: In the context of Wolff–Denjoy series, the “Wiener-type” lemma, up to a linear term, provides explicit inversion formulas for resolvent-type functional calculi, yielding concrete regularizers for operator equations (Mirotin et al., 2019).

6. Limitations, Gaps, and Open Research Directions

Despite its breadth, certain potential Wiener-type extensions remain unproven. In the setting of polynomial return time sequences in ergodic theory, the lack of a “full” polynomial Wiener–Wintner theorem with quantitative estimates currently leaves aspects of spectral analysis open (Cuny et al., 2016). Key open directions include:

• Development of quantitative Wiener–Wintner theorems for polynomial and prime-polynomial averages.
• Extension to multidimensional and non-integer sequences, as well as nonabelian locally compact groups and their ergodic-theoretic and spectral ramifications (Cuny et al., 2016, Jaming et al., 15 May 2025).
• Investigation of spectral invariance in broader classes of group algebras, function spaces, and