[논문 리뷰] The one-way communication complexity of the Boolean Hidden Matching Problem

Iordanis Kerenidis, Ran Raz|ArXiv.org|2006. 07. 25.

Complexity and Algorithms in Graphs참고 문헌 20인용 수 5

한 줄 요약

이 논문은 푸리에 분석과 KKL 부등식을 사용하여 부울 숨겨진 매칭 문제의 랜덤화된 일방 통신 복잡도에 대해 Ω(√n)의 날카운 하한을 확립한다. 이는 양자 프로토콜이 동일한 문제에 대해 O(log n) 큐비트 복잡도를 달성함으로써 양자와 고전적 일방 통신 복잡도 사이에 지수적 분리가 존재한다는 것을 보여준다.

ABSTRACT

We give a tight lower bound of Omega(\sqrt{n}) for the randomized one-way communication complexity of the Boolean Hidden Matching Problem [BJK04]. Since there is a quantum one-way communication complexity protocol of O(\log n) qubits for this problem, we obtain an exponential separation of quantum and classical one-way communication complexity for partial functions. A similar result was independently obtained by Gavinsky, Kempe, de Wolf [GKdW06]. Our lower bound is obtained by Fourier analysis, using the Fourier coefficients inequality of Kahn Kalai and Linial [KKL88].

연구 동기 및 목표

• 부울 숨겨진 매칭 문제의 랜덤화된 일방 통신 복잡도에 대해 엄밀한 하한을 확립하는 것.
• 일방 모델에서 부분 함수에 대해 양자와 고전적 통신 복잡도 사이에 지수적 분리가 존재하는지 보여주는 것.
• 푸리에 분석과 KKL 부등식을 적용하여 하한을 도출하는 것.
• 약속 문제에서 양자 통신의 능력을 부각하는 정량적 분리를 제공하는 것.

제안 방법

• 숨겨진 매칭 문제와 관련된 부울 함수에 대한 푸리에 분석을 사용한다.
• 카한, 칼라이, 린이얼의 (KKL88)에서 제시한 푸리에 계수 부등식을 적용하여 변수의 影響을 한정한다.
• 푸리에 분석 접근법의 기초 도구로 보나미-베클러 부등식을 활용한다.
• 매칭과 문자열의 해밍 무게를 분석하여 함수의 푸리에 스펙트럼의 구조를 기술한다.
• 통신 복잡도 문제를 푸리에 계수의 집중도에 관한 질문으로 변환한다.
• √n 이하의 통신 프로토콜을 가정함으로써 모순을 도출하고, 입력 집합 A의 크기 상한을 도출한다.

실험 결과

연구 질문

• RQ1 부울 숨겨진 매칭 문제의 랜덤화된 일방 통신 복잡도는 무엇인가?
• RQ2 이 문제에 대해 양자 프로토콜이 고전적 프로토콜보다 훨씬 낮은 통신 비용을 달성할 수 있는가?
• RQ3 부분 함수에 대해 양자와 고전적 일방 통신 복잡도 사이에 지수적 간격이 존재하는가?
• RQ4 푸리에 분석을 어떻게 활용하여 통신 복잡도 하한을 엄밀하게 도출할 수 있는가?
• RQ5 KKL 부등식은 통신 복잡도 하한 분석에서 어떤 역할을 하는가?

주요 결과

• 부울 숨겨진 매칭 문제의 랜덤화된 일방 통신 복잡도는 Ω(√n)이며, 이는 엄밀하다.
• 동일한 문제에 대해 O(log n) 큐비트 통신 복잡도를 가지는 양자 일방 프로토콜이 존재한다.
• 이로 인해 부분 함수에 대해 양자와 고전적 일방 통신 복잡도 사이에 지수적 분리가 확립된다.
• 하한은 푸리에 분석과 KKL 부등식을 사용하여 도출되었으며, 보나미-베클러 부등식이 핵심 기술 도구로 기능한다.
• 어떤 유효한 메시지 집합 A의 크기는 2^{2n - Ω(√n)} 이하로 제한되며, 이는 최소 Ω(√n) 비트의 통신이 필요하다는 것을 의미한다.
• 결과는 약속 문제에서 일방 모델에서 양자 통신이 고전적 통신보다 지수적으로 우월하다는 것을 확인한다.