[논문 리뷰] Simpler semidefinite programs for completely bounded norms

John Watrous|arXiv (Cornell University)|2012. 07. 24.

Advanced Optimization Algorithms Research참고 문헌 11인용 수 14

한 줄 요약

이 논문은 유한차원 연산자 공간 간의 선형 사상에 대한 완전히 유계(trace 및 스펙트럼) 노름을 계산하기 위한 두 가지 단순화된 정규화된 선형계획법 공식을 제시한다. Choi-Jamiołkowski 이sovorphism과 신뢰도 기반 특성화를 활용함으로써, 새로운 공식은 구조적 복잡성을 줄이면서도 계산 효율성을 유지하여 양자 정보 이론과 연산자 공간 분석에서 더 직관적이고 다루기 쉬운 최적화를 가능하게 한다.

ABSTRACT

The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much simpler, semidefinite programming formulations of these norms.

연구 동기 및 목표

• 기존의 정규화된 선형계획법 공식을 완전히 유계(trace 및 스펙트럼) 노름에 대해 단순화하기.
• 이 노름들이 양자 정보 이론과 연산자 공간 이론에서 개념적이고 계산적으로 접근하기 쉽게 개선하기.
• 기존 방법과 동일한 계산 효율성을 유지하면서도 더 쉽게 구현하고 분석할 수 있는 공식 제공하기.
• 이 노름들에 대한 다항시간 근사 알고리즘을 지원하는 이중 탐색 가능성의 경계 설정하기.

제안 방법

• 선형 사상을 더 큰 힐베르트 공간 내의 연산자로 표현하기 위해 Choi-Jamiołkowski 이sovorphism을 활용하여 표준 정규화된 선형계획법 기법을 적용할 수 있도록 한다.
• 완전히 유계된 트레이스 노름의 신뢰도 기반 특성화를 활용하여 변수와 제약 조건 수가 더 적은 새로운 단순한 정규화된 선형계획법을 유도한다.
• 약속 맵의 수반을 분석하여 이중 탐색 가능성 조건을 도출함으로써 다항시간 해법 가능성을 보장한다.
• 내부점 방법의 수렴 보장을 위해 이중 탐색 가능한 해의 트레이스 및 프로베니우스 노름에 대한 상한을 확립한다.
• 수반 맵의 스펙트럼 노름에 대한 경계를 유도하여 이중 탐색 가능성 매개변수 ε에 대한 하한을 도출함으로써 이중 탐색 가능 영역이 비어 있지 않음을 보장한다.
• 정규화된 선형계획법의 알려진 복잡도 결과(예: [GLS93] 및 [Lov03])를 적용하여 정확도 δ 내에서 다항시간 근사가 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 기존에 알려진 것보다 더 단순한 정규화된 선형계획법 공식을 통해 완전히 유계된 트레이스 및 스펙트럼 노름을 표현할 수 있는가?
• RQ2 계산 효율성을 희생시키지 않고 정규화된 선형계획법 공식에서 어떤 구조적 단순화를 달성할 수 있는가?
• RQ3 이 노름들에 대한 이중 탐색 가능한 해의 크기에 대한 날카운 경계는 무엇이며, 이를 효율적으로 계산할 수 있는가?
• RQ4 다항시간 근사 알고리즘을 지원할 수 있도록 이중 탐색 가능성을 어떻게 보장할 수 있는가?
• RQ5 해당 새로운 공식은 복소수나 Choi 행렬과 같은 다른 특성화로부터 유도될 수 있는가? 이를 통해 해석 가능성을 향상시킬 수 있는가?

주요 결과

• 논문은 [Wat09]의 공식보다 훨씬 단순한 두 가지 새로운 정규화된 선형계획법을 완전히 유계된 트레이스 및 스펙트럼 노름에 대해 제시한다.
• 신뢰도 기반 공식의 경우, ε = 1 / (4(1 + ||Ψ₀*||∞ + ||Ψ₁*||∞)) 일 때 이중 탐색 가능성이 보장되며, 이는 입력 크기의 다항식이다.
• Choi-Jamiołkowski 기반 공식의 경우, ε = 1 / (2 dim(𝒴)) 일 때 이중 탐색 가능성이 성립하며, 이 역시 입력 크기의 다항식이다.
• 신뢰도 기반 정규화된 선형계획법의 경우, 이중 탐색 가능한 해의 트레이스에 대한 상한은 R = ||Ψ₀*(𝕀)||∞ + ||Ψ₁*(𝕀)||∞ + 2 dim(𝒵) 이며, 이는 해의 크기가 유계임을 보장한다.
• Choi 기반 정규화된 선형계획법의 경우, 임의의 최적의 이중 해의 트레이스는 R = 2 ||J(Φ)||∞ dim(𝒳) dim(𝒴) 이하이며, 이는 이중 해의 프로베니우스 노름을 유계로 둔다.
• ε 및 R에 대한 이러한 경계는 표준 정규화된 선형계획법 복잡도 이론에 따라 다항시간 근사 알고리즘이 정확도 δ 내에서 노름을 계산할 수 있음을 보장한다.