A NNALES DE L ’I. H. P., SECTION A
Y AN V. F YODOROV
H ANS -J ÜRGEN S OMMERS B ORIS A. K HORUZHENKO
Universality in the random matrix spectra in the regime of weak non-hermiticity
Annales de l’I. H. P., section A, tome 68, n
o4 (1998), p. 449-489
<http://www.numdam.org/item?id=AIHPA_1998__68_4_449_0>
© Gauthier-Villars, 1998, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
449
Universality in the random matrix spectra
in the regime of weak non-Hermiticity
Yan V. FYODOROV* and
Hans-Jürgen
SOMMERSBoris A. KHORUZHENKO
Fachbereich Physik, Universitat-GH Essen, D-45117 Essen, Germany.
E-mail:yan@ next3.theo-phys.uni-essen.de
School of Mathematical Sciences, Queen Mary & Westfield College, University of London, London El 4NS, U.K.
Vol. 68, n° 4, 1998, Physique théorique
ABSTRACT. -
Complex spectra
of random matrices are studied in theregime
of weaknon-Hermiticity.
The matrices we consider are of the formHl
+iH2,
whereHl
andH2
are Hermitian andstatistically independent.
In the first
part
of the paper we consider the case of matricesH1,2
having
i.i.d. entries. For such matrices theregime
of weaknon-Hermiticity
is defined in the limit of
large
matrix dimension Nby
the condition(Tr
ex We show that in theregime
of weaknon-Hermiticity
the distribution of
complex eigenvalues
ofiH2
is dictatedby
theglobal symmetries
of but otherwise isuniversal,
i.e.independent
ofthe
particular
distributions of their entries. Our heuristicproof
is based onthe
supersymmetric technique
and extends also to "invariant" ensembles of In the secondpart
of the paper westudy
Gaussiancomplex
matricesin the
regime
of weaknon-Hermiticity. Using
themathematically rigorous
method of
orthogonal polynomials
we find theeigenvalue
correlation functions. This allows us to obtainexplicitly
variouseigenvalue
statistics.These statistics describe a crossover from Hermitian matrices characterized
by
theWigner-Dyson
statistics of realeigenvalues
tostrongly
non-Hermitian matrices whosecomplex eigenvalues
were studiedby
Ginibre.Two-point
* On leave from Petersburg Nuclear Physics Institute, Gatchina 188350, Russia.
Annales de l’Institut Henri Poincare - Physique théorique - 0246-0211 1
statistical measures such as
spectral form-factor,
number variance and small distance behavior of the nearestneighbor
distance distributionp(s)
are studied
thoroughly.
Inparticular,
we found that the latter function may exhibit unusual behaviorp(s)
ocS5/2
for someparameter
values.@
Elsevier,
Paris.Key words: Complex spectra, non-Hermitian matrices, supersymmetry, Wigner-Dyson statistics, poles of S-matrix.
RESUME. - Le
spectre complexe
des matrices aleatoires est etudie dans leregime
de faible non hermiticite. Les matrices que nous consideronsont la forme
1
+ ou1
etH2
sont hermitiennes etstatistiquement independantes.
Dans lapremiere partie
nous considerons le cas de matricesavec entrees
independantes
etidentiquement
distribuées. Pour cesmatrices,
la limite de faible non hermiticite est dennie par la conditionex dans la limite des
grandes
tailles(ici
N = dimensiondes
matrices).
Nous montrons que dans ceregime,
la distribution des valeurs proprescomplexes
deHl
+2H2
est dictee par lessymetries globales
demais,
apart cela,
estuniverselle,
c’est-a-direindependante
de laloi de distribution des entrees. Notre preuve
heuristique s’appuie
sur lestechniques supersymetriques
et s’ étend aussi aux ensemblesstatistiques
invariants de Dans la deuxieme
partie
de1’ article,
nous etudions les matricescomplexes gaussiennes
dans leregime
de faible non-hermiticite.Utilisant la
technique rigoureuse
despolygones orthogonaux,
nous trouvonsles fonctions de correlations des valeurs propres. Ceci nous
permet
d’ obtenir diversesstatistiques explicites
de valeurs propres. Elles decrivent la transition entre le cashermitien,
caracterise par lesstatistiques
deWigner- Dyson,
et le cas fortement non hermitien etudie par Ginibre. Les mesuresstatistiques
a deuxpoints
comme le facteur de formespectrale,
la variance du nombre et lecomportement
a courte distance de la distribution d’écarts de niveauxp(s),
sont etudiees en detail. Enparticulier,
nous montronsque
p(s)
exs5/2,
uncomportement inhabituel,
dans certains domaines deparametres.
@Elsevier,
Paris.I. INTRODUCTION
Eigenvalues
oflarge
random matrices have beenattracting
much interestin theoretical
physics
since the 1950’s[1-7].
Untilrecently only
the realAnnales de l’Institut Henri Poincare - Physique théorique
eigenvalues
were seen asphysically relevant,
hence most of the studiesignored
matrices withcomplex eigenvalues.
Powerfultechniques
to dealwith real
eigenvalues
weredeveloped
and their statisticalproperties
are wellunderstood
nowadays [2]. Microscopic justifications
of the use of randommatrices for
describing
the universalspectral properties
ofquantum
chaoticsystems
have beenprovided by
several groupsrecently,
based both ontraditional semiclassical
periodic
orbitexpansions [8, 9]
and on advanced field-theoretical methods[10, 11 ] .
These facts make thetheory
of randomHermitian matrices a
powerful
and versatile tool of research in different branches of modern theoreticalphysics,
see e.g.[4, 6, 7].
Recent studies of
dissipative quantum
maps[ 12, 13], asymmetric
neuralnetworks
[14, 15],
and openquantum systems [ 16-20]
stimulated interestto
complex eigenvalues
of random matrices. Most obvious motivationcomes from studies of resonances in open
quantum systems,
i.e.systems
whosefragments
can escape to or come frominfinity.
The resonances aredetermined as
poles
of thescattering
matrix(S-matrix),
as a function ofenergy of
incoming
waves, in thecomplex
energyplane.
The realpart
of thepole
is the resonance energy and theimaginary part
is the resonance half-width. Finite widthimplies
finite life-time of thecorresponding
states.In the chaotic
regime
the resonances are dense andplaced irregularly
inthe
complex plane. Recently,
the progress in numericaltechniques
andcomputational
facilities made available resonancepatterns
ofhigh
accuracy for realistic openquantum
chaoticsystems
like atoms and molecules[21 ] .
Due to
irregularity
in the resonance widths andpositions
the S-matrixshows
irregular
fluctuations with energy and the maingoal
of thetheory
of the chaotic
scattering
is toprovide
anadequate
statisticaldescription
of such a behavior. The so-called
"Heidelberg approach"
to thisproblem suggested
in[22]
makes use of random matrices. Thestarting point
isa
representation
of the S-matrix in terms of an effective non-Hermitian HamiltonianHe!!
= The Hermitian N x Nmatrix 77
describes the closedcounterpart
of the opensystem
and the skew-Hermitian2T
=iW W T
arises due to
coupling
to openscattering
channels a =1,..., M,
the matrix elementsWj a being
theamplitudes
of direct transitions from "internal"states z =
1,...,
N to one of open channels. Thepoles
of the S-matrix coincide with theeigenvalues
In the chaoticregime
onereplaces 77
with an ensemble of random matrices of an
appropriate symmetry.
Thisstep
isusually "justified" by
the common beliefaccording
to which the universalfeatures of the chaotic
quantum systems
survive such areplacement [4-7].
As a
result,
various features of chaoticquantum scattering
can beefficiently
studied
by performing
the ensembleaveraging.
Theapproach
hasproved
to be very fruitful
(for
an account of recentdevelopments
see[20]).
Inparticular,
it allowed to obtainexplicitly
the distribution of the resonancesin the
complex plane
for chaoticquantum systems
with broken time-reversal invariance[ 19, 20] and,
in its turn, this distribution was used toclarify
someaspects
of the relaxation processes inquantum
chaoticsystems [23].
A very recent outburst of interest to the non-Hermitian
problems [24- 32]
deserves to be mentionedseparately. During
the last several yearscomplex spectra
of random matrices andoperators emerged
in adiversity
of
problems.
Hatano and Nelson describeddepinning
of flux lines fromcolumnar defects in
superconductors
in terms of a localization-delocalization transition in non-Hermitianquantum
mechanics[24].
Their work motivateda series of studies of the
corresponding
non-HermitianSchrodinger operator [27 -31 and, surprisingly,
random matricesappeared
to be relevant in thiscontext
[27, 28]. Complex eigenvalues
were also discussed in the context of latticeQCD.
The lattice Diracoperator entering
theQCD partition
functionis non-Hermitian at nonzero chemical
potential
and proves to be difficultto deal with both
numerically
andanalytically.
Recent studies of chiralsymmetry breaking
used a non-Hermitian random matrix substitute for the Diracoperator [32].
There exist alsointeresting
links betweencomplex eigenvalues
of random matrices andsystems
ofinteracting particles
inone and two
spatial
dimensions[33]. And, finally,
we have to mentionthat random matrices can be used for visualization of the
pseudospectra
of non-random convection-diffusion
operators [34],
and fordescription
oftwo-level
systems coupled
to the noise reservoir[35].
Traditional mathematical treatment of random matrices with no
symmetry
conditionsimposed
goes back to thepioneering
workby
Ginibre[36]
who determined all the
eigenvalue
correlation functions in an ensemble ofcomplex
matrices with Gaussian entries. The progress in the fieldwas rather slow but
steady [2, 37-41],
see also[42, 43].
In addition tothe traditional
approach
otheraproaches
have beendeveloped
and testedon new classes of non-Hermitian random matrices
[15, 17, 19, 44-48].
However,
ourknowledge
of the statisticalproperties
ofcomplex eigenvalues
of random matrices is still far from
being complete,
inparticular
little isknown about the
universality
classes of the obtainedeigenvalue
statistics.When
speaking
aboutuniversality
one has tospecify
the energyscale,
for thedegree
ofuniversality depends usually
upon the chosen scale. There exist two characteristic scales in the random matrixspectra:
theglobal
one andthe local one. The
global
scale is aimed atdescription
of the distribution of theeigenvalues
in bulk. The local one is aimed atdecription
of thestatistical
properties
of smalleigenvalue
sets. For realspectra,
theglobal
Annales de l’Institut Henri Poincare - Physique théorique
scale is that on which a
spectral
interval of unitlength
contains on averagea
large, proportional
to the matrixdimension,
number ofeigenvalues.
If thespectrum
issupported
in a finite interval[a, b]
theglobal
scale issimply given by
thelength
of this interval. Incontrary,
the local scale is that determinedby
the mean distance A between twoneighbouring eigenvalues.
Loosely speaking,
the local scale is N times smaller than theglobal
onesufficiently
far from thespectrum edges,
Nbeing
the matrix dimension.Universality
in the realspectra
is well established. Theglobal
scaleuniversality
isspecific
to random matrices withindependent
entries anddoes not extend to other classes of random matrices. The best known
example
of suchuniversality
isprovided by
theWigner
semicircle lawwhich holds for random matrices whose entries
satisfy
aLindeberg type
condition[50].
In thisexpression
theparameter
Jjust
sets theglobal
scalein a sense as defined above. It is determined
by
theexpectation
valueJ2 = ~ ~ Tr H2 ~ .
It isgenerally accepted
to scale entries in such a way that Jstays
finite when ~V 2014~ oo, the localspacing
betweeneigenvalues
in the
neighbourhood
of thepoint
Xbeing
therefore A oc1/ N.
Similaruniversality
is also known forcomplex spectra [42, 43].
From the
point
of view ofuniversality
the semicirculareigenvalue density
is notextremely
robust. Mosteasily
one violates itby considering
an
important
class of so-called "invariant ensembles" characterizedby
aprobability density
of the form exexp (-lV Tr V (H)),
withbeing
an evenpolynomial.
Thecorresponding eigenvalue density
turnsout to be
highly
nonuniversal and determinedby
theparticular
form ofthe
potential V ( H ) [51, 52]. Only
forH2
it isgiven by
thesemicircular
law, Eq. ( 1 ). Moreover,
one caneasily
have a non-semicirculareigenvalue density
even for realsymmetric
matricesS; Sij
=Sji
withi.i.d.
entries,
if onekeeps
the mean number of non-zeroentries p
per column to be of the order ofunity
whenperforming
the limit ~V 2014~ oo. This is acharacteristic feature of the so-called sparse random matrices
[53-55].
Much more
profound universality
emerges on the local scale in the realspectra.
The statistical behavior ofeigenvalues separated by
distance5’ = sA measured in units of the mean
eigenvalue spacing A
is dictatedby
theglobal
matrixsymmetries (e.g.
ifthey
arecomplex
Hermitian or realsymmetric [2]), being
the same for all random matrix ensembles within afixed
symmetry
class. All ensemblespecific
information is encoded in A.On different levels of
rigor,
thisuniversality
was established for "invariant"ensembles
(i.e.
matrices with invariantprobabiltity distributions) [56-58]
and for matrices with i.i.d.
entries, including
sparse matrices[54, 59].
Similar
universality
holds on alarger
scaleS > A [60, 61] ]
and in thevicinity
of thespectrum edges [62, 63].
It turns out, that it is the local scale
universality
that ismostly
relevantfor real
physical systems [4]. Namely,
statistics ofhighly
excited bound states of closedquantum
chaoticsystems
ofquite
differentmicroscopic
nature turn out to be
independent
of themicroscopic
details whensampled
on the energy intervals
large
incomparison
with the mean levelseparation,
but smaller than the energy scale related
by
theHeisenberg uncertainty principle
to the relaxation time necessary for aclassically
chaoticsystem
to reachequilibrium
inphase
space[5]. Moreover,
these statistics turn out toidentical to those of
large
random matrices on the localscale,
with differentsymmetry
classescorresponding
to presence or absence of time-reversalsymmetry.
One of the aims of the
present
paper is to demonstrate thatcomplex spectra
ofweakly
non-Hermitian random matrices possess auniversality
property
which is as robust as the above mentioned local scaleuniversality
in the real
spectra
of Hermitian matrices.Weakly
non-Hermitian matrices appearnaturally
when one uses theHeidelberg approach
to describe few- channel chaoticscattering [19].
When the number M of open channels is small incomparison
with the number N of the relevant resonances, themajority
of the S-matrixpoles (resonances)
are situated close to the realaxis. This is well
captured
within theHeidelberg approach.
With a proper normalizationof
andW,
theimaginary part
oftypical eigenvalues
ofthe effective Hamiltonian
He!!
is of the order of the meanseparation
between
neighboring eigenvalues along
the real axis. This latterproperty
isa characteristic feature of the
regime
of weaknon-Hermiticity.
Motivated
by
thisexample
we introduced in[45]
another ensemble ofweakly
non-Hermitian random matrices. This ensemble consists of almost- Hermitian matrices whichinterpolate
between the Gaussian ensemble of Hermitian matrices(GUE)
and the Gaussian ensemble ofcomplex
matricesstudied
by
Ginibre. It turned out that theeigenvalue
distribution for almost- Hermitian random matrices is describedby
a formula[45] containing
astwo
opposite
limit cases both theWigner
semicircular distribution of realeigenvalues
and the uniform distribution ofcomplex eigenvalues
obtainedby
Ginibre. Further studies of almost-Hermitian random matrices[41]
showed that
actually
all their local scaleeigenvalues
statistics describecrossover between those of the GUE and Ginibre ensembles. Later on
Efetov,
in his studies of directed localization[27],
discovered thatweakly
Annales de l’lnstitut Henri Poincare - Physique théorique
non-Hermitian matrices are relevant to the
problem
of motion of flux lines insuperconductors
with columnar defects. Efetov’s matrices are real almost-symmetric. They interpolate
between Gaussian ensemble of realsymmetric
matrices
(GOE)
and the Gaussian ensemble of realasymmetric
matrices.This
development clearly
showsthat, apart
frombeing
a rich andlargely unexplored
mathematicalobject, weakly
non-Hermitian random matricesenjoy
directphysical applications
and deserve a detailedstudy.
The
present
paper consists of twoparts.
In the firstpart
westudy
a threeparameter family
of random matrix ensembles which contains the above mentioned ensembles of almost-Hermitian andalmost-symmetric
matrices.Our random matrices are of the form
where the four matrices on the
right-hand
side aremutually independent,
with
6~2 being
realsymmetric
andA1,2 being
realskew-symmetric. By choosing
matrix distributions andvarying
theparameter
values one obtainsdifferent ensembles of non-Hermitian matrices. We use that normalization of matrix elements which ensures that
N
being
the matrix dimension. Theparameters v
and u are scaled with matrix dimension:and 0152,
ø,
and ware assumed to be of the order ofunity
in the limit N - oo. The abovescaling
of vprovides
access to theregime
of weaknon-Hermiticity,
whilescaling u
we describe the crossover between the GOE and GUEtypes
of behavior ofeigenvalues
of the Hermitianpart
ofjHB
Asimple argument [45]
based on theperturbation theory
shows thatfor our random matrices the
eigenvalue
deviations from the real axis are of the order of when N islarge,
i.e. it is of the same order astypical separation
between realeigenvalues
of the Hermitian81 + iu1. Hence,
inorder to obtain a nontrivial
eigenvalue
distribution in the limit N - o0 onehas to
magnify
theimaginary part scaling
it with the matrix dimension.Our
study
of the scaledeigenvalues of
is based on thesupersymmetry technique.
We express thedensity
of the scaledeigenvalues
in the form of a correlation function of a certain zero-dimensional non-linear a-model.The obtained correlation function is
given by
asupersymmetric integral
which involves
only
thedensity
of the limiteigenvalue
distribution of the Hermitianpart
offl
and theparameters
a,~,
w. In twoparticular
Vol.
cases this
supersymmetric integral
can beexplicitly
evaluatedyielding
theearlier obtained distributions of
complex eigenvalues
for almost-Hermitian[45, 41] ]
andalmost-symmetric
matrices[27].
The
supersymmetric
a-model was inventedlong
agoby
Efetov in the context oftheory
of disordered metals and the Anderson localization and since then have beensuccessfully applied
to diverseproblems [64, 65].
Application
of thistechnique
to the calculation of the meandensity
ofcomplex eigenvalues
of non-Hermitian random matrices was done for the first time in our earlier works[19, 20, 45]
and further advancedby
Efetov[27]
in the context ofdescription
of flux line motion in a disorderedsuperconductor
with columnar defects.A detailed account of our calculations is
given
for sparse matrices[53-55]
with i.i.d.
entries, although
our results are extended to "invariant" ensembles and conventional random matrices with i.i.d. entries. We assume that matrix entries of9k
andA~
are distributed on the real axis with thedensity
where
h(x)
isarbitrary symmetric density function,
=h ( - x ) , having
no delta functionsingularity
at x = 0 andsatisfying
the condition2x h(x)dx
~. We also assume that the mean number of nonzero entriesp exceeds some threshold value: p > pi, see
[59].
We want to stress that
Eq. (2)
describes the mostgeneral
class of random matrices whose entries are i.i.d. variables with finite second moment[54].
In
particular,
in the firstpart
of our paper we do not assume the matrix entries to be Gaussian.We believe that here the power of the
supersymmetry
method is the mostevident and we are not aware of any other
analytical technique allowing
totreat this
general
casenon-perturbatively.
Although giving
animportant insight
into theproblem,
thesupersymmetry
non-linear a-modeltechnique
suffers from at least two deficiencies. The most essential one is that thepresent
state of art in theapplication
of thesupersymmetry technique gives
littlehope
of access toquantities describing
correlations between different
eigenvalues
in thecomplex plane
due toinsurmountable technical difficulties. At the same
time,
conventionaltheory
of random Hermitian matrices
suggests
that these universal correlationsare the most
interesting
features. The second drawback isconceptual:
thesupersymmetry technique
itself is not arigorous
mathematical tool at the moment and should be considered as a heuristic one from thepoint
ofview of a mathematician.
Annales de l’lnstitut Henri Poincare - Physique théorique
In the second
part
of thepresent
paper wedevelop
therigorous
mathematical
theory
ofweakly
non-Hermitian random matrices of aparticular type:
almost-Hermitian Gaussian. Our consideration is basedon the method of
orthogonal polynomials.
Such a method is free from theabove mentioned
problem
and allows us tostudy
correlationproperties
ofcomplex spectra
to the samedegree
as istypical
for earlier studied classes of random matrices. The results werereported
earlier in a form of Letter-style
communication[41]. Unfortunately,
the paper[41]
contains a numberof
misleading misprints.
For this reason we indicate thosemisprints
in thepresent
textby using
footnotes.II. REGIME OF WEAK NON-HERMITICITY:
UNIVERSAL DENSITY OF COMPLEX EIGENVALUES
To
begin with,
any N x Nmatrix J
can bedecomposed
into asum of its Hermitian and skew-Hermitian
parts : J
=fli
+iH2,
where1 = (J
+Jt)/2
andH2 == (J - Following this,
we consideran ensemble of random N x N
complex matrices J
=fli
+ivH2
whereHp ;
p =1, 2
are both Hermitian:HJ
=Hp.
Theparameter v
is used to control thedegree
ofnon-Hermiticity.
In turn,
complex
Hermitian matricesHp
canalways
berepresented
as1
=81
+iu1
andH2
=82
+iwA2,
where8p
=8J
is a realsymmetric
matrix,
and a realantisymmetric
one. From thispoint
ofview the
parameters
u, w control thedegree
ofbeing non-symmetric.
Throughout
the paper we consider the matrices~i, 62,~41,~2
to bemutually statistically independent,
with i.i.d. entries normalized in such away that:
As is well-known
[4],
this normalisation ensures, that for any value of theparameter u ~ 0 ,
such that u =0(1)
when N - oo, statistics of realeigenvalues
of the Hermitian matrix of the formH
=5’
+iu
is identical(up
to a trivialrescaling)
to that of u =1,
the latter case knownas the Gaussian
Unitary
Ensemble(GUE).
On the otherhand,
for u m 0real
eigenvalues
of realsymmetric
matrix S follow anotherpattern
of the so-called GaussianOrthogonal
Ensemble(GOE).
Vol. 4-1998.
The non-trivial crossover between GUE and GOE
types
of statistical behaviourhappens
on a scale u exl ~N 12 [66].
Thisscaling
can beeasily
understood
by purely perturbative arguments [67]. Namely,
for u oc1/Nl/2
the
typical
shift 8 À ofeigenvalues
of thesymmetric
matrix S due toantisymmetric perturbation iu
is of the same order as the meanspacing
A between
unperturbed eigenvalues :
8 À f"’.J 0 N1/ N.
Similar
perturbative arguments
show[45],
that the mostinteresting
behaviour of
complex eigenvalues
of non-Hermitian matrices should beexpected
for theparameter v being
scaled in a similar way: v (x1~N1~2.
Itis
just
theregime
when theimaginary parts
ImZk
of atypical eigenvalue Zk
due to non-Hermitian
perturbation
is of the same order as the meanspacing
A between
unperturbed
realeigenvalues :
ImZ/c ~ A ~ 1/~V.
Under theseconditions a non-Hermitian matrix J still "remembers" the statistics of its Hermitian
part fli.
As will be clearafterwards,
theparameter w
should bekept
of the order ofunity
in order to influence the statistics of thecomplex eigenvalues.
It is
just
theregime
of weaknon-Hermiticity
which we are interested in.Correspondingly,
we scale theparameters as 1:
and consider a,
4J, w
fixed of the orderO( 1 )
when N - oo.One can recover the
spectral density
of
complex eigenvalues Zk
=Xk + iYk, k
=1, 2, ..., N
from thegenerating
function(cf. [14, 20])
as
To facilitate the ensemble
averaging
we firstrepresent
the ratio of the two determinants inEq. (6)
as the Gaussianintegral
1 In the Letter [41] ] there is a misprint in the definition of the parameter 0152.
Annales de l’lnstitut Henri Poincare - Physique théorique
over
8-component supervectors ~i,
with
components ri ~ -f- ) , r2 ( - ) ;
z =1, 2,...,
Nbeing complex commuting
variables and
Xz(+)~(~) forming
thecorresponding
Grassmannianparts
of thesupervectors 03A8i(±).
The terms in theexponent
ofEq. (7)
are ofthe
following
form:and the matrices
~T, f, ~T, l1T
are obtained from thecorresponding
matrices without subindex T
by replacing
all~2
blocks with the matrices T =diag ( 1, -1).
We also use
~j~~~) _ (x2 (~); -xi~~)).
Whenwriting £2 (I»
inEq. (9)
we have used the fact that
diagonal
matrix elementsS2,ii
for i =I, .., N
give
total contribution of the order of withrespect
to the total contribution of theoff-diagonal
ones and can besafely disregarded.
Now we should
perform
the ensembleaveraging
of thegenerating
function. We find it to be convenient to average first over the distribution of matrix elements of the real
symmetric
matrixS’1.
These elements are assumed to be distributed
according
toEq.(2).
Beforepresenting
the derivation for our case, let us remind thegeneral strategy.
The
procedure
consists of threesteps.
Firststep
is theaveraging
of thegeneration
function over the disorder. It can be donetrivially
due tostatistical
independence
of the matrix elements in view of theintegrand being
aproduct
ofexponents,
eachdepending only
on theparticular
matrixelement
Hij.
Thisaveraging performed,
theintegrand
ceases to be thesimple
Gaussian and thus theintegration
over thesupervectors
can not beperformed
anylonger
without further tricks.When matrix elements areGaussian-distributed,
thisdifficulty
is circumvented in a standard wayby exploiting
the so-called Hubbard-Stratonovich transformation. That transformation amounts tomaking
theintegrand
to be Gaussian withrespect
tocomponents
of thesupervector by introducing
newauxilliary integrations.
After that theintegral
oversupervectors
can beperformed exactly,
andremaining auxilliary degrees
of freedom areintegrated
out inthe
saddle-point approximation justified by large parameter
N.As is shown in the paper
[54],
there exists ananalogue
of the Hubbard- Stratonovich transformationallowing
toperform
thesteps
above also for the case ofarbitrary
non-Gaussian distribution. The main difference with the Gaussian case is that theauxilliary integration
has to be chosen in aform of a
functional integral.
Our
presentation
follow theprocedure suggested
in[54],
andpresented
also in some detail in
[55] 2.
Exploiting
thelarge parameter TV ~>
1 one can write:2 Similarly to the paper [54] we first disregard necessity for the compactification and use the
matrix I rather than two different matrices t and
I,
see discussion in [55].Annales de l’Institut Henri Poincare - Physique théorique
In order to
proceed
further weemploy
the functional Hubbard- Stratonovich transformation introduced in[54]:
where the kernel
CYQ.0)
is determinedby
the relation:with the
right-hand
side of the eq.(12) being
the 6-function in the space ofsupervectors.
Substituting
eq.(11)
intoaveraged
eq.(7)
andchanging
the order ofintegrations
over[dip]i
andDg
one obtains theaveraged generating
functionin the form:
where
We are
interested
inevaluating
the functionalintegral
overDg
in thelimit ~V 2014~ oo and x -
0; X -~ Xb. Moreover,
weexpect eigenvalues
of
weakly
non-Hermitian matrices to haveimaginary parts
Y to be of the order ofRemembering
also the chosenscaling (4),
we conclude that theargument
of thelogarithm
inEq. (14)
is close tounity
and the term8£( p)
inEq. (13)
should be treated as a smallperturbation
to the firstone. Then the functional
integral
of the canbe evaluated
by
thesaddle-point
method.Variating
the "action"£(g)
andusing
the relation eq.(12)
one obtains thefollowing
saddlepoint equation
= 0 for the function
A
quite
detailedinvestigation
of theproperties
of thisequation
wasperformed
in[54, 55].
Below wegive
a summary of the main features of the eq.(15) following
from such ananalysis.
First,
the solution to thisequation
can besought
for in a form of afunction
~s(~)
=go (x , g)
of twosuperinvariants: x
=lft lf
and y =Wt14J.
As the
result,
the denominator in eq(15)
isequal
to 1 due to they) = F(0,0)
which is aparticular
case of the so-calledParisi-Sourlas-Efetov-Wegner (PSEW) theorem,
see e.g.[65]
and referencestherein.
However,
the form of the functiongo(x, y)
isessentially
differentfor the number of nonzero elements p per matrix column
exceeding
thethreshold value p = pz and
for p [54, 59]. Namely,
for p > pz the functiongo (x , y)
is ananalytic
function of botharguments
x and y, whereasfor p
pz such a function isdependent only
on the secondargument
y = At the same
time,
thesaddle-point equation
eq.(15)
isalways
invariant w.r.t. any transformation -
g(14J)
withsupermatrices T satisfying
the condition =A.
Combining
all these factstogether
onefinds,
thatfor p
> pz asaddle-point
solution
gives
rise to the whole continuous manifold ofsaddle-point
solutions of the form:
gT(~) -
= so that allthe manifold
gives
anonvanishing
contribution to the functionalintegral
eq.
(13).
It is the existence of thesaddle-point
manifold that isactually responsible
for the universal random-matrix correlations[54].
We see, that the
saddle-point
manifold isparametrized by
thesupermatrices T.
It turns out,however,
that one has to"compactify"
the manifold of
T
matrices withrespect
to the "fermion-fermion" block in order to ensure convergence of theintegrals
over thesaddle-point
manifolds
[22].
Theresulting "compactified"
matricesT
form agraded
Lie group
UOSP(2, 2 /4) . Properties
of such matrices can be found in[22]
together
with theintegration
measureAnnales de l’Institut Henri Poincare - Physique théorique
From now on we are
going
to consideronly
the case p > pl. The program of calculation is as follows:(i)
To find theexpression
for the termon the
saddle-point manifold g
= in the limit TV 2014~ oo and(ii)
tocalculate the
integral
over thesaddle-point
manifoldexactly.
Expanding
theexpression
inEq. (14)
to the firstnon-vanishing
orderin
/, 52,~4.i, introducing
the notationXT(4J)
=and
using
the relationswhich hold for
arbitrary
8 x 8supermatrices B, C,
one finds thatwhere
and we used the notations:
It is clear that with the chosen normalization
[see Eqs. (3) - (4)]
we havewhen ~V 2014~ oo. On the other
hand,
it is easy to see that:because of the statistical
independence
of and the chosen normalization of matrix elements.Therefore,
thepart
can besafely neglected
in the limit oflarge
N.To
proceed
further it is convenient to introduce the 8 x 8supermatrix
W with elements
Exploiting
thesaddle-point equation
for the functiong~ ( ~ ~
==go
I>t A I> )
one can show(details
can be found in[55], Eqs. (67-
70))
that thesupermatrix
W whose elements areW03B103B2
can be written3S.’
where B is the second moment of the di stribution
h(s) : B
and gox = In the
expression
abovewe introduced a new
supermatrix: = -i-1.
Annales de l’lnstitut Henri Poincare - Physique théorique
Using
the definition of the matrixW,
one can rewrite thepart
as follows(cf. [55], Eqs. (71)-(73)):
Now one can use
Eq. (20) together
with theproperties: Str Q
=Str
=Str7 = 0; Q2 = -I
to show that:where the 8 x 8
supermatrices entering
theseexpressions
are as follows:and
73
is 4 x 4diagonal, 73
=7}.
In the same way one finds:
where
and
T B’ ~
are 4 x 4diagonal supermatrices: T3 $ ~
= andT3F~ =
At
last,
we use the relation between and the meaneigenvalue density
for a sparsesymmetric
matrix~i
at thepoint
X on the real axisderived in
[54] :
Substituting expressions
forb~,C~
and(4Jt /W)
T to thegenerating
function Z
represented
as anintegral
over thesaddle-point
manifoldparametrized by
thesupermatrices T (or, equivalently, by
thesupermatrices
Q
= andperforming
the proper limits wefinally
obtain:where we introduced the scaled
imaginary parts y =
and used the notations:a2
=(7rv(X)a)2, b2
=(~v(X ~~)2, c2
=The
expression (24)
isjust
the universal a- modelrepresentation
of themean
density
ofcomplex eigenvalues
in theregime
of weaknon-Hermiticity
we were
looking
for. Theuniversality
isclearly
manifest: all theparticular
details about the ensembles entered
only
in the form of meandensity
ofreal
eigenvalues v(X).
Thedensity
ofcomplex eigenvalues
turns out to bedependent
on threeparameters : a,
band c,controlling
thedegree
ofnon-Hermiticity (a),
andsymmetry properties
of the Hermitianpart (b)
andnon-Hermitian
part (c).
-The
following
comment isappropriate
here. The derivation above wasdone for ensembles with i.i.d. entries.
However,
one cansatisfy
oneself that the sameexpression
would result if one start instead from any"rotationally
invariant" ensemble of real
symmetric
matrices81.
To do so one canemploy
theprocedure
inventedby
Hackenbroich and Weidenmuller[58]
allowing
one to map the correlation functions of the invariant ensembles(plus perturbations)
to that of Efetov’s a-model.Still,
in order toget
anexplicit expression
for thedensity
ofcomplex eigenvalues
one has to evaluate theintegral
over the set ofsupermatrices
Q.
Ingeneral,
it is an elaborate task due tocomplexity
of that manifold.At the
present
moment such an evaluation wassuccessfully performed
fortwo
important
cases: those of almost-Hermitian matrices and real almost-symmetric
matrices. The first case(which
istechnically
thesimplest one) corresponds to ~ 2014~
oo, that is b - oo. Under this conditiononly
thatpart
of thematrix Q
which commutes withf2 provides
anonvanishing
contribution. As the
result,
Str(â-Q ) 2
= Str(â- rQ )
2 so that second and fourth term inEq. (24)
can be combinedtogether. Evaluating
theresulting integral,
andintroducing
the notationa2
=a2
+c2
one finds[45] :
Annales de l’Institut Henri Poincare - Physique théorique
where
p)( (y)
is thedensity
of the scaledimaginary parts
y for thoseeigenvalues,
whose realparts
are situated around thepoint
X of thespectrum.
It is related to the two-dimensionaldensity
aspx(y) =
°
It is easy to see, that when a is
large
one caneffectively put
the upperboundary
ofintegration
inEq. (25)
to beinfinity
due to the Gaussiancut-off of the
integrand.
Thisimmediately
results in the uniformdensity p~(~) =
inside the intervalI y I a 2 /2
and zero otherwise.Translating
this result to the two-dimensionaldensity
of theoriginal
variables
X, Y,
weget:
This result is a natural
generalisation
of theso-called "elliptic
law"known for
strongly
non-Hermitian random matrices[36, 14]. Indeed,
thecurve
encircling
the domain of the uniformeigenvalue density
is anellipse:
2v2 ( 1 ~-zv2 ) + ~ 4
= 1 aslong
as the meaneigenvalue density
of the Hermitiancounterpart
isgiven by
the semicircularlaw, Eq. ( 1 ) (with
theparameter
J =1).
The semicirculardensity
is known to be sharedby
ensembles with i.i.d.entries, provided
the mean number p of non-zero elements per rowgrows with the matrix size as p oc
7V~;
o; >0,
see[54].
In thegeneral
caseof sparse or
"rotationally
invariant" ensembles the functionv(X) might
bequite
different from the semicircular law. Under these conditionsEq. (26)
still
provides
us with thecorresponding density
ofcomplex eigenvalues.
The second nontrivial case for which the result is known
explicitly
isdue to Efetov
[27].
It is the limit ofslightly asymmetric
real matricescorresponding
in thepresent
notationsto: (~ 2014~ 0; w -
oo in such a way that theproduct 4Jw ==
c iskept
fixed. Thedensity
ofcomplex eigenvalues
turns out to be
given by:
The first term in this
expression
shows thateverywhere
in theregime
of "weak
asymmetry"
c oo a finite fraction ofeigenvalues
remains onthe real axis.