[논문 리뷰] On the Choi-Jamiolkowski Correspondence in Infinite Dimensions

A. S. Holevo|arXiv (Cornell University)|2010. 04. 01.

Quantum Information and Cryptography참고 문헌 16인용 수 50

한 줄 요약

이 논문은 무한차원 양자 시스템에서 Choi-Jamiolkowski (CJ) 대응을 엄밀한 수학적 형식으로 정의하며, 한정 절차를 요구하지 않고 조밀한 부분공간 위에서 비정규화된 최대 얽힘 상태와 Choi 행렬을 양의 준정부호 형식으로 정의한다. 주요 기여는 분리 가능한 CJ 형식을 통한 얽힘 해소 채널의 특성화와, 유한 차원에서의 결과를 무한 차원으로 확장한 보식 고전적 채널에 대한 명시적 표현, 특히 유계 CJ 연산자의 존재에 대한 필요 및 충분 조건을 도출하는 것이다.

ABSTRACT

We give a mathematical formulation for the Choi-Jamiolkowski (CJ) correspondence in the infinite-dimensional case in the form close to one used in quantum information theory. We show that there is no need to use a limiting procedure to define "unnormalized maximally entangled state" and the corresponding analog of the Choi matrix since they can be defined rigorously as, in general, nonclosable forms on an appropriate dense subspace. The properties of these forms are discussed in Sec. 2. An important question is: when the CJ form is given by a bounded operator. This is the case for entanglement-breaking channels: we prove this in Sec. 3 along with a version of a result of Wolf et al. characterizing CJ operators which correspond to such channels by giving precise definitions of a separable operator and a relevant integral. In Sec. 4 we obtain explicit expressions for CJ forms and operators defining a general Bosonic Gaussian channel. In Sec. 5 we give a decomposition of the Gaussian CJ form into product of the four principal types and a necessary and sufficient condition for existence of the bounded CJ operator.

연구 동기 및 목표

• 이전 연구에서 사용된 한정 절차를 피하면서도, 무한차원 힐베르트 공간에서 Choi-Jamiolkowski 대응을 수학적으로 엄밀하게 정의하는 것.
• 비정규화된 최대 얽힘 상태와 그에 대응하는 Choi 행렬을 조밀한 부분공간 위에서 양의 준정부호 형식으로 정의하는 것.
• 유한 차원에서의 결과를 무한 차원으로 확장하여, 분리 가능한 CJ 형식과 적분 표현을 통한 엽힘 해소 채널의 특성화.
• 일반 보식 고전적 채널의 CJ 형식과 연산자에 대한 명시적 표현을 도출하는 것.
• 고전적 채널의 맥락에서 유계 CJ 연산자의 존재에 대한 필요 및 충분 조건을 수립하는 것.

제안 방법

• 채널 Φ와 쌍대 상태 |ψ̄⟩를 사용하여 H_B × H_A 위의 쌍선형, 양의 준정부호 형식인 CJ 형식 ΩΦ를 정의하며, 연산자 닫힘을 피한다.
• 관계식 ΩΦ(ψ_B⊗ψ_A; ψ'_B⊗ψ'_A) = ⟨ψ_B|Φ(|ψ̄_A⟩⟨ψ̄'_A|)|ψ'_B⟩를 통해 쌍대 상태 위에서 채널의 작용을 통해 형식을 정의한다.
• 부분적 추적을 일반화하고 일치성을 보장하기 위해 ∑_k ΩΦ(e_k⊗ψ_A; e_k⊗ψ'_A) = ⟨ψ_A|ψ'_A⟩ 조건을 적용한다.
• 공분산 행렬 μ의 비퇴도성 조건을 이용하여 대칭 공간 Z_B + Z_A를 다섯 개의 직교 부분공간 (Z1부터 Z4까지 및 Z0)으로 분해한다.
• CCR 대칭 대수의 기약 표현을 사용하여 유니터리 진동 U를 양자 노이즈 성분과 고전적 노이즈 성분에 해당하는 부분공간 위에서의 텐서곱 작용으로 분해한다.
• 대칭 기반 분해를 통해 네 가지 주요 유형(비퇴도성/순수 상태에서의 양자 노이즈, 양의 분산을 가진 고전적 노이즈, 영 분산을 가진 단순 고전적 노이즈)의 곱으로서 CJ 형식을 도출한다.

실험 결과

연구 질문

• RQ1 한정 절차를 요구하지 않고, 무한차원 양자 시스템에서 Choi-Jamiolkowski 대응을 어떻게 엄밀하게 정의할 수 있는가?
• RQ2 채널과 관련된 CJ 형식이 어떤 조건에서 유계 연산자로 표현될 수 있는가?
• RQ3 무한 차원에서 CJ 대응을 통해 엽힘 해소 채널를 어떻게 특성화할 수 있는가?
• RQ4 보식 고전적 채널의 CJ 형식의 명시적 구조는 무엇이며, 물리적 구성요소로 어떻게 분해되는가?
• RQ5 대칭 기반 분해는 CJ 형식의 구조와 유계 CJ 연산자의 존재를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• CJ 형식 ΩΦ는 채널의 쌍대 상태 위에서의 작용을 통해 한정 절차 없이 H_B × H_A의 조밀한 부분공간 위에서 양의 준정부호 형식으로 엄밀히 정의될 수 있다.
• CJ 형식이 유계 연산자와 관련이 있을 조건은 고전적 채널의 공분산 행렬 μ가 비퇴도일 때에 한하여 성립한다.
• 엽힘 해소 채널는 분리 가능한 CJ 형식으로 특성화되며, 해당 연산자의 정확한 적분 표현이 제공된다.
• 보식 고전적 채널의 CJ 형식은 네 가지 주요 유형으로 분해된다: 비퇴도성 상태에서의 양자 노이즈, 순수 상태에서의 양자 노이즈, 양의 분산을 가진 고전적 노이즈, 영 분산을 가진 단순 고전적 노이즈.
• 대칭 기반 분해 Z_B + Z_A = Z1 ⊕ Z2 ⊕ Z′3 ⊕ Z′4 ⊕ Z0 덕분에 유니터리 진동이 부분공간 위에서의 작용의 텐서곱으로 표현될 수 있으며, 이는 CJ 형식의 명시적 구성 가능성을 보장한다.
• CJ 연산자의 유계성 조건은 행렬 μ의 비퇴도성과 동치이며, 이는 노이즈 구조의 잘 정의되고 유한차원적인 표현이 존재함을 보장한다.