n-th Tropical Nevanlinna Theory

技術要約：n次トロピカル・ネバナリン理論

問題提起
本論文は、トロピカル・ネバナリン理論の対象を、従来の区分線形連続関数から、より広範な区分多項式連続関数のクラスへと拡張することに取り組んでいる。これまでの研究では、トロピカル・有理関数（1次）に対するトロピカル・メリモルフィック関数の理論が確立され、差分類似の第二主定理（SMT）についても探索されてきたが、トロピカル設定における高次導関数および多項式構造の挙動は未発達なままであった。具体的には、著者らは、基本ツールであるネバナリン理論（ポアソン・イェンセン公式、計数関数、対数微分補題など）を「n次トロピカル・メリモルフィック関数」へと一般化することを目指している。中心的な動機は、シフト演算子に対する「打ち切り（truncated）」版のトロピカル第二主定理が存在するかどうかを調査することであり、これは従来の研究において、トロピカル設定における分岐項の複雑さゆえに解決できなかった課題である。

手法
著者らは、トロピカル代数および解析の体系的な一般化を用いている：

1. n次トロピカル・メリモルフィック関数の定義：
   本論文では、有理関数の積に対して適用される「超離散化（ultradiscretization）」プロセスを通じて、これらの関数を定義している。$n$個の有理関数の積である$f(X, \epsilon)$に対し、$\epsilon \to 0^+$の極限 $\epsilon^n \log f(X, \epsilon)$ を取ることで、次数$n$の区分多項式関数を導出している。トロピカルの加算（$\oplus$）、乗算（$\otimes$）、除算（$\oslash$）の演算は、これらの区分多項式関数の構造を保持するように定義されている。

2. 特異点と多重度：
   補助関数 $\omega_f^{(j)}(x)$ を用いた、根と極の新しい定義が導入されている。これは、点における$j$次導関数の跳び（jump）を測定するものである。古典的なケースとは異なり、導関数の次数$j$の偶奇性に応じて、ある点が根と極の両方の性質を同時に持ち得ることがある。著者らは、任意のn次トロピカル・メリモルフィック関数が、2つのn次トロピカル・整関数（entire functions）の商として表されることを確立している（命題2.3）。

3. ポアソン・イェンセン公式：
   開発された中核的な解析ツールは、n次トロピカル・ポアソン・イェンセン公式（定理3.3）である。この公式は、$B_n(r, x)$ および $D_n(r, x)$（それぞれ $r+x$ および $r-x$ の一般化）を組み込み、特異点をその多重度次数$j$に基づく重みで総和することで、古典的な1次版を一般化している。これにより、n次トロピカル特性関数 $T(r, f)$ および計数関数 $N^{(j)}(r, f)$ の定義が導かれる。

4. 点別推定と対数微分：
   シフト演算子を扱うために、著者らは「ウェル・ディファインド（well-defined）」な多項式（定義4.2）の概念を導入している。これは、導関数の単調性を保証するために、多項式係数の揮発性を制限するものである。これを用いて、トロピカル差商に関する点別推定（定理4.7）を導出している。この推定は、ハイパーオーダーが1未満の区分多項式関数に特化した、対数微分補題のトロピカル類似として機能する。

5. 第二主定理：
   著者らはこれらのツールを適用し、以下の2つの主要な結果を証明している：

• トロピカル同次多項式に対するn次第二主定理（定理5.6）。
• 通常のフェルマー型多項式に対する第二主定理（定理5.8）。これには特定の成長仮定（$\limsup r/T_f(r) = 0$）が必要となる。

6. 打ち切りの分析：
   最終節において、著者らは成分の計数関数の和 $\sum N(r, 10 \oslash f_i)$ と、トロピカル・カゾラティアン（Casoratian）の計数関数 $N(r, 10 \oslash C_0(f_0, \dots, f_m))$ との関係を分析している。彼らは、$n \ge 2$ の場合、たとえ成長仮定の下であっても、分岐項が $n=1$ の場合のように消滅したり簡略化されたりしないことを示している。

主な貢献と結果

• 区分多項式への一般化： 本論文は、トロピカル・ネバナリン理論の枠組みを区分線形関数を超えて区分多項式関数へと拡張することに成功し、n次のトロピカル・ポアソン・イェンセン公式および対応する特性関数を導入した。
• 新しい対数微分補題： 関数の「ウェル・ディファインド」な性質に依拠した、トロピカル差商の点別推定（定理4.7）が証明された。これは、従来の類似よりも強力かつ直接的なものである。
• 第二主定理：
  • 定理5.6： n次の設定におけるトロピカル同次多項式のSMTを確立し、特性関数が合成 $P \circ f$ の計数関数および分岐項 $N^{(j)}(r, P \circ f)$ とどのように関連するかを示している。
  • 定理 5.8： 多項式 $P(x) = \sum \alpha_i x_i^n$ に対するSMTを証明し、多項式の最小および最大係数を含む明示的な下界および上界を提供している。
• 自然な打ち切りの非存在： 第6節における最も重要な負の結果である。トロピカル対数微分を点別的に推定することにより、著者らは、計数関数の和とカゾラティアン項を関連付ける強い等式（定理6.2および系6.4）を証明している。彼らは、$n \ge 2$ の場合、これらの項の差が追加の制約なしには小さな誤差項 $o(T_f(r)/r^\sigma)$ に縮小できないことを示している。これは、一般的な区分多項式設定において、シフト演算子に対する自然なトロピカル打ち切り第二主定理は存在しないことを意味している。

意義
本論文は、区分線形関数の限界を超え、トロピカル・ネバナリン理論の包括的な一般化を提供することを主張している。n次のポアソン・イェンセン公式を構築し、対数微分補題を精緻化することで、高次のトロピカル曲線の挙動を解明している。決定的なことに、本研究は「打ち切り」に関する理論の限界を明らかにしている。著者らは、トロピカル設定における多重度の打ち切りという直感的なアイデア（古典的な打ち切りSMTに類似したもの）が、$n \ge 2$ の場合のシフト演算子においては失敗することを結論づけている。なぜなら、分岐項が依然として重要な重みを保持しているからである。この知見は、トロピカル設定が、古典的な打ち切り第二主定理の直接的な類似を妨げる独自の構造的特性を持っていることを示唆しており、トロピカル差分方程式における可積分性と値分布の理解を深めるものである。