[논문 리뷰] Complementarity and additivity for depolarizing channels

Nilanjana Datta, A. S. Holevo|ArXiv.org|2005. 10. 18.

Quantum chaos and dynamical systems참고 문헌 10인용 수 7

한 줄 요약

이 논문은 Stinespring 확장과 쌍대성에 기반한 체계적 방법을 사용하여 비편경 채널과 전치-비편경 채널의 보완 채널을 계산하며, 최소 Kraus 표현을 가능하게 한다. 채널과 그 보완의 텐서곱이 출력 순수성의 덧셈성을 만족함을 입증하고, 차원 d=3에서 p > 4.79인 경우 p-노름의 곱셈성 위반을 보여주며, 이는 최소 출력 엔트로피의 비덧셈성을 시사한다.

ABSTRACT

In this paper we use the method of a recent paper (quant-ph/0509101) to compute complementary channels for certain important cases, such as depolarizing and transpose-depolarizing channels. This method allows us to easily obtain the minimal Kraus representations from non--minimal ones. We also study the properties of the output purity of the tensor product of a channel and its complement.

연구 동기 및 목표

• CP 사상에 대한 일반적 방법을 사용하여 비편경 채널과 전치-비편경 채널의 보완 채널을 계산하는 것.
• 제안된 방법을 통해 비최소 표현에서 최소 Kraus 표현을 유도하는 것.
• 채널과 그 보완의 텐서곱의 출력 순수성 분석.
• 이러한 채널들에 대한 곱셈성 및 덧셈성 추측의 타당성 조사.

제안 방법

• 채널의 보완 CP 사상을 등급 매핑을 통한 등급 임bedding을 통해 Stinespring 확장과 쌍대성을 이용해 구성하는 방법.
• 환경에 대한 부분적 흐름을 통해 채널과 그 보완 간의 관계를 활용하며, 채널에 대한 Tr_C(VρV*) 및 보완에 대한 Tr_B(VρV*) 식을 사용한다.
• 유니터리 동치성과 스펙트럼 분해를 통해 비최소 표현을 변환함으로써 최소 Kraus 표현을 도출할 수 있는 접근 방식.
• 최대 얽힘 상태를 입력으로 사용하여 제품 채널 Φ⊗Φ̃의 출력 순수성을 분석하고, 출력 밀도 행렬 Ω^me의 명시적 계산을 수행한다.
• 비대칭 상태 |ϕ_{ijk}⟩의 정규직교 기저를 구성하고, 순열 연산자 F12, F23를 사용하여 Ω^me의 고유값을 계산한다.
• 대칭 및 비대칭 부분공간에 대한 투영 P1과 P2를 사용하여 Ω^me = [P1 + 3P2]/[d(d−1)²]의 닫힌 형태 표현을 도출한다.

실험 결과

연구 질문

• RQ1 비편경 채널의 보완 채널을 CP 사상에 대한 일반적 방법을 사용해 명시적으로 계산할 수 있는가?
• RQ2 채널과 그 보완의 텐서곱이 최소 출력 Rényi 엔트로피의 덧셈성을 만족하는가?
• RQ3 일부 p와 d에 대해 제품 채널 Φ⊗Φ̃에서 p-노름의 곱셈성이 위반되는가?
• RQ4 최대 얽힘 상태를 Φ⊗Φ̃에 입력했을 때 출력 상태의 구조는 어떠한가?
• RQ5 출력 상태 Ω^me의 고유값은 차원 d와 입력 상태의 선택에 따라 어떻게 달라지는가?

주요 결과

• d=3일 때, 제품 채널 Φ⊗Φ̃의 출력 상태 Ω^me는 고유값 1/3 (비퇴화), 1/12 (중복도 8), 0 (중복도 6)를 가지며, 이는 Φ⊗Φ와 정확히 일치한다.
• Ω^me의 고유값 구조는 d=3에서 p > 4.79인 경우 p-노름의 곱셈성 위반을 초래한다.
• Φ⊗Φ̃의 출력 순수성은 고유값이 덧셈 조건과 일치하므로 최소 출력 Rényi 엔트로피의 덧셈성을 만족한다.
• d≥4일 경우, 최대 출력 p-노름의 p제곱과 개별 노름의 곱의 비율이 ≤1이므로, 최대 얽힘 상태를 통한 위반은 없지만, 다른 입력 상태에서는 여전히 위반 가능성이 있다.
• 유니터리 자유도와 등급 매핑의 스펙트럼 분해를 활용하여 비최소 표현에서 최소 Kraus 표현을 성공적으로 도출하였다.
• 채널 Φ⊗Φ̃는 Φ⊗Φ가 지닌 플립 대칭성을 갖지 않으며, 이는 d≥4에서 최대 얽힘 상태가 위반을 유도하지 않는 데 기여할 수 있다. 비록 비덧셈성은 가능하나, 최대 얽힘 상태를 통한 위반은 발생하지 않는다.