Cylindrical Wigner Measures

Updated 3 March 2026

Cylindrical Wigner measures are generalized quasi-probability distributions that encode classical information from quantum states in systems with infinite-dimensional or compact phase spaces.
They are defined through projective families of finite Radon measures on finite-dimensional quotients, ensuring convergence of Weyl symbol expectation values under moment bounds.
These measures underpin rigorous semiclassical analysis in many-body physics and quantum error correction, especially for modular systems like GKP codes.

A cylindrical Wigner measure is a generalized quasi-probability distribution capturing the semiclassical limit of quantum states in infinite-dimensional or phase spaces with cylindrical topology. These measures encode the classical probabilistic information implicit in families of quantum states, particularly in systems where traditional phase-space methods (e.g. the standard Wigner function on $\mathbb{R}^{2d}$ ) are inadequate due to either infinite-dimensionality (quantum fields, many-body systems) or compact/periodic configuration spaces (angles, modular variables, tori, or lattice codes). The framework of cylindrical Wigner measures is essential for the rigorous mathematical analysis of quantum-classical correspondences in large systems and for studying phenomena such as quantum error correction with discrete or periodic symmetries.

1. Mathematical Definition and Structure

Let $V$ denote a real, locally convex topological vector space (TVS), typically the test function space for a quantum field, with continuous dual $V'$ equipped with a nondegenerate symplectic form $\sigma: V' \times V' \to \mathbb{R}$ . The Weyl $C^*$ -algebra $\mathcal{W}_h(V',\sigma)$ is generated by unitaries $W_h(\xi)$ obeying the Weyl relations: $W_h(\xi) W_h(\zeta) = \exp(-i h \sigma(\xi,\zeta)) W_h(\xi+\zeta).$ A quantum state $\omega_h$ is called regular if for each $\xi \in V'$ the map $t \mapsto \omega_h(W_h(t\xi))$ is continuous. The generating functional $\mathcal{G}_{\omega_h}(x) = \omega_h(W_h(x))$ acts as a noncommutative Fourier transform.

A cylindrical Wigner measure $M$ on $V$ is a projective family $(\mu_\phi)_{\phi \in \mathcal{F}(V)}$ of finite Radon measures $\mu_\phi$ on finite-codimensional quotients $V/\phi$ , with compatibility under projections. Its characteristic functional $\widehat{M}: V' \rightarrow \mathbb{C}$ is continuous on each finite-dimensional subspace and positive-definite. For any semiclassical family $\{\omega_h\}_{h > 0}$ of quantum states, along subnets $h_\beta \to 0$ , one obtains: $\lim_{\beta \to \infty} \omega_{h_\beta}(\mathrm{Op}_{h_\beta}(f)) = \int_{V/\phi} f_\phi(w) \, d\mu_\phi(w),$ for any cylindrical symbol $f$ based on $\phi$ (Falconi, 2016, Falconi, 2017).

2. Cylindrical Structures and Spectral Decomposition

Cylindrical Wigner measures are intrinsically linked to phase spaces with a mix of continuous and discrete (compact) variables, such as the phase space $S^1 \times \mathbb{R}$ (angle and angular momentum), $S^1 \times \mathbb{Z}$ (“modular variables”), or multidimensional generalizations. In such cases, observables (e.g., angle and angular momentum) constitute non-canonically conjugate pairs with distinct spectral properties:

Angle variables are periodic (compact), with spectra in $S^1$ or $[0,2\pi)$ .
Angular momentum or modular variables are integer-valued (discrete, $\mathbb{Z}$ -spectrum).

Phase-point operators (Stratonovich–Weyl kernels) and displacement operators are constructed so that the Wigner measure is defined on the total cylindrical phase space, with modular commutation relations such as $[\hat{\bar{x}}, (2\pi/l) \hat{N}] = i$ (for modular coordinates $\bar{x}$ , integer variables $n$ ) (Fabre et al., 2020, Kastrup, 2016, Kastrup, 2017).

3. Properties and Characterization

Cylindrical Wigner measures inherit key a priori properties from their quantum progenitors:

Normalization: $M(0) = \lim_{h \to 0} \omega_h(1)$ .
Positivity: Each marginal $\mu_\phi$ is a positive Radon measure.
Continuity: The Fourier transform is continuous on every finite-dimensional subspace.
Moments: If $\limsup_{h\to 0} \omega_h(\mathrm{Op}_h((1+|x|^2)^\delta)) < \infty$ for some $\delta > 0$ , then $\int_{V/\phi} (1+|z|^2)^\delta d\mu_\phi(z) < \infty$ .

Characterizations include:

Convergence of expectation values for cylindrical quantizations on finite-dimensional quotients.
Equivalence (under no mass loss) between convergence of Weyl symbol expectation values, operator expectation values, and moment (integral) convergence.
Tightness on finite-dimensional quotients, leading to Radon measures under additional concentration/moment bounds (Falconi, 2016, Falconi, 2017, Ammari et al., 2014).

4. Infinite-Dimensional and Modular Generalizations

In infinite-dimensional systems (e.g., quantum fields, many-body systems), Wigner measures must be defined via cylindrical test functions: functions depending only on finitely many coordinates, typically Schwartz functions on the range of finite-rank projections $P: H_0 \to \mathbb{R}^n$ . The Wigner functional is then defined via duality with these cylindrical functions, producing a cylindrical distribution or a family of compatible finite-dimensional Wigner functions (Ammari et al., 2010, Ammari et al., 2011).

For modular/cylindrical quantum systems (e.g., in the study of GKP codes or grid states), the double-cylinder phase space $(S^1_{\bar{x}} \times \mathbb{Z}_n) \times (S^1_{\bar{p}} \times \mathbb{Z}_m)$ formalizes the phase space structure most naturally, and the modular Wigner distribution $W_\rho(n,m;\bar{x},\bar{p})$ carries the complete specification of the state on this phase space (Fabre et al., 2020).

5. Propagation and Concentration of Measures

Under quantum dynamics in the mean-field or semiclassical regime, families of quantum states propagate, and so do their associated cylindrical Wigner measures. Under suitable moment bounds (notably on the number operator), these measures maintain tightness and are pushed forward under the associated classical nonlinear flow (e.g., Hartree or Klein–Gordon–Schrödinger evolution). The measure transport property,

$\mu_t = \Phi(t,0)_* \mu_0,$

holds at the infinite-dimensional level, extending the Liouville theorem to the setting of cylindrical Wigner measures (Ammari et al., 2014, Ammari et al., 2010, Ammari et al., 2011). Uniqueness of the propagating measure and concentration onto genuine Radon measures (e.g., on subspaces of a Hilbert or nuclear space) require additional regularity and moment conditions (Falconi, 2017).

6. Applications and Physical Relevance

Cylindrical Wigner measures are central in the semiclassical analysis of bosonic systems, with applications including:

Mean-field limits and quantum-classical correspondence in many-body and field-theoretic settings.
Quantum error correction codes that invoke modular or lattice symmetries, such as GKP grid codes; double-cylinder Wigner functions make syndrome extraction and error propagation manifest in phase space (Fabre et al., 2020).
High-temperature or thermodynamic limits of quantum gases, where limiting Gibbs states concentrate on non-Hilbert (typically Sobolev-negative) scales and necessitate the use of cylindrical measures (Falconi, 2016, Falconi, 2017).
Variational and dynamical problems, including ground-state energy limits and propagation under interacting field or particle dynamics.

7. Comparison with Planar and Discrete Cases

While standard Wigner functions are defined on $\mathbb{R}^{2d}$ and intimately associated with the Heisenberg–Weyl group, cylindrical Wigner functions on, for example, $S^1 \times \mathbb{R}$ , are associated with the Euclidean group $E(2)$ . The sinc (“Whittaker cardinal”) function mediates between continuous classical variables ( $p \in \mathbb{R}$ ) and discrete quantum numbers ( $m \in \mathbb{Z}$ ), interpolating the angular momentum spectrum and capturing the structural differences between classical and quantum phase spaces. Marginal distributions recover quantum probabilities uniquely via appropriate integrals or interpolations with respect to these kernels (Kastrup, 2016, Kastrup, 2017). Negative values in the Wigner function signal nonclassical features such as superpositions and interference.

References:

(Falconi, 2016) M. Falconi, "Cylindrical Wigner measures"
(Falconi, 2017) M. Falconi, "Concentration of cylindrical Wigner measures"
(Ammari et al., 2010) Z. Ammari, F. Nier, "Mean field propagation of Wigner measures and BBGKY hierarchies for general bosonic states"
(Ammari et al., 2014) Z. Ammari, M. Falconi, "Wigner measures approach to the classical limit of the Nelson model: Convergence of dynamics and ground state energy"
(Ammari et al., 2011) Z. Ammari, F. Nier, "Mean field propagation of infinite dimensional Wigner measures with a singular two-body interaction potential"
(Fabre et al., 2020) N. Fabre, A. Keller, P. Milman, "Wigner distribution on a double cylinder phase space for studying quantum error correction protocol"
(Kastrup, 2016) H. A. Kastrup, "Wigner Functions for the Pair Angle and Orbital Angular Momentum"
(Kastrup, 2017) H. A. Kastrup, "Wigner functions for angle and orbital angular momentum: Operators and dynamics"