Using the positive P-representation of the density matrix, we develop an algorithm for calculating the quantum many-body nonlinear response functions of a system of bosons driven impulsively by external fields. The formalism maps the quantum time evolution of N boson degrees of freedom into a stochastic dynamics of 4N classical degrees of freedom. The first- and the third-order response functions are calculated by propagating the parameters of the P-representation using a set of coupled Langevin equations with multiplicative noise. These parameters serve as classical variables. Two classical ways for computing the response functions are presented. In the nonequilibrium method, an observable is calculated for weak impulsive pulses, and the response functions are obtained by taking its derivatives with respect to the pulse amplitudes. In the alternative, equilibrium simulation, the response functions are expressed in terms of time-correlation functions involving the P-representation parameters and stability matrices representing the perturbation of the trajectories. The stability matrices can be propagated simultaneously with the Langevin equations for the parameters. The formalism is generalized for a many-body boson system coupled to a harmonic bath.
Using the positive P-representation of the density matrix, we develop an algorithm for calculating the quantum many-body nonlinear response functions of a system of bosons driven impulsively by external fields. The formalism maps the quantum time evolution of N boson degrees of freedom into a stochastic dynamics of 4N classical degrees of freedom. The first- and the third-order response functions are calculated by propagating the parameters of the P-representation using a set of coupled Langevin equations with multiplicative noise. These parameters serve as classical variables. Two classical ways for computing the response functions are presented. In the nonequilibrium method, an observable is calculated for weak impulsive pulses, and the response functions are obtained by taking its derivatives with respect to the pulse amplitudes. In the alternative, equilibrium simulation, the response functions are expressed in terms of time-correlation functions involving the P-representation parameters and stability matrices representing the perturbation of the trajectories. The stability matrices can be propagated simultaneously with the Langevin equations for the parameters. The formalism is generalized for a many-body boson system coupled to a harmonic bath.
Computing response functions by following the time evolution of superoperators in Liouville space (whose vectors are ordinary Hilbert space operators) offers an attractive alternative to the diagrammatic perturbative expansion of many-body equilibrium and nonequilibrium Green's functions. The bookkeeping of time ordering is naturally maintained in real (physical) time, allowing the formulation of Wick's theorem for superoperators, giving a factorization of higher order response functions in terms of two fundamental Green's functions. Backward propagations and analytic continuations using artificial times (Keldysh loops and Matsubara contours) are avoided. A generating functional for nonlinear response functions unifies quantum field theory and the classical mode coupling formalism of nonlinear hydrodynamics and may be used for semiclassical expansions. Classical response functions are obtained without the explicit computation of stability matrices.
A method for treating nonlinear stochastic systems is described which it is hoped will be useful in both the quantum-mechanical many-body problem and the theory of turbulence. In this method the true problem is replaced by models that lead to closed equations for correlation functions and averaged Green's functions. The model solutions are exact descriptions of possible dynamical systems, and, as a result, they display certain consistency properties. For example, spectral components of Green's functions which must be positive-definite in the true problem automatically are so for the models. The models involve a new stochastic element: Random couplings are introduced among an infinite collection of similar systems, the true problem corresponding to the limit where these couplings vanish. The method is first applied to a linear oscillator with random frequency parameter. The mean impulse-response function of the oscillator is obtained explicitly for two successive models. The results suggest the existence of a sequence of model solutions which converges rapidly to the exact solution of the true problem. Applications then are made to the Schrödinger equation of a particle in a random potential and to Burgers' analog for turbulence dynamics. For both problems, closed model equations are obtained which determine the average Green's function, the amplitude of the mean field, and the covariance of the fluctuating field. The model solutions can be expressed as sums of infinite classes of terms from the formal perturbation expansions of the solutions to the true problems. It is suggested that correspondence to stochastic models may be a useful criterion to help judge the validity of partial summations of perturbation series.
A system of bosons interacting by 2-body forces is treated in momentum space in the Heisenberg representation, assuming a statistically homogeneous and stationary state. The principle of weak statistical dependence of different momentum modes, previously applied to turbulence dynamics, is used to obtain an exact expansion expressing quadrilinear (2-body) time-displaced correlation functions of the second-quantized field variables in terms of bilinear time-displaced correlation functions and average impulse-response functions. The last-named functions are defined in terms of the exact Green's operator, for infinitesimal sources, of the nonlinear Heisenberg equations of motion. A set of coupled integral equations are then obtained which determine both the bilinear correlation functions and the response functions. By retaining in these equations only the lowest terms in the cited expansion, a theory is obtained which includes particle "self-energy" interactions with the medium of all orders. A modification of the theory is briefly outlined which includes, at finite temperatures, all the processes described at absolute zero by the Brueckner approximation and, in addition, 3-body effects, iterated to all orders, which are omitted in that approximation.
We discuss a phase space representation of quantum dynamics of systems with many degrees of freedom. This representation is based on a perturbative expansion in quantum fluctuations around one of the classical limits. We explicitly analyze expansions around three such limits: (i) corpuscular or Newtonian limit in the coordinate-momentum representation, (ii) wave or Gross-Pitaevskii limit for interacting bosons in the coherent state representation, and (iii) Bloch limit for the spin systems. We discuss both the semiclassical (truncated Wigner) approximation and further quantum corrections appearing in the form of either stochastic quantum jumps along the classical trajectories or the nonlinear response to such jumps. We also discuss how quantum jumps naturally emerge in the analysis of non-equal time correlation functions. This representation of quantum dynamics is closely related to the phase space methods based on the Wigner-Weyl quantization and to the Keldysh technique. We show how such concepts as the Wigner function, Weyl symbol, Moyal product, Bopp operators, and others automatically emerge from the Feynmann's path integral representation of the evolution in the Heisenberg representation. We illustrate the applicability of this expansion with various examples mostly in the context of cold atom systems including sine-Gordon model, one- and two-dimensional Bose Hubbard model, Dicke model and others.
The quantum dynamics and grand canonical thermodynamics of many-mode (one-, two-, and three-dimensional) interacting Bose gases are simulated from first principles. The model uses a lattice Hamiltonian based on a continuum second-quantized model with two-particle interactions, external potential, and interactions with an environment, with no further approximations. The interparticle potential can be either an (effective) delta function as in Bose-Hubbard models, or extended with a shape resolved by the lattice. Simulations are of a set of stochastic equations that in the limit of many realizations correspond exactly to the full quantum evolution of the many-body systems. These equations describe the evolution of samples of the gauge P distribution of the quantum state, details of which are developed. Conditions under which general quantum phase-space representations can be used to derive stochastic simulation methods are investigated in detail, given the criteria: 1) The simulation corresponds exactly to quantum mechanics in the limit of many trajectories. 2) The number of equations scales linearly with system size, to allow the possibility of efficient first-principles quantum mesoscopic simulations. 3) All observables can be calculated from one simulation. 4) Each stochastic realization is independent to allow straightforward use of parallel algorithms. Special emphasis is placed on allowing for simulation of open systems. In contrast to typical Monte Carlo techniques based on path integrals, the phase-space representation approach can also be used for dynamical calculations. Two major (and related) known technical stumbling blocks with such stochastic simulations are instabilities in the stochastic equations, and pathological trajectory distributions as the boundaries of phase space are approached. These can (and often do) lead to systematic biases in the calculated observables. The nature of these problems are investigated in detail. Many phase-space distributions have, however, more phase-space freedoms than the minimum required for exact correspondence to quantum mechanics, and these freedoms can in many cases be exploited to overcome the instability and boundary term problems, recovering an unbiased simulation. The stochastic gauge technique, which achieves this in a systematic way, is derived and heuristic guidelines for its use are developed. The gauge P representation is an extension of the positive P distribution, which uses coherent basis states, but allows a variety of useful stochastic gauges that are used to overcome the stability problems. Its properties are investigated, and the resulting equations to be simulated for the open interacting Bose gas system are derived. The dynamics of the following many-mode systems are simulated as examples: 1) Uniform one-dimensional and two-dimensional Bose gases after the rapid appearance of significant two-body collisions (e.g. after entering a Feshbach resonance). 2) Trapped bosons, where the size of the trap is of the same order as the range of the interparticle potential. 3) Stimulated Bose enhancement of scattered atom modes during the collision of two Bose-Einstein condensates. The grand canonical thermodynamics of uniform one-dimensional Bose gases is also calculated for a variety of temperatures and collision strengths. Observables calculated include first to third order spatial correlation functions (including at finite interparticle separation) and momentum distributions. The predicted phenomena are discussed. Improvements over the positive P distribution and other methods are discussed, and simulation times are analyzed for Bose-Hubbard lattice models from a general perspective. To understand the behavior of the equations, and subsequently optimize the gauges for the interacting Bose gas, single- and coupled two-mode dynamical and thermodynamical models of interacting Bose gases are investigated in detail. Directions in which future progress can be expected are considered. Lastly, safeguards are necessary to avoid biased averages when exponentials of Gaussian-like trajectory distributions are used (as here), and these are investigated.