HAL Id: jpa-00210574
https://hal.archives-ouvertes.fr/jpa-00210574
Submitted on 1 Jan 1987
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Anomalous diffusion in random media of any
dimensionality
J.P. Bouchaud, A. Comtet, A. Georges, P. Le Doussal
To cite this version:
Anomalous
diffusion
in random media
of
any
dimensionality
J. P. Bouchaud
(1),
A. Comtet(2),
A.Georges
(3)
and P. Le Doussal(3)
(1)
Laboratoire deSpectroscopie
Hertzienne de l’Ecole NormaleSupérieure
(*),
24, rue Lhomond,75231 Paris Cedex
05,
France(2)
Division dePhysique Théorique (*),
Institut dePhysique
Nucléaire, Université de Paris-Sud, 91406Orsay
Cedex,
France ,(3)
Laboratoire dePhysique Théorique
de l’Ecole NormaleSupérieure (**),
24, rue Lhomond,75231 Paris Cedex 05, France
(Requ
le 22 mai 1987,accept6
le 27 mai1987
Résumé. 2014 Nous montrons
que la diffusion est anormale en toute dimension dans les milieux aléatoires où les forces
présentent
des corrélations àlongue
portée.
Ce résultat est obtenu à la fois par des argumentsphysiques
et par uneanalyse
de groupe de renormalisation. Les comportements obtenus sont engénéral
surdiffusifs sauflorsque
la force aléatoire dérive d’unpotentiel.
Dans cette situation on obtient un comportementsous-diffusif. Dans le cas
critique
supérieur
(D
= 2 pour des corrélations à courteportée),
celui-ci est caractérisé parun exposant
dépendant
continûment du désordre. La raison en est l’annulation de la fonction 03B2qui
estdémontrée à tous les ordres de la théorie des
perturbations.
Dans le casgénéral,
des argumentssimples
suggèrent
qu’une
forcepotentielle
conduit à des diffusionslogarithmiques (c’est-à-dire
à du bruit en1/f).
Abstract. 2014 We
show,
through
physical
arguments and a renormalization groupanalysis,
that in the presenceof
long-range
correlated randomforces,
diffusions is anomalous in any dimension. We obtain ingeneral
surdiffusive behaviours, except when the random force is thegradient
of apotential.
In this lastsituation,
with either short orlong-range
correlations, a subdiffusive behaviour with a disorderdependent
exponent is found in the upper critical case(D
= 2 forshort-range
correlations).
This is because the03B2-function
vanishes, which is
explicitly
proven at all orders of theperturbation theory. Apart
from this case, apotential
force isexpected
tolead to
logarithmic
diffusion(1/f
noise),
assuggested by
simple
arguments.Classification
Physics
Abstracts 05.40 - 05.60 -47.55M
1. Introduction.
Random walks in random media
(RWRM)
are idealized models of a considerable number of physi-cal situations.Examples
areprovided
by
thehopping
conductivity
of disordered materials[1],
the diffusionof a test
particle
in a porous medium[2]
or in turbulent flows. Moreabstractly,
perhaps
also moreloosely, they
couldcapture
the essential features of the time evolution of a disorderedsystem
in itscomplicated
configuration
space, forexample
aspin-glass.
In its one-dimensional
version,
the model isby
now well understood[3-7]
and exhibitsquite
a richvariety
of behaviours.Imagine
aparticle
on aline,
submitted to aLangevin
thermal noise and to aquenched
random forceindependently
chosen ateach
point.
If this force is of zero mean it has been shown(1)
that theparticle
diffusesextremely slowly :
its mean
squared
position
increaseslogarithmically
in time instead oflinearly.
This can be understoodthrough
an Arrheniusargument :
in onedimension,
a force isalways
thegradient
of apotential,
which in our case increasestypically
like the square root of the distance(as
it is the sum ofindependent
random(1)
This result is due to Sinai[5]
in the case of a walk on a lattice.Explicit
results for the continuous case mentioned here can be found in[7].
1446
variables).
Thus thetypical
time needed to travel a distance x isgiven by t
~exp ( J x),
which leads toJ x2 -
In 2 t.
If the mean of the force is non-zero, one obtains alarge variety
ofbehaviours,
like forexample X - t 1,
where g
is anexponent
directly
related to the value of the mean force.It was soon realized that such a
logarithmic
diffusion was tantamount to a
1 / f
spectrum
of the fluctuations and thus thati f
logarithmic
diffusioncould occur in
higher
dimensions,
this mechanismwould be a
general
and ratherconvincing
source for theubiquitous
1/ f
noise[8]. Unfortunately,
it has been shown[9,10]
that if the random force is chosenindependently
from site tosite,
the diffusion is normal(i.e.
X2 -
t)
for any dimensionlarger
thantwo. The same remark holds when the force is
divergence
free(hydrodynamical
flow,
magnetic
field)
or is thegradient
of apotential
(Hamiltonian
motion) [2,
11,
12],
provided
correlations remainshort-ranged
(see
however the lastparagraph
of thispaper).
Renormalization group(RG) analysis
can beperformed
(as
first shown in[10, 13])
to obtain thedynamical
behaviours in dimension D = 2 - E.This paper has two purposes. The first one is to
emphasize
that RWRM candisplay
anomalous dif-fusion laws in any dimensionprovided
the disorder haslong-range
correlations,
and topresent
the results of a RGanalysis
of this case. We shallpoint
out, in the next
section,
thephysical
relevance of suchcorrelations,
which are essential to the argu-ments of reference[8]
but have not beenanalysed
so farthrough
RGtechniques (except,
as abyproduct
of thestudy
of the « TSAW », in thespecial
case of an unconstrained force[13]).
The second purpose concerns the case where the random force is thegradient
of apotential,
with either short orlong-range correlations. It has been remarked
[11, 12]
that in this case the RG fails(up
to twoloops)
topredict
thedynamical
behaviour. We will make astep
towards thecomplete
solution of thisproblem
by
an all-ordersanalysis
ofperturbation
theory.
We are motivated inparticular by
the recent mathemati-cal results of Durrett[14]
who findslogarithmic
diffusions in a
long-range
correlatedpotential
case.We will show
that,
contrarily
to hisclaim,
this result can very well be understoodthrough
a RGargument.
2. The relevance of disorder.We consider a
particle
submitted to a thermal noise’I) (t)
and to aquenched
random forceV (x ).
Itsmotion is described
by
a viscous limit of theLangevin
equation
(such
that thevelocity
isinstantaneously
adjusted
to the localforce) :
with
The constraints on
V (x )
determine the(i j )
structureof
Gij ;
this is moreeasily
expressed
in Fouriertransform
by
defining :
we will
mainly
consider three models :(model I)
unconstrained force :G L
=GT
(model II) divergenceless
flow :G L
= 0(model III) potential
case V = -grad
(H) : GT
= 0 .We define an
exponent a
characterizing
thespatial
decay
of the correlations :Power law correlations can be of
great physical
relevance,
forexample
to the diffusion of a testparticle
in asteady
flow accross a porous medium(model II).
Indeed,
the flow can behighly
in-homogeneous
and neverthelessdisplay
preferential
paths
along
which correlations remainstrong.
Anotherinteresting application
lies inspin-glass
dynamics
(to
which model III could berelevant).
In this context, one has the intuitive idea that energy barriers between twoconfigurations
should be anincreasing
function of their distance. In theSherring-ton-Kirkpatrick
[15]
infinite-range
model forexample,
asimpler
quantity,
such that thecorre-lation (H( {Si} ) - H( {Sf} ))2)
iseasily
shown tobe an
increasing
linear function of the « distance »between the two
configurations
{Si}
and{Sf},
in a wide range of distances. Thiscorresponds
to a correlation between forces with a 2. We wish toemphasize
that,
physically,
(4)
needs not hold on verylarge
scales(x - y )
when diffusion isultra-slow,
butonly
in the restrictedregion
of space thatthe
diffusing particle
canprobe
within agiven
time. In the case of alogarithmic
diffusion forexample
this defines afrequency
cut-offexponentially
small in thelength
and intemperature :
fc - exp (-
LIT)
down to which1 / f
noise will be observed. Let us mentionfinally
thatexplicit
construction of fractal energylandscapes
can begiven [16],
for which(H(x)H(y) = Ix-yI2-a
at allscales,
witha - 2 = 2 (D - DF) 0, DF
being
the fractaldimen-sion of the
landscape.
,We now show that the
region
in theplane
(a, D )
where disorder is relevant(in
the sense that it leads to an anormal diffusion law and notonly
correlations. In the pure case
(V
=0)
one hasx2(t ) - t2 vo
withVO = 1/2.
The number of sites which are visitedby
the walker in a time t is thusinf (t, t v° D),
equal
to t ifDvo::>
1,
that is for D > 2.Reasoning perturbatively,
it means that when a small amount of disorder ispresent
in D :::.2,
the walkeressentially
probes
of the order of tdifferent
values ofV,
whichaccording
to the central limittheorem,
results in anapparent
mean value of thevelocity given
by :
The extra
displacement
due to the disorder is thusgiven by :
leading
towhich
implies
that,
for anordinary
random walk inD :> 2,
short-range
correlated disordersimply
changes
the value of the diffusion coefficient(2)
(5 DO
= (T).
Below thisdimensionality,
the walker isextremely
sensitive to local fluctuations of the forceV,
since in the pure case it visitsinfinitely
often agiven
site. This can lead either to subdiffusive behaviours(if
trapping regions
dominate)
or to surdiffusion(if
locally
ballistic motion ispreserved,
like in modelII,
see[11]).
One can discuss
along
the same lines the case where there arelong
range correlations oftype
(4).
(4)
means that at a distance R from apoint
0 oneR
roughly
findsf
rD -1
dr/ra
sitescarrying
the same value of V as 0. Forlarge
R,
thisintegral
behaves as a constant if a :::. D and asR D - a
if a D. In asphere
of sizeRD,
one can thusorganize
sites in sets of sizeR D-a
inside which V takesroughly
the same value. The number ofindependent
values of the disorder is thereforeRDIR D - a - R’.
In otherwords,
thelong
range correlations have reduced thedimensionality
of space to an « effective » one, a, towhich the above
argument
on residual averagevelocity
can beapplied.
Thus,
for a >2,
the disordersimply
modifies the diffusioncoefficient,
while for a -- 2 oneexpects
anomalous diffusionsindependent-ly
of the dimension D : theresulting
domain in the(a, D )
plane
where disorder is relevant is shown infigure
1. For modelIII,
theanalysis
has to beslightly
modified,
and leads to the conclusion that disorder isonly
relevant if a -2,
independently
ofD,
i.e. in thecase where correlations of the
potential
increase with(2)
Note that this also means that forLevy
flights
(V,:::. 1/2),
Gaussian disorder is irrelevant in D >1/ Vo.
Fig. 1.
- Theregion
of theplane
(a, D )
where disorder is relevant is shownby
hatches. In thepotential
case,only
the
(dotted)
line a = 2 remains. Previous studies of theshort range correlated case span the
(dashed-dotted)
line a = D.the distance. The
power-counting analysis developed
below will confirm these conclusionsrigorously :
in the field-theoreticalframework,
ourqualitative
argu-ment can be seen as a « Harris criterion »
(whose
modification in
long-range
correlated cases has been studied in[17]).
3. Renormalization group
analysis.
The field-theoretical
analysis
starts from the Fokker-Planckequation
for theprobability density
P (x, t )
associated with
(1).
The average of P over the random force(taken
to beGaussianly
distributedaccording
to(2))
can beexpressed,
using
thereplica
trick,
as the2-point
function of a fieldtheory
involving
2 N scalarsfields 0 a,
4>2:
where a
Laplace
transform in time has been taken. The action S reads :In the static limit
(w = 0 ),
this fieldtheory
has a criticalpoint
at V = 0. This is related tolong-distance
singularities
arising
when(Vo) -
0 in the weak-disorderexpansion
of latticehopping
modelswith
asymmetric
hopping
rates.Indeed,
it can be shown[10]
that(7) reproduces
the dominantI . R
singularities
of alarge
class ofhopping
models(see,
however,
lastparagraph
of thispaper).
In one1448
(7),
the criticalpoint
atVO
= 0 isreplaced
by
a whole domain ofVo
where thevelocity
It
vanishes at t - oo(critical phase) [6].
The
exponent v
characterizing
thelong-time
be-haviour of
x2(t )
can in fact be related to theexponent
q of model(7)
in thepurely
static limitw = 0.
Indeed,
probability
conservationimplies
thatthe
susceptibility
exponent
y isexactly
equal
to 1(since
w P(q
=0,
1).
Thescaling
relation2
y = v
(2 - q )
thus leads toX2(t) - t 2 -,,
where q isthe
usually
definedexponent
characterizing
thealgebraic
decay
of the2-point
function atcriticality
in the static
theory
( w
=0,
Vo
=0).
The
superficial
I . Rdegree
of convergence of adiagram
withE/2 0
(and
E/2
externallegs
atthe order n of
perturbation
theory
iseasily
shown tobe :
W V is the momentum
dependence
of the vertex,arising
from the derivativecouplings
and from themomentum
dependence
of the non-local interaction.Owing
to(4),
we see thatGT, L (k2)
behaves(when
k2-+ 0)
as a constant,0- T, L, if
a ::. D and asuT, L (k2)(D - a)/2 if
a. D. This leads to: c2 if a :> D and úJ y = 2 + a - D if a - D.
We deduce from(8)
that the upper critical « dimension » isD = 2 if a :::. D and a = 2 if a -- D : this confirms the
analysis
of thepreceeding
section,
summarized infigure
1.Renormalizability
islikely [10]
in the upper critical case(for w
=0),
despite
the non-local character of the model and the fact that an infinite number ofdimensionnally
admissible countertermsa
priori
exists. This is due toglobal symmetries
(U(N), a _ oa
+Cst.)
and to the fact thatnon-locality
arisesonly
from the « non-canonical » kineticterm of the force
Vi,
seen as anauxiliary
field. A non zero w could neverthelessspoil
theserenor-malizability
properties.
The
one-loop
RGanalysis
can beperformed along
the lines of reference[18]
by working
in the framework of the renormalizedtheory. Defining
dimensionlesscoupling
constants gTand gL
through :
0- L =
gL JL 2 - a and
0"T = 9T
U 2 - aat
the treelevel,
we obtain at one
loop
order :where e denotes
Models
I,
II and III thus appear as remarkable caseswhose structure is
preserved by
renormalization. Ifone starts with a bare
Gij
which is neither oftype
II nor oftype
III,
theone-loop
RG flow goes to the fixedpoint
g* = g*
=E/4 CD(I - 11D):
thus a«
generic
» RWRM(without
constraints II orIII)
is in theuniversality
class of model I.Starting
frommodel II leads to the fixed
point
g*
=E/8 CD(l - 11D),
g*
= 0(for
which gL
= 0 is anattractive
direction,
but which isrepulsive
other-wise).
For these two cases, thelong
time behaviour ofX2(t)
resulting
of this oneloop-analysis
isgiven
in table I for bothshort-range
andlong-range
cor-relations.(In
the upper critical cases, a directintegration
of the oneloop
RGequations
has beenperformed).
In the short range case, we recover theresults of reference
[2, 9-12] (a
two-loop
computation
of q
is then necessary for modelI.)
The behaviour V =(V 0) "
of the renormalizedvelocity
as a function ofV 0
is alsogiven.
Theexponent
is related to the RG function yv associated with insertions of theoperator 0’
aio’
through cp
=II (1 -
yy).
yv isrelated to
vertex-type
corrections of the4-point
function,
and reads atone-loop
order :Table I.
The fact that model II
always
leads tosurdiffusion
can be understood
(as
noticed in[11])
from theexistence of closed lines of force
along
which ballisticmotion is
preserved.
On the otherhand,
introducing
long-range
correlations in model I turns thesubdiffu-sive behaviour into a surdiffusive one.
Model III is
extremely peculiar
from the RGpoint
ofview,
since no contribution to thej8
function(and
thus no fixed
point)
is found atone-loop
order.Explicit
calculations in the short range case[11]
reveal that this
property
is maintained at twoloops.
The rest of this paper is devoted to a discussion of this model.
4. The
potential
case(Model III).
We will first show that for this model one has
f3 L
=EgL without corrections at any order of
pertur-bation
theory. Arguments
in favour of thispoint
in the short range case have beengiven
in[11].
Setting
V = -grad
(H),
we choose not toperform explicitly
the,
Gaussian averageleading
to(7)
and tokeep
instead H as anauxiliary
field. In the short rangecase, where
GL(k2)
is a constant, the action S is thusreplaced by
a local fieldtheory
whoseLagrangian
reads :(0" --+ i 0" )
We
recognize
a non-linear a-model[19]
for the2 N + 1 fields
(0 ’, ’, H).
Computing
the Ricci and curvature tensor leads toRab
oc -Ngab
andRabcd OC
(gac
gbd - gadgbc),
with det(gab) = 1 -
Sur-prisingly
enough,
we discover that the model has ahidden non-linear
0 (N + 1, N + 1 )
non-compact
symmetry.
(We
have found inexplicit
form thetransformation on the fields which allows to express
(11)
in the standard formof a 0 (N + 1, N + 1 )
fieldtheory.)
When the N - 0 limit of thereplica
trick isperformed,
one is thus left with a freetheory
for whichf3 L
= - EgL at all orders. In thelong
rangecorrelated case, the u-model becomes non local in space, but the same conclusion holds
(since
it comesonly
from an « internalsymmetry »
property).
In the upper critical case
(short
orlong-ranged,
E =0),
the functioni3 L is
zero ; therunning coupling
constant g
(,k )
thus remainsequal
to the bare one atany scale k. This leads to a continuous
dependence
of theexponents
on the variance of the disorder(in
this case, the results of Tab. I are valid to allorders).
When E :> 0, 9 (À ) is
driven toinfinity
in the infra-red limit A - 0 :g (A ) -
go À -
E.This means
that it is thestrong
disorderregime
which controls thephysics,
regardless
of the value of go. In thislimit,
particles
aretrapped
forextremely long
times in the bottom of thepotential
wells,
where weexpect
theprobability
distributionP (x, t )
to be wellapproxi-mated
by
itsequilibrium
value which is the Boltzmannweight exp (- H (x)).
This distributionbehaves
typically
asexp (-
gl/2)
atlarge
g, andinserting
9 (À ) - À - E
this leads to along
distancebehaviour
exp (-
XE/2).
Thissuggests
(requiring
thattP (x )
should be of order1)
alogarithmic
diffusion(see
Tab.I).
This result is the one that can be
guessed
from anArrhenius
argument
similar to the onegiven
in theintroduction. In D
= 1,
thisargument
iscertainly
correct, since there is
only
onepath
going
from onepoint
to another. Inhigher
dimensions,
diffusionbetween a
point
0 and anypoint
A at a distance R will be dominatedby
the smallest energy barrierencountered
by
paths
going
from 0 to A andrestricted to a volume
R D.
As we are interested inmost efficient
paths,
they
can of course be taken asself-avoiding. Now,
on anypath
ofinternal length
N,
the typical
energy barrier one encounters scales like-,IN
(we
deal here withshort-range
correlationssuch that a =
D) ;
nevertheless the minimal energybarrier
between p
independent
paths
isobviously
-,IN lp.
In asphere
of radiusR,
one hasroughly
R D/N
independent paths
of sizeN,
and as thepaths
areself-avoiding
one also has R = NVSAW.
Therefore,
we
predict
that the minimal energy barrier scales in thissystem
as R[3/2 VSAW - D]
Diffusion is thuslogarith-mic if V SAW --
3/2 D,
i. e. if D = a :2,
asv SAW (D
=2 )
= 3/4.Inserting
theFlory
value(exact
in D =
1, 2, 4),
one obtains t= to
exp(R(2-D)/2),
and thus R =(In tlto Y/ (2 - D)
whichis,
quite
sur-prisingly,
exactly
the result obtainedthrough
the RGargument
presented
above. In D >2,
thegreat
number ofpaths always
allow the walker to go around « hills ». In thegeneral
case oflong-range
correlations,
the condition a 2 means that thepotential
grows atlarge
distances likeH(bx) =
b(2 -
a)/2H(x)
and the Arrheniusargument
allows torecover the behaviour of table I.
Lastly,
we would like topoint
out that our model is a continuous limit of the discrete one for which Durrett[14]
has proven that thislogarithmic
diffusion takesplace
in anydimension.
Indeed,
if one identifieswhere
W,,,,
is thehopping
rate from site x to sitex’,
onegets
exactly
with Durret’sdefinition :
V= - grad
(H),
withH(bx )
=b"H(x),
hisex-ponent
abeing
(2 - a )/2.
Let us
finally
mention that not all RWRM fall inthe
universality
classes of table I. Forexample,
random walks amongtraps
with a broaddistribution
of release time T of thetype
p(T)2013T’" (with
a2)
reveals subdiffusive behaviour in all dimen-sions with anexponent v
=a 2 1
for D :> 2[20].
1450
[21]
falls in thisuniversality
class rather than in those studied in this paper : thepotential
constructed in[21]
hasshort-range
correlations with a local distri-bution ofpotential depths
p(H) -
e- aH. Upon
res-caling
of space, this inducestraps
with a release timegiven by
Arrhenius lawT - exp (f3 H).
Its distri-button is thusgiven by
r
,
leading
us toconjecture
that the diffusion law for this model isX2 -
talp,
for D > 2.Acknowledgments.
We thank E.
Brezin,
D. Fisher and D. Ruelle for their interest in theproblem
and useful discussions.References
[1]
BERNASCONI, J., BEYELER, H. U., STRASSLER, S.,ALEXANDER, S.,
Phys.
Rev. Lett. 42(1979)
819.[2]
ARONOVITZ, J. A., NELSON, D. R.,Phys.
Rev. A 30(1984)
1948 and references therein.[3]
For a review of the case withsymmetric
hopping
rates, see ALEXANDER, S., BERNASCONI, J.,
SCHNEIDER, W. R., ORBACH, R., Rev. Mod.
Phys.
53(1981)
175.[4]
SOLOMON, F., Ann.Prob.,
3(1975)
1 ;KESTEN, H., KOZLOV M. and SPITZER, F.,
Compos.
Math. 30
(1975)
145.[5]
SINAÏ, Ya. G.,Theory
Probab. Its.Appl.
27(1982)
247.
[6]
DERRIDA, B., J. Stat.Phys.
31(1983)
433.[7]
BOUCHAUD, J. P., COMTET, A., GEORGES, A., and LE DOUSSAL, P.,Europhys.
Lett. 3(1987)
653.[8]
MARINARI, E., PARISI, G., RUELLE, D. and WIN-DEY, P.,Phys.
Rev. Lett. 50(1983)
1223, and Commun. Math.Phys.
89(1983)
1.[9]
FISHER, D. S.,Phys.
Rev. A 30(1984)
960.[10]
DERRIDA, B. andLUCK,
J. M.,Phys.
Rev. B 28(1983)
7183 ;
LUCK, J. M., Nucl.
Phys.
B 225(1983)
169.[11]
KRAVTSOV, V. E., LERNER, I. V. and YUDSON, V.I., J.
Phys.
A, Math. Gen. 18(1985)
L703-707 andPhys.
Lett. A 119(1986)
203.[12]
FISHER, D. S.,FRIEDAN,
D.,QIU, Z.,
SHENKER, S.J.,
SHENKER,
S. H.,Phys.
Rev. A 31(1985)
3841.[13]
PELITI, L.,Phys.
Rep.
103(1984)
225.PELITI, L., CHENG, ZHANG, Y., J.
phys.
A, Math. Gen. 18(1985)
L709-712.[14]
DURRETT, R., Commun. Math.Phys.
104(1986)
87.[15]
SHERRINGTON, D., KIRKPATRICK, S.,Phys.
Rev. Lett. 35(1975)
1792.[16]
MANDELBROT, B. B., Thefractal Geometry
of Nature
(San
Francisco,1982).
[17]
WEINRIB, A., HALPERIN, B. I.,Phys.
Rev. B 27(1983)
413.[18]
BREZIN, E., LEGUILLOU,
J.C., ZINN-JUSTIN,
J., in Phase Transitions and CriticalPhenomena,
vol-. 6, Domb and Green