NP와 coNP의 다자간 통신 복잡도 구분

논문은 머리 위 모델(number‑on‑forehead)에서 k명의 플레이어가 각각 자신의 입력을 제외한 모든 입력을 볼 수 있는 상황을 다룬다. 이 모델은 회로 복잡도, 의사난수 생성, 증명 복잡도 등 다양한 분야와 연결돼 있어, 복잡도 클래스 간의 정확한 관계를 밝히는 것이 중요한 과제로 남아 있다. 기존 연구에서는 k=2인 경우에만 NP와 coNP가 서로 다르다는 것이 알려졌으며, coNP⊄MA도 증명되었다. 그러나 k≥3에서는 이러한 구분이 아직 확립되지 못했다. 저자들은 이 격차를 메우기 위해 두 가지 주요 기법을 결합한다. 첫 번째는 패턴 매트릭스 방법이다. 이 방법은 함수 f의 근사 차수(approximate degree)나 임계값 차수(threshold degree)와 같은 분석적 특성을 이용해, 해당 함수에 기반한 통신 행렬의 불일치를 평가한다. 기존에는 두 사람 모델에 적용되었지만, 최근 연구들(C, LS, CA, DP, DPV, BH)에서 다자간 버전으로 확장되었다. 저자들은 이 확장을 더욱 정교화하여, 특히 OR 함수에 대한 패턴 매트릭스를 사용해 복잡도가 낮은 NP 프로토콜을 설계한다. 두 번째는 일반화된 불일치(generalized discrepancy)와 새로운 비결정적 복잡도 기준이다. Klauck‑Razborov의 일반화된 불일치 방법을 변형해, 함수 F와 하드 함수 H가 높은 상관관계를 가질 때, F가 -1 값을 갖는 입력 집합이 작은 원통 교차로 덮이지 않음을 보인다. 이는 F가 NP‑클래스에 속하지 않음을 증명하는 핵심 조건이 된다. 저자들은 이 조건을 선형 계획법의 쌍대성을 이용해 직접 증명하고, 이를 통해 F의 Merlin‑Arthur 복잡도가 다항식 이하가 아니라 지수적으로 큰 하한을 갖는다는 것을 보인다. 구체적인 구성은 다음과 같다. 먼저 DPV에서 사용된 함수 F를 차용한다. 이 함수는 입력을 k개의 n비트 문자열로 받아, 특정 패턴 매트릭스 구조를 통해 OR 함수의 결과를 인코딩한다. 설계 단계에서 F는 공동비결정적 복잡도 N(−F)=O(log n)를 만족하도록 만든다. 이후 위에서 언급한 새로운 기준을 적용해, F가 NP에 속하지 않음을 보이고, 동시에 MA(F)≥n^{Ω(1)}인 하한을 얻는다. 결과적으로, coNP⊄MA이며, NP≠coNP가 k≤(1‑ε)·log n까지 성립한다. 논문의 마지막 섹션에서는 이 기법을 다른 다자간 변형에도 적용 가능함을 논의한다. 예를 들어, C, LS, CA, BH에서 제시된 패턴 매트릭스 변형에 동일한 분석을 적용하면, k=ε·log n 수준까지도 지수적 구분을 얻을 수 있다. 다만, 이 경우에는 함수가 상수 깊이 회로와 같이 더 단순한 형태가 된다. 전체적으로, 이 연구는 다자간 통신 복잡도에서 NP와 coNP, 그리고 MA 사이의 관계를 명확히 하는 중요한 진전을 제공한다. 특히, 로그 규모의 플레이어 수까지 구분을 확장한 점과, 새로운 분석 도구를 도입한 점이 학문적 기여가 크다.