[论文解读] The Tropical Rank of a Tropical Matrix

Zur Izhakian|ArXiv.org|Apr 9, 2006

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

一句话总结

本文引入了在扩展热带半环上热带线性相关的严格概念，从而定义出与经典线性代数概念一致的矩阵秩。研究证明，矩阵的热带秩等于其最大非奇异子式的大小，并证明了 $ n \times 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.

研究动机与目标

• 为解决热带线性代数中缺乏一致线性相关性概念的问题，特别是在标准的极大-加法半环中。
• 在扩展热带半环中定义一个稳健的矩阵秩概念，使其与经典线性代数相呼应。
• 建立矩阵秩、可逆性与最大非奇异子式大小之间的联系。
• 为热带线性代数提供一个基础，以支持经典结果（如秩-零度定理和解的唯一性）。

提出的方法

• 引入扩展热带半环 $ \mathbb{T} = \overline{\mathbb{R}} \cup \overline{\mathbb{U}} $，包含实部与幽灵部，以支持更丰富的代数结构。
• 通过系数属于 $ \overline{\mathbb{R}} $ 的线性组合结果为幽灵向量的条件，定义热带线性相关性。
• 利用自然满同态 $ \pi: \mathbb{T} \to \overline{\mathbb{R}} $ 将扩展结构与标准热带代数联系起来。
• 将相关性概念应用于定义热带秩为最多独立行或列的数量。
• 通过在扩展半环上定义的子式，证明矩阵的秩等于其最大非奇异子式的大小。
• 证明 $ n \times n $ 矩阵当且仅当其秩为 $ n $ 时为热带非奇异（伪可逆）矩阵。

实验结果

研究问题

• RQ1 在标准极大-加法半环缺乏此类结构的热带线性代数中，如何定义一致的线性相关性概念？
• RQ2 在扩展热带半环中，矩阵秩的正确类比是什么？它与可逆性及子式有何关系？
• RQ3 通过独立性定义的热带秩是否与最大非奇异子式的大小一致？
• RQ4 与标准极大-加法设置相比，扩展半环框架如何解决秩与非奇异性方面的模糊性？

主要发现

• 矩阵的热带秩等于其最大非奇异子式的大小，为秩提供了组合表征。
• $ n \times n $ 矩阵为热带非奇异当且仅当其热带秩为 $ n $，确立了其与伪可逆性的等价性。
• 矩阵的秩等于其列向量中最大独立子集的大小，推广了经典秩的性质。
• 对于实矩阵（元素属于 $ \overline{\mathbb{R}} $），所提出的秩与 Develin、Santos 和 Sturmfels 定义的热带秩一致，验证了与先前工作的兼容性。
• 热带秩的计算是 NP-完全的，如极大-加法设置中相关秩计算的 NP-完全性所表明的。
• 一个包含 $ n $ 个齐次热带线性方程的方程组存在纯实解，当且仅当其系数矩阵为奇异矩阵，将可解性与矩阵秩联系起来。