Geometry and Statistics of Ehrenfest dynamics
Quantum dynamics (e.g., the Schrödinger equation) and classical dynamics (e.g., Hamilton equations) can both be formulated in equal geometric terms: a Poisson bracket defined on a manifold. The difference between both worlds is due to the presence of extra structure in the quantum case, that leads to the appearance of the probabilistic nature of the measurements and the indetermination and superposition principles. In this paper we first show that the quantum-classical dynamics prescribed by the Ehrenfest equations can also be formulated within this general framework, what has been used in the literature to construct propagation schemes for Ehrenfest dynamics. Then, the existence of a well defined Poisson bracket allows to arrive to a Liouville equation for a statistical ensemble of Ehrenfest systems. The study of a generic toy model shows that the evolution produced by Ehrenfest dynamics is ergodic and therefore the only constants of motion are functions of the Hamiltonian. The emergence of the canonical ensemble characterized by the Boltzmann’s distribution follows after an appropriate application of the principle of equal a priori probabilities to this case. This work provides the basis for extending stochastic methods to Ehrenfest dynamics.
There is little doubt that the solution of Schrödinger equation for a combined system of electrons and nuclei enables us to predict most of the chemistry and molecular physics that surrounds us, including bio-physical processes of great complexity. Yet there is also little doubt that this task is not possible in general, and approximations need to be made; one of the most important and successful being the classical approximation for a number of the particles. Mixed quantum-classical dynamical (MQCD) models are therefore necessary and widely used.
The so-called “Ehrenfest equations” (EE) result from a straightforward application of the classical limit to a portion of the particles of a full quantum system, and constitute the most evident MQCD model, as well as a first step in the intricated problem of mixing quantum and classical dynamics. For example, it can be noted that much of the field of molecular dynamics (MD) – whether ab initio or not – is based on equations that can be obtained from further approximations to the Ehrenfest model: for instance, written in the adiabatic basis, the Ehrenfest dynamics collapse into Born Oppenheimer MD if we assume the non-adiabatic couplings to be negligible.
It is not the purpose of this work, however, to dwell into the
justification or validity conditions of the EE (see for example
Refs. Marx and Hutter, 2009; Gerber et al., 1982; Gerber and Ratner, 1988; Bornemann et al., 1996, 1995 for rigurous
analyses). Nor is it to investigate the unsettled problem of which
is the best manner of mixing quantum and classical degrees of
freedom. The Ehrenfest model has a proven application niche, and for
this reason we are interested in investigating some of its
theoretical foundations, in a manner and with an aim that we
describe in the following.
Classical mechanics (CM) can be formulated in several mathematical frameworks, each corresponding to a different level of abstraction (Newton’s equations, the Hamiltonian formalism, the Poisson brackets, etc.). Perhaps its more abstract and general formulation is geometrical, in terms of Poisson manifolds. Similarly, quantum mechanics (QM) can be formulated in different ways, some of which resemble its classical counterpart. For example, the observables (self-adjoint linear operators) are endowed with a Poisson algebra almost equal to the one that characterizes the dynamical variables in CM. Moreover, Schrödinger equation can be recast into Hamiltonian equations form Heslot (1985) by transforming the complex Hilbert space into a real one of double dimension; the observables are also transformed into dynamical functions in this new phase space, in analogy with the classical case. Finally, a Poisson bracket formulation has also been established for QM, which permits to classify both the classical and the quantum dynamics under the same heading.
This variety of formulations does not emerge from academic caprice; the successive abstractions simplify further developments of the theory, such as the step from microscopic dynamics to statistical dynamics: the derivation of Liouville’s equation (or von Neumann’s equation in the quantum case), at the heart of statistical dynamics, is based on the properties of the Poisson algebra.
The issue regarding what is the correct equilibrium distribution of a mixed quantum-classical system is seen as a very relevant one. Parandekar and Tully (2006); Käb (2006); Bastida et al. (2006); Käb (2002); Tully (1998); Müller and Stock (1997); Mauri et al. (1993); Terashima et al. (2001) An attempt to its derivation can be found in Ref. Mauri et al., 1993, where they arrive to the same distribution that we will advocate below, although it is done using the Nosé-Hoover technique,Nosé (1984, 1991) which is only a mathematical scheme to produce the equilibrium, and which the very authors of Ref. Mauri et al., 1993 agree that it is not clear how to apply to a mixed quantum-classical dynamics. In Ref. Parandekar and Tully, 2006 they provide some analytical results about this distribution, but not in the case in which the system of interest is described by the EE; instead (and as in Refs. Käb, 2006; Bastida et al., 2006), they assume that the system is fully quantum, and that it is coupled to an infinite classical bath via an Ehrenfest-like interaction.
It is therefore necessary to base Ehrenfest dynamics – or any other MQCD model – on firm theoretical ground. In particular, we are interested in establishing a clear path to statistical mechanics for Ehrenfest systems, which in our opinion should be done by first embedding this dynamics into the same theoretical framework used in the pure classical or quantum cases (i.e., Poisson brackets, symplectic forms, etc). Then the study of their statistics will follow the usual steps for purely classical or purely quantum ensembles. In this respect, it should be noted that other approaches to MQCD (not based on Ehrenfest equations) exist,Kisil (1996); Prezhdo and Kisil (1997); Kapral and Ciccotti (1999) and to their corresponding statistics; Nielsen et al. (2001); Kapral (2001) however it has been found that the formulation of well defined quantum-classical brackets (i.e., satisfying the Jacobi identity and Leibniz derivation rule) is a difficult issue. Kisil (2005); Agostini et al. (2007); Kisil (2010); Agostini et al. (2010) On the contrary, as shown below, and as a result of the fact that the evolution of a quantum system can be formulated in terms of Hamilton equations similar to those of a classical system,Bornemann et al. (1996); Schmitt and Brickmann (1996) we will not have difficulties in a rigorous formulation of the Ehrenfest dynamics in terms of Poisson brackets.
The roadmap of this project is the following: In Section II we recall the definition of the Ehrenfest model. In Section III we summarize quickly the formulation of CM in terms of Poisson brackets. Then we summarize, in Section IV, the analogous description of QM in terms of geometrical objects which can be found, for example, in Refs. Kibble, 1979; Heslot, 1985; Abbati et al., 1984; Cirelli et al., 1991; Brody and Hughston, 2001; Ashtekar and Schilling, 1998; Cariñena et al., 2006, 2007; Clemente-Gallardo and Marmo, 2008. These works demonstrate how Schrödinger equation can be written as a set of (apparently classical) Hamiltonian equations. Also, by using a suitable definition of observables as functions on the (real) set of physical states, Schrödinger equation can be written in terms of a canonical Poisson bracket. QM appears in this way as “classical”, although the existence of extra algebraic structure encodes the probabilistic interpretation of measurements, and the superposition and indetermination principles Kibble (1979); Abbati et al. (1984); Cirelli et al. (1991); Brody and Hughston (2001); Ashtekar and Schilling (1998) . For the case of Ehrenfest dynamics, we can now combine it (Section V) with CM, whose Poisson bracket formulation is very well known. The procedure is very simple: we consider as a global phase space the Cartesian product of the electronic and the nuclear phase spaces and define a global Poisson bracket simply as the sum of the classical and the quantum ones. It is completely straightforward to prove that such a Poisson bracket is well defined and that it provides the correct dynamical equations (EE).
From a formal point of view, the resulting dynamics is more similar to a classical system than to a quantum one, although when considering a pure quantum system the dynamics is the usual Schrödinger one. This is not surprising since the coupling of the classical and quantum systems makes the total system nonlinear in its evolution, and this is one of the most remarkable differences between a classical and a quantum system in any formulation.
Once the dynamical description as a Poisson system is at our disposal, it is a very simple task (Section VI) to construct the corresponding statistical description following the lines of Refs. Balescu, 1997 and Balescu, 1975. The formal similarity with the CM case ensures the correctness of the procedure and allows us to derive a Liouville equation. The choice of the equilibrium distribution is based, as usual, in the principle of equal a priori probablities implicitely used by Gibbs and clearly formulated by Tolman Tolman (1938).
Finally, in the conclusions (Section VII), we propose to extend, within our formalism, stochastic methods to Ehrenfest dynamics.
Ii The Ehrenfest model
The Ehrenfest Equations have the following general form:
where denote collectively the set of canonical position and momenta coordinates of a set of classical particles, whereas is the wavefunction of the quantum part of the system. See Ref Andrade et al., 2009 for the issue of the Hellmann-Feynman theorem in this context – i.e., whether one should take the derivative inside or outside the expectation value.
This and other MQCD models appear in different contexts; in many situations, the division into quantum and classical particles is made after the electrons have been integrated out, and is used to quantize a few of the nuclear degrees of freedom. However, a very obvious case to use EE is when we want to treat electrons quantum mechanically, and nuclei classically. In order to fix ideas, let us use this case as an example: the Hamiltonian for the full quantum system is:
where all sums must be understood as running over the whole natural set for each index. is the mass of the J-th nucleus in units of the electron mass, and is the charge of the J-th nucleus in units of (minus) the electron charge. Also note that we have defined the nuclei-electrons potential and the electronic Hamiltonian operators.
The EE may then be reached in the following way:Marx and Hutter (2009); Gerber et al. (1982); Gerber and Ratner (1988); Bornemann et al. (1996, 1995) first, the full wave function is split into a product of nuclear and electronic wave functions, which leads to the time dependent self-consistent field model, in which the two subsystems are quantum and coupled. Afterwards, a classical limit procedure is applied to the nuclear subsystem, and the EE emerge naturally. In terms of the nuclei positions and of the element of the Hilbert space which encodes the state of the electrons of the system, the Ehrenfest dynamics is then given by
These equations can be given a Hamiltonian-type description by introducing a Hamiltonian function of the form:
Then, by fixing a relation of the form , we obtain a structure similar to Hamilton equations:
But in spite of the formal similarities, these equations do not correspond yet to Hamilton equations, since they lack a global phase space formulation (encompassing both the nuclear and the electronic degrees of freedom) and a Poisson bracket.
Iii Classical mechanics in terms of Poisson brackets
Let us begin by recalling very quickly the Hamiltonian formulation of classical dynamics. We address the interested reader to a classical text, such as Ref. Abraham and Marsden, 1978, for a more detailed presentation.
Let us consider a classical system with phase space , which, for the sake of simplicity, we can identify with , where is the number of degrees of freedom (strictly speaking, is a general -dimensional manifold, homeomorphic to only locally). The dimensions correspond with the position coordinates that specify the configuration of the system, and the corresponding momenta (mathematically, however, the division into “position” and “momenta” coordinates is a consequence of Darboux theorem – see below).
In what regards the observables, classical mechanics uses the set of differentiable functions
assigning the result of the measurement to every point in . On this set of functions we introduce an operation, known as Poisson bracket, which allows us to study the effect of symmetry transformations and also the dynamical evolution. The precise definition is as follows:
A Poisson bracket, , is a bilinear operation
It is antisymmetric,
It satisfies the Jacobi identity, i.e., :
It satisfies the Leibniz rule ,i.e., :
A Poisson bracket allows us also to introduce the concept of Hamiltonian vector field:
Given a function and a Poisson bracket , a vector field, , is said to be its Hamiltonian vector field if
We shall call a Hamiltonian system to a triple , where is a Poisson bracket on , and dynamics is introduced via the function , that we call the Hamiltonian.
If the Poisson bracket is non degenerate (it has no Casimir functions), a theorem due to Darboux ensures that there exists a set of coordinates for which the bracket has the “standard” form (at least locally, in a neighbourhood of every point):
These coordinates are called Darboux coordinates. They are specially useful when studying the dynamics and invariant measures of a Hamiltonian systemAbraham and Marsden (1978). In the rest of the paper we shall be working with this kind of coordinates.
Then, given , we can write the corresponding Hamiltonian vector field as
Now one can consider two different formulations of the dynamics:
One which defines the corresponding Hamiltonian vector field obtained as above
The integral curves of the vector field define the solution of the dynamics.
An analogous formulation can be given in terms of the observables. If we consider now the set of functions of the system, i.e., the set of classical observables, the dynamics is written as the Poisson bracket of the Hamiltonian function with any other function of the system, i.e.,
Both approaches are equivalent: the differential equations that determine the integral curves of the Hamiltonian vector field are given by Eq. 15, for the functions “position” and “momenta” of each particle (i.e., and ). These equations are nothing else but Hamilton equations:
Iv Summary of geometric quantum mechanics
The aim of this section is to provide a description of a quantum mechanical system by using the geometric tools which are used to describe classical mechanical systems. It is just a very quick summary of the framework which has been developed in the last 30 years and which can be found in Refs. Kibble, 1979; Heslot, 1985; Abbati et al., 1984; Cirelli et al., 1991; Brody and Hughston, 2001; Ashtekar and Schilling, 1998; Cariñena et al., 2006, 2007; Clemente-Gallardo and Marmo, 2008 and references therein. For the sake of simplicity, we shall focus only on the finite dimensional case. The Hilbert space becomes then isomorphic to for a natural number.
iv.1 The states
Consider a basis for . Each state can be written in that basis with complex components (or coordinates, in more differential geometric terms) :
We can just take the vector space inherent to the Hilbert space, and turn it into a real vector space , by splitting each coordinate in its real and imaginary part:
We will use real coordinates , to represent the points of when thought as real manifold elements. From this real point of view the similarities between the quantum dynamics and the classical one described in the previous section will be more evident. Sometimes it will be useful to maintain the complex notation or for the elements of the Hilbert space.
Another important aspect of the Hilbert space description of quantum mechanics is the study of the global phase of the state. It is a well known fact that physical states are independent from the global phase of the element of the Hilbert space that we choose to represent them. In the formulation as a real vector space, we can represent the multiplication by a phase on the manifold as a transformation whose infinitesimal generator is written as:
where the derivatives with respect to the complex and real variables are related by and The meaning of this vector field is simple to understand if we realize that a phase change modifies the angle of the complex number representing the state, when considered in polar form (i.e., in polar coordinates with , Eq. (17) becomes ). Then, from a geometrical point of view we can use Eq. (17) in two ways:
Computing its integral curves, which are the different states which are obtained from an initial one by a global phase multiplication.
Acting with the vector field on functions of (which will represent our observables) providing us with the effect of the global phase transformation on the observables.
One final point is to consider the limitation in the norm. The sphere of states with norm equal to one in corresponds in the real-vector-space description to the –dimensional sphere:
It is immediate that the vector field (17) is tangent to , since the phase change preserves the norm of the state.
iv.2 The Hermitian structure
The Hilbert space structure of a quantum system is encoded in a Hermitian structure or scalar product . The latter is specified by the choice of an orthonormal basis .
Taking as coordinates , the components of a vector in this basis, as we did in the previous paragraph, we can define a Poisson bracket in , by
or in real coordinates
that corresponds to the standar Poisson bracket in classical mechanics. This justifies the choice of the notation for the real coordinates wich become Darboux coordinates for the Poisson bracket.
For later purposes it will be useful to introduce a symmetric bracket by
Observe that in order to define the Poisson and the symmetric brackets we made use of an orthonormal basis in the Hilbert space. We may think that both objects are not canonical as they could depend of the choice of the basis. In the following proposition we shall show that this is not the case.
The brackets and defined above depend only on the scalar product and not on the orthonormal basis used to construct them.
Proof The coordinates in two different orthonormal basis, for a given scalar product, and are related by a unitary transformation, i.e., if
we have with .
From which one immediately gets
and both the Poisson and symmetric brackets are independent from the choice of orthonormal basis, which concludes the proof.
An important property of the brackets defined above is that they are preserved by the vector field in Eq. (17) in the sense that
A fact that can be proved with a simple computation.
This property is important for us because it implies that the symmetric or antisymmetric bracket of two functions killed by (i.e., constant under phase change) will be killed by too:
Therefore, it makes sense to restrict ourselves to this class of functions.
iv.3 The observables
Now that we have been able to formulate quantum mechanics on a real state space, we proceed to discuss how to represent the physical observables on this new setting. Instead of considering the observables as linear operators (plus the usual requirements, self-adjointness, boundedness, etc.) on the Hilbert space , we shall be representing them as functions defined on the real manifold . The reason for that is to resemble, as much as possible, the classical mechanical approach. But we can not forget the linearity of the operators, and thus the functions must be chosen in a very particular way. The usual choice inspired in Ehrenfest’s theorem selects the functions introduced in the following:
To any operator we associate the quadratic function
We shall denote the set of such functions as .
Notice that this definition of observable is different from the analogous one in the classical case. In the classical framework a state, represented by a point in , provides a well defined result for any observable . In this geometric quantum mechanics (GQM in the following) framework, on the other hand, the value at a given state of provides just the average value of the corresponding operator in that state. Besides, contrarily to the classical case, not all the functions on are regarded as observables, but only those of the form of (23).
Once the definition has been stated, we must verify that it is a consistent one, in the sense that the brackets defined in act correctly in this space. This is contained in the following
The set of functions of the form (23) is closed under the brackets defined in section B.
Proof Direct computation: just take the expression of the functions, compute the derivatives, obtain the bracket and verify that they correspond to the expressions of the functions associated to the (anti)commutator of the corresponding operators.
Within the usual approach of quantum mechanics, there are three algebraic structures on the set of operators, which turn out to be meaningful and important for the physical description:
The associative product of two operators:
It is important to notice, though, that this operation is not internal in the set of Hermitian operators (i.e., those associated to physical magnitudes), since the product of two Hermitian operators is not Hermitian, in general.
The anticommutator of two operators:
The commutator of two operators:
Notice that these last two operations are internal in the space of Hermitian operators. How do we translate these operations into the GQM scheme?
To answer this question we recall the brackets defined in the previous subsection B. If we take ,
the anticommutator of two operators, becomes the symmetric bracket or Jordan product of the functions (see Ref. Landsman, 1998):
The commutator of two operators, transkates into the Poisson bracket of the functions:
Conclusion: The operators and their algebraic structures are encoded in the set of functions with the brackets associated to the Hermitian product.
Thus we see why it makes sense to consider only that specific type of functions: it is a choice which guarantees to maintain all the algebraic structures which are required in the quantum description.
Another important property of the set of operators of quantum mechanics is the corresponding spectral theory. In any quantum system, it is of the utmost importance to be able to find eigenvalues and eigenvectors. We can summarize the relation between these objects and those in the new GQM scheme in the following result:
Let be the function associated to the observable . Then, if we consider (The case is not meaningful from the physical point of view),
the eigenvectors of the operator coincide with the critical points of the function , i.e.,
The eigenvalue of at the eigenvector is the value that the function takes at the critical point .
Proof Trivial computation. Recall Ritz theorem from any quantum mechanics textbook, as for instance Ref. Cohen-Tannoudji et al., 1973.
In the previous subsection we saw that the vector field defined in Eq.(17)Cariñena et al. (2006) preserves the Poisson bracket. Indeed, it is possible to prove that corresponds to a Hamiltonian vector field whose Hamiltonian function is precisely the norm of the state:
Let . The vector field defining the multiplication of the states by a phase is the Hamiltonian vector field of the function corresponding to the identity operator:
Proof The function is easily computed:
The Hamiltonian vector field corresponding to this function is, easily too, computed:
iv.4 The dynamics
As in the classical case, the dynamics can be implemented in different forms, always in a way which is compatible with the geometric structures introduced so far:
In the Schrödinger picture, the dynamics is described as the integral curves of the vector field , where is the Hamiltonian operator of the system:
In the Heisenberg picture, the dynamics is introduced by transferring the Heisenberg equation into the language of functions:
The most interesting example is probably the expression of the von Neumann equation:
where is the function associated to the density matrix.
Conclusion: It is possible to describe quantum dynamics as a flow of a vector field on the manifold or on the set of quadratic functions of the manifold. Such a vector field is a Hamiltonian vector field with respect to the Poisson bracket encoded in the Hermitian structure of the system.
Let us consider again the simplest quantum situation defined on . As a real manifold, . Consider then a Hamiltonian which is usually written as a matrix:
If we consider it as a matrix on the real vector space , it reads:
where the matrix above is symmetric because is Hermitian, since we have:
The function in becomes thus:
and then, the Hamiltonian vector field turns out to be:
and its integral curves are precisely the expression of Schrödinger equation when we write it back in complex terms:
We can write these equations as:
is the complex state vector in terms of the real coordinates. The operator , that satisfies , is called the complex structure. As it is apparent when comparing (28) and (29), it implements the multiplication by the imaginary unity in the real presentation of the Hilbert space. Observe that and commute, this is due to the fact that the latter comes from an operator in the complex Hilbert space.
As the norm of a state can be written as the function associated to the identity operator, it is trivial to prove:
Proof It is immediate to see that the evolution of the function is given by the Poisson bracket with the Hamiltonian:
But because of the properties of the bracket
Thus the dynamics preserves the norm of the state, and the flow is restricted to the sphere .
V Ehrenfest dynamics as a Hamiltonian system
In this section we show how to put together the dynamics of a quantum and a classical system following the presentation of the two previous sections. We are describing thus a physical system characterized by the following elements:
v.1 The set of states of our system
First, let be a Hilbert space which describes the quantum degrees of freedom of our system. For example, it could describe the electronic subsystem; in this case, it is the vector space corresponding to the completely antisymmetric representation of the permutation group (i.e., a set of Slater determinants), where is the number of electrons of the system and each electron lives in a Hilbert space of dimension . Thus, the dimension of will be .
We know that it is a complex vector space, but we prefer to consider it as a real vector space with the double of degrees of freedom and denote it as . Also, in correspondence with the Hilbert space vectors in the usual formalism of quantum mechanics, several states in represent the same physical state. To consider true physical states one should extract only those corresponding to the projective space, which can be identified with a submanifold of . A more general approach is to consider the sphere of states with norm equal to one, , and take into account the phase transformations generated by Eq (17) in a proper way. We will discuss this in the following sections.
Second, let be a differentiable manifold which contains the classical degrees of freedom. We shall assume it to be a phase space, and thus it will have an even number of degrees of freedom and it shall be endowed with a non degenerate Poisson bracket that in Darboux cordinates reads
Third, we let our state space be the Cartesian product of both manifolds,
Such a description has important implications: it is possible to consider each subsystem separately in a proper way but it is not possible to entangle the subsystems with one another. As long as Ehrenfest dynamics disregards this possibility, the choice of the Cartesian product is the most natural one.
If we consider a simple case, where we have one nucleus moving in a three dimensional domain and the electron state is considered to belong to a two-level system, the situation would be:
where represents the position of the nucleus, and represents its linear momentum. The tetrad represents the set of four real coordinates which correspond to the representation of the state of the two-level system on a real vector space (of four ’real’ dimensions which corresponds to a ’complex’ two-dimensional vector space).
As a conclusion from the example above, we use as coordinates for our states:
The positions and momenta of the nuclei:
We will have of these, for the number of nuclei of the system.
The real and imaginary parts of the coordinates of the Hilbert space elements with respect to some basis:
We will have of these, for the complex dimension of the Hilbert space .
v.2 The observables
To represent the physical magnitudes we must consider also the classical-quantum observables from a new perspective.
Our observables must be functions defined on the state space . We know from our discussion in the case of a purely quantum system that any function of the form (23) produces an evolution, via the Poisson bracket, which preserves the norm. In the MQCD case, we can easily write the analogue of the vector field (17) by writting:
This is again the infinitesimal generator of phase transformations for the quantum subsystem, but written at the level of the global state space . A reasonable property to be asked to the functions chosen to represent our observables is to be constant under this transformation. From a mathematical point of view we can write such a condition as follows:
We shall define the set of possible observables, , as the set of all –functions on the set which are constant under phase changes on the quantum degrees of freedom ,i.e.,
As we shall see later, this choice reflects the fact that, when considered coupled together, the nonlinearity of classical mechanics expands also to MQCD.
We would like to remark that because of the choice of the set of states as a Cartesian product of the classical states and the quantum states, we can consider as subsets of the set of observables:
The set of classical functions: these are functions which depend only on the classical degrees of freedom. Mathematically, they can be written as those functions such that there exists a function such that
We denote this subset as . An example of a function belonging to this set is the linear momentum of the nuclei.
the set of generalized quantum functions: functions which depend only on the quantum degrees of freedom and which are constant under changes in the global phase. Mathematically, they can be written as those functions such that there exists a function such that
We denote these functions as . We have added the adjective “generalized” because this set is too large to represent only the set of pure quantum observables. These later functions, should be considered, when necessary, as a smaller subset, which corresponds to the set of functions defined in Eq. (23). We denote this smaller subset as . An example of a function belonging to is the linear momentum of the electrons.
A third interesting subset is the set of arbitrary linear combinations of the subsets above, i.e., those functions which are written as the sum of a purely classical function and a purely quantum one:
We will denote this set as . An element of this set of functions is the total linear momentum of the composed system.
We would like to make a final but very important remark. We have not chosen the set of observables as
for a linear operator on the Hilbert space depending on the classical degrees of freedom because of two reasons:
It is evident that the set above is a subset of (34) and thus we are not loosing any of these observables. But it is a well known property that Ehrenfest dynamics is not linear and then if we consider the operator describing the evolution of the system, it can not belong to the set above. We must thus enlarge the set (37).
We are going to introduce in the next section a Poisson bracket on the space of observables. For that bracket to close a Poisson algebra, we need to consider the whole set (34).
It is important to notice that in the set (34) there are operators which are not representing linear operators for the quantum part of the system and hence the set of properties listed in Section IV for the pure quantum case are meaningless for them. But this is a natural feature of the dynamics we are considering, because of its nonlinear nature.
v.3 Geometry and the Poisson bracket on the classical-quantum world
Finally, we must combine the quantum and the classical description in order to provide a unified description of our system of interest. As we assume that both the classical and the quantum subsystems are endowed with Poisson brackets, we face the same problem we have when combining, from a classical mechanics perspective, two classical systems. Therefore it is immediate to conclude that the corresponding Poisson structures can be combined as:
where the term acts on the degrees of freedom of the first manifold and acts on the degrees of freedom of the second one. It is a known factAbraham and Marsden (1978) that such a superposition of Poisson brackets always produces a well defined Poisson structure in the product space.
The set of pure classical functions and the set of quantum generalized functions are closed under the Poisson bracket. The same happens with the quantum functions and the set of linear combinations . In mathematical terms, what we have is a family of Poisson subalgebras. This property ensures that the description of purely classical or purely quantum systems, or even both systems at once but uncoupled to each other, can be done within the formalism.
Once the Poisson bracket on has been introduced we can express again the constraint we introduced in the definition of the observables in Poisson terms. Thus we find that in a completely analogous way to the pure quantum case, we can prove that
The condition in Eq. (34)
is equivalent to ask the function to Poisson-commute with the function , i.e.,
v.4 The definition of the dynamics
The manifold which represents the set of states by defining a vector field whose integral curves represent the solutions of the dynamics (Schrödinger picture).
The set of functions (please note the differences between the classical and the quantum cases) defined on the set of states which represent the set of observables of the system. In this case the Poisson bracket of the functions with the Hamiltonian of the system defines the corresponding evolution (Heisenberg picture).
Both approaches are not disconnected, since they can be easily related:
where we denote by the vector field which represents the dynamics on the phase space and by the function which corresponds to the Hamiltonian of the complete system.
We can now proceed to our first goal: to provide a Hamiltonian description of Ehrenfest dynamics in terms of a Poisson structure. We thus define the following Hamiltonian system:
A state space corresponding to the Cartesian product .
A set of operators corresponding to the set of functions defined in Eq. (34).
The Poisson bracket defined in Eq. (38).
And finally, the dynamics introduced by the following Hamiltonian function:
where is the expression of the electronic Hamiltonian, are the masses of the classical subsystem of the nuclei and is the real-space representation of the state analogous to Eq. (30).
As a result, the dynamics of both subsystems are obtained easily. In the Schrödinger picture we obtain:
Remark that, form a formal point of view, this is analogous to Example 1. This set of equations corresponds exactly with Ehrenfest dynamics.
The final point is to prove the following lemma:
The dynamics preserves the set of observables .
Proof From Lemma 4, an observable belongs to if it Poisson-commutes with . Thus, as , if we consider an observable , by the Jacobi identity:
Vi Statistics of the Ehrenfest dynamics
The next step in our work is the definition of a statistical system associated to the dynamics we introduced above. The first ingredient for that is the definition of the distributions we shall be describing the system with.
The main conclusion from the previous section is that Ehrenfest dynamics can be described as a Hamiltonian system on a Poisson manifold. Therefore, we are in a situation similar to a standard classical system. We have seen that the dynamics preserves the submanifold ( being the sphere in Eq. (18)), and thus it is natural to consider such a manifold as the space of our statistical system.
We have thus to construct now a statistical system composed of two subsystems. We may think in introducing a total distribution factorizing as the product of a classical and a quantum distribution. But as the events of the classical and the quantum regimes are not independent, the two probabilities must be combined and not defined through two factorizing functions.
Hence we shall consider a density and the canonical volume element in the quantum-classical phase space, restricted to :
where is given by (50) and is the volume element on a -dimensional sphere (see below).
With these ingredients we introduce the following
Given an observable , we define the macroscopic average value, , as
In the rest of the section we shall discuss in more detail the ingredients of this definition.
We start by the volume form. Given the classical phase space with Darboux coordinates (they always exist locallyAbraham and Marsden (1978)) we define the volume element in the classical phase space by
that, as it is well known, is invariant under any purely classical Hamiltonian evolution. One may wonder to what extent the volume form depends on the choice of coordinates. But taking into account that two different sets of Darboux coordinates differ by a canonical transformation, and using the fact that these transformations always have Jacobian equal to one, one concludes that the volume form does not depend on the choice of coordinates.
We might proceed in the same way for the quantum part of our system, as we have written the quantum dynamics like a classical Hamiltonian one and, therefore, we could use the canonical invariant volume element describe in the previous paragraph on . However, new complications appear in this case as in the quantum part of the phase space we restrict the integration to and then we look for an invariant volume form in the unit sphere, rather than in the full Hilbert space.
The new ingredient that makes the restriction possible is the fact that all our observables and of course, also the Hamiltonian, are killed by . This implies, as discussed before, that is a constant of motion. Using this we decompose
which is possible on . The decomposition is not unique, but the restriction (pullback) of to the unit sphere gives a uniquely defined, invariant volume form on that we will denote by . The decomposition is nothing but the factorization into the radial part and the solid angle volume element.
For the simple case we studied above, where and hence and is a three dimensional sphere, the volume element above would be: