Abstract The trace of an arbitrary product of quantum operators with the density operator is rendered as a multiple phase space integral of the product of their Weyl symbols with the Wigner function. Interspersing the factors with various evolution operators, one obtains an evolving correlation. The kernel for the matching multiple integral that evolves within the Weyl representation is identified with the trace of a single compound unitary operator. Its evaluation within a semiclassical approximation then becomes a sum over the periodic trajectories of the corresponding classical compound canonical transformation. The search for periodic trajectories can be bypassed by an exactly equivalent initial value scheme, which involves a change of integration variable and a reduced compound unitary operator. Restriction of all the operators to observables with smooth non-oscillatory Weyl symbols leads naturally to classical evolution within a single phase space integral, if each observable undergoes independent Heisenberg evolution. The linear response function for infrared spectroscopy provides an example depending on a double phase space integral. This is compared to an alternative scheme that employs the widely used Herman-Kluk propagator.
Abstract The trace of an arbitrary product of quantum operators with the density operator is rendered as a multiple phase space integral of the product of their Weyl symbols with the Wigner function. Interspersing the factors with various evolution operators, one obtains an evolving correlation. The kernel for the matching multiple integral that evolves within the Weyl representation is identified with the trace of a single compound unitary operator. Its evaluation within a semiclassical approximation then becomes a sum over the periodic trajectories of the corresponding classical compound canonical transformation. The search for periodic trajectories can be bypassed by an exactly equivalent initial value scheme, which involves a change of integration variable and a reduced compound unitary operator. Restriction of all the operators to observables with smooth non-oscillatory Weyl symbols leads naturally to classical evolution within a single phase space integral, if each observable undergoes independent Heisenberg evolution. The linear response function for infrared spectroscopy provides an example depending on a double phase space integral. This is compared to an alternative scheme that employs the widely used Herman-Kluk propagator.
The trace of an arbitrary product of quantum operators with the density operator is rendered as a multiple phase space integral of the product of their Weyl symbolswith the Wigner function. Interspersing the factors with various evolution operators, one obtains an evolving correlation. The kernel for the matching multiple integral thatevolves within the Weyl representation is identified with the trace of a single compound unitary operator. Its evaluation within a semiclassical approximation then becomes asum over the periodic trajectories of the corresponding classical compound canonical transformation. The search for periodic trajectories can be bypassed by an exactly equivalent initialvalue scheme, which involves a change of integration variable and a reduced compound unitary operator. Restriction of all the operators to observables with smooth nonoscillatoryWeyl symbols reduces the evolving correlation to a single phase space integral. If each observable undergoes independent Heisenberg evolution, the overallcorrelation evolves classically. Otherwise, the kernel acquires a nonclassical phase factor, though it still depends on a purely classical compound trajectory: e.g. the fasefor a double return of the quantum Loschmidt echo does not coincide with twice the phase for a single echo.
Initial value representations are constructed to avoid the search for trajectories that are only defined in semiclassical approximations by their boundary conditions. We show how to incorporate these procedures within the full Weyl representation, so that quantum expectation values are given by phase space integrals over the evolving Wigner function. Spurious semiclassical singularities at caustics are cancelled, even though there is no increase in the number of trajectories, as compared to usual semiclassical formulae. The whole construction remains exact in the case of quadratic Hamiltonians. The evolution of (density) operators depends on either a forward and backward trajectory, given by an initial value, or else on a pair of trajectories, propagating backwards from their final value. The latter option reduces numerical errors in the computation of trajectories. The general scheme also leads to analogous algorithms for evolving the quantum fidelity, which can be approximated perturbatively with a single trajectory, reducing to the 'dephasing representation' for small times. The theory is developed within a generalized 'Maslov method', based on semiclassical Fourier transforms, in order to avoid singularities in the limit of small times.
The Moyal description of quantum mechanics, based on the Wigner-Weyl isomorphism between operators and symbols, provides a comprehensive phase space representation of dynamics. The Weyl symbol image of the Heisenberg picture evolution operator is regular in ħ and so presents a preferred foundation for semiclassical analysis. Its semiclassical expansion "coefficients," acting on symbols that represent observables, are simple, globally defined (phase space) differential operators constructed in terms of the classical flow. The first of two presented methods introduces a cluster-graph expansion for the symbol of an exponentiated operator, which extends Groenewold′s formula for the Weyl product of two symbols and has ħ as its natural small parameter. This Poisson bracket based cluster expansion determines the Jacobi equations for the semiclassical expansion of "quantum trajectories." Their Green function solutions construct the regular ħ ⇓ 0 asymptotic series for the Heisenberg-Weyl evolution map. The second method directly substitutes such a series into the Moyal equation of motion and determines the ħ coefficients recursively. In contrast to the WKB approximation for propagators, the Heisenberg-Weyl description of evolution involves no essential singularity in ħ, no Hamilton-Jacobi equation to solve for the action, and no multiple trajectories, caustics, or Maslov indices.
Abstract. We establish the difference between the propagation of semiclassical Wigner functions and classical Liouville propagation. First we re-discuss the semiclassical limit for the propagator of Wigner functions, which on its own leads to their classical propagation. Then, via stationary phase evaluation of the full integral evolution equation, using the semiclassical expressions of Wigner functions, we provide the correct geometrical prescription for their semiclassical propagation. This is determined by the classical trajectories of the tips of the chords defined by the initial semiclassical Wigner function and centered on their arguments, in contrast to the Liouville propagation which is determined by the classical trajectories of the arguments themselves. 1. introduction The Wigner [11] function W is a representation of the quantum density operator ˆρ as a real function on phase space, for a non-relativistic dynamical system with classical-quantum correspondence and n degrees of freedom. Here, all the underlying geometry is euclidean and we can include the Wigner function within the general framework of Weyl representation of operators: Â → A ∈ Ck IR (IR2n), so W(x) = (2π�) −n ρ(x) , where x ≡ (p1,...pn, q1,...qn) denotes a point in phase space. In this context, the quantum evolution of the density operator ˆρt effected by an autonomous external hamiltonian
We construct a representation of the coherent state path integral using the Weyl symbol of the Hamiltonian operator. This representation is very different from the usual path integral forms suggested by Klauder and Skagerstam (1985 Coherent States: Applications in Physics and Mathematical Physics (Singapore: World Scientific)), which involve the normal or the antinormal ordering of the Hamiltonian. These different representations, although equivalent quantum mechanically, lead to different semiclassical limits. We show that the semiclassical limit of the coherent state propagator in the Weyl representation involves classical trajectories that are independent of the width of coherent states. This propagator is also free from the phase corrections found in Baranger et al ( 2001 J. Phys. A: Math. Gen. 34 7227 ) for the two Klauder forms and provides an explicit connection between the Wigner and the Husimi representations of the evolution operator.
A semiclassical approximation for an evolving density operator, driven by a 'closed' Hamiltonian operator and 'open' Markovian Lindblad operators, is obtained. The theory is based on the chord function, i.e. the Fourier transform of the Wigner function. It reduces to an exact solution of the Lindblad master equation if the Hamiltonian operator is a quadratic function and the Lindblad operators are linear functions of positions and momenta. Initially, the semiclassical formulae for the case of Hermitian Lindblad operators are reinterpreted in terms of a (real) double phase space, generated by an appropriate classical double Hamiltonian. An extra 'open' term is added to the double Hamiltonian by the non-Hermitian part of the Lindblad operators in the general case of dissipative Markovian evolution. The particular case of generic Hamiltonian operators, but linear dissipative Lindblad operators, is studied in more detail. A Liouville-type equivariance still holds for the corresponding classical evolution in double phase space, but the centre subspace, which supports the Wigner function, is compressed, along with expansion of its conjugate subspace, which supports the chord function. Decoherence narrows the relevant region of double phase space to the neighbourhood of a caustic for both the Wigner function and the chord function. This difficulty is avoided by a propagator in a mixed representation, so that a further 'small-chord' approximation leads to a simple generalization of the quadratic theory for evolving Wigner functions.