[論文レビュー] Totally nonnegative cells and matrix Poisson varieties

K. R. Goodearl, Stéphane Launois+1 more|ArXiv.org|May 22, 2009

Advanced Algebra and Geometry参考文献 7被引用数 5

ひとこと要約

本稿は、実行列の完全非負部分空間と複素行列ポアソン多様体におけるシンプレクティック葉のトーラス軌道の間の明確な対応関係を確立する。Cauchon図とこれらの軌道上でのゼロとなる小行列式を結びつけることで、空でない完全非負部分空間が、複素設定におけるシンプレクティック葉のトーラス軌道と実完全非負行列空間の交わりであることを証明する。

ABSTRACT

We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices.

研究の動機と目的

• 実行列における空でない完全非負部分空間を定義する小行列の族を特定すること。
• 複素行列ポアソン多様体におけるシンプレクティック葉のトーラス軌道上に消える小行列を特徴付けること。
• 空でない完全非負部分空間とシンプレクティック葉のトーラス軌道の間の直接的な対応関係を確立すること。
• 適切な小行列族（空でない部分空間を定義するもの）が、まさにそのようなトーラス軌道の閉包上で消える座標小行列式の集合であることを証明すること。
• Cauchon図と回復アルゴリズムを用いて、空でない部分空間を定義する小行列の明示的な組合せ的記述を提供すること。

提案手法

• 複素行列空間 $\mathcal{M}_{m,p}(\mathbb{C})$ に標準的なポアソン構造を導入し、$\mathcal{H} = (\mathbb{C}^\times)^{m+p}$ による誘導されたトーラス作用を用いる。
• 小行列式の消える性質を逐次的変換に沿って追跡するために、微分の削除アルゴリズムを適用する。
• 実完全非負行列と複素ポアソン多様体を結ぶ $\mathcal{H}$-不変 Cauchon 行列を導入する。
• 量子行列理論からの回復アルゴリズムを用いて小行列式を再構成し、その消える性質を追跡する。
• 両方の細分とトーラス軌道をパrametrizeするため、$S_{m+p}$ の制限置換からのランク条件と組合せ的データに依存する。
• 帰納法と恒等式（例：ラプラス展開と補題 3.8）を用いて、重要な構成における小行列式の消える性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 どの小行列の族が $\mathcal{M}_{m,p}^\geq 0(\mathbb{R})$ における空でない完全非負部分空間を定義するか？
• RQ2 どの小行列式が $\mathcal{M}_{m,p}(\mathbb{C})$ 内のシンプレクティック葉のトーラス軌道の閉包上で消えるか？
• RQ3 完全非負行列の細分と、複素ポアソン多様体におけるシンプレクティック葉のトーラス軌道の細分との関係は何か？
• RQ4 Cauchon 図を用いた、適切な小行列族の正確な組合せ的特徴づけは何か？
• RQ5 回復アルゴリズムを用いて、与えられた完全非負部分空間に対して、消える小行列式を明示的に決定できるか？

主な発見

• 空でない完全非負部分空間 $\mathcal{M}_{m,p}^\geq 0(\mathbb{R})$ は、まさに $\mathcal{M}_{m,p}^\geq 0(\mathbb{R})$ と複素行列空間 $\mathcal{M}_{m,p}(\mathbb{C})$ 内のシンプレクティック葉のトーラス軌道の閉包との交わりである。
• 小行列の族が適切（＝空でない部分空間を定義する）であるための必要十分条件は、それがあるシンプレクティック葉のトーラス軌道の閉包上で消える座標小行列式の集合であることに他ならない。
• 空でない完全非負部分空間の数は、$m \times p$ Cauchon 図の数によって上から抑えられ、各部分空間は一意に $\mathcal{H}$-不変 Cauchon 行列に対応する。
• 微分の削除アルゴリズムは、任意の完全非負実行列から $\mathcal{H}$-不変 Cauchon 行列を非負に生成し、各部分空間の標準的代表元を提供する。
• トーラス軌道上での小行列式の消える性質は、$S_{m+p}$ の制限置換からのランク条件と組合せ的データによって完全に特徴づけられる。
• 回復アルゴリズムは、与えられた完全非負部分空間上で消える小行列式の集合を効果的に計算する方法を提供し、対応する小行列族の適切性を裏付ける。