[논문 리뷰] Self-testing Dicke states

Matteo Fadel|arXiv (Cornell University)|2017. 07. 05.

Machine Learning in Materials Science인용 수 7

한 줄 요약

이 논문은 N-큐비트 상태에서 k개의 교란 상태를 갖는 대칭적인 N-큐딧 상태인 딕키 상태에 대한 장치 독립적 자기검증 프로토콜을 제시한다. 이는 N명의 당사자가 관측하는 특정 측정 통계를 검증함으로써 이루어지며, Wu 등(2014)의 일반화된 프로토콜을 기반으로 하여 특정 상관 패턴을 관측할 경우 물리적 상태가 국소 등급 변환을 제외하고 이상적인 딕키 상태와 동치임을 증명한다. 실험적 노이즈 상황에서도 이론적 안정성에 대한 추정치를 제공한다.

ABSTRACT

We show that, upon the observation of a specific measurement statistic, Dicke states can be self-tested. Our work is based on a generalization of the protocol considered by Wu et al. [PRA 90 042339 (2014)], and constitutes a device-independent method for the characterization of a physical device. For realistic situations where experimental imperfections lead to a deviation from the ideal statistics, we give an estimate for the fidelity of the physical state compared to the ideal Dicke state.

연구 동기 및 목표

• 관측된 측정 통계만을 사용하여 장치 독립적 자기검증 방법을 개발함으로써 딕키 상태를 인증하는 것.
• 벨 상태와 W 상태를 초월하여 비트리버스한 대칭 딕키 상태(교란 수 k > 1)로 자기검증 프로토콜을 확장하는 것.
• 실험적 비완전성 하에서 프로토콜의 안정성 추정치를 제공하여 이상적인 딕키 상태와의 허용도를 정량화하는 것.
• 국소 측정과 상관 제약 조건을 사용하여 다자적 대칭 상태로 자기검증 프레임워크를 일반화하는 것.

제안 방법

• 물리적 상태가 국소 보조 큐비트를 제외하고 기준 딕키 상태로 매핑되는 국소 등급 변환을 통한 자기검증 정의.
• N명의 관측자가 딕키 상태 |D_N^k⟩에서 X, Z, 그리고 (X+Z)/√2 측정을 수행하는 기준 모델을 정의.
• 모든 측정 설정에서 관측된 통계가 이상적인 딕키 상태 상관 관계와 일치하도록 요구함으로써 등가성을 확립.
• Z기저 결과에 대한 프로젝터 P_{A_i}^{a_i} = (1 + (-1)^{a_i} Z_{A_i})/2 를 사용하여 이상 통계에서의 편차에 대한 경계 유도.
• 물리적 상태를 |junk⟩ ⊗ |Ψ*⟩ 에 가까운 상태로 매핑하는 등급 변환 Φ를 구성함.
• ε (|Z⟩ 기저 프로젝터 기대치의 편차) 및 δ₁ (X/Z 상관 통계의 편차)를 포함한 오차 경계를 통한 허용도 추정.

실험 결과

연구 질문

• RQ1 이상적인 상태나 측정 장치를 가정하지 않고, 관측된 측정 통계만을 사용하여 딕키 상태를 자기검증할 수 있는가?
• RQ2 물리적 상태가 딕키 상태와 동치임을 인증하기 위해 필요한 최소한의 측정 설정과 상관 패턴은 무엇인가?
• RQ3 실험적 노이즈 및 이상 통계에서의 편차 상황에서 자기검증 프로토콜의 안정성은 어느 정도인가?
• RQ4 비완전한 통계 하에서 물리적 상태와 이상적인 딕키 상태 사이의 허용도에 대한 정량적 경계는 무엇인가?
• RQ5 벨 상태와 W 상태에서의 자기검증 프레임워크를 k > 1 교란 수를 갖는 일반적인 대칭 딕키 상태로 확장할 수 있는가?

주요 결과

• 딕키 상태는 N명의 당사자 간 특정 측정 통계를 관측하는 장치 독립적 프로토콜을 통해 자기검증이 가능하다.
• 프로토콜은 각 당사자에게 몇 개의 측정 설정만 필요하며, 한 명의 당사자에서 수행하는 X, Z, 그리고 (X+Z)/√2 측정의 상관 관계에 의존한다.
• 물리적 상태와 이상적인 딕키 상태 사이의 허용도는 ε (Z-프로젝션 통계의 편차) 및 δ₁ (X/Z 상관 통계의 편차)에 대한 함수로 경계된다.
• 오차 경계는 (2^N - (N choose k))|ε| + (Γ(N)/(Γ(k)Γ(N−k))) (2δ₁ + √(6|ε|)) + |√|1 + (N choose k)ε| − 1| 으로 표현되며, 이는 안정성의 정량적 측정을 가능하게 한다.
• 실험적 비완전성 상황에서도 프로토콜은 목표 딕키 상태로의 높은 허용도를 유지하여 실용적 타당성을 확인한다.
• 물리적 상태가 이상적인 딕키 상태로 매핑되는 국소 등급 변환이 존재함(잡 큐비트를 제외하고)은 자기검증 정의에 따라 등가성을 확인한다.