[논문 리뷰] Contravariant Densities, Operational Distances and Quantum Channel Fidelities

V. P. Belavkin|arXiv (Cornell University)|2004. 08. 24.

Quantum Information and Cryptography참고 문헌 5인용 수 1

한 줄 요약

이 논문은 정상 CP 사상으로서의 양자 연산과 그 허미트 양성 연산자값 커널 사이의 일대일 대응을 확립하기 위해 반변(trace-densities)를 도입한다. 양자 연산 간의 CB-노름과 일반화된 CB-거리의 명시적 표현을 유도하고, 유형 1 및 2의 입력에 대해 헬링거 유형 완전 충성도 거리와 CB 거리의 등가성을 증명하며, 양자 인코딩과 순수화 최적화를 통한 운영적 해석을 제공한다.

ABSTRACT

Introducing contravariant trace-densities for quantum states, we restore one to one correspondence between quantum operations described by normal CP maps and their trace densities as Hermitian positive operator-valued contravariant kernels. The CB-norm distance between two quantum operations with type one input algebras is explicitly expressed in terms of these densities, and this formula is also extended to a generalized CB-distances between quantum operations with type two inputs. A larger C-distance is given as the natural norm-distance for the channel densities, and another, Helinger type distance, related to minimax mean square optimization problem for purification of quantum channels, is also introduced and evaluated in terms of their contravariant trace-densities. It is proved that the Helinger type complete fidelity distance between two channels is equivalent to the CB distance at least for type one inputs, and this equivalence is also extended to type two for the generalized CB distance. An operational meaning for these distances and relative complete fidelity for quantum channels is given in terms of quantum encodings as generalized entanglements of quantum states opposite to the inputs and the output states.

연구 동기 및 목표

• 정상 CP 사상으로서의 양자 연산과 그 트레이스-밀도 사이의 일대일 대응을 반변 커널을 사용하여 복원하기 위해.
• 유형 1 입력 대수를 갖는 양자 연산 간의 CB-노름 거리를 이러한 반변 트레이스-밀도로 표현하기 위해.
• 유형 2 입력을 갖는 양자 연산에 대해 CB-거리 수식을 일반화하기 위해.
• 최대 최소 평균 제곱 최적화를 통한 양자 채널 순수화에서 연결된 헬링거 유형 거리를 도입하고 평가하기 위해.
• 입력-출력 상태의 일반화된 양자 얽힘을 통해 이러한 거리의 운영적 의미를 확립하기 위해.

제안 방법

• 정상 CP 사상에 대응하는 허미트 양성 연산자값 커널로서의 반변 트레이스-밀도 정의하기.
• 두 양자 연산 간의 CB-노름 거리를 그들의 반변 트레이스-밀도에 대한 기능으로 표현하기.
• 일반화된 CB-노름을 통해 유형 2 입력 대수로의 CB-거리 수식 확장하기.
• 최대 최소 평균 제곱 추정을 통한 순수화 프로토콜에서 유도된 채널 밀도에 대한 자연스러운 노름 거리로서의 헬링거 유형 거리 도입하기.
• 트레이스-밀도를 사용하여 두 양자 채널 간의 헬링거 유형 완전 충성도 거리 평가하기.
• 해석적 유도를 통해 헬링거 유형 완전 충성도 거리와 CB 거리(유형 2에 대해 일반화된 경우)의 등가성을 증명하기.

실험 결과

연구 질문

• RQ1 어떻게 반변 커널을 사용하여 양자 연산과 그 트레이스-밀도 사이의 일대일 대응을 복원할 수 있는가?
• RQ2 유형 1 입력 대수를 갖는 양자 연산 간의 CB-노름 거리는 반변 트레이스-밀도로 어떻게 명시적으로 표현할 수 있는가?
• RQ3 유형 2 입력 대수를 갖는 양자 연산에 대해 CB-거리 수식을 어떻게 일반화할 수 있는가?
• RQ4 양자 채널 순수화의 맥락에서 헬링거 유형 거리의 운영적 의미는 무엇인가?
• RQ5 유형 1 및 유형 2 입력 대수에 대해 헬링거 유형 완전 충성도 거리가 CB 거리와 어느 정도 등가적인가?

주요 결과

• 반변 트레이스-밀도는 정상 CP 사상과 허미트 양성 연산자값 커널 사이의 일대일 대응을 제공한다.
• 유형 1 입력을 갖는 양자 연산 간의 CB-노름 거리는 그들의 반변 트레이스-밀도로 명시적으로 표현된다.
• 동일한 트레이스-밀도 프레임워크를 사용하여 일반화된 CB-거리가 유형 2 입력을 갖는 양자 연산으로 확장된다.
• 헬링거 유형 거리는 채널 밀도에 대한 자연스러운 노름 거리로 도입되고 트레이스-밀도를 통해 평가된다.
• 헬링거 유형 완전 충성도 거리는 유형 1 입력에 대해 CB 거리와 등가임이 증명된다.
• 이 등가성은 일반화된 CB-거리 사용 시 유형 2 입력으로까지 확장된다.