[논문 리뷰] Bures Contractive Channels on Operator Algebras

Douglas Farenick, Mizanur Rahaman|arXiv (Cornell University)|2017. 04. 02.

Advanced Operator Algebra Research참고 문헌 29인용 수 7

한 줄 요약

이 논문은 유일한 C*-대수에서 정확한 추적을 갖는 조건 하에서 조밀도 연산자의 공간 위에서 Bures 거리가 타당한 거리로 인정되며, 양의, 추적을 보존하는 선형 사상(채널)이 이 거리에서 비확장성임을 증명하고, Bures 수축 채널—Bures 거리를 엄격히 감소시키는 채널—을 도입한다. 주요 기여는 Frobenius 이론을 통해 이러한 채널를 특성화한 것으로, 기약 Bures 수축 채널의 스펙트럼 반경은 1이며, 곱셈 도메인의 차원은 1이 되어, 그들이 싱글턴을 초월하는 집합에서 수정 가능하지 않음을 시사한다.

ABSTRACT

In a unital C*-algebra with a faithful trace functional $τ$, the set $D_τ(A)$ of positive $ρ\in A$ of trace τ(ρ)=1 is an algebraic analogue of the space of density matrices (the set of all positive matrices of a fixed dimension of unit trace). Motivated by the literature concerning the metric properties of the space of density matrices, the present paper studies the density space $D_τ(A)$ in terms of the Bures metric. Linear maps on A that map $D_τ(A)$ back into itself are positive and trace preserving, hence, they may be viewed as an algebraic analogue of a quantum channel, which are studied intensely in the literature on quantum computing and quantum information theory. The main results in this paper are: (i) to establish that the Bures metric is indeed a metric, (ii) to prove that channels induce nonexpansive maps of the density space $D_τ(A)$, (iii) to introduce and study channels on A that are locally contractive maps (which we call Bures contractions) on the metric space $D_τ(A)$, and (iv) to analyse Bures contractions from the point of view of the Frobenius theory of cone preserving linear maps. Although the focus is on unital C*-algebras, an important class of examples is furnished by finite von Neumann algebras. Indeed, several of the C*-algebra results are established by first proving them for finite von Neumann algebras and then proving them for C*-algebras by embedding a C*-algebra A into its enveloping von Neumann algebra $A^{**}$.

연구 동기 및 목표

• 유일한 C*-대수에서 정확한 추적을 갖는 조밀도 연산자의 공간 위에서 Bures 거리가 잘 정의된 거리임을 확립한다.
• 그러한 대수에서 양의, 추적을 보존하는 선형 사상(채널)이 Bures 거리 하에서 비확장성 사상으로 작용함을 증명한다.
• Bures 수축 채널—Bures 거리를 엄격히 감소시키는 채널—을 정의하고 그 구조를 분석한다.
• 기약 Bures 수축 채널에 대해 Frobenius 이론을 적용하여 스펙트럼 성질과 곱셈 도메인에 초점을 맞춘다.
• 역행성 있는 Bures 수축 채널이 두 개 이상의 원소를 갖는 조밀도 연산자 집합에서 수정 가능하지 않음을 보여준다.

제안 방법

• 충성도 함수 $ F_{\tau}(\rho, \rho') = \tau(|\rho^{1/2}\rho'^{1/2}|) $ 를 사용하여 Bures 거리를 정의하고, 정확한 추적을 갖는 C*-대수의 맥락에서 거리 공리가 만족됨을 증명한다.
• C*-대수를 그의 둘레 von Neumann 대수에 통합함으로써, 먼저 유한 von Neumann 대수 설정에서 결과를 증명한 후 일반 C*-대수로 확장한다.
• 채널을 대수 위의 사상으로 정의하며, 양의성과 추적 보존을 유지하고, 조밀도 공간 $\mathcal{D}_{\tau}(\mathsf{A})$ 위에 연속적인 애핀 사상으로 유도됨을 보인다.
• 모든 서로 다른 $ \rho, \rho' \in \mathcal{D}_{\tau}(\mathsf{A}) $ 에 대해 $ d_B^\tau(\mathcal{E}(\rho), \mathcal{E}(\rho')) < d_B^\tau(\rho, \rho') $ 를 만족하는 채널을 Bures 수축 채널로 정의하고, 그 스펙트럼 및 곱셈 도메인의 구조를 분석한다.
• 콘의 보존 선형 사상에 대한 Frobenius 이론을 적용하여 기약 Bures 수축 채널을 분석하고, 페론 값과 단위 구의 극점에 집중한다.
• Kadison의 정리(단위 구의 극점에 대한)를 사용하여, Bures 수축 채널이 유한하고 소수인 C*-대수에서 단위 구의 비스칼라 극점으로 원소를 매핑할 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 유일한 C*-대수에서 정확한 추적을 갖는 조건 하에서 Bures 거리 $ d_B^\tau $ 는 조밀도 연산자의 공간 위에서 타당한 거리인가?
• RQ2 그러한 대수에서 양의, 추적을 보존하는 선형 사상(채널)이 Bures 거리 하에서 비확장성 사상으로 작용하는가?
• RQ3 Bures 수축 채널—Bures 거리를 엄격히 감소시키는 채널—은 어떤 구조적 성질을 가지며, 특히 그 곱셈 도메인에 관해 무엇을 알 수 있는가?
• RQ4 콘의 보존 선형 사상에 대한 Frobenius 이론은 기약 Bures 수축 채널에 어떻게 적용되며, 그 스펙트럼 반경과 고정점에 관해 무엇을 말할 수 있는가?
• RQ5 Bures 수축 채널은 두 개 이상의 원소를 갖는 조밀도 연산자 집합에서 수정 가능한가?

주요 결과

• 유일한 C*-대수에서 정확한 추적을 갖는 조건 하에서 Bures 거리 $ d_B^\tau $ 는 $ \tau $-조밀도 공간 $ \mathcal{D}_{\tau}(\mathsf{A}) $ 위에서 잘 정의된 거리이다.
• 모든 채널 $ \mathcal{E} $ 는 $ (\mathcal{D}_{\tau}(\mathsf{A}), d_B^\tau) $ 위에서 비확장성 사상으로 작용하며, 모든 $ \rho, \rho' \in \mathcal{D}_{\tau}(\mathsf{A}) $ 에 대해 $ d_B^\tau(\mathcal{E}(\rho), \mathcal{E}(\rho')) \leq d_B^\tau(\rho, \rho') $ 를 만족한다.
• Bures 수축 채널의 곱셈 도메인은 차원 1을 가지며, $ \mathbb{C} \cdot 1 $ 과 같다. 이는 비자명한 경우에 unitary 또는 invertible일 수 없음을 의미한다.
• 기약 Bures 수축 채널의 스펙트럼 반경은 1이며, 그 주변 스펙트럼은 단지 $ \{1\} $ 에서만 단위 원주와 만난다. 이는 고정점으로의 점근적 수렴을 시사한다.
• Bures 수축 채널은 두 개 이상의 원소를 갖는 조밀도 연산자 집합에서 수정 가능하지 않다. 수정 가능성은 등거리성 요구를 수반하나, 엄격한 수축성과 모순된다.
• 유한하고 소수인 C*-대수에서, Bures 수축 채널이 단위 구에 대한 이미지가 비스칼라 극점들을 포함할 수 없다. 이는 곱셈 도메인의 구조와 샤워츠 부등식에 기인한다.