A derivation of quantum Jarzynski equality using quantum Feynman-Kac formula

Fei Liu

Published Jan 7, 2012• 1 citation

Abstract

We present a quantum mechanical analogue of the famous Feynman-Kac formula that was originally established for classical stochastic processes. By constructing a backward-time invariable, we find that this formula can be used to derive the quantum Jarzynski equality. Different from the previous approaches, the time-ordered correlated function in the quantum mechanical work definition is naturally emerged in terms of mathematical rigor.

Related papers

Derivation of quantum work equalities using a quantum Feynman-Kac formula

Fei Liu

On the basis of a quantum mechanical analog of the famous Feynman-Kac formula, we present a method to derive nonequilibrium work equalities for isolated quantum systems, which include the Jarzynski equality and Bochkov-Kuzovlev equality. Compared with other methods in the literature, our method shows a higher similarity in form to the method deriving the fluctuation relations in the classical systems.

arXiv:1201.1557Physical Review EJul 6, 201218 citations

Nonequilibrium work equalities in isolated quantum systems

Fei Liu, Zhong-Can Ouyang

We briefly introduce the quantum Jarzynski and Bochkov-Kuzovlev equalities in isolated quantum Hamiltonian systems, which includes the origin of the equalities, their derivations using a quantum Feynman-Kac formula, the quantum Crooks equality, the evolution equations governing the characteristic functions of the probability density functions for the quantum work, the recent experimental verifications. Some results are given here first time. We particularly emphasize the formally structural consistence between these quantum equalities and their classical counterparts, which shall be useful in understanding the existing equalities and pursuing new fluctuation relations in other complex quantum systems.

arXiv:1403.6564Chinese Physics BJul 1, 20146 citations

A Feynman-Kac formula for anticommuting Brownian motion

Steven Leppard, Alice Rogers

Motivated by application to quantum physics, anticommuting analogues of Wiener measure and Brownian motion are constructed. The corresponding Itô integrals are defined and the existence and uniqueness of solutions to a class of stochastic differential equations is established. This machinery is used to provide a Feynman-Kac formula for a class of Hamiltonians. Several specific examples are considered.

arXiv:quant-ph/0008081Journal of Physics A Mathematical and GeneralJan 12, 20011 citation

A Feynman-Kac Formula for Anticommuting Brownian Motion

S Leppard, A Rogers

Motivated by application to quantum physics, anticommuting analogues of Wiener measure and Brownian motion are constructed. The corresponding Ito integrals are defined and the existence and uniqueness of solutions to a class of stochastic differential equations is established. This machinery is used to provide a Feynman-Kac formula for a class of Hamiltonians. Several specific examples are considered.

Jan 1, 20004 citations

Three useful bounds in quantum mechanics -- easily obtained by Wiener integration

Hajo Leschke, Rainer Ruder

In a reasonably self-contained and explicit presentation we illustrate the efficiency of the Feynman–Kac formula for the rigorous derivation of three inequalities of interest in non-relativistic quantum mechanics.

Jan 1, 20080 citations

Jarzynski equality for conditional stochastic work

Akira Sone, Sebastian Deffner

It has been established that the inclusive work for classical, Hamiltonian dynamics is equivalent to the two-time energy measurement paradigm in isolated quantum systems. However, a plethora of other notions of quantum work has emerged, and thus the natural question arises whether any other quantum notion can provide motivation for purely classical considerations. In the present analysis, we propose the conditional stochastic work for classical, Hamiltonian dynamics, which is inspired by the one-time measurement approach. This novel notion is built upon the change of expectation value of the energy conditioned on the initial energy surface. As main results we obtain a generalized Jarzynski equality and a sharper maximum work theorem, which account for how non-adiabatic the process is. Our findings are illustrated with the parametric harmonic oscillator.

Jan 1, 202013 citations