마코프 프로토콜로 본 매칭 다면체의 확장 복잡도 상한

초록

본 논문은 마코프형 통신 프로토콜과 비음수 행렬 분해 사이의 대응을 이용해 매칭 다면체 (P_{\text{match}}(n)) 의 확장 복잡도에 새로운 상한 (\tilde O(n^{3}\cdot1.5^{,n}))을 제시한다. 또한 정렬 네트워크 기반의 1라운드 프로토콜을 통해 퍼뮤테이션 다면체의 기존 콤팩트 형식(Goemans)을 재구성한다.

상세 분석

이 논문은 확장 복잡도(Extension Complexity, xc)와 슬랙 행렬의 비음수 랭크 사이의 등식 (\mathrm{xc}(P)=\operatorname{rk}{+}(P))을 출발점으로 삼는다. 기존 연구(Faenza‑Fiorini‑Grapp‑Tiwary, 2012)는 비음수 팩터화와 무작위 통신 프로토콜 사이의 비용 동등성을 이용해 (\lceil\log{2}\mathrm{xc}(P)\rceil)을 프로토콜 트리의 높이와 연결하였다. 저자는 여기서 트리 대신 브랜칭 프로그램(Branching Program, BP) 형태의 마코프 프로토콜을 도입한다. BP는 각 라운드마다 고정된 상태 집합 (V_{j})와 전이 확률 (p^{(j)})를 갖으며, 입력에 따라 확률적으로 경로가 선택된다. 이 구조는 “마코프성”을 보장해, 현재 상태만 알면 과거 메시지를 기억할 필요가 없으므로 분석이 단순화된다.

마코프 프로토콜 (\pi)에 대해 저자는 폭(width) (|\Gamma(\pi)|) 를 정의한다. (\Gamma(\pi))는 양쪽 플레이어가 양의 확률로 도달할 수 있는 전체 상태 튜플 ((u_{1},\dots,u_{k}))의 집합이며, 이는 BP의 모든 가능한 경로를 의미한다. 핵심 정리(Theorem 3)는
\