[論文レビュー] Nonnegative rank depends on the field II

Yaroslav Shitov|arXiv (Cornell University)|May 23, 2016

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行列による有理数分解を仮定し、赤、青、黄、マゼンタ、および未彩色の成分に分割する色分けによる分解を用いて矛盾を導く。
• 命題4を用いて、𝒷ブロックのパラメータが互いに異なる場合、その非負ランクは少なくとも5以上であることを示し、これにより任意の有理数分解において無理数性が強制される。
• 命題2を用いて、未彩色部分Uの任意の有理数分解は非負ランク3以下でなければならないが、赤部分行列に必要な無理数成分と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 有理数行列A に対して、Rank₊(A,ℚ) ≠ Rank₊(A) となるものが存在するか？
• RQ2 有理数行列について、ℝ上での非負ランクがℚ上での非負ランクより厳密に小さいことはあり得るか？
• RQ3 有理数行列の最小非負ランク分解は、必ずしも有理数成分からなるわけではないか？
• RQ4 どのような構造的性質が、最小非負ランク分解において無理数成分を強制するか？
• RQ5 体の拡大が、有理数行列の非負ランクにどのように影響するか？

主な発見

• 21×21行列𝒜 は、無理数パラメータ α = 1+√0.5 および d = √2 を用いた分解により、ℝ上では非負ランク19であることが示された。
• 同じ行列𝒜 はℚ上では非負ランクが20以上であることが、19個の有理数ランク1行列による有理数分解を仮定して矛盾を導くことで証明された。
• 行列ブロックに含まれる無理数パラメータ（例：√2、1+√0.5）は、ℝ上でのランク19を達成するために不可欠であり、有理数分解ではこれらの欠如が構造的矛盾を引き起こす。
• 分解における赤部分行列では、位置(5,4)と(5,5)の要素が等しくならなければならないが、これは無理数パラメータがなければ達成できず、有理数性を破る。
• 任意の有理数分解における未彩色部分の非負ランクは3以下でなければならないが、赤部分行列に必要な構造と矛盾する。
• この結果により、非負ランクが体の拡大に対して不変でないことが確認され、コーエンとロスブルームの1993年問題に対する否定的解答が得られた。