🔢 mathematics

$L^q$ -norm bounds for arithmetic eigenfunctions via microlocal Kakeya-Nikodym estimate

This paper presents a new proof establishing an improved power-saving bound for the global $L^6$ -norm of $L^2$ -normalized Hecke-Maass forms on compact arithmetic congruence hyperbolic surfaces by utilizing microlocal decomposition and arithmetic amplification to derive enhanced microlocal Kakeya-Nikodym estimates.

Original authors: Jiaqi Hou, Xiaoqi Huang

Published 2026-03-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jiaqi Hou, Xiaoqi Huang

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

Imagine you are standing in a vast, curved, infinite hallway that loops back on itself (a "hyperbolic surface"). This hallway is made of a special, mathematical material. Inside this hallway, there are invisible waves vibrating at different frequencies. These waves are called eigenfunctions.

Some of these waves are "special" because they follow strict arithmetic rules (like a secret code built into the fabric of the hallway). These are called Hecke-Maass forms.

The mathematicians in this paper, Jiaqi Hou and Xiaoqi Huang, are trying to answer a very specific question: How loud can these waves get?

In math terms, they are looking for the "peak volume" (the $L^6$ -norm) of these waves. If a wave gets too loud in one spot, it means the energy is "focusing" there, like a magnifying glass focusing sunlight to burn a leaf.

The Problem: The "Universal" Limit

For a long time, mathematicians knew a "universal speed limit" for how loud these waves could get. This was established by a famous mathematician named Sogge. Think of this as a general rule for all waves in any hallway: "No matter what, the wave can't get louder than $X$ ."

However, the authors suspected that because these specific waves follow the "secret arithmetic code," they should be quieter than the universal limit. They wanted to prove that these special waves are actually more spread out and less "spiky" than the general rule suggests.

The Strategy: The "Microscope" and the "Flashlight"

To prove this, the authors used a clever two-step strategy involving two main tools:

1. The Microscope (Microlocal Decomposition)

Imagine trying to listen to a single instrument in a full orchestra. It's hard. So, you use a microphone that only picks up sounds from a tiny, specific direction and a tiny, specific range of notes.

The authors did this mathematically. They broke the complex wave ( $\psi$ ) into thousands of tiny, manageable pieces. Each piece is "micro-localized," meaning it's focused on a tiny patch of the hallway and vibrating in a specific direction. They call these pieces microlocal Kakeya-Nikodym estimates.

The Analogy: Instead of looking at the whole ocean, they looked at individual droplets of water to see how they move.

2. The Flashlight (Arithmetic Amplification)

This is the secret sauce. The authors used a technique developed by Iwaniec and Sarnak called Arithmetic Amplification.

Imagine you are trying to hear a whisper in a noisy room. You can't just listen harder. Instead, you use a device that amplifies the whisper specifically because it matches a certain pattern, while ignoring the random noise.

In this paper, the "pattern" is the arithmetic code (the Hecke operators). The authors built a mathematical "flashlight" that shines only on the parts of the wave that obey the arithmetic rules.

The Magic: When they shine this flashlight, they discovered that the wave behaves like a Gaussian beam (a smooth, focused laser) rather than a chaotic explosion. Because the wave is so well-behaved along the "geodesics" (the straightest possible paths in the curved hallway), it doesn't spike as high as the general rule predicted.

The "Counting" Puzzle

To prove the flashlight works, they had to solve a counting problem. They asked: "How many times does the arithmetic code send a path back to where it started?"

Think of it like a pinball machine. If you shoot a ball (the wave) at a bumper (the arithmetic rule), does it bounce back to the exact same spot?

The Old Way: They counted how often the ball hit any bumper.
The New Way: They counted how often the ball hit a bumper and landed on a specific tiny target at the same time.

Because the "target" is so small and specific, the ball hits it much less often than they thought. This "rare hit" means the wave doesn't pile up enough energy to break the old speed limit.

The Result: A New, Quieter Limit

By combining their "microscope" (breaking the wave down) with their "flashlight" (amplifying the arithmetic patterns), they proved that these special waves are indeed quieter than the universal limit.

They improved the mathematical bound from:
$\text{Old Limit} \approx \lambda^{1/6}$
to a new, tighter limit:
$\text{New Limit} \approx \lambda^{1/6 - \text{tiny bit}}$

Why Does This Matter?

In the world of mathematics, proving that a wave is "quieter" than expected is a huge deal. It tells us that the universe (or at least this mathematical universe) is more orderly and less chaotic than we thought.

For Physics: It helps us understand how energy distributes in complex systems.
For Number Theory: It connects the shape of space (geometry) with the properties of numbers (arithmetic).
For the Future: This method is like a new tool in the toolbox. The authors hope other mathematicians can use this "microscope + flashlight" combo to solve similar problems in higher dimensions or on different types of shapes.

In a nutshell: They took a noisy, chaotic wave, used a special arithmetic filter to isolate its "good behavior," and proved that it stays much quieter than anyone expected.

1. Problem Statement

The paper addresses the problem of bounding the $L^q$ -norms of $L^2$ -normalized Hecke-Maass forms ( $\psi$ ) on compact arithmetic congruence hyperbolic surfaces ( $X = \Gamma \backslash \mathbb{H}$ ). Specifically, the authors focus on the critical exponent $q=6$ in dimension $n=2$ .

Context: For general Laplace eigenfunctions on a compact Riemannian manifold, Sogge established universal bounds $\|\psi\|_{L^q} \lesssim \lambda^{\delta(q,n)}$ . For $n=2$ and $q=6$ , the Sogge bound is $\lambda^{1/6}$ .
Goal: To obtain a power-saving improvement over the Sogge bound for arithmetic eigenfunctions (Hecke-Maass forms), which possess additional symmetries due to the Hecke operators.
Previous State of the Art:
- Iwaniec and Sarnak (1995) proved a sup-norm bound $\|\psi\|_{L^\infty} \lesssim \lambda^{5/12+\epsilon}$ , which via interpolation yields $\|\psi\|_{L^6} \lesssim \lambda^{26/171+\epsilon} = \lambda^{1/6 - 5/342 + \epsilon}$ .
- Humphries and Khan (2025) improved the $L^4$ bound using triple product formulas, yielding $\|\psi\|_{L^6} \lesssim \lambda^{1/6 - 5/342 + \epsilon}$ (same as above via interpolation with the sup-norm).
- The authors aim to surpass these existing bounds using a novel microlocal approach combined with arithmetic amplification.

2. Methodology

The authors employ a hybrid strategy combining microlocal harmonic analysis and arithmetic amplification.

A. Microlocal Decomposition and Kakeya-Nikodym Estimates

The core of the analytic method is a reduction of the global $L^6$ norm problem to microlocal Kakeya-Nikodym estimates.

Microlocal Cutoffs: The eigenfunction $\psi$ is decomposed into pieces $A^\theta_\nu \psi$ using pseudo-differential operators. These operators localize the function in phase space to $\theta$ -neighborhoods of geodesic segments (where $\theta = \lambda^{-\delta_0}$ ) and restrict frequencies to directions near those geodesics.
Reduction Theorem (Theorem 1.2): The authors prove that if one can control the $L^\infty$ $L^{\infty}$ and $L^2$ $L^{2}$ norms of these microlocalized pieces, one can bound the global $L^6$ $L^{6}$ norm. Specifically, they establish an iterative scheme (induction on scales) that relates $\|\psi\|_{L^6}$ $∥ ψ ∥_{L^{6}}$ to:
- The $L^\infty$ bound of $\psi$ (sup-norm).
- The microlocal Kakeya-Nikodym norms: $\sup_\nu \|A^\theta_\nu \psi\|_{L^2}$ and $\sup_\nu \|A^\theta_\nu \psi\|_{L^\infty}$ .
- The $L^4$ norm of $\psi$ .
- The "Kakeya-Nikodym" term measures the concentration of the eigenfunction along geodesic tubes.

B. Arithmetic Amplification

To obtain the necessary bounds for the microlocalized pieces, the authors utilize the arithmetic amplification technique developed by Iwaniec and Sarnak.

Amplified Pretrace Formula: They construct an amplifier operator $T = \sum \alpha_n T_n$ to boost the contribution of the specific eigenfunction $\psi$ in the spectral expansion of the kernel.
Counting Problems: The analytic estimates reduce to counting the number of Hecke operators that map a geodesic segment (and a point) close to itself.
- Standard Counting: Counting returns of a geodesic to itself (related to Lemma 3.18).
- New Counting Problem: The authors introduce a simultaneous counting problem: counting $\eta \in R(n)$ such that $d(g^{-1}\eta g, e)$ is small (point return) AND $d(g^{-1}\eta g, \mathcal{A})$ is small (geodesic return), where $\mathcal{A}$ is the diagonal subgroup. This is formalized in Proposition 3.21.
Kernel Estimates: They derive new kernel estimates for the amplified pretrace formula that exploit the rapid decay of the kernel when the group translation separates the central geodesic in the support of the microlocal operator.

3. Key Contributions

Theorem 1.1 (Main Result): The authors prove a new $L^6$ bound for Hecke-Maass forms on compact arithmetic hyperbolic surfaces:
$\|\psi\|_{L^6(X)} \lesssim_\epsilon \lambda^{1/6 - 1/48 + \epsilon}$
This represents a significant improvement over the previous best bound of $\lambda^{1/6 - 5/342 + \epsilon}$ (since $1/48 \approx 0.0208$ is larger than $5/342 \approx 0.0146$ ).
Theorem 1.4 (Further Improvement): By combining their method with the recent $L^4$ bound by Humphries and Khan, they derive an even stronger bound:
$\|\psi\|_{L^6(X)} \lesssim_\epsilon \lambda^{1/6 - 35/1368 + \epsilon}$
Here, $35/1368 \approx 0.0256$ , which is a substantial power saving.
Theoretical Framework (Theorem 1.2 & 1.3):
- They establish a general reduction theorem (Theorem 1.2) linking global $L^q$ norms to microlocal Kakeya-Nikodym estimates for general Riemannian manifolds.
- They prove improved microlocal Kakeya-Nikodym estimates (Theorem 1.3) specifically for arithmetic surfaces, showing that the microlocalized pieces have significantly smaller $L^2$ and $L^\infty$ norms than generic eigenfunctions due to arithmetic constraints.
New Counting Lemma (Proposition 3.21): They develop a novel Diophantine counting lemma (Proposition 3.21) that bounds the number of Hecke operators mapping both a point and a geodesic segment close to themselves. This is a crucial arithmetic input that distinguishes their work from previous sup-norm or $L^4$ studies.

4. Results Summary

Global $L^6$ Bound: Improved from $\lambda^{1/6 - 5/342}$ to $\lambda^{1/6 - 1/48}$ (Theorem 1.1) and further to $\lambda^{1/6 - 35/1368}$ (Theorem 1.4).
Microlocal Estimates: Proved that for $\theta = \lambda^{-\delta_0}$ $θ = λ^{- δ_{0}}$ :
- $\sup_\nu \|A^\theta_\nu \psi\|_{L^2} \lesssim \lambda^{-\delta_0/8 + \epsilon}$
- $\sup_\nu \|A^\theta_\nu \psi\|_{L^\infty} \lesssim \lambda^{5/12(1-\delta_0) + \epsilon}$
  These bounds are strictly better than what would be expected for generic eigenfunctions, reflecting the "sparsity" of arithmetic eigenfunctions in phase space.

5. Significance

Bridging Harmonic Analysis and Number Theory: The paper successfully integrates modern techniques from harmonic analysis (bilinear oscillatory integrals, microlocal analysis, Kakeya-Nikodym norms) with deep number-theoretic tools (Hecke operators, amplification, Diophantine counting).
New Paradigm for $L^q$ Bounds: While previous improvements for $q < 6$ (like $L^4$ ) relied heavily on triple product formulas (Watson-Ichino), this paper demonstrates that microlocal Kakeya-Nikodym estimates provide a powerful alternative route to critical exponent bounds.
Generalizability: The authors note that their strategy (Theorem 1.2) is general and can be applied to higher-dimensional compact arithmetic manifolds (e.g., 3-manifolds where $q_c=4$ ) provided the corresponding sup-norm and microlocal estimates can be solved via amplification.
Optimality: The results move closer to the conjectured Lindelöf-type bounds ( $\|\psi\|_{L^\infty} \lesssim \lambda^\epsilon$ ), suggesting that arithmetic eigenfunctions are significantly less concentrated than generic eigenfunctions, even at the critical exponent.

In conclusion, this paper provides a breakthrough in the study of $L^q$ norms of arithmetic eigenfunctions by introducing a microlocal framework that leverages the specific arithmetic structure of the surface to achieve power savings previously unattainable for the critical exponent $q=6$ .