Abstract:It is a folklore result in arithmetic quantum chaos that quantum unique ergodicity on the modular surface with an effective rate of convergence follows from subconvex bounds for certain triple product $L$-functions. The physical space manifestation of this result, namely the equidistribution of mass of Hecke-Maass cusp forms, was proven to follow from subconvexity by Watson, whereas the phase space manifestation of quantum unique ergodicity has only previously appeared in the literature for Eisenstein series via work of Jakobson. We detail the analogous phase space result for Hecke-Maass cusp forms. The proof relies on the Watson-Ichino triple product formula together with a careful analysis of certain archimedean integrals of Whittaker functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: in the context of Arithmetic Quantum Unique Ergodicity (QUE), prove the effective quantum unique ergodicity of Hecke - Maaß cusp forms in the phase space through subconvex bounds.
Specifically, the paper focuses on how to derive the effective quantum unique ergodicity of Hecke - Maaß cusp forms in the phase space from subconvex bounds. The importance of this problem lies in the fact that it links the chaotic properties in classical dynamics with the distribution of energy eigenstates in quantum systems, thus providing profound insights for understanding quantum chaos.
### Main problem analysis
1. **Quantum Unique Ergodicity (QUE)**:
- In physical space, QUE means that all Laplacian eigenfunctions are uniformly distributed on the manifold in the large - eigenvalue limit.
- In the phase space, QUE means that the microlocal lifts of all Laplacian eigenfunctions converge to the Liouville measure in the large - eigenvalue limit.
2. **Subconvex Bounds**:
- Subconvex bounds refer to the upper - bound estimates of certain L - functions at their central points, and these L - functions are related to Hecke - Maaß cusp forms.
- Through subconvex bounds, results about the effective quantum unique ergodicity of Hecke - Maaß cusp forms can be derived.
3. **Watson - Ichino triple product formula**:
- This formula is used to represent an integral as the product of the central values of L - functions and the integral of Whittaker functions, so that the size of the integral can be estimated by analyzing these expressions.
4. **Fine analysis of Archimedean integrals**:
- The paper further refines the estimates of the central values of L - functions by carefully analyzing certain Archimedean integrals (especially the integrals of Whittaker functions).
### Specific objectives
The main objective of the paper is to prove the following conclusion:
Suppose there exist constants \(\delta>0\) and \(A > 0\) such that for any Hecke - Maaß cusp forms \(\phi_1,\phi_2\) and holomorphic Hecke cusp form \(F\), and for any \(t\in\mathbb{R}\), the following subconvex bounds hold:
\[
L\left(\frac{1}{2},\text{ad}\phi_1\otimes\phi_2\right)\ll\lambda_1^{\frac{1}{2}- 2\delta}\lambda_2^A,
\]
\[
L\left(\frac{1}{2}+it,\text{ad}\phi_1\right)\ll\lambda_1^{\frac{1}{4}-\delta}(1 + |t|)^A,
\]
\[
L\left(\frac{1}{2},\text{ad}\phi_1\otimes F\right)\ll_F\lambda_1^{\frac{1}{2}- 2\delta}.
\]
Then for any \(a\in C_c^\infty(S^*M)\), we have:
\[
\int_{S^*M}a(z,\theta)d\omega_j(z,\theta)-\int_{S^*M}a(z,\theta)d\omega(z,\theta)\ll_a\lambda_j^{-\delta}\log\lambda_j.
\]
In particular, under the generalized Lindelöf hypothesis, we have:
\[
\int_{S^*M}a(z,\theta)d\omega_j(z,\theta)-\int_{S^*M}a(z,\theta)d\omega(z,\theta)\ll_{a,\var}