View source for Stochastic limit of quantum theory

The quantum-mechanical description of a physical system is achieved by assigning: i) a [[Hilbert space|Hilbert space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102901.png" />, called the state space of the system; ii) a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102902.png" /> of self-adjoint operators on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102903.png" />, called the observables (cf. [[Self-adjoint operator|Self-adjoint operator]]); iii) a dynamical equation of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102904.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>

Here, for each real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102905.png" /> (time), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102906.png" /> is a self-adjoint operator, called the Hamiltonian (or interaction picture Hamiltonian; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102907.png" /> is the imaginary unit; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102908.png" /> denotes the identity operator on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s1102909.png" />; and the derivative is meant in a topology that is left unspecified. If the mathematical model has been correctly formulated, the [[Cauchy problem|Cauchy problem]] (a1) admits a unique solution for any choice of the initial time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029010.png" /> and for any real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029011.png" />. Moreover, for any pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029012.png" />, the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029013.png" /> is unitary (cf. [[Unitary operator|Unitary operator]]) and the uniqueness of the solution implies the relation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>

The aim of quantum theory is to compute quantities of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029015.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029016.png" /> is a unit vector in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029017.png" /> (preparation) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029018.png" /> is an observable (measurement). Often, this problem can be reduced to the calculation of the transition amplitudes

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>

for sufficiently many vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029020.png" /> (initial) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029021.png" /> (final) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029022.png" />.

This abstract scheme is simple, but in order to put it to work in concrete situations, i.e. to deduce from it predictions on the real world, one has to introduce approximations either to solve equation (a1) or to read the physics in its solution. The usual approximation procedures are based on [[Perturbation theory|perturbation theory]]. The stochastic limit of quantum theory is a new approximation procedure in which the fundamental laws themselves, as described by the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029023.png" /> (the set of observables being fixed once for all, hence left implicit), are approximated rather than the single expectation values (a3). Significant examples are obtained by considering models with Hamiltonians of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029024.png" /> (in this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029025.png" /> is called the coupling constant). The first step of the stochastic method is to rescale time in the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029026.png" /> of equation (a1) according to the Friedrichs–van Hove scaling: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029027.png" />. One then considers the limit of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029028.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029029.png" /> in a topology which is the quantum analogue of the probabilistic notion of convergence in law (cf. [[Convergence in probability|Convergence in probability]]; [[Quantum probability|Quantum probability]]). Recently (1996), several different types of rescalings have begun to emerge, which also give rise to interesting stochastic limits, but for the moment the majority of results has been obtained for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029030.png" />-scaling. Physically, the rescaled time gives the time scale of the fast degrees of freedom and the original time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029031.png" /> that of the slow ones, i.e. one is studying the long-time cummulative effects of the interaction. The long time (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029032.png" />) compensates the weak coupling, or low density (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029033.png" />), and new rich structures emerge from the detailed study of several models: as usual with non-linear problems, there is no general theorem which encompasses all the results. In fact, each limiting structure strongly depends on the specific form of the non-linearity. There is, however, a general pattern which depends only on general qualitative features and this allows one to insert the multiplicity of individual results within the framework of a theory.

The remarkable new feature of this theory is that, for many models, the limit evolution operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029034.png" /> not only exists, but is unitary and satisfies a quantum stochastic differential equation driven by a special type of quantum field which, in quantum optics or solid state physics, is called a quantum noise (in the recent, disjoint, literature on quantum field theory, such fields have also implicitly made their appearance and have been called master fields). The specific features of this limit field strongly depend on the model. The advantage of the new stochastic equation versus the original one is that one gets a simplification of the model in the sense that many physical effects are more easily read in the new equations. It should be emphasized that the unitarity of the evolution operator is preserved under the stochastic limit. This throws a new light on the problem of the emergence of irreversible behaviour from reversible evolutions, allowing one to go beyond the usual picture of the open system approach, based on the system-reservoir picture and the master equation. In fact, several recent results show that in several cases the stochastic limit can be performed on a single system. Physically this means that the fast degrees of freedom of a single system can act as noise on the slow ones and, in the stochastic limit, a kind of separation of these degrees of freedom takes place. In this sense one can say that the stochastic limit also provides a dynamical approach to quantum chaos.

Other applications of the stochastic limit are to stochastic bosonization in arbitrary dimensions, to the quantum components in the cosmological red shift, to the large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s110/s110290/s11029035.png" /> limit in QCD, etc.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Accardi,   A. Frigerio,   Y.G. Lu,   "The weak coupling limit as a quantum functional central limit"  ''Comm. Math. Phys.'' , '''131'''  (1990)  pp. 537–570</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L. Accardi,   Y.G. Lu,   "The low density limit of quantum systems"  ''J. Phys.'' , '''A24'''  (1991)  pp. 3483–3512</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  L. Accardi,   Y.G. Lu,   I.V. Volovich,   "Non-commutative (quantum) probability, master fields and stochastic bosonization"  ''Volterra preprint'' , '''CVV–198–94'''  (1994)  (hep-th/9412246)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Accardi,   A. Laio,   Y.G. Lu,   G. Rizzi,   "A third hypothesis on the origins of the red shift: applications to the Pioneer 6 data"  ''Physics Letters'' , '''A209'''  (1995)  pp. 277–284</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L. Accardi,   Y.G. Lu,   "The Wigner semi-circle law in quantum electro dynamics"  ''Comm. Math. Phys.''  (1996)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  L. Accardi,   I.Ya. Aref'eva,   I.V. Volovich,   "The master field for half-planar diagrams and free non-commutative random variables"  ''Modern Physics Letters''  (1996)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  L. Accardi,   Y.G. Lu,   I.V. Volovich,   "Quantum theory and its stochastic limit"  ''To appear''</TD></TR></table>