[논문 리뷰] Nonnegative rank depends on the field II

Yaroslav Shitov|arXiv (Cornell University)|2016. 05. 23.

graph theory and CDMA systems참고 문헌 13인용 수 3

한 줄 요약

이 논문은 비음수 행렬 분해에서 오랫동안 남아있던 문제를 해결한다. 21×21 비음수 정수 행렬을 구성함으로써, 이 행렬은 실수 위에서 비음수 질량 19 분해를 가지지만 유리수 위에서는 그렇지 않음을 보여준다. 증명은 무리수 매개변수(예: √2, 1+√0.5)를 가진 구조적 행렬 블록을 사용하여, 최소 유리수 분해에서의 무리수 성질을 강제함으로써, 비음수 질량이 기저 체에 따라 달라질 수 있음을 입증한다. 이는 1993년 코헨과 로스블룸이 제기한 추측을 확인한다.

ABSTRACT

We provide an example of a $21 imes 21$ matrix with nonnegative integer entries which can be written as a sum of $19$ nonnegative rank-one matrices but not as a sum of $19$ rational nonnegative rank-one matrices. This gives a solution for a problem posed by Cohen and Rothblum in 1993.

연구 동기 및 목표

• 코헨과 로스블룸(1993)이 제기한 문제 1을 해결한다: 유리수 행렬에 대해 비음수 질량이 ℚ와 ℝ에서 다를 수 있는가?
• 비음수 질량이 ℝ에서 ℚ와 다를 수 있는 유리수 행렬의 구체적 예를 구성한다.
• 모든 행렬 원소가 유리 정수임에도 불구하고 최소 비음수 질량 분해에서 무리수 항목이 필요로 할 수 있음을 보여준다.
• 비음수 질량이 체 확장에 대해 불변이 아니라는 명확한 반례를 제공한다. 특히 ℚ에서 ℝ로의 확장에 대해.
• 무리수의 역할을 비음수 행렬 분해에서 명확히 하며, 계산 복잡도와 다면체 확장 표현에 대한 함의를 제시한다.

제안 방법

• α = 1+√0.5일 때, 𝒞(α,α,α,α,√2), 𝒷(2−α,2−α), 𝒷(2−α), 𝒷(2−√2) 등의 구조적 부분행렬로 구성된 21×21 행렬 𝒜를 구성한다.
• 부분행렬의 알려진 질량 경계를 사용한다: 주장 5는 4×4 블록 V가 비음수 질량 4를 가짐을 보여주며, 주장 7은 𝒞에서 질량 3가 되는 정확한 조건을 제시한다.
• 무리수 매개변수를 사용하여 19개의 질량 1 행렬의 합으로 분해함으로써, ℝ 위에서 𝒜의 비음수 질량이 ≤19임을 증명한다.
• 19개의 유리수 질량 1 행렬로 이루어진 유리수 분해를 가정하고, 빨간색, 파란색, 노란색, magenta, 색이 칠해지지 않은 성분으로 나누어 진수를 기반으로 한 분해를 통해 모순을 도출한다.
• 주장 4를 적용하여, 𝒷 블록의 매개변수가 다를 경우 비음수 질량가 최소 5 이상이 되며, 이는 어떤 유리수 분해에서도 무리수 성질을 강제함을 보여준다.
• 주장 2를 사용하여, 색이 칠해지지 않은 부분 U의 어떤 유리수 분해도 비음수 질량가 최대 3 이하여야 하며, 이는 빨간색 부분행렬에서 요구되는 무리수 성질과 결합될 경우 모순을 일으킴을 보여준다.

실험 결과

연구 질문

• RQ1 비음수 행렬 A에 대해 Rank₊(A,ℚ) ≠ Rank₊(A)인 경우가 존재하는가?
• RQ2 유리수 행렬에 대해 실수 위에서의 비음수 질량이 유리수 위에서의 질량보다 엄격히 작을 수 있는가?
• RQ3 유리수 행렬의 최소 비음수 질량 분해는 반드시 유리수 성분을 가져야 하는가?
• RQ4 무리수 성분이 최소 비음수 분해에서 필수적인 구조적 성질은 무엇인가?
• RQ5 체 확장은 유리수 행렬의 비음수 질량에 어떤 영향을 미치는가?

주요 결과

• 21×21 행렬 𝒜는 무리수 매개변수 α = 1+√0.5와 d = √2를 사용하여 실수 위에서 비음수 질량 19 분해를 구성함으로써 ℝ 위에서 비음수 질량 19를 가짐을 보였다.
• 동일한 행렬 𝒜는 유리수 위에서 비음수 질량가 최소 20 이상임을, 19개의 유리수 질량 1 행렬로 이루어진 유리수 분해를 가정하고 모순을 도출함으로써 증명하였다.
• 행렬 블록에 포함된 무리수 매개변수(예: √2, 1+√0.5)는 ℝ 위에서 질량 19를 달성하는 데 필수적이며, 이들의 유리수 분해에서의 부재는 구조적 모순을 초래한다.
• 분해에서 빨간색 부분행렬의 (5,4)와 (5,5) 위치의 원소가 같아야 하며, 이는 유리수 매개변수로는 달성할 수 없고 무리수 매개변수에서만 가능하여 유리수 성질을 위반한다.
• 어떤 유리수 분해에서 색이 칠해지지 않은 부분의 비음수 질량가 최대 3 이하여야 하며, 이는 빨간색 부분행렬에서 요구되는 무리수 성질과 결합될 경우 모순을 일으킨다.
• 결과적으로 비음수 질량이 체 확장에 대해 불변이 아니며, 코헨과 로스블룸의 1993년 문제에 대해 부정적인 답변을 제시함을 확인하였다.