We investigate the dynamics of a composite quantum system, comprised of coupled subsystems, of which only one is significantly interacting with the environment. The validity of the conventional ad hoc approach---assuming that relaxation terms can be extracted directly from the master equation of the subsystem interacting with the reservoir---was examined. We derived the equation of motion for the composite system's reduced density matrix---applying only the factorization approximation, but not the conventional sequence of Markoff, coarse grain, and secular approximations. From our analysis, we concluded that the conventional ad hoc approach is applicable to zero-temperature reservoir, but fails for finite temperatures. It is further shown that at finite temperatures, the standard procedure does not even yield a master equation for the composite system, and its dynamics has to be studied by the equations of motion which are developed here. For demonstration we considered a system of a three-level atom, the two excited states are coupled to each other, and only one of them communicates with the ground state via a radiation reservoir.
The master equation currently used to describe a two level atom interacting with a single mode field damped by contact with a thermal reservoir (the damped Jaynes-Cummings model) is shown not to have, as its steady state solution, the expected canonical density operator prescribed by the general principles of statistical mechanics for a system in thermal equilibrium. A modified master equation is derived here which satisfies this requirement. Except for a reservoir at zero temperature, this master equation differs from that which is currently used in that the damping terms contain contributions due to the atom-field interaction.
A non-Markovian master equation is derived for the reduced probability density matrix of a subsystem interacting with a general reservoir of coupled anharmonic modes. Relaxation of the subsystem is mediated through resonant interactions with the reservoir. These interactions correspond to local vibrational motions with finite lifetimes due to diffusion/dephasing. The derivation assumes that the density of these interaction modes is very large so that they can be treated using statistical methods. The resulting master equation is shown to preserve probability, Hermiticity, and translational invariance, and conditions are stated which guarantee the positivity of the reduced density. At long time the master equation reduces to a Markovian equation of dynamical semigroup type. In the high temperature limit the theory is parameter free, and shows good agreement with the exact master equation of a spin-boson system.
In a previous paper we showed how time-dependent projection operators may be employed to enable the Nakajima-Zwanzig projection-operator technique for deriving exact master equations to deal efficiently with two or more coupled classical or quantum systems, neither of which is reservoir like. We considered in detail the case where the relevant part of the classical-system probability-density function (PDF) or quantumsystem density operator (DO) is a product of the PDF's or DO's for the separate subsystems, and we applied the techniques developed to problems in quantum optics and in the kinetic theory of dilute nonideal gases. In this paper we make the time-dependent projection-operator approach useful for a greater variety of systems by allowing the relevant part of the PDF or DO to include correlations between two of the interacting subsystems. This extension allows us to describe well the dynamics of strongly interacting systems in a low degree of approximation while avoiding the use of infinite resummations. We derive exact generalized master equations in this manner for the same two cases as in our earlier work, namely a classical gas of
N molecules interacting via a two-body potential and a quantum-optical system of
N two-level atoms interacting with an electromagnetic field. In the former case, the relevant part of the PDF contains two-body correlations, and we obtain two exact coupled master equations for the singlet and doublet PDF's
F1(t) and
F2(t). In the latter case, the relevant part of the DO contains atom-field correlations, and the result is three exact coupled equations for the single-atom DO ${\ensuremath{\rho}}_{1}(t)$, the field DO
R(t), and the DO for one atom plus the field $\ensuremath{\chi}(t)$. From the exact equations we derive approximate equations by making simplifying assumptions. In the case of the gas we carry out a straightforward density expansion of the ${\stackrel{\ifmmode \dot{}\else \.{}\fi{}}{F}}_{2}$ master equation and obtain a set of kinetic equations for dense gases, which have been derived previously by Frieman, Goldman, and Dorfman and which describe well effects due to the finite mean free path. In the quantum-optical case we derive kinetic equations for a single-mode laser by treating the $\stackrel{\ifmmode \dot{}\else \.{}\fi{}}{\ensuremath{\chi}}$ equation in the Born-Markoff approximation. The equations describe gain saturation and other effects on the field dynamics which are of infinite order in the atom-field coupling constant. It is shown that these equations reduce to previously derived laser master equations if atom-atom correlations can be neglected. Finally, we mention possible generalizations of the time-dependent projection-operator approach used in this paper and briefly discuss its application to other problems, including the kinetics of liquids, collisional line broadening, superradiance, and amplified spontaneous emission.
In this paper we derive master equations for two or more systems coupled to each other, perhaps strongly, by using a generalization of the usual projection-operator technique to include time-dependent projection operators. The coupled systems may be either similar or dissimilar and classical or quantum mechanical. Whereas the customary approaches to coupled systems are best able to treat situations in which some of the systems are "baths" with a specified density operator or phase-space probability density, our approach allows us to treat situations where it is necessary or convenient to treat the coupled systems on an equal footing. In our scheme the "relevant" part of the full density operator is considered to be the uncorrelated part of the full density operator and is a symmetric functional of the reduced density operators of each of the coupled subsystems. The "irrelevant" part of the density operator is then the part describing correlations between the coupled systems. Our formalism is particularly useful where systems are coupled to one another predominantly in a self-consistent fashion. First, we develop exact master equations for two coupled systems, taking as our prototype the dynamical problem of quantum optics, where a spatially extended collection of two-level atoms interact with a multimode optical field. We then generalize our results to
N coupled systems, taking as our prototype the kinetics of a classical nonideal gas interacting through two-body forces, and derive exact master equations for the system. We then consider as examples several approximate theories resulting from our exact equations. In the case of the imperfect gas we investigate the low-density limit and show how Bogoliubov's form of the Boltzmann equation emerges from our formalism, as well as corrections due to Klimontovich. We consider as special cases of our exact quantum-optical equations the equations in the first Born approximation, with and without memory, and show how several existing quantum-optical master equations are contained in our general results. As a second example in quantum optics, we consider the case where the predominant behavior of the system is described by the self-consistent-field or coupled Bloch and Maxwell equations and derive a first-order perturbation description for deviations from self-consistent-field behavior.
In Chapter 9, we derived the master equation for a reduced density operator of a two-level atom coupled to a multi-mode vacuum field. We have seen that the master equation is an operator type equation that, in general, is not easy to solve. We have illustrated the solution of the master equation by representing the density operator in the basis of the two states of the two-level atom. The purpose of the representation of the master equation was to obtain c-number differential equations that are equivalent to the operator equations, but are more readily soluble.