[논문 리뷰] A lower bound for bounded round quantum communication complexity of set disjointness

Rahul Jain, Jaikumar Radhakrishnan외 1명|ArXiv.org|2003. 03. 22.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 9

한 줄 요약

이 논문은 Bar-Yossef 등이 제시한 고전적 논증의 정보이론적 변형을 사용하여, k라운드의 유한오차 모델에서 집합의 공통원소가 없는 문제의 양자 통신 복잡도에 대해 Ω(n/k²)의 날카운 하한을 확립한다. 이 결과는 이전의 하한을 향상시키며, k = 1일 때 최적의 O(√n) 상한과 일치하여, 다중라운드 환경에서 양자 프로토콜이 이론적 한계를 초월해 통신을 크게 줄일 수 없음을 보여준다.

ABSTRACT

We consider the class of functions whose value depends only on the intersection of the input X_1,X_2, ..., X_t; that is, for each F in this class there is an f_F: 2^{[n]} o {0,1}, such that F(X_1,X_2, ..., X_t) = f_F(X_1 \cap X_2 \cap ... \cap X_t). We show that the t-party k-round communication complexity of F is Omega(s_m(f_F)/(k^2)), where s_m(f_F) stands for the `monotone sensitivity of f_F' and is defined by s_m(f_F) \defeq max_{S\subseteq [n]} |{i: f_F(S \cup {i}) eq f_F(S)|. For two-party quantum communication protocols for the set disjointness problem, this implies that the two parties must exchange Omega(n/k^2) qubits. For k=1, our lower bound matches the Omega(n) lower bound observed by Buhrman and de Wolf (based on a result of Nayak, and for 2 <= k <= n^{1/4}, improves the lower bound of Omega(sqrt{n}) shown by Razborov. (For protocols with no restrictions on the number of rounds, we can conclude that the two parties must exchange Omega(n^{1/3}) qubits. This, however, falls short of the optimal Omega(sqrt{n}) lower bound shown by Razborov.)

연구 동기 및 목표

• 유한라운드 모델에서 집합의 공통원소가 없는 문제의 양자 통신 복잡도에 대해 강력한 하한을 확립하기 위해.
• Bar-Yossef 등의 고전적 정보이론적 기법을 양자 환경으로 확장하여 다자 및 이인자 통신에 적용하기 위해.
• 교집합 기반 함수에 대한 양자 통신 복잡도를 결정하는 데 있어 단조 감도의 역할을 분석하기 위해.
• 제한된 라운드를 가진 양자 프로토콜에 대해 알려진 상한과 하한 사이의 격차를 메우기 위해.
• 양자 우월성이 통신 복잡도에서 라운드 수에 의해 제한됨을 보여주기 위해, 특히 집합의 공통원소가 없는 문제에 대해.

제안 방법

• 트레이스 거리와 신뢰도 한계를 사용하여 Bar-Yossef 등의 정보이론적 프레임워크를 양자 통신 모델에 적응시킨다.
• 유니터리 변환을 사용하여 각 라운드 간 양자 상태의 진화를 연결하고, 입력 변화에 의한 변화를 모델링한다.
• 트레이스 노름 부등식과 유니터리 불변성을 적용하여 서로 다른 입력에 대한 양자 상태 간의 거리를 제한한다.
• 상호정보량 제약 조건에서 유도된 오차 항 c_A^i와 c_B^i를 사용하여 상태 분리도 δ_i에 대한 재귀적 하한을 도입한다.
• 네제곱근 함수의 오목성을 활용하여 k라운드 이후의 누적 상태 분리도에 대한 하한을 유도한다.
• Fact 3와 Lemma 3을 활용하여 최종 상태 간 거리와 프로토콜 오차를 연결하고, 통신 비용에 대한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 유한오차를 가진 k라운드 프로토콜이 집합의 공통원소가 없는 문제를 해결하기 위해 필요한 최소 양자 통신 비용은 얼마인가?
• RQ2 기저 함수 f_F의 단조 감도 s_m(f_F)는 양자 통신 복잡도와 어떻게 관련이 있는가?
• RQ3 고전적 통신 복잡도에서의 정보이론적 방법이 타당하게 적응되어 엄밀한 양자 하한을 유도할 수 있는가?
• RQ4 라운드 수 k는 집합의 공통원소가 없는 문제의 양자 통신 복잡도에 어떻게 영향을 미치는가?
• RQ5 라운드 수가 증가함에 따라 양자 통신 복잡도의 우월성이 감소하는가?

주요 결과

• 논문은 집합의 공통원소가 없는 문제에 대해 k라운드 양자 통신 복잡도에 대해 Ω(n/k²)의 하한을 확립한다.
• k = 1일 때, 이 하한은 Buhrman와 de Wolf의 Ω(n) 하한과 일치하여, 한라운드 경우에 하한이 날카로움을 확인한다.
• 2 ≤ k ≪ n^{1/4}일 경우, 이 하한은 Razborov의 Ω(√n) 하한을 향상시켜, 양자 프로토콜에 대한 더 강력한 제약 조건을 보여준다.
• 이 결과는 양자 프로토콜이 무제한 라운드에서 집합의 공통원소가 없는 문제를 해결하기 위해 최소 Ω(n^{1/3}) 큐비트를 통신해야 한다는 것을 암시한다.
• 이 하한은 양자 상태의 트레이스 노름과 유니터리 불변성을 사용한 고전적 논증의 적응을 통해 도출된다.
• 분석 결과, 정보이론적 제약 조건으로 인해 다수의 라운드를 거쳐도 O(√n) 이하의 다항식 이하 통신 절감은 달성할 수 없음을 보여준다.