[논문 리뷰] Entropy and optimal decompositions of states relative to a maximal commutative subalgebra

Armin Uhlmann|ArXiv.org|1997. 04. 08.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 3인용 수 41

한 줄 요약

이 논문은 유한 차원 양자 시스템에서 최대 가환 부분대수에 대한 엔트로피를 계산하는 새로운 접근법을 제시한다. 볼록 분석과 대칭성을 활용하여 엔트로피의 형성에 핵심적인 최적 분해 문제를 해결한다. 주요 기여는 볼록 및 볼록 아래 함수를 통한 부분대수의 엔트로피의 엄밀한 특성화이며, 전체 행렬 대수의 대각 부분대수에 대해 명시적인 해를 제공한다.

ABSTRACT

To calculate the entropy of a subalgebra or of a channel with respect to a state, one has to solve an intriguing optimalization problem. The latter is also the key part in the entanglement of formation concept, in which case the subalgebra is a subfactor. I consider some general properties, valid for these definitions in finite dimensions, and apply them to a maximal commutative subalgebra of a full matrix algebra. The main method is an interplay between convexity and symmetry. A collection of helpful tools from convex analysis for the problems in question is collected in an appendix.

연구 동기 및 목표

• 상태에 대한 부분대수의 엔트로피에 기반한 최적 분해 문제를 해결하기 위해.
• 유한 차원 ∗-대수에서 엔트로피 및 상대 엔트로피의 일반적 성질을 수립하기 위해.
• 특히 전체 행렬 대수의 최대 가환 부분대수에 이러한 결과를 적용하기 위해.
• 최적 분해를 특성화하는 데 볼록 및 볼록 아래 함수의 역할을 명확히 하기 위해.
• 형식 체계를 엔트로피 형성 및 양자 정보 이론과 연결하기 위해.

제안 방법

• 상태에 대한 부분대수의 엔트로피를 분석하기 위해 볼록 분석과 대칭성을 사용한다.
• 카라테오도리의 정리를 적용하여 최적 볼록 분해의 길이가 상태 공간의 차원 n 이하로 제한됨을 보인다.
• 극단적 상태에 제한된 바나흐 엔트로피의 볼록 hull과 볼록 아래 hull을 정의한다.
• 최적 분해를 특성화하기 위해 각각 볼록 아래 함수와 볼록 함수로 정의된 f^inf 및 f^sup 개념을 도입한다.
• f^inf 및 f^sup가 둘 다 둘의 볼록 hull Ω^inf_ω 및 Ω^sup_ω에서 선형임을 증명한다.
• f^sup(ω) = f^inf(ω)일 때, ω가 엔트로피가 선형인 면에 놓여 있음을 보여준다.

실험 결과

연구 질문

• RQ1 유한 차원 양자 시스템에서 상태에 대한 부분대수의 엔트로피는 어떻게 계산할 수 있는가?
• RQ2 엔트로피 기여를 최소화하거나 최대화하는 상태의 최적 볼록 분해의 구조는 무엇인가?
• RQ3 부분대수의 엔트로피가 사라지는 조건은 무엇이며, 이는 상태와 그 분해에 대해 어떤 의미를 갖는가?
• RQ4 볼록 및 볼록 아래 함수는 최적 분해 문제와 엔트로피 측정치와 어떻게 관련되는가?
• RQ5 상태 분해의 맥락에서 f^sup(ω) = f^inf(ω)의 기하학적 및 대수적 의미는 무엇인가?

주요 결과

• H_ω(B|A)는 제한된 상태의 바나흐 엔트로피와 극단적 분해에 대한 엔트로피의 볼록 hull 간의 차이로 주어진다.
• 카라테오도리의 정리에 따라, 힐버트 공간의 차원 n 이하로 최적 분해의 길이가 제한된다.
• f^inf는 f^sup의 볼록 hull이며, 둘 다 각각의 볼록 hull Ω^inf_ω 및 Ω^sup_ω에서 선형인 둘 다의 함수이다.
• f^sup(ω) = f^inf(ω)일 때, 상태 ω는 상태 공간의 면에 위치하며, 그 면에서 엔트로피는 선형이다.
• f^sup(ω) = f^inf(ω)는 ω의 모든 극단적 분해가 볼록 및 볼록 아래 함수에 대해 최적임을 의미한다.
• 이 형식 체계는 엔트로피 형성에 엄밀한 기초를 제공하며, 특히 2 큐비트의 경우 워터스의 기존 결과와 일치한다.