[논문 리뷰] On the structure of optimal sets for tensor product channel

M. E. Shirokov|ArXiv.org|2004. 02. 24.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 4

한 줄 요약

이 논문은 텐서 곱 양자 채널에 대한 최적 집합의 구조적 성질을 조사하며, 최소 출력 엔트로피와 홀로보 용량 간의 상호작용에 초점을 맞춘다. 볼록 쌍대성과 쌍대 함수를 사용하여, 텐서 곱 채널에 대한 최적 집합이 유전적이고 사영적인 구조를 띠는 조건을 규명한다. 이는 얽힌 최적 상태가 개별 채널의 순수 최적 상태들의 볼록 조합으로 제약을 받음을 보여주며, 가역성 추측에 대한 핵심적인 구조적 통찰을 제공한다.

ABSTRACT

For a given quantum channel we consider two optimal sets of states, related to the Holevo capacity and to the minimal output entropy of this channel. Some properties of these sets as well as the necessary and sufficient condition for their coincidence are obtained. The relations between additivity properties for two quantum channels and the structure of the optimal sets for tensor product of these channels are considered. It turns out that these additivity properties are connected with the special hereditary property of the optimal sets for tensor product channel. We explore the structural properties of these optimal sets under two different assumptions. The first assumption means that for tensor product of two channels with arbitrary constraints there exists optimal ensemble with the product state average. It turns out that exactly this assumption guarantees hereditary property of the both optimal sets for tensor product channel and provides some observations concerning the additivity problems. The second assumption means additivity of the Holevo capacity for two channels with arbitrary constraints. It turns out that exactly this assumption guarantees strong hereditary property of the both optimal sets for tensor product channel and provides the natural "projective" relations between these sets and the optimal sets for single channels.

연구 동기 및 목표

• 텐서 곱 양자 채널에 대한 최적 집합의 구조를 최소 출력 엔트로피와 홀로보 용량과 관련하여 기술하는 것.
• 텐서 곱 채널에 대한 최적 집합이 개별 채널의 성질을 상속하는 조건을 조사하는 것.
• 최소 출력 엔트로피의 가역성과 홀로보 용량, 그리고 텐서 곱 채널에 대한 최적 집합의 유전적 구조 간의 관계를 명확히 하는 것.
• 특정 구조적 제약 조건 하에서 얽힌 상태가 텐서 곱 채널에 대해 최적이 될 수 있는지 판단하는 것.

제안 방법

• 논문은 최소 출력 엔트로피와 홀로보 용량을 출력 엔트로피의 쌍대 함수로 표현하기 위해 볼록 쌍대성과 쌍대 함수를 활용한다.
• 최소 출력 엔트로피와 홀로보 용량에 대한 최적 집합은 각각의 극값을 달성하는 상태들의 집합으로 정의된다.
• 유전적 성질의 개념이 도입되어, 텐서 곱 채널에 대한 최적 집합이 개별 채널의 곱 구조와 일관된 상태를 포함할 때를 기술한다.
• 두 가지 가정을 분석한다: (1) 제약 조건이 있는 텐서 곱 채널에 대해 곱 상태 최적 집합의 존재, (2) 홀로보 용량의 가역성으로, 후자가 더 강한 구조적 제약을 유도함을 보여준다.
• 섹션 4의 정리를 사용하여, 유전적 성질이 최적 집합의 극단점이 순수 곱 상태여야 함을 제약함을 보여준다.
• 홀로보 용량의 가역성이라는 더 강한 가정 하에서, 텐서 곱 채널과 개별 채널의 최적 집합 간의 사영적 관계를 유도한다.

실험 결과

연구 질문

• RQ1 두 양자 채널의 텐서 곱에 대해 최적 집합이 개별 채널의 구조적 성질을 상속하는 조건은 무엇인가?
• RQ2 최소 출력 엔트로피의 가역성과 텐서 곱 채널에 대한 최적 집합의 유전적 구조 간의 관계는 무엇인가?
• RQ3 부분 추적값이 개별 채널의 최적 순수 상태들의 볼록 조합이 아닌 경우, 얽힌 상태가 텐서 곱 채널에 대해 최적이 될 수 있는가?
• RQ4 홀로보 용량의 가역성 가정은 텐서 곱 채널에 대한 최적 집합의 구조에 어떤 영향을 미치는가?
• RQ5 유전적 성질은 텐서 곱 채널에서 얽힌 최적 상태의 존재에 어떤 제약을 가하는가?

주요 결과

• 텐서 곱 채널에 대한 최적 집합의 유전적 성질은 임의의 제약 조건 하에서 곱 상태 최적 집합의 존재와 동치이다.
• 만약 두 채널에 대해 홀로보 용량이 가역적이라면, 최소 출력 엔트로피와 홀로보 용량 모두 가역적이며, 텐서 곱 채널에 대한 최적 집합은 강력한 유전적 성질을 띤다.
• 텐서 곱 채널과 개별 채널의 최적 집합 간의 사영적 관계는, 사영된 집합의 모든 극단점이 개별 최적 집합의 순수 곱 상태여야 함을 의미한다.
• 텐서 곱 채널에 대해 최적인 어떤 얽힌 상태도, 그 부분 추적값이 개별 채널의 순수 최적 상태들의 볼록 조합이어야 한다.
• 만약 한 채널이 유일한 최적 상태를 가진다면, 텐서 곱 채널의 모든 최적 상태는 곱 상태여야 하며, 따라서 얽힌 최적 상태는 존재할 수 없다.
• 부분 추적값이 개별 채널의 최적 상태들의 분해가 불가능한 얽힌 최적 상태가 존재한다면, 이는 전역 가역성 추측을 반박하는 것이다.