[논문 리뷰] Entanglement as an axiomatic foundation for statistical mechanics

Giulio Chiribella, Carlo Maria Scandolo|arXiv (Cornell University)|2016. 08. 16.

Statistical Mechanics and Entropy인용 수 14

한 줄 요약

이 논문은 정보 이론적 공리—인과성, 순수성 유지, 순수한 날카러움, 순수화—를 도입하여 얽힘을 통계역학의 공리적 기초로 제안한다. 이 공리들은 '순수화를 갖는 날카로운 이론'이라 불리는 물리이론의 클래스를 특징짓는다. 이러한 이론들은 혼합 상태를 순수한 얽힌 상태의 국소화로 모델링하여 양자 및 고전 통계역학을 통합한다. 이에 기반해 주요 개념인 지배성, 엔트로피, 길버트 상태, 랑외에의 원리가 순전히 정보 이론적 원리로부터 유도된다.

ABSTRACT

We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite system. This class of theories, called sharp theories with purification, includes quantum theory both with complex and real amplitudes, as well as a suitable extension of classical probability theory where classical systems can be entangled with other, non-classical systems. Theories satisfying our axioms support well-behaved notions of majorization, entropy, and Gibbs states, allowing for an information-theoretic derivation of Landauer's principle. We conjecture that every theory admitting a sensible thermodynamics must be extendable to a sharp theory with purification.

연구 동기 및 목표

• 고전역학이나 집합가정에 의존하지 않는 통계역학의 기초적 프레임워크를 수립하기 위해.
• 결정론적 동역학과 확률론적 열역학 간의 갈등을 양자 얽힘에 기반해 통계적 개념을 기초화함으로써 해결하기 위해.
• 잘 정의된 열역학적 개념을 가진 이론은 반드시 '순수화를 갖는 날카로운 이론'으로 확장 가능해야 하며, 이는 혼합 상태가 순수한 얽힌 상태에서 유래됨을 의미한다.
• 엔트로피, 지배성, 길버트 상태와 같은 핵심 열역학적 개념을 정보 이론적 공리만을 사용해 도출하기 위해.
• 고전 시스템이 비고전 시스템과 얽힐 수 있도록 허용함으로써, 일반화된 타당성과 대칭 기반의 평형 유도의 적용 범위를 고전 시스템으로 확장하기 위해.

제안 방법

• 양자, 고전, 후량자 이론을 균일하게 다룰 수 있는 일반적 확률론적 이론(GPT) 프레임워크를 수립하기 위해.
• 인과성(역행성 신호 전파 금지), 순수성 유지(순수 사상의 병합은 순수함), 순수한 날카러움(순수한 날카로운 관측 가능성이 존재함), 순수화(모든 상태는 국소적 가역 변환을 제외하고 유일한 순수 상태의 국소화임)의 네 가지 공리를 도입하기 위해.
• 이 공리들이 '순수화를 갖는 날카로운 이론'을 특징짓는다는 것을 증명하며, 이는 복소수 또는 실수 진폭을 갖는 양자 이론과 비고전적 얽힘을 허용하는 일반화된 고전 이론을 포함한다.
• 순수화 공리를 사용해 지배성을 정의하며, 상태의 고유값 벡터를 연결하는 이중 확률 행렬의 존재를 통해 정의한다.
• 모든 순수 측정에 대해 Schur-볼록 함수의 하한을 취해 측정 단조성을 정의하고, 기존의 엔트로피 유사 기능과의 등가성을 보여준다.
• 순수화와 지배성의 구조를 연결해 공리로부터 랑외에의 원리를 도출한다. 정보 삭제는 엔트로피 증가와 연결되며, 제2법칙과 일관된다.

실험 결과

연구 질문

• RQ1 통계역학은 동역학이나 집합가정이 아닌 얽힘을 공리적 기초로 삼을 수 있는가?
• RQ2 물리이론에 어떤 공리적 조건이 있어야 엔트로피, 지배성, 길버트 상태와 같은 잘 정의된 개념이 존재하는가?
• RQ3 고전 시스템이 비고전 시스템과 얽힐 수 있도록 허용한다면, 고전 통계역학은 얽힘에 기반할 수 있는가?
• RQ4 순수화 공리는 엔트로피 증가와 같은 열역학의 핵심 특성, 특히 랑외에의 원리를 복원하는 데에 충분한가?
• RQ5 합리적인 열역학을 가지는 모든 이론은 반드시 '순수화를 갖는 날카로운 이론'으로 확장 가능한가?

주요 결과

• 인과성, 순수성 유지, 순수한 날카러움, 순수화의 네 공리들은 '순수화를 갖는 날카로운 이론'이라 불리는 이론의 클래스를 특징짓는다. 이 이론들은 복소수 또는 실수 진폭을 갖는 양자 이론과 비고전적 얽힘을 허용하는 일반화된 고전 이론을 포함한다.
• 이러한 이론들에서는 모든 혼합 상태가 순수한 얽힌 상태의 국소화로 나타나며, 모든 날카롭지 않은 측정은 복합계에서의 날카로운 측정으로 실현될 수 있다.
• 이 이론들에서는 지배성이 잘 정의되어 있으며, 상태 ρ가 σ에 의해 지배됨은 ρ의 고유값을 σ의 고유값으로 매핑하는 이중 확률 행렬이 존재함을 의미한다.
• 엔트로피 기능과 측정 단조성은 표준 개념과 일치한다. 임의의 Schur-볼록 함수 f에 대해, 측정 단조성 M_f(ρ)는 ρ의 고유값에 f를 적용한 것과 같다.
• 논문은 공리로부터 랑외에의 원리가 유도됨을 증명한다. 정보 삭제는 엔트로피 증가를 초래하는 상태 변환과 연결되며, 제2법칙과 일관된다.
• 상대 엔트로피 S(ρ∥σ)는 고전적 쿨백-라이블러 발산으로부터 아래bound되며, 등호가 성립하는 것은 ρ = σ일 때에만 성립한다. 이는 유일성과 기존 정보이론과의 일관성을 보장한다.