[논문 리뷰] On the Quantum Jarzynski Identity

Gavin E. Crooks|ArXiv.org|2007. 06. 13.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 26인용 수 34

한 줄 요약

이 논문은 직접적인 일 측정을 피하기 위해 환경의 열 흐름을 측정하기 위해 에르미트 맵 초연산자를 사용하여 양자 자르시니스키 항등식의 새로운 유도를 제시한다. 시간 진동 초연산자를 에너지 투영 맵과 감싸는 방식으로, 이 방법은 양자 일 분포를 압축되고 간섭이 없는 방식으로 표현할 수 있게 하여 이산 및 연속 시간 근사에서 정확한 양자 자르시니스키 등식을 도출한다.

ABSTRACT

In this note, we will discuss how to compactly express and prove the Jarzynski identity for an open quantum system with dissipative dynamics. We will avoid explicitly measuring the work directly, which is tantamount to continuously monitoring the system, and instead measure the heat flow from the environment. We represent the measurement of heat flow with Hermitian map superoperators that act on the system density matrix. Hermitian maps provide a convenient and compact representation of sequential measurement and correlation functions.

연구 동기 및 목표

• 직접적인 일 측정을 피하고 연속적인 모니터링 없이 비방해적이고 측정 기반의 양자 자르시니스키 항등식 유도를 제공한다.
• 시스템 밀도 행렬에 작용하는 에르미트 맵 초연산자를 통해 환경의 열 흐름을 표현한다.
• 손실성 동역학을 갖는 개방 양자 시스템에서 일의 보울츠만 가중 평균을 추적 기반의 형식으로 수립한다.
• 직접 일 대신 시스템-환경 에너지 교환을 활용하여 자르시니스키 항등식을 개방 양자 시스템으로 일반화한다.
• 에너지 투영 맵을 포함한 초연산자 곱의 체계적 구조가 자연스럽게 양자 자르시니스키 항등식을 도출함을 보여준다.

제안 방법

• 초기 및 최종 시간에서 시스템 에너지를 투영하기 위해 에르미트 맵 초연산자 $\mathcal{R}_t = e^{-\frac{\beta}{2}H_t}\cdot e^{-\frac{\beta}{2}H_t}$ 를 사용한다.
• 열 흐름 측정을 초연산자 $\mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t$ 를 통해 표현하며, 여기서 $\mathcal{S}_t$ 는 시스템의 시간 진동 초연산자이다.
• 보울츠만 가중 일 평균을 $\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}_{\tau} \left(\prod_t \mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t\right) \mathcal{R}^{-1}_0 \rho^{\text{eq}}_0\right]$ 로 구성한다.
• 균형 밀도 행렬 $\rho^{\text{eq}}_t = e^{\beta F_t - \beta H_t}$ 과 분할 함수 $Z(t) = \operatorname{tr} e^{-\beta H_t}$ 를 적용하여 곱의 축약을 가능하게 한다.
• 초연산자 곱이 $Z(\tau)/Z(0) = e^{-\beta \Delta F}$ 로 수축함을 보여주며, 이는 정확한 양자 자르시니스키 항등식을 복원한다.
• 연속 시간로의 확장을 린드블라드 형태를 사용하여 수행한다: $\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}(t) \exp\left\{\int_0^\tau R(t)^{-1}\mathcal{L}(t)\mathcal{R}(t) dt\right\} \mathcal{R}(0)^{-1} \rho^{\text{eq}}_0\right]$.

실험 결과

연구 질문

• RQ1 개방 양자 시스템에서 직접적인 일 측정 없이 양자 자르시니스키 항등식을 어떻게 도출할 수 있는가?
• RQ2 양자 비평형 열역학에서 환경의 열 흐름이 일의 대체 측정으로 사용될 수 있는가?
• RQ3 에르미트 맵 초연산자가 양자 역학에서 순차적 측정과 상관 함수를 표현하는 데 어떤 역할을 하는가?
• RQ4 에너지 투영 맵 $\mathcal{R}_t$ 의 사용이 양자 일 평균의 압축적이고 비방해적 표현을 어떻게 가능하게 하는가?
• RQ5 초연산자 곱 $\mathcal{R}_{\tau} \prod_t (\mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t) \mathcal{R}^{-1}_0$ 이 언제 $e^{-\beta \Delta F}$ 로 수축하는가?

주요 결과

• 직접적인 일 측정과 관련된 양자 역작용을 피하기 위해 에르미트 맵 초연산자를 사용한 열 흐름 측정을 통해 양자 자르시니스키 항등식을 도출하였다.
• 보울츠만 가중 일 평균은 $\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}_{\tau} \left(\prod_t \mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t\right) \mathcal{R}^{-1}_0 \rho^{\text{eq}}_0\right]$ 로 표현되며, 이는 전체 비평형 역학을 압축적으로 포함한다.
• 초연산자 곱은 $\mathcal{R}_t$ 와 $\rho^{\text{eq}}_t$ 의 구조 덕분에 축약되며, $Z(\tau)/Z(0) = e^{-\beta \Delta F}$ 를 도출하여 정확한 양자 자르시니스키 항등식을 확보한다.
• 이 방법은 이산 및 연속 시간 모두에서 유효하며, 연속 근사는 린드블라드 형태로 표현되며 생성자 $\mathcal{L}(t)$ 를 포함한다.
• 이 형식은 시스템-환경 결합 외에 추가적인 간섭을 유발하지 않으며, 동역학의 물리적 일관성을 유지한다.
• 측정 가능한 열 흐름을 사용하여 비평형 양자 과정에서 자유 에너지 차이를 정확하고 비파erturbative하게 계산할 수 있는 엄밀한 프레임워크를 제공한다.