[논문 리뷰] Example of a 6-by-6 Matrix with Different Tropical and Kapranov Ranks

Yaroslav Shitov|arXiv (Cornell University)|2010. 12. 26.

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 행렬이 트로픽 랭크와 카프라노프 랭크가 다를 수 있는지 여부에 대한 열린 문제를 해결하기 위해.
• r ≤ 2 또는 r ≥ min{d,n}−2일 때 (r+1)×(r+1) 소수들이 트로픽 기저를 이룬다는 추측 1.8에 대한 구체적 반례를 제시하기 위해.
• 트로픽 랭크와 카프라노프 랭크의 불일치가 매트로이드 성질이 아니라는 것을 보여주기 위해. 이는 행렬의 기저 매트로이드가 ℂ 위에서 표현 가능하기 때문이다.
• 트로픽 랭크와 카프라노프 랭크가 다를 수 있는 최소 행렬 크기가 6×6임을 보여주기 위해. 이는 5×5 이하의 행렬은 항상 동일한 랭크를 가진다는 것이 알려져 있기 때문이다.

제안 방법

• 0, 1, 2, 4의 구조적 패턴을 사용하여 트로픽 반군 (R, min, +)에 값을 가진 6×6 행렬 A를 구성한다.
• 모든 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₆₁ 중 적어도 하나는 0이 아니며, 이는 어떤 리프팅의 랭크도 5 미만이 될 수 없음을 의미한다.
• 결론적으로, 카프라노프 랭크는 정확히 5임을 알 수 있다. 특정 리프팅 M₀의 랭크는 ≤5이며, 어떤 리프팅도 랭크를 5 미만으로 만들 수 없기 때문이다.

실험 결과

연구 질문

• RQ1 트로픽 랭크와 카프라노프 랭크가 다른 6×6 행렬이 존재하는가?
• RQ2 d,n = 6일 때 r ≥ 3인 d×n 행렬의 (r+1)×(r+1) 소수가 트로픽 기저를 이룬다 할 수 있는가?
• RQ3 트로픽 랭크와 카프라노프 랭크의 불일치가 비표현 가능한 매트로이드에서 기인할 수 있는가?
• RQ4 트로픽 랭크와 카프라노프 랭크가 다를 수 있는 최소 행렬 크기는 얼마인가?

주요 결과

• 논문은 트로픽 랭크 rkt(A) = 4이고 카프라노프 랭크 rkK(A) = 5인 6×6 행렬 A를 구성함으로써, 6×6 행렬에서 이러한 랭크가 다를 수 있음을 증명한다.
• 이 예는 6×6 행렬의 5×5 소수가 트로픽 기저를 이루지 않음을 보여주며, 체인, 점신, 루베이의 추측 1.8을 반박한다.
• 랭크 불일치가 매트로이드 이론적 성질이 아니라는 점을 보여주며, A의 기저 매트로이드가 ℂ 위에서 표현 가능하다는 점에서 이를 뒷받침한다.
• 행렬 A는 크기에서 최소이다. 이는 6행 또는 6열 이하의 행렬에서는 트로픽 랭크와 카프라노프 랭크가 항상 동일하므로, 이는 정리 1.6에 의해 알려져 있다.
• 모든 리프팅 H에 대해 H₂₅ 또는 H₆₁ 중 적어도 하나가 0이 아니라는 것을 보여줌으로써, A의 모든 리프팅의 랭크가 최소 5임을 증명한다.
• 카프라노프 랭크가 정확히 5임을 알 수 있다. 특정 리프팅 M₀의 랭크는 ≤5이며, 어떤 리프팅도 더 낮은 랭크를 가질 수 없기 때문이다.