Degree Growth of Rational Maps with Laurent Property

技術要約：ローレント性を持つ有理写像の次数の成長

問題提起
本論文は、特にローレント性（Laurent property）を持つ漸化式から生じる有理自己写像 $f: \mathbb{P}^m \to \mathbb{P}^m$ の反復写像の次数の成長について研究している。代数的エントロピー $E(f) = \lim_{n \to \infty} \frac{1}{n} \log d_n$ （ここで $d_n = \deg(f^n)$）は、この成長の主要な指標となる。ローレント性を持つ漸化式（SomosやGale–Robinson数列など）は、しばしば代数的エントロピーがゼロである（つまり、指数関数的ではなく、通常は二次的な次数成長を示す）ことが知られているが、既存の文献では、これらの挙動を定性的に示しているのみであり、次数数列 $d_n$ の明示的な閉形式を提供している例は少ない。本論文が取り組む具体的な課題は、漸化式から直接、次数の明示的な公式を導出することであり、特に二項および三項のGale–Robinson族を対象としている。

手法
著者は、クラスター・シードによる事前の記述を必要とせずに、漸化式そのものを分析することで、次数の成長を決定する直接的な手法を開発している。この手法の核心は以下の通りである：

1. トロピカル化と値解析（Valuation Analysis）： 離散値環と $x_i$-進値（$x_i$-adic valuation）の概念を用いることで、反復写像の分母の指数（これが次数を決定する）が、max-linear（トロピカル）漸化式を満たすことを本論文は示している。これにより、多項式の次数を計算する問題が、$\max$ 操作によって定義される数列の研究へと還元される。
2. 直接的な次数公式（定理1）： 広範な同次二次ローレント漸化式に対し、本論文は、補助的な数列 $\{k^{(i)}_n\}$ のスライディング・ウィンドウにおける最大値の和として次数 $d_n$ を表す公式を導出している。これらの補助的な数列は、元の多項式漸化式の係数から直接導かれるmax-linear漸化式に従う。
3. Max-linear 数列の明示的な計算： 本論文は、Gale–Robinson系に関連する特定のmax-linear漸化式を解くことに焦点を当てている。これらの数列の構造を分析することにより、著者は、それらが周期的な補正項を伴う二次成長パターン $n^2/2N$ に従うことを特定している。

主な貢献と結果

• 一般的な次数公式（定理1）： 本論文は、同次二次ローレント漸化式の次数のための閉形式の公式を確立している。$d_n$ は、max-linear漸化式によって定義される数列 $\{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$ である無限族について、この予想を証明している。その証明は、max-linear数列の対称性と周期性を確立する組合せ論的な補題に基づいている。
  • 系： これらの結果を適用することで、本論文は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$ である。

意義と主張
本論文の主要な貢献は、漸化式から次数の成長を決定するための直接的な手法を開発し、それを関連するmax-linear漸化式の研究へと還元したことにあると主張している。

• 明示的な公式： 八面体（octahedron）または立方体（cube）の漸化式を用いた組合せ論的な公式を通じて、二次成長を定性的に示した従来の著作とは異なり、本論文は、正確な主要係数と補正項の周期を含む、次数数列の明示的な閉形式を提供している。
• ゼロ・エントロピー結果の精緻化： これらのシステムがゼロの代数的エントロピーを持つという既知の結果を確認しつつ、本論文は、次数数列の正確な漸近的挙動を特徴付けることで、これを精緻化している。
• 一様性： 導出された公式は、無限の漸化式族（特に三項漸化式の $p=1, q=2$ の族）に対して一様な記述を提供しており、そこでは補正項の明示的な周期を含む一様な公式はこれまで確立されていなかった。

本研究は、ローレント系の可積分性の定性的理解と、その次数の成長に関する定量的分析との間の溝を埋めることを目的とした、著者の修士課程の研究の継続として提示されている。