[논문 리뷰] Lower bounds for quantum communication complexity

Hartmut Klauck|ArXiv.org|2001. 06. 28.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 47

한 줄 요약

이 논문은 경계 오차 양자 통신 복잡도에 대한 새로운 푸리에 기반 하한 기법을 제안하며, 고전 기법을 양자 환경으로 일반화한다. 이는 경계 오차와 비결정적 양자 통신 복잡도 사이에 지수적 분리를 증명하며, 해밍 거리 함수 HAMⁿⁿ/²에 대해 Ω(n/log n)의 하한을 확립한다. 반면 비결정적 복잡도는 O(log n)임을 보여준다.

ABSTRACT

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower bounds developed by Raz to the quantum case. Applying this method we give an exponential separation between bounded error quantum communication complexity and nondeterministic quantum communication complexity. We develop several other lower bound methods based on the Fourier transform, notably showing that \sqrt{\bar{s}(f)/\log n}, for the average sensitivity \bar{s}(f) of a function f, yields a lower bound on the bounded error quantum communication complexity of f(x AND y XOR z), where x is a Boolean word held by Alice and y,z are Boolean words held by Bob. We then prove the first large lower bounds on the bounded error quantum communication complexity of functions, for which a polynomial quantum speedup is possible. For all the functions we investigate, the only previously applied general lower bound method based on discrepancy yields bounds that are O(\log n).

연구 동기 및 목표

• 기존 방법들인 분할법과 질량법의 한계를 극복하기 위해, 경계 오차 통신 복잡도에 대한 일반적이고 양자 전용 하한 기법을 개발하는 것.
• 특히 고전적 프로토콜 대비 다항식 양자 가속이 가능한 함수들에 대해 강력한 하한을 증명하는 것, 특히 다항식 양자 이점을 가진 함수들에 대해.
• 특히 경계 오차와 비결정적(일방향 무한 오차) 양자 프로토콜 간의 분리를 설정하는 것.
• HAMⁿⁿ/², MAJₙ, COUNTₙᵗ 등의 함수의 통신 행렬의 대수적 및 스펙트럼 성질을 이용해 양자 통신 복잡도를 분석하는 것.
• 특히 총 함수에 대해 양자 이점이 고전적 것보다 네 배 이상 우월할 수 있는지 여부를 포함해, 통신 복잡도에서의 양자 이점의 한계를 조사하는 것.

제안 방법

• Raz의 고전적 통신 하한 기법을 양자 환경으로 일반화함: 선택된 푸리에 계수의 절댓값 합에 기반한 방법을, 실수 계수 [−1, 1]를 가진 가중 단색 직사각형을 사용하여 일반화.
• 함수 f의 푸리에 변환을 이용해 평균 민감도 s̄(f)를 통해 양자 통신 복잡도의 하한을 유도하며, f(x ∧ y ⊕ z)에 대해 √(s̄(f)/log n)이 타당한 하한임을 보임.
• de Wolf의 프레임워크를 적용해 양자 프로토콜과 가중 직사각형 커버 간의 관계를 설정함으로써, 양자 프로토콜을 고전적 약한 무한 오차 프로토콜로 시뮬레이션할 수 있음을 보임.
• 특히 추적 노름 최소화 기법을 활용해 통신 행렬의 복잡도를 유계화함. 이는 Razborov의 후속 작업에 영향을 받음.
• 직사각형을 군집화하고 가중치를 조정하여 양자 프로토콜에서 고전적 약한 무한 오차 프로토콜을 구성함으로써, 모든 f에 대해 QC(f) = Θ(PC(f))임을 증명.
• 분할법과 스펙트럼 방법을 사용해 IPₙ, HAMⁿⁿ/², MAJₙ 등의 특정 함수를 분석하고, 다양한 모델 간의 하한을 비교함.

실험 결과

연구 질문

• RQ1 푸리에 기반 기법을 고전적 통신 복잡도에서 양자 통신 복잡도로 일반화하여 더 강력한 하한을 도출할 수 있는가?
• RQ2 해밍 거리 함수 HAMⁿⁿ/²의 양자 통신 복잡도는 얼마이며, 비결정적 버전과 비교해 볼 때 어떻게 다른가?
• RQ3 대수적 기법을 사용해 경계 오차와 비결정적 양자 통신 복잡도 간의 지수적 분리를 증명할 수 있는가?
• RQ4 HAMⁿⁿ/²와 같이 분할법이 오직 O(log n)의 하한을 도출하는 함수에 대해, 새로운 푸리에 기반 기법은 기존 분할법 대비 얼마나 우월한가?
• RQ5 총 함수에 대해 양자 경계 오차 통신 복잡도가 고전적 경계 오차 복잡도보다 네 배 이상 작을 수 있는가?

주요 결과

• HAMⁿⁿ/²의 경계 오차 양자 통신 복잡도에 대해 푸리에 기반 기법을 사용해 Ω(n/log n)의 하한을 확립함.
• HAMⁿⁿ/²의 비결정적 양자 통신 복잡도는 O(log n)임을 증명함으로써, 경계 오차와 비결정적 양자 복잡도 사이에 지수적 분리를 확립함.
• 분할법은 HAMⁿⁿ/²에 대해 오직 O(log n)의 하한을 도출함을 보여주며, 새로운 푸리에 기반 접근법의 우월성을 입증함.
• 함수 f(x ∧ y ⊕ z)에 대해 √(s̄(f)/log n)이 경계 오차 양자 통신 복잡도의 타당한 하한임을 증명함.
• 모든 함수 f에 대해 QC(f) = Θ(PC(f))임을 보여주며, 양자와 고전적 약한 무한 오차 통신 복잡도가 점근적으로 동일함을 의미함.
• 결과적으로 COUNTₙᵗ의 상한이 날카로운 것으로 밝혀졌으며, Razborov의 후속 연구에 의해 확인됨으로써, 이 방법의 강력함을 검증함.