[논문 리뷰] Energy conservation and fluctuation theorem are incompatible for quantum work

Karen V. Hovhannisyan, Alberto Imparato|arXiv (Cornell University)|2021. 04. 19.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 74인용 수 4

한 줄 요약

이 논문은 양자 일 측정에서 에너지 보존과 자르시니스 변동정리(Jarzynski fluctuation theorem, JE)가 본질적으로 불가능하다는 것을 증명한다. 어떤 물리적으로 타당한 일 측정 방식—특히 상태에 의존하는 것들—이외에는 둘을 동시에 만족할 수 없으며, 오직 극히 좁은 범주에 속하는 특이한 측정 방식 뿐이다. 또한 상태에 독립적인 조건 하에서 자르시니스 변동정리(JE)를 만족하는 유일한 방법은 이중측정 방식(Two-point measurement, TPM)임을 규명한다.

ABSTRACT

Characterizing fluctuations of work in coherent quantum systems is notoriously problematic. Here we reveal the ultimate source of the problem by proving that ($\mathfrak{A}$) energy conservation and ($\mathfrak{B}$) the Jarzynski fluctuation theorem cannot be observed at the same time. Condition $\mathfrak{A}$ stipulates that, for any initial state of the system, the measured average work must be equal to the difference of initial and final average energies, and that untouched systems must exchange deterministically zero work. Condition $\mathfrak{B}$ is only for thermal initial states and encapsulates the second law of thermodynamics. We prove that $\mathfrak{A}$ and $\mathfrak{B}$ are incompatible for work measurement schemes that are differentiable functions of the state and satisfy two mild structural constraints. This covers all existing schemes and leaves the theoretical possibility of jointly observing $\mathfrak{A}$ and $\mathfrak{B}$ open only for a narrow class of exotic schemes. For the special but important case of state-independent schemes, the situation is much more rigid: we prove that, essentially, only the two-point measurement scheme is compatible with $\mathfrak{B}$.

연구 동기 및 목표

• 일관된 양자 시스템에서 일의 변동을 정의하는 오랫동안 남아있던 문제를 해결하기 위해.
• 에너지 보존과 자르시니스 변동정리(Jarzynski fluctuation theorem, JE)가 양자 일 측정에서 공존할 수 있는지 조사하기 위해.
• 둘 다를 만족하는 일 측정 방식의 이론적 한계를 규명하기 위해.
• 양자 일과 고전적 열역학 원리(예: 제2법칙과 에너지 보존) 사이의 기초적인 상충관계를 명확히 하기 위해.

제안 방법

• 에너지 보존을 두 조건으로 형식화함: (1) 평균 일은 에너지의 차와 같아야 함(A₁), (2) 영향을 받지 않은 시스템에 대해 일은 0이어야 함(A₂). 이 두 조건을 함께 묶어 상세 에너지 보존(A)으로 정의함.
• 자르시니스 변동정리(B)를 정의함: 모든 열적 初기 상태에서 JE가 성립해야 하며, 이는 양자 일 통계에서 제2법칙을 포함함.
• 측정 방식을 시스템 상태의 미분 가능 함수로 간주함. 물리적으로 비현실적이거나 병적인 경우를 배제하기 위해 약한 구조적 제약 조건을 도입함.
• 상태에 독립적인 측정 방식에 대해, JE(B)가 성립하면 오직 이중측정(TPM) 방식만 가능함을 증명함. 이로써 JE ⇔ TPM을 확립함.
• 스펙트럼 분석과 주조화 이론을 사용하여 일 연산자 통계를 비교함. 특히 고유값 순서와 추적 부등식을 중심으로 다룸.
• 로그 함수의 연산자 볼록성과 추적 부등식을 적용하여 일 기대값의 범위를 유도하고, 일 통계 간의 주조화 관계를 증명함.

실험 결과

연구 질문

• RQ1 양자 일 측정 방식이 동시에 에너지 보존과 자르시니스 변동정리를 만족시킬 수 있는가?
• RQ2 열적 상태에서 자르시니스 등식을 만족시키기 위한 일 측정 방식이 가져야 할 필수 조건은 무엇인가?
• RQ3 상태에 독립적인 측정 규칙 하에서 자르시니스 등식을 만족시키는 데 있어 이중측정(TPM) 방식이 유일한 타당한 선택인가?
• RQ4 상태에 의존하는 측정 방식을 포함할 경우, 에너지 보존과 변동정리 사이의 호환성은 어떻게 변화하는가?
• RQ5 미분 가능성과 구조적 제약 조건은 어떤 특이한 측정 방식이 A와 B를 동시에 만족할 수 있도록 허용하지 않도록 하는 데 어떤 역할을 하는가?

주요 결과

• 모든 물리적으로 타당한 양자 일 측정 방식에 대해 에너지 보존(A)과 자르시니스 변동정리(B)는 본질적으로 상충된다.
• 상태에 독립적인 측정 방식에 대해, 자르시니스 등식(B)을 만족하는 것은 오직 이중측정(TPM) 방식 뿐이며, 이로써 이 클래스에서 JE ⇔ TPM이 성립함을 증명함.
• A₁과 A₂(상세 에너지 보존)를 모두 요구할 경우, 모든 미분 가능한 상태에 의존하는 측정 방식은 B와 호환되지 않으며, 오직 극히 좁은 범주에 속하는 특이한 측정 방식만 이론적으로 가능함을 보임.
• 본 논문은 B를 만족하고 열적 상태에서 정확한 평균 일 값을 도출하는 모든 측정 방식이 반드시 TPM 방식과 동일한 통계를 재현해야 한다는 것을 증명함.
• 비교환 가능한 해밀토니안([h,H] ≠ 0)인 경우, B를 만족하는 어떤 측정 방식이라도 열적 상태에서 A₁을 위반함을 보여주며, 직접적인 상충관계를 입증함.
• 일 연산자 Υρ가 고유값 순서에서 TPM 일 연산자 Ω보다 주조화됨(Spec(Υτ)↓ ≻ Spec(Ω)↓)을 보이며, 이는 더 큰 통계적 산란을 의미함. 또한 ⟨Ω⟩τ − ⟨Υτ⟩τ ≤ β⁻¹S(τ∥U†τ′U)라는 식을 유도함으로써, 이는 상대 엔트로피와 자유 에너지의 차이와 연결됨.