[논문 리뷰] Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension

Honghao Fu|arXiv (Cornell University)|2019. 11. 04.

Quantum Mechanics and Applications참고 문헌 9인용 수 4

한 줄 요약

이 논문은 국소 차원이 유계가 아닌 최대 얽힘 양자 상태를 강건하게 자가검증할 수 있는 일정한 크기의 상관관계—구체적으로 r ∈ {2, 3, 5}에 대해 크기가 Θ(r²)인 것—를 보여준다. Slofstra의 임bedding 구조와 소수의 원시근이 작은 성질을 활용하여, 단위수 공액 관계 UOU† = Or을 강제하는 상관관계를 설계함으로써, 국소 차원이 무한대일 경우에도 질문 및 답변 집합의 크기가 일정한 채로 고차원 최대 얽힘 상태를 자가검증할 수 있다.

ABSTRACT

We show that for any prime odd integer $d$, there exists a correlation of size $Θ(r)$ that can robustly self-test a maximally entangled state of dimension $4d-4$, where $r$ is the smallest multiplicative generator of $\mathbb{Z}_d^\ast$. The construction of the correlation uses the embedding procedure proposed by Slofstra (Forum of Mathematics, Pi. Vol. $7$, ($2019$)). Since there are infinitely many prime numbers whose smallest multiplicative generator is at most $5$ (M. Murty The Mathematical Intelligencer $10.4$ ($1988$)), our result implies that constant-sized correlations are sufficient for robust self-testing of maximally entangled states with unbounded local dimension.

연구 동기 및 목표

• 고차원 국소 차원을 가진 최대 얽힘 상태를 자가검증하기 위해 필요한 질문 및 답변 집합의 크기를 최소화하는 것.
• 국소 차원이 무한대인 최대 얽힘 상태의 자가검증이 일정한 크기의 상관관계만으로 가능하다는 것을 보여주는 것.
• 소수의 원시근이 작은 성질(r ∈ {2, 3, 5})을 활용하여 이러한 상관관계를 구성하는 것.
• 큐비트 및 저차원 시스템을 넘어서 임의의 큰 차원으로 자가검증 프레임워크를 확장하여, 측정 설정의 크기가 일정한 채로 유지하는 것.
• 관측된 상관관계에 대한 작은 통계적 편차에 대해 자가검증 프rotocol의 강건성을 확립하는 것.

제안 방법

• Zp*의 곱셈 생성자에 기반한 군 이론적 성질에서 유도된 Θ(r)개의 방정식과 변수를 가진 이진 선형계 Âx = 0를 사용하여 이원자 양자 상관관계 Pp,r를 구성한다.
• Slofstra의 임베딩 절차를 활용하여, 각 소수 p에 대해 최소 원시근이 r인 경우, 질문 및 답변 집합의 크기가 일정한 비국소 게임으로 선형계를 매핑한다.
• 선형계 내의 완벽한 상관관계를 통해 단위수 공액 관계 UOU† = Or를 강제함으로써, 공유 상태에 양자적 제약 조건을 부여한다.
• 제어된 단위수 연산과 얽힌 보조 상태를 사용하는 양자 전략을 설계하여 상관관계를 실현하며, 공유 상태가 차원 p−1의 최대 얽힘 상태와 국소 등급 동치임을 보여준다.
• 표현 이론적 기법을 적용하여, 완벽한 상관관계를 달성하는 모든 전략이 필수적인 반교환 및 공액 관계를 만족하는 관측량을 구현해야 한다는 것을 보여준다.
• 통계적 편차 ε에 대해 실제 상태와 목표 최대 얽힘 상태 사이의 거리를 유계로 제한함으로써 강건성을 증명하며, 오차 한계로 O(r^p ε^{1/8})를 도출한다.

실험 결과

연구 질문

• RQ1 국소 차원이 무한대인 최대 얽힘 상태의 자가검증이 질문 및 답변 집합의 크기가 일정한 조건에서 가능할 수 있는가?
• RQ2 이러한 일정한 크기의 상관관계를 구성하는 데 기여하는 소수의 수론적 성질은 무엇인가?
• RQ3 국소 차원에 따라 스케일링되지 않는 상관관계를 통해 고차원 최대 얽힘 상태를 자가검증할 수 있는가?
• RQ4 단위수 공액 관계 UOU† = Or이 고차원 얽힘 상태의 자가검증을 강제하는 구조적 제약 조건으로 사용될 수 있는가?
• RQ5 관측된 상관관계가 이상적인 상관관계에서 작은 편차를 보일 경우 자가검증 프로토콜의 강건성은 어떻게 되는가?

주요 결과

• 모든 홀수 소수 p 중 최소 원시근이 r인 경우, 크기가 Θ(r²)인 상관관계 Pp,r의 가족이 존재하며, 이는 국소 차원이 p−1인 최대 얽힘 상태를 자가검증한다.
• r ∈ {2, 3, 5}인 경우, 질문 및 답변 집합의 크기는 무한한 소수 집합 D 내의 모든 소수 p에 대해 일정하게 유지된다.
• 이 구성은 단위수 공액 관계 UOU† = Or를 강제하는 선형계 Âx = 0에 의존하며, 이는 원하는 얽힘 구조를 유도하는 데 핵심적이다.
• 자신검증 프로토콜은 강건하다: 관측된 상관관계가 Pp,r에서 ε만큼 벗어나면, 실제 상태는 국소 등급 동치 하에 목표 최대 얽힘 상태와 O(r^p ε^{1/8}) 이내에 있다.
• 결과적으로, 원시근이 {2, 3, 5}인 소수가 무한히 많다는 점을 고려할 때, 국소 차원이 무한대인 최대 얽힘 상태의 자가검증을 위한 일정한 크기의 상관관계가 충분하다.
• 프로토콜은 목표 상태와 두 개의 EPR 쌍의 텐서 곱을 자가검증하도록 확장할 수 있으나, 관측량 O₁과 O₂의 개별 자가검증은 서로 다른 등급 동치로 인해 아직 열려있다.