[논문 리뷰] On rounds in quantum communication

Hartmut Klauck|ArXiv.org|2000. 04. 26.

Quantum Computing Algorithms and Architecture참고 문헌 28인용 수 4

한 줄 요약

이 논문은 포인터 점프 함수에 대한 양자 통신 라운드-통신 계층을 수립하며, 보브가 통신을 시작할 경우 임의의 상수 $k$에 대해 $k$-라운드 양자 프로토콜이 $\Omega(n)$의 통신을 필요로 함을 증명한다. 이 하한을 유도하기 위해 상대 바나흐-반데르그라프 엔트로피와 트레이스 거리에 기반한 새로운 정보 측도를 도입하였으며, 추가로 상수 $k$에 대해 이산성 문제에 대한 $k$-라운드 양자 프로토콜이 $\Omega(n^{1/k})$의 통신을 필요로 함을 보여, 주어진 통신 라운드 수 제약 하에서 뚜렷한 양자 우월성을 입증한다.

ABSTRACT

We investigate the power of interaction in two player quantum communication protocols. Our main result is a rounds-communication hierarchy for the pointer jumping function $f_k$. We show that $f_k$ needs quantum communication $Ω(n)$ if Bob starts the communication and the number of rounds is limited to $k$ (for any constant $k$). Trivially, if Alice starts, $O(k\log n)$ communication in $k$ rounds suffices. The lower bound employs a result relating the relative von Neumann entropy between density matrices to their trace distance and uses a new measure of information. We also describe a classical probabilistic $k$ round protocol with communication $O(n/k\cdot(\log^{(k/2)}n+\log k)+k\log n)$ in which Bob starts the communication. Furthermore as a consequence of the lower bound for pointer jumping we show that any $k$ round quantum protocol for the disjointness problem needs communication $Ω(n^{1/k})$ for $k=O(1)$.

연구 동기 및 목표

• 이중 당사자 양자 통신 프로토콜에서 상호작용의 능력을 조사하기 위해.
• 양자 환경에서 포인터 점프 함수 $f_k$에 대한 라운드-통신 계층을 수립하기 위해.
• 통신 순서(누가 시작하는지)가 양자 프로토콜 효율성에 미치는 영향을 분석하기 위해.
• 제한된-라운드 조건 하에서 양자 통신 복잡도의 하한을 도출하기 위해.
• 이러한 결과를 이산성 문제로 확장하여 $k$-라운드 프로토콜에 대해 $\Omega(n^{1/k})$의 통신 하한을 보여주기 위해.

제안 방법

• 상대 바나흐-반데르그라프 엔트로피와 트레이스 거리에 기반한 새로운 양자 정보 측도를 도입하여 플레이어 간의 정보 흐름을 정량화하기 위해.
• 아라키-라이브 부등식과 트레이스 거리 상한을 사용하여 상호정보량을 밀도 행렬 간의 정보 거리와 연결하기 위해.
• 라운드 간 정보 거리의 재귀적 분석을 적용하여 보브의 메시지가 앨리스의 시스템과 다음 포인터 사이의 정보 거리를 감소시킴을 보여주기 위해.
• 이산성 문제에 대한 하한을 도출하기 위해 포인터 점프 문제에서의 감소를 적용하기 위해.
• 그로버의 검색과 슈퍼디 dense 코딩을 활용하여 고전적 및 양자 프로토콜의 상한을 구성하기 위해.
• 보브가 시작할 경우, 확률적 고전적 $k$-라운드 프로토콜이 $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$의 통신을 달성함을 사용하기 위해.

실험 결과

연구 질문

• RQ1 보브가 시작할 경우, $k$-라운드 양자 프로토콜에서 포인터 점프 함수의 통신 복잡도는 어떻게 되는가?
• RQ2 통신 순서 선택(앨리스 vs. 보브가 시작하는지)이 양자 통신 복잡도에 어떤 영향을 미치는가?
• RQ3 상대 엔트로피와 트레이스 거리에 기반한 새로운 정보 이론적 측도가 양자 통신에서 더 강력한 하한을 도출할 수 있는가?
• RQ4 상수 $k$에 대해 이산성 문제에 대한 $k$-라운드 양자 통신 복잡도는 무엇인가?
• RQ5 포인터 점프 및 이산성 문제에 대해 양자 프로토콜은 고전적 프로토콜과 비교해 통신 및 라운드 복잡도 측면에서 어떻게 다를까?

주요 결과

• 포인터 점프 함수 $f_k$에 대해, 보브가 시작하는 임의의 $k$-라운드 양자 프로토콜은 임의의 상수 $k$에 대해 $\Omega(n)$의 통신을 필요로 하며, 이는 강력한 라운드-통신 계층을 수립함을 의미한다.
• 앨리스가 시작할 경우, $O(k\log n)$의 통신이 $k$라운드 내에서 충분함을 보여, 누가 시작하는지에 따라 통신 비용에 큰 비대칭성이 있음을 시사한다.
• 보브가 시작할 경우, 포인터 점프에 대한 확률적 고전적 $k$-라운드 프로토콜이 $O(n/k \cdot (\log^{(k/2)}n + \log k) + k\log n)$의 통신을 달성하며, 기존의 고전적 하한과 밀접하게 일치한다.
• 이 논문은 $k$-라운드 양자 프로토콜이 이산성 문제에 대해 상수 $k$에 대해 $\Omega(n^{1/k})$의 통신을 필요로 함을 증명하며, 이는 기본 문제에 대한 하한을 확장함을 보여준다.
• 상대 바나흐-반데르그라프 엔트로피와 트레이스 거리에 기반한 새로운 정보 측도는 각 라운드 간의 정보 흐름에 대해 날카운 하한을 가능하게 하여 기존의 상호정보량의 한계를 극복한다.
• 포인터 점프에서 이산성 문제로의 감소를 통해, 공개 코인 조건 하에서도 $\Omega(n^{1/k})$의 하한이 $k$-라운드 제약 조건 하에서 유지됨을 확인한다.