[논문 리뷰] Distributed inner product estimation with limited quantum communication

Srinivasan Arunachalam, Louis Schatzki|arXiv (Cornell University)|2024. 10. 16.

Quantum Information and Cryptography인용 수 1

한 줄 요약

이 논문은 제한된 양자 통신 조건 하에서 분산 양자 내적 추정의 표본 복잡도에 대한 날카운 경계를 확립한다. 앨리스와 보브가 n-qubit 상태의 k개 복제본을 공유하고 q 큐비트를 통신할 때, |⟨ψ|φ⟩|²을 상수 정확도로 추정하기 위해 k = Θ(√(2ⁿ⁻⁹))개의 복제가 필수적이고 충분함을 보여준다. 일반적인 헤르미트 연산자 M에 대해서는 표본 복잡도가 ∥Mε∥₂/ε 및 1/ε²에 의해 특징지어지며, M의 고크기 고유값 부분공간에서 낮은 랭크 구조를 가질 경우 추정이 상당히 쉬워짐을 드러낸다.

ABSTRACT

In this work, we consider the fundamental task of distributed inner product estimation when allowed limited communication. Suppose Alice and Bob are given k copies of an unknown n-qubit quantum state |ψ⟩,|ϕ⟩ respectively, are allowed to send q qubits to one another, and the task is to estimate |⟨ψ|ϕ⟩|² up to constant additive error. We show that k = Θ(√{2^{n-q}}) copies are essentially necessary and sufficient for this task (extending the work of Anshu, Landau and Liu (STOC'22) who considered the case when q = 0). Additionally, we also consider the task when the goal of the players is to estimate |⟨ψ|M|ϕ⟩|², for arbitrary Hermitian M. For this task we show that certain norms on M determine the sample complexity of estimating |⟨ψ|M|ϕ⟩|² when using only classical communication.

연구 동기 및 목표

• 알 수 없는 n-큐비트 상태 |ψ⟩와 |φ⟩의 최소 복제 수 k를 결정함으로써, 앨리스와 보브가 q-큐비트 양자 통신에 국한된 조건에서 |⟨ψ|φ⟩|²을 상수 정확도로 추정할 수 있도록 하는 것.
• 내적 추정 작업을 임의의 헤르미트 연산자 M으로 일반화하고, 국소 양자 조작 및 고전적 통신(LOCC) 하에서 |⟨ψ|M|φ⟩|²을 추정하는 표본 복잡도를 특징짓는 것.
• 분산 양자 상태 검증 및 성질 추정에서 양자 통신 비용과 표본 복잡도 간의 상호 교환 관계에 대한 열린 질문을 해결하는 것.
• 고유값의 크기가 ≥ ε/2인 부분공간에 제한된 M의 스펙트럴 노름에 따라 의존하는 근사 최적의 상한 및 하한을 확립하는 것.

제안 방법

• LOCC와 q-큐비트 양자 통신을 조합한 새로운 상호작용 프로토콜을 사용하여, 제한된 양자 메시지 교환 조건에서 수정된 스위프 테스트를 통해 |⟨ψ|φ⟩|²을 추정한다.
• 레비의 보조정리와 단위 구면 상의 측도 집중을 적용하여, 어려운 구분 문제로의 감소를 통해 표본 복잡도의 하한을 유도한다.
• 하르 랜덤 상태와 위상 각도를 포함한 구조화된 YES/NO 인스턴스 문제를 도입하여, LOCC 조건 하에서 내적 추정 작업을 시뮬레이션한다.
• 상태 겹침과 위상 차이의 변형에 대한 추정기의 거동을 분석하고, 트레이스 함수의 리프시츠 연속성을 활용한다.
• 크기 ≥ ε/2인 고유값의 부분공간으로 M을 분해하여, 스펙트럴 노름 ∥Mε∥₂에 집중함으로써 날카운 경계를 도출한다.
• 상한과 하한을 조합하여, ε-근사 추정에 대해 표본 복잡도가 Ω(max{1/ε², ∥Mε∥₂²/√ε}) 및 O(max{1/ε², ∥Mε∥₂²/ε})임을 보여준다.

실험 결과

연구 질문

• RQ1 앨리스와 보브가 상태를 텔레포트할 수 없을 정도로 q 큐비트의 양자 통신만 가능한 조건에서, |⟨ψ|φ⟩|²을 추정하기 위한 최적의 표본 복잡도는 무엇인가?
• RQ2 M이 항등 연산자가 아니라 임의의 헤르미트 연산자일 경우, LOCC 조건 하에서 |⟨ψ|M|φ⟩|²을 추정하는 표본 복잡도는 어떻게 스케일링되는가?
• RQ3 M의 고크기 고유값 부분공간에서 낮은 랭크 구조를 가질 경우, 표본 복잡도는 상당히 감소할 수 있는가?
• RQ4 LOCC 조건 하에서 |⟨ψ|M|φ⟩|²을 추정하는 데 있어 난이도를 결정하는 데 스펙트럴 노름 ∥Mε∥₂는 어떤 역할을 하는가?
• RQ5 분산 양자 상태 비교에서, 양자 통신 비용과 표본 복잡도 사이에 부드러운 상호 교환 관계가 존재하는가?

주요 결과

• q 큐비트의 양자 통신이 허용될 경우, |⟨ψ|φ⟩|²을 상수 정확도로 추정하는 표본 복잡도는 Θ(√(2ⁿ⁻⁹))이며, 이는 q=0과 q=n의 경우 사이에서 매끄럽게 변화함을 보여준다.
• q = 0일 때(오직 고전적 통신만 가능할 경우), 표본 복잡도는 Θ(√(2ⁿ))이며, 이는 Anshu 등(2022)의 결과를 확인한다.
• 일반적인 헤르미트 M에 대해, LOCC 조건 하에서 ε-근사 추정의 표본 복잡도는 O(max{1/ε², ∥Mε∥₂²/ε})이며, 이는 근사 최적이다.
• 하한은 Ω(max{1/ε², ∥Mε∥₂²/√ε})이며, 이는 복잡도가 크기가 ≥ ε/2인 고유값 부분공간에 제한된 M의 스펙트럴 노름에 의해 결정됨을 보여준다.
• 이 결과는 M이 고크기 고유값 부분공간에서 낮은 랭크 구조를 가질 경우, 전체 톰로그래피보다 지수적으로 쉬운 추정이 가능함을 암시한다.
• 논문은 분산 양자 상태 검증 및 성질 추정에서 양자 통신 비용과 표본 복잡도 간의 상호 교환 관계에 대한 열린 질문을 해결한다.