[논문 리뷰] On extreme Bosonic linear channels

A. S. Holevo|arXiv (Cornell University)|2011. 11. 15.

Spectral Theory in Mathematical Physics인용 수 4

한 줄 요약

이 논문은 비퇴화 조건 하에서 보존성 선형( quasi-free) 채널이 극단적임과 환경이 순수함과 동치임을 증명한다. 주요 결과는 유한 모드 보존성 시스템 간 가우시안 채널이 최소 노이즈를 가질 때 정확히 극단적임을 보여주며, 이는 이반, 사바파티, 시몬의 일모드 추측을 일반화한다.

ABSTRACT

The set of all channels with fixed input and output is convex. We first give a convenient formulation of necessary and sufficient condition for a channel to be extreme point of this set in terms of complementary channel, a notion of big importance in quantum information theory. This formulation is based on the general approach to extremality of completely positive maps in an operator algebra due to Arveson. We then apply this formulation to prove the main result of this note: under certain nondegeneracy conditions, purity of the environment is necessary and sufficient for extremality of Bosonic linear (quasi-free) channel. It follows that Gaussian channel between finite-mode Bosonic systems is extreme if and only if it has minimal noise.

연구 동기 및 목표

• 보존성 선형 채널의 볼록 집합 내 극단점들을 보완 채널 형식론을 통해 특성화하기.
• 아르베손 이론에 기반한 일반적인 완전 양성 매핑의 극단성 기준을 보존성 가우시안 채널의 구체적 경우로 확장하기.
• 일모드 가우시안 채널이 최소 노이즈를 가질 때 정확히 극단적임을 증명하는 추측을 해결하기.
• 보존성 선형 채널의 극단성에 대한 필요 및 충분 조건을 환경 순수성과 노이즈 최소성의 관점에서 설정하기.

제안 방법

• C*-대수 프레임워크 내에서 완전 양성 매핑의 극단성에 대한 아르베손의 특성화를 활용한다.
• 스티네스프링 확장에 의해 보완 채널 개념을 적용하며, 등급사상 $ V $ 를 통해 채널과 그 보완 매핑을 정의한다.
• 채널 $ \tilde{\rho} $ 가 극단적임과 동치로 그 보완 채널 $ \tilde{\tilde{\rho}} $ 가 자명한 핵을 가지는 것, 즉 $ \mathrm{Ker}\tilde{\tilde{\rho}} = 0 $ 임을 증명한다.
• 특성 함수와 와일 연산자를 통해 가우시안 채널을 분석하며, 채널을 $ \Phi_{K,l,\mu}[W_B(z_B)] = W(Kz_B) \exp[il^T z_B - \frac{1}{2}z_B^T \mu z_B] $ 로 표현한다.
• 공분산 행렬 형식론과 윌리엄슨의 표준형을 사용하여 가우시안 상태의 순수성과 노이즈 최소성을 분석한다.
• 역행렬이 존재하는 $ K $ 에 대해 $ \hat{K} = K^{-1}, \hat{l} = -(K^{-1})^T l, \hat{\mu^T} = (K^{-1})^T \mu K^{-1} $ 의 쌍대성 관계를 적용한다.

실험 결과

연구 질문

• RQ1 보존성 선형 채널이 모든 그러한 채널의 볼록 집합 내에서 극단점이 되는 조건은 무엇인가?
• RQ2 보존성 선형 채널의 극단성에 대해 환경의 순수성이 필수적이고 충분한가?
• RQ3 유한 모드 보존성 시스템 간의 가우시안 채널이 최소 노이즈를 가질 때 정확히 극단적일까?
• RQ4 이반, 사바파티, 시몬의 일모드 추측을 다중 모드 시스템으로 일반화할 수 있는가?
• RQ5 보완 채널의 구조는 가우시안 채널의 극단성과 어떤 관계가 있는가?

주요 결과

• 비퇴화 조건이 만족될 경우 보존성 선형 채널은 환경이 순수할 때 정확히 극단적임을 보여준다.
• 유한 모드 보존성 시스템 간의 가우시안 채널에 대해, 극단성은 최소 노이즈를 가짐과 동치이며, 즉 $ \mu $ 가 부정부정부등식 $ \mu \geq \frac{i}{2}[\Delta_B - K^T \Delta_A K] $ 의 최소 해임을 의미한다.
• 최소 노이즈 조건은 환경 내 대응하는 쌍대 상태의 공분산 행렬 $ \alpha_D $ 가 대칭 행렬의 부분순서에서 최소임을 의미한다.
• 가우시안 상태가 순수함과 동치로 공분산 행렬 $ \alpha $ 가 $ \alpha \geq \frac{i}{2}\Delta $ 를 만족하고 최소 해의 의미에서 등호를 만족함을 보여주며, 즉 모든 시플렉틱 고유값이 $ \frac{1}{2} $ 이다.
• 쌍대성 관계 $ (\hat{K}, \hat{l}, \hat{\mu}) = (K^{-1}, -(K^{-1})^T l, (K^{-1})^T \mu K^{-1}) $ 는 기존의 일모드 채널에 대한 쌍대성 관계를 일반화한다.
• 보완 채널 $ \tilde{\Phi} $ 의 핵이 자명함, 즉 $ \mathrm{Ker}\tilde{\Phi} = 0 $ 이라는 극단성 기준은 채널이 극단적임과 동치이다.