[論文レビュー] Introduction to tropical series and wave dynamic on them

Nikita Kalinin, Mikhail Shkolnikov|arXiv (Cornell University)|Jun 11, 2017

Nonlinear Waves and Solitons参考文献 15被引用数 4

ひとこと要約

本稿では、2次元のトロピカル級数上の動的システムを導入し、サンプイルモデルにインspiredされた波動的伝播をモデル化する。波動作用素 $ G_{\mathbf{p}} $ を定義し、凸領域上の非負のトロピカル級数に作用させることで、その結果得られる力学系がアバランチ領域のべき則分布を示すことを証明する。また、トロピカル曲線が進化中に最小シンプレクティック面積と滑らかさを保つための条件を確立し、複雑な力学系の組み合わせ的簡約を可能にする。

ABSTRACT

The theory of tropical series, that we develop here, firstly appeared in the study of the growth of pluriharmonic functions. Motivated by waves in sandpile models we introduce a dynamic on the set of tropical series, and it is experimentally observed that this dynamic obeys a power law. So, this paper serves as a compilation of results we need for other articles and also introduces several objects interesting by themselves.

研究の動機と目的

• 2次元のトロピカル級数上の波動力学の理論的枠組みを、サンプイルモデルやプレリハーモニック関数の成長にインspiredして構築すること。
• 波動作用素 $ G_{\mathbf{p}} $ を定義し、それがサンプイルアバランチのスケーリング極限として解釈できることを分析すること。
• トロピカル級数上の力学系がべき則に従い、アバランチ領域密度 $ p(x) = c x^\alpha $ を示すことを証明すること。これは、シミュレーションにおいて稀な連続的べき則モデルである。
• 波動伝播中にトロピカル曲線が滑らかまたはノーダルのままである条件を確立し、組み合わせ的解析を可能にすること。
• ブロウアップと準次数制御を用いて、グローバル力学を局所的 $ \mathbb{Q} $-多角形近似に還元するためのツールを提供すること。

提案手法

• トロピカル級数を、$ ix + jy + a_{ij} $ のアフィン関数の局所的有限な最小値として定義し、適切な領域 $ \Omega $ における非負制約を課す。
• 波動作用素 $ G_{\mathbf{p}} $ を導入し、点 $ \mathbf{p} \in \Omega^\circ $ における単項式の係数を増加させることで、サンプイルモデルにおける波動伝播を模倣する。
• トロピカルシンプレクティック面積の変形不変性を用い、曲線の面積を準次数と辺の重複度に関連付ける。
• ブロウアップ技術を用いて、領域 $ \Omega $ 上の力学系を $ \Omega $ 内の $ \mathbb{Q} $-多角形 $ \Delta' \subset \Omega $ に還元し、本質的な力学を保存する。
• $ G_{\mathbf{p}} $ を特徴2の体上のローレンツ多項式上への作用素に持ち上げるが、その代数的意味は未解決のまま残っている。
• 超調和関数と準次数最小化を用い、$ C(f_{\Delta,P}) $ が点配置 $ P \subset \Delta^\circ $ を通る曲線の中で最小のトロピカルシンプレクティック面積を達成することを証明する。

実験結果

リサーチクエスチョン

• RQ1 トロピカル級数上の波動力学は、アバランチサイズのべき則分布を示すか。その場合、密度の関数的形は何か？
• RQ2 曲線のトロピカルシンプレクティック面積は、その準次数と辺の重複度から計算可能か。また、変形に対して不変か？
• RQ3 領域 $ \Omega $ 上のグローバル波動力学が、誤差を制御可能な $ \mathbb{Q} $-多角形 $ \Delta' \subset \Omega $ 上の力学系に還元可能となる条件は何か？
• RQ4 $ G_{\mathbf{p}} $ 波動作用素は、特徴2の体上のローレンツ多項式上への代数的演算に持ち上げ可能か？
• RQ5 すべてのトロピカル曲線が波動力学の全過程で滑らかまたはノーダルのままであるように保証することは可能か。そのために係数調整はどのように行うべきか？

主な発見

• 作用素 $ G_{\mathbf{p}} $ によって生成されるトロピカル級数上の力学系は、アバランチ領域のべき則分布を示し、密度が $ p(x) = c x^\alpha $ である。これは、シミュレーションにおいて稀な連続的べき則モデルである。
• 曲線 $ C(f) $ のトロピカルシンプレクティック面積は、$ S(\Delta) $ に属する辺 $ e $ についての和 $ \sum_{e \in S(\Delta)} m_f(e) \cdot \text{Area}(e) $ に等しい。ここで $ m_f(e) $ は $ f $ の辺 $ e $ における準次数である。
• $ P \subset \Delta^\circ $ の点配置を通る最小の準次数のトロピカル多項式で定義される曲線 $ C(f_{\Delta,P}) $ は、同様の曲線の中で最小の可能なトロピカルシンプレクティック面積を達成する。
• $ \mathbb{Q} $-多角形 $ \Delta' \subset \Delta $ と $ \Delta' $-トロピカル多項式 $ g $ が存在し、$ G_P g $ が $ G_P 0_\Delta $ から $ \varepsilon $-近傍にあり、動的におけるすべての曲線が滑らかまたはノーダルのままである。
• 係数を $ G_{\mathbf{q}_k}^\circ = \text{Add}_{i_k j_k}^{e_k - M\text{h}} $ を用いて調整することで、すべての中間のトロピカル曲線が滑らかまたはノーダルのままであり、最終的な曲線が元の動的から $ \varepsilon $-近傍に保たれることを保証できる。