2025-11-12T01:58:29.022302

On the Extreme Value Behavior of $\vartheta$-Expansions

Sebe, Lascu, Selmi
The main objective of this paper is to develop extreme value theory for $\vartheta$-expansions. We establish the limit distribution of the maximum value in a $\vartheta$-continued fraction mixing stationary stochastic process, along with some related results. These findings are analogous to the theorems of J. Galambos and W. Philipp for regular continued fractions. Additionally, we emphasize that a Borel-Bernstein type theorem plays a crucial role.
academic

On the Extreme Value Behavior of ϑ\vartheta-Expansions

基本信息

  • 论文ID: 2309.12654
  • 标题: On the Extreme Value Behavior of ϑ\vartheta-Expansions
  • 作者: Gabriela Ileana Sebe, Dan Lascu, Bilel Selmi
  • 分类: math.PR (概率论), math.NT (数论)
  • 发表时间: 2023年9月（arXiv v2更新于2025年11月1日）
  • 论文链接: https://arxiv.org/abs/2309.12654

摘要

本文的主要目标是为ϑ\vartheta-展开式建立极值理论。作者确立了ϑ\vartheta-连分数混合平稳随机过程中最大值的极限分布及相关结果。这些发现类似于J. Galambos和W. Philipp关于正规连分数的定理。此外，作者强调Borel-Bernstein型定理在研究中起着关键作用。

研究背景与动机

研究问题

本文研究ϑ\vartheta-展开式中部分商（partial quotients）的极值行为，特别是最大部分商LN=max⁡1≤n≤Nbn(x)L_N = \max_{1 \leq n \leq N} b_n(x)的渐近分布。

问题的重要性

  1. 理论意义：ϑ\vartheta-展开式是正规连分数（RCF）的重要推广，由Bhattacharya和Goswami在随机数生成背景下引入。对于特殊情况ϑ=1\vartheta=1，ϑ\vartheta-展开式退化为经典的连分数展开。
  2. 历史背景：对于正规连分数，Galambos（1970年代）和Philipp（1976）建立了部分商极值行为的基础性结果。然而，对于ϑ\vartheta-展开式，这一理论尚未建立。
  3. 应用价值：连分数的部分商增长率直接影响有理逼近的精度。根据不等式(1.9)： 1qn(x)(qn+1(x)+ϑqn(x))≤∣x−pn(x)qn(x)∣≤1qn(x)qn+1(x)\frac{1}{q_n(x)(q_{n+1}(x) + \vartheta q_n(x))} \leq \left|x - \frac{p_n(x)}{q_n(x)}\right| \leq \frac{1}{q_n(x)q_{n+1}(x)} 逼近精度取决于分母qnq_n的增长，而qnq_n又由部分商bnb_n递推决定。

现有方法的局限性

  • 经典的Galambos-Philipp理论仅适用于正规连分数（ϑ=1\vartheta=1）
  • ϑ\vartheta-展开式具有不同的不变测度和混合性质
  • 需要新的技术处理ϑ\vartheta参数带来的复杂性

研究动机

建立ϑ\vartheta-展开式的完整极值理论框架，将经典结果推广到更一般的设定，并揭示参数ϑ\vartheta对极值行为的影响。

核心贡献

本文的主要贡献包括：

  1. Borel-Bernstein型定理（定理3.1）：建立了ϑ\vartheta-展开式部分商增长率的"0-1"律，这是后续极值理论的基础。
  2. Fréchet极限律（定理4.5）：证明了最大部分商的标准化极限分布服从Fréchet分布： lim⁡N→∞γϑ(LN(x)<Nylog⁡(1+ϑ2))=exp⁡(−1y)\lim_{N \to \infty} \gamma_\vartheta\left(L_N(x) < \frac{Ny}{\log(1+\vartheta^2)}\right) = \exp\left(-\frac{1}{y}\right)
  3. 收敛速度估计（定理4.6）：给出了极限分布的收敛速度： γϑ(LN(x)<Nylog⁡(1+ϑ2))=exp⁡(−1y)+O(exp⁡(−(log⁡N)δ))\gamma_\vartheta\left(L_N(x) < \frac{Ny}{\log(1+\vartheta^2)}\right) = \exp\left(-\frac{1}{y}\right) + O\left(\exp\left(-(\log N)^\delta\right)\right)
  4. 迭代对数律（定理5.2）：确立了最大部分商的精确增长率： lim inf⁡N→∞LN(x)log⁡log⁡NN=1log⁡(1+ϑ2)a.e.\liminf_{N \to \infty} \frac{L_N(x) \log \log N}{N} = \frac{1}{\log(1+\vartheta^2)} \quad \text{a.e.}
  5. 混合性质（引理4.4）：证明了ϑ\vartheta-展开式的部分商序列满足指数速度的ψ\psi-混合条件。

方法详解

任务定义

输入：固定参数ϑ∈(0,1)\vartheta \in (0,1)满足ϑ2=1/m\vartheta^2 = 1/m（m∈N+m \in \mathbb{N}^+），以及区间[0,ϑ][0,\vartheta]上的无理数xx。

输出：xx的ϑ\vartheta-展开式中前NN个部分商的最大值LN(x)=max⁡1≤n≤Nbn(x)L_N(x) = \max_{1 \leq n \leq N} b_n(x)的概率分布和渐近行为。

约束条件：

  • bn(x)≥mb_n(x) \geq m对所有n∈N+n \in \mathbb{N}^+成立
  • 考虑不变测度γϑ\gamma_\vartheta： dγϑ=1log⁡(1+ϑ2)⋅ϑdx1+ϑxd\gamma_\vartheta = \frac{1}{\log(1+\vartheta^2)} \cdot \frac{\vartheta dx}{1+\vartheta x}

理论架构

1. ϑ\vartheta-展开式的基本性质

对于x∈(0,ϑ)x \in (0,\vartheta)，定义广义Gauss映射：

\frac{1}{x} - \vartheta\left\lfloor\frac{1}{x\vartheta}\right\rfloor, & x \in (0,\vartheta] \\ 0, & x = 0 \end{cases}$$ $x$的$\vartheta$-展开式为： $$x = [b_1\vartheta, b_2\vartheta, b_3\vartheta, \ldots] = \cfrac{1}{b_1\vartheta + \cfrac{1}{b_2\vartheta + \cfrac{1}{b_3\vartheta + \cdots}}}$$ 其中$b_n(x) = b_1(T_\vartheta^{n-1}(x))$。 #### 2. 柱集（Cylinder Sets）的测度估计 对于$n$阶柱集$C(b_1, \ldots, b_n) = \{x \in \Omega: b_k(x) = i_k, k=1,\ldots,n\}$，有关键估计（公式2.4）： $$\frac{1}{2q_n^2} \leq \frac{1}{(1+\vartheta^2)q_n^2} \leq \lambda_\vartheta(C(b_1,\ldots,b_n)) \leq \frac{1}{q_n^2}$$ 以及相对测度估计（引理2.1）： $$\frac{1}{6k^2} < \lambda_\vartheta\left(\bigcup_{b_1,\ldots,b_n \geq m} C(b_1,\ldots,b_n,k)\right) < \frac{m+1}{k^2}$$ ### 核心技术方法 #### 方法1：Borel-Bernstein型定理的证明策略 **定理3.1**：对于函数$\phi: \mathbb{N}^+ \to (0,+\infty)$，定义 $$A_\phi = \{x \in \Omega: b_n(x) > \phi(n) \text{ 对无穷多个 } n \in \mathbb{N}^+\}$$ 则： $$\lambda_\vartheta(A_\phi) = \begin{cases} 0, & \text{若 } \sum_{n \geq 1} \frac{1}{\phi(n)} < \infty \\ 1, & \text{若 } \sum_{n \geq 1} \frac{1}{\phi(n)} = \infty \end{cases}$$ **证明思路**： 1. **收敛情况**：利用Borel-Cantelli引理。设$A_n = \{x: b_n(x) > \phi(n)\}$，由引理2.1得： $$\lambda_\vartheta(A_n) < \frac{2(m+1)}{\phi(n)}$$ 若$\sum \frac{1}{\phi(n)} < \infty$，则$\sum \lambda_\vartheta(A_n) < \infty$，故$\lambda_\vartheta(A_\phi) = 0$。 2. **发散情况**：需证$\lambda_\vartheta(A_\phi^c) = 0$。定义$B_{j,\ell} = \bigcap_{j < n \leq j+\ell} A_n^c$，通过归纳得： $$\lambda_\vartheta(B_{j,\ell}) \leq \prod_{i=1}^\ell \left(1 - \frac{1}{12\phi(j+i)}\right) \leq \exp\left(-\sum_{i=1}^\ell \frac{1}{12\phi(j+i)}\right)$$ 当$\sum \frac{1}{\phi(n)} = \infty$时，$\lim_{\ell \to \infty} \lambda_\vartheta(B_{j,\ell}) = 0$。 #### 方法2：混合性质与极值分布 **$\psi$-混合条件**（引理4.4）：对于$A \in \mathcal{B}_1^k$和$B \in \mathcal{B}_{k+n}^\infty$： $$|\gamma_\vartheta(A \cap B) - \gamma_\vartheta(A)\gamma_\vartheta(B)| \leq K_\vartheta q_\vartheta^n \gamma_\vartheta(A)\gamma_\vartheta(B)$$ 其中$0 < q_\vartheta < 1$是指数衰减率。 **证明技术**： - 构造递推函数序列$\{f_{\vartheta,n}\}$ - 利用条件分布函数的光滑性估计 - 通过引理4.3建立导数的一致界 **极值分布的Poincaré展开**（定理4.5）： 设$B_N = \{x: L_N(x) < w\}$，利用容斥原理： $$\gamma_\vartheta(B_N) = \sum_{k=0}^N (-1)^k S_k$$ 其中$S_k = \sum_{1 \leq n_1 < \cdots < n_k \leq N} \gamma_\vartheta(A_{n_1} \cap \cdots \cap A_{n_k})$。 关键步骤： 1. **尾部估计**：利用混合性质控制大$k$项的贡献 2. **主项分析**：对固定$k < Z$，分离主项$S_k^*$和余项$R_k$ 3. **渐近展开**：证明$S_k = \frac{y^{-k}}{k!} + o(1)$ ### 技术创新点 1. **参数化不变测度的处理**：不同于经典Gauss测度，$\gamma_\vartheta$依赖于参数$\vartheta$，需要建立新的测度估计。 2. **混合速度的精确控制**：通过构造特殊的函数类（引理4.3），证明了指数混合速度，常数$q_\vartheta$满足： $$q_\vartheta = m\sum_{i \geq m} \left(\frac{m}{i^3(i+1)} + \frac{i+1-m}{i(i+1)^3}\right) < 1$$ 3. **收敛速度的优化**：定理4.6通过精心选择参数$Z = \lfloor\frac{\log N}{\log \log N}\rfloor$和$t = \lfloor(\log N)^2\rfloor$，获得了对数速度的误差界。 4. **定量Borel-Cantelli引理的应用**：在迭代对数律证明中，利用Philipp的定量版本（引理5.1）处理依赖事件序列。 ## 实验设置 **注**：本文是纯理论数学论文，不包含数值实验。所有结果均为严格的数学证明。 ### 理论验证框架 论文通过以下方式验证理论的正确性： 1. **特殊情况检验**：当$\vartheta \to 1$时，结果应退化为经典的Galambos-Philipp定理 2. **内在一致性**： - 定理3.1的推论3.2给出具体增长率 - 定理4.5和4.6的结果相容 - 定理5.2与定理5.3相互支持 3. **测度等价性**：利用$\lambda_\vartheta$和$\gamma_\vartheta$的等价性（定理5.2证明中）验证结果的鲁棒性 ## 实验结果 ### 主要理论结果 #### 结果1：部分商的增长率（推论3.2） 对于$\lambda_\vartheta$-几乎每个$x \in [0,\vartheta]$： - **下界**：$b_n(x) > n \log n$对无穷多个$n$成立 - **上界**：对每个$\varepsilon > 0$，当$n$足够大时$b_n(x) < n(\log n)^{1+\varepsilon}$ **意义**：精确刻画了部分商的典型增长速度为$\Theta(n \log n)$。 #### 结果2：Fréchet极限律（定理4.5） 对任意$y > 0$： $$\lim_{N \to \infty} \gamma_\vartheta\left(L_N(x) < \frac{Ny}{\log(1+\vartheta^2)}\right) = \exp\left(-\frac{1}{y}\right)$$ **解释**： - 标准化因子为$\frac{N}{\log(1+\vartheta^2)}$ - 极限分布是Fréchet分布$\Phi_\alpha(y) = \exp(-y^{-\alpha})$，其中$\alpha = 1$ - 这表明最大部分商的增长速度为$\frac{N}{\log(1+\vartheta^2)}$ #### 结果3：收敛速度（定理4.6） 对$0 < \delta < 1$和$y \geq (\log N)^{-\delta}$： $$\gamma_\vartheta\left(L_N < \frac{Ny}{\log(1+\vartheta^2)}\right) = \exp\left(-\frac{1}{y}\right) + O\left(\exp\left(-(\log N)^\delta\right)\right)$$ **意义**：收敛速度是双指数的，比多项式速度快得多。 #### 结果4：下极限律（定理5.2） 对几乎每个$x \in [0,\vartheta]$： $$\liminf_{N \to \infty} \frac{L_N(x) \log \log N}{N} = \frac{1}{\log(1+\vartheta^2)}$$ **解释**： - 这是精确的增长率，不只是数量级 - 常数$\frac{1}{\log(1+\vartheta^2)}$直接依赖于参数$\vartheta$ #### 结果5：上极限的二分性（推论5.4） 对于非减函数$\{\phi(n)\}$： $$\limsup_{N \to \infty} \frac{L_N(x)}{\phi(N)}$$ 几乎处处要么等于0要么等于$\infty$，取决于级数$\sum \frac{1}{\phi(n)}$的敛散性。 ### 理论发现 1. **参数依赖性**：所有极值行为的特征常数都是$\frac{1}{\log(1+\vartheta^2)}$，显式依赖于$\vartheta$。 2. **混合性的关键作用**：指数混合速度（$q_\vartheta^n$）是获得精确收敛速度的核心。 3. **Borel-Bernstein定理的基础性**：它不仅独立有趣，还是证明迭代对数律的关键工具。 4. **与经典结果的对应**：当$\vartheta = 1$时，$\log(1+\vartheta^2) = \log 2$，恢复Galambos-Philipp的经典结果。 ## 相关工作 ### 连分数的极值理论 1. **经典结果**： - **Borel (1909) & Bernstein (1912)**：首次建立正规连分数的"0-1"律 - **Galambos (1972, 1973, 1974)**：证明了RCF最大部分商的Fréchet分布和迭代对数律 - **Philipp (1976)**：解决了Erdős猜想，给出了精确的收敛速度 2. **$\vartheta$-展开式的研究**： - **Bhattacharya & Goswami (2000)**：引入$\vartheta$-展开式概念 - **Chakraborty & Rao (2003)**：建立基本理论，证明遍历性 - **Sebe & Lascu (2014, 2017, 2019)**：研究Gauss-Kuzmin问题和收敛速度 - **本文**：首次建立完整的极值理论 ### 混合过程的极值理论 - **Philipp (1967)**：发展了数论中的度量定理，引入定量Borel-Cantelli引理（引理5.1） - 本文将这些技术适配到$\vartheta$-展开式的特殊结构 ### 本文的相对优势 1. **完整性**：首次系统建立$\vartheta$-展开式的极值理论框架 2. **精确性**：不仅给出极限分布，还提供收敛速度 3. **技术深度**：处理参数化不变测度和混合性的新困难 4. **统一性**：将经典结果作为特例包含在内 ## 结论与讨论 ### 主要结论 1. **极值分布**：$\vartheta$-展开式的最大部分商服从Fréchet分布，标准化因子为$\frac{N}{\log(1+\vartheta^2)}$。 2. **精确增长率**：通过迭代对数律，确立了最大部分商的精确增长速度为$\frac{N}{\log \log N \cdot \log(1+\vartheta^2)}$。 3. **理论完备性**：建立了与正规连分数完全平行的理论体系，证明了Galambos-Philipp理论可以推广到$\vartheta$-展开式。 4. **方法论贡献**：展示了如何处理参数化不变测度下的极值问题，技术可推广到其他广义连分数系统。 ### 局限性 1. **参数限制**：理论要求$\vartheta^2 = 1/m$（$m \in \mathbb{N}^+$），这是不变测度存在的充分条件。对于一般的$\vartheta$值，不变测度的存在性和性质尚不清楚。 2. **混合速度的依赖**：定理4.6的收敛速度估计依赖于混合系数$q_\vartheta$的具体值，而$q_\vartheta$的精确计算可能很困难。 3. **上极限律的缺失**：如推论5.4所示，不存在有限非零的上极限律，这与下极限律形成对比。 4. **技术复杂性**：证明依赖于精细的分析技术（如引理4.3的递推函数估计），推广到更一般设定可能需要新方法。 ### 未来方向 1. **更一般的参数**：研究不满足$\vartheta^2 = 1/m$条件的$\vartheta$值，可能需要发展新的不变测度理论。 2. **多维推广**：考虑多维$\vartheta$-展开式的极值行为。 3. **相依结构**：深入研究部分商之间的相依性对极值行为的影响。 4. **应用研究**： - 丢番图逼近中的应用 - 随机数生成的质量评估 - 动力系统的混沌性质 5. **数值验证**：虽然本文是纯理论工作，但数值实验可以提供额外的洞察。 ## 深度评价 ### 优点 1. **理论严密性**： - 所有定理都有完整的数学证明 - 逻辑链条清晰，从基础引理到主要定理层层递进 - 技术细节处理精确（如引理4.3的导数估计） 2. **创新性**： - 首次为$\vartheta$-展开式建立完整的极值理论 - 发展了处理参数化不变测度的新技术 - 混合性质的证明（引理4.4）具有独立价值 3. **完整性**： - 涵盖了从"0-1"律到极限分布、收敛速度、迭代对数律的完整理论链 - 结果之间相互支持，形成统一的理论框架 4. **写作质量**： - 结构清晰，从基础定义到主要结果循序渐进 - 动机阐述充分，与经典结果的联系明确 - 技术细节充分但不冗余 5. **数学深度**： - 综合运用概率论、数论、遍历理论、极值理论等多个领域的技术 - Poincaré展开式的应用（定理4.5）展示了深厚的技巧 ### 不足 1. **适用范围**： - 参数条件$\vartheta^2 = 1/m$较为限制 - 对于一般$\vartheta$值的情况未涉及 2. **数值验证的缺失**： - 虽然是理论论文，但简单的数值例子可以增强直观理解 - 没有展示具体的$\vartheta$值（如$\vartheta = 1/\sqrt{2}$）的情况 3. **常数的可计算性**： - 混合常数$K_\vartheta$和$q_\vartheta$的显式表达式未给出 - 定理4.6中的隐含常数未明确 4. **与应用的联系**： - 理论结果的实际应用场景讨论不足 - 与丢番图逼近等应用领域的具体联系可以更明确 5. **技术障碍的讨论**： - 对于为何某些技术（如引理4.3的特定构造）是必要的，缺少直观解释 ### 影响力评估 1. **对领域的贡献**： - **高**：填补了$\vartheta$-展开式极值理论的空白 - 为后续研究提供了基础框架和技术工具 - 展示了经典理论的可推广性 2. **实用价值**： - **中等**：主要是理论贡献，直接应用有限 - 潜在应用包括： * 有理逼近的质量评估 * 随机数生成器的理论分析 * 动力系统的统计性质 3. **可复现性**： - **高**：所有证明完整且可验证 - 技术路线清晰，可以被其他研究者跟随 - 引用的引理和定理都有明确出处 4. **引用潜力**： - 预期会成为$\vartheta$-展开式研究的标准参考文献 - 方法论（特别是混合性质的处理）可能被其他广义连分数研究借鉴 ### 适用场景 1. **理论研究**： - 研究其他类型的广义连分数（如Lüroth展开、β-展开等） - 动力系统的极值理论 - 数论中的度量理论 2. **丢番图逼近**： - 理解最坏情况下的逼近质量 - 研究特定类型数的逼近性质 3. **算法分析**： - 基于连分数的算法的复杂度分析 - 随机数生成器的质量评估 4. **教学和学习**： - 作为极值理论在数论中应用的案例 - 展示混合过程的分析技术 ## 参考文献（论文中的关键引用） 1. **Borel (1909)** & **Bernstein (1912)**：连分数"0-1"律的奠基工作 2. **Galambos (1972-1974)**：RCF极值理论的系列论文 3. **Philipp (1967, 1976)**：度量定理和Erdős猜想的解决 4. **Chakraborty & Rao (2003)**：$\vartheta$-展开式的基本理论 5. **Sebe & Lascu (2014-2019)**：$\vartheta$-展开式的前期研究 --- **总体评价**：这是一篇高质量的理论数学论文，成功地将经典的Galambos-Philipp理论推广到$\vartheta$-展开式。论文的技术深度令人印象深刻，特别是在处理参数化不变测度和混合性质方面展现了创新。虽然适用范围受参数条件限制，但在其适用范围内，理论是完整且深刻的。论文为$\vartheta$-展开式的研究奠定了坚实的极值理论基础，预期将成为该领域的重要参考文献。