[論文レビュー] Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps I

Nalini Anantharaman, Laura Monk|ArXiv.org|Apr 5, 2023

Mathematical Dynamics and Fractals被引用数 6

ひとこと要約

この論文は、ランダムな双曲的表面における閉測地線の体積多項式を分析するために、Friedman–Ramanujan関数を導入し、Mirzakhaniの理論を単純な測地線から任意のトポロジー型の閉測地線へと拡張する。逆生成数における漸近展開と、これらの関数のキャンセレーション性質を用いて、大生成数のランダムな双曲的表面は高確率でスペクトルギャップが $\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.

研究の動機と目的

• 双曲的表面における任意のトポロジー型の閉測地線について、Mirzakhaniの単純な測地線の体積多項式理論を拡張すること。
• 体積関数の逆生成数 $g$ のべきにおける漸近展開の枠組みを構築し、その係数がFriedman–Ramanujan関数と呼ばれる新しい関数類に属することを特定すること。
• これらの関数をスペクトルギャップ問題に応用し、$g \to \infty$ のとき、典型的なランダムな双曲的表面のスペクトルギャップが $\frac{2}{9}$ に近づくことを証明すること。
• スペクトル理論におけるトレース法の推定値を改善するために、これらの関数のキャンセレーション性質を確立すること。

提案手法

• 閉測地線のトポロジー型に関連する「体積関数」を定義し、Mirzakhaniの体積多項式を一般化すること。
• これらの体積関数が $g^{-1}$ のべきにおける漸近展開を有し、その係数がFriedman–Ramanujan関数と呼ばれる新しい関数類に属することを証明すること。
• 展開の2次項がFriedman–Ramanujan関数でないことを特定し、1次と2次項の間で構造的相違が生じることを示すこと。
• Selbergのトレース公式とトレース法を用い、スペクトルギャップを測地線長の和に関連づけ、Friedman–Ramanujan関数の性質によるキャンセレーションを統合すること。
• オイラー特性数 0 および -1 の表面を埋め尽くす測地線の局所的トポロジー分類を用いて、トレース展開における寄与を制御すること。
• パrameter $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 これらの展開における係数は、Friedmanのランダムグラフに関する研究にインspiredされた、Friedman–Ramanujan関数と呼ばれる新しい関数類に属するか？
• RQ3 これらの関数のキャンセレーション性質を活用して、Weil–Peterssonモデルにおけるスペクトルギャップ推定値を改善できるか？
• RQ4 ランダムな双曲的表面の生成数 $g$ におけるスペクトルギャップが、$g \to \infty$ のとき高確率で $\frac{2}{9} - \epsilon$ 以上に有界であるか？

主な発見

• オイラー特性数 0 および -1 の表面を埋め尽くす閉測地線の体積関数は、$g^{-1}$ のべきにおける漸近展開を有し、その係数はFriedman–Ramanujan関数のクラスに属する。
• 展開の2次項がFriedman–Ramanujan関数でないことは、1次と2次項の間で構造的相違が生じることを示唆する。
• $\epsilon > 0$ に対して、ランダムな生成数 $g$ の双曲的表面がスペクトルギャップ $\lambda_1 \geq \frac{2}{9} - \epsilon$ を有する確率は、$g \to \infty$ のとき 1 に近づく。
• 証明は、$m$ 階微分 $\mathcal{D}^m h_L$ を用いたキャンセレーションに依存しており、誤差項を $\mathcal{O}_{\epsilon,\kappa}(g^{1+5\epsilon})$ に削減する。
• 長さが $6\log g$ 未満の測地線の局所的トポロジー型の数は、$\mathcal{O}_{\kappa,\epsilon}(g^{\epsilon})$ で有界であり、型ごとの和を制御可能である。

Figure 5 . Examples of local topological types.