[논문 리뷰] Communication Complexities of XOR functions

Yaoyun Shi, Zhiqiang Zhang|ArXiv.org|2008. 08. 13.

Complexity and Algorithms in Graphs참고 문헌 18인용 수 12

한 줄 요약

이 논문은 대칭 XOR 함수—입력의 XOR의 해밍 무게에만 의존하는 부울 함수 F(x,y) = S(|x⊕y|)의 형태를 가진 함수—에 대한 결정론적, 확률적, 양자 통신 복잡도의 날카운 특성화를 수립한다. 논문은 모든 비자명한 대칭 XOR 함수에 대해 결정론적 복잡도가 Θ(n)임을 증명하며, 확률적 및 양자 복잡도는 S(k)의 주기성을 반영하는 매개변수 r₀와 r₁에 의해 Θ(r₀ + r₁)로 엄밀하게 유 bounds됨을 보인다.

ABSTRACT

We call $F:\{0, 1\}^n imes \{0, 1\}^n o\{0, 1\}$ a symmetric XOR function if for a function $S:\{0, 1, ..., n\} o\{0, 1\}$, $F(x, y)=S(|x\oplus y|)$, for any $x, y\in\{0, 1\}^n$, where $|x\oplus y|$ is the Hamming weight of the bit-wise XOR of $x$ and $y$. We show that for any such function, (a) the deterministic communication complexity is always $Θ(n)$ except for four simple functions that have a constant complexity, and (b) up to a polylog factor, the error-bounded randomized and quantum communication complexities are $Θ(r_0+r_1)$, where $r_0$ and $r_1$ are the minimum integers such that $r_0, r_1\leq n/2$ and $S(k)=S(k+2)$ for all $k\in[r_0, n-r_1)$.

연구 동기 및 목표

• 입력의 XOR의 해밍 무게에만 의존하는 함수인 대칭 XOR 함수의 통신 복잡도를 특성화하는 것.
• 비자명한 대칭 XOR 함수의 결정론적 복잡도를 해결하여, 네 가지의 상수 복잡도 사례를 제외하고 항상 Θ(n)임을 보이는 것.
• 함수 출력의 주기성에 따라 매개변수화된 확률적 및 양자 통신 복잡도에 대해 날카운 상한과 하한을 제공하는 것.
• 양자 및 확률적 복잡도가 상호 간에 다항로그 인자 범위 내에 있음을 보여 양자 및 확률적 복잡도가 다항로그 인자 범위 내에 있음을 확인함으로써, 대칭 XOR 함수에 대해 로그 등가성 추측을 확인하는 것.

제안 방법

• S가 해밍 무게를 {0,1}로 매핑하는 함수인 F(x,y) = S(|x⊕y|) 형태로 대칭 XOR 함수를 정의하고, 기저 함수 f의 푸리에 분석을 통해 그 통신 복잡도를 분석한다.
• 결정론적 복잡도를 F의 행렬 랭크의 로그와 관련지어 분석함으로써 로그 랭크 추측의 프레임워크를 활용하며, 중간 해밍 무게 범위 내의 비영 푸리에 계수를 통해 비자명한 대칭 XOR 함수의 랭크가 2^Ω(n)임을 보인다.
• S(k) = S(k+2)가 모든 k ∈ [r₀, n−r₁)에 대해 성립하는 최소 정수 r₀, r₁을 정의하여 S의 주기적 행동을 캡처하는 매개변수로 도입한다.
• 작은 해밍 무게 간격에 대해 이진 탐색을 사용하여 |x⊕y|를 정확히 결정하는 HAMₙ,ₙ 문제에 대한 반복 호출을 사용하는 확률적 프로토콜을 구성한다.
• Huang 등이 제안한 HAMₙ,ₙ에 대한 O(d log d) 단방향 프로토콜을 활용하여, 비용이 O(r log²r log log r)인 양방향 확률적 프로토콜을 구축한다. 여기서 r = max(r₀, r₁)이다.
• 함수 부정 및 보수화에 관련된 대칭성과 쌍대성 원리를 활용하여 해밍 거리 문제로의 감소를 통해 양자 하한을 Ω(r)로 증명한다.

실험 결과

연구 질문

• RQ1 비자명한 대칭 XOR 함수의 결정론적 통신 복잡도는 무엇인가?
• RQ2 대칭 XOR 함수의 확률적 및 양자 통신 복잡도는 출력 함수 S의 주기적 구조와 어떻게 관련이 있는가?
• RQ3 양자 및 확률적 복잡도가 다항로그 인자 범위 내에 있음을 확인할 수 있는가? 즉, 이 클래스에 대해 로그 등가성 추측을 확인할 수 있는가?
• RQ4 대칭 XOR 함수의 단방향 통신 복잡도는 무엇이며, 이는 양방향 경우와 어떻게 비교되는가?

주요 결과

• 모든 비자명한 대칭 XOR 함수 F에 대해 결정론적 통신 복잡도 D(F)는 네 가지의 단순한 상수 복잡도 함수를 제외하고 항상 Θ(n)이다.
• 확률적 통신 복잡도 R(F)는 r = max(r₀, r₁)일 때 O(r log²r log log r)이며, 이 경계는 거의 날카롭다.
• 양자 통신 복잡도 Q(F)는 Ω(r)이며, 이 하한은 다항로그 인자 범위 내에서 상한과 일치하므로 이 클래스에 대해 로그 등가성 추측을 확인한다.
• 비자명한 대칭 XOR 함수에 대해 F의 행렬 랭크는 2^Ω(n)이다. 이는 이 함수들이 로그 랭크 추측을 만족함을 확인한다.
• 단방향 확률적 복잡도는 O(r² log²r)이며, 이 모델의 최선 상한과 하한 사이에 제곱 차이가 존재한다.
• 대칭 XOR 함수의 무제한 오차 통신 복잡도는 |{t : S(t) ≠ S(t+2)}|에 대해 Θ로 추측되나, 아직 미해결이다.