View source for Quasi-averages, method of

A constructive scheme for studying systems with spontaneous symmetry breakdown, based on the fundamental notion of quasi-averages (N.N. Bogolyubov [[#References|[1]]], 1961).

A quasi-average is a thermodynamic (in statistical mechanics) or vacuum (in quantum field theory) average of dynamical quantities in a specially modified averaging procedure, enabling one to take into account the effects of the influence of state degeneracy of the system.

In statistical mechanics, under spontaneous symmetry breakdown one can, by using the method of quasi-averages, describe macroscopic observable within the framework of the microscopic approach (cf. also [[Statistical mechanics, mathematical problems in|Statistical mechanics, mathematical problems in]]).

In problems with degeneracy there corresponds to a single energy level more than one independent state of the system; the average <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763801.png" /> of any dynamical quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763802.png" /> is defined uniquely:

<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/q/q076/q076380/q0763803.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763804.png" /> is the Hamiltonian of the system and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763805.png" /> is the reciprocal of the temperature. If the statistical equilibrium state of the system possesses lower symmetry than the Hamiltonian of the system (so-called spontaneous symmetry breakdown, see [[#References|[2]]]–[[#References|[5]]]), then it is necessary to supplement the averaging operation (1) by a rule forbidding  "superfluous"  averaging over the values of macroscopic quantities considered for which a change is not accompanied by a change in energy.

This is achieved by introducing quasi-averages, that is, averages over the Hamiltonian supplemented by infinitesimally-small terms that violate the additive conservations laws. Thermodynamic averaging may turn out to be unstable with respect to such a change of the original Hamiltonian, which is another indication of degeneracy of the equilibrium state.

Thus, the quasi-average <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763806.png" /> of a dynamical quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763807.png" /> for the system with Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q0763808.png" /> is defined as the limit

<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/q/q076/q076380/q0763809.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638010.png" /> denotes the ordinary average taken over the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638011.png" />, containing the small symmetry-breaking terms introduced by the inclusion parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638012.png" />, which vanish as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638013.png" />. According to definition (2), the ordinary thermodynamic average is obtained by extra averaging of the quasi-average over the symmetry-breaking group.

The value of the quasi-average (2) may depend on the concrete structure of the additional term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638014.png" />, if the dynamical quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638015.png" /> to be averaged is not invariant with respect to the symmetry group of the original Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638016.png" />. For a degenerate state the limit of ordinary averages (2) as the inclusion parameters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638017.png" /> of the sources tend to zero in an arbitrary fashion, does not exist. For a complete definition of quasi-averages it is necessary to indicate the manner in which these parameters tend to zero in order to ensure convergence (see, for example, [[#References|[5]]]). On the other hand, in order to remove degeneracy it suffices, in the construction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638018.png" />, to violate only those additive conservation laws whose  "inclusion"  leads to instability of the ordinary average. Here, for quasi-averages the selection rules of the correlation functions that are not obeyed are those that are restrained by the above conservation laws.

The method of quasi-averages is directly related to the principle of weak correlation (see [[#References|[8]]], [[#References|[9]]]): The correlation functions

<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/q/q076/q076380/q07638019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638020.png" /> are the field functions in the [[Heisenberg representation|Heisenberg representation]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638021.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638022.png" />, split up into products

<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/q/q076/q076380/q07638023.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>

<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/q/q076/q076380/q07638024.png" /></td> </tr></table>

if the collection of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638025.png" /> are infinitely far removed from the collection of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638026.png" /> for fixed time variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638027.png" />. In the case of state degeneracy under consideration the expressions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638028.png" /> in this formula must necessarily be understood as quasi-averages: The above-mentioned statement of the principle of weak correlation is definitely false if the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638029.png" /> are interpreted as ordinary averages.

For the construction of the non-equilibrium statistical operator one considers infinitesimal perturbations that break the symmetry (of the [[Liouville-equation(2)|Liouville equation]]) with respect to time reversal. The application of this operation is equivalent to choosing retarded solutions of the Liouville equation (see [[#References|[7]]]).

Questions of the choice of method of convergence to zero of the inclusion parameters of the sources <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638030.png" /> guaranteeing the convergence of the ordinary averages in the definition of quasi-averages (2) have been considered in the framework of the method of approximating Hamiltonians. Here, the original Hamiltonian is replaced, using a special method of replacing the dynamical quantities that in the limit of the large system commute with the entire algebra of local observables, by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638031.png" />-numbers (the so-called approximating Hamiltonian). This last Hamiltonian should be much simpler than the original one (and in a wide range of physically important cases it has an exact solution) and should be equivalent to it as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638032.png" /> (see [[#References|[7]]]). The additional term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638033.png" /> has to be taken proportional to the solution in the general case of the minimax problem for the limit function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638034.png" /> of the free energy of the approximating Hamiltonian. Then an arbitrary sequence of real positive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638035.png" /> converging to zero ensures the convergence in definition (2); furthermore, the quasi-averages thus constructed turn out to be equal to the corresponding solutions of this minimax problem.

Within the framework of the method of approximating Hamiltonians an alternative method has been given for defining quasi-averages, without the introduction of extra terms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638036.png" />. In this approach, in calculating the quasi-average <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638037.png" /> the dynamical quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638038.png" /> under consideration is multiplied by a certain factor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638039.png" /> that converges, in a certain sense, to one as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638040.png" />, and the Hamiltonian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638041.png" /> remains unchanged [[#References|[4]]]:

<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/q/q076/q076380/q07638042.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

The quasi-averages defined according to (2) and (5) are the same.

The mathematical apparatus of the method of quasi-averages includes the [[Bogolyubov theorem|Bogolyubov theorem]] on singularities of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638043.png" /> and the [[Bogolyubov inequality|Bogolyubov inequality]] for Green and correlation functions (cf. [[Green function|Green function]]; [[Correlation function in statistical mechanics|Correlation function in statistical mechanics]]). It includes algorithms for establishing non-trivial estimates for equilibrium quasi-averages, enabling one to study the problem of ordering in statistical systems and to elucidate the structure of the energy spectrum of the underlying excited states (see [[#References|[4]]], [[#References|[8]]]).

The concept of quasi-averages is indirectly related to the theory of phase transition (see [[#References|[6]]], [[#References|[7]]], [[#References|[9]]]); the instability of thermodynamic averages with respect to perturbations of the Hamiltonian by a violation of the invariance with respect to a certain group of transformations means that in the system transition to an extremal state occurs.

In [[Quantum field theory|quantum field theory]], for a number of model systems it has been proved that there is a phase transition, and the validity of the Bogolyubov theorem on singularities of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076380/q07638044.png" /> has been established; also, the possibility has been studied of local instability of the vacuum and the appearance of a changed structure in it.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  N.N. Bogolyubov,   "Selected works" , '''3''' , Kiev  (1971)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> , ''Statistical physics and quantum field theory'' , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.A. Grib,   E.V. Damaskinskii,   V.M. Maksimov,   ''Sov. Phys. Uspekhii'' , '''13'''  (1971)  pp. 798-  ''Uspekhi Fiz. Nauk'' , '''102'''  (1970)  pp. 587–620</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N.N. Bogolyubov jr.,   B.I. Sadovnikov,   "Some questions in statistical mechanics" , Moscow  (1975)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N.N. Bogolyubov jr.,   "A method for studying model Hamiltonians" , Pergamon  (1972)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  R. Brout,   "Phase transitions" , New York  (1965)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  D. Ruelle,   "Statistical mechanics: rigorous results" , Benjamin  (1974)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  A.I. Akhiezer,   S.V. Peletminskii,   "Methods of statistical physics" , Oxford Univ. Press  (1981)  (Translated from Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  C.J. Preston,   "Gibbs states on countable sets" , Cambridge Univ. Press  (1974)</TD></TR></table>