[論文レビュー] Tropical Arithmetic & Algebra of Tropical Matrices

Zur Izhakian|arXiv (Cornell University)|May 22, 2005

Polynomial and algebraic computation参考文献 25被引用数 9

ひとこと要約

本稿では、標準的なトロピカル算術を再定義した和および最大演算子を用いて、一般化された可換半体を導入する。この拡張された枠組み内において、トロピカル行列が正則であることと、逆行列をもつこととは同値であることが示され、新たな代数的特徴付けが得られる。

ABSTRACT

This paper introduces a new structure of commutative semiring, generalizing the tropical semiring, and having an arithmetic that modifies the standard tropical operations, i.e. summation and maximum. Although our framework is combinatorial, notions of regularity and invertibility arise naturally for matrices over this semiring; we show that a tropical matrix is invertible if and only if it is regular.

研究の動機と目的

• 標準的なトロピカル半体を一般化し、和および最大演算子を変更した新しい可換半体を導入すること。
• この一般化された半体上の行列の代数的性質、特に正則性と逆行列性を調査すること。
• トロピカル行列の文脈において、行列の正則性と逆行列性の根本的な関係を確立すること。
• 逆行列性と正則性が同値となる組合せ的枠組みを提供すること。

提案手法

• 本稿は、標準的なトロピカル演算子（和および最大）を変更することで、標準的なトロピカル半体を一般化する新しい可換半体構造を構築する。
• 修正された算術規則に従って、この一般化された半体上で行列演算（和および積）を定義する。
• 一般化された逆行列の存在に基づき、行列の正則性の概念を逆行列性の必要条件として導入する。
• 組合せ論的議論と半体論的性質を用いて、新しい演算下での行列の振る舞いを分析する。
• この枠組みにおいて、行列が正則であることと、逆行列をもつことは同値であることを、半体の構造的性質と行列代数を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 標準的なトロピカル半体は、代数的構造を保ちつつ、算術演算を修正できるようにどのように一般化できるか？
• RQ2 一般化された半体上の行列が逆行列をもつための条件は何か？
• RQ3 この新しい枠組みにおいて、行列の正則性と逆行列性に構造的同値が存在するか？
• RQ4 修正された演算は、トロピカル行列の代数的性質にどのように影響を与えるか？

主な発見

• 一般化された半体構造は、可換性と半体公理を保ちつつ、修正されたトロピカル算術を可能にする。
• この枠組みにおいて、行列の正則性は逆行列性の必要十分条件となる。
• トロピカル行列は、正則であることと同値に逆行列をもつことが示され、この代数的設定において根本的な同値性が確立される。
• この枠組みは、修正された演算を有する半体上での行列理論の自然な展開を支援する。