[论文解读] 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 修改后的运算如何影响热带矩阵的代数性质？

主要发现

• 广义半环结构允许在保持交换性与半环公理的前提下，实现修改后的热带算术。
• 在此框架中，矩阵正则性成为可逆性的充分必要条件。
• 一个热带矩阵可逆当且仅当它是正则的，从而在该代数设定中建立了基本等价关系。
• 该框架支持在具有修改运算的半环上自然发展矩阵理论。