Haake 1991
Haake 1991
Fritz Haake
Fachbereich Physik
Universität-Gesamthochschule Essen
W-4300 Essen 1, F. R. Cermany
The so-called orthogonal, unitary, and symplectic universality classes of dynamical sys-
tems have ß = 1,2, and 4, respectively (see Fig. 2). Which univcrsalit.y dass a given
dynarnical syst.ern rnay belong to is decided by the set of unitary and anti-unitary sym-
metries. Anti-unitary symmetries are related to (generalized) time reversal invariance
[1,2,3].
For a given spectrum consisting of ma.ny Ievels the level spacing distribution takes
the form of a histogram (see Fig. 2). As is well known, such histograms generically are
filithful to the smooth distributions predicted by Raudorn Matrix Theory for cnscmblcs
of N x N matrices in the Iimit N -> oo. Rather than aiming at thc construction of the
full functions Pß(S) for 0::; S < oo I shall confine myself to the discussion of the small-S
behavior eq. (1 ). This rather modest goal can be reached by using quite elementary
methods.
~~illf~~XL
d
z
Figure 1: Sequence of four classical phase space portraits
for a periodically kicked top. As a coupling constant is
increased from (a) to (b) and so forth, chaos is seen to
expand from small islands (a) to full coverage of the phase
space (d).
QUANTUM SIGNATURES OF CHAOS 585
a b
1.
1. d
P(S)
0.5
o. ,._..__~....__,_~~-'--..~-.) "-"-'-~..___L~~_:t".;:::....__.__J
(2)
586 F. HAAKE
is said tobe time reversa.l invariant if for every solution 'lj!(t) there is another one,
(3)
with T an anti-unitary operatorsquaring to either +1 or -1,
(4)
By demanding that ;;;( t) obey the same Schrödinger equation as 1/;( l) one easily finds
that the Hamiltonian must c01nmute with T,
THT- 1 = H. (5)
The reader may recall that a unitary operator leaves the scalar product of two arbitrary
state vectors unchanged in the sense (1/>lx) = (Uif>IUx). An anti-unitary operator T, on
the othcr hand, docs change a scalar product into its complex conjugatc,
X --+ ToxT0- 1 =x
p --+ TopT0- 1 = -p
L --+ ToLT0- 1 = -L
1/J(x) --+ To1/;(x) = '1/J*(x). (7)
This yields an invariance for a free particle with the Hamiltonian H = p 2 /2m but not
for a charged particle in a magnetic field since T(p- eA)2T- 1 = (p + eA )2 .
However, a charged particle in a homogeneaus magnetic field does have another
anti-unitary symmetry. Let B = (0, 0, B) point in the z-dircction and the vector potential
be A = (-1/2)x x iJ suchthat the Hamiltonian reads
(8)
Clearly, this H cornmutes with T1 = UT0 where 10 is conventional time reversal and U
a rotation by 1r around any axis perpcndicular to B. Thcrc is nothing "false" about the
non-conventional time reversal operatiou T1 : it obeys cqs. (2), (3), (4), (5).
To break the invariance undcr T1 it suffices to switch on a homogeneaus electric field
E tilted arbitrarily against the magnetic field iJ. Even then, another non-conventional
time reversal invariance remains which is easily checked to be the product of T 0 with a
QUANTUM SIG)JATURES OF CHAOS 587
reflection about the plane spanned by B and E. To verify that symmetry it must be
realized that B and E behave differently under spatial reftections.
Breaking any kind to time reversal invariance in an atom or nucleus obviously
requires inhomogeneaus external fields. \Vhile sizeable inhomogeneities across a nucleus
are certainly inaccessible to the human cxpcrirnenter, the most highly excited Rydberg
atoms may not make for hopeless tasks forever.
One rnore ingredient will be needed to prove eq. (1 ), nearly degenerate perturbation
theory. Imagine the Hamiltonian of some dynamical systems to have the form II =
H0 +>.V and consider the fate of two neighboring eigenvalues E 1 (>.) and E 2 (>.) when the
control paramctcr >. is varicd. Clearly, oncc the distance IE1 (>.)- E 2 (>.)1 is smaller than
the distance of either Ievel to any third one, the close encounter in consideration can be
studied by nearly degenerate perturbation theory. One may assume the two eigenvalues
a.nd the corresponding eigenvectors known for a particular value ,\ 0 of >. and diagonalize
H in that basis. If the two Ievels are non-degenerate the basis is two-dimensional and
the cigenvalues of thc two by two rnatrix have thc diffcrencc
(9)
At this point it becornes obvious that by varying a singlc parameter like >. the
distance of neighboring Ievels can bc steercd through a minimum but not, in general,
made to vanish. The discriminant in eq. (9) being a sum of non-negative squares the
number of parameters needed to enforce a crossing is two or three, depending on whether
the matrix Hij is real symmetric or complex Hermitian.
The density of Ievel spacings may be defined as
(10)
with the average to be performed over all neighboring Ievels of the Hamiltonian. Al-
ternatively, one may average over the set of two by two matrices H associated with
close encounters of Ievel pairs, provided a suitable distribution function for the matrix
elernents is available. The latter average takcs thc form [5]
P(S) = jdxdydzW(x,y,z)5[S-Vx2+y2+z2]
8 j dxdydzW(Sx,Sy,Sz)5 [1- jx
2 2 + y 2 + z 2] , (11)
where I have assumed that no symmetry restricts the Hamiltonian to be a real matrix.
If the density vV( x, y, z) exists as a reasonably smooth function and neither diverges nor
vanishes at x = y = z --+ 0, the spacing distribution approaches the power-law behavior
eq. (1) with ß = 2. This degree is typical of the so-called unitary ( Gaussian or circular)
ensembles of random matrices [1-3].
An anti-unitary symmetry of H with 1' 2 = 1 modifies the situation just described
in a small but consequcntial dctail: the Hamiltonian can then be represented as a real
symmetric matrix, Hij = H;i by employing T invariant orthonormal basis vectors, ~'i =
1''1/Ji, (l/>ill/>j) = Dij· An arbitrary basis {cp;} is easily turned into a Tinvariant one in the
following way. Let l/> 1 ~ cp 1 +Tcp 1 suchthat T ~· 1 = ~'r and normalize, (~; 1 11/; 1 ) = 1; then
take a combination ;{2 of the 'Pi orthogonal to l/>I(l/>11;{2) = 0, choose l/>2 ~ ;j;2 + T;j;2,
and again normalize etc. The reality of H then follows from thc anti-unitary of T and
588 F.HAAKE
(14)
The degree oflevel repulsion ß appears again here ancl clistinguishes the three universality
classes as
orthogonal
unitary (15)
symplectic
QUAI\TUM SIG~ATURES OF CHAOS 589
"
Figure 3: Quasi-energy spedrum of a perioclically kickecl
top versus some coupling constant >.;top ancl coupling con-
stant the same as in Fig. 1; Fig. la, b, c, ancl cl corresponcl
to A = 1, A = 2.5, A = 3, ancl A = 6, respectively. Note
that the spectrum changes its chctracter from levcl duster-
ing to lcvcl repulsion in thc same range of A, A r:::: 3 ± 0.5, in
which the classical transition from preclominance of regular
motion to preclominance of chaos takes place. The range
A ;<; 3 has A inclepenclent spectral fluctuations; this is the
range for equilibrium statistics treatecl in section 2. As ).
incrcases from 0 to 3 a relaxation into equilibrium takes
place such as the one treatecl in lecture 3.
Fl·orn the clistribution eqs. (14), (15) all measures of fluctuations in the spectrum can be
clerivecl by suitable integrations.
Rather than clescribing the amazing clegree to which the Floquet spectra of classi-
cally chaotic systems are faithful to the preclictions of Ranclom Matrix Theory, I shall
here focus on the question as to why tlmt shoulcl be the case. Tothat end I shall pointout
that Raudorn Matrix Theory car1 be rcinterpretecl as equilibrium statistical mechanics
of a certain fictitious classical gas.
\Vhen contemplating Fig. 3 the reader will reali7,e the analogy of the bundle of
N level curves <p(A) with a bunclle of trajectories of N particles in a one-climensional
configuration space with Aas a time; the particle-particle interaction appears as repulsive.
In fact, on the basis of a cliscovery of Pechukas [7] the analogy can be extcndecl into a
rigorous one-to-onc rclation. Consicler a Floq uet operator of the form
(16)
with two Hermitian operators H 0 ancl V, both inclepcnclent of thc control parameter >.;
such Floquct opcrators arisc for periodically kickecl systems for which the perturbation
AV is switchecl on perioclically ancl impulsively. The control parameter clepenclence of
the eigenvalue problem
m=1,2, ... N (17)
can be shown tobe equivalent to the classical motion generatecl by the Hamiltonian [8,3]
2
1 "" 1 "" J€mn (18)
Pm + g L_., · 2 ((
2 j
'H = 7)'""" L_.,
rn m::J.n SlTI Ym
_
r..pn
)/2) ·
590 F. HAAKE
.\ +-+ time
The matrix elements of V occurring here are meant in the Floquet basis eq. (17). The
only unusual feature of the dynamics in question is that the strengths of the pair inter-
action involve dynamical variables lmn rather than being constants; consequently, the
phase space encountered has the dimension
(21)
becornes accessible once it is recognized that the Hamiltonian equations can be written
in thc so-called Lax from [14], V = [g, V] and f = [g, V] with a suitablc "generating
matrix" g. Due to the rcla.tion between v;nn and lmn given in eq. (19) the pha.se space
functions C 11 in genera.l diverge as two coordinates coincide, 'Pm -<.pn --+ 0 at lmn f 0; this
fact may either be interpreted in quantum parlance ( avoided crossings, Ievel repulsion)
or in the classical-particle picture (repulsive pair interaction). Unfortunately, it is not
known at present whether or not the set of constants of the motion eq. (21) contains a
subset of Nß- N inclepenclent ones allowing to nail down the N torus.
In the Iimit N--+ cxJ the fictitious gas invites a statistical description [15,16,3]. The
appropriate equilibrium ensemble would be the generalized microcanonical one which
QUANTl:M SIGKATURES OP CIIAOS 591
specifies the N torus by assigning sharp values to suitable ;\(ß - N constants of thc
motion. Technically easier to work with is the canonical ensemble
(22)
with Lagrange parameters aw The argument to follow assumes all C'" in eq. (22) to be
of the form eq. (21), real valued, and boundcd from below. Of special interest is the
reduced distribution of all N coordinates, obtained by integrating out all N momenta
and the Nß - N independent angular momenta
(23)
Clearly, this distribution vanishes at particle crossings, due to the divergence of the
Cl' mentioned above. To ascertain the behavior near crossings I abandon the angular
moment.a emn in favour of the Vmn as int.egra.t.ion variables,
P(r.p)
(24)
Note tha.t for fixed finite Vmn the function P(r.p) has no reason va.nish a.t a. pa.rticle
crossing. The degree to which the fict.itious particles a.void crossings is t.herefore solely
e
determined by the Ja.cobian of the tra.nsforma.tion -+ V, det( D€/ DV) ~ P( r.p )/ P( r.p ),
which a.ctua.lly is nothing but the joint eigenvalue density eq. (14) predicted by Random
.Matrix Theory.
Any noticea.ble r.p dependence of the function P would make for a. difference between
the eigenva.lue statistics implied by Random Matrix Theory and equilibrium statistica.l
mechanics of the fictitious gas. Interestingly, could I exclude from the ensemble eq. (22)
all constants of the motion eq. (21) with 11 1 = p 3 = ft 5 = ... = 0, i.e. admit only trV 1',
I would face a P strictly independent of the r.p a.nd thus rigorously recover Random
Matrix Theory, even more interestingly, the usual microcanonical ensemble exp( -,61i)
does have this nice property since 1{ ~ hV 2 , unfortunately, however, of the tr V 1' only N
a.rc indcpcndent a.nd thesc a.rc definitely insufficient in number to na.il down the N torus.
It follows that there can be no rigorous equivalence, with respect to the distribution P( r.p)
of all N coordinates, between ergodie motion of t.he N torus and Ra.ndom Matrix Theory
for fixed finite N. vVhat does hold instead is a weaker, asymptotic correspondence: the
Ievel spacing distribution [16,3] (as weil as certain other quantities which typically involve
corrcla.tions between only a few Ievels) come out the samein the two approaches, provided
the Iimit N -+ oo is taken. For the proof of tha.t a.symptotic equivalence I refer the reader
to the originalliterature. The proof is based on representing the r.p dependence of P( r.p)
by an N fold Fourier series; none of the finite-frequency terms can compctc, for N-+ oo,
with the zero-frcqucncy one in its effect on the level-spacing distribution.
Some non-trivial modifications of the foregoing consicleration, become necessary
for the Ievel dyna.mics of quantum Hamiltonians
of autonomaus systems. The equivalent fictitious gas was identified by Pechukas [7] as
governed by thc Hamiltonian function
(26)
(27)
differs from Pechuka's one by a hannonic binding potential which prcvents thc modificd
gas from exploding as T -+ =·
Integrability is not destroyed by the confining potential in eq. (27); the Hamil-
tonian equations of motion can again be written in the Lax form and the expression
eq. (21) reappear as constants of the motion. As an additional conserved quantity the
Hamiltonian H itself must be listed since now H is not of the form eq. (21 ).
Equilibrium statistical mechanics does make sense for the confined gas. A restricted
canonical ensemble involving H as well as at most N different constants of the motion
trV~' now rigorously implics the dcnsities P(E) of all N Ievels predicted by the Gaussian
ensembles of random Hermitian matrices [1,2,3],
(28)
here the product of eigenvalue differences arises as a J a.cobian like in eq. (24) while the
Gaussian factor is due to the confining potential 1/2 .Lm E?;, in thc additional constant
of the motion H; in writing down eq. (28) I have absorbed the Lagrange parameter
a.ssocia.ted with H in the energy scale.
No proof is available right now for the conjccture that the complete equilibrium
ensemble (which spccifics the submanifold of the iJ,~ dimensional phase space accessible
to a trajectory) also implies the eigenvalue density eq. (28) in the limit N-+ =·
QUANTUM SIGNATURES OF CHAOS 593
where the brackets denote an average over the GOE with respect to H 0 and over the
GUE with respect to V. After performing the N 2 fold integration ovcr thc elcments of
V I obtain the convolution
delta function &(H- H0 ) and then correctly reproduces P(H, 0) = PcoE(H) in eq. (30);
for ), --> oo, like the Green's function of any free diffusion it shrinks to z;ero height
and expands to infinite width, kccping constant global weight with respect to all of its
independent variables. Similarly "sick" is the behavior of the convolutecl distribution
at !arge ),,P(IJ,),)--> ;,-N'PcuE(H/A). Of course, P(H,A) must fail to approach a
stationary limit as ), --> oo since the Hamiltonian H = H 0 + ), V --> ), V itself grows
indefinitely with the coupling constant ,\; that problem was already considcred at the
end of the prcvious section.
With the aim of kecping thc mean density of Ievels constant as ), is varied I again
rcscalc the cnergy by a function g(,A) suchthat eqs. (29) ancl (30) are replaced by
vian in character [19]. That process may be clescribed by the Fokker- Planck equation
a N
ihW(E,T)=L { a
8E ( E;+2LE-E
1 1 ) 8
+8E
2
2
}
vV(E,T). (34)
i=l ' j ( #i) ' J '
The confining effect of the rescaling is manifest in the linear restoring force while the
pair intcraction force takes care of Ievel rcpulsion. In vicw of that lattcr intcracLion thc
model in consideration is often referred to as to Dysons's Coulomb gas.
References
[1] Statistical Thcory of Spectra, C.E. Porter, ed., Acaclemic Press, New York (1965)
[2] M.L. Mehta, Ranclom Matrices and the Statistica.l Theory of Spectra, Academic
Press, New York (1965)
[3] F. Haakc, 'Quantum Signatures of Chaos', Springer-Verlag, Berlin, to appear (1990)
[4] KP. \Vigner, Grm1p Theory and its Applications to the Quantum Mechanics of
Atomic Spectra, Acaclemic Press, New York (1959)
[5] M.V. Berry, in: Chaotic Behavior of Deterministic Systems, G. looss, lUI.G. Helle-
mann, and R. Stora, ecls., Les Hauches Session XXXVI, 1981, North Holland, Am-
sterdam (1983)
[6] R. Scharf, B. Dietz, l'vi. Küs, F. Haake, ancl M.V. Berry, Europhys. Lett. 5, 38:3
(1988)
[7] P. Pcchukas, Phys. Rev. Lett. 51, 943 (1983)
[8] F. Haake, M. Küs, ancl R. Scharf, Lecture Notes in Phys. 282, F. Ehlotzky, ecl.,
Springer, Berlin (1987)
[9] l\1. Kt1s, to be publishecl
[10] F. Calogero ancl C. Marchioro, J. Ma.th. Phys. 15, 1425 (1974)
[11] 13. Sutherlancl, Phys. Rev. A 5, 1372 (1972)
[12] J. Moser, Aclv. Math. 16, 1 (1975)
[13] M. Kus, Europhys. Lett. 5, 1 (1988)
[14] P.D. Lax, Comm. Pure Appl. Ma.th. 21, 467 (1968)
[15] T. Yukawa, Phys. Rev. Lett. 54, 1883 (1985); Phys. Lett. 116 A, 227 (1986)
[16] B. Dietz and F. Haake, Europhys. Lett. 9, 1 (1989); Z. Phys., to bc publishccl
[17] F. Haake ancl G. Lenz, tobe publishecl
[18] G. Lenz ancl F. Haa.ke, to be publishecl
[19] H. Risken, The Fokker Planck Equation, Springer, ßerlin (1984)
[20] F. Dyson, .J. Math. Phys. 3, 140 (1982)