[論文レビュー] Shrinking dynamic on multidimensional tropical series

Nikita Kalinin|arXiv (Cornell University)|Dec 9, 2021

Polynomial and algebraic computation被引用数 4

ひとこと要約

本稿は、$×n$ 内のコン pact 凸領域における $Ω$-トロピカル級数を導入し、有限個の点を通過する $Ω$-トロピカル解析的超曲面を構成するための摂動法を確立する。その中核となる結果は、わずかに小さな領域上で修正された収縮作用素を用いた、サンダーピル波動ダイナミクスの連続的近似であり、中間の超曲面にのみ軽微な特異性が生じるように保証されている。

ABSTRACT

We define multidimensional tropical series, i.e. piecewise linear functions which are tropical polynomials locally but may contain an infinite number of monomials. Tropical series appeared in the study of the growth of pluriharmonic functions. However, our motivation stems from sandpile models where certain wave dynamic governs the behavior of sand and exhibits a power law (so far only experimental evidence). In this paper we lay the groundwork for tropical series and corresponding tropical analytical hypersurfaces in the multidimensional setting. The main object of study is an $Ω$-tropical series where $Ω$ is a compact convex domain which can be thought of as the region of convergence of such a series. Our main theorem is that the sandpile dynamics producing an $Ω$-tropical analytical hypersurface passing through a given finite set of points can always be slightly perturbed so that the intermediate $Ω$-tropical analytical hypersurfaces have only mild singularities.

研究の動機と目的

• コンパクトな凸領域における多次元トロピカル級数およびそれらに付随する超曲面の理論的基盤を確立すること。
• 高次元におけるサンダーピル波動ダイナミクスの過程で生じる超曲面の特異性の問題に取り組むこと。
• 望ましい超曲面に収束するが、深刻な特異性を避ける連続的近似を波動ダイナミクスに適用すること。
• 有限個の点を通るトロピカル超曲面を生成する波動ダイナミクスが、中間段階で重度の特異性を生じさせないよう摂動可能であることを示すこと。

提案手法

• コンパクトな凸領域 $Ω$ 上で定義された連続関数として $Ω$-トロピカル級数を定義し、局所的にトロピカル多項式であるものとし、$f|_{\partial\Omega} = 0$ かつ $f(z) = \inf_{q \in \mathcal{A}}(q \cdot z + c_q)$ を満たすものとする。ここで $\mathcal{A} \subset \mathbb{Z}^n$ は一般に非有限である。
• 動的の局所化と特異性の制御のため、有理数多面体 $Q \subset \Omega$ 上での $Q$-トロピカル級数の概念を導入する。
• 波動ダイナミクスを模倣する連続的関数族の収縮作用素 $\mathrm{Add}_{w_i}^{t_i}$ を用い、その合成により $G_P 0_\Omega$ の極限を近似する。
• すべての中間 $Q$-トロピカル超曲面にのみ軽微な特異性が生じるように保証するため、時間パラメータ $t_i$ を $t_i - \delta$ に摂動する。
• $Q$ 上でゼロに近い小さな $Q$-トロピカル級数 $g$ を構成し、摂動されたフロー $F(g) = \prod_{i=1}^N \mathrm{Add}_{w_i}^{t_i - \delta} g$ が $G_P 0_\Omega$ を任意の精度で近似できることを示す。
• トロピカル級数の準次数および標準形を活用し、超曲面の進化に対する安定性と制御性を保証する。

実験結果

リサーチクエスチョン

• RQ1 多次元サンダーピルモデルにおける波動ダイナミクスは、中間の超曲面に深刻な特異性を生じさせない連続的関数族の収縮作用素によって近似可能か？
• RQ2 凸領域上のトロピカル級数は、境界にまで拡張可能である条件は何か？また、拡張可能な境界点の集合の位相的性質は何か？
• RQ3 波動ダイナミクスを摂動することで、中間段階のトロピカル超曲面にのみ軽微な特異性が生じるが、望ましい極限超曲面に収束するようにできるか？
• RQ4 小規模な領域 $Q \subset \Omega$ 上での収縮作用素に対して、トロピカル級数の標準形をどのように変更すれば、制御された挙動を保証できるか？
• RQ5 摂動パラメータ $\delta$ と、最終的な超曲面が元の波動ダイナミクスの極限に近づく近似精度との関係は何か？

主な発見

• 任意の $\varepsilon > 0$ に対して、$\delta > 0$ および $\mathbb{Q}$-多面体 $Q \subset \Omega$ が存在し、すべての $z \in Q$ に対して $g(z) < \delta$ を満たす $Q$-トロピカル級数 $g$ を構成可能である。
• $g$ に付随する超曲面 $C(g)$ は、Remark 7.2 によって保証されるように、軽微な特異性しか持たない。
• 摂動された作用素 $F = \prod_{i=1}^N \mathrm{Add}_{w_i}^{t_i - \delta}$ は、フローの各段階で $Q$-トロピカル級数にのみ軽微な特異性を生じさせる。
• $N$ が十分に大きいとき、$F(g)$ は $\Omega$ 上で $G_P 0_\Omega$ に対して $\varepsilon$-近似である。
• 構成法により、$G_P g$ は $\partial Q$ の近傍で $G_P 0_\Omega$ に近く、$F(g)$ は $G_P g$ を高い精度で近似する。
• 摂動戦略により、波動ダイナミクスが特異性が制御された小さな領域上の作用素の極限として実現可能であり、望ましい超曲面への収束を保証する。