[논문 리뷰] Relative entropy optimization in quantum information theory via semidefinite programming approximations

Hamza Fawzi, Omar Fawzi|arXiv (Cornell University)|2017. 05. 18.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 상대 엔트로피 최적화로 표현된 양자 정보 측정치를 수치적으로 계산하기 위한 정준형 프로그래밍 기반 프레임워크를 제안한다. 이는 행렬 로그 근사 방법을 활용하여 비다항식 특성을 지닌 양자 상대 엔트로피 함수를 처리한다. 이는 상대 엔트로피의 얽힘도 및 채널 용량과 같은 양을 계산할 수 있게 하며, 상대 엔트로피 복구를 통한 양자 조건부 상호정보량에 대한 추측된 하한값에 대한 수치적 반례를 제공한다.

ABSTRACT

Many quantum information measures can be written as an optimization of the quantum relative entropy between sets of states. For example, the relative entropy of entanglement of a state is the minimum relative entropy to the set of separable states. The various capacities of quantum channels can also be written in this way. We propose a unified framework to numerically compute these quantities using off-the-shelf semidefinite programming solvers, exploiting the approximation method proposed in [Fawzi, Saunderson, Parrilo, Semidefinite approximations of the matrix logarithm, arXiv:1705.00812]. As a notable application, this method allows us to provide numerical counterexamples for a proposed lower bound on the quantum conditional mutual information in terms of the relative entropy of recovery.

연구 동기 및 목표

• 상대 엔트로피 최적화로 표현된 양자 정보 측정치를 통합된 수치적 방법으로 계산하기 위한 개발.
• 분리 가능한 상태와 같은 양자 상태의 볼록 집합 위에서 양자 상대 엔트로피를 최소화하는 계산적 과제 해결.
• 상대 엔트로피의 얽힘도 및 양자 채널 용량과 같은 양의 실용적 계산 가능화.
• 상대 엔트로피 복구를 통한 양자 조건부 상호정보량에 대한 제안된 하한값을 시험하고 기각하기.

제안 방법

• 양자 정보의 상대 엔트로피 최적화 문제에 대한 근사해를 구하기 위해 정준형 프로그래밍(SDP) 솔버를 활용.
• Fawzi 등(2017)의 행렬 로그 근사 방법을 활용하여 양자 상대 엔트로피 함수의 비다항식 특성 처리.
• 상대 엔트로피의 얽힘도 및 채널 용량과 같은 양자 정보 측정치를 양자 상태 위의 볼록 최적화 문제로 재구성.
• 상대 엔트로피 복구에 대한 SDP 근사를 적용하여 조건부 상호정보량을 둘러싸는 데서의 역할 평가.
• 실용적 사례에서 수치적 안정성과 확장성을 확보하기 위해 표준 제품 SDP 솔버 사용.
• 수치 실험을 통해 방법을 검증하며, 이론적 추측에 대한 반례 생성.

실험 결과

연구 질문

• RQ1 정준형 프로그래밍 근사를 통해 양자 정보의 상대 엔트로피 최적화 문제는 효율적으로 해결될 수 있는가?
• RQ2 제안된 방법은 상대 엔트로피의 얽힘도 및 기타 양자 정보 측정치를 정확하게 계산할 수 있는가?
• RQ3 이 방법은 상대 엔트로피 복구를 통한 양자 조건부 상호정보량에 대한 추측된 하한값에 대한 수치적 반례를 탐지할 수 있는가?
• RQ4 실용적 환경에서 양자 상대 엔트로피의 비선형성을 잘 반영할 수 있는가?
• RQ5 이 프레임워크는 다양한 양자 정보 작업에서 수치적 성능와 신뢰성 측면에서 얼마나 우수한가?

주요 결과

• 제안된 프레임워크는 표준 SDP 솔버를 사용하여 상대 엔트로피의 얽힘도 및 채널 용량과 같은 양자 정보 측정치를 성공적으로 계산한다.
• 양자 상대 엔트로피에 대한 행렬 로그 근사 기법을 활용함으로써 정확한 수치 근사를 제공한다.
• 상대 엔트로피 복구를 통한 양자 조건부 상호정보량에 대한 제안된 하한값에 대한 수치적 반례를 생성한다.
• 반례들은 추측된 하한값이 일반적으로 성립하지 않음을 보여주며, 이는 이전에 제안된 양자 정보 이론의 부등식에 도전한다.
• 프레임워크는 강건하고 확장 가능하여 이전에는 계산하기 어려웠던 복잡한 양자 정보 측정치의 수치적 탐색을 가능하게 한다.