[논문 리뷰] Quantum weighted entropy and its properties

Yuri Suhov, Stefan Zohren|arXiv (Cornell University)|2014. 11. 04.

Statistical Mechanics and Entropy참고 문헌 2인용 수 4

한 줄 요약

이 논문은 양자 가중 엔트로피를 정의함으로써 바나흐-바르바르티의 엔트로피를 일반화하며, 양성 정의된 가중 연산자(positive definite weight operator)를 포함하여, 부분가역성(subadditivity), 볼록성(concavity), 강한 부분가역성(strong subadditivity), 그리고 아라키-라이브 부등식의 유사체를 증명한다. 주요 기여는 비가환성 조건에서도 양자 가중 상대 엔트로피의 음이 아닌 성질과 가중 갈릴레이 부등식을 유도할 수 있도록 하는 가중 켈린 부등식(Weighted Klein's inequality)을 도입한 것이다.

ABSTRACT

We introduce quantum weighted entropy in analogy to an earlier notion of (classical) weighted entropy and derive many of its properties. These include the subadditivity, concavity and strong subadditivity property of quantum weighted entropy, as well as an analog of the Araki-Lieb inequality. Interesting byproducts of the proofs are a weighted analog of Klein's inequality and non-negativity of quantum weighted relative entropy. A main difficulty is the fact that the weights in general do not commute with the density matrices.

연구 동기 및 목표

• 가중 연산자(positive definite weight operator)를 포함하는 새로운 양자 엔트로피 측정법을 정의함으로써 고전적 가중 엔트로피를 양자 영역으로 일반화하는 것.
• 일반적으로 양자 가중 연산자가 밀도 행렬과 비가환성을 띠기 때문에 표준 트레이스 부등식 증명이 복잡해지는 문제를 다루는 것.
• 부분가역성, 볼록성, 강한 부분가역성과 같은 양자 가중 엔트로피의 기본 성질을 확립하는 것.
• 양자 아라키-라이브 부등식의 유사체를 도출하고, 양자 가중 상대 엔트로피의 음이 아닌 성질을 증명하는 것.
• 가중 엔트로피 개념을 기반으로 한 양자 정보 이론 분야의 잠재적 응용을 위한 이론적 기반을 마련하는 것.

제안 방법

• 양성 정의된 가중 연산자 $ \phi $를 사용하여 양자 가중 엔트로피를 $ S_{\rho}(\rho) = -\tr(\phi \rho \log \rho) $ 로 정의한다.
• 양자 가중 상대 엔트로피를 $ D_{\phi}(\rho||\sigma) = \tr(\phi\rho\log\rho) - \tr(\phi\rho\log\sigma) $ 로 정의한다.
• 가중 켈린 부등식을 증명한다: $ \tr(W(f(Y) - f(X))) \geq \tr(W(Y - X)f'(X)) $, 여기서 $ f $ 는 볼록 함수이며, 분해 $ W = LL^\dagger $ 를 사용한다.
• 조건 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ 하에서 가중 켈린 부등식을 바탕으로 가중 갈릴레이 부등식을 도출하며, 상대 엔트로피의 음이 아닌 성질을 보장한다.
• 트레이스 부등식 기법과 가중 갈릴레이 부등식을 활용하여 양자 가중 엔트로피의 부분가역성과 볼록성을 증명한다.
• 강한 부분가역성은 리브와 러스카이의 원래 증명과 유사한 방법을 사용하여 증명하며, 가중 갈릴레이 부등식에 의존하고, 가중 연산자와 감소 밀도 행렬 간의 제한된 가환성 조건을 가정한다.

실험 결과

연구 질문

• RQ1 핵심 정보이론적 성질을 유지하면서 고전적 가중 엔트로피를 양자 영역으로 일반화할 수 있는 방법은 무엇인가?
• RQ2 가중 연산자와 밀도 행렬 간의 비가환성이 양자 엔트로피의 트레이스 부등식에 미치는 영향은 무엇인가?
• RQ3 가중 엔트로피에 대해 아라키-라이브 부등식의 양자 유사체를 도출할 수 있는가?
• RQ4 물리적 조건인 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ 하에서 가중 갈릴레이 부등식이 성립하는가? 그리고 상대 엔트로피에 대해 어떤 의미를 갖는가?
• RQ5 가중 연산자와 밀도 행렬 간의 완전한 가환성이 없더라도 양자 가중 엔트로피에 대해 강한 부분가역성을 어느 정도까지 증명할 수 있는가?

주요 결과

• 가중 연산자 $ \phi $ 가 항등원 연산자일 경우, 양자 가중 엔트로피는 표준 바나흐-바르바르티 엔트로피로 축소된다.
• 조건 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ 하에서 가중 갈릴레이 부등식이 성립하며, 이는 양자 가중 상대 엔트로피의 음이 아닌 성질을 보장한다.
• 비가환성 조건에서도 성립하는 가중 켈린 부등식이 증명되었으며, 이는 분해 $ W = LL^\dagger $ 를 사용하여 유도되었다.
• 부분가역성과 볼록성은 가중 갈릴레이 부등식의 직접적인 결과로 증명되었다.
• 강한 부분가역성은 리브와 러스카이의 원래 증명과 유사한 전략을 사용하여 증명되었으며, 다만 가중 연산자의 일부와 감소 밀도 행렬 간의 추가적인 가환성 조건이 필요하다.
• 표준 양자 엔트로피 이론에서의 기본 부등식을 확장하여, 양자 가중 엔트로피에 대해 아라키-라이브 부등식의 유사체를 도출하였다.