[논문 리뷰] The Unbounded-Error Communication Complexity of symmetric XOR functions

Hamed Hatami, Yingjie Qian|arXiv (Cornell University)|2017. 04. 03.

Coding theory and cryptography참고 문헌 6인용 수 4

한 줄 요약

이 논문은 Shi와 Zhang의 추측을 해결하며, 대칭 XOR 함수의 무한오차 통신 복잡도가 다항로그 인자까지 정확히 특징지어짐을 보여준다. 이는 예측함수 D가 거리 2에서 다를 인덱스의 수(즉, deg₂(D))에 의해 결정된다. 저자들은 새로운 조합적 임bedding을 통해 XOR 문제를 이전에 해결된 대칭 AND 함수의 경우로 환원함으로써 이를 달성하였으며, Sherstov의 패턴 행렬 방법과 Forster의 부등식을 활용하여 Θ(M/log⁵n)의 하한과 O(M log n)의 상한을 유도하였다. 여기서 M = deg₂(D).

ABSTRACT

Settling a conjecture of Shi and Zhang, we determine the unbounded-error communication complexity of the symmetric XOR functions up to a poly-logarithmic factor. Our proof is by a simple reduction to an earlier result of Sherstov.

연구 동기 및 목표

• Shi와 Zhang의 대칭 XOR 함수의 무한오차 통신 복잡도에 대한 오랫동안 남아있던 추측을 해결하기 위해.
• 함수 f⊕D(x,y) = D(|x⊕y|)의 무한오차 복잡도에 대해 엄밀한 점근적 상한을 도출하기 위해, 여기서 D는 해밍 무게에 대한 예측함수이다.
• 복잡도가 deg(D)가 아니라 deg₂(D), 즉 D(i) ≠ D(i+2)인 위치의 수에 의해 결정됨을 보여주기 위해.
• 초기에는 의심되었지만, 새로운 환원을 통해 Sherstov의 대칭 AND 함수 기법이 XOR 함수에 적응 가능함을 보여주기 위해.

제안 방법

• 원래의 D에 기반한 유도된 예측함수 G를 구성함으로써, 대칭 XOR 함수 f⊕D를 대칭 AND 함수 f∧G로 환원하기.
• 조합적 제약 조건을 적용하여, G가 거리 2에서 최소 M/2⁷개의 부호 변화를 갖는 길이 q = n/32인 부분구간을 분리하기.
• Sherstov의 대칭 AND 함수 결과를 적용하여, 그들의 무한오차 복잡도가 deg(G)와 관련됨을 보이고, U(f∧G)에 대해 Θ(KG/log⁵q)의 하한을 도출하기.
• 함수 f⊕D에 f∧G 프로토콜을 통합하기 위해, 고정된 해밍 무게 r과 t를 갖는 입력 x,y를 신중히 구성함으로써, |x⊕y| = r + t - 2|x∧y|의 기능적 관계를 유지하기.
• 모든 x에 대해 p(x)D(|x|) > 0가 되도록 하는 실수값 함수 p(x)를 구성함으로써, f⊕D의 부호 표현을 보장하고, p의 푸리에 계수 중 비영인 것이 최대 4n^M개 이하임을 확보하기.
• f⊕D의 부호 랭크가 p의 비영인 푸리에 계수의 수로 제한됨을 이용하여, U(f⊕D)에 대해 O(M log n)의 상한을 도출하기.

실험 결과

연구 질문

• RQ1 주어진 예측함수 D에 대해, 대칭 XOR 함수 f⊕D(x,y) = D(|x⊕y|)의 무한오차 통신 복잡도는 무엇인가?
• RQ2 복잡도가 deg(D)가 아니라, D(i) ≠ D(i+2)인 위치의 수인 deg₂(D)에 의존하는가?
• RQ3 초기 의심에도 불구하고, 대칭 AND 함수에 대해 개발된 기법들이 대칭 XOR 함수에 적응 가능한가?
• RQ4 XOR 케이스에서 AND 케이스로의 환원이 다항로그 인자까지 복잡도를 유지하는가?

주요 결과

• f⊕D의 무한오차 통신 복잡도는 하한 Θ(M/log⁵n)을 갖는다. 여기서 M = deg₂(D)는 D(i) ≠ D(i+2)인 인덱스의 수이다.
• f⊕D를 부호 표현하는 데 최대 4n^M개의 비영인 푸리에 계수를 갖는 함수를 구성함으로써, 상한 O(M log n)을 확립하였다.
• 하한은 G의 deg(G) ≥ M/2⁷인 축소된 AND 함수 f∧G를 f⊕D에 임베딩함으로써 도출되었으며, Sherstov의 대칭 AND 함수 결과를 적용하였다.
• 환원은 대칭 XOR 함수의 무한오차 복잡도가 deg(D)가 아니라 deg₂(D)에 의해 결정됨을 보여주며, Shi와 Zhang의 추측을 해결하였다.
• XOR와 AND 함수 간의 복잡도 격차는 구조적 차이에도 불구하고 오직 상수배의 로그 수준에 불과함을 증명하였다.
• 결과적으로 Forster의 부등식과 Sherstov의 패턴 행렬 방법이 조심스러운 입력 임베딩과 결합될 경우, XOR 설정에서도 여전히 강력한 도구로 기능함을 확인하였다.