Hausdorff dimension of double base expansions and binary shifts with a hole

这是一份关于论文《双基展开与带孔二元移位中的豪斯多夫维数》（Hausdorff Dimension of Double Base Expansions and Binary Shifts with a Hole）的详细技术总结。

1. 研究背景与问题定义

核心问题：
本文研究的是**双基展开（Double Base Expansions）**中唯一展开集（Univoque Set）的豪斯多夫维数（Hausdorff Dimension）及其连续性。

• 双基展开定义：给定两个实数底数 $q_0, q_1 > 1$，一个二进制序列 $i_1 i_2 \cdots \in \{0, 1\}^\infty$ 被称为数 $x$ 的 $(q_0, q_1)$-展开，如果：
  $$x = \pi_{q_0, q_1}(i_1 i_2 \cdots) = \sum_{k=1}^{\infty} \frac{i_k}{q_{i_1} \cdots q_{i_k}}$$
  当 $q_0 = q_1 = q$ 时，退化为经典的 $q$-展开。
• 唯一展开集 ($U_{q_0, q_1}$)：定义为在 $J_{q_0, q_1}$ 中拥有唯一 $(q_0, q_1)$-展开的所有实数 $x$ 的集合。
• 研究动机：
  • 当 $q_0 = q_1 = q$ 时，Allaart 和 Kong (2019) 已证明了 $U_{q,q}$ 的豪斯多夫维数关于 $q$ 的连续性，并建立了其与拓扑熵的关系。
  • 对于不相等的底数 $q_0 \neq q_1$，情况更为复杂。本文旨在推广这些结果，给出任意 $q_0, q_1 > 1$ 下 $U_{q_0, q_1}$ 的豪斯多夫维数的显式公式，并证明其关于 $(q_0, q_1)$ 的连续性。
  • 此外，该问题与带孔的动力系统（如带有孔的倍增映射和 Lorenz 映射）的生存集（Survivor Set）密切相关。

2. 方法论与工具

作者采用符号动力学（Symbolic Dynamics）和迭代函数系统（IFS）理论作为主要工具：

1. 符号化描述：

   • 利用拟贪婪展开（Quasi-greedy expansion） $a_{q_0, q_1}$ 和拟懒惰展开（Quasi-lazy expansion） $b_{q_0, q_1}$ 来界定唯一展开集。
   • 定义子移位（Subshift）$\Omega_{a, b}$，即所有不包含在开区间 $(a, b)$ 中的序列集合。唯一展开集 $U_{q_0, q_1}$ 与 $\Omega_{a_{q_0, q_1}, b_{q_0, q_1}}$ 仅相差一个可数集，因此具有相同的豪斯多夫维数。
   • 引入** kneading 不变量**（Kneading invariant）$K_{a,b}(z_0, z_1)$ 和形式幂级数来描述子移位 $\Omega_{a,b}$ 的结构。

2. 维数计算策略：

   • 将豪斯多夫维数问题转化为寻找方程 $\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$ 的最大根 $s$ 的问题。
   • 利用Moran 构造（Moran construction）和广义分形几何理论，建立维数与子移位拓扑熵之间的联系。
   • 通过**替换（Substitution）**技术处理边界情况，证明维数函数在特定序列附近的局部常数性或连续性。

3. 连续性证明：

   • 通过分析拟贪婪/懒惰展开随底数 $(q_0, q_1)$ 变化的稳定性。
   • 利用中间值定理和解析函数的性质，证明特征方程根的连续性，进而推导维数的连续性。

3. 主要贡献与结果

A. 显式维数公式 (Theorem 1.1)

作者给出了 $U_{q_0, q_1}$ 豪斯多夫维数 $s = \dim_H U_{q_0, q_1}$ 的精确计算公式，取决于底数 $q_0, q_1$ 的相对大小：

1. 平凡/零维情况：若 $q_1 \le K(q_0)$（其中 $K(q_0)$ 是广义 Komornik-Loreti 常数），则 $s = 0$。
2. 中间情况：若 $K(q_0) < q_1 < \frac{q_0}{q_0-1}$，则 $0 < s < 1$。此时 $s$ 是方程
   $$\pi_{q_0^s, q_1^s}(\ell(a_{q_0, q_1}, b_{q_0, q_1})) = \pi_{q_0^s, q_1^s}(r(a_{q_0, q_1}, b_{q_0, q_1}))$$
   的最大根。其中 $\ell$ 和 $r$ 是子移位 $\Omega_{a,b}$ 中的极值元素。
   • 特例：若 $a, b$ 本身在 $\Omega_{a,b}$ 中，则直接解 $\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$。
3. 满维情况：若 $q_1 = \frac{q_0}{q_0-1}$，则 $s = 1$。
4. 大于临界值：若 $q_1 > \frac{q_0}{q_0-1}$，则 $0 < s < 1$，且 $s$ 是方程 $q_0^{-s} + q_1^{-s} = 1$ 的最大根。

B. 连续性定理 (Theorem 1.4 & 1.5)

• 定理 1.4：对于固定的 $q_0, q_1$，映射 $(a, b) \mapsto \dim_H \pi_{q_0, q_1}(\Omega_{a,b})$ 是连续的。
• 定理 1.5：豪斯多夫维数函数 $(q_0, q_1) \mapsto \dim_H U_{q_0, q_1}$ 在区域 $(1, \infty) \times (1, \infty)$ 上是连续的。
  • 这一结果推广了 Allaart 和 Kong 关于单底数 $q$ 的连续性结论。

C. 熵与维数的关系及不变性 (Theorem 1.6)

• 证明了在特定条件下（熵大于 0），将序列 $u^\infty, v^\infty$ 替换为 $uv^\infty, vu^\infty$ 不会改变子移位的拓扑熵，也不会改变对应的豪斯多夫维数。
• 这揭示了双基展开背后的符号动力学结构具有某种“块不变性”。

D. 广义阈值

• 明确了广义黄金比 $G(q_0)$（区分平凡与非平凡唯一集）和广义 Komornik-Loreti 常数 $K(q_0)$（区分可数与不可数唯一集）的性质，并确认了它们关于 $q_0, q_1$ 的对称性和连续性。

4. 意义与影响

1. 理论推广：成功将单底数 $q$-展开的深刻理论（如 Komornik-Loreti 常数的性质、维数公式）推广到了更复杂的双底数情形，填补了该领域的理论空白。
2. 统一视角：揭示了双基展开、带孔的倍增映射（Doubling map with a hole）以及 Lorenz 映射在符号动力学层面的同构性。这意味着关于双基展开的结论可以直接应用于这些混沌动力系统。
3. 计算工具：提供的显式公式（涉及解超越方程）为数值计算不同底数组合下的分形维数提供了具体方法。
4. 连续性确认：证明了维数作为底数参数的连续函数，这对于理解参数空间中的分形结构相变（Phase transitions）至关重要，表明在参数变化过程中，分形维数不会发生突变。

5. 总结

该论文通过引入精细的符号动力学分析，解决了双基展开中唯一展开集维数计算的难题。作者不仅给出了精确的代数/超越方程形式的解，还严格证明了维数关于底数参数的连续性。这些结果深化了我们对非整数基展开、分形几何以及开放动力系统中“生存集”性质的理解，为相关领域的进一步研究奠定了坚实基础。