View source for Bohigas-Giannoni-Schmit conjecture



In their seminal 1984 paper [[#bohigas-1984a|Bohigas, Giannoni and Schmit (1984-a)]] (see also [[#bohigas-1984b|Bohigas, Giannoni and Schmit 1984-b]]),  stated a conjecture describing the statistical properties of chaotic spectra that was formulated as follow:
<blockquote><span>''Spectra of time reversal-invariant systems whose classical analogues are K systems show the same fluctuation properties as predicted by GOE (alternative stronger conjectures that cannot be excluded would apply to less chaotic systems, provided that they are ergodic).''</span>
</blockquote>
Thirty years later this conjecture, although still not proven, is supported by a vast host of numerical studies, as well as what, in the judiciary world, would be referred to as “a convergent set of convincing evidences”. Its very general validity, in spite of some rather well understood limitations, is now largely accepted; and together with its various natural extensions (including time reversal non invariant systems, systems with spins, wave function properties, etc..) it forms the basis of a statistical approach to “simple” quantum system, somewhat in the same spirit as the maximum entropy principle would for statistical physics at large. Stating a <span>''universal''</span> property of chaotic systems – beyond the fact that its classical analog is chaotic, nothing is said about the system – the BGS-conjecture has found applications in many fields of physics including atomic physics, nuclear physics, mesoscopic physics, etc.., and has thus taken a significant place in the toolkit of theoretical quantum physicists.

The goal of this Scholarpedia entry is to provide some introduction to the meaning and implications of the BGS-conjecture.  The [[Bohigas-Giannoni-Schmit conjecture #Content of the BGS-conjecture|  first section]]   is  mainly  devoted to a more detailed discussion of the content of the conjecture, as well as of the context within which it has emerged. In the [[Bohigas-Giannoni-Schmit conjecture #Justifications of the BGS-conjecture| second section]], the various attempt to prove, or justify, the BGS-conjecture are briefly surveyed. An overview of the various applications of the conjecture will be found in  [[Bohigas-Giannoni-Schmit conjecture #Applications of the BGS conjecture| section 3]].  Finally the two last sections will provide some complement informations on the [[Bohigas-Giannoni-Schmit conjecture #Complement: The chaos hierarchy| chaos hierarchy]] and will introduce some of the [[Bohigas-Giannoni-Schmit conjecture #Complement : Spectral statistics|spectral statistics]] often found in the literature.



= Content of the BGS-conjecture =

[[#Bohigas84Granada|[Bohigas and Giannoni (1984),]] [[#LesHouches91|Bohigas in 'Les Houches LII' (1991)] ]]

The kind of systems the BGS-conjecture aims to describe are <span>''simple''</span> quantum mechanical systems for which one can define a classical limit. The word “simple” here has to be understood as opposed to “complex”, itself associated with the existence of many degrees of freedom and with the interaction between phenomena taking place at different scales.

Typically one has therefore in mind low dimensional systems described by smooth Hamiltonians or billiards, and we shall use the latter for illustration. A two-dimensional quantum billiard is associated with a Hamiltonian reduced to its kinetic term

:<math>H_{\rm K} = -\frac{\hbar^2}{2 m} \Delta \; ,</math>

(with <math> \Delta \equiv \partial_x^2 + \partial^2_y</math> the Laplace operator) within some region <math>\mathcal{D}</math> of the plan <math>{\bf r}= (x,y)</math>, and some boundary conditions on the boundary <math>\partial \mathcal{D}</math> of the billiard. In the classical limit, this system is described by free propagation within the billiard <math>\mathcal{D}</math>, and specular reflection on its boundary. Two examples of billiards are displayed in <figref>BGS-conjecture_billiards.png</figref>.

[[Image:BGS-conjecture_billiards.png|thumb|400px|right|(a) Circular billiard (integrable). (b) Sinai billiards (chaotic). [This Figure is taken
from [[#bohigas-1984b|(Bohigas, Giannoni and Schmit 1984-b)]] (With kind permission of The European Physical Journal (EPJ)).] ]] 

== Chaos ==

Although such a two dimensional billiard is definitely a “simple system”, the classical motion within the billiard can be rather complicated, and can even be <span>''chaotic''</span>. One can compare in this respect the circular billiard of <figref>BGS-conjecture_billiards.png</figref>a, which is actually an integrable system, with the Sinai billiard of <figref>BGS-conjecture_billiards.png</figref>b, for which the motion displays the strongest form of chaos.

Intuitively speaking, such a concept of chaos is associated with the notion of sensitivity to initial conditions and exponential divergence of neighbor trajectories. More formally, one should however rather refer to the hierarchy of chaos, which, starting from [[Bohigas-Giannoni-Schmit conjecture#Ergodicity|ergodicity]] – which by itself is not yet fully associated with chaos – leads to [[Bohigas-Giannoni-Schmit conjecture#Mixing|mixing]], [[Bohigas-Giannoni-Schmit conjecture#K Systems (Kolmogorov)|K]] and [[Bohigas-Giannoni-Schmit conjecture#B-Systems (Bernoulli)|B systems]], and finally [[Bohigas-Giannoni-Schmit conjecture#A-Systems (Anosov)|axiom A]], or Anosov, systems.  [[Bohigas-Giannoni-Schmit conjecture#Complement: The chaos hierarchy|Section 4]] gives a brief introduction to these various notions. The conjecture itself, although it contains the mention of K-system, does not insist that the system should be sufficiently high in this hierarchy to apply (as is illustrated by the “alternative stronger conjectures” mentioning only ergodicity). We shall see in the next section that the relevant notion is more the absence of time scales in the exploration of phase space (or the fact that these time scale a short enough with respect to Heisenberg time).

== Random Matrices ==
[[#MehtaBook04|[Mehta (2004),]] [[#PorterBook|Porter (1965)] ]]

What the BGS-conjecture does is that it reveals the very strong link that exists between chaos, which is a concept of classical mechanics, and random matrix theory, which is a model for the statistical description of spectra and wave functions of quantum systems.

Random matrices were introduced in the fifties by Eugene Wigner in the context of nuclear physics. His goal at that time, following earlier work from Bohr about the emergence of statistical laws in nuclear physics [[#bohr-1936|(Bohr (1936))]], was to interpret the statistical properties of slow-neutron resonances, which could be understood as highly excited states of nuclei. Because nuclei typically contain a large number of protons and neutrons interacting through complicated forces, Wigner postulated that, from a statistical point of view, the Hamiltonian describing the nuclei for an energy range significantly above the ground state should not differ significantly from a ensemble of random matrices provided this ensemble respect the following constraints :

* The quantum evolution should be unitary, implying that the corresponding Hamiltonian has to be hermitian (and if real, symmetric).
* All symmetries should be taken into account, and especially the symmetry under time reversal.
* Beyond these symmetries, no information is contained in the ensemble, and in particular no direction of the Hilbert space plays a specific role.

Once these constraints were fulfilled Wigner postulated that the details of the matrices distribution law would not matter much, and that one could as well consider the simple case for which matrix elements are independent random quantities. It turns out that this constraints completely specify the random matrix ensembles that one needs to construct, and leads to the three Gaussian Ensemble of Wigner – GOE (Orthogonal), GUE (Unitary) and GSE (Symplectic) – that we describe now.

A matrix ensemble is specified by both the set <math>\mathcal{H}</math> of matrices that are considered, and by the probability density defined on this set. The set of matrices depends on symmetry with respect to time reversal:

* If the system under consideration is not invariant under time reversal symmetry <math>\mathcal{H} = \{ N \times N \mbox { hermitian  matrices} \} \;
</math> (This corresponds to the Gaussian Unitary Ensemble (GUE)).
* If the system is invariant under time reversal symmetry, and either has an integer total quantum momentum or either rotational or inversion symmetry <math>\mathcal{H} = \{ N \times N   \mbox { real symmetric matrices} \} \;
</math> (This corresponds to the Gaussian Orthogonal Ensemble (GUE)).
* If the system is invariant under time reversal symmetry, and has an half-integer total quantum momentum without rotational or inversion symmetry <math>\mathcal{H} = \{ 2N \times 2N   \mbox { quaternion real matrices}
\} \; </math> (This corresponds to the Gaussian Symplectic Ensemble (GSE)).

Noting <math>\beta</math> the number of real parameters necessary to define one matrix element (<math>\beta =1</math> for GOE (real matrix elements), <math>\beta =2</math> for GUE (complex matrix elements), and <math>\beta =4</math> for GSE (quaternion real matrix elements)), the probability density takes a rather similar form since for any <math>H \in \mathcal{H}</math>,

:<math>\label{eq:PofH}
P_{N\beta} (H) dH = \mathcal{N}_{N\beta} \exp\left[- \frac{{\rm
      Tr}(H^2)}{2 v^2} \right] dH \; ,</math>

with <math>\mathcal{N}_{N\beta}</math> a normalization constant that depends both on <math>N</math> and <math>\beta</math> and <math>v</math> a parameter that fixes the energy scale. It has to be born in mind however that in spite of the similarity of the expressions of <math>P_{N\beta} (H)</math> for different <math>\beta</math> they are actually rather different objects since they apply to different kind of matrices. In particular the measure <math>dH</math> means <math>\prod_{i \leq j} d
H_{ij}</math> in the orthogonal case but <math>\prod_{i} dH_{ii}
\prod_{i<j}dH^R_{ij}dH^I_{ij}</math> (with <math>H^R_{ij}</math> and <math>H^I_{ij}</math> the real and imaginary parts of <math>H_{ij}</math>), in the unitary case, and again something different in the symplectic one. The names of the matrix ensembles originate from the fact that the density probability <math>P_{N\beta} (H)</math> is invariant under any orthogonal (<math>\beta =1</math>), unitary (<math>\beta =2</math>) or symplectic (<math>\beta =4</math>) transformation, which expresses the fact that no direction of the Hilbert space plays a particular role.

To each of these random matrix ensembles (which are usually considered in the <math>N \to \infty</math> limit) correspond definite predictions for various spectral statistics such as <math>k</math>-point correlation function, the nearest neighbor spacing, or the <math>\Sigma^2</math> statistics. The most popular of these statistics are briefly reviewed in [[#Complement : Spectral statistics|section 5]] together with some of the expressions that can be derived for them within the Gaussian Ensemble modeling. Somewhat improperly, since other kind of matrix ensembles could be, and actually are, designed,  Gaussian Ensembles will be refer to below as “the Random Matrix Ensembles”.

Here we just insist on the two important features that characterize random matrix ensembles, namely level repulsion and spectral rigidity. Level repulsion is a short distance effect, which takes place on a scale shorter than the mean level spacing, and which states that the probability of finding levels very close one from each others is small. The tendency of levels to repel each other at short distances increases with <math>\beta</math>, and is therefore larger for GUE than for GOE, and again larger for GSE than for GUE. Spectral rigidity on the other hand is a large energy scale property (ie energy scale much larger that the mean level spacing). It states that in an energy range which contains on average a number <math>M</math> of level the fluctuation of the number of level in this range remains small even when <math>M</math> becomes large (in practice grows logarithmically with <math>M</math>, and for instance not as <math>\sqrt{M}</math> as could be expected for a random process).

== Complexity vs Chaos ==

As mentioned above, what Wigner had in mind when he introduced his random matrix ensembles was that the relevant notion to motivate their use was complexity. The successes of the random matrix modeling in nuclear physics however made it clear that even beyond this field, spectral statistics were an appropriate tool to characterize different kinds of quantum systems. 

In his paper on “Regular and irregular spectra” , [[#percival-1973|Percival (1973)]] built on on this perspective, and introduced the notion that spectral statistics could be one way to distinguish the quantum mechanics of classically chaotic system from the one of classically regular (integrable) ones. Actually, the notion that semiclassical quantization of non-integrable systems should proceed differently from that of integrable systems was first pointed by [[#einstein-1917|Einstein (1917)]] who was aware of the result of Poincaré that generic nonlinear systems with few degrees of freedom are non-integrable. Percival suggested that, at a very general level and since classical dynamics was a limit of quantum dynamics, the integrable or chaotic nature of the classical dynamics should have consequences on the corresponding spectra. More precisely, he argued that when integrable systems should show no level repulsion (their eigenstates live on invariant tori which do not overlap in phase space, and thus in some sense ignore each other), chaotic states should be in contact with one other (since the chaotic motion mixes everything) and thus should show some degree of level repulsion, in analogy with RMT.  A mathematical result from [[#shnirelman-1974|Shnirelman (1974)]], also known as the [[Shnirelman theorem]], stating that the eigenstates of a chaotic billiard are ergodic in the limit of large quantum numbers, further straightened this analogy. 

The first study of spectral statistics of systems which are chaotic in the classical limit is due to [[#zaslavskii-1973|Zaslavskii and Filonenko (1973)]].  Their theoretical analysis was however incorrect as they predicted that the level spacing statistics <math>P(s)</math> should be proportional to
the spacing <math>s</math> raised at a power inversely proportional to the Kolmogorov-Sinai entropy.  The first numerical studies [[#mcdonald-1979|(McDonald and Kaufman (1979)]], [[#casati-1980|Casati,  Valz-Gris and Guarneri (1980))]], which were motivated and influenced by these theoretical predictions were not accurate enough and could not gather enough statistics to be really conclusive.

A few years later, [[#berry-1977|Berry and Tabor (1977)]]  further showed (for more than one degree of freedom systems and with the exception of pathological cases such as the harmonic oscillator) that not only there is no level repulsion in integrable systems but in the semiclassical limit they display the same statistical properties as a pure random process, ie as if one was just drawing the levels independently from each other. Berry and Tabor derivation of this results has now recently become a full fledged theorem [[#marklof-2001"|(Marklof, 2001)]].

The <span>''coup de génie''</span> of Bohigas Giannoni and Schmit was to realize that the difference between the spectral statistics of integrable and chaotic systems was not just that the former could be modeled by a set of independent numbers when the latter shows “some” correlation (and in particular some degree of level repulsion), but that the spectral statistics of chaotic systems could be fully, and in every details, described by the random matrix ensembles of Wigner. As illustrated in <figref>BGS-conjecture_P-of-S.jpeg</figref> they based their conclusions on a detailed numerical study of a few chaotic billiards (the Sinai and Bunimovitch billiard, which are both Anosov system), numerical studies that were confirmed by a vast number of other works. 

By doing so, they showed that contrarily to what Wigner had in mind, chaos rather than complexity was the relevant concept to associate with random matrices. This significantly enlarged the universality class to which this kind of modeling could be applied, and, as we shall illustrate in [[#Applications of the BGS conjecture|section 3]], to the number of field in physics within which one could apply a random matrix description.

[[Image:BGS-conjecture_P-of-S.jpeg|thumb|400px|right|Nearest neighbor density for a (desymmetrized) Sinai billiard (see  <figref>BGS-conjecture_billiards.png</figref>), showing
that this distribution agrees perfectly well with the Wigner surmise Eq.\eqref{eq:WS-GOE} valid for the GOE
ensemble (solid line). [This figure is taken from  [[#bohigas-1984a|(Bohigas, Giannoni and Schmit, 1984-a)]].] ]]



= Justifications of the BGS-conjecture =

Up to this day, most of the confidence one has in the validity of the random matrix description stems from the fact that – in addition to the Sinai and Bunimovitch billiards studied by Bohigas Giannoni and Schmit – it has been verified numerically on a vast variety of simple systems, including the Hydrogen Atom in magnetic field [[#wintgen-1986|(Wintgen and Friedrich,1986;]] [[#delande-1986|Delande and Gay, 1986)]], the hyperbola billiard [[#sieber-1990| (Sieber and Steiner, 1990)]], and various other kind of systems.

A few attempt have been made however to “prove” the BGS conjecture. Although none of these proofs can pretend to be fully convincing – even within the physicist acception of the notion of proof – they shade some light on the mechanisms underlying the BGS-conjecture. We try to summarize (very briefly) here their content.

== Non-linear <math>\sigma</math>-model ==

Non-linear <math>\sigma</math>-models were initially introduced in solid state physics in the context of disordered system, with the aim to go beyond the weak disorder / diffusive approximation and to describe localization effects. In this respect it has proved to be a very useful and effective tool.

In 1996, Andreev and coworkers made an attempt to apply this approach to chaotic, rather than diffusive, systems, having in mind very specifically to derive in this way the BGS conjecture [[#andreev-1996a|(Andreev et al, 1993-a;]] [[#andreev-1996b|Andreev et al, 1993-b)]].  This first attempt to prove the BGS conjecture through the non-linear <math>\sigma</math>-model turned out to meet some roadblock, some of which could be overcome in latter treatment of ballistic non-linear <math>\sigma</math>-models [[#altland-2015|(Altland et al, 2015)]].  We present here a brief account of both the original and the more recent approaches, and discuss the remaining gap to be closed before a claim to an actual derivation of the conjecture can be made.

Non-linear <math>\sigma</math>-models are rather technical objects, and it is unrealistic to enter in any significant way into their formalism. The presentation here is thus limited to a kind of literary description of [[#andreev-1996a|(Andreev et al, 1993-a;]] [[#andreev-1996b|Andreev et al, 1993-b;]] [[#altland-2015|Altland et al, 2015)]], without actually writing down any equation.

In the work of Andreev et al, the starting point is, as for diffusive system, to write down an exact form of the two-point correlation generating function in terms of a functional integral involving both bosonic and fermionic variables. Performing an energy average (instead of the disorder average done for disordered systems) produces a quartic (interaction-like) term in the resulting action, which can be decoupled through a Hubbard-Stratonovitch transformation.

This description is up to this point exact. One then performs first a steepest descent approximation in the large <math>N</math> limit (with <math>N</math> the number of states contained within the Thouless energy), and a semiclassical approximation where the commutators are replaced by Poisson brackets. In this way, the two-point correlation function can be expressed in terms of the Perron-Frobenius operator of the classical motion, and if there is a gap between the lowest eigenvalue of this operator (which corresponds to the ergodic distribution) and the next lowest one, one obtains a "zero-dimensional <math>\sigma</math>-model" which, for time reversal non invariant systems, leads to the spectral statistics of the Gaussian Unitary Ensemble.

Beyond its technical character, this derivation suffers from a couple of drawbacks. The first one, which could have been only technical, is that the spectra of the Perron-Frobenius operator (and thus the gap between the two lowest states) depends significantly on the space of function to which it is applied, and in the midst of the various approximation performed during the derivation it is not clear that the regularization done makes it possible to determine unambiguously this space.

More troubling is that although this approach leads to the correct result for GUE, it seems to fail capturing the interference effects associated with time reversal invariance in the GOE case (see the discussion by [[#leyvraz-1997|Leyvraz and Seligman (1997)]]), leading (under the same set of approximations as for GUE) to an incorrect prediction for the two-point correlation function.

An alternative approach to ballistic non-linear <math>\sigma</math>-model was proposed by M. Zirnbauer  [[#zirnbauer-1996|(Zirnbauer, 1996)]].  The main difference here is that the starting point of the calculation is not the generating function for the correlator of some Hamiltonian eigenvalues, but the one for the eigenvalues of unitary operators. This makes the approach best suited to the study of quantum maps, but it can be applied also to continuous time evolution provided one uses it for the time evolution operator <math> U(\tau) </math> for well chosen value of the propagation time <math> \tau </math>.  The generating function is once again expressed [exactly] as a functional integral involving both bosonic and fermionic variables.  In this form however, if the quantum evolution is replaced by the projection on the ergodic mode of the corresponding [classical] Perron-Frobenius operator, the zero-dimensional <math>\sigma</math>-model corresponding to the Circular Unitary Ensemble, a variant of the GUE designed for unitary operator and leading to the exact same statistics, is recovered [[#altland-2015|(Altland et al, 2015)]].

This approach avoid some of the delicate steps of the original one, and in particular no steepest descent approximation is involved in the derivation.  Furthermore the ambiguity over the space of function to which the Perron-Frobenius operator should be applied appear less of an issue, especially for quantum maps acting on finite Hilbert space for which a kind of natural regularization takes place.  There is finally no energy averaging procedure implied, but a proper smoothing has to be assumed to define properly the relevant statistical quantities.

Eventually however, even this "improved" version of the ballistic non-linear <math>\sigma</math>-model suffers from the same fundamental limitation as the original one, namely that the information actually used about the classical motion is limited to the very short time dynamics (namely times shorter than the Eherenfest time, for which classical and quantum motion are indistinguishable).  System specific informations about interference effects, which emerge only after a significantly larger propagation time, is definitely out of the scope of this approach. 

Some information about interferences, such as the one associated with time-reversal invariance, can actually be "forced into the system" if one uses another representations of the correlations generating functions in which the fact that the quantum map (or the finite time evolution operator) is orthogonal is in some sens "hardwired".  However, nothing forbid us to use the unitary parametrization for a time reversal invariant system, and in that case there is no red flag internal to the theory telling that interference effects associated with time reversal symmetric orbits should modify the outcome. As this feature is associated with relatively profound reasons (namely, again, the fact that only very short term classical information is used by this approach), the ballistic non-linear <math>\sigma</math>-model can presumably not yet pretend to provide a  proof of the BGS conjecture.

== Semiclassical trace formula ==
[[#GutzwillerBook|[Gutzwiller (1990)] ]]

Another approach that has been used to address the BGS conjecture is through the use of the Gutzwiller semiclassical trace formula. Since the BGS conjecture is making a link between a classical property of a system (the fact that its classical dynamics is chaotic) and some of its quantal ones (the spectral statistics), it is indeed quite natural to imagine that this link is founded on a semiclassical approximation. For chaotic systems, a natural candidate is the Gutzwiller trace formula which relates the density of state <math>d(\epsilon) = \sum_n \delta(\epsilon- \epsilon_n)</math> (with <math>\epsilon_0, \epsilon_1, \cdots</math> the quantum eigenlevels) of the quantum system to a sum over all periodic orbit <math>j</math> of its classical analog. More specifically <math>d(\epsilon)</math> can be split into a smooth part <math>\bar d(\epsilon)</math> and an oscillating one <math>d^{\rm osc}(\epsilon)</math> and the Gutzwiller trace formula reads

:<math>\label{eq:GTF}
  d^{\rm osc}(\epsilon) \equiv \frac{1}{\pi\hbar} \sum_j
  \frac{T^0_j}{\sqrt{\textrm{det} (M_j-1)}} 
    \cos\left(\frac{1}{\hbar} S_j - \nu_j \frac{\pi}{2} \right) \; ,</math>

where <math>S_j</math>, <math>T^0_j</math>, <math>M_j</math> and <math>\nu_j</math> are classical quantities associated with the periodic orbit <math>j</math> at energy <math>E</math>. More precisely <math>S_j = \oint_{\textrm{orbit} \; j} {\bf p}d {\bf r}</math>  is the action integral along the orbit <math>j</math>, <math>T_j </math> is the period of the orbit, <math>M_j</math> is the monodromy matrix describing the stability of the linear motion near the orbit (the more unstable the orbit, the larger <math>\textrm{det} (M_j-1)</math>), and the Maslov index <math>\nu_j</math> is an integer related to local winding around the orbit. Note that for orbits <math>j</math> which correspond to multiple traveling of a primitive orbit <math>j_0</math>, what comes into play in Eq \eqref{eq:GTF} is the primitive period <math>T^0_j \stackrel{\rm def}{=} T_{j_0} </math> (this is of no importance for the following discussion).

The first work making use of the Gutzwiller trace formula to compute a spectral statistics was performed by Berry in his 1985 paper [[#berry-1985|(Berry, 1985)]]. His main focus in this paper was the Dyson Metha function <math>\Delta(L)</math> Eq. \eqref{eq:DysonMehta}, but he provides also a discussion of the form factor <math>K(\tau)</math> Eq. \eqref{eq:formfactor} which is somewhat simpler and that we summarize with some details now.

Inserting the semiclassical expression Eq. \eqref{eq:GTF} in the definition Eq. \eqref{eq:Y2}-Eq. \eqref{eq:formfactor} of the form factor and using that the energy derivative of the action is the period (<math> dS_j /dE = T_j </math>) we get

:<math> \label{eq:Ksemi}
K(\tau) \simeq \frac{\Delta^2}{\hbar^2}   \left\langle \sum_i {\sum_j}^+ A_i A_j \cos \{(S_i - S_j)/\hbar\} 
\delta\left(\tau - \frac{1}{2}(\tau_i + \tau_j) \right) \right\rangle \; .</math>

Here the <math>+</math> on the summation denotes restriction to positive traversals (positive period), <math>\Delta</math> is the mean level spacing,<math>\tau_{i,j} \stackrel{\rm def}{=}(T_{i,j} \Delta)/(2\pi\hbar)</math>, and <math>A_{i,j} \stackrel{\rm def}{=}\left[ T^0_j / \pi \sqrt{\det[M_{i,j} -1]} \right]</math>. In Eq. \eqref{eq:Ksemi}, the average <math>\langle \cdot \rangle</math> is an energy average analog to the one used to define the mean density of state 
<math> \langle d(\epsilon) \rangle </math> in Eq. \eqref{eq:meandos}.  This energy average is taken over a range <math> (\delta \epsilon) </math> assumed small on the classical scale, but large with respect to all quantum energy scales (and in particular the Thouless energy Eq. \eqref{eq:Thouless}).


In the semiclassical regime <math>\hbar \to 0</math>, the factor <math>\cos \{(S_i - S_j)/\hbar\}</math> is usually a very rapidly oscillating function of the energy since <math> d[S_i -S_j]/dE \equiv (T_i-T_j) </math>.  Therefore, only pair of orbits <math>(i,j)</math> such that 

:<math> \label{eq:pair-condition}
(T_i - T_j) \lesssim \hbar / (\delta \epsilon) \; , 
</math>

survive the energy average of Eq. \eqref{eq:Ksemi}.


One can then distinguish three ranges of <math>\tau</math>. For large <math>\tau</math> (i.e. <math>\tau > 1</math>, corresponding to orbits of period  <math>T > 2\pi \hbar / \Delta</math>), extremely long orbits are involved and their exponential proliferation makes it relatively easy to fulfill Eq. \eqref{eq:pair-condition} for a large number of orbit pairs. A bootstrapping argument has been used by Berry to show that <math>\displaystyle \lim_{\tau \gg 1} K(\tau) = 1</math>.

For small <math>\tau</math> on the other hand, only reasonably short periodic orbits are involved, and if <math> \tau </math> is small enough there are such a small number of them that the only way to fulfill Eq. \eqref{eq:pair-condition} is to choose <math>i=j</math>. In this "diagonal approximation", the form factor reduces to <math>K(\tau) \simeq (2 \pi \Delta / \hbar) \Phi_D(T) </math>, with  <math>T \stackrel{\rm def}{=}(2\pi\hbar/\Delta) \tau </math>, and where <math>\Phi_D(T)</math> implies a simple (rather than double) sum

:<math>\label{eq:diagonal}
\Phi_D(T) \simeq \left\langle \sum_i |A_i|^2 \delta\left(T -
    T_i) \right) \right\rangle \; ,</math>

in which no oscillating term exists any more.

For very small <math>\tau</math>, that is <math>\tau \simeq \tau_{\rm min} \stackrel{\rm def}{=}T_{\rm
  min} \Delta/2\pi\hbar</math>, with <math>T_{\rm min}</math> the shortest period of the system, only a very small number of orbit can enter into the game and <math>K(\tau)</math> will depend on their specific properties (period en stability).  For <math>\tau < \tau_{\rm min}</math> one actually has <math>K(\tau)
\equiv 0</math>. This is the <span>''non universal regime''</span> which of course cannot correspond to the random matrices prediction.

For <math>\tau</math> sufficiently above <math>\tau_{\rm min}</math> that the periodic orbits of period <math>T = 2\pi\hbar\tau/\Delta </math> cover uniformly the phase space, it has been shown by [[#hannay-1984|Hannay and Ozorio de Almeida (1984)]] that

:<math>\Phi_D(T) = \sum_i |A_i|^2 \delta\left(T- T_i\right) \to
\frac{T}{4\pi^2} \; .</math>

Thus, if <math>\tau</math> is sufficiently above <math>\tau_{\rm min}</math>, but yet sufficiently small that the diagonal approximation Eq. \eqref{eq:diagonal} is accurate, one has 
:<math>K_{\rm TNRI}(\tau) \simeq \tau  \qquad \tau_{\rm min} \ll \tau \ll 1 \; .</math> 
which is exactly what GUE predicts for the form factor in this range (cf. Eq. \eqref{eq:KBerry}).

The same analysis can be performed for time reversal symmetric systems. The only difference is that in that case each periodic orbit <math>i</math> is associated with a time reversal partner <math>i^*</math> which action <math>S_{i^*}</math> is the same as <math>S_i</math>. The diagonal approximation then reads 
:<math>(\hbar/2 \pi \Delta) K(\tau) \simeq 2 \Phi_D(T) \;,</math> 
since one should pair <math>i</math> both with itself ans with its time symmetric <math>i^*</math> [Doing this, there is a double counting of self-retracing orbits since they are their own time reversal symmetric partner. However the number of self-retracing orbits is small enough to make this effect marginal]. This leads to 
:<math>K_{\rm TRI} (\tau) \simeq 2 \tau  \qquad \tau_{\rm min} \ll \tau \ll 1 \; .</math> 
which again is exactly what GOE predicts for the form factor in this range.

Thus, in the range <math>\tau_{\rm min} \ll \tau \ll 1 </math>, which is such that both periodic orbits covers the phase space uniformly and the diagonal approximation is valid, periodic orbit theory and random matrix modeling give the same answer. The universal character of RMT is born out by the uniform covering of phase space by periodic orbits (which indeed leaves little space for system specific informations). Going back to energy representation (i.e. for instance to the two-point correlation function <math>R_2(s)</math>), this range of validity corresponds to <math>\Delta \ll \epsilon \ll
 E_{\rm Th}</math> where <math>\epsilon = s \Delta</math> and 

:<math> \label{eq:Thouless}
E_{\rm Th} \equiv \hbar / T_{\rm min}</math> 

is the Thouless energy.

If one wants to address smaller energy range, longer trajectories come into play, and the diagonal approximation cannot be used any more. For chaotic systems, however, the pairs of orbits that actually contribute to the spectral statistics have a a remarkable structure that allows to classify them. Going on with the example of the form factor, [[#sieber-2001| Sieber and Richter (2001)]] (see also [[#sieber-2001| (Sieber, 2002)]])  have shown that the pair of orbits contributing to <math>K(\tau)</math> need to include the kind of "close encounter" sketched in <figref>BGS-conjecture_loop-bis.png</figref> in which a trajectory passes in the very close vicinity of its time reversal symmetric (see also [[#richter-2002|  (Richter and Sieber 2002)]] in the context of quantum tansport). 

[[Image:BGS-conjecture_loop-bis.png|thumb|250px|right|Sketch (in confguration space) of a pair of trajectories with very similar times of travel and actions, but following time reversed path for part of their evolution. The closeness of the action is associated with the highlighted near-encounter. Pairs of periodic orbits constructed in this way give corrections to the diagonal approximation Eq. \eqref{eq:diagonal} which reconstruct the GOE results]] 

[[Image:BGS-conjecture_crossing.jpg|thumb|250px|right|Blow up of the near encounter shown in <figref>BGS-conjecture_loop-bis.png</figref>.  The dotted vertical line represent the Poincaré section used for <figref>BGS-conjecture_section.jpg</figref>]] 

[[Image:BGS-conjecture_section.jpg|thumb|250px|right|Sketch of the Poincaré section shown in <figref>BGS-conjecture_crossing.jpg</figref>, with <math>M_1</math> the first intersection of the (blue) trajectory with the section, <math>T[M_2]</math> the time reverse of the second intersection, and the corresponding stable (in green) and unstable (in red) manifold.  The intersection <math>P_1</math> and  <math>P_1</math> correspond to trajectories which have the same past as <math>M_1</math> and same future as <math>T[M_2]</math>, or the converse, from which one can construct orbits with time of travel and actions almost identical to the one showing the close encounter.]] 

The role of such "close encounter" can be understood by looking at the blow up shown in <figref>BGS-conjecture_crossing.jpg</figref>, and at the corresponding Poincaré section shown in <figref>BGS-conjecture_section.jpg</figref>.  In this latter figure, one sees that what characterizes the near encounter is that in the Poincaré section, the point  <math>M_1</math> corresponding to the first intersection of the (blue) trajectory with the section is extremely close from the time reversed <math>T[M_2]</math> of the the second intersection of this trajectory with the section.  If one nows consider <math>P_1</math> constructed as the intersection of the unstable manifold emerging from <math>M_1</math> (which thus has the same past as <math>M_1</math>) and of the stable manifold emerging from <math>T[M_2]</math> (which thus has the same future as <math>T[M_2]</math>), we see that we have constructed in this way a trajectory which, starting from the intial point $A$ follows the trajectory until the encounter region, and then follows the loop along the time reverse direction of propagation (i.e. along the green path). After coming back to the encounter region this trajectory actually goes back to the initial point $A$ so that the process should be iterated a second time, following exactly the same principle, to construct the green trajectory (characterized by the fact that it follows the blue one everywhere except within the loop which is run in the opposite direction).

For time reversal symmetric systems, in can be shown that the difference of action between such pairs of orbits is related to the area <math>P_1 M_1 \wedge P_1 T[M_2]</math> (with an additional similar contribution at each path switching).  If <math>M_1</math> and  <math>T[M_2]</math> are close enough, trajectories constructed in this way have almost exactly the same actions and period. Pairs of periodic orbits constructed in this way therefore contribute to the form factor for time reversal symmetric systems (but not for time reversal non-symmetric ones). Taking into account the pairs of orbits with one such close encounter, together with an assumption of uniform covering of phase space by the orbits, [[#sieber-2001| (Sieber and Richter, 2001)]]  were able to recover the first non-linear correction to <math>K(\tau)</math> predicted by GOE, as well as to justify semiclassically the absence of such a non-linear correction for GUE (cf Eq. \eqref{eq:KGUE}). Including an arbitrary number of close encounters makes it furthermore possible to reconstruct the small <math>\tau</math> expansion of <math>K(\tau)</math> of GOE to arbitrary order [[#braun-2004|(Braun et al., 2004)]]. Further works, involving field theoretical resummation techniques and bootstrap consideration made it furthermore possible to recover in this way semiclassically all the spectral statistics predicted by random matrices [[#muller-2004|(Müller et al., 2004;]] [[#muller-2005|Müller et al., 2005;]] [[#muller-2009|Müller et al., 2009)]].  Analogous results concerning transport across chaotic cavities have also been obtained [[#heusler-2006|(Heusler et al., 2006;]] [[#muller-2007|Müller et al., 2007)]].

This semiclassical analysis based on the Gutzwiller trace formula and the Richter-Sieber close encounter expansion shows that there is indeed a strong link between classical chaos and random matrix theory, and for instance makes it possible to compute corrections to RMT predictions associated with a finite Ehrenfest time 
[[#brouwer-2006a| (Brouwer and Rahav 2006-a)]]. It cannot however be considered as a proper proof of the BGS conjecture for two reasons. The first one is that although a set of terms has been identified which when taken into account reproduces the random matrix theory statistics, there is no proof yet that all other contribution can safely be neglected (this is most presumably true since one indeed recover the expected RMT results, but the induction here rather goes the opposite way). A more serious limitation however is that being semiclassical in essence, the "range of validity" of this approach cannot be extended beyond the one of the semiclassical approximation. It turns out that there are many indications that in general, the Gutzwiller trace formula (or its improved versions) does not converge for orbit lengths that can resolve the mean level spacing. Thus level statistics such as the nearest neighbor distribution, or the short range behavior of the two-point correlation function, are in principle out of the scope of this approach; or in the most optimistic version a complete proof should include as a lemma a proof that the Gutzwiller trace formula converges for such long orbits.

It remains that this semiclassical "close-encounter theory" initiated by Sieber and Richter provides, for physicists, a sound semiclassical link between classical chaos and random matrix theory. In particular it demonstrates that one should not expect systematic "semiclassical corrections” to RMT based on the intrinsic structure of chaotic classical dynamics. Conversely, as the necessary ingredient underlying this link is identified (the uniform covering of phase space with trajectories containing the relevant loops), conditions under which deviation to RMT can be expected can be spelled out [[#brouwer-2006a| (Brouwer and Rahav 2006-a;]] [[#brouwer-2006b| Brouwer et al. 2006-b)]]. More generally this approach offers an insightful point of view on the BGS conjecture.

== Further discussion: the ergodicity argument ==

As we have seen, the approaches based on the non-linear <math>\sigma</math>-model and on the Gutzwiller trace formula provide (especially the second one) significant insights into why the BGS conjecture apply, but cannot be taken as a definitive proof of this conjecture. It may therefore be useful to provide another, even less rigorous, argument in favor of the BGS conjecture.

The basic property at work for this hand-waving argument is the ergodicity of the random matrix ensembles [[#pandey-1979|(Pandey 1979)]], namely the fact that if one selects at random one matrix in, say, the GOE ensemble, then, in the large <math>N</math> limit, one knows that, with probability one, spectral averages taken on this particular matrix are equivalent to ensemble averages over the full GOE ensemble.

It is presumably not easy to implement this ergodicity argument into an honest "proof“ of the BGS conjecture as, when one considers a particular chaotic system (eg. a specific billiard, or the Hydrogen atom in a magnetic field) the latter is usually not taken at random, and in any case not with the probability Eq. \eqref{eq:PofH}. This however somewhat changes the perspective as it shows that in some sense RMT behavior is the "normal” behavior, and what should be explained are rather the exceptions to RMT. Or in other words it makes it possible to rephrase the question of whether a RMT modeling should apply as whether the particular system under consideration belongs to a zero-measure subset of the ensemble that might have non-generic spectral statistics.

In that sense, chaotic systems can be seen as systems on which one has no a priori information, and therefore no reason to consider them as non-generic. Integrable systems on the other hand are such that their classical limit is extremely constrained because of the existence of global conserved quantity, and it is not surprising that in the semiclassical regime, these classical constraints are going to make the quantum system itself non-generic, and thus non-RMT. In the same spirit, arithmetic billiards [[#bogomolny-1992"|(Bogomolny et al., 1992)]],  display the strongest form of classical chaos but their quantum mechanics is characterized by an infinite set of conserved quantity (the Hecke operators which are commuting with the Hamiltonian). They can be expected to be non-generic, and are indeed shown to display non-RMT statistics.

In this perspective, the case of mixed system is presumably quite illuminating. Mixed systems are characterized by the coexistence of chaos and regularity, that is of regions of phase space where local conserved quantities exist and others where none can be defined. As suggested by [[#percival-1973|Percival (1973)]], this difference of nature of the dynamics in different part of the phase space should be associated with a separation of the quantum states in two classes, one associated with the regular motion (the integrable states) and one with the chaotic motion (the chaotic states). This separation in two classes can actually be performed [[#bohigas-1990a|(Bohigas, Tomsovic and Ullmo,1990-a)]]. However, even if the chaotic states are associated with a part of the phase space which is chaotic, they do not necessarily display the Gaussian Ensemble statistics of RMT [[#bohigas-1990-b|(Bohigas, Tomsovic and Ullmo, 1990-b)]].

The reason for this is that even if the motion in the chaotic part of the phase space is ergodic (essentially by definition), the way this exploration takes place is usually not structureless. The fact that some local constant of motion are only slightly broken generically implies the existence of partial barriers, which do not completely block the transport (and thus do not prevent ergodicity, which is a long time property) but may slow it down considerably.

Thus in mixed systems, what is typically seen is that the chaotic part of the phase space is not explored uniformly, but rather trajectories are trapped for some time is some region of phase space, then jump to another one, and so on, covering in the end (but only after a very long time) uniformly the chaotic part of the phase space. These partial barriers are associated with the existence of time scales, which clearly may constrain the spectral statistics. For these systems, Gaussian Ensemble statistics are recovered only if each of these time scales are significantly shorter than the Heisenberg time <math>t_H \stackrel{\rm def}{=}\hbar
/\Delta</math> (<math>\Delta</math> is the mean level spacing) [[#bohigas-1990b|(Bohigas, Tomsovic and Ullmo, 1990-b;]] [[#bohigas-1993|Bohigas, Tomsovic and Ullmo, 1993)]]. The non-generic (and thus non-RMT) character of an ergodic system can thus be more precisely associated with the existence of time scale longer than <math>t_H</math>.

More generally, a RMT description thus appears as a "null hypothesis“ (absence of relevant information concerning the quantum system), and what should be understood is what are the "relevant” informations, and how quickly they bring the system away from RMT.

= Applications of the BGS conjecture =

This section makes a brief tour of some of the physical systems for which the BGS conjecture has been used with profit. The goal here is not to go into any details into neither the description of these systems nor the results obtained from the RMT description, as most of them could justify a Scholarpedia article on their own right. Rather, the context is briefly given together with some references which may serve as an entry point for the interested reader.

* Atomic spectra : the transition to chaos and its relation to random matrices have been studied in details for the spectra of the hydrogen atom subjected to a magnetic field [[#wintgen-1986|(Wintgen and Friedrich (1986),]] [[#delande-1986|Delande and Gay (1986),]] [[#friedrich-1989|Friedrich and Wintgen (1989))]] or the helium atom [[#wintgen-1992| (Wintgen, Richter and Tanner (1992))]]

* Microwave billiards have also been studied extensively in relationship with the BGS conjecture [[#stockmann-1990|(Stöckmann and (1990),]] [[#alt-1995|Alt et al. (1995),]] [[#kuhl-2005|Kuhl, Stöckmann and R Weaver (2005))]].

* The BGS conjecture was shown to be valid for periodically driven quantum systems, like the quantum [[Chirikov standard map]] taken on a torus, under condition that the length of quantum localization is larger then the torus size [[#chirikov-1988|(Chirikov, Izrailev and Shepelyansky (1988))]]. Similar phenomena appear in the rough billiards where quantum localization can take place on an energy surface breaking the BGS conjecture, but in the limit of larger quantum numbers the quantum ergodicity of eigestates is restored, in agreement with the [[Shnirelman theorem]], and the BGS conjecture becomes valid [[#frahm-1997|(Frahm and Shepelyansky (1997))]].

* Mesoscopic physics : ballistic quantum dots can often be modeled as chaotic quantum billiards, implying that their eigenlevel and eigenstates can be assumed to follow a random matrix description. This random matrix approach has been used to study the transport properties of open ballistic dots [[#baranger-1994|(Baranger and  Mello (1994),]] [[#jalabert-1995|Jalabert and Pichard (1995))]], the fluctuations of Coulomb blockade peak heights [[#jalabert-1992|(Jalabert, Stone and  Alhassid (1992)]] [[#folk-1996| Folk et al. (1996))]] or peak spacings [[#sivan-1996|(Sivan et al. (1996),]] [[#ullmo-2001|Ullmo and Baranger (2001),]] [[#usaj-2001|Usaj and  Baranger (2001),]] [[#aleiner-2002|Aleiner, Brouwer and Glazman (2002),]] [[#jiang-2005|Jiang et al. (2005),]] [[#tomsovic-2008|Tomsovic, Ullmo and Bäcker (2008))]], as well as superconducting dots [[#jacquod-2003|(Jacquod, Schomerus and  Beenakker (2013))]] and the mesoscopic Kondo problem [[#kaul-2003|(Kaul, Ullmo and Baranger (2003),]] [[#kaul-2005|Kaul et al.(2005),]] [[#kaul-2006|Kaul et al.(2006))]].

* The BGS conjecture has been used in the context of linear acoustics in solids [[#weaver-2010|(Weaverand Wright (2010))]] as well as in oceans accoustics [[#hegewisch-2012|(Hegewisch and Tomsovic (2012))]].

* Some work on decoherence [[#bandyopadhyay-2002|(Bandyopadhyay and Lakshminarayan (2002))]], or on fidelity and Lochschmit echo [[#jalabert-2001|(Jalabert and Pastawski (2001)]] [[#jacquod-2001|Jacquod, Silvestrov and Beenakker (2001),]] [[#cerruti-2003|Cerruti and Tomsovic (2003))]] make use of the BGS conjecture.

* The BGS conjecture has some nice mathematical consequences concerning the Riemann zeta function and generalized L-functions [[#berry-1986|(Berry (1986),]] [[#keating-1993|Keating (1993),]] [[#keating-2003|Keating and Snaith (2003))]] .

* Other applications includes: nuclear physics [[#bohigas-2002|(Bohigas and Leboeuf (2002))]];  quantum information [[#nadal-2010|(Nadal, Majumdar and Vergassola (2010))]]; and extreme statistics [[#lakshminarayan-2008|(Lakshminarayan et al. (2008))]].


As the variety of these examples demonstrate what makes the strength of the BGS conjecture is that it states a universal property of chaotic system, and therefore can apply to a wide range of physical phenomena. It belongs now to the toolbox of modern theoretical physics.



----

----

= Complement: The chaos hierarchy =
[[#OzorioBook|[Ozorio de Almeida (1988),]] [[#BowenBook|Rufus Bowen (2008)] ]]

In this complement section we consider a motion in the phase space <math>\mathcal{P} = \{ {\bf x}= ({\bf q},{\bf p}) \}</math> governed by the <span>''conservative''</span> Hamiltonian <math>H({\bf q},{\bf p},\not{t})</math>.

We note

* <math>g^t : \mathcal{P} \to \mathcal{P}</math> the Hamiltonian flow, which maps any point <math>x_0 = ({\bf q}_0,{\bf p}_0)</math> in phase space to <math>x(t) = g^t x_0</math>, the position at time <math>t</math> of a trajectory initiated at time <math>t=0</math> at <math>x_0</math>.
* <math>\sigma_E</math> the normalized projection of the Liouville measure on the energy surface <math>E</math>: <math>d \sigma_E = \frac{ \delta(E-H) d{\bf p}d{\bf q}}{ \int_\mathcal{P}
    \delta(E-H) d{\bf p}d{\bf q}}</math>

== Ergodicity ==

<span id="def:ergo1"> <span>''' Definition 1:'''</span> <span>'' The classical motion is said to be ergodic on the energy surface <math>S_E</math> if the only ensembles invariant under the Hamiltonian flow <math>g^t</math> are either of measure 1 or of measure 0.''</span>
: <math>{\rm i.e. \;} \forall \Omega \subset S_E, (g^t \Omega = \Omega {\rm \; for \;  all\; } t) \Rightarrow (\sigma_E(\Omega) = 0 {\rm
  \;  or \; } 1)</math>

<span>'''NB:'''</span> ergodicity alone is barely considered as chaos (see eg <figref>Chaos-Hierarchy_ergodicite-dim1-01-2013.jpeg</figref> illustrating the one dimensional case).
[[Image:Chaos-Hierarchy_ergodicite-dim1-01-2013.jpeg|thumb|300px|right|For a one degree of freedom (and thus integrable) conservative system, the motion is
obviously ergodic on <math>S_E</math>.]] 

<span id="def:ergo2"> <span>''' Definition 2: '''</span> <span>'' The motion is ergodic if for any (integrable under <math>\sigma_E</math>) function <math>f</math> and for almost all <math>{\bf x}_o</math> in <math>S_E</math> ''</span>

:<math>\lim_{T \to \infty} \frac{1}{T} \int_0^T f(g^t x_0) = \int_{s_E}  f({\bf x}) d\sigma_E \; .</math>

 [[#def:ergo1|<span>'''Definition 1'''</span>]] and [[#def:ergo2|<span>'''Definition 2'''</span>]] are equivalent.

== Mixing  ==

<span id="def:mixing"> <span>''' Definition'''</span> <span>'' The motion on <math>S_E</math> is said to be “mixing” if for any two (non-zero measure) parts <math>A</math> and <math>B</math> of <math>S_E</math> ''</span>
:<math>\lim_{t \to \infty} \sigma_E(B \cap g^t A) = \sigma_E(B) \cdot \sigma_E(A)</math>
[[Image:Chaos-Hierarchy_mixing-01-2013.jpeg|thumb|400px|right|NB: $\sigma_E(g^t(A)) = \sigma_E(A)$ (conservation of the Liouville measure).]] 

<span>'''Remark:'''</span> Mixing implies ergodicity.

== K Systems (Kolmogorov) ==

Intuitively, chaotic systems are associated with the notion of exponential separation of trajectories (which is actually the point of view taken for “Axiome A” systems). Kolmogorov proposed instead to characterize chaos through the notion of information.

Let us consider here a dynamical system <math>(M,\mu,T)</math>, where <math>M</math> is the space on which the motion takes place, <math>\mu</math> is a measure on this space, and <math>T</math> is a bijective map on <math>M</math>. The Hamiltonian motion considered in this section enters into this general framework provided one discretizes the time ( <math>t = t_0, 2t_0, 3t_0,
\cdots</math>), in which case we can take <math>M \equiv S_E</math>, <math>\mu \equiv
\sigma_E</math> and <math>T\equiv g^{t_0}</math>.

Let us consider a partition <math>\mathcal{A} = \{A_i\}</math> of the space <math>M</math> (<math>M = \cup A_i, \; (A_i \cap A_j = \emptyset \;
\forall i \neq j) </math>). The question which we ask ourselves is : “assuming we know the list of all the cells <math>A_{i(t)}</math> visited in the past, i.e. <math>\{ i(t); \, t = -\infty,\cdots,-3t_0,-2t_o,-t_0,0 \}</math>, do we gain any new information by learning where will be the trajectory at time <math>t=t_0</math> ?”

More formally :

<span id="def:entropy1"> <span>''' Definition :'''</span> <span>''Let <math>\mathcal{A}</math> a partition of <math>M</math>. The entropy <math>\mathcal{H}</math> of (<math>\mathcal{A}</math>) is ''</span> 
:<math>\mathcal{H}(\mathcal{A}) = - \sum_i \sigma_E(A_i) \ln [\sigma_E(A_i)]</math> 
<span>''(i.e. <math>\mathcal{H}(\mathcal{A})</math> is the average information obtained from the knowledge of the cell <math>A_i</math> to which belongs a point taken at random in <math>M</math>).''</span>

<span id="def:entropy2"> <span>''' Definition :'''</span> <span>''The entropy of <math>T</math> relative to the partition <math>\mathcal{A}</math> is ''</span>
:<math>h(T,\mathcal{A}) \equiv \lim_{n\to\infty} \frac{1}{n}  \mathcal{H}( \vee_{k=0}^{n-1} T^{-k} \mathcal{A}) )\,</math> 
(<math> \mathcal{A} \vee \mathcal{B} \equiv \{A_i \cap B_j\}</math>).''</span>

One can show that <math>h(T,\mathcal{A} ) =
\mathcal{H}(\mathcal{A}/\vee_{k=-\infty}^{-1} T^{k} \mathcal{A})</math>, where 
:<math>\mathcal{H}(\mathcal{A}/\mathcal{B}) = - \sum_{i,j} \mu (A_i \cap B_j) \ln\left[\frac{\mu (A_i \cap B_j)}{\mu(B_j)}\right]</math> 
(The entropy of “<math>\mathcal{A}</math> knowing <math>\mathcal{B}</math>” is the quantity of information acquired on average by learning in which cell of the partition <math>\mathcal{A}</math> is a point taken at random in <math>M</math> but assuming known the cell of the partition <math>\mathcal{B}</math> to which it belongs.)

Stating that <math>h(T,\mathcal{A}) = 0</math> means that once the entire past of a trajectory is known, the addition of an extra time step does not bring any new information.

<span id="def:Ksystem"> <span>''' Definition :'''</span> <span>''A dynamical system <math>(M,\mu,T)</math> is a K-system if for any non-trivial partition <math>\mathcal{A}</math> of <math>M</math>, <math>h(T,\mathcal{A}) > 0</math>. ''</span> (for continuous time systems, this property of course does not depend on the choice of the time step <math>t_0</math>)

<span>'''Remark:'''</span> K-systems are necessarily mixing, and thus ergodic.

<span id="def:KSentropy"> <span>''' Definition :'''</span> <span>''The <math>\sup_{\{\mathcal{A}\}} h(T,\mathcal{A})</math> is the <span>'''Kolmogorov-Sinai entropy'''</span> of the system (for continuous time system, we then assume <math>t_0 = 1</math>).''</span> 

== B-Systems (Bernoulli) ==

<span id="def:partition"> <span>''' Definition :'''</span> <span>''A partition <math>\mathcal{P}</math> of <math>M</math> is said to be a generating partition if <math>\vee_{k=-\infty}^{+\infty} T^k \mathcal{P} </math> is the partition into point of <math>M</math>.''</span>

A generating partition is therefore such that the complete list of cells visited in the past and in the future completely specifies a trajectory.

<span id="def:Bernoulli"> <span>''' Definition :'''</span> <span>''A dynamical system <math>(M,\mu,T)</math> is Bernoulli if one can find a generating (for <math>T</math>) partition <math>\mathcal{P}</math> such that for all <math>j</math>, <math>\vee_{k=1}^{j-1} T^k \mathcal{P}</math> and <math>T^j \mathcal{P}</math> are independent.''</span>

Saying that two partitions <math>\mathcal{A}= \{A_i\}</math> and <math>\mathcal{B}=
\{B_i\}</math> are independent implies that <math>\forall (i,j)</math>, <math>\mu(A_i
\cap B_J) = \mu(A_i) \mu(B_J)</math>. The independence of <math>\vee_{k=1}^{j-1}
T^k \mathcal{P}</math> and <math>T^j \mathcal{P}</math> thus implies that the knowledge of all the cells visited during <math>j</math> successive iterations provides <span>''no indication''</span> concerning which cell will be visited at the next iteration.

<span>'''Remark:'''</span> All B-systems are K-systems.

== A-Systems (Anosov) ==

In this subsection, the map <math>T</math> is assumed to be a diffeomorphism and <math>M</math> a <math>C^\infty</math> compact Riemannian manifold.

[[Image:Chaos-Hierarchy_anosov-01-2013.jpeg|thumb|400px|right|Anosov system]] 

<span id="def:Hyperbolic"> <span>''' Definition :'''</span> <span>''A (closed) subset <math>\Lambda \subset M</math> is hyperbolic if for any point <math>x \in \Lambda</math> the tangent space <math>T_x M</math> can be written as a direct sum <math>T_xM = E_x^u   \oplus E_x^s</math> such that''</span>
<ul>
<li><p> <span>'' i) The mapping <math>T</math> conserve that structure''</span>
:<math>\begin{aligned}
           DT (E_x^s) & = & E_{T(x)}^s \\
           DT (E_x^u) & = & E_{T(x)}^u \\
     \end{aligned}</math></p></li>
<li><p><span>'' ii) There is a constant <math>c > 0</math> and a constant <math>\lambda
    \in ]0,1[</math> such that </span></p>
<p>:<math>\begin{aligned}
           DT^n (v) & \leq & c \lambda^n \parallel v \parallel \quad \mbox{
             for } v \in E_x^s  \quad (n \geq 0) \\
           DT^{-n} (v) & \leq & c \lambda^n \parallel v \parallel \quad \mbox{
             for } v \in E_x^u \quad (n \geq 0)  \; .
     \end{aligned}</math></p></li>
<li><p><span>'' iii) <math>E_x^s</math> and <math>E_x^u</math> vary continuously with <math>x</math>.</span>
</p></li></ul>

“Axiom A system” (Anosov) are essentially hyperbolic systems (in the sens defined above) for which there is no complication coming from trajectories wandering to infinity.

<span id="def:NonWandering"> <span>''' Definition :'''</span> <span>''<math>x \in M</math> is non-wandering if for any neighborhood <math>U</math> of <math>x</math> ''</span> 
:<math>U \cap  \left[ \mathop{\cup} \limits_{n>0} T^n U \right] \neq \emptyset</math>''</span> 

<span id="def:AxiomA"> <span>''' Definition :'''</span> <span>''Let <math>\Omega(T) = \{x / x \; {\rm non-wandering} \}</math>, <math>T</math> is said to be axiom A if <math>\Omega(T)</math> is hyperbolic and if ''</span> 
:<math>\Omega(T) = \overline{\{x / x \; {\rm periodic} \}} \; .</math>

Axiom A systems are Bernoulli.

== Stable and unstable manifold ==

Let

:<math>\begin{aligned}
W^s(x) & = & \{ y \in M \, / \, d(T^nx,T^n y) \to 0 
\mbox{when } n \to \infty \}  \\
W^s_\epsilon(x) & = & \{ y \in M \, / \, d(T^nx,T^n y) \leq \epsilon 
 \; \forall n \geq 0 \} \end{aligned}</math>

and

:<math>\begin{aligned}
 W^u(x) & = & \{ y \in M \, / \, d(T^{-n}x,T^{-n} y) \to 0 
\mbox{ when } n \to \infty \}  \\
W^s_\epsilon(x) & = & \{ y \in M \, / \, d(T^{-n}x,T^{-n} y) \leq \epsilon 
\;  \forall n \geq 0 \} \end{aligned}</math>

If <math>T</math> is Axiom A, then

<ul>
<li><p> Exponential convergence :
:<math>\begin{aligned}
d(T^nx,T^n y) \leq \lambda^n d(x,y) && \mbox{ for } y \in
W^s_\epsilon(x) \; n \geq 0\\
d(T^{-n}x,T^{-n} y) \leq \lambda^n d(x,y) && \mbox{  for } y \in
W^u_\epsilon(x) \; n \geq 0\end{aligned}</math></p>
<p>(in particular (<math>W^u_\epsilon(x) \subset W^u(x)</math>) and (<math>W^s_\epsilon(x) \subset W^s(x)</math>).</p></li>
<li><p>For all <math>\epsilon > 0</math>, on can find <math>\delta >0</math> such that <math>W^s_\epsilon(x)  \cap W^u_\epsilon(y) </math> is a single point if <math>d(x,y) \leq \delta</math> (and, of course <math>x,y \in \Omega(T)</math>).</p></li></ul>

[[Image:Chaos-Hierarchy_StableAndUnstableManifo.jpeg|thumb|400px|right|Stable and unstable manifold]]




----

----

= Complement : Spectral statistics =

In this complement section, we introduce a few spectral statistics often encountered in the context of random matrix theory, together with some of the corresponding expressions for the Wigner Gaussian ensembles.

== Unfolding the spectra ==

Consider a quantum spectrum <math>\epsilon_0, \epsilon_1,\epsilon_2, \cdots</math> which either corresponds to the energy levels of a given quantum systems or is a random sequence generated by diagonalizing a realization within some ensemble of matrix. Let 
<math>d(\epsilon) = \sum_n \delta(\epsilon- \epsilon_n)</math> the density of state.

In the random case, the mean density of states <math>\langle d(\epsilon)  \rangle</math> is naturally defined by averaging <math>d(\epsilon)</math> over the ensemble. For a non-random energy sequence corresponding to a specified quantum system, the mean density of state can still be defined, but this time through an <span>''energy average''</span>

:<math>\label{eq:meandos}
 \langle d(\epsilon)  \rangle \stackrel{\rm def}{=}\frac{1}{\delta \epsilon} \int^{\epsilon + \delta
   \epsilon/2}_{\epsilon- \delta \epsilon/2} d(\epsilon') d\epsilon' \; .</math>

This definition assumes of course that one can find a range of <math>(\delta \epsilon)</math> large enough to average the fluctuations of <math>d(\epsilon)</math>, but small enough to be negligible on the scale at which <math>\langle d(\epsilon)
\rangle</math> itself varies, in such a way that the latter is independent of <math>(\delta \epsilon)</math>. Such a range of <math> (\delta \epsilon) </math> generically exists in the semiclassical limit. In the following the average <math>\langle \cdot
\rangle</math> will mean either the ensemble average or the energy average Eq. \eqref{eq:meandos} depending on whether one considers an ensemble of matrices or one specific physical system.

The mean density of states <math>\langle d(\epsilon)  \rangle</math> is usually governed by the phase space volume of the classical energy surface <math>\epsilon</math>, and is therefore not related to the nature, chaotic or integrable, of the classical dynamics. To isolate the spectral fluctuations from the mean behavior of the density, it is customary to <span>''unfold''</span> the spectra, that is to map the sequence <math>\epsilon_0, \epsilon_1,\epsilon_2, \cdots</math> into a new sequence <math>x_0, x_1,x_2, \cdots</math> with the same fluctuation properties but with a mean density equal to one.

Introducing the counting function <math>N(\epsilon) \stackrel{\rm def}{=}\int^\epsilon d(\epsilon') d\epsilon'</math>, and <math>\langle N(\epsilon)  \rangle</math> is average value, it can be checked easily that the transformation

:<math>\label{eq:unfolding}
x_j = \langle N(\epsilon_j)  \rangle</math>

performs the required unfolding. In the rest of this section we shall consider only the unfolded sequence <math>x_0, x_1,x_2, \cdots</math>. We note :<math>d(y) \stackrel{\rm def}{=}\sum_n \delta(y - x_n)</math> 
the unfolded density of states.

== <math>n</math>-point correlation functions and Dyson cluster functions ==

The simplest spectral statistics are the <math>n</math>-point correlation functions

:<math>R_n(y_1,y_2,\cdots,y_n) \stackrel{\rm def}{=}\langle d(y_1) d(y_n) \cdots d(y_n) 
\rangle \; .</math>

<math>R_1(y)</math> is just the mean density of <span>''unfolded''</span> level <math>\langle
d(y) \rangle</math>, which, by construction, is equal to one.

If the energy levels are uncorrelated, the <math>n</math>-point correlation function reduces to <math>R_n(y_1,y_2,\cdots,y_n) = R_1(y_1)R_1(y_2) \cdots
R_1(y_n)</math> ( <math>= 1</math> here). To focus on the correlations, Dyson has introduced the cluster functions

:<math>
\begin{aligned}
Y_n(y_1,y_2,\cdots,y_n) & \stackrel{\rm def}{=} \sum_G (-1)^{n-m} (n-1)! \prod_{j=1}^m
R_{G_j}(y_t; t \in G_j) \; , \\
G & = {\rm all~partitions~of~the~set~of~indices~} \{1,2,\cdots,n\}
    {\rm ~in~} m {\rm ~subparts} \nonumber  \\
& (\{1,2,\cdots,n\} = \cup_{j=1}^m G_j)  \nonumber \; . 
\end{aligned}
</math>

For instance

:<math>\begin{aligned}
Y_2(y_1,y_2) & =   R_1(y_1)R_1(y_2) - R_2(y_1,y_2)  \\
Y_3(y_1,y_2,y_3) & =  R_3(y_1,y_2,y_3) - R_1(y_1)R_2(y_2,y_3) -
R_1(y_2)R_2(y_3,y_1) - R_1(y_3)R_2(y_1,y_2) \\
& \qquad + 2
R_1(y_1)R_1(y_2)R_1(y_3) \; .\end{aligned}</math>

For systems invariant by (energy) translation, one notes

:<math>\begin{aligned}
R_2(s) & \stackrel{\rm def}{=} R_2(y-s/2,y+s/2) = \langle d(y-s/2) d(y+s/2) \rangle 
\; ,  \\
Y_2(s)  & = 1 - R_2(s)
\end{aligned} \label{eq:Y2}
</math>

and one can introduce the form factor <math>K_W(\tau)</math> which is just the Fourier transform of <math>Y_2(s)</math>

:<math>\label{eq:formfactor}
K_W(\tau) \stackrel{\rm def}{=}\int_{-\infty}^{+\infty} Y_2(s) e^{2 i \pi \tau s} ds \; .</math>

For the Gaussian Orthogonal and Unitary Ensembles, the two-point cluster function can be expressed as

:<math>\begin{aligned}
\mbox{(GOE) :} \qquad Y_2(y) & =  \frac{\sin^2y }{y^2} 
- \left( {\rm Si}(\pi y) - \pi \epsilon(y) \right)
\left( \frac{\cos \pi y }{\pi y} - \frac{\sin\pi y }{(\pi y)^2}
\right) \, \\
\mbox{(GUE) :} \qquad Y_2(y) & =  \left( \frac{\sin\pi y }{\pi y}
\right)^2 \;.  \end{aligned}</math>

(<math>{\rm Si}(y) = \int_0^y \frac{\sin x}{x} dx</math>, <math>\epsilon(y) =
1/2</math> for <math>y>0</math> and <math>-1/2</math> for <math>y<0</math>, and <math>\gamma \simeq 0.5772\cdots</math> is the Euler constant.) For uncorrelated levels, one has essentially by definition <math>Y_2(y) \equiv 0</math> .

Taking the Fourier transform leads in the GUE case to

:<math>\begin{aligned} \label{eq:KGUE}
K_W(\tau) & =  1-\tau  \qquad & (0<\tau<1) \\
     & = 0     \qquad & (\tau>1) \; .
\end{aligned}</math>

The expression of <math>K_W(\tau)</math> for GOE is more involved, but starts as <math>K_W(\tau) = 1 -2\tau +O(\tau^2)</math> at small <math>\tau</math>. The factor two between the slopes at the origin is actually quite profound, and is related to the existence of time reversal symmetric periodic orbits for the time reversal invariant systems for which GOE apply.

Note finally that in his 1985 paper, that we discuss in [[Bohigas-Giannoni-Schmit conjecture #Justifications of the BGS-conjecture| section two]], Berry [[#berry-1985|(Berry, 1985)]] introduces a form factor  <math>K(\tau)</math> with a slightly different definition since: i) it starts from <math>R_2(s)</math> rather than <math>Y_2(s)</math> (leading to a change of sign);  ii) it includes the <math>\delta(s)</math> associated with the correlation of a level with itself (which basically adds one to the Fourier transform).  Therefore Berry's form factor is deduced from the usual one through the simple transformation <math>K(\tau) = 1 - K_W(\tau)</math>, leading in particular in the GUE case to 

:<math>\begin{aligned} \label{eq:KBerry}
K(\tau) & =  \tau  \qquad & (0<\tau<1) \\
     & = 1    \qquad & (\tau>1) \; .
\end{aligned}</math>

and to <math>K(\tau) = 2\tau +O(\tau^2)</math> at small <math>\tau</math> in the GOE case.

== Nearest neighbor spacing ==

Let <math>x_0 \leq x_1 \leq x_2 \leq \cdots \leq x_n \leq \cdots</math> the rescaled energy levels ranked by increasing order, and <math>s_j \stackrel{\rm def}{=}x_{j+1} - x_j</math> the spacing between the <math>j^{th}</math> and <math>(j+1)^{th}</math> levels. The nearest neighbor spacing distribution is defined as 
:<math>P_{\rm nn}(s) = \langle \frac{1}{N} \sum_{j=1}^N \delta(s - s_j) \rangle \; .</math> 
Note that having a spacing <math>s</math> implies that for some energy <math>y</math>, a pair of levels is located in <math>y</math> and <math>y+s</math>, but also that no other level lies in the range <math>[y,y+s]</math>. As a consequence <math>P(s)</math> actually mixes informations about <math>n</math>-point correlation functions of all orders.

For uncorrelated levels, the nearest neighbor distribution is given by 
:<math>\mbox{Poisson :} \qquad P_{\rm nn}(s) = \exp(-s) \; .</math> 
For the Gaussian ensembles, a very precise approximation of the <math>N \to
\infty</math> result is provided by the result of the “Wigner surmise”, which consists in computing <math>P_{\rm nn}(s) = e^{-s}</math> for a two by two matrix (<math>N=2</math>). This gives

:<math>
\begin{aligned}
{\rm ~for~GOE~(\beta =1)~:} \qquad P_{\rm nn}(s)  & =  \frac{\pi}{2} s \exp\left(-\frac{\pi}{4} s^2 \right) \label{eq:WS-GOE} \\
{\rm ~for~GUE~(\beta =2)~:} \qquad P_{\rm nn}(s)  & =  \frac{32}{\pi^2} s^2 \exp\left(-\frac{4}{\pi} s^2 \right) \\
{\rm ~for~GSE~(\beta =4)~:} \qquad  P_{\rm nn}(s) & =  \frac{2^{18}}{3^6 \pi^4} s^4 \exp\left(-\frac{64}{9\pi} s^2 \right) 
\end{aligned}
</math>

<math>P_{\rm nn}(s)</math> focuses on short range correlations (<math>s \lesssim 1</math>, which correspond to spacing smaller than the mean level spacing for the original energies), which reveals the level repulsion characteristic of the Wigner ensembles.

== Number variance ==

let 
:<math>n(L) = \int_{\tilde y}^{\tilde y+L} d(y) dy</math> 
the number of rescaled energy levels contained in an interval of length <math>L</math>. Because the mean density of rescaled energy is fixed to one by construction, <math>\langle n(L) \rangle = L</math>. However its variance 
:<math>\Sigma(L) \stackrel{\rm def}{=}\langle n(L)^2 \rangle - L^2 = L - 2 \int_0^L (L-s) Y_2(s) ds</math> 
contains informations about correlations at long distance (<math>s \gg 1</math>, which correspond to spacing larger than the mean level spacing for the original energies).

For the Gaussian Orthogonal and Unitary Ensembles, the number variance can be expressed as

:<math>\begin{aligned}
\Sigma^2_{\rm GUE}(L) & =  \frac{1}{\pi^2} \left[
\log(2\pi L) + \gamma + 1 - \cos(2\pi L) - {\rm Ci}(2\pi L) \right]
+ L \left[1 - \frac{2}{\pi} {\rm Si}(2 \pi L) \right] \; , \\
\Sigma^2_{\rm GOE}(L)  & = 2 \Sigma^2_{\rm GUE}(L) + 
\frac{{\rm Si}^2(\pi L)}{\pi^2} - \frac{{\rm Si}(\pi L)}{\pi} \; .\end{aligned}</math>

(<math>{\rm Si}(y) = \int_0^y \frac{\sin x}{x} dx</math>, <math>{\rm Ci}(y) = \gamma +
\log y + \int_0^y \frac{\cos x - 1}{x} dx</math>.) In the large <math>L</math> limit, this leads to <math>\Sigma^2_{GOE/GUE}(L) = (2/\pi \beta) \log(2\pi L) +
{\rm const.} + O(L^{-1})</math> (<math>\beta = 1</math> for GOE, and <math>\beta = 2</math> for GUE). This logarithmic dependence for large <math>L</math> should be contrasted with the linear dependence <math>\Sigma^2_{\rm Poisson}(L) = L</math> valid for uncorrelated levels. For instance, an interval of length <math>L = 100</math>, will contain anywhere from 90 to 110 levels in the Poisson case, but exactly 100 levels plus or minus one level in the Gaussian case.

== Dyson-Mehta function ==

Consider again the interval <math>[\tilde y, \tilde y + L]</math>, and the “step function” 
:<math>N(y) \stackrel{\rm def}{=}\sum_{x_i \in [\tilde y, \tilde y + L]} \Theta(y - x_i) \; .</math> 
Define then 
:<math>\Delta(L) \stackrel{\rm def}{=}\min_{a,b} \int_{\tilde y}^{\tilde y + L} 
\left[ N(y) - (ay+b) \right]^2 dy \; .</math> 
The Dyson-Mehta function is then defined as the mean value

:<math>\label{eq:DysonMehta}
\bar \Delta(L) = \langle  \Delta(L) \rangle \; .</math>

In an experimental context in which some of the levels might be missed, the statistics <math>\bar \Delta(L)</math> show less sensitivity to these experimental uncertainties than other spectral statistics, and have been introduced for this purpose by Mehta and Dyson to analyze nuclear spectra.

----

----

= References =

== Seminal papers ==

* <span id="bohigas-1984a"> O Bohigas, M. J. Giannoni, and C. Schmit. Characterization of chaotic quantum spectra and universality of level fluctuation laws. Phys. Rev. Lett., 52:1–4, 1984. </span>

* <span id="bohigas-1984b"> O Bohigas, M. J. Giannoni, and C. Schmit. Spectral properties of the laplacian and random matrix theories. Journal De Physique Lettres, 45:1015–1022, 1984.</span>

== Reviews and general references ==
 
* <span id="Bohigas84Granada"> Oriol Bohigas and Marie-Joya Giannoni, Chaotic motion and random matrix theory, in ''Mathematical and Computational Methods in Nuclear Physics'', A. Polls, J.M.G. Gomez and  J.S. Dehesa editors, Springer-Verlag (1984)

* <span id="BowenBook"> Robert Edward (Rufus) Bowen, Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms (2nd Edition), 'Lecture Notes in Mathematics', Jean-René Chazottes (Editor), David Ruelle (Preface) , Springer (2008) (ISBN-13: 978-3540776055).</span>

* <span id="FyodorovScholarpedia"> Y. Fyodorov, Random matrix theory, Scholarpedia 6(3):9886 (2011).</span>

* <span id="LesHouches91"> Marie-Joya Giannoni, André Voros and Jean Zinn-Justin (editors), Chaos and quantum physics, proceedings de l'École d'Été de Physique Théorique des Houches, Session 52 (1989), North-Holland (1991) (ISBN 0-444-89277-X).</span>

* <span id="GuhrPhysRep">  T. Guhr, A. Nuller-Groeling and H. Weidenmuller, Random-matrix theories in quantum physics: common cocepts, Phys. Rep. 299:189, (1998). </span>

* <span id="HaakeBook">  F. Haake, Quantum signatures of chaos, Springer, Berlin (2001). </span>

* <span id="GutzwillerBook"> Martin C. Gutzwiller, Chaos in Classical and Quantum Mechanics, Springer-Verlag (1990).</span>

* <span id="GutzwillerScholarpedia"> Martin Gutzwiller, Quantum chaos, Scholarpedia 2(12):3146 (2007).</span>

* <span id="MehtaBook04"> Madan Lal Mehta, Random Matrices (Third Edition), Elsevier (2004).</span>

* <span id="OzorioBook"> Alfredo Ozorio de Almeida, Hamiltonian Systems: Chaos and Quantization, Cambridge University Press (1988). </span>

* <span id="PorterBook">  Charles E. Porter, Statistical Theories of Spectra: Fluctuations, Academic Press (1965). </span>

* <span id="StockmannScholarpedia"> H-J. Stockmann, Microwave billiards and quantum chaos, Scholarpedia 5(10):10243 (2010).</span>



== References of section 1 ==

* <span id="berry-1977"> M. V. Berry and M. Tabor. Level clustering in the regular spectrum. Proc. R. Soc. A, 356,:375–94, 1977.</span>

* <span id="bohr-1936"> N. Bohr. Neutron capture and nuclear consitution. Nature, 137:344, 1936.</span>

* <span id="casati-1980"> G. Casati, F. Valz-Gris and I. Guarneri. On the connection between quantization of nonintegrable systems and statistical theory of spectra. Lett.Nuovo Cimento 28(8):279, 1980. </span>

* <span id="einstein-1917"> A. Einstein. Zum quantensatz von Sommerfeld und Epstein. Verhandl. Dtsc. Phys. Ges. 19:82, 1917.</span>

* <span id="marklof-2001"> J. Marklof. The Berry-Tabor conjecture. In <span>''Proceedings of the 3rd European Congress of Mathematics, Barcelona 2000''</span>, volume 202 of <span>''Progress in Mathematics''</span>, pages 421–427, 2001. 

* <span id="mcdonald-1979"> S. W. McDonald  and A. N. Kaufman. Spectrum and eigenfunctions for a Hamiltonian with stochastic trajectories. Phys. Rev. Lett. 42:1189, 1979. </span>

* <span id="percival-1973"> I. C. Percival. Regular and irregular spectra. J. Phys. B, 6(9):L229, 1973.</span>

* <span id="shnirelman-1974"> A. I. Shnirelman. Ergodic properties of eigenfunctions. Usp. Mat. Nauk, 29(6):181, 1974 [in Russian]; On the asymptotic properties of eigenfunctions in the regions of chaotic motion, addendum in V.F.Lazutkin. The KAM theory and asymptotics of spectrum of elliptic operators, Springer, Berlin, 1991.</span>

* <span id="zaslavskii-1973"> G. M. Zaslavskii and N. N. Filonenko. Statistical properties of the energy spectrum of "gliding" electrons with mixed classical trajectories. Zh. Eksp. Teor. Fiz 65:643, 1973 [in Russian]; Sov. Phys. - JETP 38(2):317, 1974 [in English]. </span>


== References of section 2 ==

* <span id="andreev-1996a"> A. V. Andreev, O. Agam, B. D. Simons, and B. L. Altshuler. Quantum chaos, irreversible classical dynamics, and random matrix theory. Phys. Rev. Lett., 76(21):3947–3950, May 1996. </span>

* <span id="andreev-1996b"> A. V. Andreev, B. D. Simons, O. Agam, and B. L. Altshuler. Semiclassical field theory approach to quantum chaos. Nuclear Physics B, 482(3):536 – 566, 1996.</span>

* <span id="altland-2015"> A. Altland, S. Gnutzmann, F. Haake, and T. Micklitz. A review of sigma models for quantum chaotic dynamics. Rep. Prog. Phys. 78:086001,  2015.</span>

* <span id="berry-1985"> M. V. Berry. Semiclassical theory of spectral rigidity. Proc. R. Soc. A, 400:229–251, 1985.</span>

* <span id="bogomolny-1992"> E. B. Bogomolny, B. Georgeot, M.-J. Giannoni, and C. Schmit. Chaotic billiards generated by arithmetic groups. Phys. Rev. Lett., 69:1477–1480, Sep 1992.</span>

* <span id="bohigas-1990b"> O. Bohigas, S. Tomsovic, and D. Ullmo. Classical transport effects on chaotic levels. Phys. Rev. Lett., 65(1):5–8, Jul 1990.</span>

* <span id="bohigas-1990a"> O. Bohigas, S. Tomsovic, and D. Ullmo. Dynamical quasidegeneracies and separation of regular and irregular quantum levels. Phys. Rev. Lett., 64(13):1479–1482, Mar 1990.</span>

* <span id="bohigas-1993"> O. Bohigas, S. Tomsovic, and D. Ullmo. Manifestations of classical phase space structures in quantum mechanics. Phys. Rep., 223:43–133, 1993.</span>

* <span id="braun-2004"> P. Braun, S. Heusler, S. Müller and F. Haake. Universal spectral form factor for chaotic dynamics. J. Phys. A, 37(3):L31–L37, 2004.</span>

* <span id="brouwer-2006a"> P. W. Brouwer and S. Rahav. Semiclassical theory of the Ehrenfest time dependence of quantum transport in ballistic quantum dots. Phys. Rev. B, 74:075322, Aug 2006.</span>

* <span id="brouwer-2006b"> P. W. Brouwer, S. Rahav, and C. Tian. Spectral form factor near the ehrenfest time. Phys. Rev. E, 74:066208, Dec 2006.</span>

* <span id="hannay-1984"> J. H. Hannay and A. M. Ozorio de Almeida. Periodic orbits and a correlation function for the semiclassical density of states. J. Phys. A, 17:3429, 1984.</span>

* <span id="heusler-2006"> S. Heusler, S. Müller, P. Braun, F. Haake. Semiclassical theory of chaotic conductors. Phys. Rev. Lett., 96:066804, 2006.</span>

* <span id="leyvraz-1997"> F. Leyvraz and T. H. Seligman. Comment on [quantum chaos, irreversible classical dynamics, and random matrix theory]. Phys. Rev. Lett., 79(9):1778, Sep 1997.</span>

* <span id="muller-2004"> S. Müller, S. Heusler, P. Braun, F. Haake, and A. Altland. Semiclassical foundation of universality in quantum chaos. Phys. Rev. Lett., 93(1):014103, 2004.</span>

* <span id="muller-2005"> S. Muller, S. Heusler, P. Braun, F. Haake, and A. Altland. Periodic-orbit theory of universality in quantum chaos. Phys. Rev. E, 72(4):046207, 2005. </span>

* <span id="muller-2007"> S. Muller, S. Heusler, P. Braun, and F. Haake. Semiclassical approach to chaotic quantum transport. New J. Phys., 9:1-42 2007. </span>

* <span id="muller-2009"> S. Müller, S. Heusler, A. Altland, P. Braun, and F. Haake. Periodic-orbit theory of universal level correlations in quantum chaos. New J. Phys., 11(10):103025, 2009.</span>

* <span id="pandey-1979"> A. Pandey. Statistical properties of many-particle spectra: III. ergodic behavior in random-matrix ensembles. Ann. Phys., 119(1):170–191, 1979.</span>

* <span id="richter-2002"> K. Richter and M. Sieber. Semiclassical theory of chaotic quantum transport. Phys. Rev. Lett., 89(20):206801, Oct 2002.</span>

* <span id="sieber-1990"> M. Sieber and F. Steiner. Quantum chaos in the hyperbola billiard. Physics Letters A, 148:415 – 420, 1990.</span>

* <span id="sieber-2001"> M. Sieber and K. Richter. Correlations between periodic orbits and their role in spectral statistics. Physica Scripta, 2001(T90):128, 2001.</span>

* <span id="sieber-2002"> M. Sieber. Leading off-diagonal approximation for the spectral form factor for uniformly hyperbolic systems. J. Phys. A, 35(42):L613, 2002.</span>

* <span id="zirnbauer-1996"> M. Zirnbauer. Supersymmetry for systems with unitary disorder: circular ensembles. J. Phys. A: Math. Gen. 29:7113–7136, 1996.</span>


== References of section 3 ==

* <span id="aleiner-2002"> I. L. Aleiner, P. W. Brouwer, and L. I. Glazman. Quantum effects in coulomb blockade. Phys. Rep., 358:309–440, 2002.</span>

* <span id="alt-1995"> H. Alt, H.-D. Graf, H. L. Harney, R. Hofferbert, H. Lengeler, A. Richter, P. Schardt, and H. A. Weidenmüller. Gaussian orthogonal ensemble statistics in a microwave stadium billard with chaotic dynamics: Porter-thomas distribution and algebraic decay of time correlations. Phys. Rev. Lett., 74:62–65, 1995. </span>

* <span id="bandyopadhyay-2002"> J. N. Bandyopadhyay and A. Lakshminarayan. Testing statistical bounds on entanglement using quantum chaos. Phys. Rev. Lett., 89:060402, Jul 2002.</span>

* <span id="baranger-1994"> H. U. Baranger and P. A. Mello. Mesoscopic transport through chaotic cavities: A random ''S'' -matrix theory approach. Phys. Rev. Lett., 73:142–145, Jul 1994.</span>

* <span id="berry-1986"> M.V. Berry. Riemann’s zeta function: A model for quantum chaos? In T.H. Seligman and H. Nishioka, editors, <span>''Quantum Chaos and Statistical Nuclear Physics''</span>, volume 263 of <span>''Lecture Notes in Physics''</span>, pages 1–17. Springer Berlin Heidelberg, 1986.</span>

* <span id="bohigas-2002"> O. Bohigas and P. Leboeuf. Nuclear masses: Evidence of order-chaos coexistence. Phys. Rev. Lett., 88(9):092502, Feb 2002.</span>

* <span id="cerruti-2003"> N. R. Cerruti and S. Tomsovic. A uniform approximation for the fidelity in chaotic systems. J. Phys. A: Mathematical and General, 36(12):3451, 2003.</span>

* <span id="chirikov-1988"> B. V. Chirikov, F. M. Izrailev and D. L. Shepelyansky. Quantum chaos: localization vs. ergodicity. Physica D, 33:77, 1988.</span>

* <span id="delande-1986"> D. Delande and J. C. Gay. Quantum chaos and statistical properties of energy levels: Numerical study of the hydrogen atom in a magnetic field. Phys. Rev. Lett., 57(16):2006–2009, Oct 1986.</span>

* <span id="folk-1996"> J. A. Folk, S. R. Patel, S. F. Godijn, A. G. Huibers, S. M. Cronenwett, C. M. Marcus, K. Campman, and A. C. Gossard. Statistics and parametric correlations of coulomb blockade peak fluctuations in quantum dots. Phys. Rev. Lett., 76(10):1699–1702, Mar 1996.</span>

* <span id="frahm-1997"> K. M. Frahm and D. L. Shepelyansky. Quantum localization in rough billiards. Phys. Rev. Lett., 78:1440, 1997; Emergence of quantum ergodicity in rough billiards. Phys. Rev. Lett. 79:1833, 1997.</span>

* <span id="friedrich-1989"> H. Friedrich and D. Wintgen. The hydrogene atom in a uniform magnetic field – an example of chaos. Phys. Rep, 183:37–79, 1989.</span>

* <span id="hegewisch-2012"> K. C. Hegewisch and S. Tomsovic. Random matrix theory for underwater sound propagation. Europhys. Lett., 97(3):34002, 2012.</span>

* <span id="jacquod-2001"> Ph. Jacquod, P.G. Silvestrov, and C.W.J. Beenakker. Golden rule decay versus lyapunov decay of the quantum loschmidt echo. Phys. rev. E, 64:055203, Oct 2001.</span>

* <span id="jacquod-2003"> Ph. Jacquod, H. Schomerus, and C. W. J. Beenakker. Quantum andreev map: A paradigm of quantum chaos in superconductivity. Phys. Rev. Lett., 90:207004, May 2003.</span>

* <span id="jalabert-1995"> R. A Jalabert and J.-L. Pichard. Quantum mesoscopic scattering: Disordered systems and dyson circular ensembles. Journal de Physique I, 5(3):287–324, 1995.</span>

* <span id="jalabert-1992"> R. A. Jalabert, A. D. Stone, and Y. Alhassid. Statistical theory of coulomb blockade oscillations: Quantum chaos in quantum dots. Phys. Rev. Lett., 68(23):3468–3471, Jun 1992.</span>

* <span id="jalabert-2001"> R. A. Jalabert and H. M. Pastawski. Environment-independent decoherence rate in classically chaotic systems. Phys. Rev. Lett., 86:2490–2493, Mar 2001.</span>

* <span id="jiang-2005"> H. Jiang, D. Ullmo, W. Yang, and H. U. Baranger. Scrambling and gate-induced fluctuations in realistic quantum dots. Phys. Rev. B, 71(8):085313, 2005.</span>

* <span id="kaul-2005"> R. K. Kaul, D. Ullmo, S. Chandrasekharan, and H. U. Baranger. Mesoscopic Kondo problem. Europhys. Lett., 71(6):973–979, 2005.</span>

* <span id="kaul-2003"> R. K. Kaul, Denis Ullmo, and Harold U. Baranger. Mesoscopic fluctuations in quantum dots in the Kondo regime. Phys. Rev. B, 68:161305, Oct 2003.</span>

* <span id="kaul-2006"> R. K. Kaul, G. Zaránd, S. Chandrasekharan, D. Ullmo, and H.U. Baranger. Spectroscopy of the Kondo problem in a box. Phys. Rev. Lett., 96:176802, 2006.</span>

* <span id="keating-1993"> J. P. Keating. Quantum chaology and the Riemann zeta-function, 1993.</span>

* <span id="keating-2003"> J. P. Keating and N. C. Snaith. Random matrices and l-functions. J. Phys. A, 36(12):2859, 2003.</span>

* <span id="kuhl-2005"> U. Kuhl, H.-J. Stöckmann, and R. Weaver. Classical wave experiments on chaotic scattering. J. Phys. A, 38(49):10433, 2005.</span>

* <span id="lakshminarayan-2008"> A. Lakshminarayan, S. Tomsovic, O. Bohigas, and S. N. Majumdar. Extreme statistics of complex random and quantum chaotic states. Phys. Rev. Lett.,  100:044103, Jan 2008.</span>

* <span id="nadal-2010"> C. Nadal, S. N. Majumdar, and M. Vergassola. Phase transitions in the distribution of bipartite entanglement of a random pure state. Phys. Rev. Lett., 104:110501, Mar 2010.</span>

* <span id="sivan-1996"> U. Sivan, R. Berkovits, Y. Aloni, O. Prus, A. Auerbach, and G. Ben-Yoseph. Mesoscopic fluctuations in the ground state energy of disordered quantum dots. Phys. Rev. Lett., 77(6):1123–1126, Aug 1996.</span>

* <span id="stockmann-1990"> H.-J. Stöckmann and J. Stein. Quantum chaos in billiards studied by microwave absorption. Phys. Rev. Lett., 64(19):2215–2218, May 1990.</span>

* <span id="ullmo-2001"> D. Ullmo and H. U. Baranger. Interactions in chaotic nanoparticles: Fluctuations in coulomb blockade peak spacings. , 64:245324–1 – 245324–13, 2001.</span>

* <span id="usaj-2001"> G. Usaj and H. U. Baranger. Coulomb-blockade peak-spacing distribution: Interplay of temperature and spin. Phys. Rev. B, 64(20):201319(R), Nov 2001.</span>

* <span id="tomsovic-2008"> S. Tomsovic, D. Ullmo, and A. Bäcker. Residual coulomb interaction fluctuations in chaotic systems: The boundary, random plane waves, and semiclassical theory. Phys. Rev. Lett., 100:164101, Apr 2008.</span>

* <span id="weaver-2010"> R. Weaver and  M. Wright, editor. <span>''New Directions in Lineat Accousics and Vibrations: Quantum Chaos, Random Matrix Theory and Complexity".</span> Cambridge University Press, New York, 2010.</span>

* <span id="wintgen-1986"> D. Wintgen and H. Friedrich. Regularity and irregularity in spectra of the magnetized hydrogen atom. Phys. Rev. Lett., 57(5):571–574, Aug 1986.</span> 

* <span id="wintgen-1992"> D. Wintgen, K. Richter, and G. Tanner. The semiclassical helium atom. Chaos, 2(1):19–33, 1992.</span>



[[Category:Quantum_Chaos]]