[논문 리뷰] Two proofs of Størmer's theorem

Guillaume Aubrun, Stanisław J. Szarek|arXiv (Cornell University)|2015. 12. 10.

Quantum Information and Cryptography참고 문헌 12인용 수 3

한 줄 요약

이 논문은 2×2 복소행렬에서의 정규성 보존 사상이 완전히 양성 및 코-완전히 양성 사상의 합으로 표현됨을 특징짓는 Størmer의 정리를 위한 두 개의 간결하고 새로운 증명을 제시한다. 첫 번째 증명은 Brouwer의 고정점 정리를 사용하여 일반적인 경우를 이중정규화된 경우로 감소시키며, 두 번째 증명은 S-레마와 Lorentz 원뿔의 쌍대성에 기반하여 기존의 복잡한 수작업 계산을 간결하게 대체한다. 주요 기여는 이론의 구조적 결과를 개념적으로 단순하고 자가 포함적인 방식으로 유도한 것이다.

ABSTRACT

The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2 x 2 or 2 x 3 quantum system is entangled or separable. However, even in these low dimensional cases, the existing arguments (known to the authors) were based on long and seemingly ad hoc computations. We present a simple proof, based on Brouwer's fixed point theorem, for the 2 x 2 case (Størmer's theorem). For completeness, we also include another argument (following the classical outline, but highly streamlined) based on a characterization of extreme self-maps of the Lorentz cone and on a link - noticed by R. Hildebrand - to the S-lemma, a well-known fact from control theory and quadratic/semi-definite programming.

연구 동기 및 목표

• 2×2 에르미트 행렬에서의 정규성 보존 사상의 구조에 대한 Størmer의 정리를 새로운, 기본적인 방식으로 증명하는 것.
• 기존 증명에서 복잡하고 특수한 계산을 피하기 위해 Brouwer의 고정점 정리를 기반으로 한 간결한 증명으로 대체하는 것.
• S-레마와 Lorentz 원뿔의 쌍대성에 기반한 두 번째 간결한 증명을 제시하여 양자 정보 이론과 제어 이론을 연결하는 것.
• 모든 이러한 사상이 최대 네 개의 항 $ A\rho A^\dagger $ 및 $ B\rho^T B^\dagger $ 형태로 분해됨을 보여주어 분해가 유한하고 명시적임을 확인하는 것.

제안 방법

• Brouwer의 고정점 정리를 사용하여 $ \mathsf{M}_2^{sa} $에서 내부 정규성 보존 사상이 양의 정부호 연산자에 의해 이중정규화 사상과 동치임을 보이는 것.
• 2차원 복소벡터 공간 $ \mathbb{C}^2 $에서 밀도 행렬의 블로흐 구 표현을 활용하여, 이중정규화 사상을 $ \mathbb{R}^3 $에서 단위 구를 자신 안으로 보존하는 선형 연산자로 식별하는 것.
• Carathéodory의 정리를 적용하여 이러한 연산자를 최대 네 개의 직교 변환의 볼록 조합으로 표현하며, 이는 유니터리 및 전치 사상에 대응한다.
• 쌍대성을 활용하여 정규성 보존 사상과 양의 준정부호 행렬의 원뿔 간의 관계를 설정하고, Lorentz 원뿔 $ \mathcal{L}_n $의 구조를 활용하는 것.
• 재형식화된 S-레마를 적용하여 두 이차형식이 전체 공간을 덮는 조건을 특징지워 극단성과 분해를 증명하는 데 사용하는 것.
• 모든 극단 사상은 Lorentz 원뿔의 자동형사상이어야 하며, 이로 인해 원하는 분해가 유도됨을 보이는 것.

실험 결과

연구 질문

• RQ1 Størmer의 정리는 장기간의 특수한 계산에 의존하지 않고도 증명될 수 있는가?
• RQ2 Brouwer의 고정점 정리는 저차원 양자 시스템에서 정규성 보존 사상의 구조를 증명하는 데 간소화된 방식으로 적용될 수 있는가?
• RQ3 제어 이론에서의 $ S $-레마는 $ \mathsf{M}_2^{sa} $에서 정규성 보존 사상의 분해와 직접적인 연결이 있는가?
• RQ4 $ \mathsf{M}_2^{sa} $에서 정규성 보존 사상의 분해에 필요한 최소 항의 수는 얼마인가?
• RQ5 Lorentz 원뿔의 구조는 정규성 보존 사상의 극단성과 어떻게 관련이 있는가?

주요 결과

• 모든 정규성 보존 사상 $ \Phi: \mathsf{M}_2^{sa} \to \mathsf{M}_2^{sa} $ 는 $ \Phi(\rho) = \sum_j A_j \rho A_j^\dagger + \sum_k B_k \rho^T B_k^\dagger $ 로 분해 가능하며, 이는 사상이 분해 가능하다는 것을 확인한다.
• 분해에 포함된 총 항의 수는 $ \mathbb{R}^3 $의 단위 구에 대해 Carathéodory의 정리를 적용함으로써 최대 네 개로 보장된다.
• Brouwer의 고정점 정리를 통한 증명은 일반적인 경우를 이중정규화된 경우로 감소시키며, 이 경우 사상은 최대 혼합 상태와 트레이스를 유지한다.
• 두 번째 증명은 정규성 보존 사상의 극단성과 Lorentz 원뿔 $ \mathcal{L}_n $의 자동형사상 간의 연결을 확립하여, 비극단적 사상은 원뿔 내에서 편향을 가질 수 있음을 보여준다.
• 재형식화된 S-레마를 사용하여 두 이차형식이 $ \mathbb{R}^n $ 전체를 덮는다면, 그 볼록 조합은 양의 준정부호가 되며, 이는 극단성 증명에 필수적이다.
• 증명은 원뿔의 극단사상이 아닌 모든 사상은 정규성 보존을 유지하는 편향을 가질 수 있음을 보여주며, 이는 사상이 Lorentz 원뿔의 자동형사상이 아닐 경우 그 반사선이 극단적이 될 수 없음을 의미한다.