[論文レビュー] Triangulations and soliton graphs for totally positive Grassmannian

Rachel Karpman, Yuji Kodama|arXiv (Cornell University)|Aug 5, 2018

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

ひとこと要約

本稿は、Gr(3,M)_{>0} のソリトングラフと M = 6, 7, 8 のポストニコフのプラビックグラフの間の全単射を確立し、Gr(2,M)_{>0} におけるソリトングラフと M-角形の三角形分割を結ぶ既知の結果を拡張する。主な貢献は、N=3 および M=6,7,8 に対して、すべての簡約プラビックグラフが実現可能なソリトングラフに対応することを証明することであり、一方 N≥9 では実現不可能なプラビックグラフが存在することを示し、対応関係における根本的な限界を明らかにする。

ABSTRACT

The KP equation is a nonlinear dispersive wave equation which provides an excellent model for resonant interactions of shallow-water waves. It is well known that regular soliton solutions of the KP equation may be constructed from points in the totally nonnegative Grassmannian Gr$(N,M)_{\geq 0}$. Kodama and Williams studied the asymptotic patterns (tropical limit) of KP solitons, called soliton graphs, and showed that they correspond to Postnikov's Le-diagrams. In this paper, we consider soliton graphs for the KP hierarchy, a family of commuting flows which are compatible with the KP equation. For the positive Grassmannian Gr$(2,M)_{>0}$, Kodama and Williams showed that soliton graphs are in bijection with triangulations of the $M$-gon. We extend this result to Gr$(N,M)_{>0}$ when $N=3$ and $M=6,7$ and $8$. In each case, we show that soliton graphs are in bijection with Postnikov's plabic graphs, which generalize Le-diagrams.

研究の動機と目的

• Gr(2,M)_{>0} におけるソリトングラフと M-角形の三角形分割の間の既知の対応関係を Gr(3,M)_{>0} に拡張すること。
• M=6,7,8 に対して、Gr(3,M)_{>0} のソリトングラフとポストニコフのプラビックグラフとの間に全単射が存在するかを特定すること。
• KP階層の文脈において、プラビックグラフがソリトングラフとして実現可能かどうかを調査すること。
• プラビックグラフがソリトングラフとして実現できなくなる閾値、特に N≥9 の場合を特定すること。
• 正のグラスマン多様体におけるソリトングラフとプラビックグラフの間の対応関係の背後にある組合せ論的および幾何的制約を明確化すること。

提案手法

• Gr(N,M)_{>0} の完全非負行列から、ワロンスキー行列式を用いて定義される τ 関数を用いて KP ソリトン解を構成する。
• トロピカル極限を適用して、KP 解から漸近的パターン（ソリトングラフ）を抽出し、これがレ・図形に相当し、後にプラビックグラフに帰着されることを示す。
• ポストニコフのプラビックグラフ理論およびそのトランプ置換を用いて、Gr(N,M)_{>0} に関連する簡約グラフを特徴付ける。
• ソリトングラフとソリトン分割の双対写像を用いて、幾何的配置と組合せ的データを結びつける。
• トリップ置換 π(i) = i−N mod M を分析して、プラビックグラフが正のグラスマン多様体に対応することを検証する。
• 平面における N 個の擬似直線の非伸縮可能な配置を用いた反例を構成し、N≥9 での非実現性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Gr(3,M)_{>0} のソリトングラフと M=6,7,8 のプラビックグラフとの間に全単射が存在するか？
• RQ2 Gr(3,M)_{>0} のすべての簡約プラビックグラフが M=6,7,8 に対してソリトングラフとして実現可能か？
• RQ3 Gr(N,2N)_{>0} において、ソリトングラフとして実現不可能なプラビックグラフが存在する最小の N は何か？
• RQ4 Gr(3,M)_{>0} の KP ソリトンの漸近的パターンは、正確にプラビックグラフの組合せ論に対応するか？
• RQ5 非伸縮可能な擬似直線配置を用いて、正のグラスマン多様体内に実現不可能なプラビックグラフを構成できるか？

主な発見

• Gr(3,6)_{>0} において、ソリトングラフはポストニコフのプラビックグラフと全単射である。これは、Gr(2,M)_{>0} における三角形分割との対応関係を一般化する。
• 同様の全単射は Gr(3,7)_{>0} および Gr(3,8)_{>0} に対しても成り立ち、この場合、ソリトングラフが簡約プラビックグラフに対応することが確認された。
• N≥9 では、プラビックグラフがソリトングラフとして実現できないことが、Gr(9,18)_{>0} における反例によって示された。
• 平面における N 個のアフィン擬似直線の非伸縮可能な配置から得られるプラビックグラフは、縮約同値性の意味でさえも、ソリトングラフとして実現不可能である。
• この証明は、そのようなプラビックグラフが、ソリトングラフの線分に対応するように擬似直線配置を伸縮させる必要があるが、構成上それが不可能であることを示している。
• 既知の最小の非実現可能プラビックグラフは Gr(9,18)_{>0} に対応するが、著者らはより小さな例が存在する可能性を仮説として提示している。