Quantum Mixing for Schrödinger eigenfunctions in Benjamini-Schramm limit

This paper establishes quantum mixing for Schrödinger eigenfunctions on a sequence of compact hyperbolic surfaces converging to the hyperbolic plane in the Benjamini-Schramm limit, utilizing the Duhamel formula and exponential mixing of the geodesic flow to apply the results to congruence covers, random high-genus surfaces, and many-body Bose gas models.

The Gist

Imagine you are standing in a vast, infinite, negatively curved landscape called the Hyperbolic Plane. It's a place where space expands so rapidly that if you draw a circle, the area inside grows exponentially with the radius, unlike a flat sheet of paper.

Now, imagine you take a tiny, finite piece of this landscape, fold it up, and glue the edges together to make a Hyperbolic Surface. Think of it like a complex, multi-holed donut (a "genus" surface), but instead of being made of rubber, it's made of this strange, expanding geometry.

This paper is about what happens to quantum particles (like electrons) when they move around on these surfaces, especially when the surfaces get incredibly complex (like having thousands of holes) and the particles are subject to a "force field" (a potential).

Here is the breakdown of the paper's story, using simple analogies:

1. The Setting: The "Benjamini-Schramm" Limit

The authors are looking at a sequence of these surfaces getting bigger and bigger (more holes, larger area).

• The Analogy: Imagine looking at a giant, intricate tapestry. If you zoom in on a tiny patch of the tapestry, it looks like a flat, repeating pattern. As the tapestry gets infinitely large, any small patch you look at eventually looks exactly like the infinite Hyperbolic Plane.
• The Math: This is called the Benjamini-Schramm limit. The authors assume the surfaces are "uniformly discrete" (no holes are too small) and have a "spectral gap" (a property that ensures the geometry is chaotic enough to mix things up).

2. The Problem: The Schrödinger Equation

Usually, physicists study particles moving freely on these surfaces (like a ball rolling on a frictionless table). This is the Laplacian.

• The Twist: This paper adds a Potential ($V$). Think of this as adding a "wind" or a "hilly terrain" to the surface. Some areas push the particle, some pull it.
• The Challenge: When you add this wind, the math becomes much harder. The beautiful symmetries that make the "free" case easy to solve disappear. The authors wanted to know: Even with this messy wind, do the particles still spread out evenly across the surface?

3. The Main Discovery: Quantum Mixing

The paper proves two big things: Quantum Ergodicity and Quantum Mixing.

• Quantum Ergodicity (The "Spreading Out"):

  • Imagine: You drop a drop of ink into a glass of water. Eventually, the ink spreads until the water is uniformly grey.
  • The Result: The authors prove that for high-energy particles on these large surfaces, the probability of finding the particle is roughly the same everywhere on the surface. The particle doesn't get stuck in one corner; it explores the whole "donut."

• Quantum Mixing (The "Shuffling"):

  • Imagine: You have a deck of cards. If you just shuffle them once, they might not be fully mixed. But if you shuffle them continuously and randomly, the order becomes completely unpredictable.
  • The Result: This is a stronger version of spreading out. It says that if you look at two different energy states of the particle, the "connection" between them fades away over time. The system forgets its initial state and becomes completely randomized. This is crucial for understanding how quantum systems reach thermal equilibrium (why things get hot and settle down).

4. The Method: The "Duhamel" Trick

How did they prove this? They used a clever mathematical tool called the Duhamel Formula.

• The Analogy: Imagine you are trying to predict the path of a boat in a stormy sea (the potential). It's hard to solve directly.
• The Trick: Instead, imagine the boat in calm water (the free Laplacian). Then, you treat the storm (the potential) as a series of small, sudden nudges. The Duhamel formula allows them to write the messy, stormy solution as the calm solution plus a correction term.
• The Magic: They showed that the "correction term" (the effect of the wind) becomes negligible when the surface is huge and the geometry is chaotic. The "free" part of the math dominates, and because the geometry is chaotic, the free part mixes everything perfectly.

5. Real-World Applications

Why does this matter? The authors show this applies to several cool scenarios:

• Random Surfaces: If you generate a random hyperbolic surface (like a random "genus" shape), it almost certainly has this mixing property.
• Bose-Einstein Condensates: This relates to a state of matter where atoms act like a single giant wave. The paper helps explain how these atoms behave when they are on a chaotic, curved surface, specifically in the "thermodynamic limit" (when you have a huge number of particles).
• Number Theory: These surfaces are linked to deep math problems involving prime numbers and arithmetic groups.

Summary

In short, this paper says: "Even if you add a messy, uneven force field to a giant, chaotic, hyperbolic surface, the quantum particles will still eventually spread out evenly and mix perfectly, just like they would in a vacuum."

They proved this by breaking the problem into a "free" part (which they know mixes well) and a "perturbation" part (the force field), showing that the chaos of the surface swallows up the messiness of the force field. This bridges the gap between pure geometry, quantum physics, and statistical mechanics.

Technical Summary

1. Problem Statement and Context

Core Problem:
The paper investigates the statistical behavior of eigenfunctions for Schrödinger operators $H_V = -\Delta + V$ on sequences of compact hyperbolic surfaces $\{X_n\}$ as the genus of the surfaces tends to infinity. Specifically, it aims to prove Quantum Ergodicity and Quantum Mixing in the presence of a potential $V$.

Context & Motivation:

• Quantum Chaos: A central principle in quantum chaos is that the spectral properties of a quantum system reflect the dynamics of the associated classical flow. If the classical geodesic flow is ergodic (or weakly mixing), one expects the eigenfunctions to delocalize (equidistribute) in the high-energy limit.
• The Gap: Previous results in the continuous setting largely focused on the Laplace-Beltrami operator ($V=0$), corresponding to free motion. Introducing a potential $V$ breaks the symmetries underlying Selberg theory and spherical analysis, making standard techniques inapplicable.
• Discrete vs. Continuous: While quantum ergodicity/mixing has been established for large graphs (discrete analogues) using tree-like structures and Green's function recursions, these methods do not extend to continuous hyperbolic surfaces.
• Physical Relevance: The study connects to many-body quantum chaos, specifically the thermodynamic limit of Bose gases on hyperbolic surfaces, where the effective dynamics are governed by a Schrödinger operator with a Hartree potential.

2. Mathematical Framework and Assumptions

The authors consider a sequence of compact connected hyperbolic surfaces $\{X_n\}$ and a sequence of potentials $\{V_n\}$.

Geometric Conditions on $\{X_n\}$:

1. (BSC) Benjamini-Schramm Convergence: The sequence converges to the hyperbolic plane $\mathbb{H}$ in the local topology. Intuitively, the proportion of the surface with small injectivity radius vanishes as $n \to \infty$.
2. (UND) Uniform Discreteness: The injectivity radius $\text{InjRad}_{X_n}$ is uniformly bounded from below.
3. (EXP) Expander Property: The sequence has a uniform lower bound on the spectral gap $\lambda_1(X_n)$ of the Laplacian.

Conditions on Potentials $\{V_n\}$:

• (POT) Boundedness and Decay: $V_n$ are uniformly bounded ($C_{\min} \le V_n \le C_{\max}$) and satisfy an $L^2$ growth condition relative to the genus: $\|V_n\|_{L^2(X_n)}^2 = o(g_n)$.
• This allows for potentials that do not vanish in the limit (e.g., induced by a fixed $V \in L^p(\mathbb{H}) \cap L^\infty(\mathbb{H})$) or arise from point clouds and thermodynamic limits.

3. Methodology

The proof strategy diverges from previous works on graphs (which often use resolvent estimates or strong convergence) and previous works on surfaces (which used ball-averaging propagators).

Key Technical Innovations:

1. Hyperbolic Wave Propagator: Instead of ball averaging, the authors use the wave propagator associated with the Schrödinger operator:
   $$P_V(t) = \frac{\sin(t\sqrt{H_V - 1/4})}{\sqrt{H_V - 1/4}}$$
   This operator solves the wave equation $\partial_t^2 u = (H_V - 1/4)u$.

2. Duhamel Formula: A crucial step is applying the Duhamel formula to the wave propagator to separate the potential $V$ from the free Laplacian:
   $$P_V(t) = P_0(t) - \int_0^t P_V(t_1) V P_0(t-t_1) \, dt_1$$
   This allows the authors to treat the Schrödinger operator as a perturbation of the free Laplacian. The error term (involving $V$) is controlled using the $L^2$ bounds of the potential and the Benjamini-Schramm convergence.

3. Exponential Mixing of Geodesic Flow: For the "free part" ($P_0(t)$), the authors utilize the quantitative exponential mixing of the geodesic flow on hyperbolic surfaces. They rely on results by Ratner and Matheus, which provide decay rates dependent on the spectral gap $\lambda_1$.

   • Theorem 2.2 provides a bound on the correlation decay: $|\langle f \circ \phi_t, g \rangle - \langle f \rangle \langle g \rangle| \le C(1+t)e^{-\beta t}$.

4. Hilbert-Schmidt Norm Estimates: The core of the proof involves bounding the Hilbert-Schmidt norms of time-averaged operators. The authors split the surface into "thick" (large injectivity radius) and "thin" parts.

   • The contribution from the thin part is shown to be negligible due to the (BSC) condition.
   • The contribution from the thick part is controlled by the exponential mixing of the geodesic flow.

5. Probabilistic Extension: For random surfaces (Weil-Petersson model), the authors show that the deterministic conditions (BSC, UND, EXP) hold with high probability as the genus $g \to \infty$, using recent probabilistic spectral geometry results (e.g., Mirzakhani, Wu, etc.).

4. Key Results

Theorem 1.1 (Deterministic Case):
For a sequence of surfaces satisfying (BSC), (UND), and (EXP) and potentials satisfying (POT), the eigenfunctions of $H_{V_n}$ exhibit:

1. Quantum Ergodicity: The diagonal matrix elements $\langle a_n \psi_j, \psi_j \rangle$ equidistribute to the spatial average of the observable $a_n$ in the high-energy limit (outside a density zero subsequence).
2. Quantum Mixing (Weak Mixing): The off-diagonal matrix elements $\langle a_n \psi_j, \psi_k \rangle$ vanish for eigenvalues with distinct energies, provided the energy separation is fixed or small.
3. Quantum Mixing (General): The sum of squared off-diagonal elements for eigenvalues separated by a specific spectral distance $\tau$ vanishes.

Theorem 1.2 (Probabilistic Case):
The same results hold with high probability for random hyperbolic surfaces drawn from the Weil-Petersson distribution on the moduli space $\mathcal{M}_g$ as the genus $g \to \infty$.

5. Applications and Examples

The paper demonstrates the applicability of these results to several physically and mathematically significant scenarios:

• Induced Potentials: Potentials lifted from a fixed function $V \in L^p(\mathbb{H})$ on the hyperbolic plane to finite covers (e.g., congruence covers of arithmetic surfaces).
• Point Cloud Potentials: Superpositions of localized potentials (e.g., delta functions or bumps) on sparse point sets, relevant to the low-density limit.
• Weak Coupling: Potentials that vanish in the limit (e.g., $\epsilon_n V$), recovering free motion results.
• Thermodynamic Limit of Bose Gases: The authors apply their results to the Hartree approximation of a Bose gas on hyperbolic surfaces. They show that in the dilute regime, the effective one-particle operator has delocalized eigenfunctions, implying Bose-Einstein condensation onto the constant mode.

6. Significance and Contribution

• Bridging Discrete and Continuous: The work successfully adapts techniques from quantum chaos on graphs (specifically the use of propagators and mixing) to the continuous setting of hyperbolic surfaces with potentials, overcoming the lack of tree-like recursive structures.
• Handling Potentials: It is one of the first rigorous results establishing quantum ergodicity/mixing for Schrödinger operators on hyperbolic surfaces in the large-genus limit, moving beyond the free Laplacian case.
• New Techniques: The use of the Duhamel formula combined with the hyperbolic wave propagator provides a robust framework for handling perturbations by potentials without requiring the potential to be small in a spectral sense, only in an $L^2$-density sense relative to the volume.
• Physical Insight: The results provide a rigorous mathematical foundation for the delocalization of eigenstates in many-body quantum systems on chaotic geometries, supporting the Eigenstate Thermalization Hypothesis (ETH) in this specific context.

In summary, this paper establishes that the chaotic nature of the geodesic flow on hyperbolic surfaces is strong enough to enforce quantum mixing and ergodicity even when the system is perturbed by a wide class of potentials, provided the surfaces converge to the hyperbolic plane and possess a uniform spectral gap.