[論文レビュー] The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Sebastian Falkensteiner, Cristhian Garay+4 more|arXiv (Cornell University)|Feb 7, 2020

Polynomial and algebraic computation参考文献 10被引用数 8

ひとこと要約

本稿は、ニュートン多角形の頂点集合を主要な道具として導入することで、偏微分方程式（PDE）系への微分代数的幾何学の基本定理を拡張する。特性ゼロの非可算体上の形式的冪級数解の台が、トロピカル化された微分系を解くことで特定可能であることが示され、従来の常微分方程式から偏微分方程式への一般化が、トロピカル幾何学と半環構造を用いて達成される。

ABSTRACT

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polygons.

研究の動機と目的

• 微分代数的幾何学の基本定理を常微分方程式から偏微分方程式へ一般化すること。
• 形式的冪級数係数をもつPDE系において、形式的冪級数解の台を解析する課題に対処すること。
• 整数格子上の半環構造を用いて、PDEのトロピカル化フレームワークを構築すること。
• 一般には決定不能であるため、解の台に対する必要条件をトロピカル化系を通じて提供すること。

提案手法

• 半環 $\mathcal{P}(\mathbb{Z}_{\geq 0}^m)$ の支持と、$\mathbb{T}[[t_1,\ldots,t_m]]$ への頂点準同型 $\operatorname{Vert}$ を導入する。
• $\mathbb{T}_{m,n}$ をトロピカル微分多項式の半環とする。$\operatorname{trop}: R_{m,n} \to \mathbb{T}_{m,n}$ をトロピカル化写像として定義する。
• 微分多項式のニュートン多角形およびその頂点集合を用いて、トロピカル解を特徴付ける。
• 頂点準同型を用いて、冪級数解の支持をトロピカル化系の解に翻訳する。
• $K[[t_1,\ldots,t_m]]\{x_1,\ldots,x_n\}$ 内の解の支持とトロピカル化系の解との間の対応関係を確立する。
• 定理6.1を証明し、$R_{m,n}$ 内の微分イデアル $G$ に対して $\operatorname{Supp}(\operatorname{Sol}(G)) = \operatorname{Sol}(\operatorname{trop}(G))$ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 微分代数的幾何学の基本定理を常微分方程式から偏微分方程式へ拡張できるか？
• RQ2 ニュートン多角形およびその頂点集合を用いて、PDE系における形式的冪級数解の台をどのように特徴付けることができるか？
• RQ3 複素数変数の形式的冪級数係数をもつPDE系の正しいトロピカル化フレームワークは何か？
• RQ4 トロピカル化系は、元のPDE系の解の完全な台構造を捉えているか？
• RQ5 トロピカル手法は、決定不能なPDE設定下で解の台に対する必要条件をどの程度提供できるか？

主な発見

• 特性ゼロの非可算代数閉体上に係数をもつPDE系のすべての形式的冪級数解の台は、対応するトロピカル化系の解の集合に等しい。
• 各微分多項式のニュートン多角形の頂点集合は、多変数の場合に正しくトロピカル化系を定義するために不可欠である。
• 定理は[1]の1変数の場合から $m > 1$ 変数へ一般化され、$\mathbb{Z}_{\geq 0}^m$-インデックス付き支持に基づく新規な技術を要する。
• 定理6.1の証明は $m=1$ の場合とは根本的に異なり、単純な値関数に基づく議論ではなく、頂点集合と半環準同型に依存する。
• この手法は解の台に対する必要条件を提供するが、PDE理論における決定不能性の結果により、完全にアルゴリズム的にはならない。
• プアイエックス級数への拡張は失敗する。反例により、トロピカル解に含まれる台が実際のプアイエックス級数解に存在しないことが示された。