[论文解读] Example of a 6-by-6 Matrix with Different Tropical and Kapranov Ranks

Yaroslav Shitov|arXiv (Cornell University)|Dec 26, 2010

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

一句话总结

本文构造了首个已知的6×6热带矩阵，其热带秩为4，而卡普兰诺夫秩为5，证明了在6×6矩阵中，这两种秩概念可以不同。证明通过在普瓦伊克斯级数域上的显式代数提升技术完成，表明该矩阵的任意提升矩阵的秩均不可能小于5，而4×4子矩阵的热带非奇异性质则确认了其热带秩恰好为4。

ABSTRACT

We provide an example of a 6-by-6 matrix with tropical rank equal to 4 and Kapranov rank equal to 5. This answers a question asked by M. Chan, A. Jensen, and E. Rubei.

研究动机与目标

• 解决陈、詹森和鲁贝伊提出的一个开放问题，即是否存在一个6×6矩阵，其热带秩与卡普兰诺夫秩不同。
• 提供一个反例以反驳猜想1.8，该猜想认为当r ≤ 2或r ≥ min{d,n}−2时，(r+1)×(r+1)子式构成一个热带基。
• 证明热带秩与卡普兰诺夫秩之间的差异并非源于拟阵结构，因为该矩阵的底层拟阵在ℂ上是可表示的。
• 表明具有不同热带秩与卡普兰诺夫秩的矩阵的最小尺寸为6×6，因为已知所有≤5×5的矩阵其两种秩均相等。

提出的方法

• 构造一个特定的6×6矩阵A，其元素属于热带半环（R, min, +），并采用0、1、2和4的结构化排列模式。
• 通过验证所有5×5子矩阵均为热带奇异（即永久式中的最小值至少在两个排列中达到），而某个特定的4×4子矩阵为热带非奇异（即最小值在唯一一个排列中达到），从而证明其热带秩为4。
• 将矩阵A提升至普瓦伊克斯级数域K上的矩阵M₀，其中各元素为形式洛朗级数，其次数与热带元素完全匹配。
• 通过赋值性质分析任意提升H中关键子式（H₂₅和H₆₁）的次数：deg(a + b) ≥ min{deg(a), deg(b)} 且 deg(ab) = deg(a) + deg(b)。
• 证明无论2×2子式∆ = h₃₃h₄₄ − h₃₄h₄₃的赋值δ为何值，H₂₅或H₆₁中至少有一个非零，从而说明任意提升矩阵的秩至少为5。
• 最终得出结论：卡普兰诺夫秩恰好为5，因为特定提升矩阵M₀的秩≤5，且任何提升矩阵的秩均不可能小于5。

实验结果

研究问题

• RQ1 是否存在一个6×6矩阵，其热带秩与卡普兰诺夫秩不同？
• RQ2 对于d,n = 6且r ≥ 3的情况，d×n矩阵的(r+1)×(r+1)子式是否构成一个热带基？
• RQ3 热带秩与卡普兰诺夫秩之间的差异是否可能源于不可表示的拟阵？
• RQ4 热带秩与卡普兰诺夫秩可以不同的最小矩阵尺寸是多少？

主要发现

• 本文构造了一个6×6矩阵A，其热带秩rkt(A) = 4，卡普兰诺夫秩rkK(A) = 5，证明了在6×6矩阵中，这两种秩可以不同。
• 该例子表明，6×6矩阵的5×5子式不能构成一个热带基，从而否定了陈、詹森和鲁贝伊提出的猜想1.8。
• 该秩差异并非源于拟阵理论性质，因为矩阵A的底层6元素拟阵在ℂ上是可表示的。
• 矩阵A在尺寸上是最小的：根据定理1.6，任何行数或列数少于6的矩阵均无法表现出热带秩与卡普兰诺夫秩的差异。
• 证明表明，所有A的提升矩阵H的秩至少为5，因为无论何种提升，H₂₅或H₆₁中至少有一个非零。
• A的卡普兰诺夫秩恰好为5，因为特定提升矩阵M₀的秩≤5，且任何提升矩阵的秩均不可能更低。