[論文レビュー] Hard Submatrices for Non-Negative Rank and Communication Complexity

Hrubeš, Pavel|arXiv (Cornell University)|Jan 1, 2024

graph theory and CDMA systems被引用数 1

ひとこと要約

本稿は、おそらくの複雑性仮定の下で、マトロイドポリトープやTSPポリトープを含む特定の0/1ポリトープが、指数的多くの面を必要とする拡張形式を必要とすることを証明しており、コンact線形計画法の定式化を排除する。著者らは、線形部分系に新しい離散化および体積最大化技術を用いて、集合 X ⊆ {0,1}^n から多項式符号化系への単射写像を構築し、二重指数的多くのこのような系が必要であることを示している。これにより、ある0/1ポリトープの拡張複雑度が指数的であることが示される。

ABSTRACT

Given a non-negative real matrix M of non-negative rank at least r, can we witness this fact by a small submatrix of M? While Moitra (SIAM J. Comput. 2013) proved that this cannot be achieved exactly, we show that such a witnessing is possible approximately: an m×n matrix of non-negative rank r always contains a submatrix with at most r³ rows and columns with non-negative rank at least Ω(r/(log n log m)). A similar result is proved for the 1-partition number of a Boolean matrix and, consequently, also for its two-player deterministic communication complexity. Tightness of the latter estimate is closely related to the log-rank conjecture of Lovász and Saks.

研究の動機と目的

• 特定の0/1ポリトープがコンパクトな拡張形式を持たないかどうかという未解決問題を解明すること。
• TSPポリトープやマトロイドポリトープが、任意の実数係数を許容しても、多項式サイズの拡張形式を持たないことを示すこと。
• 線形計画法の定式化における無理数係数の問題を克服するため、妥当性と符号化境界を保つ離散化手法を導入すること。
• 拡張複雑度と回路複雑度の間の関係を確立し、NP ∉ P/poly ならばTSPにコンパクトな定式化が存在しないことを示すこと。
• コンパクトな定式化を持つ言語のクラスCFがP/polyに含まれることを示し、複雑性仮定のもとで、P/polyよりも真に小さいことの証明を行う。

提案手法

• 各 X ⊆ {0,1}^n に対して、多項式符号化長の拡張形式 (A̅, U̅, b̅) への単射写像を構築する。
• 各 X に対して、元の拡張形式の最大体積線形部分系を選択し、行列 U の係数を離散化して符号化長を制限する。
• 丸め手順を用いて、x ∈ conv(X) であることと、A̅x + U̅y ≈ b̅ を満たす短い証明 y が存在することとの同値性を保証する。
• 写像の単射性を活用して、このような系の数が二重指数的でなければならないことを示し、一部のポリトープが指数的多くの面を必要とするということを示す。
• 計数論的議論をすべてのポリトープに対して直接行う代わりに、離散化された系に対して行い、無理数係数の問題を回避する。
• NP ∉ P/poly ならば、NP困難な最適化問題を拡張形式の妥当性に還元することで、TSP がCFに属さないことが示される。

実験結果

リサーチクエスチョン

• RQ1 任意の実数係数を許容しても、コンパクトな拡張形式を持たない0/1ポリトープが存在するか？
• RQ2 対称性の仮定なしに、TSPポリトープの拡張複雑度が超多項式的であることを証明できるか？
• RQ3 拡張形式における係数の無理数性を回避することで、計算複雑性理論における計数論的議論を適用できるか？
• RQ4 複雑性理論的仮定を用いて、コンパクトな定式化を持つ言語のクラスCFをP/polyから厳密に分離できるか？
• RQ5 TSPポリトープにコンパクトな定式化が存在するならば、NP ⊆ P/poly が成り立つのか？

主な発見

• 任意の n に対して、X ⊆ {0,1}^n であって、conv(X) の拡張複雑度が少なくとも 2^{n/2·(1−o(1))} であるようなものが存在する。これは、任意の拡張形式が指数的多くの面を必要とするということを意味する。
• 同じ指数的下界は、conv(X) がマトロイドポリトープに制限されても成り立つ。
• NP ∉ P/poly の仮定のもとで、TSPポリトープは、実数係数を許容しても、コンパクトな拡張形式を持たない。
• コンパクトな定式化を持つ言語のクラスCFはP/polyに含まれており、NP ∉ P/poly の下でCFはP/polyの真の部分集合である。
• 3次元マッチング問題（3DM）はAC0に属するが、NP ⊆ P/poly でない限りCFに属さない。これは、同じ仮定のもとでAC0がCFに含まれないことを示している。
• 本稿ではCF ⊆ P/poly が確立され、NP ∉ P/poly の下でCFはP/polyよりも真に小さいことが示され、コンパクトな定式化の複雑性理論的分離が得られた。