[논문 리뷰] Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps I

Nalini Anantharaman, Laura Monk|ArXiv.org|2023. 04. 05.

Mathematical Dynamics and Fractals인용 수 6

한 줄 요약

이 논문은 무작위 초구형 표면에서 폐포지지의 체적 다항식을 분석하기 위해 프리드먼–라마누잔 함수를 도입하여, 미르자카니의 이론을 단순한 지오데식이 아닌 임의의 위상적 유형의 폐포지지로 확장한다. 고유계수의 점 渐近 전개와 이러한 함수의 상쇄 성질을 이용해, 큰 고유계수를 가진 무작위 초구형 표면이 거의 확률적으로 스펙트럼 간격을 최소 $\frac{2}{9} - \epsilon$ 이상으로 가지며, 이는 이전의 추정치를 향상시키고 일반적으로 최적에 가까운 스펙트럼 간격을 달성한다는 추측을 지지한다.

ABSTRACT

In this series of articles, we analyse the level-sets of length functions on the moduli space of compact hyperbolic surfaces of fixed genus. This work ultimately culminates in a proof that typical hyperbolic surfaces have an optimal spectral gap. In this first article, we introduce new volume functions $V_g^T(l)$, counting the expected number of closed geodesics of type $T$ and length $l$ on a random hyperbolic surface of genus $g$. So far, this function has only been considered in the case where the type is simple, in which case it can be expressed as a combination of Weil-Petersson volumes polynomials, as proven by Mirzakhani. We provide an integral expression for $V_g^T(l)$ for any prescribed type $T$, which we use to prove that $V_g^T(l)$ admits a full asymptotic expansion in powers of $1/g$. We then claim that the coefficients in this expansion, as a function of the length variable $l$, belong to a newly-introduced class of functions called "Friedman-Ramanujan functions". We relate this claim to the study of the spectral gap of the Laplace-Beltrami operator, and prove it when $T$ fills a surface of Euler characteristic $0$ or $-1$, providing a method to explicitly compute all coefficients in the second-order expansion. We conclude by displaying how the presence of tangles (which is an event of vanishing probability) prevents the sum over all types to satisfy the Friedman-Ramanujan property at the second order.

연구 동기 및 목표

• 초구형 표면에서 폐포지지의 임의의 위상적 유형에 대해 미르자카니의 단순 지오데식 체적 다항식 이론을 확장한다.
• 고유계수의 역수의 거듭제곱에 대한 체적 함수의 점 渐近 전개 프레임워크를 개발하며, 계수를 새로운 함수 클래스인 프리드먼–라마누잔 함수로 식별한다.
• 이러한 함수를 스펙트럼 간격 문제에 적용하여, 일반적인 무작위 초구형 표면이 $g \to \infty$일 때 스펙트럼 간격이 $\frac{2}{9}$에 수렴함을 증명한다.
• 스펙트럼 이론에서 트레이스 방법의 추정치를 향상시키기 위해 이러한 함수의 상쇄 성질을 확립한다.

제안 방법

• 폐포지지의 위상적 유형과 관련된 '체적 함수'를 정의하여, 미르자카니의 체적 다항식을 일반화한다.
• 이 체적 함수가 $g^{-1}$의 거듭제곱에 대한 점 渐近 전개를 가지며, 계수가 새로운 함수 클래스인 프리드먼–라마누잔 함수로 구성됨을 증명한다.
• 이 전개의 두 번째 항이 프리드먼–라마누잔 함수가 아니라는 점을 입증하여, 첫 두 항과의 구조적 차이를 나타낸다.
• 셀버그 트레이스 공식과 트레이스 방법을 사용하여 스펙트럼 간격을 지오데식 길이의 합과 연결하며, 프리드먼–라마누잔 함수의 성질을 통해 상쇄를 도입한다.
• 오일러 특성수가 0과 -1인 표면를 메우는 지오데식의 국소 위상적 분류를 적용하여 트레이스 전개에서의 기여를 통제한다.
• 매개변수 $m = \lceil c_2 \rceil + 1$을 사용하여 $\mathcal{D}^m h_L(\ell)$의 상쇄를 활용하여 오차 항을 $\mathcal{O}_{\epsilon,\kappa}(g^{1+5\epsilon})$로 감소시킨다.

Figure 2 . Decomposition of a figure-eight on a graph.

실험 결과

연구 질문

• RQ1 초구형 표면에서 임의의 폐포지지 유형에 대한 체적 함수는 고유계수 $g$의 역수의 거듭제곱에 대해 점 渐近 전개를 가질 수 있는가?
• RQ2 이러한 전개의 계수는 프리드먼의 무작위 그래프 연구에서 영감을 받은 새로운 함수 클래스인 프리드먼–라마누잔 함수에 속하는가?
• RQ3 이러한 함수의 상쇄 성질을 활용하여 웰-피터슨 모델에서 스펙트럼 간격 추정치를 향상시킬 수 있는가?
• RQ4 무작위 초구형 표면의 고유계수 $g$가 $g \to \infty$일 때 스펙트럼 간격이 $\frac{2}{9} - \epsilon$ 이상으로 유계일 확률이 높은가?

주요 결과

• 오일러 특성수가 0과 -1인 표면를 메우는 폐포지지에 대한 체적 함수는 $g^{-1}$의 거듭제곱에 대한 점 渐近 전개를 가지며, 계수는 프리드먼–라마누잔 함수의 클래스에 속한다.
• 전개의 두 번째 항은 프리드먼–라마누잔 함수가 아니며, 이는 첫 두 항과의 구조적 이질성을 나타낸다.
• 모든 $\epsilon > 0$에 대해, 고유계수 $g$를 가진 무작위 초구형 표면이 스펙트럼 간격 $\lambda_1 \geq \frac{2}{9} - \epsilon$를 가지는 확률은 $g \to \infty$일 때 1로 수렴한다.
• 이 증명은 트레이스 방법의 상쇄에 의존하며, 이는 $h_L$의 $m$-번째 도함수를 통해 이루어지며 오차 항을 $\mathcal{O}_{\epsilon,\kappa}(g^{1+5\epsilon})$로 감소시킨다.
• 길이가 $6\log g$ 이하인 지오데식의 국소 위상적 유형의 수는 $\mathcal{O}_{\kappa,\epsilon}(g^{\epsilon})$ 이하로 유계이며, 이는 유형별 합산을 통제 가능하게 한다.

Figure 5 . Examples of local topological types.