For quantum theories with a classical limit (which includes the large N limits of typical field theories), we derive a hierarchy of evolution equations for equal time correlators which systematically incorporate corrections to the limiting classical evolution. Explicit expressions are given for next-to-leading order, and next-to-next-to-leading order time evolution. The large N limit of N-component vector models, and the usual semiclassical limit of point particle quantum mechanics are used as concrete examples. Our formulation directly exploits the appropriate group structure which underlies the construction of suitable coherent states and generates the classical phase space. We discuss the growth of truncation error with time, and argue that truncations of the $\mathrm{l}\mathrm{a}\mathrm{r}\mathrm{g}\mathrm{e}\ensuremath{-}N$ evolution equations are generically expected to be useful only for times short compared to a ``decoherence'' time which scales like ${N}^{1/2}.$
For quantum theories with a classical limit (which includes the large N limits of typical field theories), we derive a hierarchy of evolution equations for equal time correlators which systematically incorporate corrections to the limiting classical evolution. Explicit expressions are given for next-to-leading order, and next-to-next-to-leading order time evolution. The large N limit of N-component vector models, and the usual semiclassical limit of point particle quantum mechanics are used as concrete examples. Our formulation directly exploits the appropriate group structure which underlies the construction of suitable coherent states and generates the classical phase space. We discuss the growth of truncation error with time, and argue that truncations of the large\ensuremath−N evolution equations are generically expected to be useful only for times short compared to a ``decoherence'' time which scales like N1/2.
The goal of this thesis is to provide a mathematical rigorous derivation of the Schrödinger-Klein-Gordon equations, the Maxwell-Schrödinger equations and the defocusing cubic nonlinear Schrödinger equation in two dimensions. We study the time evolution of the Nelson model (with ultraviolet cutoff) in a limit where the number N of charged particles gets large while the coupling of each particle to the radiation field is of order N^{−1/2}. At time zero it is assumed that almost all charges are in the same one-body state (a Bose-Einstein condensate) and that the radiation field is close to a coherent state. We show the persistence of condensation over time and prove that the time evolution is approximately described by the Schrödinger-Klein-Gordon system of equations in the large N limit. Subsequently, we consider the spinless Pauli-Fierz Hamiltonian which models the interaction between charged bosons and the quantized electromagnetic field. We discuss the limit previously described and prove that the time evolution is approximated by the Maxwell-Schrödinger equations. To our knowledge, this is the first rigorous result concerning a mean-field limit of the Pauli-Fierz Hamiltonian. We then turn to the evolution of Bose-Einstein condensates in two dimensions and consider N bosons which interact by a repulsive two-body potential. The interaction is given either by N^{−1+2β}V(N^{β}x) with β∈R^{+}_{0} or by e^{2N}V(e^{N}x), for some spherical symmetric, positive and compactly supported V∈L_{∞}(R^{2},R). We prove that the dynamics is approximated by the defocusing two-dimensional cubic nonlinear Schrödinger equation in the large N limit. In case of the exponential scaling, we show that a short-scale correlation structure affects the dynamics of the condensate. This is the first rigorous derivation that considers an exponential scaling of the interaction. All derivations rely on a method developed by Pickl in [Lett. Math. Phys. 97(2), 151–164 (2011)]. The first two results are obtained by an extension of the method to systems which interact with quantized radiation fields. The latter is derived by an appropriate adaption of the proof in three space dimensions [Rev. Math. Phys., 27, 1550005 (2015)]. The crucial insight to derive the Maxwell-Schrödinger equations is to restrict the class of many-body wave functions to a subspace of states whose energy per particle only fluctuates little around the energy functional of the Maxwell-Schrödinger system. To derive the two-dimensional Gross-Pitaevskii equation it is essential to define a measure of condensation which properly incorporates the correlations that arise from the exponential scaling of the interaction. This thesis is based on the preprints [54, 47].
We study nonequilibrium evolution in a self-interacting quantum field theory invariant under space translation only by using a canonical approach based on the recently developed Liouville--von Neumann formalism. The method is first used to obtain the correlation functions both in and beyond the Hartree approximation, for the quantum mechanical analogue of the ${\ensuremath{\varphi}}^{4}$ model. The technique involves representing the Hamiltonian in a Fock basis of annihilation and creation operators. By separating it into a solvable Gaussian part involving quadratic terms and a perturbation of quartic terms, it is possible to find the improved vacuum state to any desired order. The correlation functions for the field theory are then investigated in the Hartree approximation, and those beyond the Hartree approximation are obtained by finding the improved vacuum state corrected up to $O({\ensuremath{\lambda}}^{2}).$ These correlation functions take into account next-to-leading and next-to-next-to-leading order effects in the coupling constant. We also use the Heisenberg formalism to obtain the time evolution equations for the equal-time, connected correlation functions beyond the leading order. These equations are derived by including the connected four-point functions in the hierarchy. The resulting coupled set of equations form part of an infinite hierarchy of coupled equations relating the various connected n-point functions. The connection with other approaches based on the path integral formalism is established, and the physical implications of the set of equations are discussed with particular emphasis on thermalization.
A major goal of the semiclassical theory is to understand and treat a quantum system in the regime of large quantum numbers using information from its classical limit. In this framework, quantum phenomena are addressed through a path integral perspective, i.e. the weighted interference of phases accumulated along classical trajectories. While this formalism has been successful in explaining interference phenomena, for instance, in mesoscopic single-particle quantum systems, the recent extension of the semiclassical theory allows now also the treatment of interacting quantum many-body systems. This thesis aims to contribute to these ongoing efforts to apply semiclassical techniques to quantum many-body systems. It is focused on bosonic quantum many-body systems, where the thermodynamic limit of a large number of particles represents an alternative version of a semiclassical limit. Within the derivation of the corresponding semiclassical theory, mean-field equations, i.e. effective nonlinear wave equations describing the matter wave, re-emerge as Hamilton's equations of motion of an abstract Hamilton function, defining the above thermodynamic limit as the classical limit. Within this thesis, two different topics are studied. The first one deals with the so-called “Out-of-Time-Order Correlator” (OTOC), the expectation value of the squared commutator of two local operators at different times. The OTOC provides a direct probe for the presence of chaos in the classical limit (if any) of a quantum many-body system. This is based on that for short times the OTOC directly relates to the stability of classical solutions upon changes in their initial conditions. One of the defining properties of chaos is that this stability displays an exponential growth, with the rate called the classical Lyapunov exponent. Immediately, this implies an exponential growth of the OTOC for short times, from which the Lyapunov exponent can be extracted. For later times, one observes a saturation of the OTOC as a consequence of unitary quantum time evolution. The Ehrenfest time, the time scale which marks the onset of quantum interference, separates these different dynamical behaviors. In this thesis a thorough understanding of the concept of chaos in the classical limit of quantum many-body systems is provided, and with that the underlying interference mechanisms involved in the early exponential growth and the later saturation of OTOCs are identified. It is found that the pre-Ehrenfest time exponential growth is given through the interference of multiple contributions, all of them essentially following only a single solution of mean-field equations. Conversely the post-Ehrenfest time behavior stems from the contributions of fundamentally different mean-field solutions, which display correlated dynamics only for a limited amount of time, of the order of Ehrenfest time. The second topic covered in this thesis deals with the coherent transport of cold bosonic atoms through an Aharonov-Bohm ring structure. This setup consists of two semi-infinite wave guides attached on the opposite sides of a wave guide ring which is pierced by a synthetic gauge field. Within the ring, the atoms are further subject to both a weak disorder potential and particle-particle interaction. In the non-interacting case, the disorder-averaged transmission probability as a function of the encircled flux displays the well-known Al'tshuler-Aronov-Spivak (AAS) oscillations, i.e. oscillations with a frequency twice as large as Aharonov-Bohm oscillations. This thesis provides further insight into the influence of a weak particle-particle interaction on AAS oscillations, for which numerical results predict an interaction-based inversion of peaks. Here, using semiclassical techniques to solve the corresponding mean-field problem, this inversion is successfully reproduced, and a first indicator of the relevant mechanism leading to the inversion is found through contributions of self-averaging scattering path constellations.
We propose a prescription to quantize classical monomials in terms of symmetric and ordered expansions of noncommuting operators of a bosonic theory. As a direct application of such quantization rules, we quantize a classically time evolved function O(q,p,t), and calculate its expectation value in coherent states. The result can be expressed in terms of the application of a classical operator that performs a Gaussian smoothing of the original function O evaluated at the center of the coherent state. This scheme produces a natural semiclassical expansion for the quantum expectation values at a short time scale. Moreover, since the classical Liouville evolution of a Gaussian probability density gives the same form for the classical statistical mean value, we can calculate the first-order correction in h entirely from the associated classical time evolved function. This allows us to write a general expression for the Ehrenfest time in terms of the departure of the centroid of the quantum distribution from the classical trajectory, provided we start with an initially coherent state for each subsystem. In order to illustrate this approach, we have calculated analytically the Ehrenfest time of a model with N-coupled nonlinear oscillators with nonlinearity of even order.
This dissertation addresses the problem of constructing true degrees of freedom in quantum mechanical systems with constraints. The method developed relies on assuming the behavior of the system of interest is ``nearly classical', or semiclassical, in a precise quantitative sense. The approximation is formulated as a perturbative hierarchy of the expectation values of quantum observables and their non-linear combinations, such as spreads and correlations. We formulate the constraint conditions and additional quantum gauge transformations that arise directly on the aforementioned quantities. We specialize this framework to several situations of particular interest. The first situation considered is the case of a constraint that commutes with all quantum observables, which is appropriate for quantization of a Lie algebra with a single Casimir polynomial. Through explicit order-by order counting argue that the true degrees of freedom are captured correctly at each order of the approximation. The rest of the models considered are motivated by the canonical approach to quantizing general relativity. The homogeneous sector of general relativity splits into classes of models, according to topology, which are described by a finite number of degrees of freedom and can therefore be quantized as quantum mechanical systems, making our construction directly applicable. In the Hamiltonian formulation the dynamics of these systems is governed by the Hamiltonian constraint, which, in the quantum theory, gives rise to several conceptual and technical issues collectively known as the Problem of Time. One of the aspects of this problem that does not possess a general solution is the dynamical interpretation of the theory. We use our construction, truncated at the leading order in quantum corrections, together with the intuition gained from dealing with constrained systems in classical mechanics, to define local notion of dynamics relative to a chosen configuration clock variable. We consider a class of models, where the chosen clock in not globally valid, eventually leading to singular dynamics. Within these models we construct an explicit transformation between dynamical evolution relative to two distinct clocks, thus providing a consistent local dynamical interpretation of the true degrees of freedom of the quantum theory.
Nonperturbative dynamics of quantum fields out of equilibrium is often described by the time evolution of a hierarchy of correlation functions, using approximation methods such as Hartree, large Nf, and nPI-effective action techniques. These truncation schemes can be implemented equally well in a classical statistical system, where results can be tested by comparison with the complete nonlinear evolution obtained by numerical methods. For a (1+1)-dimensional scalar field we find that the early-time behavior is reproduced qualitatively by the Hartree dynamics. The inclusion of direct scattering improves this to the quantitative level. We show that the emergence of nonthermal temperature profiles at intermediate times can be understood in terms of the fixed points of the evolution equations in the Hartree approximation. The form of the profile depends explicitly on the initial ensemble. While the truncated evolution equations do not seem to be able to get away from the fixed point, the full nonlinear evolution shows thermalization with a (surprisingly) slow relaxation.