다중당사자 전두수 모델에서 집합교차의 난이도와 증명 복잡도에 대한 새로운 하한

초록

이 논문은 k명 플레이어가 각자 자신의 입력을 제외한 모든 입력을 보는 전두수(FOF) 모델에서 집합교차(Disjointness) 문제의 무작위 통신 복잡도가 Ω(n^{1/(k+1)}/2^{2^k})임을 증명한다. 이는 기존의 로그 n/(k‑1) 하한을 크게 개선하며, k≈log log n까지 비결정적 복잡도와 무작위 복잡도 사이에 지수적 차이를 만든다. 또한 이 결과를 Beame‑Pitassi‑Segerlind의 변환에 적용해 트리형 Lovász‑Schrijver 증명 시스템 등 광범위한 증명 체계에서 서브지수적 크기의 증명 하한을 얻는다.

상세 분석

본 연구는 전두수(k‑party) 모델에서 가장 기본적인 함수 중 하나인 집합교차(Disjointness)의 무작위 통신 복잡도 하한을 새롭게 정립한다. 기존에는 k≥3일 때 로그 n/(k‑1) 정도의 하한만 알려져 있었으며, 이는 비결정적 복잡도와 거의 동일한 수준이었다. 저자들은 ‘실린더 교차(norm)’ µ와 그 근사형 µ_α(1≤α<∞)를 도입해 통신 텐서를 실린더 교차들의 합으로 표현하는 효율성을 정량화한다. µ는 실제로는 전통적인 불일치(discrepancy) 방법의 일반화이며, α가 무한대로 갈 때 µ_∞는 기존 불일치와 일치한다. 핵심은 µ_α를 이중형식 µ_α(A)=max_Q (1+α)·|⟨A,Q⟩|+(1−α)·k·‖Q‖₁·µ^(Q) 로 표현함으로써, 적절한 ‘증인 텐서’ Q를 찾아 ⟨A,Q⟩를 크게 하고 µ^(Q)는 작게 유지하는 전략을 취한다. 여기서 µ^*는 균등 분포에 대한 불일치와 거의 동일한 성질을 가지므로 기존의 불일치 상한 기법을 그대로 활용할 수 있다.

증인 Q를 구성하는 데는 블록 합성 기법이 핵심이다. 함수 f∘g_n 형태, 즉 외부 함수 f와 내부 함수 g를 각각 n개의 블록에 적용한 형태를 고려한다. 집합교차는 f=OR_n, g=AND_k 로 표현될 수 있다. 저자들은 g가 ‘실린더 교차’ 구조를 만족하도록 선택하고, f의 근사 차수(approximate degree)를 이용해 µ_α(f∘g_n)의 하한을 도출한다. OR_n의 근사 차수는 Θ(√n)임이 알려져 있으므로, 이를 k‑party 실린더 교차 구조에 맞게 확장하면 µ_α ≥ Ω(n^{1/(k+1)}/2^{2^k}) 를 얻는다. 이 값은 µ_α가 무작위 통신 복잡도 R_k을 아래에서 제한한다는 사실(µ_α(A) ≤ O(R_k(A)))과 결합돼 최종 하한으로 전이된다.

결과적으로, k가 log log n−O(log log log n) 이하일 때 비결정적 복잡도 O(log n)와 무작위 복잡도 Ω(n^{1/(k+1)}/2^{2^k}) 사이에 지수적 격차가 발생한다. 이는 전두수 모델에서 비결정적·무작위 복잡도 간의 첫 번째 강력한 구분이며, 기존에 알려진 상수‑k 경우의 하한보다 훨씬 강력하다.

또한, Beame‑Pitassi‑Segerlind의 변환을 이용해 이 통신 하한을 증명 복잡도에 연결한다. 전두수 모델에서 k‑party 통신 복잡도가 Ω(s)이면, 특정 CNF 공식들의 트리형 Lovász‑Schrijver(L S) 증명 크기가 2^{Ω(s)} 이상이어야 함을 보인다. 따라서 본 논문의 하한은 트리형 L S 증명뿐 아니라, 차수‑k 선형/반정수 프로그램 기반 증명 체계에서도 서브지수적(2^{Ω(n)}) 하한을 제공한다.

기술적으로는 두 가지 주요 도구가 결합된다. 첫째, µ와 µ_α라는 새로운 텐서 노름 체계는 기존 불일치 방법을 일반화하면서도 근사 차수와 직접 연결된다. 둘째, 블록 합성 기법을 통한 증인 Q의 구성은 Sherstov·Shi‑Zhu·Chattopadhyay의 이전 작업을 다변량(다중당사자) 상황에 맞게 확장한다. 이 두 축을 통해 저자들은 전두수 모델에서 가장 오래된 난제 중 하나였던 집합교차의 무작위 복잡도 하한을 크게 끌어올렸다.