Congruence counting in Schottky and continued fractions semigroups of $\operatorname{SO}(n, 1)$

基本信息

• 论文ID: 2108.00545
• 标题: Congruence counting in Schottky and continued fractions semigroups of $\operatorname{SO}(n, 1)$
• 作者: Pratyush Sarkar
• 分类: math.NT (Number Theory), math.DS (Dynamical Systems), math.SP (Spectral Theory)
• 发表时间: November 21, 2025 (arXiv v3)
• 论文链接: https://arxiv.org/abs/2108.00545v3

摘要

本文研究两类重要的半群设定：$\Gamma < \operatorname{SO}(n, 1)$的Zariski稠密Schottky半群和$\Gamma < \operatorname{SL}_2(\mathbb{C})$的Zariski稠密连分数半群。在这两种设定下，作者证明了相应的同余子半群的一致渐近计数公式，将Magee-Oh-Winter在$\operatorname{SL}_2(\mathbb{R})$中的工作推广到高维情形。证明需要两种独立的策略：基于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的二维证明无法直接推广
• 扩张机制：需要新的概念（返回轨道子群）来使用Golsefidy-Varjú的高维扩张理论

研究动机

本文的出发点是将二维的成功理论推广到任意维度$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稠密性（Theorem 7.2），这是应用扩张机制的关键。对连分数半群还证明了完全迹域性质（Theorem 7.5）。
3. LNIC的高维推广：克服重大技术困难，在任意维度$n \geq 2$证明了时间距离函数满足局部非可积条件（Proposition 11.6），这是Dolgopyat方法的核心输入。
4. 统一框架：建立了处理Schottky半群和连分数半群的统一理论框架，展示了尽管几何背景不同，但可用相同的分析工具。
5. 技术创新：
   • 采用Stoyanov版本的Dolgopyat方法，避免了三分分割命题的技术困难
   • 发展了新的$L^2$-平坦化引理（Lemma 8.1）处理同余转移算子
   • 建立了非集中性质（Proposition 11.8）的一般证明

方法详解

任务定义

输入：

• 半群$\Gamma < G$（Schottky或连分数半群）
• 同余参数$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. 动力系统编码（Section 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)$
• 双曲性（Lemma 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. 同余转移算子（Section 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$是同余茧映射
• $\tau$是扭曲函数（distortion function）
• $f^{(a)}$是归一化势函数

核心技术定理（Theorem 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}}$

技术路线分解

策略一：扩张机制（Sections 5-8，处理小频率）

关键步骤：

1. 返回轨道子群（Definition 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稠密性证明（Theorem 7.2）：
   • 核心思想：证明极限集$\Lambda(H_p(y,z))$不包含在任何$(n-2)$-球面中
   • 技术工具：Karpelevič-Mostow定理，如果$H < G$不是Zariski稠密的，则$\Lambda(H)$包含在$(n-2)$-球面中
   • 构造：选择$n+1$个不在$(n-2)$-球面上的极限点，通过双曲元素的吸引不动点构造
3. $L^2$-平坦化引理（Lemma 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. 谱间隙（Lemma 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)$

策略二：Dolgopyat方法（Sections 10-13，处理大频率）

关键输入：

1. 局部非可积条件（LNIC）（Proposition 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}$是时间距离函数。
   证明策略（Proposition 11.5）：
   • 假设$\tau$与局部常函数上同调
   • 导出恒等式（Eq. 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$-排列中分析
   • 使用Lemma 11.4（双曲函数恒等式）和Poincaré回归定理
   • 得到圆方程$|ad| = |bc+1| = 1$（Eq. 15）
   • 证明这导致矛盾：吸引不动点必须满足$\Re(\xi) = 1/2$
   • 通过几何论证（两种情形）证明不可能
2. 非集中性质（NCP）（Proposition 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算子构造（Section 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. 谱收缩（Theorem 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的二维证明依赖于$\mathbb{H}^2 = \mathbb{H}^3$的特殊性
   • 本文通过分析$(h_1,h_2)$-$\mathbb{H}^3$-排列，利用$\operatorname{SO}(n,1)$保持的3维子流形
   • 关键创新：使用Poincaré回归定理处理旋转部分$m_j \in M$
   • 建立了双曲函数的精细估计（Eqs. 10-14）
2. Stoyanov版本的采用：
   • 避免了三分分割命题（triadic partition proposition）
   • 直接使用Gibbs测度性质而非Federer/倍增性质
   • 引入新的距离函数$d$（Section 10）使证明更清晰
3. 返回轨道子群的完全迹域：
   • 对连分数半群，需要$\mathbb{Q}(\text{tr}(H_p(y,z))) = \mathbb{Q}(i)$
   • 通过计算各种元素的迹（5种情形，Theorem 7.5）
   • 利用Zariski稠密性和$A \not\subset \mathbb{N}$的假设
4. 统一的同余处理：
   • 茧映射的局部常性和酉性使同余参数$q$的处理统一化
   • 首次在OW16中观察到，本文推广到高维

实验设置

本文为纯数学理论论文，不涉及数值实验或计算验证。所有结果均为严格的数学证明。

理论验证

文章通过以下方式验证理论的正确性：

1. 特殊情形的一致性：
   • $n=2$时回归到Magee-Oh-Winter MOW19的结果
   • Schottky子群情形与Sarkar Sar22、Edwards-Oh EO21等已知结果一致
   • 连分数情形与Bourgain-Kontorovich BK14的应用一致
2. 逻辑链条的完整性：
   • Theorem 1.1 ← Theorem 4.5 ← Theorems 5.1 & 10.3
   • Theorem 5.1 ← Lemmas 8.1, 9.2
   • Theorem 10.3 ← Propositions 11.6, 11.8

参数设定

关键常数的选取（Section 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型估计（Lemma 12.2）
• Dolgopyat算子的收缩性（Lemma 13.3）
• LNIC和NCP的有效性

实验结果

主要理论结果

Theorem 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}})))$

Corollary 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稠密性（Theorem 7.2）：
   • 对所有$(y,z) \in A^2$，存在$p_0$使得$p > p_0$时$H_p(y,z)$是Zariski稠密的
   • 证明通过构造$n+1$个不在$(n-2)$-球面上的极限点
2. LNIC（Proposition 11.6）：
   • 证明$\tau$不与局部常函数上同调
   • 关键是推导出矛盾：吸引不动点满足不可能的几何约束
3. 谱间隙（Theorem 4.5）：
   • 小频率：$\eta > 0$与$q$无关
   • 大频率：$\eta_\sigma > 0$对任意$\sigma > 0$

应用：Zaremba猜想的推进

Conjecture 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. 无平方因子假设：
   • Theorem 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猜想的进展
   • 研究高斯整数上的Diophantine逼近
4. 动力系统应用：
   • 研究更一般的双曲流
   • 建立与量子混沌的联系
5. 计算方面：
   • 数值验证小参数情形
   • 估计常数$\epsilon$和$C$的实际值

深度评价

优点

1. 重大理论突破：
   • 将二维的深刻理论成功推广到任意维度，这在几何和动力系统中是非平凡的
   • LNIC的高维证明（Proposition 11.5）极具技术含量，涉及双曲几何、Lie群理论和复分析的深刻结合
2. 方法创新：
   • 引入返回轨道子群概念并证明其Zariski稠密性，这是原创性贡献
   • 采用Stoyanov版本避免了三分分割命题，简化了证明结构
   • 统一处理两类看似不同的半群（Schottky和连分数）
3. 技术严谨性：
   • 证明链条完整，从主定理到各种引理逻辑清晰
   • 常数选取（Section 12）虽复杂但合理，确保各步骤相容
   • 细节处理周到（如Remark中的讨论）
4. 写作质量：
   • 结构清晰，从背景到证明层层递进
   • 大量Remark提供直觉和与相关工作的联系
   • 技术附录（如Lemma 11.4）独立呈现便于理解
5. 潜在影响：
   • 为数论（Zaremba猜想）提供新工具
   • 为高维动力系统和谱理论开辟新方向
   • 方法可能适用于其他群和空间

不足

1. 可读性挑战：
   • 技术密度极高，需要多个领域（数论、动力系统、Lie群、谱理论）的深厚背景
   • LNIC的证明（Proposition 11.5）跨度大，从Eq. (7)到Eq. (16)需仔细跟踪
   • 某些记号（如$\alpha^l_j$, $\alpha^{(l-p)1}_j$）较为繁琐
2. 常数非显式：
   • 主定理中的$\epsilon$和$C$未给出具体值或估计
   • 实际应用（如Zaremba猜想）可能需要这些常数的数值界
3. 限制条件：
   • 无平方因子假设虽可能去除但仍存在
   • 局部常函数的限制较强，应用范围受限
4. 某些证明的简略：
   • 多处引用"proved as in XXX"而未给出完整证明（如Lemmas 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. 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 - 二维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 - 作者前期工作，引入返回轨道子群

总结

这是一篇技术深度极高的纯数学论文，成功将二维的同余计数理论推广到任意维度。主要创新在于：(1) 证明返回轨道子群的Zariski稠密性；(2) 建立高维LNIC；(3) 适配Stoyanov版本的Dolgopyat方法。论文解决了数论、动力系统和谱理论交叉领域的核心问题，为Zaremba猜想等应用提供了新工具。尽管技术门槛很高且某些常数非显式，但其方法论的原创性和理论深度使其成为该领域的重要贡献，预期将产生持久影响。