Master Teapots and Entropy Algorithms for the Mandelbrot SetMandelbrot 集的主茶壺与熵算法

论文为 Mandelbrot 集的每一条 p/q-主脉构造了瑟斯顿“主茶壺”的类似物，把此前只对实二次多项式（1/2-主脉）成立的几何结果推广到所有主脉。核心问题是刻画临界周期参数对应的马尔可夫转移矩阵特征值集合 Z(f) 如何随外角变化：论文证明单位圆外的特征值连续移动，圆内的特征值则呈现“持久性”——一旦出现就随熵增大持续保留、不会消失。为完成证明，作者为主脉发展出新的结型理论，并证明马尔可夫多项式、瑟斯顿图算法多项式与新结型多项式在圆外给出完全相同的根集，进而证明瑟斯顿集圆外部分路径连通。

核心熵与增长率的计算此前有两条独立路径：马尔可夫转移矩阵最直接但对参数扰动不稳定；瑟斯顿基于外角二进制展开构造的图算法更稳定，也是此前证明核心熵函数连续性所用的工具。二者虽被猜测等价，但严格的根级对应关系此前未被证明；而对复二次多项式，圆内特征值随参数如何变化也完全未知，只有瑟斯顿本人对实情形观察到“外部连续、内部持久”的现象，缺少严格证明。

关键贡献

• 将瑟斯顿的主茶壺从实二次多项式的 1/2-主脉推广到每一条 p/q-主脉，构造出对应的三维分形对象。
• 证明马尔可夫多项式、瑟斯顿图算法多项式与新构造的主脉结型多项式，在单位圆外拥有完全相同的根集。
• 证明主茶壺圆外部分的特征值随外角连续变化，把此前只对增长率成立的连续性结果推广到全部特征值。
• 证明主茶壺圆内部分的持久性定理：一旦某点在圆内出现，就会随熵增大一直保留到脉尖端。
• 为主脉发展出新版本的结型理论，使临界点余项到结型行列式的映射连续，是证明连续性定理的关键工具。
• 利用连续性结果证明瑟斯顿集（熵谱，“百吉饼”）在圆外部分是路径连通的。

总体思路

本文围绕“复二次多项式核心熵”的三种计算方式与几何推广展开。对每个既约分数 p/q，Mandelbrot 集里存在连接主心形与 p/q-触角尖端的“主脉” $\mathcal{V}_{p/q}$，脉上每个后临界有限参数 $f_c(z)=z^2+c$ 都有一棵有限的 Hubbard 树，树上的马尔可夫划分给出转移矩阵，其特征值集合 $Z(f)$ 编码了动力系统的统计性质。论文先证明用马尔可夫划分、瑟斯顿的图算法、以及本文新构造的“主脉结型多项式”这三条独立路径算出的特征多项式在单位圆外的根完全一致；再把这些特征值随外角连续变化的方式组织成一个三维分形对象——“主茶壺”，并证明它在圆外连续变化、圆内呈现“持久性”，最终得到瑟斯顿集圆外部分路径连通的结论。

Hubbard树与马尔可夫划分

Hubbard树 $T_{f_c}$ 定义为后临界轨道两两之间规则弧的并： $$T_{f_c} := \bigcup_{i, j \geq 0} [f_c^i(0), f_c^j(0)]$$ 在树的分支点与后临界点（含临界点本身）处把树切开，得到有限个弧段构成的马尔可夫划分；这些弧段在动力学 $f_c$ 作用下的转移关系给出转移矩阵 $A_1$，其特征多项式即马尔可夫多项式 $P_{Mar}(t):=\det(I-tA_1)$。这条路径最直接，但树的组合结构对参数的小扰动并不稳定，是后续要换用别的算法的动机。

谱行列式与瑟斯顿的图算法

瑟斯顿算法把外角的二进制展开编码成一个“带标签楔形” $\mathcal{W}_\theta$：将 $(i,j)$ 标记为“等价/不可分/可分”，取决于迭代角度 $x_i(\theta)=2^{i-1}\theta \bmod 1$ 落在同一点、同一侧还是不同侧的划分区间里。由此得到一个可数无穷图 $\Gamma_\theta$，它周期性地退化为有限图（有限模型），其邻接矩阵的特征多项式就是瑟斯顿多项式 $P_{Th}(t)$。图的谱行列式定义为对所有“多圈”（互不相交简单圈之并）的带符号求和： $$P_{\Gamma}(t) := \sum_{\gamma \ \text{为多圈}} (-1)^{C(\gamma)}t^{\ell(\gamma)}$$ 其中 $\ell(\gamma)$ 是多圈长度、$C(\gamma)$ 是连通分支数；这个量在有限图上等价于邻接矩阵特征多项式的反转形式，在无穷图上仍有意义，其最小正实根的倒数正是核心熵的增长率。

两种多项式的等价定理：为什么根几乎相同

两种算法看似构造完全不同（一个基于树的几何切割，一个基于外角的组合编码），但本文证明二者给出的特征多项式满足 $$P_{Th}(t) = P_{Mar}(t)\, Q(t)$$ 其中 $Q(t)$ 的所有非零根都落在单位圆上。证明的关键是构造一个从“角度对配置空间” $E_2$ 到“树弧配置空间” $E_1$ 的线性投影 $\pi$，使瑟斯顿的转移算子 $T_2$ 与马尔可夫算子 $T_1$ 通过 $\pi$ 半共轭；于是 $\ker\pi$ 是 $T_2$-不变子空间，而它由有限个“初等三元组” $v=p_1+p_2-p_3$（三个角度对间的线性关系）与“初等星形”张成，$T_2$ 把这个有限生成集映回自身，因此限制在 $\ker\pi$ 上的特征多项式只能是分圆多项式与 $t^k$ 的乘积——这正是两种算法在圆外给出相同信息、圆内差异只是分圆噪声的根本原因，不需要逐个验证具体角度。

主脉与Master Teapot的定义

对每个 p/q，把落在该主脉上、核心熵取值为 $\lambda$ 的临界周期参数所对应的特征值集合 $\mathcal{Z}(\lambda)$ 沿 $\lambda$ 变化叠起来，就得到 p/q-主茶壺： $$\Upsilon_{p/q} := \overline{\Big\{(z,\lambda)\in\mathbb{C}\times\mathbb{R} \ \Big|\ \lambda=e^{h(\theta)}\text{ 对某个 }\theta\in\Theta^{per}_{p/q},\ z\in\mathcal{Z}(\lambda)\Big\}}$$ 当 p/q=1/2 时，$\Upsilon_{1/2}$ 正是瑟斯顿最初对实二次多项式定义的原始茶壺；本文把它推广到每一条主脉。脉尖端参数的核心熵可以显式算出为 $\log\lambda_q$，其中 $\lambda_q$ 是 $$P(x) = x^{q} - x^{q-1} - 2$$ 的最大实根，由此茶壺的高度范围被限定在区间 $[1,\lambda_q]$ 内，且 $q\to\infty$ 时 $\lambda_q\to 1$。

特征值的连续性与持久性

论文证明单位圆外部分的特征值随外角连续移动：把圆外特征值集合与单位圆的并 $Z^+(\theta):=S^1\cup(Z(\theta)\cap(\mathbb{C}\setminus\mathbb{D}))$ 视为从 $\mathbb{R}/\mathbb{Z}$ 到“圆外紧集空间”（配 Hausdorff 拓扑）的映射，证明它能连续延拓到所有实角度，这是对以往只证明“leading eigenvalue（增长率）连续”结果的严格推广。与此相对，圆内的根并不连续变化，而是表现出持久性：若 $(z,\lambda)\in\Upsilon_{p/q}$ 且 $z$ 落在单位圆内，则整条竖直线段 $\{z\}\times[\lambda,\lambda_q]$ 都属于 $\Upsilon_{p/q}$——圆内的根一旦出现就不会随熵增大而消失，只会越靠近脉尖端、根集越丰富。这一对“外部连续、内部单调堆叠”的现象正是论文标题两条主线的几何写照，也是证明瑟斯顿集圆外部分路径连通的直接工具。

小结

三种算法（马尔可夫、瑟斯顿图、本文新给出的主脉结型多项式）在单位圆外给出完全一致的根集，圆外特征值随外角连续变化、圆内则单调持久堆叠——这两条几何性质共同刻画了主茶壺的结构，把瑟斯顿关于实二次多项式的原始发现严格推广到 Mandelbrot 集的每一条主脉。

论文没有数值实验，取而代之的是构造性例子与代数验证：对外角 θ=1/5 显式算出瑟斯顿多项式与马尔可夫多项式（分别来自有限图模型与 Hubbard 树的转移矩阵），验证二者在圆外的根一致，以此具体演示等价定理与结型理论的计算方法。

关键数据

本文把瑟斯顿关于实二次多项式核心熵的经典几何观察（茶壺的连续性与持久性）第一次严格推广到复 Mandelbrot 集的每一条主脉，并统一了核心熵的三种计算算法。它为后续研究瑟斯顿集（熵谱）圆外的连通性、以及关于特征值与伽罗瓦共轭关系的猜想提供了组合与代数工具。

局限与不足

论文只处理二次多项式的主脉情形，尚未推广到高次多项式或不落在主脉上的一般脉；关于圆内特征值是否恰好等于核心熵的伽罗瓦共轭的猜想仅陈述为猜想（在实情形下已知成立），复情形并未证明。持久性定理与连续性定理都是存在性结果，没有给出具体的收敛速度或误差估计；对于 q 较大的主脉，结型多项式与有限图模型的显式计算仍依赖组合枚举（多圈计数上界为 (2n)^{√(2n)}），尚无更高效的计算算法，实际计算主茶壺的具体形状时复杂度会随 q 增长而迅速上升。