[논문 리뷰] A Note on the p->q norms of Completely Positive Maps

Koenraad M. R. Audenaert|arXiv (Cornell University)|2005. 05. 31.

Mathematical Inequalities and Applications참고 문헌 4인용 수 9

한 줄 요약

이 논문은 자기수반 연산자 위에서 정의된 완전히 양의 지도 Φ의 p→q 노름이 일반 연산자 전역에서 동일하다는 대체 증명을 제공한다. 더 큰 공간 위에서 임의의 연산자를 자기수반 연산자로 통합하기 위해 배치 구축을 사용함으로써, 저자들은 Φ(A)의 샤텐 q-노름이 Φ의 |A|에 대한 노름에 의해 유계임을 보이며, 핵심 결과로 ||Φ||_p→q가 자기수반 연산자에서 일반 연산자로의 최대화가 확장되어도 변화하지 않음을 도출한다.

ABSTRACT

King and Ruskai asked whether the $p o q$ norm of a completely positive map $\Phi$, acting between Schatten $p$ and $q$ classes of self-adjoint operators, $||\Phi||_{p o q} = \max_{A=A^*} \frac{||\Phi(A)||_q}{||A||_p}$, is equal to the $p o q$ norm of that map when acting between Schatten classes of general, not necessarily self-adjoint, operators. The first proof has been given by Watrous. We give an alternative proof of this statement.

연구 동기 및 목표

• 자기수반 조건을 제거한 경우에도 p→q 노름의 불변성에 대한 와트로스의 결과에 대한 대체 증명을 제공하는 것.
• 완전히 양의 지도 Φ의 p→q 노름이 자기수반 또는 일반 연산자에서 최대화되었을 때 동일하다는 것을 입증하는 것.
• 양자 채널의 최대 출력 순도가 샤텐 q-노름으로 측정될 때, 이가 자기수반 입력에서의 1→q 노름으로 완전히 기록된다는 것을 보여주는 것.
• 양자 정보 이론에서 샤텐 p→q 노름의 처리를 통합하기 위해, 일반화된 최대화 영역을 손실 없이 확장하는 것.

제안 방법

• Hilbert 공간 H 위의 임의의 연산자 A를 더 큰 공간 H⊕H 위의 자기수반 연산자 Q = [0 A; A* 0]로 통합한다.
• AA*와 A*A의 유니타리 동치성을 이용하여 |Q|를 |A|와 U|A|U*를 포함하는 블록 대각형 연산자로 표현한다.
• 지도 Φ를 Φ⊗1_{C²}로 확장하여 더 큰 공간에서 완전히 양의 지도성과 노름 구조를 유지한다.
• Schatten q-노름을 (Φ⊗1_{C²})(Q)에 대해 계산하고, Tr|Φ(A)|^q와 관련지어 2Tr|Φ(A)|^q와 동일하다는 것을 보인다.
• 완전히 양의 지도 Ω와 자기수반 X에 대해 알려진 부등식 ||Ω(X)||_q ≤ ||Ω(|X|)||_q를 연산자 Q에 적용한다.
• 노름의 동차성과 TrΦ(U|A|U*)^q 및 TrΦ(|A|)^q에 대한 유계를 이용하여 핵심 부등식 2Tr|Φ(A)|^q ≤ 2||Φ||_p→q^q를 유도한다.

실험 결과

연구 질문

• RQ1 완전히 양의 지도 Φ의 p→q 노름은 자기수반 연산자가 아닌 모든 연산자에 대해서도 동일하게 정의될 수 있는가?
• RQ2 양자 채널의 최대 출력 순도가 샤텐 q-노름으로 측정될 때, 이는 입력이 자기수반인지에 따라 달라지는가?
• RQ3 샤텐 p→q 프레임워크에서 완전히 양의 지도의 노름은 자기수반에서 일반 연산자로 확장되어도 불변인가?
• RQ4 자기수반 조건을 제거한 경우 p→q 노름의 불변성을 완전히 와트로스의 증명 기법에 의존하지 않고 증명할 수 있는가?

주요 결과

• 완전히 양의 지도 Φ의 p→q 노름은 자기수반에서 일반 연산자로 최대화가 확장되어도 불변이다.
• ||A||_p = 1 인 임의의 연산자 A에 대해 부등식 2Tr|Φ(A)|^q ≤ 2||Φ||_p→q^q 가 성립하며, 이는 ||Φ(A)||_q / ||A||_p ≤ ||Φ||_p→q 를 의미한다.
• 최대값 max_A ||Φ(A)||_q / ||A||_p = ||Φ||_p→q 가 확립되어, 자기수반 입력이 노름 계산에 충분함을 보여준다.
• 배치 구축 Q = [0 A; A* 0] 은 일반 연산자를 더 큰 공간 위의 자기수반 연산자로 성공적으로 통합하며, 노름 관계를 유지한다.
• 이 증명은 최대 출력 순도 ν_p(Φ) = max_{A>0, Tr(A)=1} ||Φ(A)||_q 가 자기수반 입력에서의 1→q 노름과 동일하다는 것을 확인한다.
• 이 결과는 모든 p, q ≥ 1 및 모든 완전히 양의 지도에 대해 성립하며, 킹과 러스크라이의 이전 부분 결과를 일반화한다.