[논문 리뷰] Applications of semi-definite optimization in quantum information protocols

Piotr Mironowicz|arXiv (Cornell University)|2018. 10. 11.

Quantum Mechanics and Applications참고 문헌 6인용 수 5

한 줄 요약

이 논문은 NPA 계층 구조를 통해 준정적계획법(SDP)를 적용하여 양자정보 프로토콜을 분석하고 설계한다. 이는 하디의 역설에 기반한 새로운 양자 키 분배 프로토콜, 난수 확장 기법, 장치에 독립적인 난수 증폭 기법을 포함한다. 주요 기여는 준장치에 독립적인 프로토콜에 대한 SDP 근사화를 위한 수치 도구를 제공함으로써 양자 비국소성과 정보론적 보안성에 대한 엄밀한 분석을 가능하게 한다.

ABSTRACT

This work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information science. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter 1 a brief overview of mathematical methods used in this work is presented. In chapter 2 an introduction to quantum information science is given. Chapter 3 concerns the device-independent (DI) and semi-device-independent (SDI) approaches in quantum cryptography. In chapter 4 our results regarding quantum information protocols which we developed using SDP are described. The results include a new type of quantum key distribution protocol based on Hardy's paradox; several protocols for quantum random number expansion; a method of formulation of SDP relaxations of SDI protocols; and a DI Santha-Vazirani source of randomness amplification protocol. In chapter 5 an introduction to interior point methods is given. In chapter 6 the implementation of our numerical tool dedicated to problems occurring in chapter 4 are discussed and compared with other solutions.

연구 동기 및 목표

• 준정적계획법(SDP)을 계산 프레임워크로 활용하여 양자정보 프로토콜을 연구하는 것.
• 준장치에 독립적(SDI) 및 장치에 독립적(DI) 양자 프로토콜에서의 SDP 근사화 문제를 해결하기 위해 맞춤형 수치 구현을 개발하는 것.
• 비국소 상관관계를 바탕으로 한 새로운 양자 프로토콜—특히 양자 키 분배와 난수 확장—을 분석하고 구성하는 것.
• 양자 기초 및 양자정보에서 발생하는 SDP 문제를 해결하기 위한 실용적 도구를 제공하고, 기존 솔버들과 비교하는 것.
• NPA 계층 구조와 그의 근사화 기법을 활용하여 양자 확률 분포의 구조를 탐색하는 것.

제안 방법

• Navascues-Pironio-Acín(NPA) 방법을 사용하여 양자 상관관계의 볼록 근사를 준정적계획형식(SDP)으로 수식화한다.
• 내부점 방법을 적용하여 SDP 문제를 해결하며, SeDuMi 및 SDPT3와 같은 표준 솔버를 활용한다.
• 양자 확률 분포를 SDP 제약 조건의 해로 모델링하여 비국소성과 정보론적 성질을 분석할 수 있도록 한다.
• 준장치에 독립적(SDI) 및 장치에 독립적(DI) 프로토콜에서 발생하는 SDP 문제를 해결하기 위한 맞춤형 수치 도구를 개발하며, 수렴성과 정확도에 중점을 둔다.
• 해의 품질과 수렴성을 평가하기 위해 프레보리우스 노름과 원시/이중 잔여항을 사용한다.
• 행렬 표현 형식, 대칭 크로네커 tích, 벡터화 기법을 활용하여 공동 확률 분포와 제약 조건을 표현한다.

실험 결과

연구 질문

• RQ1 준정적계획법(SDP)을 어떻게 활용하여 하디의 역설에 기반한 양자 키 분배 프로토콜의 보안성과 성능을 엄밀히 분석할 수 있는가?
• RQ2 양자 시스템에서의 난수 확장의 한계는 무엇이며, SDP를 통해 이를 정량화할 수 있는가?
• RQ3 준장치에 독립적 양자 프로토콜에 대한 SDP 근사화를 체계적으로 어떻게 수립할 수 있는가?
• RQ4 NPA 계층 구조는 장치에 독립적인 상황에서 양자 비국소성과 난수를 효과적으로 인증하는 데에 활용될 수 있는가?
• RQ5 기존 도구인 SeDuMi 및 SDPT3와 비교할 때 맞춤형 SDP 솔버의 실용적 이점과 한계는 무엇인가?

주요 결과

• 하디의 역설에 기반한 새로운 양자 키 분배 프로토콜이 SDP를 활용하여 수립되고 분석되었으며, 비국소성 제약 조건 하에서의 실현 가능성과 보안성이 입증되었다.
• SDP 기반 분석을 통해 여러 양자 난수 생성 확장 프로토콜이 개발되고 검증되었으며, 향상된 난수 생성 속도를 보였다.
• 논문은 준장치에 독립적 프로토콜의 SDP 근사화 문제를 해결하기 위한 수치 도구를 성공적으로 구현하였으며, 기존 솔버들과 비교해도 경쟁 가능한 성능을 보였다.
• SDP 프레임워크를 통해 양자 확률 분포를 볼록집합으로 특성화할 수 있었으며, NPA 계층 구조는 점차 더 좁은 근사화를 제공하였다.
• 원시 및 이중 잔여항의 사용을 통해 SDP 최적화 과정에서의 수렴성과 해의 품질을 정확하게 모니터링할 수 있었다.
• 구현 결과, SDP는 특히 장치에 독립적 및 준장치에 독립적 환경에서 양자정보 프로토콜 분석에 강력하고 실용적인 도구임을 입증하였다.