[논문 리뷰] Hard Submatrices for Non-Negative Rank and Communication Complexity

Hrubeš, Pavel|arXiv (Cornell University)|2024. 01. 01.

graph theory and CDMA systems인용 수 1

한 줄 요약

이 논문은 특정 0/1 다면체, 특히 매트로이드 다면체와 합리적인 복잡도 가정 하에 TSP 다면체가 지수적으로 많은 면을 요구하는 확장형식을 가져야 하며, 이는 압축된 선형계획형식이 불가능하다는 것을 증명한다. 저자들은 선형 부분계수계에 대해 새로운 이산화 및 체적 최대화 기법을 사용하여 {0,1}^n의 부분집합 X에서 다항식 인코딩 체계로의 단사 사상 구축을 통해, 이중지수적으로 많은 이러한 체계가 필요하다는 것을 보이며, 이는 일부 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보다 엄격히 작다는 것을 보여주기 위해.

제안 방법

• {0,1}^n의 부분집합 X에서 다항식 인코딩 길이를 갖는 확장형식 (A̅, U̅, b̅)으로의 단사 사상 구축하기.
• 각 X에 대해 원래 확장형식의 최대 체적 선형 부분계수계를 선택하고, 행렬 U의 계수를 이산화하여 인코딩 길이를 제한하기.
• x ∈ conv(X)일 때, A̅x + U̅y ≈ b̅를 다항식 오차 범위 내에서 만족하는 짧은 증명 y가 존재하는지 보장하기 위해 반올림 절차 사용하기.
• 사상의 단사성 덕분에 이러한 체계의 수가 이중지수적으로 많아져야 하며, 이는 일부 다면체가 지수적으로 많은 면을 가져야 한다는 것을 암시함.
• 모든 다면체에 직접 카운팅 추론을 적용하는 대신, 무리수 계수 문제를 피하기 위해 이산화된 체계에 적용함.
• NP ∉ P/poly 이면, TSP와 같은 언어는 실수 계수를 허용하더라도 CF에 속할 수 없으며, NP-난이도 최적화 문제를 확장형식의 타당성 문제로 환원함으로써 이를 증명함.

실험 결과

연구 질문

• RQ1 임의의 실수 계수를 허용하더라도 압축된 확장형식을 갖지 않는 0/1 다면체가 존재하는가?
• RQ2 형식의 대칭성을 가정하지 않고도 TSP 다면체의 확장 복잡도가 초다항식임을 증명할 수 있는가?
• RQ3 확장형식의 계수의 무리수 문제를 우회하여 복잡도 이론에서 카운팅 추론을 적용할 수 있는가?
• RQ4 복잡도 이론적 가정을 통해 CF 클래스(압축형식을 가진 언어의 집합)를 P/poly로부터 엄격히 분리할 수 있는가?
• RQ5 TSP 다면체에 압축형식이 존재한다면, 이는 NP ⊆ P/poly를 의미하는가?

주요 결과

• 모든 n에 대해, conv(X)의 확장 복잡도가 최소 2^{n/2·(1−o(1))} 이상이 되는 X ⊆ {0,1}^n 가 존재한다. 즉, 어떤 확장형식이라도 지수적으로 많은 면을 가져야 한다.
• 동일한 지수 하한선은 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보다 엄격히 작다. 이는 압축형식의 복잡도 이론적 분리 결과를 제공한다.