🔢 mathematics

Widom asymptotics for spatial compressions of Schrödinger spectral projections

This paper establishes a Widom trace formula for spatial compressions of semiclassical Schrödinger spectral projections within strictly allowed regions, yielding exact asymptotics for entanglement entropies and their universal ratios to particle-number variance by combining commutator estimates with a boundary-adapted normal form, while demonstrating that continuity and weighted integrability alone are insufficient for such results.

Original authors: Pan Ma, Daoyuan Zheng

Published 2026-10-22

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Pan Ma, Daoyuan Zheng

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the quantum world, particles like electrons do not behave like tiny billiard balls rolling in straight lines. Instead, they exist as waves of probability, filling up available energy levels in a system until they reach a specific threshold, much like water filling a container to a certain height. This threshold is known as the Fermi energy. When physicists look at a collection of these particles confined to a specific region of space, they are interested in how the particles behave at the very edge of that region. The boundary acts as a filter, creating a sharp transition where the probability of finding a particle drops from certainty to nothingness. This sharp cutoff in both energy and position creates a unique, complex spectrum of states that does not exist if you look at energy or position alone. Understanding the statistics of these boundary states is crucial because they dictate how much the number of particles fluctuates in a given area and how much "entanglement" exists between the particles inside the region and those outside. Entanglement is a fundamental quantum connection where the state of one particle is inextricably linked to another, even across space, and measuring this connection is a key challenge in modern physics.

A team of researchers has now established a precise mathematical rule that predicts the behavior of these boundary states for a wide class of quantum systems. They focused on a specific type of quantum system described by the Schrödinger equation, which governs how particles move under the influence of a potential field, or a landscape of forces. Their work centers on what happens when you take the exact quantum description of all particles below a certain energy level and then restrict your view to a specific, bounded area within that system. The researchers proved that the number of special "transition" states that appear at the boundary follows a predictable pattern as the system becomes more and more quantum in nature. They found that the total count of these states grows in proportion to the size of the boundary and a specific logarithmic factor related to the scale of the system. Crucially, this growth rate is determined by a universal formula that separates the geometric shape of the boundary from the specific type of quantum function being measured. This means that for a vast array of different measurement functions, the underlying behavior is governed by a single, consistent rule that depends only on the geometry of the container and the energy landscape.

The researchers also applied this new rule to calculate the exact amount of entanglement entropy, a measure of how much information is shared between the inside and outside of the region. They showed that for every fixed level of measurement, the entanglement grows in direct proportion to the variance of the particle count, which is a measure of how much the number of particles in the region fluctuates. This confirms a long-standing prediction that these two quantities are linked by a universal ratio, regardless of the specific details of the potential field, as long as the boundary is smooth and the particles are confined within a classically allowed region. The proof of this result relied on combining advanced techniques to estimate how the quantum operators interact at the boundary with a local model that simplifies the complex physics near the edge into a more manageable form. This allowed them to isolate the contribution of the boundary and show that it dominates the behavior of the system.

However, the researchers also discovered that this elegant rule has strict limits. They constructed a specific counterexample using a harmonic oscillator, a standard model in physics, to show that the rule fails if the mathematical function used to measure the system does not decay fast enough at the very edges of the energy spectrum. Even if the function is continuous and satisfies a basic integrability condition, it is not enough to guarantee the formula works. The function must have a specific type of power-law decay at the endpoints to ensure the prediction holds. This finding rules out a broader, more general conjecture that had been proposed previously, clarifying exactly what conditions are necessary for the universal behavior to emerge. The work demonstrates that while quantum systems often exhibit surprising universality, the precise mathematical requirements for that universality are delicate and must be met exactly.

In practical terms, this means that for any smooth, bounded region in a quantum system, one can now calculate the leading behavior of entanglement and particle fluctuations with high precision. The result applies to systems in one, two, or more dimensions, provided the boundary is well-behaved. In one dimension, the number of transition states is simply proportional to the number of endpoints of the region. In higher dimensions, the calculation involves an integral over the boundary surface, weighted by the local energy difference. The researchers verified their theory by checking it against known results for the variance of particle counts and by deriving exact formulas for the entropy of free fermions. They also provided explicit examples, such as a disk in a harmonic potential, to show how the formula works in concrete geometric settings. The work stands as a rigorous proof of a Widom-type trace formula for spatial compressions of spectral projections, a significant step forward in understanding the statistical mechanics of quantum boundaries.

The study does not merely suggest these outcomes; it provides a complete proof that holds for every continuous function satisfying the required decay conditions. The authors explicitly ruled out the idea that continuity and basic integrability alone are sufficient, demonstrating through their counterexample that the stronger decay condition is necessary. The confidence in these results is absolute within the mathematical framework they established, as they derived the asymptotic behavior directly from the properties of the operators involved. The findings do not rely on simulations or approximations but are derived from exact spectral analysis and commutator estimates. This level of certainty allows physicists to trust the universal ratios they have identified, knowing that the relationship between entanglement and particle number variance is a fundamental feature of these quantum systems, not an artifact of a specific model. The work closes a gap in the understanding of how quantum information is distributed at the edges of confined systems, providing a solid foundation for future investigations into quantum many-body physics.

Technical Summary: Widom Asymptotics for Spatial Compressions of Schrödinger Spectral Projections

Problem Statement
The paper addresses the asymptotic behavior of the trace of spectral functions applied to spatial compressions of exact spectral projections of semiclassical Schrödinger operators. Specifically, let $H_h = -h^2\Delta + V$ be a semiclassical Schrödinger operator with a smooth potential $V$ near a compact classically allowed region $D = \{x : V(x) < \mu\}$ . Let $P_h = \mathbb{1}_{(-\infty, \mu]}(H_h)$ be the Fermi projection (the spectral projection onto energies below $\mu$ ). The object of study is the spatial compression $T_h = Q P_h Q$ , where $Q = \mathbb{1}_\Omega$ is the multiplication operator by the characteristic function of a domain $\Omega \subset D$ .

While the spectrum of $P_h$ is trivial (contained in $\{0, 1\}$ ), the spectrum of the compressed operator $T_h$ is non-trivial and contained in $(0, 1)$ . These "transition eigenvalues" govern particle-number fluctuations and free-fermion entanglement entropy. The central problem is to establish a Widom-type trace formula for $\text{Tr}\, g(T_h)$ for a broad class of continuous functions $g$ that vanish at the endpoints $0$ and $1$, specifically determining the leading order term as the semiclassical parameter $h \to 0$ .

Methodology
The proof combines several advanced techniques from semiclassical analysis and operator theory:

Confining Replacement and Local Comparison: The authors replace the original potential $V$ with a smooth, globally confining potential $V_c$ that agrees with $V$ near $\Omega$ . Using commutator estimates and spectral shell analysis, they show that the difference between the original and confined operators is negligible in the relevant Schatten classes ( $O(h^{1-n})$ ).
Local Normal Forms and Hardy Models: To analyze the boundary behavior, the authors construct a boundary-adapted normal form. Using a Hamilton-Jacobi construction, they reduce the problem locally to a model involving the Hardy compression operator $B = Q \mathbb{1}_{(-\infty, 0)}(D) Q$ on the half-line. This allows the extraction of a universal spectral functional $W(g)$ .
Schatten Class Estimates: A critical component is the establishment of a "one-logarithm" commutator estimate in every fixed positive Schatten class $S_p$ . The authors prove that $\|[P_h, Q]\|_{S_p} = O(h^{1-n} \log h^{-1})$ . This controls the accumulation of eigenvalues near the spectral endpoints $0$ and $1$.
Positive Partition and Gluing: For dimensions $n \ge 2$ , the proof employs a positive partition of unity in phase space to separate transverse boundary contributions from grazing contributions. The known variance asymptotic (from Deleporte and Lambert) is used to control the grazing remainder, ensuring the global trace formula holds. In dimension $n=1$ , all boundary Fermi points are transverse, simplifying the gluing argument.
Endpoint Regularity: The authors demonstrate that continuity and weighted integrability of $g$ are insufficient for the trace formula. They require $g$ to have a fixed positive power decay at the endpoints ( $|g(t)| = O(t^{\alpha_0})$ and $|g(1-t)| = O(t^{\alpha_1})$ ). This condition ensures the necessary uniform integrability for the spectral endpoints.

Key Contributions and Results

Widom Trace Formula: The main result (Theorem 1.1) establishes that for any continuous $g$ with positive power decay at endpoints:
$\text{Tr}\, g(T_h) = C_{\Omega, 1} W(g) (2\pi h)^{1-n} \log h^{-1} + o(h^{1-n} \log h^{-1})$
where $W(g) = \int_0^1 \frac{g(t)}{t(1-t)} dt$ is the universal spectral functional, and $C_{\Omega, 1}$ is a geometric coefficient depending on the boundary of $\Omega$ and the potential $V$ .
Entanglement Entropy Asymptotics: The formula yields exact asymptotics for the von Neumann entropy ( $S_1$ ) and all Rényi entropies ( $S_\alpha$ ) of fixed positive order. Specifically, $S_\alpha(h) \sim \frac{\pi^2}{6}(1+\alpha^{-1}) C_{\Omega, 1} M_h$ , where $M_h = (2\pi h)^{1-n} \log h^{-1}$ . For a single interval in one dimension, the von Neumann entropy coefficient is $1/3$ .
Universal Ratios: The paper proves that the ratio of the entanglement entropy to the particle-number variance converges to a universal constant:
$\frac{S_\alpha(h)}{\text{Var}\, N_\Omega} \to \frac{\pi^2}{6}(1+\alpha^{-1})$
This ratio is independent of the dimension, the potential, and the geometry of the domain.
Transition Spectrum Law: The theorem implies a vague convergence of the rescaled transition eigenvalues to a measure with density $C_{\Omega, 1} \frac{dt}{t(1-t)}$ . In terms of entanglement energies $\varepsilon = \log((1-t)/t)$ , this corresponds to a constant density.
Counterexample: The authors provide a counterexample (Theorem 1.4) using a harmonic oscillator to show that if the power-decay condition at the endpoints is relaxed to mere continuity and weighted integrability, the trace formula fails. This disproves the continuous weighted-integrable formulation of [4, Conjecture 1].

Significance and Claims
The paper establishes a Widom trace formula for spatial compressions of exact spectral projections of variable-potential Schrödinger operators. Its significance lies in:

Universality: Identifying a universal local mechanism (the Hardy model) that governs the leading nonlinear statistics of the transition spectrum, regardless of the specific potential or dimension.
Precision: Providing the exact logarithmic coefficient for entanglement entropies, correcting previous bounds that differed by factors of $\log \log h^{-1}$ .
Necessity of Endpoint Conditions: Rigorously demonstrating that the power-decay condition on the test function $g$ is not merely a technical convenience but a necessary condition for the trace formula to hold, as evidenced by the constructed counterexample.
Unification: Unifying the analysis of particle-number fluctuations (variance) and entanglement entropy under a single trace asymptotic framework, showing that both arise from the same boundary-generated spectral density.

The authors note that while the results cover fixed positive orders for Rényi entropy and fixed positive Schatten exponents, questions regarding uniform estimates as these parameters approach zero, as well as the maximal admissible function class, remain open.

Technical Summary: Widom Asymptotics for Spatial Compressions of Schrödinger Spectral Projections

More like this