[논문 리뷰] Quantum state certification

Costin Bădescu, Ryan O’Donnell외 1명|arXiv (Cornell University)|2017. 08. 20.

Computability, Logic, AI Algorithms인용 수 2

한 줄 요약

이 논문은 전체 톰그래피보다 훨씬 적은 복제 수를 사용하여 알려진 목표 상태 σ에 가까운지 여부를 검증하는 최적의 양자 상태 인증 알고리즘을 제시한다. 두 가지 강건한 프로토콜을 도입한다: 한쪽은 O(d/ǫ) 복제로 산술 평균을 사용하고, 다른 한쪽은 O(d/ǫ²) 복제로 트레이스 거리 측정을 사용하며, 둘 다 상수 요소를 제외하고 최적이다. 핵심 혁신은 표현 이론과 슈어-웨일 dualty를 활용하여 힐베르트-스미트 및 부레스 χ² 발산을 추정하기 위한 효율적이고 저복제 수의 측정을 설계하는 데 있다.

ABSTRACT

We consider the problem of quantum state certification, where one is given $n$ copies of an unknown $d$-dimensional quantum mixed state $ ho$, and one wants to test whether $ ho$ is equal to some known mixed state $\sigma$ or else is $\epsilon$-far from $\sigma$. The goal is to use notably fewer copies than the $\Omega(d^2)$ needed for full tomography on $ ho$ (i.e., density estimation). We give two robust state certification algorithms: one with respect to fidelity using $n = O(d/\epsilon)$ copies, and one with respect to trace distance using $n = O(d/\epsilon^2)$ copies. The latter algorithm also applies when $\sigma$ is unknown as well. These copy complexities are optimal up to constant factors.

연구 동기 및 목표

• 전체 양자 상태 톰그래피의 스케일링 Ω(d²)에 비해 훨씬 적은 복제 수가 필요한 양자 상태 인증 프로토콜을 개발하는 것.
• 알 수 없는 혼합 상태 ρ가 알려진 목표 상태 σ에 가까운지 여부를 산술 평균 또는 트레이스 거리 기준으로 최적의 샘플 복잡도로 테스트하는 것.
• ρ가 정확히 σ가 아니더라도 충분히 가까운 경우에도 상태를 수락하는 강건한 인증 알고리즘을 설계하여 노이즈가 있는 양자 장치에 대한 실용적 관련성을 확보하는 것.
• ρ와 σ가 모두 알려져 있지 않은 경우로 프레임워크를 확장하여, ρ⊗n과 σ⊗n의 복제만을 사용하여 두 개의 알려지지 않은 상태 간의 비교를 가능하게 하는 것.

제안 방법

• 유니터리 군의 표현 이론과 슈어-웨일 대칭을 사용하여 n개 복제의 공동 힐베르트 공간을 양자 도형으로 표시되는 기약 표현으로 분해한다.
• 약한 슈어 샘플링을 사용하여 양자 도형 λ ⊢ n에 해당하는 대칭 부분공간 투영을 측정함으로써 ρ의 다항식 함수를 추정한다.
• 힐베르트-스미트 관측량을 슈어-웨일 투영과 고유값 함수의 선형 조합으로 구성하여 제곱 힐베르트-스미트 거리의 비편향 추정을 가능하게 한다.
• 겔판트-츠레틴 기저와 유형 투영(Πτ)을 기반으로 한 대안 관측량을 도입하여, σ의 복제를 사전 준비하지 않고도 D²_HS(ρ,σ)를 추정한다.
• 슈어 변환을 활용하여 슈어 기저에서의 동시 측정을 수행함으로써, 시간 다항식(poly(n, d)) 내에 관측량을 효율적으로 계산할 수 있다.
• 집중 경계(예: 보조정리 2.1)를 적용하여 추정기의 분산이 O(1/n² + D²_HS/n) 스케일링을 따른다는 것을 보여주며, 이는 O(1/ε²) 복제로 신뢰할 수 있는 추정이 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 전체 톰그래피의 O(d²) 비용을 피하기 위해, d에 대해 제곱 이하의 샘플 복잡도로 양자 상태 인증을 달성할 수 있는가?
• RQ2 목표 상태 σ에서 작은 이탈이 있는 경우에도 수용하는 강건한 인증 프로토콜을 설계할 수 있는가? 즉, 산술 평균 또는 트레이스 거리 기준으로 가까운 상태를 수락하는가?
• RQ3 알려진 σ에 대해 알려진 상태 ρ가 가까운지 여부를 산술 평균 또는 트레이스 거리 기준으로 인증하는 데 필요한 최적의 샘플 복잡도는 무엇인가?
• RQ4 두 개의 알려지지 않은 상태를 비교할 수 있도록 프레임워크를 확장할 수 있는가? 이 경우 ρ⊗n과 σ⊗n의 복제만을 사용한다.
• RQ5 표현 이론적 도구인 슈어-웨일 대칭을 어떻게 활용하여 효율적이고 저복제 수의 양자 측정을 설계하여 상태 인증을 가능하게 할 수 있는가?

주요 결과

• 논문은 산술 평균 기반 인증에 대해 O(d/ǫ) 복제를 달성하였으며, 정보 이론적 하한선에 상수 요소를 제외하고 정확히 일치한다.
• 트레이스 거리 기반 인증의 경우 O(d/ǫ²) 복제를 달성하였으며, σ가 알려져 있지 않은 경우에도 최적이며 최적이다.
• 알려진 σ를 사용하는 대안 힐베르트-스미트 관측량에 기반한 알고리즘은 d에 독립적으로 O(1/ǫ²) 복제만을 요구하며, 힐베르트-스미트 거리에 대해 강건하다.
• 한 상태가 약간의 낮은 랭크(랭크 ≤k)일 경우 샘플 복잡도는 O(k/ǫ²)로 향상되며, 이는 시스템의 유효 차원을 반영한다.
• 프레임워크는 강건한 인증을 가능하게 한다: F(ρ,σ) < 1−ǫ 이면 알고리즘이 높은 확률로 "멀리 떨어져 있음"을 보고하고, ρ=σ 이면 "가까움"을 보고한다.
• 제안된 추정기의 분산은 O(1/n² + D²_HS/n)로 유계이며, 이는 신뢰성 있는 집중을 보장하고 높은 확률로 날카운 신뢰구간을 제공한다.