[논문 리뷰] A Continuity Theorem for Stinespring's Dilation

Dennis Kretschmann, Dirk Schlingemann외 1명|ArXiv.org|2007. 10. 12.

Quantum Mechanics and Applications참고 문헌 12인용 수 6

한 줄 요약

이 논문은 스티네스프링의 확장에 대한 연속성 정리를 수립하여, 두 완전히 양의 지도가 완전히 유계(norm)(cb) 노름에서 가까운지 여부를 그들의 스티네스프링 확장이 연산자 노름에서 가까운지 여부와 동치임을 증명한다. 핵심 결과는 완전히 양의 지도에 대해 cb-노름 거리와 브어스 거리 사이의 등가성을 보여주며, 확장의 유일성 정리를 근사적인 설정으로 일반화한다.

ABSTRACT

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C*-algebras are close in cb-norm iff we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.

연구 동기 및 목표

• 완전히 양의 지도 간의 cb-노름 거리와 그들의 스티네스프링 확장 간의 연산자 노름 거리 사이의 연속성 정리를 수립한다.
• 스티네스프링의 유일성 정리를 근사적인 설정으로 일반화하여, cb-노름에서 가까운 지도들이 가까운 확장을 가질 수 있음을 보인다.
• 완전히 양의 지도에 대해 cb-노름 거리와 브어스 거리 사이의 등가성을 증명하여, 브어스의 메트릭을 양의 함수계수에서 일반적인 cp 지도로 확장한다.
• 양자 운영의 안정성과 그들의 확장의 안정성 간의 관계를 통해 양자 정보 이론에서의 강인성 분석 기반을 마련한다.
• 유니탈 지도가 유한 차원 대수에서 정의된 경우에 한해 성립하는 결과를 일반적인 C*-대수에서 범위가 포함된 완전히 양의 지도로 확장한다.

제안 방법

• 완전히 양의 지도 간의 브어스 거리를 그들의 스티네스프링 확장 간의 연산자 노름 거리의 하한으로 정의한다.
• 기본적인 연산자 노름 추정을 사용하여, 브어스 거리가 cb-노름 거리의 함수로 아래로 유계임을 증명한다.
• 브어스의 결과를 양의 함수계수에 대해 적용하고, 키 판의 최소최대 정리를 활용하여 일반적인 cp 지도로의 추정을 확장한다.
• 두 양의 함수계수에 대한 공통 표현을 구성하여 사카이의 라돈-니코다임 정리를 적용하고, 스펙트럼 분해를 통해 브어스 거리의 추정을 유도한다.
• 볼록 조합과 연속성 추론을 사용하여 브어스 거리와 cb-노름 차이 간의 최종 부등식을 유도한다.
• 직합 구성과 표현 이론을 사용하여 범위가 $\mathcal{B(H)}$인 지도에서부터 임의의 C*-대수에서 포함된 범위를 가진 지도로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 스티네스프링 확장의 유일성은 근사적인 설정으로 일반화될 수 있는가? 즉, 가까운 cp 지도들이 가까운 확장을 가질 수 있는가?
• RQ2 두 cp 지도 간의 완전히 유계 노름 거리는 그들의 확장 간의 연산자 노름 거리의 하한과 동치인가?
• RQ3 확장에 의해 정의된 cp 지도 간의 브어스 거리가 cb-노름 거리와 일치하는가?
• RQ4 스티네스프링의 확장은 특히 무한 차원 설정에서 cp 지도의 변형에 대해 어떻게 연속적인가?
• RQ5 양의 함수계수에 대해 정의된 브어스 메트릭은 임의의 C*-대수 사이의 일반적인 완전히 양의 지도로 일반화될 수 있는가?

주요 결과

• 논문은 두 완전히 양의 지도가 cb-노름에서 가까운지 여부는 그들의 확장이 연산자 노름에서 가까운지 여부와 동치임을 증명한다. 유계 조건은 $\frac{\|T_1 - T_2\|_{cb}}{\sqrt{\|T_1\|_{cb}} + \sqrt{\|T_2\|_{cb}}} \leq \inf_{V_1,V_2} \|V_1 - V_2\| \leq \sqrt{\|T_1 - T_2\|_{cb}}$로 주어진다.
• 두 cp 지도 간의 브어스 거리는 그들의 cb-노름 거리와 등가이며, 이는 브어스의 결과를 양의 함수계수에서 일반적인 cp 지도로 확장하는 메트릭 등가성을 보여준다.
• 브어스 거리의 하한은 스티네스프링 표현의 구조와 함께 기본적인 연산자 노름 추정을 사용하여 도출된다.
• 브어스 거리의 상한은 키 판의 최소최대 정리와 스펙트럼 분해, 라돈-니코다임 이론을 통해 양의 함수계수의 경우로 환원함으로써 유도된다.
• 직합 표현과 공통 힐베르트 공간 매립을 사용하여 결과는 $\mathcal{B(H)}$에서 범위가 포함된 임의의 C*-대수로의 지도로 확장된다.
• 브어스 거리가 완전히 양의 지도의 공간에서 메트릭임이 증명되어 있으며, 이는 부록 A에서 확인되며 수학적 일관성을 보장한다.