다항식 크기의 LP는 TSP·컷·안정집합 다각형을 표현할 수 없다

초록

본 논문은 20년 전 Yannakakis가 제기한 문제를 해결하여, 대칭 여부와 관계없이 여행 판매원 문제(TSP), 컷 문제, 그리고 안정집합 문제의 다각형을 정확히 표현하는 다항식 크기의 선형 프로그램(LP)이 존재하지 않음을 증명한다. 핵심은 일방향 양자 통신 프로토콜과 반정밀 계획(SDP) 재구성을 연결시켜, 해당 다각형들의 확장 복잡도(extension complexity)가 지수적으로 크다는 새로운 하한을 얻은 것이다.

상세 분석

이 연구는 확장 다각형(extended formulation, EF)의 크기와 비음수 행렬의 비음수 랭크(nonnegative rank) 사이의 깊은 관계를 활용한다. Yannakakis의 팩터화 정리(Factorization Theorem)에 따르면, 다각형 P의 슬랙 행렬 S의 비음수 랭크가 바로 P의 확장 복잡도와 일치한다. 저자들은 이 정리를 일반화하여, 반정밀 계획(SDP) 확장 복잡도는 슬랙 행렬의 PSD 랭크와 동일하다는 사실을 이용한다.

핵심 기술은 특정 2ⁿ×2ⁿ 행렬 M(n)을 정의하고, 그 비음수 랭크가 2^{Ω(n)}임을 보이는 것이다. 이를 위해 M의 지원 행렬(support matrix)의 비결정적 통신 복잡도(nondeterministic communication complexity)가 Ω(n)임을 증명한다. 이 단계는 기존에 Razborov이 제시한 Disjointness 문제의 하한을 양자 통신 맥락으로 옮겨온 결과이며, de Wolf의 이전 작업을 확장한다.

비음수 랭크 하한을 확보한 뒤, 저자들은 다음과 같은 연쇄적 귀류를 전개한다. 첫째, CUT(n) 다각형의 슬랙 행렬에 M이 포함되므로, CUT(n)의 확장 복잡도도 2^{Ω(n)}이다. 둘째, 안정집합 다각형 STAB(G)와 TSP 다각형은 각각 CUT 다각형에 선형 사상으로 감소(reduction)될 수 있음을 보인다. 구체적으로, 특정 그래프 패밀리 G에 대해 STAB(G)의 확장 복잡도가 2^{Ω(√n)}이며, TSP(n)의 경우에도 동일한 지수 하한이 성립한다. 이는 Yannakakis가 제시한 대칭 EF 하한을 넘어, 비대칭 EF에도 동일한 제한이 있음을 의미한다.

또한, 저자들은 반정밀 계획 EF와 일방향 양자 통신 복잡도 사이의 새로운 연결 고리를 제시한다. 비음수 행렬 M에 대해, 랭크‑r PSD 팩터화가 존재하면 log r+O(1) 큐비트만으로 M을 기대값(expectation)으로 계산하는 양자 프로토콜이 구성된다. 반대로, q 큐비트 양자 프로토콜이 존재하면 M의 PSD 랭크는 2^{O(q)} 이하가 된다. 이 양방향 변환을 통해, PSD 랭크와 비음수 랭크 사이에 지수적 격차가 존재함을 명시적으로 보여준다. 즉, M은 비음수 랭크는 2^{Ω(n)}이지만, PSD 랭크는 O(n) 수준으로 낮다. 이는 고전적 통신 복잡도와 양자 통신 복잡도 사이의 근본적인 차이를 드러내는 사례가 된다.

결과적으로, 이 논문은 (1) TSP, CUT, STAB 다각형에 대한 다항식 크기의 LP가 존재하지 않음을 확정적으로 증명하고, (2) 양자 통신 이론을 활용한 새로운 하한 증명 기법을 도입함으로써, 확장 다각형 이론과 통신 복잡도 이론을 깊이 연결한다는 두 가지 중요한 기여를 한다.