🔢 mathematics

Semiclassical localization of Schrödinger's eigenfunctions

This paper establishes a new, sharper exponential bound for the spatial concentration of eigenfunctions of the semiclassical Schrödinger operator on closed Riemann surfaces with bounded potentials, improving upon previous estimates by utilizing a recent approach to the Landis conjecture.

Original authors: Sébastien Campagne

Published 2026-02-10

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Sébastien Campagne

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

The Mystery of the Fading Ghost: A Simple Guide to Semiclassical Localization

Imagine you are a detective trying to track a ghost. This ghost isn't just anywhere; it follows very specific, mathematical rules about where it can appear. In physics, these "ghosts" are called eigenfunctions—patterns of energy that describe how particles (like electrons) behave in a specific environment.

The paper by Sébastien Campagne is essentially a high-tech tracking manual. It asks a fundamental question: "If I see a tiny glimpse of the ghost in one small corner of a room, how much of the ghost is actually hiding in the rest of the house?"

Here is the breakdown of the science using everyday metaphors.

1. The Problem: The "Blurry" Environment

In a perfect world (a "smooth" environment), the rules are clear. If you see a bit of the ghost in the kitchen, you can use math to predict exactly how much of it is in the living room.

However, this paper deals with a much messier reality. Imagine the "house" (the mathematical surface) isn't made of smooth marble, but of rough, jagged terrain (a "bounded potential"). The ground is bumpy, unpredictable, and lacks smoothness. In these conditions, the old tracking methods fail. The ghost might seem to vanish or concentrate in strange, unexpected ways.

2. The Goal: Setting the "Safety Bounds"

The author wants to prove a quantitative bound. In plain English: "Even if the ground is incredibly bumpy and messy, the ghost cannot hide too much."

He wants to prove that the total amount of "ghost" in the whole house is mathematically tied to the amount you see in one small room, even if the relationship is an exponential one (meaning the ghost could be much larger overall, but it can't be infinitely larger).

3. The Strategy: The "Magic Mirror" and "Swiss Cheese"

To solve this, Campagne uses two brilliant, creative mathematical maneuvers:

A. The Magic Mirror (Quasi-conformal Mapping)

The math for "bumpy ground" is terrifyingly hard. So, the author uses a "Magic Mirror." He takes the messy, bumpy landscape and mathematically "warps" it until it looks like a perfectly flat, smooth floor.

However, there is a catch: when you warp the floor to make it smooth, you also warp the distances. A meter in the real world might look like a centimeter in the mirror. The author spends a large part of the paper proving that even though the "mirror" distorts space, it doesn't distort it so much that we lose track of the ghost.

B. The Swiss Cheese Method (Perforation of Space)

The ghost has "nodal sets"—places where it is effectively invisible (zero). This makes tracking it difficult because you might be looking right through it.

To fix this, the author performs a "perforation" trick. He imagines the space is like a block of Swiss Cheese. He strategically "punches holes" in the areas where the ghost is most likely to be invisible. By studying the ghost in the "cheese" (the solid parts) rather than the "holes," he can use powerful tools (called Carleman estimates) to ensure the ghost's presence is always accounted for.

4. The Result: A New Speed Limit

Before this paper, mathematicians had a rough idea of how much the ghost could "concentrate" in messy environments, but their estimates were a bit "loose" (they used a factor of $h^{-4/3}$ ).

Campagne has tightened the screws. He proved that the concentration follows a much more precise rule: $\exp(C \frac{\log(h)^2}{h})$ .

What does this mean for us? It means we have a much tighter "speed limit" on how much energy can hide in the shadows. It provides a more accurate mathematical map for anyone studying quantum mechanics or wave behavior in complex, non-smooth materials.

Summary Table

Mathematical Term	Everyday Metaphor
Eigenfunction ( $u_h$ )	The "Ghost" (the pattern of energy).
Potential ( $V$ )	The "Terrain" (the bumpy ground the ghost moves on).
Semiclassical Limit ( $h \to 0$ )	Zooming in closer and closer to the microscopic level.
Quasi-conformal Mapping	The "Magic Mirror" that flattens the bumps.
Perforation	The "Swiss Cheese" trick to avoid invisible spots.
Localization Bound	The "Tracking Manual" that tells you how much ghost is hidden.

Technical Summary: Semiclassical Localization of Schrödinger’s Eigenfunctions

Author: Sébastien Campagne
Date: February 10, 2026
Subject: Microlocal analysis, Semiclassical analysis, Spectral theory on Riemann surfaces.

1. The Problem

The paper investigates the spatial concentration (localization) properties of eigenfunctions $u_h$ for the semiclassical Schrödinger operator $P_V = -h^2\Delta_g + V$ on a closed Riemann surface $(M, g)$ . The central question is: How much of the $L^2$ -mass of an eigenfunction can be controlled by its values on an arbitrary open subset $U \subset M$ as the semiclassical parameter $h \to 0$ ?

While smooth potentials $V$ allow for exponential control (where the mass on the whole manifold is bounded by the mass on $U$ with an exponential weight of $e^{C/h}$ ), the behavior for non-smooth (merely bounded) potentials is much more complex. Previous literature established that for $V \in L^\infty$ , the weight is typically $e^{Ch^{-4/3}}$ . This paper seeks to improve this bound for the general bounded potential case.

2. Key Contributions and Results

The primary contribution is the establishment of a new, sharper quantitative bound for the localization of eigenfunctions with bounded potentials.

Main Theorem (Theorem 1):
For a closed Riemann surface $(M, g)$ , an open subset $U \subset M$ , and a real-valued bounded potential $V \in L^\infty(M, \mathbb{R})$ , there exist constants $C, h_0 > 0$ such that for all $0 < h < h_0$ :
$\int_{M} (|u_h|^2 + |h\nabla u_h|^2) \, d\mu_g \leq \exp\left( \frac{C \log(h)^2}{h} \right) \int_{U} (|u_h|^2 + |h\nabla u_h|^2) \, d\mu_g$

Significance of the Result:

Improvement over State-of-the-Art: It improves the previous $e^{Ch^{-4/3}}$ estimate for non-smooth potentials to an exponential weight of $e^{C \frac{\log(h)^2}{h}}$ .
Regularity Bridge: It provides a continuous spectrum of control between Lipschitz potentials (which behave like $e^{C/h}$ ) and purely bounded potentials.
Methodological Innovation: It represents the first successful application of the recent "Landis Conjecture" approach (developed by Logunov, Malinnikova, Nadirashvili, and Nazarov in 2025) to the semiclassical Schrödinger setting.

3. Methodology

The proof is highly technical, involving a multi-step transformation that moves from a Schrödinger equation to a harmonic equation.

Step 1: Geometric Reduction (Uniformization)
Using the Poincaré uniformization theorem, the author reduces the problem from a general Riemann surface to three model cases: the Euclidean plane, the sphere, or the hyperbolic disk. This allows the analysis to be conducted in a unified framework within a ball $B(0, R_0) \subset \mathbb{R}^2$ using the Lebesgue measure.

Step 2: Transformation to Harmonic Functions
The core strategy is to transform the Schrödinger eigenfunction $u_h$ into a harmonic function $\tilde{f}_h$ :

Divergence-type Equation: The operator is rewritten as a divergence-form equation $\text{div}(\phi_h^2 \nabla f_h) = 0$ on a "perforated" space (a domain with holes removed to manage oscillations).
Quasi-conformal Mapping: The author employs the theory of quasi-conformal mappings (specifically the Beltrami equation) to transform the divergence-form equation into a standard Laplace equation. This maps the problem into a domain where the function is truly harmonic.
Space Distortion Control: Because quasi-conformal mappings distort distances, the author uses Mori’s Theorem and detailed estimates on the Jacobian to ensure that the geometric deformations do not destroy the $L^2$ estimates.

Step 3: Controlling the "Holes" (Perforation)
To apply harmonic function estimates, the author must "puncture" the domain to avoid the nodal sets (where $u_h=0$ ).

Poincaré Constant: A maximal collection of disjoint balls is used to ensure the Poincaré constant of the perforated domain is small.
Carleman Estimates: To "fill the holes" and recover the full $L^2$ norm, the author uses Carleman inequalities on contracting balls. A specialized Carleman estimate (Theorem 3/Theorem 5) is developed to show that the mass inside the small holes is controlled by the mass in the surrounding rings.

4. Summary of Technical Tools

Beltrami Equation & Stoilow Factorization: To handle the quasi-conformal transformation.
Gagliardo-Nirenberg Interpolation: To bridge $L^2$ and $H^1$ norms during the distortion control phase.
Cacciopoli Lemma: To convert $H^1$ (gradient) energy estimates back into $L^2$ (function) estimates.
Symbolic Calculus: Used in the Appendices to prove the validity of the Carleman estimates by checking the positivity of the Poisson bracket of the principal symbols.