算术动力学——数域上的有限轨道

上级：orbit · 前置：discrete-dynamical-systems

数论分支（Silverman 学派）：对有理映射 $\varphi: \mathbb{P}^1 \to \mathbb{P}^1$（次数 $d \ge 2$，定义在数域 $K$ 上）做迭代（设想 $\varphi(z) = z^2 + c$，其中 $c \in \mathbb{Q}$），并追问哪些有理点的轨道是小的。

Definition

若一个点 $x$ 的轨道是有限的（最终周期），就称它是预周期的（preperiodic）。记 $\operatorname{Preper}(\varphi, K)$ 为坐标落在 $K$ 中的预周期点集合。

高度机制

让这件事成为数论、而不只是动力系统的工具，是Weil 高度（Weil height）$h(x)$，它衡量一个有理点的算术复杂度（既约分数下 $h(\tfrac{p}{q}) = \log\max(|p|, |q|)$）。有两个事实：

1. $h(\varphi(x)) = d \cdot h(x) + O(1)$——应用 $\varphi$ 会使复杂度按该映射的次数相乘，误差有界。
2. Northcott 定理： $K$ 中高度低于任意给定界限的点只有有限多个。

典范高度（Canonical height，Call–Silverman）

$\hat{h}_\varphi(x) = \lim_{n \to \infty} \dfrac{h(\varphi^n(x))}{d^{\,n}}$——这个极限存在，是因为事实 1 使该数列成为 Cauchy 列（把各项的 $O(1)$ 误差逐项相消，可得 $|\hat{h} - h| \le C$，常数 $C$ 与 $x$ 无关）。它把事实 1 修补成一个精确等式：$\hat{h}_\varphi(\varphi(x)) = d \cdot \hat{h}_\varphi(x)$。

有限轨道 = 典范高度为零

$\hat{h}_\varphi(x) = 0 \iff x$ 是预周期的。（$\Leftarrow$：有限轨道的 $h$ 有界，故 $h(\varphi^n x)/d^n \to 0$。$\Rightarrow$：$\hat{h} = 0$ 迫使 $h(\varphi^n x) \le C$ 对一切 $n$ 成立，再由 Northcott 定理得轨道有限。） 推论： $\operatorname{Preper}(\varphi, K)$ 都是有限集——对任意 $\varphi$（次数 $\ge 2$），在任意数域上皆然。

与此对照的是 $\mathbb{R}$ 或 $\mathbb{C}$ 上的动力系统，那里周期点通常在 Julia 集中是稠密的（complex-dynamics）：而算术结构使有限轨道变得稀少且数量有限。悬而未决的大问题是一致性——Morton–Silverman 猜想： $\operatorname{Preper}(\varphi, K)$ 的规模只由 $d$、$\deg K$ 决定的一个常数所界定（与具体的 $\varphi$ 无关）。即便对 $z^2 + c$ 在 $\mathbb{Q}$ 上的情形，这个猜想也仍然是开放的（Poonen 猜想：至多 9 个有理预周期点；周期 4 和 5 已被证明不可能，周期 ≥ 6 部分被证明）。

沿路数一数：$\varphi(z) = z^2$（在 $\mathbb{Q}$ 上）

• $h(2) = \log 2$，轨道 $2 \to 4 \to 16 \to 256$：高度依次为 $\log 2, 2\log 2, 4\log 2, \dots$——精确地翻倍，所以 $\hat{h}(2) = \log 2 > 0$：轨道无限。✓
• $\tfrac{2}{3}$ 的轨道：$\tfrac{2}{3} \to \tfrac{4}{9} \to \tfrac{16}{81}$，高度为 $\log 3, \log 9, \log 81$——同样是翻倍；$\hat{h} = \log 3$。
• $\operatorname{Preper}(\varphi, \mathbb{Q}) = \{0, \infty, 1, -1\}$（$-1 \to 1 \to 1$）：共四个点，恰好是高度为零的那些有理数。在 $\overline{\mathbb{Q}}$ 上，预周期点是 $0, \infty$ 以及全体单位根——数量无限，但每个具体的数域都只切出有限多个（Northcott 定理需要次数有界）。

为什么这套机器看不见 Collatz

高度论证依赖 $h \circ \varphi \approx d \cdot h$（$d \ge 2$）——这是一种由全局定义的代数映射带来的乘法式复杂度增长。Collatz 映射是分段仿射的（每支上 $d = 1$，各支之间靠同余条件而非代数来拼接），因此典范高度会坍缩，Northcott 定理也无从施力。这种结构上的错配——而非努力不够——正是 collatz-orbit-statistics 转而依靠测度论与概率论的原因。