[논문 리뷰] Correlations and randomness generation based on energy constraints

Thomas van Himbeeck, Stefano Pironio|arXiv (Cornell University)|2019. 05. 22.

Molecular Communication and Nanonetworks참고 문헌 28인용 수 4

한 줄 요약

이 논문은 평균 에너지가 제한된 조건 하에서 양자 얽힘 없이 비밀성 있는 양자 난수 생성기(QRNG) 프로토콜을 제안한다. 랜덤성은 유한한 통계적 데이터와 블랙박스 측정 장치를 고려할 때도 양자 상관관계를 관측함으로써 에너지 제약 조건 하에서 인증된다. 저자는 선형계획법을 사용하여 측정 결과의 샤논 엔트로피 하한을 유도함으로써 프로토콜의 타당성을 입증한다.

ABSTRACT

In a previous paper, we introduced a semi-device-independent scheme consisting of an untrusted source sending quantum states to an untrusted measuring device, with the sole assumption that the average energy of the states emitted by the source is bounded. Given this energy constraint, we showed that certain correlations between the source and the measuring device can only occur if the outcomes of the measurement are non-deterministic, i.e., these correlations certify the presence of randomness. In the present paper, we go further and show how to quantify the randomness as a function of the correlations and prove the soundness of a QRNG protocol exploiting this relation. For this purpose, we introduce (1) a semidefinite characterization of the set of quantum correlations, (2) an algorithm to lower-bound the Shannon entropy as a function of the correlations and (3) a proof of soundness using finite trials compatible with our energy assumption.

연구 동기 및 목표

• 양자 얽힘 또는 오류 없는 벨 테스트가 필요 없이 실용적인 반장치 독립적 QRNG 프로토콜을 개발하는 것.
• 에너지 제약 조건 하에서 발생하는 양자 상관관계를 통해 생성된 랜덤성의 양을 정량적으로 측정하고, 엔트로피 인증을 철저히 보장하는 것.
• 유한한 통계적 시험 조건에서도 에너지 기반 가정을 유지하면서 QRNG 프로토콜의 타당성을 증명하는 것.
• 이러한 상황에서 양자 상관관계를 특성화하고 엔트로피를 한계짓는 데 사용할 수 있는 선형계획법 프레임워크를 수립하는 것.

제안 방법

• 에너지 제약 조건이 존재하는 준비-측정 시나리오에서의 양자 상관관계 집합을 선형계획법(SDP)으로 특성화한다.
• SDP 최적화를 사용하여 측정 결과의 샤논 엔트로피 하한을 수렴하는 방식으로 계산하는 알고리즘을 개발한다.
• 엔트로피 최적화 문제의 이중 형식을 사용하여 엔트로피 한계의 효율적인 수치 계산을 가능하게 한다.
• 최적화 과정에서 엔트로피 함수를 선형화하여 계산의 실현 가능성을 높인다.
• 이론적 일관성을 확보하기 위해 에너지 제약 조건이 존재하는 상황에서의 양자 상관관계 집합을 벨-치쉬 시나리오의 양자 집합으로 매핑한다.
• 비결정론적 모델 외부의 비고전적 상관관계가 존재할 경우 양성 엔트로피를 유도함으로써, 유한한 시험 횟수 조건 하에서 QRNG 프로토콜의 타당성을 증명한다.

실험 결과

연구 질문

• RQ1 에너지 제약 조건 하에서의 양자 상관관계는 반장치 독립적 방식으로 랜덤성을 인증하는 데 사용될 수 있는가?
• RQ2 에너지 제약 조건이 존재하는 상황에서 관측된 상관관계로부터 추출 가능한 랜덤성의 양을 어떻게 정량적으로 한계를 둘 수 있는가?
• RQ3 이 에너지 제약 조건이 존재하는 준비-측정 시나리오에서의 양자 상관관계 집합과 표준 벨-치쉬 집합 사이의 관계는 무엇인가?
• RQ4 완전한 장치 모델링 없이 에너지 제약 조건에 의존하는 QRNG 프로토콜에 대해 유한 표본 타당성 증명을 확립할 수 있는가?
• RQ5 선형계획법을 어떻게 사용하여 에너지 제약 조건 하에서 측정 결과의 엔트로피 하한을 효율적으로 계산할 수 있는가?

주요 결과

• 저자는 에너지 제약 조건이 존재하는 준비-측정 시나리오에서의 양자 상관관계 집합에 대해 새로운 선형계획법(SDP) 특성화를 도출하였으며, 이는 정밀한 엔트로피 측정을 가능하게 한다.
• SDP 기반 알고리즘을 통해 측정 결과의 샤논 엔트로피 하한을 수렴하는 일련의 값을 계산하였으며, 이는 한계에서 수렴이 보장된다.
• 유한한 통계적 데이터 조건 하에서도 프로토콜이 타당함을 증명하였으며, 이는 관측된 비고전적 상관관계가 유한한 데이터로도 양성 랜덤성을 암시함을 의미한다.
• 최소 추측 확률 $ G^ ext{max} $ 는 에너지 제약 조건이 있는 고전적 모델에 대한 최적화 문제를 통해 유계화되며, 비고전적 상관관계가 존재할 경우 그에 따른 엔트로피 $ -\log_2 G^ ext{max} $ 는 엄밀히 양수이다.
• 고전적(결정론적) 상관관계 집합이 완전히 특성화되어 있다: 최대 평균 에너지 제약 조건 하에서는 고전성이 성립하는 조건이 $ |E_1 + E_2| \leq 2(\omega_{\text{avg},1} + \omega_{\text{avg},2}) $ 를 만족할 때이며, 최대 피크 에너지 제약 조건 하에서는 비자명한 영역에서 $ E_1 = E_2 $ 를 만족할 때이다.
• 이 프레임워크는 양자 측정 정보를 $ S(A|X,\Lambda) \geq -\log_2 G(A|X,\Lambda) $ 를 통해 수용할 수 있어, 더 일반적인 보안 모델로의 적용 가능성을 확장한다.