[論文レビュー] The Tropical Rank of a Tropical Matrix

Zur Izhakian|ArXiv.org|Apr 9, 2006

Polynomial and algebraic computation参考文献 16被引用数 11

ひとこと要約

この論文は、拡張されたトロピカル半体上で、厳密なトロピカル線形従属の概念を導入し、古典的線形代数の概念と整合する明確な行列ランクを可能にする。行列のトロピカルランクが、その最大非特異的小行列式のサイズに等しいことが確立され、n × n 行列がトロピカルに非特異的（可逆）であるための必要十分条件がランクが n であることであることが証明され、トロピカル線形代数における基礎的な曖昧さが解消される。

ABSTRACT

In this paper we further develop the theory of matrices over the extended tropical semiring. Introducing a notion of tropical linear dependence allows for a natural definition of matrix rank in a sense that coincides with the notions of tropical regularity and invertibility.

研究の動機と目的

• トロピカル線形代数における一貫性の欠如した線形従属の概念、特に標準的な max-plus 半体における問題を解決すること。
• 古典的線形代数に類似した強固な行列ランク概念を、拡張されたトロピカル半体上で定義すること。
• 行列ランク、可逆性、最大非特異的小行列式のサイズとの関係を確立すること。
• ランク-ゼロ定理や一意解の存在といった古典的結果を支える、トロピカル線形代数の基盤を提供すること。

提案手法

• より豊かな代数的構造を可能にするために、実部とゴースト部を有する $ \mathbb{T} = \overline{\mathbb{R}} \cup \overline{\mathbb{U}} $ という拡張トロピカル半体を導入する。
• 係数が $ \overline{\mathbb{R}} $ に属する線形結合がゴーストベクトルを生成する条件によって、トロピカル線形従属を定義する。
• 自然な全準同態 $ \pi: \mathbb{T} \to \overline{\mathbb{R}} $ を用いて、拡張構造と標準的トロピカル代数を関連付ける。
• 従属の概念を用いて、トロピカルランクを、トロピカルに独立な行または列の最大数として定義する。
• 拡張半体上で定義された小行列式を用いて、行列のランクがその最大非特異的小行列式のサイズに等しいことを確立する。
• n × n 行列がトロピカルに非特異的（擬似可逆）であるための必要十分条件がランクが n であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的な max-plus 半体がその構造を欠いている中で、トロピカル線形代数における一貫性のある線形従属の概念をどのように定義できるか？
• RQ2 拡張トロピカル半体上での行列ランクの正しい類似物は何か？ そしてそれは可逆性や小行列式とどのように関係するか？
• RQ3 独立性に基づいて定義されたトロピカルランクは、最大非特異的小行列式のサイズと一致するか？
• RQ4 標準的な max-plus 環と比較して、拡張半体フレームワークはランクと特異性に関する曖昧さをどのように解消するか？

主な発見

• 行列のトロピカルランクは、その最大非特異的小行列式のサイズに等しく、ランクの組合せ的特徴づけを提供する。
• n × n 行列がトロピカルに非特異的であるための必要十分条件は、トロピカルランクが n であることである。これは擬似可逆性と同等であることを示している。
• 行列のランクは、その列のうち最大独立部分集合のサイズに等しい。これは古典的ランクの性質を一般化している。
• 実行列（$ \overline{\mathbb{R}} $ に属する成分）に対しては、提案されたランクは Develin, Santos, および Sturmfels が定義したトロピカルランクと一致する。これにより、先行研究との整合性が裏付けられる。
• トロピカルランクの計算は、max-plus設定における関連ランク計算の NP 完全性により、NP 完全であることが示された。
• n 個の同次トロピカル線形方程式系が純粋な実数解を持つための必要十分条件は、係数行列が特異であることである。これは可解性と行列ランクの関係を結ぶ。