[논문 리뷰] Quantitative quantum ergodicity and the nodal domains of Maass-Hecke cusp forms

Junehyuk Jung|arXiv (Cornell University)|2013. 01. 26.

Analytic Number Theory Research참고 문헌 32인용 수 8

한 줄 요약

이 논문은 모듈러 표면 위의 히케–마스 캐스프폼에 대해 정량적 양자 천이성 결과를 확립하여, 모든 짝수 마스 형식의 밀도 0 이하를 제외한 부분집합에 대해 고정된 컴acts geodesic 세그먼트 $ \beta \subset \{iy : y > 0\} $ 와 교차하는 노달 도메인 수에 대해 $ t_{\theta}^{1/8 - \epsilon} $ 의 조건 없는 날카운 감소 하한을 도출한다. 또한 $ L^\infty $-노름 한계를 밀도 1 부분수열에 대해 $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $ 으로 향상시켜 이전의 $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $ 한계를 초월한다.

ABSTRACT

We prove a quantitative statement of the quantum ergodicity for Hecke--Maass cusp forms on the modular surface. As an application of our result, along a density $1$ subsequence of even Hecke--Maass cusp forms, we obtain a sharp lower bound for the $L^2$-norm of the restriction to a fixed compact geodesic segment of $η=\{iy~:~y>0\} \subset \mathbb{H}$. We also obtain an upper bound of $O_ε\left(t_ϕ^{3/8+ε} ight)$ for the $L^\infty$ norm along a density $1$ subsequence of Hecke--Maass cusp forms; for such forms, this is an improvement over the upper bound of $O_ε\left(t_ϕ^{5/12+ε} ight)$ given by Iwaniec and Sarnak. In a recent work of Ghosh, Reznikov, and Sarnak, the authors proved for all even Hecke--Maass forms that the number of nodal domains, which intersect a geodesic segment of $η$, grows faster than $t_ϕ^{1/12-ε}$ for any $ε>0$, under the assumption that the Lindel{ö}f Hypothesis is true and that the geodesic segment is long enough. Upon removing a density zero subset of even Hecke--Maass forms, we prove without making any assumptions that the number of nodal domains grows faster than $t_ϕ^{1/8-ε}$ for any $ε>0$.

연구 동기 및 목표

• 모듈러 표면 $ \Gamma \backslash \mathbb{H} $ 에서 히케–마스 캐스프폼에 대한 정량적 양자 천이성의 버전을 확립하기 위해, 여기서 $ \Gamma = SL_2(\mathbb{Z}) $ 이다.
• 고정된 지오데식 세그먼트 $ \beta \subset \{iy : y > 0\} $ 와 교차하는 노달 도메인 수에 대한 날카운 조건 없는 하한을 유도하여 이전의 조건부 결과를 향상시키기 위해.
• 히케–마스 캐스프폼의 밀도 1 부분수열에 대해 $ L^\infty $-노름 한계를 향상시키고, 아이와니에츠와 사르나크의 결과를 초월하기 위해.
• 노달 도메인 수 증가 추정치에서 린델뢰프 가설에 의존하지 않기 위해, 짝수 마스 형식의 밀도 1 부분수열을 사용함으로써.

제안 방법

• 분석은 이동된 컨볼루션 합의 분산에 대한 날카운 추정치에 의존하며, 이는 지오데식 세그먼트 $ \beta $ 에 대한 $ \phi $ 의 $ L^2 $-제약 노름을 제어한다.
• 증명은 코시–슈바르츠 부등식을 사용하여 $ \beta $ 에서 $ \phi $ 의 $ L^1 $-노름을 $ \|\phi\|_{L^2(\beta)}^2 $, $ \|\phi\|_{L^\infty(\beta)} $, 및 $ L^1 $-노름의 주요치 $ M_1(\phi) $ 와 연결한다. 이는 스펙트럼 분해에 기반한다.
• 핵심 단계는 $ \sum_{|T - t_\phi| < T^{1/3}} M_1(\phi)^2 \ll_\epsilon T^{\epsilon} $ 를 유도하는 것으로, 이는 $ L $-함수에 대한 평균 린델뢰프 유형 추정치와 $ L(1/2 + it, \phi) $ 에 대한 $ L^2 $-한계를 사용한다.
• 체비셰프 부등식을 적용하여, 스펙트럼 창 $ |t_\phi - T| < T^{1/3} $ 내에서 $ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 개 이하의 형식 제외한 나머지 모든 형식에 대해 $ M_1(\phi) < t_\phi^{-1/2 + \epsilon_0/2} $ 임을 보인다.
• $ \|\phi\|_{L^2(\beta)}^2 $ 는 동일한 창 내에서 모든 짝수 형식 중 $ O(T) $ 개를 제외한 나머지에 대해 $ \gg_\beta 1 $ 의 상한을 가진다.
• $ L^\infty $-노름은 코로나리 1.15의 결과를 통해 제어되며, 이는 $ \|\phi\|_{L^\infty(\beta)} \ll_{\beta,\epsilon_0} t_\phi^{3/8 + \epsilon_0/2} $ 를 $ O_{\epsilon_0}(T^{13/12 + \epsilon_0/2}) $ 개 이하의 형식 제외한 나머지에 대해 보장한다.

실험 결과

연구 질문

• RQ1 히케–마스 캐스프폼에 대해 린델뢰프 가설에 의존하지 않는 모듈러 표면 위의 정량적 양자 천이성 결과를 확립할 수 있는가?
• RQ2 짝수 마스 형식에 대해 고정된 지오데식 세그먼트 $ \beta \subset \{iy : y > 0\} $ 와 교차하는 노달 도메인 수에 대한 최선의 조건 없는 하한은 무엇인가?
• RQ3 히케–마스 캐스프폼의 $ L^\infty $-노름 한계는 밀도 1 부분수열에 대해 향상시킬 수 있으며, 만약 그렇다면 얼마나 향상될 수 있는가?
• RQ4 린델뢰프 가설을 가정하지 않고도, 거의 모든 짝수 마스 형식에 대해 $ \beta $ 와 교차하는 노달 도메인 수가 $ t_\phi^{1/8 - \epsilon} $ 보다 더 빠르게 증가하는가?

주요 결과

• 스펙트럼 창 $ |t_\phi - T| < T^{1/3} $ 내에서 $ O_{\epsilon_0}(T^{4/3 - \epsilon_0/2}) $ 개 이하의 짝수 히케–마스 캐스프폼을 제외한 나머지에 대해, 고정된 컴팩트 지오데식 세그먼트 $ \beta \subset \{iy : y > 0\} $ 와 교차하는 노달 도메인 수 $ N^\beta(\phi) $ 는 $ t_\phi^{1/8 - \epsilon_0} $ 를 초과한다.
• 히케–마스 캐스프폼의 밀도 1 부분수열에 대해 $ L^\infty $-노름은 $ O_\epsilon(t_\phi^{3/8 + \epsilon}) $ 로 제한되며, 아이와니에츠와 사르나크의 결과인 $ O_\epsilon(t_\phi^{5/12 + \epsilon}) $ 를 초월한다.
• 동일한 스펙트럼 창 내에서 $ \|\phi\|_{L^2(\beta)}^2 $ 는 모든 짝수 형식 중 $ O(T) $ 개를 제외한 나머지에 대해 $ \gg_\beta 1 $ 의 상한을 가진다.
• 이동된 컨볼루션 합의 분산이 날카롭게 추정되었으며, 이는 $ L^1 $-노름 제어 및 향상된 노달 도메인 하한 도출에 기여한다.
• 결과는 조건 없는 것으로, 이전의 고파르, 레츠니코프, 사르나크의 연구와 달리 린델뢰프 가설과 같은 가정이 필요하지 않다.
• $ L^\infty $-노름 한계의 향상은 뚜렷하며, 지수를 $ 5/12 \approx 0.4167 $ 에서 $ 3/8 = 0.375 $ 로 감소시켜 추측된 $ t_\phi^\epsilon $ 한계에 가까워진다.