Quantum stochastic calculus
Quantum stochastic calculus is a generalization of stochastic calculus to noncommuting variables. The tools provided by quantum stochastic calculus are of great use for modeling the random evolution of systems undergoing measurement, as in quantum trajectories. Just as the Lindblad master equation provides a quantum generalization to the Fokker–Planck equation, quantum stochastic calculus allows for the derivation of quantum stochastic differential equations that are analogous to classical Langevin equations.
For the remainder of this article stochastic calculus will be referred to as classical stochastic calculus, in order to clearly distinguish it from quantum stochastic calculus.
Heat baths
An important physical scenario in which a quantum stochastic calculus is needed is the case of a system interacting with a heat bath. It is appropriate in many circumstances to model the heat bath as an assembly of harmonic oscillators. One type of interaction between the system and the bath can be modeled by the following Hamiltonian:where is the system Hamiltonian, is a vector containing the system variables corresponding to a finite number of degrees of freedom, is an index for the different bath modes, is the frequency of a particular mode, and are bath operators for a particular mode, is a system operator, and quantifies the coupling between the system and a particular bath mode.
In this scenario the equation of motion for an arbitrary system operator is called the quantum Langevin equation and may be written as:
where and denote the commutator and anticommutator, the memory function is defined as:
and the time dependent noise operator is defined as:
where the bath annihilation operator is defined as:
Oftentimes this equation is more general than is needed, and further approximations are made to simplify the equation.
White noise formalism
For many purposes it is convenient to make approximations about the nature of the heat bath in order to achieve a white noise formalism. In such a case the interaction may be modeled by the Hamiltonian where:and
where are annihilation operators for the bath with the commutation relation, is an operator on the system, quantifies the strength of the coupling of the bath modes to the system, and describes the free system evolution. This model uses the rotating wave approximation and extends the lower limit of to in order to admit a mathematically simple white noise formalism. The coupling strengths are also usually simplified to a constant in what is sometimes called the first Markov approximation:
Systems coupled to a bath of harmonic oscillators can be thought of as being driven by a noise input and radiating a noise output. The input noise operator at time is defined by:
where, since this operator is expressed in the Heisenberg picture. Satisfaction of the commutation relation allows the model to have a strict correspondence with a Markovian master equation.
In the white noise setting described so far, the quantum Langevin equation for an arbitrary system operator takes a simpler form:
For the case most closely corresponding to classical white noise, the input to the system is described by a density operator giving the following expectation value:
Quantum Wiener process
In order to define quantum stochastic integration, it is important to define a quantum Wiener process:This definition gives the quantum Wiener process the commutation relation. The property of the bath annihilation operators in implies that the quantum Wiener process has an expectation value of:
The quantum Wiener processes are also specified such that their quasiprobability distributions are Gaussian by defining the density operator:
where.
Quantum stochastic integration
The stochastic evolution of system operators can also be defined in terms of the stochastic integration of given equations.Quantum Itô integral
The quantum Itô integral of a system operator is given by:where the bold preceding the integral stands for Itô. One of the characteristics of defining the integral in this way is that the increments and commute with the system operator.
Itô quantum stochastic differential equation
In order to define the Itô, it is necessary to know something about the bath statistics. In the context of the white noise formalism described earlier, the Itô can be defined as:where the equation has been simplified using the Lindblad superoperator:
This differential equation is interpreted as defining the system operator as the quantum Itô integral of the right hand side, and is equivalent to the Langevin equation.
Quantum Stratonovich integral
The quantum Stratonovich integral of a system operator is given by:where the bold preceding the integral stands for Stratonovich. Unlike the Itô formulation, the increments in the Stratonovich integral do not commute with the system operator, and it can be shown that:
Stratonovich quantum stochastic differential equation
The Stratonovich can be defined as:This differential equation is interpreted as defining the system operator as the quantum Stratonovich integral of the right hand side, and is in the same form as the Langevin equation.
Relation between Itô and Stratonovich integrals
The two definitions of quantum stochastic integrals relate to one another in the following way, assuming a bath with defined as before:Calculus rules
Just as with classical stochastic calculus, the appropriate product rule can be derived for Itô and Stratonovich integration, respectively:As is the case in classical stochastic calculus, the Stratonovich form is the one which preserves the ordinary calculus. A peculiarity in the quantum generalization is the necessity to define both Itô and Stratonovitch integration in order to prove that the Stratonovitch form preserves the rules of noncommuting calculus.
Quantum trajectories
Quantum trajectories can generally be thought of as the path through Hilbert space that the state of a quantum system traverses over time. In a stochastic setting, these trajectories are often conditioned upon measurement results. The unconditioned Markovian evolution of a quantum system is given by a Lindblad equation. In order to describe the conditioned evolution in these cases, it is necessary to unravel the Lindblad equation by choosing a consistent. In the case where the conditioned system state is always pure, the unraveling could be in the form of a stochastic Schrödinger equation. If the state may become mixed, then it is necessary to use a stochastic master equation.Example unravelings
Consider the following Lindblad master equation for a system interacting with a vacuum bath:This describes the evolution of the system state averaged over the outcomes of any particular measurement that might be made on the bath. The following describes the evolution of the system conditioned on the results of a continuous photon-counting measurement performed on the bath:
where
are nonlinear superoperators and is the photocount, indicating how many photons have been detected at time and giving the following jump probability:
where denotes the expected value. Another type of measurement that could be made on the bath is homodyne detection, which results in quantum trajectories given by the following :
where is a Wiener increment satisfying:
Although these two s look wildly different, calculating their expected evolution shows that they are both indeed unravelings of the same Lindlad master equation: