The normalized approximation function for multiple zeta-star values

技术摘要：多重 Zeta 星值的归一化逼近函数

问题陈述
本文研究了由 Zeta 星对应关系（zeta-star correspondence）引起的定量丢番图逼近问题。该对应关系是无限容许序列与实区间 $(1, +\infty)$ 之间的一个双射 $\eta$。虽然有限多重 Zeta 星值集合 $Z_\star$ 已知在 $(1, +\infty)$ 中是稠密的，但未归一化的逼近是平凡的。核心问题在于如何定义一个有意义的逼近度量，以考虑到逼近指标的复杂性。作者引入了一个归一化逼近函数 $N(\alpha)$，类比于连分数理论中的倒数拉格朗日常数（reciprocal Lagrange constant），用于衡量由 $Z_\star$ 对其进行的逼近质量相对于指标内在二进制尺度的渐近性质。

方法论与框架
分析依赖于多重 Zeta 星值的阶结构、其二进制坐标表示以及度量数论之间的相互作用。

1. Zeta 星对应关系与二进制坐标：
   本文利用双射 $\eta: T \to (1, +\infty)$，其中 $T$ 是无限容许序列的集合。一个关键工具是二进制坐标 $\beta(k) = \sum 2^{-K_j}$（其中 $K_j$ 是部分权重），它将 $T$ 映射到 $(0, 1/2)$。函数 $\Phi = \eta \circ \beta^{-1}$ 将二进制区间映射到 $(1, +\infty)$。$\Phi$ 的导数 $\Phi'$ 在建立二进制逼近误差与 Zeta 星逼近误差之间的联系中起着至关重要的作用。

2. 归一化函数的定义：
   对于实数 $\alpha > 1$ 和深度 $r$，令 $S_r$ 为深度为 $r$ 的容许指标集合。深度维度的逼近误差定义为：
   $$\Delta_r(\alpha) := \inf_{k \in S_r} 2^{\text{wt}(k)} |\alpha - \zeta^\star(k)|$$
   其中 $\text{wt}(k)$ 是指标的权重。归一化逼近函数是下极限：
   $$N(\alpha) := \liminf_{r \to \infty} \Delta_r(\alpha)$$
   该定义通过与关联于指标符号柱体的二进制尺度 $2^{-\text{wt}(k)}$ 进行归一化，来衡量误差。

3. 分析工具：

   • 上半连续性： 本文证明了 $\Delta_r(\alpha)$ 是上半连续的，这意味着 $N(\alpha)$ 是 Borel 可测的。
   • 导数估计： 利用 Hirose, Murahara 和 Onozuka 的结果，本文推导出了包含多重 Zeta 星类型项的 $\Phi'(y)$ 的显式公式。
   • 度量理论： 分析采用了 Borel–Cantelli 引理和发散条件，以确定“良好”逼近（即 $N(\alpha)$ 很小）的集合的测度。

主要贡献与结果

1. 拓扑与正则性性质

• 上半连续性： 对于每个固定的深度 $r$，映射 $\alpha \mapsto \Delta_r(\alpha)$ 是上半连续的。
• 可测性： 函数 $N(\alpha)$ 是 Borel 可测的。
• 剩余零集： 集合 $\{\alpha > 1 : N(\alpha) = 0\}$ 是 $(1, +\infty)$ 中的一个稠密 $G_\delta$ 子集。这意味着在 Baire 范畴意义上的“泛型”点被极其精确地逼近。

2. 度量结果（几乎处处行为）

• 收敛性： 如果 $\sum 2^{-g(r)} < \infty$，则满足 $\Delta_r(\alpha) < 2^{-g(r)}$ 且发生无穷多次的 $\alpha$ 集合的勒贝格测度为零。
• 发散性： 在对数增强的发散条件下（$\sum \frac{2^{-g(r)}}{r \log^2 r} = \infty$），逼近集的补集测度为零。
• 主要度量定理： 对于几乎处处的 $\alpha > 1$，有 $N(\alpha) = 0$。 这是通过结合发散定理以及在几乎所有 $\alpha$ 的 Zeta 星展开中存在无穷多个“下一个数字”的大值来证明的。

3. 特定点的求值

• 有限多重 Zeta 星值： 对于有限容许指标 $k$，$N(\zeta^\star(k))$ 被显式计算为相关基本区间的归一化长度 $L(k)$。
  • 如果 $k = (2, \{1\}^{s-1})$，则 $N(\zeta^\star(k)) = +\infty$。
  • 否则，$N(\zeta^\star(k))$ 是有限的且严格大于 1。
• 整数： 对于每个整数 $n \ge 2$，$N(n) = n$。这是利用 $n$ 的二进制展开的算术性质以及 $\Phi$ 的导数推导得出的。
• 不连续性： 当陪域配备序拓扑时，函数 $\alpha \mapsto N(\alpha)$ 在 $(1, +\infty)$ 上是处处不连续的。这是由于 $N(\alpha)=0$（稠密）与 $N(\alpha) > 1$ 或 $+\infty$（同样稠密）的点共存所致。

4. 函数的像

• $N$ 的像 $\text{Im}(N)$ 在 $[0, +\infty]$ 中是稠密的。
• 具体而言，有限值集合 $\{N(\alpha) : N(\alpha) < \infty\}$ 在 $[0, +\infty)$ 中是稠密的。本文构造了一个族 $S_q / (2m-1)$ 来趋近于任何目标值 $t \ge 0$。

意义与主张
本文声称建立了多重 Zeta 星值的归一化逼近函数的正则性与泛型行为。通过类比连分数中的经典拉格朗日谱，这项工作：

1. 为多重 Zeta 星值背景下的丢番图逼近定义了一个自然的尺度。
2. 证明了，与具有离散下部分的经典拉格朗日谱不同，$N(\alpha)$ 的“谱”在几乎处处由 0 主导，然而该函数在稠密集上仍能取到广泛的值。
3. 提供了对特定点（整数和有限 Zeta 星值）处 $N(\alpha)$ 的完整特征描述，揭示了泛型行为（0）与“类有理”点（有限 Zeta 星值和整数）行为之间的鲜明对比。

文章最后对逼近谱 $L_\star = \{1/N(\alpha) : 0 < N(\alpha) < \infty\}$ 的结构提出了猜想，认为它包含一个半直线 $(c, +\infty)$ 且具有非空补集，这反映了经典拉格朗日谱的复杂结构。该工作留下了关于确定精确像集以及水平集（level sets）的 Hausdorff 维度的开放性问题。