[논문 리뷰] Characterising correlations under informational restrictions

Armin Tavakoli, Emmanuel Zambrini Cruzeiro외 2명|arXiv (Cornell University)|2020. 07. 31.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 선형 프로그래밍을 통한 고전적 모델과 양자 시스템을 위한 정규화된 이차형식을 도입하여 정보 제약 조건 하에서 고전적 및 양자적 상관관계를 특성화한다. 이는 장치 독립적 정보 증거, 양자 자원에 대한 엄밀한 부등식, 그리고 정보 가정에 기반한 반장치 독립적 난수 생성 프로토콜을 가능하게 한다.

ABSTRACT

The strength of correlations observed between two separated events hinges on the amount of information transmitted between them. We characterise the correlations that can be created in classical and quantum experiments which feature a given amount of communicated information. For classical models, we present a complete characterisation of informationally restricted correlations in terms of linear programming. For quantum models, we develop a hierarchy of increasingly precise semidefinite relaxations to bound the set of informationally restricted quantum correlations. We leverage these techniques to i) derive device-independent witnesses of the information content of quantum communication, ii) the derivation of strict inequalities for different quantum information resources and iii) a new avenue for semi-device-independent random number generation based on the information assumption.

연구 동기 및 목표

• 제한된 정보 전송이 고전적 및 양자 시스템의 상관관계에 미치는 영향를 이해하는 것.
• 선형 프로그래밍을 사용하여 정보 제약 조건이 있는 고전적 상관관계를 완전히 특성화하는 것.
• 정보 제약 조건 하에서 양자 상관관계를 근사하기 위한 정규화된 이차형식 이론의 계층을 구축하는 것.
• 양자 통신의 정보 내용을 장치 특성에 대한 지식 없이도 증거로 삼을 수 있도록 하는 것.
• 정보 가정에 기반한 새로운 반장치 독립적 난수 생성 프로토콜을 수립하는 것.

제안 방법

• 정보 제약 조건이 있는 고전적 상관관계를 선형 프로그래밍을 통해 수식화하여 달성 가능한 상관관계 집합을 완전히 특성화하는 것.
• 주어진 정보 제한 하에서 양자 상관관계 집합을 둘러싸기 위한 정규화된 이차형식 이론의 계층을 도입하는 것.
• 정보 제약 조건과 상관관계 집합 간의 이중성 원리를 활용하여 통신 정보 내용의 장치 독립적 증거를 도출하는 것.
• 이론 계층을 적용하여 정보 제약 조건 하에서 서로 다른 양자 정보 자원을 구분하는 엄밀한 부등식을 유도하는 것.
• 당사자 간 전송되는 정보의 상한을 가정하여 반장치 독립적 난수 생성 프로토콜을 설계하는 것.

실험 결과

연구 질문

• RQ1 정보 교환에 제약이 있을 때 고전적 시스템에서 어떤 상관관계가 생성될 수 있는가?
• RQ2 정규화된 이차형식 프로그래밍을 사용하여 고정된 정보 제약 조건 하에서 양자 상관관계를 어떻게 제한할 수 있는가?
• RQ3 장치 특성에 대한 지식 없이도 양자 통신의 정보 내용을 증거로 삼을 수 있는가?
• RQ4 정보 제약 조건 하에서 서로 다른 양자 자원을 구분하기 위해 어떤 엄밀한 부등식을 도출할 수 있는가?
• RQ5 정보 가정이 새로운 반장치 독립적 난수 생성 프로토콜을 가능하게 할 수 있는가?

주요 결과

• 선형 프로그래밍을 통해 정보 제약 조건이 있는 고전적 상관관계의 완전한 특성화가 달성되어 달성 가능한 상관관계에 대한 정확한 경계가 제공된다.
• 정보 제약 조건 하에서 양자 상관관계 집합을 근사하기 위한 정규화된 이차형식 이론의 계층이 개발되었으며, 레벨이 높아질수록 정밀도가 향상된다.
• 장치 독립적 증거가 도출되어 정보 제약 조건 하에서 장치의 전체 지식 없이도 정보 내용을 탐지할 수 있다.
• 정보 제약 조건 하에서 상관관계 구조에 기반하여 서로 다른 양자 정보 자원을 구분하는 엄밀한 부등식이 확립된다.
• 전송되는 정보의 상한을 유일한 가정으로 삼는 새로운 반장치 독립적 난수 생성 프로토콜이 제안되었으며, 이는 보안성과 실용성을 향상시킨다.