Degree Growth of Rational Maps with Laurent Property

技术摘要：具有 Laurent 性质的有理映射的次数增长

问题陈述
本文研究了有理自映射 $f: \mathbb{P}^m \to \mathbb{P}^m$ 的迭代次数增长，特别是那些由具有 Laurent 性质的递推关系产生的映射。代数熵 $E(f) = \lim_{n \to \infty} \frac{1}{n} \log d_n$，其中 $d_n = \deg(f^n)$，是衡量这种增长的主要指标。虽然已知具有 Laurent 性质的递推关系（如 Somos 和 Gale–Robinson 序列）通常表现出零代数熵（这意味着次指数级、通常是二次方的次数增长），但现有文献主要在定性层面确立了这种行为，并未提供次数序列 $d_n$ 的显式闭式公式。本文旨在解决的具体挑战是直接从递推关系中导出这些显式公式，特别是针对两项和三项 Gale–Robinson 系列。

方法论
作者开发了一种通过分析递推关系本身来确定次数增长的直接方法，从而绕过了对簇种子（cluster seeds）的先验描述。该方法的核心包括：

1. 热带化与估值分析： 利用离散估值环和 $x_i$-进估值的概念，本文证明了迭代项的分母指数（决定了次数）满足最大线性（热带）递推关系。这使得将计算多项式次数的问题简化为研究由 $\max$ 操作定义的序列。
2. 直接次数公式（定理 1）： 对于一类广泛的齐次二次 Laurent 递推关系，本文推导出了一个公式，将第 $n$ 次迭代的次数 $d_n$ 表示为在滑动窗口内辅助序列 $\{k^{(i)}_n\}$ 的最大值之和加 1。这些辅助序列满足直接由原多项式递推系数导出的最大线性递推关系。
3. 最大线性序列的显式计算： 本文专注于求解与 Gale–Robinson 系统相关的特定最大线性递推关系。通过分析这些序列的结构，作者发现它们遵循 $n^2/2N$ 的二次增长模式，并由一个周期项进行修正。

主要贡献与结果

• 通用次数公式（定理 1）： 本文为齐次二次 Laurent 递推关系建立了次数的闭式公式。文中证明了 $d_n$ 可以通过对序列 $\{k^{(i)}_n\}$ 的最大值求和来计算，这些序列由如下最大线性递推关系定义：
  $$k^{(i)}_{n+m} = \max_{(s,t) \in C} (k^{(i)}_{n+s} + k^{(i)}_{n+t}) - k^{(i)}_n$$
  其中 $C$ 取决于递推关系中的非零系数。这种表述允许在无需预先知晓簇代数结构的情况下，直接计算次数增长。

• 两项 Gale–Robinson 递推关系（定理 2）： 对于由 $x_{n+m}x_n = x_{n+1}x_{n+m-1} + x_{n+2}x_{n+m-2}$ 定义的两项族，作者推导出了其相关热带序列 $\{k_n\}$ 的显式二次增长公式：
  $$k_n = \frac{n^2 + c_n}{2N}$$
  其中 $N = (m-2)(m-1) + 2$，且 $\{c_n\}$ 是一个周期为 $N$ 的周期序列。这一结果恢复并推广了以往针对 Somos-4 ($m=4$) 和 Somos-5 ($m=5$) 的个案计算。

• 三项 Gale–Robinson 递推关系（猜想 1 与定理 3）：

  • 猜想： 本文对一般的三项族（$x_{n+m}x_n = x_{n+p}x_{n+m-p} + x_{n+q}x_{n+m-q} + x_{n+r}x_{n+m-r}$）提出了一个猜想。该猜想预测其增长率序列为带有周期修正的二次增长，其中周期 $N$ 由下式显式给出：$N = \gcd(p,q)r^2 + \gcd(p,r)q^2 + \gcd(q,r)p^2 + pqr$。
  • 证明： 作者证明了该猜想对于参数为 $p=1, q=2, r \ge 3$ 的无限族成立。证明依赖于建立序列对称性和周期性的组合引理。
  • 推论： 通过应用这些结果，本文确认了 Somos-6 和 Somos-7 映射具有零代数熵，并提供了其迭代次数的显式公式。具体而言，对于 Somos-6（对应参数 $p=1, q=2, r=3$ 及 $m=6$），其周期 $N=20$；对于 Somos-7（对应参数 $p=1, q=2, r=4$ 及 $m=7$），其周期 $N=30$。

意义与主张
本文声称其主要贡献在于开发了一种从递推关系直接确定次数增长的直接方法，将问题简化为对相关最大线性递推关系的研究。

• 显式公式： 不同于以往通过八面体或立方递推关系的组合公式来定性建立二次增长的研究，本文提供了次数序列的显式闭式公式，包括精确的领先系数和修正项的周期。
• 完善零熵结果： 在确认这些系统具有零代数熵这一已知结果的同时，本文通过刻画次数序列的精确渐近行为对其进行了细化。
• 统一性： 所推导的公式为无限递程家族（特别是三项递推关系中的 $p=1, q=2$ 族）提供了统一的描述，此前尚未建立包含显式修正项周期的统一公式。

这项工作被呈现为作者硕士研究的延续，旨在弥合 Laurent 系统中可积性的定性理解与次数增长的定量分析之间的鸿沟。