Hilbert–Schmidt Estimate in Weyl Quantization

• The paper establishes an isometry between the L²-norm of symbols and the Hilbert–Schmidt norm of their Weyl quantization, offering precise operator estimates.
• It demonstrates how Weyl quantization converts phase-space symbols into integral operators via explicit kernel representations, linking to quantum mechanics and harmonic analysis.
• The analysis extends to Schatten-class operators, showing that symbol integrability conditions deterministically characterize operator class memberships across various quantization frameworks.

Hilbert–Schmidt estimates for Weyl quantization provide precise criteria connecting phase-space $L^2$-integrability of pseudodifferential symbols to the operator-theoretic Hilbert–Schmidt property. Weyl quantization is the canonical procedure converting symbols $a(x,\xi)$ on phase space $\mathbb{R}^n_x \times \mathbb{R}^n_\xi$ (or more generally on cotangent bundles) into operators acting on $L^2(\mathbb{R}^n)$, with extensive applications in harmonic analysis, quantum mechanics, and microlocal analysis. The Hilbert–Schmidt norm identity establishes an explicit isometry between the $L^2$-norm of the symbol and the Hilbert–Schmidt norm of its Weyl quantization, with normalization constants depending on the underlying space and quantization convention.

1. Weyl Quantization: Formalism and Kernel Representation

Weyl quantization $\operatorname{Op}^W(a)$ for a tempered distribution $a \in \mathcal{S}'(\mathbb{R}^{2n})$ is defined by the bilinear pairing

$$\langle \operatorname{Op}^W(a)\,\varphi, \psi \rangle_{L^2} = \iint_{\mathbb{R}^{2n}} a(x,\xi)\,\mathcal{W}(\psi,\varphi)(x,\xi)\;dx\,d\xi,$$

where $\mathcal{W}(\psi,\varphi)$ is the cross–Wigner distribution

$$\mathcal{W}(\psi,\varphi)(x,\xi) = \int_{\mathbb{R}^n} \psi(x+\tfrac{t}{2})\,\overline{\varphi(x-\tfrac{t}{2})}\,e^{-2\pi i\,\xi \cdot t}\,dt.$$

Equivalently, the action on a function $\varphi(y)$ is

$$(\operatorname{Op}^W(a)\varphi)(x) = \iint_{\mathbb{R}^n\times \mathbb{R}^n} a\left(\tfrac{x+y}{2},\xi\right)\,e^{2\pi i\, (x-y)\cdot \xi} \,\varphi(y)\, dy\, d\xi.$$

This realizes $\operatorname{Op}^W(a)$ as an integral operator with explicit kernel constructed from the symbol via (partial) Fourier transform.

2. Hilbert–Schmidt Operators and Exact Norm Formula

An operator $T: L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$ is Hilbert–Schmidt if its kernel $K(x,y)$ belongs to $L^2(\mathbb{R}^{2n})$, with norm

$$\|T\|_{HS} = \left( \iint_{\mathbb{R}^{2n}} |K(x,y)|^2\, dx\, dy \right)^{1/2}.$$

For Weyl quantized operators, if $a \in L^2(\mathbb{R}^{2n})$, then $\operatorname{Op}^W(a)$ is Hilbert–Schmidt. In the normalization where the Fourier exponent is $2\pi i\,\xi \cdot t$, the Hilbert–Schmidt norm admits the sharp identity (Samuelsen, 19 Feb 2025, Dasgupta et al., 2019, Bayer et al., 2019): $$\|\operatorname{Op}^W(a)\|_{HS} = \|a\|_{L^2(\mathbb{R}^{2n})}$$ In conventions where

$$(\operatorname{Op}^w(a) f)(x) = (2\pi)^{-n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i(x - y)\cdot \xi}\, a\left(\tfrac{x+y}{2},\xi\right) f(y) dy d\xi,$$

the norm formula includes the normalization constant: $$\| \operatorname{Op}^w(a) \|_{HS} = (2\pi)^{-n/2} \| a \|_{L^2(\mathbb{R}^{2n})},$$ as corroborated by Plancherel analysis (Bayer et al., 2019).

3. Moyal Identity and Trace Formulae

The exactness of the Hilbert–Schmidt mapping rides on the Moyal identity, which translates operator traces into phase-space integrals. For $a, b \in L^2(\mathbb{R}^{2n})$,

$$\operatorname{Tr}\left( \operatorname{Op}^W(a)^* \operatorname{Op}^W(b) \right) = \iint_{\mathbb{R}^{2n}} \overline{a(z)}\,b(z)\,dz.$$

Taking $b = a$ reproduces the Hilbert–Schmidt norm squared. The operator adjoint structure and Wigner transform pairing ensure orthogonality and correspondence between operator and symbol perspectives (Samuelsen, 19 Feb 2025, Bayer et al., 2019).

4. Schatten $p$-Class Characterization and Paley–Wiener Symbols

A fundamental theorem links symbol integrability to Schatten-class properties for Weyl-quantized operators. If $a\in\mathcal{S}'(\mathbb{R}^{2n})$ with compactly supported symplectic Fourier transform, then for $1\leq p\leq\infty$,

$$\operatorname{Op}^W(a) \in S_p \Leftrightarrow a \in L^p(\mathbb{R}^{2n}),$$

where $S_p$ denotes the Schatten $p$-class. The proof employs the Werner–Young inequality, which provides an operator-convolution norm bound paralleling classical Young’s convolution inequality in $L^p$ spaces, and a division lemma derived from a quantum Wiener’s Tauberian approach (Samuelsen, 19 Feb 2025).

5. Generalizations: Abstract Heisenberg Groups and Manifold Quantization

Extensions to locally compact abelian (LCA) groups and associated Heisenberg groups generalize the Weyl calculus (Dasgupta et al., 2019). For $G$ a second-countable LCA group and symbol $\sigma \in L^2(G \times \widehat{G})$, the $j$-Weyl transform $W_j(\sigma)$ is Hilbert–Schmidt if and only if $\sigma \in L^2(G \times \widehat{G})$. The explicit formula is

$$\|W_j(\sigma)\|_{HS}^2 = C_{j,G}^{-1} \int_{G} \int_{\widehat{G}} |\sigma(x,\chi)|^2\,d\mu_{\widehat{G}}(\chi) d\mu_G(x),$$

where $C_{j,G}$ encodes the Plancherel normalization, reducing to $(2\pi)^{-n}$ for $G = \mathbb{R}^n$.

On (pseudo-)Riemannian manifolds, the balanced geodesic Weyl quantization $\operatorname{Op}_h$ assigns operators to $L^2$-symbols on $T^*M$. For $a \in L^2(T^*M,d\mu)$,

$$\|\operatorname{Op}_h(a)\|_{HS}^2 = (2\pi\hbar)^{-d}\int_{T^*M} |a(z,p)|^2\,d\mu(z,p),$$

where $d\mu(z,p)$ is the Liouville measure induced by the metric. Curvature-dependent prefactors cancel exactly, delivering an isometric $L^2$ correspondence (Dereziński et al., 2018).

6. Variations in Conventions and Quantization Schemes

Normalization factors in the Hilbert–Schmidt estimate depend on the Fourier transform conventions and quantization protocol. For invertible block matrices $A \in \mathrm{GL}(2d)$ inducing $A$-quantizations, the Hilbert–Schmidt norm for $\sigma \in L^2(\mathbb{R}^{2d})$ becomes

$$\| \sigma^A \|_{HS} = |\det A|^{-1/2} \|\sigma\|_{L^2(\mathbb{R}^{2d})}$$

(Bayer et al., 2019). For the classical Weyl case, $\det A_{1/2} = 1$. This interplay between algebraic data and analytic normalization is central to formulating Plancherel-type identities for operator ideals.

7. Significance and Applications

The Hilbert–Schmidt norm identity for Weyl quantization ($L^2$-symbol $\mapsto$ HS operator, norm preservation) underpins pseudodifferential analysis, operator theory in phase space, and quantum harmonic analysis frameworks. Schatten-class equivalence establishes a sharp, ideal-theoretic correspondence between functional and operator spaces. Generalizations to non-Euclidean contexts (Heisenberg groups, curved manifolds) confirm the robustness of these identities across analytic, representation-theoretic, and geometric settings (Samuelsen, 19 Feb 2025, Dasgupta et al., 2019, Dereziński et al., 2018, Bayer et al., 2019). A plausible implication is that quantization schemes preserving such norm identities are structurally privileged for spectral and functional calculus applications.