[論文レビュー] Total positivity, Grassmannians, and networks

Alexander Postnikov|ArXiv.org|Sep 27, 2006

Advanced Combinatorial Mathematics参考文献 30被引用数 498

ひとこと要約

本稿は、平面的有向ネットワーク、全正則性、およびグラスマン多様体の組合せ論の間の深い関係を確立する。境界測定を用いた全非負グラスマン多様体のパラメトライゼーションを導入し、これらの測定値が非負のグラスマンセルに細分されることを証明し、$\Gamma$-図、装飾付き置換、交互ストランド図などの複数の組合せ的モデルを提示する。これらには明示的な双対写像と数え上げ公式が含まれる。

ABSTRACT

The aim of this paper is to discuss a relationship between total positivity and planar directed networks. We show that the inverse boundary problem for these networks is naturally linked with the study of the totally nonnegative Grassmannian. We investigate its cell decomposition, where the cells are the totally nonnegative parts of the matroid strata. The boundary measurements of networks give parametrizations of the cells. We present several different combinatorial descriptions of the cells, study the partial order on the cells, and describe how they are glued to each other.

研究の動機と目的

• 平面的有向ネットワークと全非負グラスマン多様体との間の対応を境界測定を用いて確立すること。
• 境界測定写像の像を全非負グラスマン多様体 $Gr_{kn}^{\mathrm{tnn}}$ として特徴づけること。
• マトロイド層と非負グラスマンセルを用いた $Gr_{kn}^{\mathrm{tnn}}$ の組合せ的セル分解を提供すること。
• ゲージ不変性や辺の向きの反転を含む、境界測定値を保存するネットワーク変換を記述すること。
• 非負グラスマンセルの数を数え上げ、装飾付き置換、$\Gamma$-図、および超平面配置と関連付けること。

提案手法

• 平面的ネットワークからグラスマン多様体 $Gr_{kn}$ への境界測定写像 $\mathit{Meas}$ を定義し、$M_{ij}$ をソース $b_i$ からシンク $b_j$ へのすべてのパスにおけるエッジ重みの積の和とする。
• ループ消去ウォークとウィンディング指数の概念を導入し、有向サイクルを含むネットワークに対処することで、境界測定値が減算なしの有理関数のまま保たれることを保証する。
• $\Gamma$-図（ヤング図形に0と1を埋めたもので、$\Gamma$-性質を満たすもの）を用いて非負グラスマンセル $S_{\mathcal{M}}^{\mathrm{tnn}}$ をパラメトライズする。
• グラスマンネックレースと円周的ブルハート順序を介して、$\Gamma$-図と装飾付き置換の間の双対写像を確立する。
• ゲージ変換やスイッチング・ムーブなどの変換を適用し、同じ境界測定値を持つ異なるネットワークを関連付ける。
• プラビックネットワーク（平面的二部グラフ）を構築し、交互ストランド図を用いてセル分解をモデル化し、それらの接合構造を研究する。

実験結果

リサーチクエスチョン

• RQ1 平面的有向ネットワークからグラスマン多様体への境界測定写像の像は何か？
• RQ2 全非負グラスマン多様体はどのようにセルに分解され、そのセルをパラメトライズする組合せ的対象は何か？
• RQ3 どのネットワーク変換が境界測定値を保存し、測定値からネットワークを再構成するにはどうすればよいか？
• RQ4 $Gr_{kn}^{\mathrm{tnn}}$ における非負グラスマンセルの数は何か？また、装飾付き置換などの組合せ的不変量とどのように関係するか？
• RQ5 複数の組合せ的モデル（例：$\Gamma$-図、ルーク配置、超平面配置）が、$Gr_{kn}^{\mathrm{tnn}}$ の同じクラスの対象を数え上げるか？

主な発見

• 境界測定写像 $\mathit{Meas}$ の像は正確に全非負グラスマン多様体 $Gr_{kn}^{\mathrm{tnn}}$ であり、固定された組合せ的構造を持つネットワークの像は非負グラスマンセル $S_{\mathcal{M}}^{\mathrm{tnn}}$ である。
• $Gr_{kn}^{\mathrm{tnn}}$ における非負グラスマンセルの数は、形状 $\lambda \subseteq (n-k)^k$ の $\Gamma$-図の数に等しく、また、与えられた反超過集合を持つ装飾付き置換の数にも等しい。
• サイズ $n$ の装飾付き置換の総数は $N_n = \sum_{k=0}^n N_{kn}$ であり、$N_0 = 1$ を満たす再帰関係 $N_n = n \cdot N_{n-1} + 1$ を満たし、指数型母関数 $\sum_{n \geq 0} N_n \frac{x^n}{n!} = \frac{e^x}{1-x}$ を持つ。
• 非負セルの次元の母関数は $N_{kn}(q) = \sum_D q^{|D|}$ で与えられ、ここで和は形状 $\lambda \subseteq (n-k)^k$ の $\Gamma$-図 $D$ 全体に渡り、$|D|$ は図内の1の個数を表す。
• 三角形形状 $\lambda = (n,n-1,\dots,1)$ の $\Gamma$-図で、コーナーのボックスに1が含まれないものと、$S_n$ の置換との間に双対写像が存在し、そのような図の数は $n!$ に等しい。
• $\Omega_\lambda$ における非負セルの数は、$\lambda$ 上のテウトン配置の数、スキー形状 $\kappa_\lambda$ 上のルーク配置の数、超平面配置 $A_{w_\lambda}$ の領域の数、およびブルハート区間 $[e, w_\lambda]$ の要素数に等しく、深い組合せ的同値性を確立する。