[논문 리뷰] Optimizing entropy relative to a channel or a subalgebra

Armin Uhlmann|ArXiv.org|1997. 01. 14.

Statistical Mechanics and Entropy참고 문헌 10인용 수 15

한 줄 요약

이 논문은 콘네스, 나른호퍼, 티르링이 정의한 상태에 대한 부분 대수의 엔트로피를 확장하여, 양자 채널 또는 부분 대수에 대해 상대적인 엔트로피를 최적화하기 위한 屋根 기반 프레임워크를 제안한다. 엔트로피 기능 $ H_{\omega}(\alpha) $ 는 출력 엔트로피와 볼록 屋根 $ R $ 의 합으로 유일하게 특징지어지며, 주요 결과로 순수 상태에서 $ H_{\omega} = 0 $ 이고, $ R $ 이 연속적이고 볼록함을 보여, 극값 분해를 통한 효율적 계산이 가능하다.

ABSTRACT

After recalling definition, monotonicity, concavity, and continuity of a channel's entropy with respect to a state (finite dimensional cases only), I introduce the roof property, a convex analytic tool, and show its use in treating an example. Full proofs and more examples will appear elsewhere. The relation (a la Benatti) to accessible information is mentioned.

연구 동기 및 목표

• 유한 차원 시스템에서 상태에 대해 양자 부분 대수나 채널의 엔트로피를 계산하고 특징짓기 위한 도구를 개발하는 것.
• 콘네스, 나른호퍼, 티르링의 프레임워크를 확장하여, 엔트로피 기능 $ H_{\omega}(\alpha) $ 를 다룰 수 있도록 屋根 개념을 도입하는 것.
• 엔트로피 기능 $ H_{\omega}(\alpha) $ 가 순수 상태에서의 0과 볼록 屋根 및 출력 엔트로피로의 분해에 의해 유일하게 특징지어진다는 것을 증명하는 것.
• 상대 엔트로피의 최소값을 극값 분해를 통해 달성하는 기능 $ R(\omega) $ 가 볼록 屋근임을 보이며, 이로 인해 연속성과 계산 가능성의 보장

제안 방법

• 논문은 최적의 순수 상태 집합의 볼록 hull 위에서 선형인 기능으로서 '屋根'의 개념을 사용하여 엔트로피 $ H_{\omega}(\alpha) $ 를 특징지운다.
• 엔트로피 기능을 $ H_{\omega}(\alpha) = S(\omega \circ \alpha) - R(\omega) $ 로 정의하며, 여기서 $ R(\omega) $ 는 상태 공간에서 엔트로피 기능의 볼록 Hull이다.
• 屋根 개념을 적용하여 $ R(\omega) $ 가 연속적이고 볼록하며, 순수 상태만을 사용하는 최적의 분해가 존재함을 보여준다.
• 논문은 $ S(\omega \circ \alpha) $ 의 볼록성과 $ R(\omega) $ 의 볼록성에 기반하여 $ H_{\omega}(\alpha) $ 가 $ \omega $ 에 대해 볼록임을 증명한다.
• 카라테오도리의 정리를 적용하여 모든 상태가 유한한 수의 순수 상태로 이루어진 최적의 극값 분해를 가짐을 보여준다.
• 두 가지 예제를 분석한다: (1) 큐비트 대각 부분 대수의 경우, $ R(\omega) = s(q) + s(1-q) $ 를 얻으며, 여기서 $ q = \frac{1}{2} + \frac{1}{2}\sqrt{1 - 4|z|^2} $ 이고, (2) 블록 대각 부분 대수의 경우 $ R(\omega) \leq r_2(\sum |z_j|) $ 이며, $ \sum |z_j| \leq \frac{1}{2} $ 일 때 등호가 성립한다.

실험 결과

연구 질문

• RQ1 상태에 대해 양자 채널이나 부분 대수의 엔트로피를 체계적으로 최적화하는 방법은 무엇인가?
• RQ2 상태 공간에서의 성질에 기반해 기능 $ H_{\omega}(\alpha) $ 가 어떻게 고유하게 특징지어지는가?
• RQ3 상대 엔트로피 표현식 $ R(\omega) $ 의 최소값이 극값(순수 상태) 분해를 통해 언제 달성되는가?
• RQ4 기능 $ R(\omega) $ 가 볼록 屋근임을 보일 수 있으며, 이는 연속성과 계산 가능성에 어떤 영향을 미치는가?
• RQ5 어떤 경우에 엔트로피 기능 $ H_{\omega}(\alpha) $ 가 표준 바르노이만 엔트로피로 줄어들게 되는가?

주요 결과

• 엔트로피 $ H_{\omega}(\alpha) $ 는 출력 엔트로피 $ S(\omega \circ \alpha) $ 와 볼록 屋근 $ R(\omega) $ 의 합으로 유일하게 특징지어지며, 순수 상태일 경우 $ H_{\omega}(\alpha) = 0 $ 이다.
• 모든 볼록 분해 $ \{p_j; \omega_j\} \mapsto \omega $ 에 대해 $ \sum p_j S(\omega_j \circ \alpha) $ 의 최소값으로 정의된 기능 $ R(\omega) $ 는 상태 공간에서 볼록하고 연속적이다.
• 모든 상태 $ \omega $ 는 순수 상태로 이루어진 최적의 극값 분해를 가지며, 이 경우 $ H_{\omega}(\alpha) = I(\mathcal{E}, \alpha) $ 이고 $ R(\omega) = \sum p_j S(\varrho_j) $ 를 만족한다.
• 큐비트의 대각 부분 대수의 경우 $ R(\omega) = s(q) + s(1-q) $ 이며, 여기서 $ q = \frac{1}{2} + \frac{1}{2}\sqrt{1 - 4|z|^2} $ 이고, 이 표현은 $ |z| $ 에 대해 볼록하다.
• $ (n+1) \times (n+1) $ 경우 블록 대각 출력 대수에서 $ R(\omega) \leq r_2(\sum |z_j|) $ 이며, $ \sum |z_j| \leq \frac{1}{2} $ 일 때 등호가 성립한다. 여기서 $ r_2(z) = \ln 2 - \sum_{k=1}^{\infty} \frac{(1 - 4z^2)^k}{2k(2k-1)} $ 이다.
• 기능 $ R(\omega) $ 는 볼록 屋근이며, 상태 공간의 극한 경계에서 두 볼록 屋근이 일치하면 그 기능은 동일하다는 것을 보여, 유일성 보장.