Semiclassical Local Quantization

• Semiclassical local quantization is a framework that derives quantum spectra from local geometric, dynamical, or microlocal data rather than a single global prescription.
• It employs diverse methods—including Bohr–Sommerfeld rules, Berezin–Toeplitz kernels, and symplectic microgeometry—to capture local system dynamics.
• Applications span superconducting systems, spin-orbit interactions, and open quantum phenomena by linking localized asymptotics to global spectral properties.

Semiclassical local quantization is a family of constructions in which quantization is extracted from local data—microlocal neighborhoods of closed classical trajectories, loop single-valuedness conditions in real or momentum space, local symplectic or groupoid generating functions, localized states attached to coadjoint orbits, or local kernel asymptotics—rather than from a single global spectral prescription. Across the literature, “local” denotes several related but non-identical mechanisms: Bohr–Sommerfeld rules derived from a microlocal Wronskian and a Gram matrix, quantization by symplectic micromorphisms and semiclassical Fourier integral operators, localization at moment-map fibers, circulation rules from a localized periodic “clock,” local trajectory holonomies in superconducting or spin-orbit systems, and local scaling asymptotics of Berezin–Toeplitz kernels (Ifa, 7 Aug 2025, Cattaneo et al., 2020, Ziegler, 2013, 1804.01394, Konschelle et al., 2016, Ioos et al., 2017). A parallel minimalistic viewpoint formulates semiclassical quantization through four axioms—normalization, quasi-positivity, non-degeneracy, and a product formula—and proves that the convex hull of the semiclassical spectrum converges to the convex hull of the classical spectrum (Pelayo et al., 2013).

1. Conceptual range and general framework

In the minimalistic formulation of semiclassical quantization, one starts with a connected manifold $M$, a subalgebra $\mathcal A_0\subset C^\infty(M)$ containing constants and compactly supported functions, a family of Hilbert spaces $\mathcal H_h$, and a quantization map assigning to $f\in\mathcal A_0$ a self-adjoint operator $\mathrm{Op}(f)$. The axioms are: $(Q1)$ normalization, $(Q2)$ quasi-positivity, $(Q3)$ non-degeneracy, and $(Q4)$ a product formula $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$ when one factor has compact support (Pelayo et al., 2013). Within this framework, the principal symbol is well defined, and for commuting semiclassical operators the support function of the convex hull of the joint spectrum converges to the support function of the convex hull of the classical image $\mathcal A_0\subset C^\infty(M)$0 (Pelayo et al., 2013).

This generality matters because “local” is instantiated differently in different subfields. In microlocal WKB theory, locality refers to a neighborhood of a closed classical orbit and the associated flux norm (Ifa, 7 Aug 2025). In Souriau-type constructions, locality means localization at a coadjoint orbit $\mathcal A_0\subset C^\infty(M)$1 of a subgroup $\mathcal A_0\subset C^\infty(M)$2, often with a Lagrangian preimage under a moment map (Ziegler, 2013). In symplectic microgeometry, it refers to germs of canonical relations and Fourier integral operators whose wave fronts are symplectic micromorphisms (Cattaneo et al., 2020). In configuration-space path integrals, locality is not postulated but emerges when the projection of global extremal curves onto subregions is surjective, leading to factorization of the semiclassical kernel (Gomes, 2015). This diversity indicates that semiclassical local quantization is best understood as a structural motif rather than a single formalism.

The standard realizations of the minimal axioms include both $\mathcal A_0\subset C^\infty(M)$3-pseudodifferential quantization and Berezin–Toeplitz quantization. On compact Kähler manifolds, Toeplitz operators satisfy the axioms and furnish a quantization in which the convex hull of the joint spectrum converges to the classical momentum image; in toric systems, this gives a short route to isospectrality through the Delzant polytope (Pelayo et al., 2013). This suggests that locality in the symbolic calculus is already sufficient to recover robust global spectral information.

2. Microlocal Bohr–Sommerfeld rules and local kernel asymptotics

A particularly explicit local quantization scheme is developed for a self-adjoint one-dimensional semiclassical pseudodifferential operator $\mathcal A_0\subset C^\infty(M)$4 with symbol $\mathcal A_0\subset C^\infty(M)$5, under the assumption of a closed classical trajectory $\mathcal A_0\subset C^\infty(M)$6 inside a microlocal well (Ifa, 7 Aug 2025). The key object is the microlocal Wronskian

$\mathcal A_0\subset C^\infty(M)$7

which induces a flux norm on local WKB solutions. After normalizing microlocal solutions by this flux and propagating them between the two focal points, one constructs a Gram matrix $\mathcal A_0\subset C^\infty(M)$8. Its determinant is

$\mathcal A_0\subset C^\infty(M)$9

so the non-invertibility of $\mathcal H_h$0 is exactly the quantization condition (Ifa, 7 Aug 2025). In action-angle variables this becomes the Bohr–Sommerfeld rule

$\mathcal H_h$1

with

$\mathcal H_h$2

and an explicit $\mathcal H_h$3 involving $\mathcal H_h$4, $\mathcal H_h$5, and $\mathcal H_h$6 (Ifa, 7 Aug 2025). The method is local in the strong sense that it does not rely on matching across turning points.

A different microlocal locality appears in Berezin–Toeplitz quantization. For a compact symplectic manifold $\mathcal H_h$7, the low-energy spectral cluster $\mathcal H_h$8 of the renormalized Bochner Laplacian $\mathcal H_h$9 plays the role of the quantum space, and the generalized Bergman projector $f\in\mathcal A_0$0 admits off-diagonal decay and a local Gaussian expansion in normal coordinates (Ioos et al., 2017). Toeplitz operators $f\in\mathcal A_0$1 form an algebra with

$f\in\mathcal A_0$2

and for scalar functions

$f\in\mathcal A_0$3

which yields a local associative star product determined by finite jets of the geometry (Ioos et al., 2017).

Local scaling asymptotics sharpen this picture. In Berezin–Toeplitz quantization of a Hamiltonian flow $f\in\mathcal A_0$4, the kernel of the adjusted evolution operator $f\in\mathcal A_0$5 is rapidly decaying away from the graph of the lifted flow and, after scaling $f\in\mathcal A_0$6 and phase-space displacements by $f\in\mathcal A_0$7, it acquires a Bargmann–Fock-type Gaussian profile determined by the linearized symplectic map $f\in\mathcal A_0$8 through the quadratic form $f\in\mathcal A_0$9 and the factor $\mathrm{Op}(f)$0 (Paoletti, 2013). At the trace level, very clean fixed loci and Morse–Bott critical manifolds govern the leading asymptotics (Paoletti, 2013). In chaotic dynamics, a related locality is action-space localization: harmonic inversion resolves resonances from a finite signal $\mathrm{Op}(f)$1, and near action-degenerate periodic-orbit bunches permit a resummation that reduces the classical data set by up to a factor of 20 in the diamagnetic hydrogen atom (Gehrke et al., 2010).

3. Geometric localization: coadjoint orbits, micromorphisms, and symplectic groupoids

Souriau’s original notion of a quantum state as a positive-definite function on $\mathrm{Op}(f)$2 or a large subgroup is sharpened by localization at a coadjoint orbit $\mathrm{Op}(f)$3 of a subgroup $\mathrm{Op}(f)$4 (Ziegler, 2013). A state $\mathrm{Op}(f)$5 of $\mathrm{Op}(f)$6 for a coadjoint orbit $\mathrm{Op}(f)$7 is localized at $\mathrm{Op}(f)$8 when its restriction to $\mathrm{Op}(f)$9 is a quantum state for $(Q1)$0. For a point orbit $(Q1)$1, integrality yields a character $(Q1)$2, and when $(Q1)$3 is Lagrangian, localized states exist and tend to be unique (Ziegler, 2013). In compact groups this singles out highest-weight vectors at extreme points of the momentum polytope; in nilpotent groups it yields unique pure states induced from maximal subordinate subgroups; and in Euclid’s group it attaches plane, spherical, or cylindrical wave states to Lagrangian normal congruences in $(Q1)$4 (Ziegler, 2013). A common misconception is that Souriau’s original definition already solves the localization problem; the cited work shows instead that it is often either too weak or lacks examples, and that explicit localization at subgroup-orbits is the selective ingredient (Ziegler, 2013).

Symplectic microgeometry develops another local quantization in terms of germs. A symplectic micromorphism $(Q1)$5 is a Lagrangian submicrofold whose core is the graph of a smooth map $(Q1)$6 and which satisfies a transversality condition along the core (Cattaneo et al., 2020). For generating functions of the form

$(Q1)$7

the associated semiclassical Fourier integral operator acts by

$(Q1)$8

and composition is controlled by stationary reduction of generating functions (Cattaneo et al., 2020). The operators form a category, the wave front map is a functor to the cotangent microbundle category, and the total symbol calculus is phrased in terms of half-density germs on symplectic micromorphisms (Cattaneo et al., 2020).

Local symplectic groupoids provide a closely related but distinct route. For any smooth Poisson structure $(Q1)$9 on a coordinate space $(Q2)$0, a canonical local symplectic groupoid $(Q2)$1 has a smooth generating function $(Q2)$2 satisfying the symplectic groupoid associativity equation and

$(Q2)$3

Its one-parameter family $(Q2)$4 obeys $(Q2)$5, and the Taylor expansion of $(Q2)$6 at $(Q2)$7 reproduces the Kontsevich tree-level formal family $(Q2)$8 (Cabrera, 2020). The same $(Q2)$9 can be obtained non-perturbatively from the Poisson sigma model by evaluating a modified action $(Q3)$0 on families of classical solutions of a PDE on the disk (Cabrera, 2020). This is a direct realization of semiclassical local quantization by functional methods.

4. Loop, holonomy, and trajectory quantization

One of the clearest real-space local quantization rules appears in zitterbewegung stochastic mechanics. Each particle carries a localized periodic process of rest-frame frequency $(Q3)$1; Lorentz transformation of its phase gives $(Q3)$2, and single-valuedness of the periodic phase around any closed loop $(Q3)$3 at fixed time yields

$(Q3)$4

equivalently $(Q3)$5 (1804.01394). With an external vector potential $(Q3)$6,

$(Q3)$7

This local clock mechanism is proposed as a resolution of Wallstrom’s criticism because the quantization rule is derived from single-valued transport of a localized periodic phase, not imposed by appealing to single-valuedness of $(Q3)$8 (1804.01394).

In ballistic $(Q3)$9 Josephson junctions with magnetic interactions, semiclassical local quantization is formulated by the single-valuedness of the Bogoliubov spinor around a closed Andreev orbit. The spin part is encoded by Andreev–Wilson loop operators

$(Q4)$0

with $(Q4)$1 satisfying classical precession equations and $(Q4)$2 the $(Q4)$3-independent SU(2) eigenphase (Konschelle et al., 2016). The Andreev bound-state spectrum follows from

$(Q4)$4

Only two local ingredients enter: the local precession axis $(Q4)$5 and the global holonomy angle $(Q4)$6 (Konschelle et al., 2016).

For Landau quantization in many-band and spin-orbit-coupled systems, locality is a closed-orbit condition in $(Q4)$7-space. In the Abelian many-band setting,

$(Q4)$8

where $(Q4)$9 is the $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$0-space orbit area, $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$1 the number of turning points, and $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$2 the Berry-phase correction (Ozerin et al., 2012). In the non-Abelian spin-orbit case, the total phase is the eigenphase $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$3 of a Wilson loop $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$4 describing spin transport along the cyclotron orbit, so the generalized Onsager rule is

$\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$5

and for rotating spin-orbit fields the matrix phase can be reduced to an effective static field in a co-rotating frame (Li et al., 2016). A plausible implication is that local holonomy has become the unifying quantity across quite distinct quasiparticle systems.

Polygon billiards provide a real-space analog. For doubly rational polygon billiards, all periods of the unfolded rational polygon Riemann surface are generated by two commensurate real vectors, and the semiclassical wavevector is quantized by

$\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$6

Semiclassical wave functions are finite coherent sums of plane waves on an elementary polygon pattern, and for doubly rational polygon billiards these wave functions are exact (Giller, 2014).

5. Field theory, configuration-space locality, and semiclassical gravity

Semiclassical locality can also be formulated directly at the level of the path integral on configuration space. In a timeless configuration-space framework, a region $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$7 is dynamically independent of its complement when the projection of global extremal curves onto $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$8 is surjective onto the set of extremal curves intrinsic to $\mathrm{Op}(f)\mathrm{Op}(g)-\mathrm{Op}(fg)=O(h)$9, which is summarized heuristically by

$\mathcal A_0\subset C^\infty(M)$00

on the appropriate domain (Gomes, 2015). When two regions are mutually independent in this sense, the semiclassical kernel factorizes and cluster decomposition follows (Gomes, 2015). This is a notion of locality that does not presuppose hyperbolic equations of motion or a fixed causal structure.

In curved-space quantum field theory, stochastic quantization yields a local, covariant semiclassical quantization scheme for matter on a classical background metric. For a real scalar field with nonminimal coupling,

$\mathcal A_0\subset C^\infty(M)$01

the covariant Langevin equation

$\mathcal A_0\subset C^\infty(M)$02

combined with a local momentum-space expansion in Riemann normal coordinates reproduces the Bunch–Parker propagator at first order in curvature,

$\mathcal A_0\subset C^\infty(M)$03

and yields the curved-space effective potential up to $\mathcal A_0\subset C^\infty(M)$04 (Reis et al., 2018). Here “local” refers both to the Langevin dynamics in $\mathcal A_0\subset C^\infty(M)$05 and to the quasilocal curvature expansion.

The same thesis that introduces zitterbewegung stochastic mechanics also derives semiclassical Newtonian gravity and electrodynamics from interacting stochastic particles. In the Hartree limit, the Schrödinger–Newton and Schrödinger–Coulomb systems emerge,

$\mathcal A_0\subset C^\infty(M)$06

and

$\mathcal A_0\subset C^\infty(M)$07

with explicit regimes of validity: weak correlations, factorized states, nonrelativistic velocities, and slowly varying mean fields (1804.01394). The same work argues that the center-of-mass quantum potential scales like $\mathcal A_0\subset C^\infty(M)$08, so macroscopic aggregates recover Newtonian motion when $\mathcal A_0\subset C^\infty(M)$09 is large and $\mathcal A_0\subset C^\infty(M)$10 narrow (1804.01394).

6. Resonances, open systems, and recent extensions

Recent work extends semiclassical local quantization beyond closed Hermitian systems. For the semiclassical magnetic Laplacian $\mathcal A_0\subset C^\infty(M)$11 on $\mathcal A_0\subset C^\infty(M)$12 with a compactly supported magnetic field, local magnetic structures generate long-lived resonances rather than exact bound states. If the magnetic field is locally constant on a disk, resonances occur near the Landau levels $\mathcal A_0\subset C^\infty(M)$13 inside rectangles of the form

$\mathcal A_0\subset C^\infty(M)$14

so the real parts are locally quantized while the imaginary parts are exponentially small tunneling widths (Exner et al., 20 Apr 2026). Curved magnetic steps, non-degenerate magnetic wells, and isolated zeros of the field generate analogous local quantization laws with geometry-dependent energy expansions and exponentially small widths (Exner et al., 20 Apr 2026).

Open quantum systems require a different notion of localization. For a diagonalizable Liouvillian $\mathcal A_0\subset C^\infty(M)$15 with right and left eigenoperators $\mathcal A_0\subset C^\infty(M)$16, the physically motivated coherence measure is the spectral projector

$\mathcal A_0\subset C^\infty(M)$17

or its Hermitian part $\mathcal A_0\subset C^\infty(M)$18 (Thomas et al., 18 Jun 2026). In a product basis, the associated coherence matrix is

$\mathcal A_0\subset C^\infty(M)$19

and for bosons the super Husimi function $\mathcal A_0\subset C^\infty(M)$20 visualizes a mode in a doubled phase space (Thomas et al., 18 Jun 2026). For the linearly damped harmonic oscillator,

$\mathcal A_0\subset C^\infty(M)$21

and the left-right Husimi distribution localizes on pairs of quantized circles of radii $\mathcal A_0\subset C^\infty(M)$22 and $\mathcal A_0\subset C^\infty(M)$23. For general quadratic Liouvillians, it localizes on invariant tori in the doubled phase space (Thomas et al., 18 Jun 2026). This provides an open-system analogue of semiclassical quantization in which complex eigenvalues encode both phase winding and decay.

These developments broaden the scope of semiclassical local quantization without erasing its core feature: quantization remains tied to local geometric or dynamical structures—microlocal wells, loop holonomies, local phase-space kernels, Lagrangian fibers, or local dissipative normal modes—even when the global spectral problem is non-Hermitian, resonant, or only approximately closed (Exner et al., 20 Apr 2026, Thomas et al., 18 Jun 2026).