Coupling between quantum and classical systems is consistent, provided the evolution is linear in the state space, preserves the split of systems into quantum and classical degrees of freedom, and preserves probabilities. The evolution law must be a completely positive and norm preserving map. We prove that if the dynamics is memoryless there are two classes of these dynamics, one which features finite jumps in the classical phase space and one which is continuous. We derive the most general form of the dynamics. This is achieved by applying the complete positivity conditions using a Cauchy-Schwarz inequality applicable to classical-quantum systems. The key technical result is a generalization of the Pawula theorem.
Coupling between quantum and classical systems is consistent, provided the evolution is linear in the state space, preserves the split of systems into quantum and classical degrees of freedom, and preserves probabilities. The evolution law must be a completely positive and norm preserving map. We prove that if the dynamics is memoryless there are two classes of these dynamics, one which features finite jumps in the classical phase space and one which is continuous. We derive the most general form of the dynamics. This is achieved by applying the complete positivity conditions using a Cauchy-Schwarz inequality applicable to classical-quantum systems. The key technical result is a generalization of the Pawula theorem.
Coupling between quantum and classical systems is consistent, provided the evolution is linear in the state space, preserves the split of systems into quantum and classical degrees of freedom, and preserves probabilities. The evolution law must be a completely positive and norm preserving map. We prove that if the dynamics is memoryless, there are two classes of these dynamics, one which features finite sized jumps in the classical phase space and one which is continuous. We find the most general form of each class of classical-quantum master equation. This is achieved by applying the complete positivity conditions using a generalized Cauchy-Schwartz inequality applicable to classical-quantum systems. The key technical result is a generalisation of the Pawula theorem.
Consistent dynamics which couples classical and quantum degrees of freedom exists, provided it is stochastic. This dynamics is linear in the hybrid state, completely positive and trace preserving. One application of this is to study the back-reaction of quantum fields on space-time which does not suffer from the pathologies of the semi-classical equations. Here we introduce several toy models in which to study hybrid classical-quantum evolution, including a qubit coupled to a particle in a potential, and a quantum harmonic oscillator coupled to a classical one. We present an unravelling approach to calculate the dynamics, and provide code to numerically simulate it. Unlike the purely quantum case, the trajectories (or histories) of this unravelling can be unique, conditioned on the classical degrees of freedom for discrete realisations of the dynamics, when different jumps in the classical degrees of freedom are accompanied by the action of unique operators on the quantum system. As a result, the “measurement postulate'' of quantum theory is not needed; quantum systems become classical because they interact with a fundamentally classical field.
Consistent dynamics which couples classical and quantum degrees of freedom exists. This dynamics is linear in the hybrid state, completely positive and trace preserving. Starting from completely positive classical-quantum master equations, we derive a general path integral representation for such dynamics in terms of a classical-quantum action, which includes the necessary and sufficient conditions for complete positivity and trace preservation. The path integral we study is a generalization of the Feynman path integral for quantum systems, and the stochastic path integral used to study classical stochastic processes, allowing for interaction between the classical and quantum systems. When the classical-quantum Hamiltonian is at most quadratic in the momenta we are able to derive a configuration space path integral, providing a map between master equations and covariant classical-quantum path integrals.
We study the back-reaction of quantum systems onto classical ones. Taking the starting point that semi-classical physics should be described at all times by a point in classical phase space and a quantum state in Hilbert space, we consider an unravelling approach, describing the system in terms of a classical-quantum trajectory. We derive the general form of the dynamics under the assumptions that the classical trajectories are continuous and the evolution is autonomous, and the requirement that the dynamics is linear and completely positive in the combined classical-quantum state. This requirement is necessary in order to consistently describe probabilities, and forces the dynamics to be stochastic when the back-reaction is non-zero. The resulting equations of motion are natural generalisations of the standard semi-classical equations of motion, but since the resulting dynamics is linear in the combined classical-quantum state, it does not lead to the pathologies which usually follow from evolution laws based on expectation values. In particular, the evolution laws we present account for correlations between the classical and quantum system, which resolves issues associated with other semi-classical approaches. In addition, despite a breakdown of predictability in the classical degrees of freedom, the quantum state evolves deterministically conditioned on the classical trajectory, provided a trade-off between decoherence and diffusion is saturated. As a result, the quantum state remains pure when conditioned on the classical trajectory. To illustrate these points, we numerically simulate a number of semi-classical toy models, including one of vacuum fluctuations as a source driving the expansion of the universe. Finally, we discuss the application of these results to semi-classical gravity, and the black-hole information problem.
All physical theories should obey the second law of thermodynamics. However, existing proposals to describe the dynamics of hybrid classical-quantum systems either violate the second law or lack a proof of its existence. Here, we rectify this by studying classical-quantum dynamics that are (1) linear and completely positive and (2) preserve the thermal state of the classical-quantum system. We first prove that such dynamics necessarily satisfy the second law. We then show how these dynamics may be constructed, proposing dynamics that generalize the standard Langevin and Fokker-Planck equations for classical systems in thermal environments to include backreaction from a quantum degree of freedom. Deriving necessary and sufficient conditions for completely positive, linear, and continuous classical-quantum dynamics to satisfy detailed balance, we find this property satisfied by our dynamics. To illustrate the formalism and its applications, we introduce two models. The first is an analytically solvable model of an overdamped classical system coupled to a quantum two-level system, which we use to study the total entropy production in both quantum system and classical measurement apparatus during a quantum measurement. The second describes an underdamped classical-quantum oscillator system subject to friction, which we numerically demonstrate exhibits thermalization in the adiabatic basis, showing the relevance of our dynamics for the mixed classical-quantum simulation of molecules.
A concise and self-contained derivation of hybrid quantum-classical dynamics is given in terms of Markovian master equations. Many previously known results are rederived and revised and some of them are completed or corrected. Using a method as simple as possible, our goal is a brief introduction to the state of the art of hybrid dynamics, with a limited discussion of the implications for foundations and without discussion of further relevance in the measurement problem, quantum gravity, chemistry, numeric methods, etc. Hybrid dynamics is defined as a special case of composite quantum dynamics where the observables of one of the two subsystems are restricted to the commuting set of diagonal operators in a fixed basis. With this restriction, the derivation of hybrid dynamical equations is clear conceptually and simple technically. Jump and diffusive dynamics follow in the form of hybrid master equations. Their stochastic interpretation (called unravelings) is derived. We discuss gauge-type ambiguities, problems of uniqueness, and covariance of the diffusive master equation. Also conditions of minimum noise and of monitoring the quantum trajectory are derived. We conclude that the hybrid formalism is equivalent to the standard Markovian theory of time-continuous quantum measurement (monitoring) on the one hand and is a motivating alternative formalism on the other.