[논문 리뷰] Semidefinite programs for completely bounded norms

John Watrous|ArXiv.org|2009. 01. 29.

Advanced Optimization Algorithms Research참고 문헌 29인용 수 38

한 줄 요약

이 논문은 초연산자의 완전히 유계 추적 노름과 스펙트럴 노름을 준엄한 준선형계획법(SDPs)을 통해 효율적으로 계산할 수 있음을 보여주며, 이중성에 의한 다항시간 알고리즘과 검증을 제공한다. 핵심 기여는 양자정보이론에서 채널 구별 가능성과 오류 수정을 정량화하는 데 핵심적인 이러한 노름을 증명 가능하게 효율적이고 구현 가능한 방법으로 계산할 수 있도록 한 것이다.

ABSTRACT

The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate proofs of some known facts about them.

연구 동기 및 목표

• 초연산자의 완전히 유계 추적 노름과 스펙트럴 노름을 계산하는 증명 가능하게 효율적인 방법을 제공하는 것. 이는 양자정보이론에서 핵심적인 역할을 한다.
• 이전 방법들이 반복적이고 수렴 분석이 부족했기 때문에, 이러한 노름을 계산하는 데 있어 효율적이고 검증 가능한 알고리즘이 부족한 문제를 해결하는 것.
• 이러한 노름을 준선형계획법으로 표현하여 기존의 다항시간 SDP 해법기구를 사용하고 이중성에 의한 검증을 가능하게 하는 것.
• 이전에 암묵적으로 표현된 바가 있었던 완전히 유계 추적 노름의 명시적이고 일반적인 SDP 표현을 제시하여 확장하고 명확화하는 것.
• SDP 표현의 분석적 힘을 보여주기 위해 양자 허밀로니티의 새로운 이중 특성화를 유도하고, 울만의 정리와 알베르티의 정리 사이의 이중성 증명하는 것.

제안 방법

• 복합계에서 작용하는 양의 정부호 연산자에 대한 준선형계획법의 원형으로 완전히 유계 추적 노름을 설정하고, 부분계의 추적 제약 조건을 포함한다.
• 라그랑주 이중성에 의해 이중 준선형계획법을 유도하여 최적값의 검증을 위한 증거 생성이 가능해진다.
• 울만의 정리를 활용하여 원형 최적값이 초연산자의 순수화에서의 감소 밀도 연산자 간의 양자 허밀로니티의 제곱과 같다는 것을 입증한다.
• 알베르티의 정리를 사용하여 이중 최적값 역시 허밀로니티의 제곱과 같다는 것을 보여주며, 두 정리 사이의 이중성 증명한다.
• 특히 양자 채널의 차이에 대해만 유효한 경쟁적 양자 게임 프레임워크를 기반으로 한 더 단순한 두 번째 SDP 표현을 제시한다.
• 기존의 다항시간 준선형계획법 해법기구를 활용하여 전체 계산이 결정론적 다항시간 내에 수행됨을 보장한다.

실험 결과

연구 질문

• RQ1 초연산자의 완전히 유계 추적 노름은 효율적으로 계산될 수 있으며, 실행 시간 보장이 증명 가능한가?
• RQ2 준선형계획법은 어떻게 완전히 유계 노름을 표현하고 계산할 수 있으며, 그 최적화 문제의 구조는 어떠한가?
• RQ3 울만의 정리와 알베르티의 정리 사이의 허밀로니티에 대한 관계는 무엇이며, 이중성은 어떻게 SDP 이중성으로 명시화할 수 있는가?
• RQ4 완전히 유계 노름은 효율적으로 검증될 수 있으며, 최적성의 증거는 어떤 형태를 띄는가?
• RQ5 초연산자가 두 개의 양자 채널의 차이인 경우, 완전히 유계 노름에 대한 단순화된 SDP 표현이 존재하는가?

주요 결과

• 초연산자의 완전히 유계 추적 노름은 입력 차원에 대해 다항식 크기인 준선형계획법의 최적값으로 계산될 수 있다.
• 원형 SDP의 최적값은 초연산자의 순수화에서의 감소 밀도 연산자 간의 양자 허밀로니티의 제곱과 같다.
• 이중 SDP 표현은 동일한 최적값을 얻으며, 이중 갭이 0이므로 강한 이중성임을 확인하고 노름 값의 효율적 검증이 가능하다.
• 유한 차원에서 울만의 정리와 알베르티의 정리는 원형과 이중 SDP를 각각 특성화하는 이중적인 진술임을 입증하였다.
• 경쟁적 양자 게임 프레임워크를 기반으로 한 두 번째 단순화된 SDP 표현이 유도되었으며, 이는 초연산자가 두 양자 채널의 차이인 경우에만 유효하다.
• 이 방법은 완전히 유계 노름을 계산하는 결정론적 다항시간 알고리즘을 제공하여 이전의 반복적 방법의 한계를 극복한다.