$\operatorname{SO}(n, 1)$のSchottky半群と連分数半群における合同計数

基本情報

• 論文ID: 2108.00545
• タイトル: Congruence counting in Schottky and continued fractions semigroups of $\operatorname{SO}(n, 1)$
• 著者: Pratyush Sarkar
• 分類: math.NT（数論）、math.DS（力学系）、math.SP（スペクトル理論）
• 発表日時: 2025年11月21日（arXiv v3）
• 論文リンク: https://arxiv.org/abs/2108.00545v3

要約

本論文は、$\Gamma < \operatorname{SO}(n, 1)$のZariski稠密Schottky半群と$\Gamma < \operatorname{SL}_2(\mathbb{C})$のZariski稠密連分数半群という2つの重要な半群設定を研究する。これら両設定において、著者は対応する合同部分半群の一様漸近計数公式を証明し、Magee-Oh-Winter MOW19による$\operatorname{SL}_2(\mathbb{R})$での研究を高次元へ拡張した。証明には2つの独立した戦略が必要である：Bourgain-Gamburd-Sarnak の研究に基づくGolsefidy-Varjúの拡張機構と、Dolgopyat方法である。高次元の場合は複数の課題に直面する：第一に、拡張機構の使用には重要な入力——帰還軌道部分群のZariski稠密性と完全跡体性質が必要である；第二に、Stoyanov版Dolgopyat方法を適応させる必要があり、主な困難は局所非可積分条件（LNIC）と非集中性質（NCP）の証明にある。

研究背景と動機

問題設定

本論文が解決する中心的問題は、双曲空間$\mathbb{H}^n$内のSchottky半群と連分数半群に対して、その合同部分半群の一様漸近計数をいかに行うかである。具体的には、半群$\Gamma$とその合同部分半群$\Gamma_q$（法$q$の合同条件）が与えられたとき、特定条件を満たす元の個数を計算し、$q$に関する一様な誤差評価を与える必要がある。

研究の重要性

この問題は複数の数学領域で重要な意義を持つ：

1. 数論との関連：連分数半群はZaremba予想と密接に関連している。Zaremba予想は、有界整数集合$A$が存在して、すべての正整数が分母がのみ$A$の元を含む連分数として表現できることを予測している。Bourgain-Kontorovich BK14は密度1の結果を得て重大な進展を遂行したが、本論文の計数結果は誤差項のさらなる改善に利用できる。
2. 力学系：計数問題は双曲流の混合性質、スペクトル間隙などの深い性質と関連している。
3. 群論と代数：代数群の強近似定理、拡張グラフ理論などの中核的主題を含む。

既存方法の限界

• 次元制限：Magee-Oh-Winter MOW19の結果は$n=2$の場合（$\operatorname{SL}_2(\mathbb{R})$）にのみ適用可能
• 技術的障害：高次元の場合、局所非可積分条件（LNIC）の証明は極めて困難になり、Naud Nau05の2次元証明は直接推広できない
• 拡張機構：高次元拡張理論を使用するには新しい概念（帰還軌道部分群）が必要

研究の動機

本論文の出発点は、2次元の成功した理論を任意の次元$n \geq 2$に推広することであり、これには以下が必要である：

1. 高次元の複雑性を扱うための新しい幾何学的および代数的ツールの開発
2. 帰還軌道部分群のZariski稠密性の証明
3. 高次元設定でのLNICとNCP の確立

核心的貢献

1. 主定理：$\operatorname{SO}(n,1)$のSchottky半群と$\operatorname{SL}_2(\mathbb{C})$の連分数半群に対して、$\epsilon \in (0, \delta_\Gamma)$が存在して $\#(\Gamma_q \cap B_R(e)) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$ が成立することを証明した。ここで$\delta_\Gamma$はHausdorff次元、$q$は無平方因子で$q_0$と互いに素である。
2. Zariski稠密性：高次元帰還軌道部分群のZariski稠密性を初めて証明した（定理7.2）。これは拡張機構の適用の鍵である。連分数半群に対しては完全跡体性質も証明した（定理7.5）。
3. LNICの高次元推広：重大な技術的困難を克服し、任意の次元$n \geq 2$で時間距離関数が局所非可積分条件を満たすことを証明した（命題11.6）。これはDolgopyat方法の中核的入力である。
4. 統一的枠組み：Schottky半群と連分数半群を扱うための統一的理論枠組みを確立し、幾何学的背景は異なるが同じ解析ツールを使用できることを示した。
5. 技術的革新：
   • Stoyanov版Dolgopyat方法を採用し、三分割命題の技術的困難を回避
   • 合同転移作用素を扱うための新しい$L^2$-平坦化補題を開発（補題8.1）
   • 非集中性質（命題11.8）の一般的証明を確立

方法の詳細解説

タスク定義

入力：

• 半群$\Gamma < G$（SchottkyまたはCF半群）
• 合同パラメータ$q \in \mathcal{O}$（$\mathcal{O} = \mathbb{Z}$または$\mathbb{Z}[i]$）
• Lipschitz関数$F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$
• 元$\gamma_0 \in \Gamma$、$x \in \tilde{\Gamma}$

出力： 加重計数公式 $\sum_{\substack{\|\gamma\gamma_0\|/\|\gamma_0\| \leq R \\ \pi_q(\tilde{\gamma}) = \pi_q(x)}} F(\gamma\gamma_0 o)$ の主項と誤差評価。

制約条件：

• $\Gamma$はZariski稠密性を満たす必要がある
• $q$は無平方因子で$q_0$と互いに素
• $R \to +\infty$での漸近挙動

中核的アーキテクチャ：転移作用素方法

全体的な証明戦略は合同転移作用素のスペクトル解析に基づいている：

1. 力学系符号化（第3節）

写像$T: D \to \mathbb{R}^{n-1}$を定義する： $T(u) = g_j^{-1} \cdot u, \quad \forall u \in D_j$

ここで$D = \bigcup_{j=1}^N D_j$は互いに素なEuclidean球の和である。主要性質：

• Markov性質：$\text{int}(D_j) \cap T(\text{int}(D_k)) \neq \emptyset \Rightarrow D_j \subset T(D_k)$
• 双曲性（補題3.1）：$\kappa_2 > \kappa_1 > 1$が存在して $c_0\kappa_2^k \leq \|(dT^k)_u\|_{op} \leq c_0^{-1}\kappa_1^k$

2. 合同転移作用素（第4節）

$M_{\xi,q}: C(\Lambda, L^2(\tilde{G}_q)) \to C(\Lambda, L^2(\tilde{G}_q))$を定義する： $M_{\xi,q}(H)(u) = \sum_{u' \in T^{-1}(u)} e^{(f^{(a)} - ib\tau)(u')} c_q(u') H(u')$

ここで：

• $\xi = a + ib \in \mathbb{C}$は複素パラメータ
• $c_q: D \to \tilde{G}_q$は合同cocycle写像
• $\tau$は歪み関数（distortion function）
• $f^{(a)}$は正規化ポテンシャル関数

中核的技術定理（定理4.5）：$\eta > 0$、$C \geq 1$が存在して：

1. 小周波数（$|b| \leq b_0$）：無平方因子$q$に対して、 $\|M_{\xi,q}^k(H)\|_{\text{Lip}} \leq CN(q)^C e^{-\eta k} \|H\|_{\text{Lip}}$
2. 大周波数（$|b| > b_0$）：すべての非零$q$に対して、 $\|M_{\xi,q}^k(H)\|_{\text{Lip}} \leq C_\sigma |b|^{1+\sigma} e^{-\eta_\sigma k} \|H\|_{\text{Lip}}$

技術的経路分解

戦略1：拡張機構（第5-8節、小周波数を処理）

主要ステップ：

1. 帰還軌道部分群（定義7.1）： $p \in \mathbb{N}$と$(y,z) \in A^2$に対して、 $H_p(y,z) = \left\langle \prod_{j=1}^p g_{\alpha_j} \prod_{j=1}^p g_{\tilde{\alpha}_{p+1-j}}^{-1} \right\rangle$
2. Zariski稠密性の証明（定理7.2）：
   • 中核的思想：極限集合$\Lambda(H_p(y,z))$が任意の$(n-2)$-球面に含まれないことを証明
   • 技術的ツール：Karpelevič-Mostow定理。$H < G$がZariski稠密でなければ、$\Lambda(H)$は$(n-2)$-球面に含まれる
   • 構成：$(n-2)$-球面上にない$n+1$個の極限点を選択し、双曲元の吸引不動点を通じて構成
3. $L^2$-平坦化補題（補題8.1）： $r \in l\mathbb{Z}$で$r \geq C_0\log(N(q))$に対して、 $\|\mu_{\xi,q,x}^{(\alpha_s,...,\alpha_{r+1})} * \phi\|_2 \leq CN(q)^{-1/3} \|\nu_{a,q,x}^{(\alpha_s,...,\alpha_{r+1})}\|_1$
4. スペクトル間隙（補題8.7）：
   • 強近似定理の適用（Weisfeiler Wei84）：$\pi_q(\Omega) = H(\mathcal{O}/q\mathcal{O})$
   • 拡張機構の適用（Golsefidy-Varjú GV12）：Cayleyグラフが拡張子を形成
   • $L^2_0(\tilde{G}_q)$上のスペクトル間隙$\epsilon \in (0,1)$を得る

戦略2：Dolgopyat方法（第10-13節、大周波数を処理）

主要入力：

1. 局所非可積分条件（LNIC）（命題11.6）： $\alpha, \beta \in \Sigma$、$k \in A$、$u_0, u_0' \in C[k]$が存在して $\nabla \phi_{\alpha,\beta,u_0'}(u_0) \neq 0$ ここで$\phi_{\alpha,\beta}$は時間距離関数である。
   証明戦略（命題11.5）：
   • $\tau$が局所定数関数と上同調であると仮定
   • 恒等式を導出（式7）：$\ell(h_1^{p_1}h_2^{p_2}) = \ell(h_1^{p_1}) + \ell(h_2^{p_2})$
   • $(h_1, h_2)$-$\mathbb{H}^3$-配置で分析
   • 補題11.4（双曲関数恒等式）とPoincaré回帰定理を使用
   • 円方程式$|ad| = |bc+1| = 1$を得る（式15）
   • これが矛盾をもたらすことを証明：吸引不動点は$\Re(\xi) = 1/2$を満たす必要がある
   • 幾何学的論証（2つの場合）により不可能であることを証明
2. 非集中性質（NCP）（命題11.8）： $\delta \in (0,1)$が存在して、すべての$x \in \Lambda$、円筒$C \subset \Lambda$、単位ベクトル$w$に対して、 $y \in C \setminus B^E_{\text{diam}(C)/4}(x)$が存在して $|\langle y-x, w \rangle| \geq \delta \cdot \text{diam}(C)$
3. Dolgopyat作用素の構成（第12節）： $N_{a,J}(h) = L_a^m(\beta_J h)$ を定義する。ここで$\beta_J = \chi_U - \mu \sum_{(j,k) \in J} \chi_{X_{j,k}(b)}$は「穴あき」関数である。
4. スペクトル収縮（定理10.3）： $\eta \in (0,1)$が存在して $\|N_{a,J}(h)\|_2 \leq \eta \|h\|_2$ すべての$h \in C_{E|b|}(\Lambda)$と$J \in \mathcal{J}(b)$に対して成立する。

技術的革新点

1. 高次元LNICの証明：
   • Naudの2次元証明は$\mathbb{H}^2 = \mathbb{H}^3$の特殊性に依存
   • 本論文は$(h_1,h_2)$-$\mathbb{H}^3$-配置の分析を通じて、$\operatorname{SO}(n,1)$が保存する3次元部分多様体を利用
   • 主要な革新：Poincaré回帰定理を使用して回転部分$m_j \in M$を処理
   • 双曲関数の精密な評価を確立（式10-14）
2. Stoyanov版の採用：
   • 三分割命題（triadic partition proposition）を回避
   • Gibbs測度性質を直接使用し、Federer/倍増性質ではなく
   • 新しい距離関数$d$を導入（第10節）して証明をより明確化
3. 帰還軌道部分群の完全跡体：
   • 連分数半群に対して、$\mathbb{Q}(\text{tr}(H_p(y,z))) = \mathbb{Q}(i)$が必要
   • 様々な元の跡を計算（5つの場合、定理7.5）
   • Zariski稠密性と$A \not\subset \mathbb{N}$の仮定を利用
4. 統一的な合同処理：
   • cocycle写像の局所定数性と単位性により、合同パラメータ$q$の処理が統一化
   • OW16で初めて観察され、本論文で高次元に推広

実験設定

本論文は純粋数学理論論文であり、数値実験や計算検証は含まれない。すべての結果は厳密な数学的証明である。

理論的検証

論文は以下の方法で理論の正確性を検証している：

1. 特殊情形の一貫性：
   • $n=2$の場合、Magee-Oh-Winter MOW19の結果に回帰
   • Schottky部分群の場合、Sarkar Sar22、Edwards-Oh EO21などの既知結果と一貫
   • 連分数の場合、Bourgain-Kontorovich BK14の応用と一貫
2. 論理チェーンの完全性：
   • 定理1.1 ← 定理4.5 ← 定理5.1と定理10.3
   • 定理5.1 ← 補題8.1、9.2
   • 定理10.3 ← 命題11.6、11.8

パラメータ設定

主要定数の選択（第12節）：

• $b_0 = 1$（周波数閾値）
• $E > \max(1, 2A_0)$（Lipschitz定数）
• $m > m_0$は$\kappa_2^m > \max(8A_0, \frac{4E\rho^{p_1}\epsilon_1}{c_0}, \frac{4 \cdot 128E}{c_0\delta_0\rho})$を満たす
• $\mu < \min(\frac{2E\epsilon_1 c_0\rho^{p_0p_1+1}}{\kappa_1^m}, \frac{1}{4}, \frac{1}{16 \cdot 16e^{2mT_0}}(\frac{\delta_0\rho\epsilon_1}{64})^2)$

これらの定数の選択は以下を確保する：

• Lasota-Yorke型評価（補題12.2）
• Dolgopyat作用素の収縮性（補題13.3）
• LNICとNCPの有効性

実験結果

主要な理論結果

定理1.1（主定理）： $\epsilon \in (0, \delta_\Gamma)$、$C > 0$、$q_0 \in \mathcal{O}$が存在して、すべての$F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$、$\gamma_0 \in \Gamma$、$x \in \tilde{\Gamma}$、無平方因子$q$で$q_0$と互いに素、$R \to +\infty$のとき：

$\sum_{\substack{\|\gamma\gamma_0\|/\|\gamma_0\| \leq R \\ \pi_q(\tilde{\gamma}) = \pi_q(x)}} F(\gamma\gamma_0 o) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)}(\|F\|_\infty + \text{Lip}(F|_{\mathbb{R}^{n-1}})))$

系1.2： $F = \chi_{\mathbb{H}^n \cup \mathbb{R}^{n-1}}$、$\gamma_0 = e$、$x = e$を取ると：

$\#(\Gamma_q \cap B_R(e)) = C_0 \frac{R^{2\delta_\Gamma}}{\#\tilde{G}_q} + O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$

既存結果との比較

主要補題の検証

1. Zariski稠密性（定理7.2）：
   • すべての$(y,z) \in A^2$に対して、$p > p_0$のとき$H_p(y,z)$はZariski稠密
   • 証明は$(n-2)$-球面上にない$n+1$個の極限点を構成
2. LNIC（命題11.6）：
   • $\tau$が局所定数関数と上同調でないことを証明
   • 鍵は矛盾を導出：吸引不動点は不可能な幾何学的制約を満たす必要がある
3. スペクトル間隙（定理4.5）：
   • 小周波数：$\eta > 0$は$q$に無関係
   • 大周波数：$\eta_\sigma > 0$は任意の$\sigma > 0$に対して存在

応用：Zaremba予想の進展

予想1.5（推広されたZaremba予想）： 有界集合$A \subset \mathbb{N} + i\mathbb{Z}$が存在して$D_A = \mathbb{N} + i\mathbb{Z}$である。

現在の最良結果（Huang Hua15と本論文の結合）： $\#(D_{\{1,2,3,4,5\}} \cap [1,N]) = N + O(N^{1-\epsilon})$ ある$\epsilon \in (0,1)$に対して。

本論文の貢献：誤差項を$O(Ne^{-c\sqrt{\log N}})$（Bourgain-Kontorovich）から$O(N^{1-\epsilon})$に改善。

関連研究

計数問題の歴史

1. 古典的結果：
   • Lalley Lal89：非合同情形の更新定理
   • Bowen Bow79：Hausdorff次元と臨界指数の関係
2. 合同計数：
   • Gamburd Gam02：$\operatorname{SL}_2(\mathbb{Z})$で$\delta_\Gamma > 5/6$の場合
   • Bourgain-Gamburd-Sarnak BGS11：$\delta_\Gamma > 1/2$に改善
   • Magee-Oh-Winter MOW19：次元制限なし、$n=2$の場合
3. 高次元推広：
   • Mohammadi-Oh MO15：frame流の一様指数混合を通じて
   • Sarkar Sar22：frame流方法の高次元推広
   • 本論文：転移作用素方法の高次元推広

拡張グラフ理論

1. 基礎的研究：
   • Bourgain-Gamburd BG08：$\operatorname{SL}_2(\mathbb{F}_p)$の一様拡張
   • Bourgain-Gamburd-Sarnak BGS10：アフィン篩法
2. 高次元推広：
   • Golsefidy-Varjú GV12：一般半単純群の拡張
   • Bourgain-Varjú BV12：$\operatorname{SL}_d(\mathbb{Z}/q\mathbb{Z})$の拡張
   • He-de Saxcé HdS22：無平方因子仮説の除去

Dolgopyat方法

1. 原始的研究：
   • Dolgopyat Dol98：Anosov流の相関衰減
2. 転移作用素への応用：
   • Naud Nau05：Cantor集合上の拡張写像
   • Stoyanov Sto11：Axiom A流のRuelle転移作用素スペクトル
   • Oh-Winter OW16：合同設定での応用
3. 本論文の貢献：
   • Stoyanov版を採用して技術的困難を回避
   • 高次元LNICの初めての証明
   • Schottkyと連分数半群の統一的処理

連分数と数論

1. Zaremba予想：
   • Zaremba Zar72：原始的予想
   • Bourgain-Kontorovich BK14：密度1の結果、$A=50$
   • Huang Hua15：$A=5$に改善
2. 本論文の数論的応用：
   • Bourgain-Kontorovich の誤差項を改善
   • 推広されたZaremba予想のツール提供

結論と議論

主要な結論

1. 一様計数公式：$\operatorname{SO}(n,1)$のSchottky半群と$\operatorname{SL}_2(\mathbb{C})$の連分数半群に対して、合同パラメータ$q$に関する一様な漸近計数公式を確立し、誤差項は$O(N(q)^C R^{2(\delta_\Gamma - \epsilon)})$である。
2. 方法論的突破：
   • 高次元で帰還軌道部分群のZariski稠密性を初めて証明
   • 高次元でLNICを初めて確立
   • Stoyanov版Dolgopyat方法の成功的適応
3. 応用の見通し：推広されたZaremba予想に新しいツールを提供し、さらなる数論的応用につながる可能性がある。

限界

1. 無平方因子仮説：
   • 定理1.1は$q$が無平方因子であることを要求（$n=3$を除く）
   • Golsefidy-Varjú拡張機構の制限に由来
   • He-de Saxcé HdS22の最新結果がこの仮説を除去できる可能性（$n \neq 3$）
2. 関数クラスの制限：
   • $F \in L_\star(\mathbb{H}^n \cup \mathbb{R}^{n-1}, \mathbb{R})$（局所定数）が必要
   • MOW19は$C^1$関数を扱うが、本論文は高次元に推広していない
3. 定数の依存性：
   • $\epsilon$と$C$の具体値は明示されていない
   • 複数の中間定数の複雑な選択に依存
4. $n=3$の特殊性：
   • $\operatorname{SO}(3,1) \cong \operatorname{PSL}_2(\mathbb{C})$は絶対単純ではない
   • いくつかの結果（無平方因子仮説の除去など）は適用不可

将来の方向

1. 関数クラスの推広：
   • $C^1$またはより滑らかな関数への推広
   • 他の関数空間（Hölder、Sobolev等）の研究
2. 制限の除去：
   • HdS22を利用して無平方因子仮説を除去
   • 非Zariski稠密情形の研究
3. 数論的応用：
   • Zaremba予想の進展をさらに改善
   • Gauss整数上のDiophantine近似の研究
4. 力学系的応用：
   • より一般的な双曲流の研究
   • 量子混沌との関連の確立
5. 計算的側面：
   • 小パラメータ情形の数値検証
   • 定数$\epsilon$と$C$の実際の値の推定

深い評価

長所

1. 重大な理論的突破：
   • 2次元の深い理論を任意の次元に成功裏に推広。これは幾何学と力学系では非自明
   • LNICの高次元証明（命題11.5）は極めて技術的で、双曲幾何、Lie群理論、複素解析の深い結合を含む
2. 方法論的革新：
   • 帰還軌道部分群の概念を導入し、そのZariski稠密性を証明。これは独創的貢献
   • Stoyanov版を採用して三分割命題を回避し、証明構造を簡潔化
   • 一見異なるSchottkyと連分数半群を統一的に処理
3. 技術的厳密性：
   • 証明チェーンが完全で、主定理から各補題まで論理が明確
   • 定数選択（第12節）は複雑だが合理的で、各ステップの相容性を確保
   • 細部処理が周到（Remarkでの議論など）
4. 執筆品質：
   • 構造が明確で、背景から証明へと段階的に進行
   • 多くのRemarkが直感と関連研究との関連を提供
   • 技術的付録（補題11.4など）は独立して提示され理解しやすい
5. 潜在的影響：
   • 数論（Zaremba予想）に新しいツール提供
   • 高次元力学系とスペクトル理論に新しい方向を開拓
   • 方法論は他の群と空間に適用可能

不足

1. 可読性の課題：
   • 技術密度が極めて高く、複数の領域（数論、力学系、Lie群、スペクトル理論）の深い背景が必要
   • LNICの証明（命題11.5）は範囲が広く、式(7)から式(16)まで慎重に追跡する必要がある
   • いくつかの記号（$\alpha^l_j$、$\alpha^{(l-p)1}_j$など）は複雑
2. 定数の非明示性：
   • 主定理の$\epsilon$と$C$は具体値や評価が与えられていない
   • 実際の応用（Zaremba予想など）はこれらの定数の数値界が必要な可能性がある
3. 制限条件：
   • 無平方因子仮説は除去可能だが依然存在
   • 局所定数関数の制限は強く、応用範囲が限定される
4. いくつかの証明の簡潔性：
   • 多くの場所で「proved as in XXX」と引用し完全な証明を与えていない（補題9.1、13.5など）
   • 非専門家には理解困難な可能性がある
5. 数値検証の欠如：
   • 純理論論文として理解できるが、小パラメータ情形の数値検証は信頼性を高める
   • 既知の特殊情形との定量的比較が不足

影響力評価

1. 学術的貢献：
   • 重要性：★★★★★（5/5）
     • 高次元合同計数という中核的問題を解決
     • 方法論は独創的で普遍的
   • 技術的難度：★★★★★（5/5）
     • LNICの高次元証明は技術的傑作
     • 複数領域の深い統合が必要
2. 実用的価値：
   • 数論的応用：★★★★☆（4/5）
     • Zaremba予想の進展を直接改善
     • 他のDiophantine問題を啓発する可能性
   • 力学系：★★★★☆（4/5）
     • 混合性質研究に新しい視点提供
     • 転移作用素方法の重要な推広
3. 再現可能性：
   • 理論的検証可能性：★★★★★（5/5）
     • 証明論理が完全で専門家による検証可能
   • 計算実装可能性：★★☆☆☆（2/5）
     • 定数選択が複雑で数値実装困難
     • さらなる研究で計算可能にする必要がある
4. 後続研究の可能性：
   • 高い：複数の方向が探索価値あり（関数クラス推広、制限除去、新応用）
   • 方法論は他の群と流形に適用可能

適用場面

1. 理論研究：
   • 双曲流のスペクトル理論
   • 等質力学系の計数問題
   • Lie群の算術性質
2. 数論的応用：
   • Zaremba型予想
   • Diophantine近似
   • 連分数展開の分布
3. 幾何トポロジー：
   • 双曲多様体の幾何
   • 測地線計数
   • 極限集合の分形性質
4. 量子混沌：
   • スペクトル理論を通じた関連
   • Selberg zeta関数の応用

不適用な場面：

• 低正則性問題（$C^1$またはLipschitz必要）
• 非双曲系
• 明示的定数が必要な数値計算

参考文献（主要引用）

1. MOW19 Magee-Oh-Winter: Uniform congruence counting for Schottky semigroups in SL₂(ℤ) - 本論文が直接推広する2次元結果
2. GV12 Golsefidy-Varjú: Expansion in perfect groups - 拡張機構の理論的基礎
3. Dol98 Dolgopyat: On decay of correlations in Anosov flows - Dolgopyat方法の原始的研究
4. Sto11 Stoyanov: Spectra of Ruelle transfer operators for axiom A flows - 本論文が採用するDolgopyat方法版
5. Nau05 Naud: Expanding maps on Cantor sets and analytic continuation of zeta functions - 2次元LNICの証明
6. BK14 Bourgain-Kontorovich: On Zaremba's conjecture - Zaremba予想の重大な進展
7. Wei84 Weisfeiler: Strong approximation for Zariski-dense subgroups - 強近似定理
8. Sar22 Sarkar: Generalization of Selberg's 3/16 theorem - 著者の先行研究、帰還軌道部分群を導入

総括

これは技術的深さが極めて高い純粋数学論文であり、2次元の合同計数理論を任意の次元に成功裏に推広している。主要な革新は：(1) 帰還軌道部分群のZariski稠密性の証明；(2) 高次元LNICの確立；(3) Stoyanov版Dolgopyat方法の成功的適応である。本論文は数論、力学系、スペクトル理論の交差領域における中核的問題を解決し、Zaremba予想などの応用に新しいツールを提供している。技術的敷居は高く、いくつかの定数は非明示的だが、方法論の独創性と理論的深さにより、この分野の重要な貢献となり、持続的な影響を生むことが予想される。