[論文レビュー] On tropical and Kapranov ranks of tropical matrices

Elena Rubei|arXiv (Cornell University)|Dec 18, 2007

graph theory and CDMA systems参考文献 4被引用数 4

ひとこと要約

本稿は、任意の5×5トロピカル行列について、トロピカルランクが3であるとき、カプラノフランクも3に等しいことを証明することで、長年の未解決問題を解決した。これにより、トロピカルランクが3である5×5行列において、トロピカルランクとカプラノフランクが異なることはないことが示された。証明は、プアゾー級数上でのリフト技術を用い、線形結合による行列の行の展開を、プアゾー級数の順序条件を活用して、ランクを保持するように構成する。

ABSTRACT

We prove that, for any g greater or equal than 3, a matrix g x 5 with tropical rank 3 has Kapranov rank 3.

研究の動機と目的

• デヴェリン、サントス、シュトゥルムフェルズが提起した予想、すなわち5×5行列がトロピカルランク3かつカプラノフランク>3をもつ可能性があるかどうかを解明すること。
• すべてのg×5行列について、トロピカルランクが3であるとき、カプラノフランクも3に等しいことを確立し、既知のランク不等式におけるギャップを埋めること。
• 小さな行列次元におけるトロピカルランク、カプラノフランク、バーヴィノクランクの関係をより深く理解すること。
• プアゾー級数上でのリフトを用いて、順序条件を満たすようにランクを保持する行列の構成的手法を提供すること。
• キムとルーシュの結果（一般にはカプラノフランクが有界でない）にもかかわらず、5×5の場合にカプラノフランクがトロピカルランクによって有界であることを示すこと。

提案手法

• カプラノフランク≤rと、ord(F) = M かつ rank(F) ≤ r を満たすプアゾー級数上の行列Fの存在が同値であること（命題7）を用いる。
• プアゾー級数上での順序に基づく線形代数を適用し、所定の順序を持つリフトの行を構成することで、トロピカル和の条件を保持する。
• 制御された順序を持つリフトの線形結合を用いた行による行列の再帰的展開に基づく議論を採用する。
• 順序比較の補題（註10–14）を適用し、線形結合の順序が制約を受けるプアゾー級数における方程式系を解く。
• 「展開可能性（developability）」の概念を用いる——特定の順序制御により、リフト内での他の行の線形結合として行を表現可能であることを保証し、ランクを維持する。
• 行および列の置換（u.s.r.c.）により一般ケースを標準形に還元し、ゼロと正の要素の特定の配置を分析する。

実験結果

リサーチクエスチョン

• RQ1 5×5のトロピカル行列がトロピカルランク3かつカプラノフランクが厳密に3より大きいことはあり得るか？
• RQ2 5×5行列において、カプラノフランクがトロピカルランクを超えることを妨げる構造的障害は存在するか？
• RQ3 プアゾー級数上でのリフト技術を用いて、トロピカルランク3のg×5行列のカプラノフランクが3に保証できるか？
• RQ4 トロピカル行列の行が、リフト内での他の行の線形結合によってどのように展開できるか？
• RQ5 プアゾー級数における順序条件が、線形結合の振る舞いをどのように制御し、所望のトロピカル行和を達成するか？

主な発見

• 任意のg×5行列Mについて、トロピカルランクが3であれば、カプラノフランクも3に等しい。これは、この場合にカプラノフランクがトロピカルランクを超えないことを証明する。
• デヴェリン、サントス、シュトゥルムフェルズが提起した、トロピカルランク3の5×5行列についてカプラノフランク>3である可能性に関する未解決問題が解決された。
• 証明により、すべての5×5行列について、トロピカルランクが3であれば、プアゾー級数上のランク3の行列へのリフトが存在することが確認された。これにより、カプラノフランクが3に等しいことが裏付けられた。
• トロピカルランクが3であれば、行列の要素がすべて≥0、ゼロ行、1列あたり複数のゼロを含んでも、結果は成り立つ。
• 制御された順序を持つリフトの線形結合による行の展開方法は、ランクを維持し、5×5の場合のランクの不一致を解消するのに十分である。
• キムとルーシュの結果（一般にはカプラノフランクが有界でない）にもかかわらず、5×5行列ではカプラノフランクがトロピカルランクによって有界であることが示された。