arxiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arxiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17...

49
arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette 1,2 1 Laboratoire de Physique de la Mati` ere Condens´ ee CNRS and Universit´ e de Nice-Sophia Antipolis, Parc Valrose, 06108 Nice, France 2 Department of Earth and Space Sciences and Institute of Geophysics and Planetary Physics University of California, Los Angeles, California 90095-1567 Updated version (Oct. 27, 1998) of the review paper with the same title appeared in Physics Reports 297, 239-270 (1998) Abstract: We discuss the concept of discrete scale invariance and how it leads to complex critical exponents (or dimensions), i.e. to the log-periodic corrections to scaling. After their initial suggestion as formal solutions of renormalization group equations in the seventies, complex exponents have been studied in the eighties in relation to various problems of physics embedded in hierarchical systems. Only re- cently has it been realized that discrete scale invariance and its associated complex exponents may appear “spontaneously” in euclidean systems, i.e. without the need for a pre-existing hierarchy. Examples are diffusion-limited-aggregation clusters, rup- ture in heterogeneous systems, earthquakes, animals (a generalization of percolation) among many other systems. We review the known mechanisms for the spontaneous generation of discrete scale invariance and provide an extensive list of situations where complex exponents have been found. This is done in order to provide a basis for a better fundamental understanding of discrete scale invariance. The main motivation to study discrete scale invariance and its signatures is that it provides new insights in the underlying mechanisms of scale invariance. It may also be very interesting for prediction purposes.

Upload: others

Post on 25-Jun-2020

34 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

arX

iv:c

ond-

mat

/970

7012

v2 [

cond

-mat

.sta

t-m

ech]

17

Dec

199

8

Discrete scale invariance and complex dimensions

Didier Sornette1,2

1 Laboratoire de Physique de la Matiere CondenseeCNRS and Universite de Nice-Sophia Antipolis, Parc Valrose, 06108 Nice, France

2 Department of Earth and Space Sciences andInstitute of Geophysics and Planetary Physics

University of California, Los Angeles, California 90095-1567

Updated version (Oct. 27, 1998) of the review paper with the same title appeared inPhysics Reports 297, 239-270 (1998)

Abstract: We discuss the concept of discrete scale invariance and how it leadsto complex critical exponents (or dimensions), i.e. to the log-periodic corrections toscaling. After their initial suggestion as formal solutions of renormalization groupequations in the seventies, complex exponents have been studied in the eighties inrelation to various problems of physics embedded in hierarchical systems. Only re-cently has it been realized that discrete scale invariance and its associated complexexponents may appear “spontaneously” in euclidean systems, i.e. without the needfor a pre-existing hierarchy. Examples are diffusion-limited-aggregation clusters, rup-ture in heterogeneous systems, earthquakes, animals (a generalization of percolation)among many other systems. We review the known mechanisms for the spontaneousgeneration of discrete scale invariance and provide an extensive list of situations wherecomplex exponents have been found. This is done in order to provide a basis for abetter fundamental understanding of discrete scale invariance. The main motivationto study discrete scale invariance and its signatures is that it provides new insightsin the underlying mechanisms of scale invariance. It may also be very interesting forprediction purposes.

Page 2: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

Contents

1 INTRODUCTION 4

2 WHAT IS DISCRETE SCALE INVARIANCE (DSI)? 5

3 WHAT ARE THE SIGNATURES OF DSI? 63.1 Log-periodicity and complex exponents . . . . . . . . . . . . . . . . . 63.2 Higher order log-periodic harmonics . . . . . . . . . . . . . . . . . . . 83.3 A simple worked-out example : the Weierstrass-Mandelbrot fractal

function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

4 WHAT IS THE IMPORTANCE AND USEFULNESS OF DSI? 114.1 Existence of relevant length scales . . . . . . . . . . . . . . . . . . . . 114.2 Non-unitary field theories . . . . . . . . . . . . . . . . . . . . . . . . 124.3 Prediction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

5 SCENARIOS LEADING TO DSI 135.1 Built-in geometrical hierarchy . . . . . . . . . . . . . . . . . . . . . . 13

5.1.1 Potts model on the diamond lattice . . . . . . . . . . . . . . . 145.1.2 Fixed points, stable phases and critical point . . . . . . . . . . 165.1.3 Singularities and log periodic corrections . . . . . . . . . . . . 175.1.4 Related examples in programming and number theory . . . . . 18

5.2 Diffusion in anisotropic quenched random lattices . . . . . . . . . . . 195.3 Cascade of ultra-violet instabilities : growth processes and rupture . . 21

5.3.1 Log-periodicity in the geometrical properties . . . . . . . . . . 215.3.2 Log-periodicity in time . . . . . . . . . . . . . . . . . . . . . . 23

5.4 Cascade of structure in hydrodynamics . . . . . . . . . . . . . . . . . 235.5 Deterministic dynamical systems . . . . . . . . . . . . . . . . . . . . 24

5.5.1 Cascades of sub-harmonic bifurcations in the transition to chaos 245.5.2 Two-coupled anharmonic oscillators . . . . . . . . . . . . . . . 245.5.3 Near-separatrix Hamiltonian chaotic dynamics . . . . . . . . . 25

5.6 Animals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255.7 Quenched disordered systems . . . . . . . . . . . . . . . . . . . . . . 26

6 OTHER SYSTEMS 266.1 The bronchial tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266.2 Turbulence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276.3 Titius-Bode law . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276.4 Gravitational collapse and black hole formation . . . . . . . . . . . . 286.5 Spinodal decomposition of binary mixtures in uniform shear flow . . . 286.6 Cosmic lacunarity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286.7 Rate of escape from stable attractors . . . . . . . . . . . . . . . . . . 296.8 Interface crack tip stress singularity . . . . . . . . . . . . . . . . . . . 296.9 The Altes’wavelet and optimal time-scale product . . . . . . . . . . . 306.10 Orthonormal Compactly Supported Wavelets with Optimal Sobolev

Regularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316.11 Eigenfunctions of the Laplace transform . . . . . . . . . . . . . . . . 336.12 Life evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

Page 3: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

7 APPLICATIONS 337.1 Identifying characteristic scales . . . . . . . . . . . . . . . . . . . . . 337.2 Time-to-failure analysis . . . . . . . . . . . . . . . . . . . . . . . . . . 347.3 Log-periodic antennas . . . . . . . . . . . . . . . . . . . . . . . . . . 347.4 Optical waveguides . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

8 OPEN PROBLEMS 348.1 Nonlinear map and multicriticality . . . . . . . . . . . . . . . . . . . 358.2 Multilacunarity and quasi-log-periodicity . . . . . . . . . . . . . . . . 358.3 Effect of disorder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 358.4 Averaging : grand canonical versus canonical . . . . . . . . . . . . . . 358.5 Amplitude of log-periodicity . . . . . . . . . . . . . . . . . . . . . . . 368.6 Where to look for log-periodicity . . . . . . . . . . . . . . . . . . . . 378.7 Prefered scaling ratio around 2? . . . . . . . . . . . . . . . . . . . . . 378.8 Critical behavior and self-organized criticality . . . . . . . . . . . . . 38

Page 4: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

1 INTRODUCTION

During the third century BC, Euclid and his students introduced the concept of spacedimension, which can take positive integer values equal to the number of independentdirections. We have to wait until the second half of the nineteen century and thetwentieth century to witness the generalization of dimensions to fractional values.The word “fractal” is coined by Mandelbrot [1] to describe sets consisting of partssimilar to the whole, and which can be described by a fractional dimension (see [2]for a compilation of the most important reprints of mathemacatical works leadingto fractals). This generalization of the notion of a dimension from integers to realnumbers reflects the conceptual jump from translational invariance to continous scaleinvariance.

The goal of this paper is to review the mathematical and physical meaning ofa further generalization, wherein the dimensions or exponents are taken from theset of complex numbers 1 (see Ref. [3] for a recent review). We will see that thisgeneralization captures the interesting and rich phenomenology of systems exhibitingdiscrete scale invariance, a weaker form of scale invariance symmetry, associated withlog-periodic corrections to scaling.

Before explaining what is discrete scale invariance, describing its signatures andimportance and studying its mechanisms, let us present a brief historial perspective.To our knowledge, the first physical model, where sine log-periodic functions arose,was a model of shock waves in layered systems constructed by Zababakhin in 1965[4]. He studied the propagation of shock waves in a continuous medium with period-ically distributed properties and, by following the evolution of the initial impulse bynumerical calculation, constructed a solution that also periodically reproduces itselfon a variable scale, i.e. a log-periodic self-similar solution. A few years later, Baren-blatt and Zeldovich [5] considered Zababakhin’s model as a very natural developmentof self-similarity, in the following sense. They point out that the determination ofexponents in self-similar solutions of the second type (i.e. not determined solely bydimension analysis) is deeply connected to the classical eigenvalue problem for lineardifferential operators. The point is that a propagating wave u(x− ct) becomes a self-similar homogeneous function U(X/T c) by posing x = lnX, t = lnT , which writesagain the fact that performing a scale transformation is the same as a translation inthe logarithm. The nonlinear shock problem is thus connected to a eigenvalue prob-lem with Block-like wave solutions, which by a mechanism of exponentiation leads tothe observed log-periodicity. Here, the existence of a preexisting linear periodicity isessential and the creation of log-periodicity can be seen as an exponentiation opera-tion of the discrete translational invariance into a discrete scale invariance, similarlyto other mechanisms discussed below for discretized systems [50].

Novikov has also pointed out in 1966 that structure factors in turbulence shouldcontain log-periodic oscillations [6]. Loosely speaking, if an unstable eddy in turbulentflow typically breaks up into two or three smaller eddies, but not into 10 or 20 eddies,then one can suspect the existence of a preferable scale factor, hence the log-periodicoscillations. The interest in log-periodic oscillations has been somewhat revived afterthe introduction of the renormalization group theory of critical phenomena. Indeed,the mathematical existence of such corrections has been discussed quite early in

1A further generalization to the set of quaternions (the unique non-commutative generalizationof complex numbers on the set of real numbers) does not bring any new structure.

Page 5: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

renormalization group solutions for the statistical mechanics of critical phase [7, 8, 9].However, these log-periodic oscillations, which amount to consider complex criticalexponents, were rejected for translationally invariant systems, on the (not totallycorrect [10]) basis that a period (even in a logarithmic scale) implies the existenceof one or several characteristic scales, which is forbidden in these ergodic systemsin the critical regime. Complex exponents were therefore restricted to systems withdiscrete renormalization groups. In the eighties, the search for exact solution of therenormalization group led to the exploration of models put on hierarchical lattices,for which one can often obtain an exact renormalization group recursion relation.Then, by construction as we will show below, discrete scale invariance and complexexponents and their log-periodic signature appear.

Only recently has it been realized that discrete scale invariance and its associatedcomplex exponents can appear spontaneously, without the need for a pre-existinghierarchical structure. It is this aspect of the domain that is the most fascinatingand on which we will spend most of our time.

2 WHAT IS DISCRETE SCALE INVARIANCE

(DSI)?

Let us first recall what is the concept of (continuous) scale invariance : in a nutshell,it means reproducing itself on different time or space scales. More precisely, anobservable O which depends on a “control” parameter x is scale invariant under thearbitrary change x → λx 2, if there is a number µ(λ) such that

O(x) = µO(λx) . (1)

Eq.(1) defines a homogeneous function and is encountered in the theory of criticalphenomena, in turbulence, etc. Its solution is simply a power law O(x) = Cxα, withα = − log µ

log λ, which can be verified directly by insertion. Power laws are the hallmark

of scale invariance as the ratio O(λx)O(x)

= λα does not depend on x, i.e. the relative valueof the observable at two different scales only depend on the ratio of the two scales3. This is the fundamental property that associates power laws to scale invariance,self-similarity 4 and criticality 5.

Discrete scale invariance (DSI) is a weaker kind of scale invariance according towhich the system or the observable obeys scale invariance as defined above only forspecific choices of λ (and therefore µ), which form in general an infinite but countableset of values λ1, λ2, ... that can be written as λn = λn. λ is the fundamental scalingratio. This property can be qualitatively seen to encode a lacunarity of the fractalstructure [1].

2Here, we implicitely assume that a change of scale leads to a change of control parameter as inthe renormalization group formalism. More directly, x can itself be a scale.

3This is only true for a function of a single parameter. Homogeneous functions of several variablestake a more complex form than (1).

4Self-similarity is the same notion as scale invariance but is expressed in the geometrical domain,with application to fractals.

5Criticality refers to the state of a system which has scale invariant properties. The critical stateis usually reached by tuning a control parameter as in liquid-gas and paramagnetic-ferromagneticphase transitions. Many driven extended out-of-equilibrium systems seem also to exhibit a kind ofdynamical criticality, that has been coined “self-organized criticality” [11].

Page 6: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

Note that, since x → λx and O(x) → µO(λx) is equivalent to y = log x→ y+log λand logO(y) → logO(y+logλ)+logµ, a scale transformation is simply a translationof log x leading to a translation of O. Continuous scale invariance is thus the same ascontinuous translational invariance expressed on the logarithms of the variables. DSIis then seen as the restriction of the continuous translational invariance to a discrete

translational invariance : logO is simply translated when translating y by a multipleof a fundamental “unit” size logλ. Going from continuous scale invariance to DSIcan thus be compared with (in logarithmic scales) going from the fluid state to thesolid state in condensed matter physics! In other words, the symmetry group is nomore the full set of translations but only those which are multiple of a fundamentaldiscrete generator.

3 WHAT ARE THE SIGNATURES OF DSI?

3.1 Log-periodicity and complex exponents

We have seen that the hallmark of scale invariance is the existence of power laws.The signature of DSI is the presence of power laws with complex exponents α whichmanifests itself in data by log-periodic corrections to scaling. To see this, considerthe triadic Cantor set shown in figure 1. This fractal is built by a recursive process asfollows. The first step consists in dividing the unit interval into three equal intervalsof length 1

3and in deleting the central one. In the second step, the two remaining

intervals of length 13

are themselves divided into three equal intervals of length 19

andtheir central intervals are deleted, thus keeping 4 intervals of length 1

9. The process

is then iterated ad infinitum. It is usually stated that this triadic Cantor set has thefractal (capacity) dimension D0 = log 2

log 3, as the number of intervals grows as 2n while

their length shrinks as 3−n at the n-th iteration.It is obvious to see that, by construction, this triadic Cantor set is geometrically

identical to itself only under magnification or coarse-graining by factors λp = 3p whichare arbitrary powers of 3. If you take another magnification factor, say 1.5, you willnot be able to superimpose the magnified part on the initial Cantor set. We mustthus conclude that the triadic Cantor set does not possess the property of continuousscale invariance but only that of DSI under the fundamental scaling ratio 3.

This can be quantified as follows. Call Nx(n) the number of intervals found at then-th iteration of the construction. Call x the magnification factor. The original unitinterval corresponds to magnification 1 by definition. Obviously, when the magnifi-cation increases by a factor 3, the number Nx(n) increases by a factor 2 independentof the particular index of the iteration. The fractal dimension is defined as

D = limx→∞

logNx(n)

lnx= lim

x→0

lnNx(n)

ln x=

log 2

log 3≈ 0.63 . (2)

However, the calculation of a fractal dimension usually makes use of arbitrary valuesof the magnification and not only those equal to x = 3p only. If we increase themagnification continuously from say x = 3p to x = 3p+1, the numbers of intervals inall classes jump by a factor of 2 at x = 3p, but then remains unchanged until x = 3p+1,at which point they jump again by an additional factor of 2. For 3p < x < 3p+1, Nx(n)

does not change while x increases, so the measured fractal dimension D(x) = lnNx(n)ln x

Page 7: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

decreases. The value D = 0.63 is obtained only when x is a positive or negativepower of three. For continuous values of x one has

Nx(n) = N1(n)xDP

(log x

log 3

)

, (3)

where P is a function of period unity. Now, since P is a periodic function, we canexpand it as a Fourier series

P

(log x

log 3

)

=∞∑

n=−∞

cn exp

(

2nπiln x

ln 3

)

. (4)

Plugging this expansion back into (3), it appears that D is replaced by an infinity ofcomplex values

Dn = D + ni2π

log 3. (5)

We now see that a proper characterization of the fractal is given by this set of com-

plex dimensions which quantifies not only the asymptotic behaviour of the number offragments at a given magnification, but also its modulations at intermediate magni-fications. The imaginary part of the complex dimension is directly controlled by theprefered ratio 3 under which the triadic Cantor set is exactly self-similar. Let us em-phasize that DSI refers to discreteness in terms of scales, rather than discreteness inspace (eg like discreteness of a cubic lattice approximation to a continuous medium).

If we keep only the first term in the Fourier series in (4) and insert in (3), we get

Nx(n) = N1(n)xD

(

1 + 2c1c0

cos(2nπlnx

ln 3)

)

, (6)

where we have used c−1 = c1 to ensure that Nx(n) is real. Expression (6) showsthat the imaginary part of the fractal dimension translates itself into a log-periodicmodulation decorating the leading power law behavior. Notice that the period of thelog-periodic modulation is simply given by the logarithm of the prefered scaling ratio.This is a fundamental result that we will retrieve in the various examples discussedbelow. The higher harmonics are related to the higher order dimensions.

It is in fact possible to obtain directly all these results from (1). Indeed, let uslook for a solution of the form O(x) = Cxα. Reporting in (1), we get the equation1 = µλα. But 1 is nothing but ei2πn, where n is an arbitrary integer. We get then

α = − log µ

log λ+ i

2πn

log λ, (7)

which has exactly the same structure as (5). The special case n = 0 gives the usualreal power law solution corresponding to fully continuous scale invariance. In contrast,the more general complex solution corresponds to a possible DSI with the preferedscaling factor λ. The reason why (1) has solutions in terms of complex exponentsstems from the fact that a finite rescaling has been done by the finite factor λ. Incritical phenomena presenting continuous scale invariance, (1) corresponds to thelinearization, close to the fixed point, of a renormalization group equation describingthe behavior of the observable under a rescaling by an arbitrary factor λ. The powerlaw solution and its exponent α must then not depend on the specific choice of λ,especially if the rescaling is taken infinitesimal, i.e. λ → 1+. In the usual notation,if λ is noted λ = eaxℓ, this implies that µ = eaφl and α = −aφ

axis independent of the

rescaing factor ℓ. In this case, the imaginary part in (7) drops out.

Page 8: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

3.2 Higher order log-periodic harmonics

Complex critical exponents can be derived from a discrete renormalization group.From it, we can obtain the relative amplitudes of the harmonics of the Fourier seriesexpansion of the log-periodic function, which gives the leading correction to scaling.We can also discuss the effect of a first non-linear term in the flow map in thegeneration of log-periodic accumulation of singular points.

A naive way of obtaining discrete scale covariance is to consider a discrete fractalfor which only discrete renormalizations are allowed. Calling K the coupling (e.g.K = eJ/T for a spin model) and R the renormalization group map between twosuccessive generations of the discrete fractal, one has

f(K) = g(K) +1

µf [R(K)] , (8)

where f is the free energy per lattice site or bond, g is a regular part which is madeof the free energy of the degrees of freedom summed over between two successiverenormalizations, 1

µis the ratio of the number of degrees of freedom between two

successive renormalizations. The equation (8 is solved recursively by

f(K) =∞∑

n=0

1

µng[R(n)(K)] , (9)

where R(n) is the nth iterate of the renormalization transformation. For generalferromagnetic systems, R has two stable fixed points corresponding to K = 0 andK = ∞ fixed points, and an unstable fixed point at K = Kc which corresponds tothe usual critical point. It is easy to see that f is singular at Kc. Call λ the slope ofthe RG transformation at Kc (λ > 1 since the fixed point is unstable). Then the ith

term in the series for the kth derivative of f at the fixed point will be proportionalto (λk/µ)i, giving rise to a divergence of the series for the kth derivative of f for klarge enough, hence the singular behaviour. Now assume that f ∝ |K −Kc|m closeto the critical point. Plugging this form in (8 gives the constrain, since g is a regularfunction,

λm

µ= 1 . (10)

This equation has an infinity of solutions given by

ml = m+ ilΩ , (11)

with

m =lnµ

lnλ, Ω =

lnλ, (12)

and l is an arbitrary integer. Decorating the main algebraic behaviour, there is thusthe possibility of terms of the form |K − Kc|m cos(lΩ ln |K − Kc| + φl), which arethe looked for log-periodic corections. Such terms are not generally scale covariant.If continuous changes of scale were allowed, they would be incompatible with scalecovariance, and thus forbidden. It is only because the changes of scale are discrete thatthey survive here : only when the change of scale is of the form |K−Kc| → λl|K−Kc|do they transform multiplicatively, ensuring scale covariance.

Page 9: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

To find out more about these correction terms, it is very convenient to use theMellin transform as done in [33, 10]. Introduce therefore for any function f the Mellintransform

f(s) ≡∫ ∞

0xs−1f(x)dx . (13)

We then consider the free energy in (9) in the linear approximation, replacing R(n)(K)byKc+λ

n(K−Kc). Setting x = K−Kc we have then, by applying this transformationto both sides of (9)

f(s) = g(s)µλs

µλs − 1. (14)

We then reconstruct the original function by taking the inverse transform

f(x) =1

2iπ

∫ c+i∞

c−i∞f(s)x−sds . (15)

The usefulness of the Mellin transform is that the power law behavior springs outimmediately from the poles of f(s), using Cauchy’s theorem. For a general statisticalmechanics model, g being the regular part of the free energy has generally the formof the logarithm of a polynomial in x. Factorizing the polynomial, we do not losegenerality by considering g given by

g(x) = ln(1 + x) , (16)

for whichg(s) =

π

s sin sπ. (17)

In inverting the Mellin transform, we have two types of poles. The poles of g occurfor s = −n, n > 0, and contribute only to the regular part of f , as expected sinceg is a regular contribution. The poles of the prefactor in (14), which stem from theinfinite sum over successive embeddings of scales, occur at

s = −ml , (18)

with ml as in (11. They correspond exactly to the singular contributions discussedabove. Their amplitude is obtained by applying Cauchy’s theorem and is of the orderof ∣∣∣∣∣

1

m+ liΩ

1

sin π(m+ liΩ)

∣∣∣∣∣ , (19)

which behaves at large l as e−lΩπ. Hence the amplitude of the log-periodic correctionsdecays exponentially fast as a function of the order l of the harmonics. This explainsthe fact that mostly the first harmonic accounts for experimental data.

Of course the previous computation suffers from the linear approximation, whichbecomes deeply incorrect as n gets large in (9), hence in the region determining thesingularity. As discussed in [33], the crucial property missed by the linear approxima-tion is that f is analytic only in a sector |argx| < θ while we treated it as analytic inthe cut plane |argx| < π. The true asymptotic decay of the amplitudes of successivelog-periodic harmonics is therefore slower than initially found, and goes as e−lΩθ. Theangle θ depends specifically on the flow map of the discrete renormalization group[33] and is generally of order 1. Assuming this formula e−lΩθ of the decay still gives

Page 10: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

the right order of magnitude for l = 1, we see that the amplitude of the first modecan be much larger than found above in the linear approximation.

The linear approximation misses more interesting features, discussed in [136].Beyond the linear approximation, the renormalization transformation R can be ex-panded as a polynomial in x. Let us keep the first two terms only, so R(x) = λx−νx2

with ν > 0. Such a non monotonic RG transformation occurs for instance in frus-trated models with both ferromagnetic and antiferromagnetic interactions. An in-teresting consequence is that this transformation has another unstable fixed point atxc = λ−1

ν. The function f is singular at all the pre-images of this other fixed point,

if the absolute value of the Lyapunov exponent of R at this fixed point is greater

than one namely if 1 < λ < 1 + ν2

or λ < λ− or λ > λ+ where λ± =2+ ν

2+(4ν+ ν2

4)1/2

2.

This is due to the fact that these preimages all go to the fixed point after a finitenumber of renormalizations. Moreover these preimages accumulate at the originalunstable fixed point x = 0 (figure 1), and their accumulation becomes geometricalvery close to x = 0. When crossing such a preimage, there is a singularity in f ,usually manifested as a kink in the curve. This sequence of kinks close to x = 0 canbe fitted well with the first harmonic of log-periodic oscillations discussed previously.But the discussion suggests that there is more to be seen in these oscillations - thegeometrical accumulation of critical points towards the “main” critical point.

3.3 A simple worked-out example : the Weierstrass-Mandelbrotfractal function

Mandelbrot proposed the following extension of the Weierstrass function (in order tocure the disavantage that the Weiestrass function has a larger scale)

W (t) =+∞∑

n=−∞

1 − eiγnt

γ(2−D)neiφn , with 1 < D < 2, γ > 1 and φn arbitrary . (20)

D is the Hausdorf-Besicovich fractal dimension of the graph of W (t) (i.e. the graphsof the real part or imaginary parts of W . We follow [12] to present some importantproperties that illustrate the previous analysis.

Consider the case where the phases φn = µn. Then, W (t) obeys the renormaliza-tion group equation

W (γt) = e−iµ γ2−D W (t) . (21)

This implies that the whole function W can be reconstructed from its value in therange t0 ≤ t < γt0.

Note that the equation (21) does not imply that W (t) is a fractal, because it issatisfied by smooth functions of the form

fm(t) = t2−D exp[−i(µ+ 2πm)ln t

ln γ] , (22)

where m is an integer. W (t) can thus be constructed from an infinite series of sumterms. The Poisson formula

+∞∑

n=−∞

f(n) =+∞∑

k=−∞

∫ +∞

−∞f(t) e2iπkt dt , (23)

Page 11: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

also us to obtain this new series as

W (t) =∞∑

m=−∞

∫ +∞

−∞dn

1 − eiγnt

γ(2−D)nei(µ+2πm)n . (24)

After integrating by part, the terms in this series can be expressed as Γ functions :

W (t) = ei π2D e−

π2µ ln γ

∞∑

m=−∞

fm(t) e−πm2/ ln γ Γ(D − 2 + iµ+ 2πm

ln γ) . (25)

Application of Stirling’s formula shows that the terms decay as exp(−2mπ2/ ln γ)

as m → ∞ and as |m|−( 5

2−D) exp(icm) (where c is a constant) as m → −∞, thus

ensuring the convergence of the series. The convergence is fastest when γ → 1 inconstrast to (20) whose convergence is fastest when γ → ∞.

Consider the case µ = π leading to

A(t) ≡ Imaginary part W (t)|µ=π =+∞∑

n=−∞

(−1)n

γ(2−D)nsin(γnt) . (26)

In this case, the term m = −1 in (25) dominates and gives the following large scalebehavior

A(t) ≈ −t2−D eπ2

2 ln γ

ln γImaginary part

(eiπ(D

2+ ln t

ln γ Γ(D − 2 − iπ

ln γ)). (27)

If π/ ln γ is sufficiently large, this can be simplified by using Stirling’s formula, togive the trend

A(t) ≈√

2

ln γ(ln γ

π)2−D t2−D sin

ln γln

t

t0+π

4

), with t0 =

π

e ln γ. (28)

This is a log-periodic function with a prefered scaling ratio γ. The higher order termsin (25) produces the non-differentiable fractal structure of the Weierstrass-Mandelbrotfunction.

This calculation makes explicit the relationship between the main log-periodicdependence and the higher order fractal structure.

4 WHAT IS THE IMPORTANCE AND USEFUL-

NESS OF DSI?

4.1 Existence of relevant length scales

Suppose that a given analysis of some data shows log-periodic structures. What canwe get out it them? First, as we have seen, the period in log-scale of the log-periodicityis directly related to the existence of a prefered scaling ratio. Thus, log-periodicitymust immediatly be seen and interpreted as the existence of a set of prefered charac-teristic scales forming all together a geometrical series ..., λ−p, λ−p+1, ..., λ, λ2, ...., λn, .....The existence of such prefered scales appears in contradiction with the notion thata critical system, exhibiting scale invariance has an infinite correlation length, hence

Page 12: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

only the microscopic ultraviolet cut-off and the large scale infra-red cut-off (for in-stance the size of the system) appear as distinguishable length scales. This recoversthe fact that DSI is a property different from continuous scale invariance. In fact,it can be shown [14] that exponents are real if the renormalization group is a gra-dient flow, a rather common situation for systems at thermal equilibrium, but aswe will see, not the only one by far. Examples when this is not the case can befound especially in random systems, out-of-equilibrium situations and irreversiblegrowth problems. In addition to the existence of a single prefered scaling ratio andits associated log-periodicity discussed above, there can be several prefered ratioscorresponding to several log-periodicities that are superimposed. This can lead to aricher behavior such as log-quasi-periodicity. Quasiperiodicity has been suggested todescribe the scaling properties of diffusion-limited-aggregation clusters [15].

Log-periodic structures in the data indicate that the system and/or the underlyingphysical mechanisms have characteristic length scales. This is extremely interesting asthis provides important constraints on the underlying physics. Indeed, simple powerlaw behaviors are found everywhere, as seen from the explosion of the concepts offractals, criticality and self-organized-criticality [11]. For instance, the power lawdistribution of earthquake energies which is known as the Gutenberg-Richter lawcan be obtained by many different mechanisms and a variety of models and is thusextremely limited in constraining the underlying physics. Its usefulness as a modellingconstraint is even doubtful, in contradiction with the common belief held by physicistson the importance of this power law. In contrast, the presence of log-periodic featureswould teach us that important physical structures, that would be hidden in the fullyscale invariant description, existed.

4.2 Non-unitary field theories

In a more theoretical vein, we must notice that complex exponents do not appearin the canonical exactly solved models of critical phenomena like the square latticeIsing model or Bose Einstein condensation. This is because such models satisfy somesort of unitarity. From conformal invariance [16], it is known that the exponents oftwo dimensional critical models can be measured as amplitudes of the correlationlengths in a strip geometry. Since the Ising model transfer matrix can be written ina form which is symmetric, all its eigenvalues are real, therefore all its exponents arereal. The other standard example where exponents can be computed is ǫ expansion.However in that context, there is an attitude, inherited from particle physics, tothink mostly of Minkowski field theories. For instance in axiomatic field theory,Euclidian field theories are defined mostly as analytic continuations of Minkowskifield theories. Now complex exponents, as we have argued [10], make perfect sensefor Euclidian field theories, but lead to totally ill-behaved Minkowski field theories,with exponentially diverging correlation functions. An approach based on any sortof equivalence between the two points of view is bound to discard complex exponents(as well say as complex masses). The complex exponents can thus be viewed asresulting from the breaking of equivalence (or symmetry under Wick rotation) of theEuclidian and Minkowski field theories. As it is now undertood that quantum fieldtheories are only effective theories that are essentially critical 6 [17], could there be

6The microscopic cut-off is the Planck scale ∼ 10−36m while the macroscopic cut-offs (or cor-

relation lengths) corresponding to the observed particle masses such as for the electron are of the

Page 13: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

a relation between the spectrum of observed particle masses and the characteristicscales appearing in DSI and its variants and generalizations?

4.3 Prediction

Lastly, it is important to stress the practical consequence of log-periodic structures.For prediction purposes, it is much more constrained and thus reliable to fit a part ofan oscillating data than a simple power law which can be quite degenerate especiallyin the presence of noise. This remark has been used and is vigorously investigated inseveral applied domains, such as earthquakes [18, 19, 20, 21], rupture prediction [22]and financial crashes [23, 24, 25].

5 SCENARIOS LEADING TO DSI

After the rather abstract description of DSI given above, we now discuss the physicalmechanisms that may be found at its origin. It turns out that there is not a uniquecause but several mechanisms may lead to DSI. Since DSI is a partial breaking of acontinuous symmetry, this is hardly surprising as there are many ways to break downa symmetry. We describe the mechanisms that have been studied and are still underinvestigation. The list of mechanisms is by no mean exhaustive and other mechanismsmay exist. We have however tried to present a rather complete introduction to thesubject.

It is essential to notice that all the mechanisms described below involve the exis-tence of a characteristic scale (an upper and/or lower cut-off) from which the DSI candevelop and cascade. In fact, for characteristic length scales forming a geometricalseries to be present, it is unavoidable that they “nucleate” from either a large sizeor a small mesh. This remark has the following important consequences : even if themathematical solution of a given problem contains in principle complex exponents,if there are no such cut-off scales to which the solution can “couple” to, then thelog-periodicity will be absent in the physical realization of the problem. An exampleof this phenomenon is provided by the interface-crack stress singularity describedbelow.

5.1 Built-in geometrical hierarchy

The most obvious situation occurs when some physical system is put on a pre-existingdiscrete hierarchical system, such as the Bethe lattice, or a fractal tree. Since thehierarchical system contains by construction a discrete hierarchy of scales occurringaccording to a geometrical series, one expects and does find complex exponents andtheir associated log-periodic structures. Examples are fractal dimensions of Cantorsets [26, 27, 28], percolation [29], ultrametric structures [30], wave propagation infractal systems [31], magnetic and resistive effects on a system of wires connectedalong the Sierpinski gasket[32], Ising and Potts models [33, 34], fiber bundle rupture[35, 20], sandpiles [36]. Quasi-periodic and aperiodic structures can also often becaptured by a discrete renormalization group and can be expected to lead to discrete

order of 10−15m. This is a situation where the correlation length is thus 1021 times larger than the

“lattice” size, very close indeed to criticality!

Page 14: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

scale invariance and log-periodicity. For instance, the quantum XY spin chain withquasi-periodic two-valued exchange couplings [37] has its zero-field specific heat andsusceptibility behaving as power laws of the temperature, modulated by log-periodicmodulations. The zero-temperature magnetization is a Cantor function of the appliedfield and the density of state is also a power law of the distance to gaps with log-periodic modulations. Similarly, log-periodic corrections to scaling of the amplitude ofthe surface magnetization have been found for aperiodic modulations of the couplingin Ising quantum chains [38]. Analytical and numerical calculations associated withsuccesive hierarchical approximations to multiscale fractal energy spectra show that,in a certain range of temperatures, the specific heat displays log-periodic oscillationsas a function of the temperature [39]. The scattering cross-section of a radiationscattered off a DSI fractal structure also exhibits log-periodic oscillations as a functionof the scattering wavenumber parameter [40].

Multifractal models of geophysical fields have used discrete scale ratios to con-struct isotropic and anisotropic cloud and rain structures [41, 42].

5.1.1 Potts model on the diamond lattice

Let us now give some details to see more clearly how physics on hierarchical systemsleads to log-periodicity. As a canonical example, we treat the Potts model [43] onthe diamond lattice [33]. This lattice is obtained by starting with a bond at magni-fication 1, replacing this bond by four bonds arranged in the shape of a diamond atmagnification 2, and so on, as illustrated figure 2. At a given magnification 2p, onesees 4p bonds, and thus 2

3(2 + 4p) sites.

The spins σi are located at the vertices of the diamond fractal. In the same waythat the lattice appears different at different scales from a geometrical point of view,one sees a different number of spins at different scales, and they will turn out tointeract in a scale dependent way. For a given magnification x = 2p, the spins we cansee are coupled with an interaction energy

E = −J∑

<ij>

δ(σiσj), (29)

where J is the coupling strength, the sum is taken over nearest neighbors and the deltafunction equals one if arguments are equal, zero otherwise The system is assumed atthermal equilibrium, and the spin configurations evolve randomly in time and spacein response to thermal fluctuations with a probability proportional to the Boltzmannfactor e−βE , where β is the inverse of the temperature. The partition function Z ata given magnification x = 2p is

Zp =∑

σ

e−βE

where the sum is taken over all possible spin configurations which can be seen at thatscale. We do not compute Zp completely, but first perform a partial summation overthe spins seen at one scale and which are coupled only to two other spins. This ishow, in this particular example, one can carry out the program of the renormalizationgroup by solving a succession of problems at different scales. Let us isolate a particulardiamond, call σ1, σ2 the spins at the extremities and s1, s2 the spins in between as infigure 2. The contribution of this diamond to e−βE is

Kδ(σ1,s1)+δ(σ2,s1)+δ(σ1 ,s2)+δ(σ2 ,s2),

Page 15: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

where we have defined K = eβJ . Since s1, s2 enter only in this particular product,we can perform summation over them first when we compute Zp. The final resultdepends on whether σ1 and σ2 are equal or different:

s1,s2

Kδ(σ1 ,s1)+δ(σ2,s1)+δ(σ1,s2)+δ(σ2,s2) = (2K +Q− 2)2, σ1 6= σ2 (30)

= (K2 +Q− 1)2, σ1 = σ2 , (31)

so we can write∑

s1,s2

Kδ(σ1,s1)+δ(σ2,s1)+δ(σ1,s2)+δ(σ2 ,s2) (32)

= (2K +Q− 2)2

[

1 +

((K2 +Q− 1)2

(2K +Q− 2)2− 1

)

δ(σ1, σ2)

]

= (2K +Q− 2)2K ′δ(σ1,σ2) ,

where we used the identity

K ′δ(σ1,σ2) = 1 + (K ′ − 1)δ(σ1, σ2) , (33)

and we set

K ′ ≡(K2 +Q− 1

2K +Q− 2

)2

. (34)

If we perform this partial resummation in each of the four diamonds, we obtain exactlythe system at a lower magnification x = 2p−1. We see therefore that the interaction ofspins tranforms very simply when the lattice is magnified : at any scale, only nearestneighbor spins are coupled, with a scale dependent coupling determined recursivelythrough the renormalization group map

Kp−1 =

(K2

p +Q− 1

2Kp +Q− 2

)2

≡ φ(Kp) . (35)

The spins which are “integrated out” by going from one magnification to the nextsimply contribute an overall numerical factor to the partition function, which is equalto the factor (2K + Q − 2)2 per edge of (33). Indeed, integrating out the spins s1

and s2 leaves only σ1 and σ2 whose interaction weight is by definition K ′δ(σ1,σ2), ifK ′ represents the effective interaction weight at this lower magnification 2p−1. Theadditional numerical factor shows that the partition function is not exactly invariantwith the rescaling but transforms according to

Zp(K) = Zp−1[φ(K)](2K +Q− 2)2.4p

, (36)

since there are 4p bonds at magnification 2p. Now the free energy, which is definedas the logarithm of the partition function per bond, reads

fp(K) =1

4p+1lnZp(K)

From (36), we deduce the following

fp(K) = g(K) +1

4fp−1(K

′) , (37)

Page 16: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

where

g(K) =1

2ln(2K +Q− 2) . (38)

For an infinite fractal, the free energy for some microscopic coupling K satisfiestherefore

f(K) = g(K) +1

µf(K ′) , (39)

where µ = 4. This explicit calculation makes clear the origin of the scaling for the freeenergy : the interaction weights remain of the same functional form at each (discrete)level of magnification, up to a multiplicative factor which accounts for the degrees offreedom “left-over” when integrating from one magnification to the next. This is thephysical origin of the function g in (39).

5.1.2 Fixed points, stable phases and critical point

Consider the map K ′ = φ(K) (35). It exhibits three fixed points (defined byK ′ = K = φ(K)) located at K = 1, K = ∞, K = Kc where Kc is easily deter-mined numerically, for instance Kc ≈ 3.38 for Q = 2, Kc ≈ 2.62 for Q = 1. ThatK = 1 and K = ∞ are fixed points is obvious. The former corresponds to totallyuncoupled spins, the latter to spins which are forced to have the same value. Inboth cases, the dynamics disappears completely, and one gets back to a purely ge-ometrical problem. Observe that these two fixed points are attractive. This meansthat if we start with some coupling say K > Kc deep down in the system, that isfor very large magnifications, when one diminishes the magnification to look at thesystem at macroscopic scales, spins appear almost always parallel, and therefore aremore and more correlated as one reduces magnification. Similarly if we start withK < Kc spins are less and less correlated as one reduces magnification. The conditionK > Kc together with the definition K = eβJ implies β > βc, i.e. corresponds tothe low-temperature regime dominated by the energy. The physical meaning of theattraction of the renormalization group flow to the fixed point K = ∞, i.e. zerotemperature, means that the macroscopic state of the spins is ferromagnetic with amacroscopic organization where a majority of spins have the same value. Similarly,the condition K < Kc implies β < βc, i.e. corresponds to the high-temperatureregime dominated by the entropy or thermal agitation. The physical meaning ofthe attraction of the renormalization group flow to the fixed point K = 0, i.e. infi-nite temperature, means that the macroscopic state is completely random with zeromacroscopic magnetization.

The intermediate fixed point Kc, which in contrast is repulsive, plays a completelydifferent and very special role. It does not describe a stable thermodynamic phasebut rather the transition from one phase to another. The repulsive nature of therenormalization group map flow means that this transition occurs for a very specialvalue of the control parameter (the temperature or the coupling weight K = Kc).Indeed, if we have spins interacting with a coupling strength right atKc at microscopicscales, then even by reducing the magnification we still see spins interacting with acoupling strength right at Kc! This is also a point where spins must have an infinitecorrelation length (otherwise it would decrease to zero as magnification is reduced,corresponding to a different effective interaction): by definition it is a critical point.

Page 17: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

Close to Kc we can linearize the renormalization group transformation

K ′ −Kc ≈ λ(K −Kc) , (40)

where λ = dφdK

|Kc > 1. For couplings close enough to the critical point, we now seethat as we increase magnification, the change in coupling becomes also very simple ;only, it is not the coupling that gets renormalized by a multiplicative factor, but thedistance to Kc.

The equation (39) together with (40) provides an explicit realization of the pos-tulated functional form (1) (up to the non-singular term g), where the couplingparameter K (in fact K −Kc) plays the role of the control parameter x.

5.1.3 Singularities and log periodic corrections

The renormalization group equations (35) and (39) can be solved for the free energyby

f(K) =∞∑

n=0

1

µng[φ(n)(K)] , (41)

where φ(n) is the nth iterate of the transformation φ (eg φ(2)(x) = φ[φ(x)]). Now itis easy to show [136] that the sum (41) is singular at K = Kc. This stems fromthe fact that Kc is an unstable fixed point, so the derivative of φ at Kc is λ > 1.Therefore if we consider the kth derivative of f in (41) it is determined by a series

whose generic term behaves as(

λk

µ

)nwhich is greater than 1 for k large enough, so

this series diverges. In other words high enough derivatives of f are infinite at Kc.Very generally, this implies that close to Kc one has

f(K) ∝ (K −Kc)m , (42)

where m is called a critical exponent. For instance if 0 < m < 1, the derivativeof f diverges at the critical point. Plugging this back in (39), we see that, since gis regular at Kc as can be checked easily from (38), we can substitute it in (39) andrecover the leading critical behavior and derive m solely from the equation (K −Kc)

m = 1µ[λ(K−Kc)]

m involving only the singular part, with the flow map which hasbeen linearized in the vicinity of the critical point. Therefore, the exponent satisfiesλm = µ, an equation that we have already encountered and whose general solution isgiven by

mn =lnµ

lnλ+ ni

lnλ. (43)

To get expression (43), we have again used the identity ei2πn = 1. We see thatbecause there is discrete scale invariance (namely (39) holds which relates the freeenergy only at two different scales in the ratio 2), nothing forces m to actually bea real number. In complete analogy with the case of complex fractal dimension, acritical phenomenon on a fractal exhibits complex critical exponents. Of coursef is real, so the most general form of f close to the critical point should be

f(K) ≈ (K −Kc)m

a0 +∑

n>0

an cos[2πnΩ ln(K −Kc) + Ψn]

, (44)

where

m =lnµ

lnλ, Ω =

1

lnλ, (45)

Page 18: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

hence exhibiting the log-periodic corrections. Derrida et al. [33] have studied thisexample more quantitatively and find that the amplitude of the log-periodic oscil-lations are of the order of 10−4 times less that the leading behavior. This is thus asmall effect. In contrast, the examples below exhibit a much stronger amplitude ofthe log-periodic corrections to scaling, that can reach 10% or more.

5.1.4 Related examples in programming and number theory

Log-periodicity, many of which are of a fractal nature, are found in the solutions ofalgorithms based on a recursive divide-and-conquer strategy [44] such as heapsort,mergesort, Karatsuba’s multiprecision multiplication, discrete Fourier transform, bi-nomial queues, sorting networks, etc. For instance, it is well-known that the worsttime cost measured in the number of comparisons that are required for sorting nelements by the MergeSort procedure is given by n log2 n to leading order. It is lessknown that the first subleading term is nP (log2 n), where P is periodic [44].

Reducing a problem to number theory is like striping it down to its sheer fun-damentals. In this vein, arithmetic functions related to the number representationsystems exhibit various log-periodicities. For instance, the total number of ones inthe binary representations of the first n integers is 1

2n log2 n+ nF (log2 n), where F is

a fractal function, continuous, periodic and nowhere differentiable [45].The statistical distribution of energy level spacings in two-dimensional harmonic

oscillators with irrational frequency ratio ω1/ω2 also exhibit a discrete hierarchicalstructure deeply connected to the properties of irrational numbers. This problemarises in the study of the correspondence between classical and quantum dynamics inHamitonian systems [46]. For integrable classical systems, the generic level spacingdistribution is the Poisson’s law of exponential decay with a maximum at zero, corre-sponding to level clustering. The two-dimensional harmonic oscillator problem, pos-sibly the simplest integrable system, does not follow this generic rule. The spectrumis found to exhit a discrete and rigid structure controlled by the continued fractionexpansion of the irrational number ω1/ω2 [47]. Following the Einstein-Brillouin-Keller(EBK) semi-classical quantization rule, which for harmonic oscillators give the exactquantum mechanical results, the energy levels are

Em1,m2=

h

2π[(m1 +

1

2)ω1 + (m2 +

1

2)ω2] . (46)

In units of h/2π, we see that the difference between two energy levels is (m1−m′1)ω1+

(m2 −m′2)ω2. For ω1/ω2 irrational, this is never zero. Consider first the simplest and

best irrational, the golden mean σ1 = ω1/ω2 = (√

5 − 1)/2 which has the continuedfraction expansion σ1 = [1, 1, 1, ...]. The closest difference are obtained for m1 −m′

1

andm′2−m2 being the successive Fibonacci numbers (F0 = F1 = 1, Fn+1 = FN +Fn−1)

which are such that Fn/Fn+1 are the best rational approximations to σ1. Due to theirproperty and that of the golden mean, we have Fn−1 − σ1Fn = (−σ1)

n+1. Thus alllevel spacings are integer powers of σ1. The entire distribution of level spacings ∆Esatisfies

Pσ1(∆E) ∼ ∆E−2 δ(∆E − σn

1 ) , for n = 1, 2, ... (47)

We recognize a special case of a discrete scale invariant distribution with preferedscaling ratio σ1.

Page 19: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

This results holds for other irrational numbers. Consider ω1/ω2 = σ2 =√

2− 1 =[2, 2, 2, ....]. Now, Pσ2

(∆E) not only peaks at ∆E = |Gnσ2 − Gn−1 correspond-ing to the continued fraction approximations Gn−1/Gn (with G0 = G1 = 1 andGn+1 = 2Gn + Gn−1), it also shows peaks that correspond to the so-called interme-diate fractions (Gn + Gn−1)/(Gn+1 + Gn) [48]. These intermediate fractions are thesecond best approximations. The peak corresponding to the intermediate fraction(Gn +Gn−1)/(Gn+1 +Gn) has the same height as the one corresponding to Gn−1/Gn,while these main peaks continue to follow the inverse-square law.

For a general ratio ω1/ω2 = [a1, a2, a3, ...., an, ...], it is best approximated by thesuccessive fractions p/q = [a1, a2, a3, ...., an] obtained by successive truncations of thecontinued fraction expansion. In addition, when an > 1, there are an − 1 intermedi-ate fractions (pn−1 + kpn)/(qn−1 + kqn) with k = 1, 2, ..., an − 1, between pn−1/qn−1

and pn/qn which also provide a good approximation to ω1/ω2. There is a one-to-onecorrespondence between the allowed nearest neighbor level spacings and the contin-ued and intermediate fraction approximations of the frequency ratio ω1/ω2 [49]. Inthe case where ω1/ω2 belongs to the class of relatively simple irrationals known asquadratic numbers, for which the continued fraction expansion is periodic (which in-cludes σ1 and σ2), the entire distribution Pω1/ω2

(∆E) is self-similar and log-periodic :∆E2 Pω1/ω2

(∆E) is periodic in a log-log scale with period given by the logarithm ofthe prefered scaling ratio ω1/ω2. This log-periodicity is obviously related to the factthat the continued fraction expansion of a quadratic irrational number is periodic.Since going from one level to the next in the continued fraction expansion is a mul-tiplicative operation, the periodicity in the continued fraction expansion is reflectedin a log-periodicity in the number properties.

The exact log-periodicity is lost for more general irrational numbers while thegeneral scaling inverse square law seems to persist. In addition, local log-periodicitycan be observed resulting from local periodicity of the continued fraction expansionof the irrational number. In sum, log-periodicity arises in this problem because onelooks for an extremal property, namely the successive spacings, in the presence of aperiodic continued fraction expansion.

5.2 Diffusion in anisotropic quenched random lattices

In this scenario, the DSI hierarchy is constructed dynamically in a random walkprocess due to intermittent encounters with slow regions [50]. Consider a randomwalker jumping from site to site. Bonds between sites are of two types : (i) directedones on which the walker surely goes from his site to the next on his right (“diode”situation) ; (ii) two-way bonds characterized by a rate u (resp. v) to jump to theneighboring site on his right (resp. left). The fraction of two-way bonds is 1 − pand the fraction of directed bonds is p. We construct a frozen random lattice bychoosing a given configuration of randomly distributed mixtures of the two bondspecies according to their respective average concentration p and 1 − p. The exactsolution of this problem has been given in [50] and shows very clearly nice log-periodicoscillations in the dependence of 〈x2〉 as a function of time, as seen in figure 3.

We now present a simple scaling argument [20] which recovers the exact results.To do so, we assume u

v<< 1− p << 1. We are thus in a situation where most bonds

are directed and dilute clusters of two-way bonds are present. In addition, the twobonds are strongly impeding the progress of the walker as the forward rate to the

Page 20: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

right is much smaller than the backward rate to the left.In this situation, the random walker progresses at constant velocity to the right as

long as it encounters only diode bonds and gets partially trapped when it encounterstwo-way bonds. To see how DSI is spontaneously generated, we estimate the typicalnumber of jumps τk needed for the random walker to pass k adjacent two-way bonds,

i.e. a connected cluster of k two-way bonds. In the limit uv<< 1, τk ∼

(vu

)k7.

Using the fact that the average separation between k-tuples of two-way bonds isapproximately (1 − p)−k, if u

v<< (1 − p), the typical number of jumps needed for

the random walker to go beyond the first k-tuple of consecutive two-way values iscompletely dominated by τk. One thus expects the rate as a function of the number ofjumps to exhibit local minima at τ = τk: these are the jump-numbers time scales. Thesecond part of the scaling argument consists in recognizing that the random walker hasto cover a typical distance from the origin to encounter the first k-tuple of consecutive‘two-way’ values, of the order of (1 − p)−k. In the limit where u

v<< (1 − p) << 1,

we can thus write the approximate renormalization group equation

x(τ) ≈ (1 − p)x(λτ) + g(τ) , (48)

where we have set λ ≡ vu

and g(τ) is some regular function taking into account variouslocal effects that correct the main scaling. Notice the similarity with (39). Becausethis renormalization group equation can be written only at scales which are powersof λ, we are back to the situation discussed before. We see in particular that x ∼ τ ν

with

ν =log(1 − p)

log(u/v)+ i

2πn

log(u/v). (49)

This result for the exponent ν turns out to be exact. Furthermore, the range ofparameters over which this holds is much larger than suggested by this intuitiveargument. More precisely, as soon as u

v< (1−p), one finds x(τ) ∼ τ νP ( log τ

log(v/u)), where

ν = log(1−p)log(u/v)

and P is a periodic function of unit period. This prediction is remarkably

well-confirmed by numerical simulations and recovers the exact calculation of [50].This is shown in figure 3.

These log-periodic oscillations are not artifacts of 1D-systems as random walkswith a fixed bias direction on randomly diluted 3D-cubic lattices far above the per-colation threshold have been found to exhibit log-periodic oscillations in the effectiveexponent versus time [56]. These log-periodic oscillations stem from an Arrheniusexponentiation of a discrete spectrum of trapping well depths, leading to a discretehierarchy of time scales. This mechanism is very similar to the previous one. Similarresults have been found also for two-dimensional systems under the same conditions[57]. Julia Draeger in Hamburg has also found log-periodic oscillations above the two-dimen- sional percolation tthreshold with topological bias in diffusion, emphasized byHavlin and Bunde a decade ago. The topological bias has not a fixed direction likean electric field, but points along the local direction of the shortest distance (moreappropriate for hydrodynamic flow).

This mechanism for generating log-periodic oscillations makes use of an interplaybetween dynamics and quenched randomness leading to a regime where the dynamics

7and not τk ∼ kv

u. This is due to the fact that the walker goes back many times before escaping

from the cluster of size k.

Page 21: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

is highly intermittent. The presence of the discrete lattice and the mesh size is es-sential. This can be generalized : when the property of a system depends on extremefluctuations which have a size or amplitude equal to a multiple of a characteristicmesh size, log-periodic oscillations can be expected. This mechanism thus appliesalso to the Lifshitz singularities in random systems : exact calculations in randomharmonic one-dimensional chains exhibit a (log-)periodic factor in the Lifshitz essen-tial singularity occuring near the van Hove band-edge in the density of state [51].Intuitively, in the language of harmonic chains [51], this essential singularity stemsfrom the fact that the existence of a mode with a frequency close to the maximalfrequency demands a large region containing light masses only. Similar intermittentamplification processes have also been studied in [52, 53]. Log-periodicity found inthe solutions of boolean delay equations [54, 55] stems from a similar mechanism.

Let us also mention Ref.[58] who report log-periodic oscillations in the survivalprobability for particles at the interface between an accelerator mode and the chaoticsea in the kicked rotor probelm. The log-periodicity seems to be reinforced by quan-tum effects. Its origin could be the existence of a regular time scale, the kicking time,which plays the role of a ultraviolet cut-off and the anomalous trapping/accelerationleads to an exponentiation of this arithmetic (i.e. additive) discrete time scales. Thusdiscrete scale invariance comes here from the same type of exponentiation of a discretetranslational invariance, as before.

5.3 Cascade of ultra-violet instabilities : growth processesand rupture

5.3.1 Log-periodicity in the geometrical properties

Numerical analysis of large diffusion-limited-aggregates have uncovered a discrete

scaling invariance in their inner structure, which can be quantified by the introduc-tion of a set of complex fractal dimensions [15]. The values of the complex fractaldimensions can be predicted quantitatively from a renormalization group approachusing the quasi-periodic mapping found in [59].

A theoretical investigation of a simplified model of DLA, the needle problem,which is also of direct application to crack growths has been done to identify theunderlying physical mechanism [60]. Based on perturbative analysis and some exactresults from the hodograph method in the 2D conformal plane, we find that the twobasic ingredients leading to DSI are the short wavelength Mullins-Sekerka instability8 and the strong screening of competing needles. The basic simple picture thatemerges is that non-linear interactions between the unstable modes of the set ofneedles lead to a succession of period doubling, the next sub-harmonic catching upand eventually screening the leading unstable mode. The succession of these perioddoubling explains the existence of discrete scale invariance in these systems. We thusthink that short wavelength instabilities of the Mullins-Sekerka type supplementedby a strong screening effect provides a general scenario for the spontaneous formationof log-periodic structures. This scenario provides, in addition, an explanation for theobservation of a prefered scaling ratio close to 2.

8The Mullins-Sekerka instability is nothing other than the “lightning rod effect” well-known inelectrostatics, according to which large curvature concentrate the gradient of the potential field.Here, the growth velocity is proportional to the gradient of the concentration field.

Page 22: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

Numerical simulations of the needle problem, using various growth rules (DLA,angle screening, η-model, crack approximation) on systems containing up to 5000needles confirm clearly the proposed scenario, as shown in figure 4. The density ofneedles as a function of the distance to the base presents clear evidence of log-periodicmodulations of the leading algebraic decay. Geological data on joints competing intheir growth in a similar fashion also exhibit approximately the log-periodic structure[60, 61]. [62, 63] present further data on joints which, in our eyes, exhibit clearlylog-periodicity, even if the authors were not aware of the concept. Various previousinvestigation of the growth of arrays of cracks have shown the log-periodic structures,even if the authors neither point it out nor explained the mechanism [64, 65].

What we learn by comparing these different systems, with various growth rules, isthat the spontaneous formation of DSI seems robust with respect to significant modi-fications. The improvement of our understanding of DLA resides on the identificationof a spontaneous generation of an approximately discrete cascade of Mullins-Sekerkainstabilities from small scales to large scales. This discreteness results from a cascadeof mode selections by a nonlinear nonperturbative coupling between modes of growth[60]. Let us mention that, in the early eighties, Sadovskiy et al. have argued for theexistence of a discrete hierarchy in fracture and rock properties [66], with a preferedscaling ratio around 3.5. Borodich [67] discusses the use of parametric-homogeneousfunctions for a parcimonious mathematical representation of structure presenting ahierarchy of log-periodicities.

In their theoretical analysis, Ball and Blumenfeld [69] predicted logarithmic os-cillations in quasi-static crack growth, probably one of the very first example of suchoscillations in non-tree structures. First, they coarse-grained a quasi-static growingcrack as a wedge and found the behavior of the stress field around it. Then, theyshowed through a linear stability analysis that there is an instabitily to growth ofbranches where the stress is locally high. In this, it is conceptually similar to the DLAinstability with respect to a locally high gradient of the field near the interface. Thenthey argued that because of this instability the dynamics couple to sub-dominantterms in the stress field to generate branches. So looking into what are the strongestsubdominant terms, they could identify the behaviour of the branching. These termshappened to have the functional form

Sn = An ran+ibn ,

where An, an(< 0), and bn are numbers and Sn is the stress due to the contributionof the n-th term in the expansion of the stress field. Their argument was that, sincethese terms exhibit logarithmic oscillations, then so will the branching in the crackingpattern, resulting in a growing dendrite with logarithmically periodic branches.

Let us finally mention that the distribution of avalanche strengths in the trainmodel, a variant of the Block-Spring Burridge-Knopoff model of earthquakes pulledat one extremety, is a powerlaw times a log-periodic function [70]. This reflects thespontaneous formation of a discrete hierarchy. In this model, the prefered scaling ratioin the length size of the avalanches is equal to 2. The moving blocks obey a discretewave equation with attenuation at large velocities. A non-local cellular automatamodel retrieves the results and is defined so as to mimick the behavior of the trainmodel. The main point is that the active sites of the cellular automata obey a discreteLaplace equation. In the overdamped approximation valid for large attenuation, the

Page 23: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

train model is also in this regime. The discrete hierarchy of the sliding events reflectsthe instabilities of the growth processes controlled by the Laplace equation

5.3.2 Log-periodicity in time

A growing body of evidences indicate that the log-periodic oscillations appear inthe time dependence of the energy release on the approach of impending rupture inlaboratory experiments [22], numerical simulations [68] and earthquakes [18, 19, 20,21, 71, 72, 73]. It is thought that a similar type of cascade, from progressive damageat small scale to coalescence and unstable growth, is controlling the appearence oflog-periodicity. The typical time-to-failure formula used in these works is

E ∼ (tr − t)m[1 + Ccos

(2π

log(tr − t)

log λ+ Ψ

)], (50)

where E is the energy released or some other variable quantifying the on-going dam-age, tr is the time of rupture, m is a critical exponent, and Ψ is a phase in thecosine that can be get rid of by a change of time units. It has been found thatthe log-periodic oscillations enable a much better reliability of the prediction due to“lock-in” of the fit on the oscillating structure. Physically, the oscillations containinformation on tr and thus help significantly in its determination. A link betweenlog-periodicity in space and in time is given in [74]. A typical fit by expression (50)to acoustic emission data is presented in figure 5.

5.4 Cascade of structure in hydrodynamics

Moffatt [75] has studies similarity solutions for the flow of a viscous fluid near a sharpcorner between two plates on which a variety of boundary conditions are imposed.For this, one has to solve the biharmonic Stokes equation for the stream functionwhich admits separable solutions in plane polar coordinates (r, θ) : Ψ = rα fα(θ).For angles between the two plates less than 146 degrees, the exponent α has beenshown to be necessarily complex [76]. Moffatt has shown that this result can beinterpreted as implying the existence of an infinite sequence of eddies near the corner.It is interesting that viscosity, usually a damping mechanism, is here responsible forthe generation of a geometrical progression of eddies. The damping has the effect,however, to give a large ratio (typically greater than 300) of the intensities betweensuccessive eddies.

Recent experiments and analysis both numerical and analytical of droplet fissionshows the existence of iterated instabilities that develop a discrete scale invariance.The reason for self-similarity is that, near breakoff, the droplet radius becomes muchsmaller than any other length scale, so that the shape of the interface becomes inde-pendent of these scales. Numerical simulations of the corresponding hydrodynamicequations with a weak noise source show that necks and blobs form repeatedly onsmaller and smaller scales as the interface breaks [77]. These instability cascades areonly observed for fluids with a viscosity greater than 1 P . The mechanism behindthis cascade of instabilities is that, immediately before a neck forms, the thinnest sec-tion of the interface is well approximated by the similarity solution. The nonsteadysingularity results from repeated instabilities of the similarity solution due to thermalcapillary waves.

Page 24: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

5.5 Deterministic dynamical systems

5.5.1 Cascades of sub-harmonic bifurcations in the transition to chaos

An area where log-periodic structures should be expected is low-dimensional dynami-cal systems exhibiting the Feigenbaum sequence of subharmonic bifurcations to chaos[78]. Indeed, this route to chaos can be understood from an asymptotically exact dis-

crete renormalization group with a universal scaling factor. The existence of thisprefered scaling ratio should thus lead to complex exponents and log-periodic oscilla-tions around the main scaling as the dynamics converges to the invariant Cantor setmeasure at criticality. It was noticed quite early [79] that the length of the stable pe-riod diverges as a power law with log-periodic modulations as the control parameterapproaches the transition to chaos. Argoul et al. [80] have studied the transitions tochaos in the presence of an external periodic field and show figures exhibiting veryclearly that the Lyapunov exponent has a power dependence with log-periodic oscil-lations as a function of the amplitude of the external field. Similarly, the topologicalentropy at the onset of pruning in generalized Baker transformations is a power lawfunction of the distance to the onset of pruning with log-periodic oscillations [81].The oscillations are due to the self-similar structure of the Cantor set forming theattractor [79].

5.5.2 Two-coupled anharmonic oscillators

Consider the Hamiltonian

H =p2

2+α

4(q2 − b2)2 +

P 2

2+

1

2Ω2 u2 +

1

2g u (q2 − b2) , (51)

where (P, u) and (p, q) are the two conjugate pairs of (momentum, displacement) forthe two degrees of freedom u and q. The Hamilton-Jacobi equation of motion are

d2q

dt2+ α q (q2 − b2) + g u q = 0 (52)

d2u

dt2+ Ω2 u+

1

2g (q2 − b2) = 0 . (53)

Suppose that q is observable while u is not. One can see the problem as the motionof a single particle in the time dependent potential

Veff =α

4(q2 − b2)2 +

1

2Ω2 u2 +

1

2g u (q2 − b2) , (54)

where u(t) is a time-dependent parameter responding to the particle position q(t).The quartic potention Veff exhibits two wells and the particle oscillates between ina chaotic fashion for sufficiently large coupling g. West and Fan [82] have shownthat this system is chaotic with positive Lyapunov exponent for sufficiently largecoupling g. More interestingly, the spectrum of q(t), equal to the Fourier transformof the correlation function 〈q(t)q(t+ τ)〉, is found to be a power law ∼ k−2 with log-periodique modulations. These modulations are best seen in the so-called “rescaledrange analysis” introduced by Hurst [83], which emphasizes the extremal fluctuationsof the signal and thus the observation of the modulations. The log-periodic oscilla-tions disappear progressively at large time scales, due probably to the fact that they

Page 25: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

constitute a correction to scaling. Intuitively, one can propose the following qualita-tive understanding. The time-dependence of u makes the dynamics chaotic and alsomodulates the height of the barrier separating the two wells close to ±b. For a givenheight and in the presence of chaotic behavior, one can expect a kind of Arrheniusactivated behavior controlling the time of passage from one well to the other. Thelog-periodicity would then result from a discrete possible sets of values of u at whichthis cross-over occurs. Further analysis is needed to ascertain this mechanism.

5.5.3 Near-separatrix Hamiltonian chaotic dynamics

In a series of papers, Zaslavsky et al. (see [84] for a review) have introduced a renor-malization group transform for Hamiltonian dynamical systems with a saddle-point(separatrix) presenting a logarithm dependence of the period of periodic orbits as afunction of the distance in energy scale to the saddle-point. The scale transforma-tion performed in the renormalization group analysis corresponds to change both thestrength ǫ of the perturbation applied to the system and the distance h to the saddle-point. In analogy with usual critical points, ǫ plays the role of the scale L at whichthe systems is coarse-grained and h is the distance to the critical point. For the har-monically perturbed pendulum and for the motion of two particles in a fourth-orderpolynomial potential, the renormalization group involves a prefered scaling ratio λfor the scale transformation (eq.3.17 and eq.4.14 in [84]). In the language of this re-view, this corresponds to having a discrete scale invariance. The consequence is thatsuitable observables should have complex critical exponents and the signals shouldbe decorated by log-periodic signatures.

5.6 Animals

We have notice [10] that, in contrast to common lore, complex critical exponentsshould generally be expected in the field theories that describe geometrical systems,because the latter are non unitary. In particular, evidence of complex exponents inlattice animals, a simple geometrical generalization of percolation has been presented[10]. The model of lattice animals is the most natural generalization of the percola-tion model, which itself is the prototype of disordered systems. The animal problemis the statistics of connected clusters on a lattice [85, 86] and thus also describes un-rooted branched polymers. Using transfer matrix techniques, the number of unrootedbranched polymers of size N is found to exhibit a correction to the main scaling witha complex exponent.

Recall that in the percolation problem, bonds are occupied with a probability pand unoccupied with probability 1−p. For a given configuration, connected parts arecalled clusters. To study the statistics of one percolation cluster, one can sum over allconfigurations for the bonds that do not belong to this cluster nor to its perimeter.Since they are either occupied or inoccupied, the sum over all configurations just givesa unit weight. Hence in percolation, clusters are simply weighed with pNb(1 − p)Np

where Nb is the number of bonds in the cluster, Np the number of bonds of theperimeter. Now the animal problem is a more general model where a cluster isweighed by pNbqNp with general values of p, q. By varying p, q a critical point ismet which is always in the same universality class of so-called animals. Only whenp + q = 1 is this critical point in a different universality class, percolation, which

Page 26: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

therefore can be considered as a tricritical point in the animals parameter space.The result of the analysis of [10] is that the number TN of unrooted branched

polymers of size N in the plane is given by

TN ≈(

1

pc

)N [Nν(2−2X1)−3 + cNν(2−2X2,R−3) cos (2X2,Iν logN + φ)

], (55)

where ν is the radius of gyration exponent, ν ≈ 0.64. Recall that the leading termin (55) is actually known exactly ν(2 − 2X1) − 3 = −1 [87]. Hence we see log-periodic terms to appear in the next to leading behaviour of TN . Unfortunately,since conformal invariance is broken, this argument does not allow us to make anypredictions on the amplitude of these terms, which might well be very small. TheDLA problem is much more favorable in that respect probably due to enhancementeffects stemming from the long-range interactions of Laplacian fields.

5.7 Quenched disordered systems

Renormalization group analysis of a variety of spin problems with long-ranged quenchedinteractions have found complex critical exponents [88, 89, 90, 91, 92]. However, theseauthors have in general remained shy as to the reality of their results. Indeed, onecould argue that uncontrolled approximations (present in all these works) rather thanphysics could be the cause of the complex exponents. Derrida and Hilhorst have alsofound log-periodic corrections to the critical behavior of 1D random field Ising modelat low temperature by analyzing products of random non-commutative matrices [93].

With the qualitative understanding of the ultrametric structure of the energylandscape of spin glasses [94, 95] in the mean field approximation, one could conjecturethat these above results could be the observable signature of the hierarchical structureof energy states in frozen random systems. The problem is that, even if hierarchical,the ultrametric structure is believed to be continuous and it is not clear what couldproduce the discrete scale symmetry. It is generally believed that such topology occursmore generally in other complex systems with highly degenerate, locally stable states[96]. However, much works remain to be done to clarify this problem. The additionalpresence of long-range interactions complicate the matter further.

A dynamical model describing transitions between states in a hierarchical systemof barriers modelling the energy landscape in the phase space of meanfield spinglassesleads again to log-periodic corrections to the main log t behavior [10].

Let us also mention that mth critical Ising models (m = 1 for the Gaussian model,m = 2 for Ising, m = 3 for tricritical Ising, ...) have a free energy exhibiting log-periodic oscillations as a function of the control parameter for large m, a signatureof the geometrical cascade of multicritical points [97, 98, 99, 10].

6 OTHER SYSTEMS

6.1 The bronchial tree

It has been pointed out that the morphology of the bronchial airway of the mam-malian lung is roughly hierarchical leading to a log-log plot of the average diameterof a branch of a mammalian lung (for human, dog, rat and hamster) as a function

Page 27: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

of the branch order which exhibits a full S-oscillation (log-periodic) decorating anaverage linear (power law) dependence. This fractal structure has been argued toallow the organ to be more stable with respect to disturbance [100, 101, 102, 103]but the physical mechanism underlying its appearence is not understood.

6.2 Turbulence

Probably the first theoretical suggestion of the relevance of log-periodic oscillations tophysics has been put forward by Novikov to describe the influence of intermittency inturbulent flows [6]. The idea is that the DSI could stem from the existence of a pref-ered ratio in the cascade from large eddies to small ones. The existence of log-periodicoscillations has not been convincingly demonstrated as they seem quite elusive andsensitive to the global geometry of the flow and recirculation [104, 105]. Shell modelsof turbulence, which have attracted recently a lot of interest [106] construct explicitelya discrete scale invariant set of equations. In these models, self-similar solutions ofthe cascade of the velocity field and energy in the discrete log-space scale have beenunravelled [107], whose scaling can be related to the intermittent corrections to Kol-mogorov scaling. We note that some of these solutions rely on the discrete scalingshell structure and would disappear in the continuous limit. However, the relevanceof these discrete hierarchical models and more generally of log-periodic oscillationshave not been explored systematically and their confirmation in turbulence remainsopen.

Based on theoretical argument and experimental evidence, the author has con-jectured that structure functions of turbulent times series exhibit log-periodic mod-ulations decorating their power law dependence [108]. In order to provide ironcladexperimental evidence, we stress the need for novel methods of averaging and proposea a “canonical” averaging scheme, amounting to condition the average of structurefactors of turbulent flows on local maxima of the energy dissipation rate or the energygradient. The strategy is to determine the scale rc at which the dissipation rate isthe largest in a given turn-over time series. This specific scale rc translates into aspecific “phase” in the logarithm of the scale which, when used as the origin, allowsone to phase up the different measurements of a structure factor Sp(r) = Ap(ǫr)

p/3 indifferent turn-over time realizations. We expect, as in Laplacian growth and in rup-ture, that the log-periodic oscillations will be reinforced by this canonical averaging.Demonstrating unambiguously the presence of log-periodicity and thus of discretescale invariance (DSI) in turbulent time-series would provide an important step to-wards a direct demonstration of the Kolmogorov cascade or at least of its hierarchicalimprint.

6.3 Titius-Bode law

Dubrulle and Graner [109] have noticed that the Titius-Bode law of planets distanceto the sun rn = r0K

n with K ≈ 1.7 can be seen a discrete scale invariant law (Kthen plays the role of λ in our notation). They show that all models that havebeen proposed to explain the Titius- Bode law share the common ingredient of scalesymmetry. Assuming a discrete symmetry breaking in the rotation invariance, theythus show that any such mechanism is compatible with the Titius-Bode law. As aconsequence, this law cannot a priori be used to constraint the mechanism of planet

Page 28: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

formation and their organization around the sun. What is however not understoodis the physical mechanism, if any, at the basis of the breakdown of continuous todiscrete scale invariance embodied in the Titius-Bode law.

6.4 Gravitational collapse and black hole formation

Choptuik [110] has recently shown that, in contrast to the general view, black holes ofmass smaller than the Chandrasekkar limit could be formed and that, in the process offormation, the solutions would oscillate periodically in the logarithm of the differencebetween time and time of the formation of the singularity. This gravitational collapseis an example of critical behavior, describing how the mass M of the black holedepends on the strength p of the initial conditions : M ∼ (p − p∗)γ for p > p∗ and0 otherwise, where p∗ is the threshold value. It has been shown that classical close-to-critical black holes (obeying Einstein’s equations) coupled to a massless complexscalar field have a leading real exponent γR and a subleading complex exponent [110],which would correspond to a log-periodic spectrum of masses. Alternatively, the realand complex exponents control the time development of the black hole instabilitywhich is also log-periodic in time, corresponding to continuous phase oscillations ofthe field.

6.5 Spinodal decomposition of binary mixtures in uniformshear flow

Corberi et al. [111] have studied the phase separation kinetics of a binary mixturesubjected to an uniform shear flow quenched from a disordered to a homogeneousordered phase. They used the time-dependent Ginzburg-Landau equation with anexternal velocity term. They find numerically that the typical sizes of domains inthe directions parallel and orthogonal to the direction of the shear as well as theexcess viscosity exhibit log-periodic oscillations as a function of time that decoratethe scaling laws. They have discovered this behavior from the numerical integrationof the Langevin equation for the evolution of the system. From a theoretical pointof view, the authors do not have an explanation for the log-periodic behavior ofthe scaling functions (private communication). They interpret these log-periodicoscillations as due to a growth mechanism where stretching and break-up of domainsoccurs cyclically in ln t. They have performed a one-loop perturbation approximation,which together with the fact that (1) the natural time variable is ln t and (2) thescaling function is assumed periodic allows them to retrieve the log-periodicity of theirnumerical simulations. This is a first step, but it does not provide a mechanism forlog-periodicity since it has been “put by hand” in the scaling ansatz. It is particularlyinteresting that the alternative stretching and break-up lead to this cascade of scales.It would be of interest to pinpoint the underlying physical mechanism by while aprefered scale ratio is selected.

6.6 Cosmic lacunarity

The present observable distribution of galaxies in space provides a signature of theirformation and interaction. There is an undergoing controversy on the nature ofthe spatial distribution of galaxies and galaxy clusters in the universe with recent

Page 29: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

suggestions that scale invariance could apply [112]. Recently, evidence of “cosmiclacunarity” has been presented [113] : the prefactor of the power law dependenceof the qth moment of the spatial galaxy distribution oscillates periodically with thelogarithm of the distance r with the same periodicity for q = 2, 3 and 4. The corre-sponding scaling factor is around 21.6 ≈ 3. A similar log-periodic oscillation has beensuggested much earlier [114] with approximately the same scaling ratio. F. Combes(private communication) cautions that all previously announced periodicities (notlog-periodicity) have finally been proven wrong. There are many bias in the data andwe have access only to the luminosity, not directly to the masses. Furthermore, F.Combes argues that, since the existence of a prefered scaling ratio needs to “nucle-ate” from either a small scale (like in DLA where the small scale is the size of theparticles) or from a large scale (maybe like turbulence), it is not obvious what shouldbe these cut-off scales in the present case.

6.7 Rate of escape from stable attractors

Let us also mention the recently discovered log-periodic behavior of the rate of escapefrom a stable attractor surrounded by an instable limit cycle as a function of thestrength of the white noise [115]. This is an example where the rate of escape, ascalculated from a Fokker-Planck equation, is non-Arhenius.

6.8 Interface crack tip stress singularity

Complex singularities are also found in the divergence of the stress as a function ofthe distance to the tip of a crack at the interface between two different elastic media[116]. The standard σ ∼ r−

1

2 singularity, where r is the distance to the crack tip andσ is the stress, is replaced by

σ ∼ r−1

2+iω , (56)

where

ω =1

2πlog( κ1

µ1+ 1

µ2

κ2

µ2+ 1

µ1

). (57)

Subscript 1 and 2 refer to the material in y > 0 and y < 0, respectively; κ = 3 − 4νfor plane strain and κ = 3−ν

1+νfor plane stress, ν is the Poisson ratio and µ is the

shear modulus. Interface cracks have important practical applications since inter-faces between composite media are often the locii of damage nucleation leading tothe incipient rupture. The existence of this complex singularity suggests that themechanism of damage and rupture at interfaces could be quite different from thatin the bulk [117]. Following this work, a wealth of studies have followed (see [117]and [118] and references therein), but the physical understanding of the appearanceof a complex critical singularity has remained elusive. Since the solution shows thatthe two modes of deformations in tension and shear (modes I and II) are intrinsi-cally coupled for an interface crack in constrast to what happens for a crack in anhomogeneous medium, one could hope to identify the physical origin of the com-plex exponent in this coupling. Let us also mention that the pressure distributionas a function of distance to the corner in the Hertz problem of two different elasticspheres compressed against each other is also described by a power law with complexexponent [119].

Page 30: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

See also section 5.3.1 on Log-periodicity in the geometrical properties, which refersto the work of Ball and Blumenfeld [69].

6.9 The Altes’wavelet and optimal time-scale product

The Altes wavelet has a log-periodic structure, with a local frequency varying hyper-bolically. It has the remarkable property of minimizing the time-scale uncertainty, inthe same sense as the Gaussian law minimizes the time-frequency uncertainty. As willbecome clear below, it also has the nice property that differentiating it correspondsto dilate it by a fixed factor.

Consider a signal U(t) with Fourier transform U(ω). Let us define

En ≡ 1

∫ +∞

−∞dω |(jω)n U(ω)|2 (58)

as the energy of the nth signal component. Then

Vn(ω) =(jω)n U(ω)√

En

(59)

is an energy-normalized signal component. The rational to study Vn(ω) is that itcorresponds to the normalized spectrum of the nth derivative of the signal U(t). Theanalysis of the signal U(t) through the different n components Vn(ω) corresponds toanalyse the different derivatives of the signal.

Let the mean-square bandwidth of the function (jω)n U(ω) be

W 2n ≡

∫ +∞−∞ dω1 ω

21 |(jω1)

n U(ω1)|2∫+∞−∞ dω2 |(jω2)n U(ω2)|2

. (60)

It is easy to verify from the Schwarz inequality that [120]

W 2n ≥W 2

n−1 . (61)

This result means that the band-width increases upon differentiating the functionU(t). Altes proposed to measure signal and filter complexity in terms of time-bandwidth product T W . Equation (61) says that increasing n will result in a largerW , and in many cases T W will also increase. The components Vn(ω) will thusgenerally become more complicated and more difficult to analyse as n increases.

The idea of Altes [120] is to postulate a signal with constant T W :

Tn Wn = Tn−1 Wn−1 . (62)

This signal must have a root-mean-square duration T that decreases when the timefunction is differentiated. The solution is that Vn(ω) satisfies

Vn(ω) ∝ Vn−1(ω/k) , where k > 1 . (63)

Indeed, from (63), Wn = k Wn−1 and Tn = Tn−1/k. The complexity of the compo-nents is the same : the inevitable bandwidth increase is compensated by a propor-tionate decrease in duration.

Page 31: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

It follows from (63) that

Vn(ω) ∝ V0(ω/kn) , (64)

leading toωn U(ω) ∝ U(ω/kn) . (65)

Specifying the constant which can depend on n leads to

ωn U(ω) = C(n) U(ω/kn) . (66)

This functional equation is very similar to the renormalization group equation previ-ously encountered. The difference stems essentially from the fact that the constantC(n) can depend on n. In the present approach, instead of changing the scale, wechange the order n of derivation of the signal, which corresponds to changing theweight ωn of the components. This corresponds to putting more and more weight tothe high frequencies, and thus, decreasing n is like a coarse-graining. Then, the con-dition (62) of equal complexity for all components provides the self-similar functionequation (66). The solution of this functional equation is [120]

U(ω) = A ων exp(−[(lnω)2

2 ln k

])exp

(j2πc lnω

ln k

), (67)

where

ν = ReC′(0)

k, 2π c = ImC ′(0) , (68)

A is a constant and

C(n) = knν+ n2

2 ej 2π nc . (69)

The origin of the log-periodicity of the waveform given by (67) is clear : it is the con-junction of the fact that derivative orders n are integers and that each additional orderof the differentiation acts exponentially on the frequency spectrum as proportional toωn. This example is thus again a conversion of discrete translation to discrete scalingby an exponentiation mechanism.

U(t) has a waveform which is a function of the parameters ν, k, c. The parameterk determines the spectral width, a larger k implies a greater bandwidth. k alsodetermines how much stretched is caused when the Fourier transform is multipliedby (jω)n, i.e. under n derivatives of U(t). The parameter c determines the slope ofthe spectral phase function and is related to the “chirp” that appears in the timeswaveform. A larger value of c leads to more zero crossings. It can be shown thatthe waveform (67) is optimum as having a lack of Doppler coupling and a maximumDoppler tolerance [120]. Note that, by construction, all the components Vn(ω) havethe same ratio of center frequency to bandwidth. Remarkably, these waveforms (67)are very similar to those employed by animal sonars, such as bats and dolphins.

6.10 Orthonormal Compactly Supported Wavelets with Op-timal Sobolev Regularity

Ojanen [121] has recently presented a new construction of an orthonormal compactlysupported wavelets with Sobolev regularity exponent as high as possible among those

Page 32: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

mother wavelets with a fixed support length and a fixed number of vanishing mo-ments. The increased regularity is obtained by optimizing the locations of the rootsthe scaling filter has on the interval [π/2, π]. The obtained wavelets have a discretescale invariant structure, as is apparent from their examination. This is also seendirectly by their construction.

To construct orthonormal compactly supported wavelets, Ojanen uses as the start-ing point the discrete dilation equation

φ(x) =√

2∑

k∈Z

ckφ(2x− k), x ∈ R, ck ∈ R, (70)

for the scaling function or father function φ. A solution exists in the sense of distri-butions when

∑k ck =

√2 and it has compact support if only finitely many of the

filter coefficients ck are non-zero (in fact, if ck 6= 0 only for k ∈ 0, . . . , n then thesupport of φ is contained in [0, n]). The solution of the dilation equation is given by

φ(ξ) =∞∏

j=1

m0(2−jξ), (71)

where the trigonometric polynomial m0(ξ) is the scaling filter of φ,

m0(ξ) =1√2

k∈Z

cke−ikξ. (72)

The condition when the solution to 70 yields wavelets can be expressed in termsof the scaling filter m0(ξ). If m0 satisfies

|m0(ξ)|2 + |m0(π + ξ)|2 = 1, ξ ∈ R, (73)

m0(0) = 1, and a technical condition called the Cohen criterion holds, then thereexists a scaling function and wavelet pair.

If φ is such that it gives rise to a wavelet, the wavelet ψ is obtained by

ψ(x) =∑

k∈Z

(−1)kc1−kφ(2x− k). (74)

Note that then φ and ψ have the same regularity properties.The original construction of orthonormal compactly supported wavelets by Daubechies

[122] considers a trigonometric polynomial m0 with at most 2N non-zero coefficientsc0, . . . , c2N−1. The polynomial m0 is required to satisfy 73 and to have a zero atπ of maximal order N (the order of the zero is also the number of vanishing mo-ments the corresponding wavelet has). The resulting equations can be solved and theconstructed m0 has no roots on (−π, π), hence it satisfies the Cohen criterion.

To construct smoother wavelets, Ojanen’s approach is to reduce the order of thezero m0 has at π and instead to introduce zeros on the interval [π/2, π]. KeepingN and the number of zeros on [π/2, π] fixed, Ojanen uses numerical optimizationto choose the locations of the roots so that the resulting wavelets are as smooth aspossible. He is thus able to construct wavelets that are more regular than thoseintroduced in [122, 123, 124].

Page 33: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

6.11 Eigenfunctions of the Laplace transform

Log-periodicity and complex exponents play a very important role in integral equa-tions of the type g(τ) =

∫∞0 K(vτ)p(v)dv, with 0 ≤ τ < ∞ where the kernel K has

the property∫∞0 |K(x)|x−1/2dx < ∞. This class of equation includes the Laplace

transform, the Fourier sine and cosine transforms and many other integral equa-tions of importance in physics. It is notorious that the inversion problem of gettingp(v) from the measurement of g(τ) is ill-conditioned. This can be seen to resultfrom the form of the eigenfunctions and eigenvalues of the Laplace transform andsimilar dilationally invariant Fredholm integral equation [126]. For instance, theeigenfunctions of the Laplace transform, which form a complete orthogonal basis, areφ+

ω (v) = v−1/2 cos(ω ln v − θω) and φ−ω (v) = −v−1/2 sin(ω ln v − θω), where θω is a

function of ω. The eigenvalues are exponentially decreasing with ω and this controlsthe ill-conditioned nature of the Laplace inversion. The log-periodicity of the eigen-functions lead to an optimal sampling determined by a generalized Shannon theoremwhich obeys a geometrical series [127].

6.12 Life evolution

A very intringuing study has been performed by Chaline et al [128], who have foundthat the fossil equine of North America, the primates and the rodents have followedan evolution path puntuated by major events that seem to follow a geometrical timeseries of the type (75), with a prefered time scale factor λ ≈ 1.7. Using t-studentstatistics and Monte-Carlo tests, Chaline et al. find a very high statistical significance.The critical time tr is roughly the present for the equines, in agreement with theextinction of this species in North America ten thousand years ago (which is veryshort compared to geological time scales), about two millions years in the future forthe primates and between 10 to 60 millions years in the future for the rodents. Themain problem is to ascertain that the determination of the times of the major eventshas been done independently from the mathematical analysis. Otherwise, this leadsto a well-known statistical bias and the statistical significance of these results loosesits meaning.

7 APPLICATIONS

7.1 Identifying characteristic scales

In our opinion, the main interest in identifying log-periodicity in data is the charac-terization of the characteristic scales associated to it. Indeed, it must be clear thatthe log-periodic corrections to scaling imply the existence of a hierarchy of character-istic scales (in space or time). For instance, in the time-to-failure analysis given by(50), the hierarchy of time scales is determined by the local positive maxima of thefunction E. They are given by

tr − tn = τλn2 , (75)

where τ ∝ exp(− log λ2πtan−1 2π

m log λ). The spacing between successive values of tn ap-

proaches zero as n becomes large and tn converges to tr. This hierarchy of scalestr − tn are not universal but depend upon the specific geometry and structure of the

Page 34: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

system. What is expected to be universal are the ratios tr−tn+1

tr−tn= λ

1

2 . From threesuccessive observed values of tn, say tn, tn+1 and tn+2, we have

tr =t2n+1 − tn+2tn

2tn+1 − tn − tn+2. (76)

This relation applies the Shanks transformation to acceleration of convergence ofseries. In the case of an exact geometrical series, three terms are enough to convergeexactly to the asymptotic value tc. Notice that this relation is invariant with respectto an arbitrary translation in time. In addition, the next time tn+3 is predicted fromthe first three ones by

tn+3 =t2n+1 + t2n+2 − tntn+2 − tn+1tn+2

tn+1 − tn. (77)

These relations have been used in [35, 21, 71]. Physically, time or space scales giveus access to additional information and clues about the underlying processes and theexistence of a hierarchy of prefered scales, as in DSI, will tell us something about theunderlying processes. This is lost in usual critical behavior in which all scales aretreated as playing the same role.

7.2 Time-to-failure analysis

Another important application of log-periodicity is its use in making more robustand precise time-to-failure analysis. We have already mentionned the importance oflog-periodicity for predictions [18, 19, 21, 22, 23, 25]. The derived time-to-failureanalysis is now being implemented for routine industrial testing in the space industryin Europe. As already mentionned, t he reason for this improvement is that a fit can“lock-in” on the oscillations which contain the information on the time of failure andthus lead to a better prediction.

7.3 Log-periodic antennas

Let us mention the engineering application of antennas using log-periodic electro-magnetic antennas [129, 130, 131, 132, 133, 134, 135]. The DSI structure provides anoptimal compromise between maximizing bandwidth and radiation efficiency.

7.4 Optical waveguides

Graded-index optical waveguides with optimized index profiles can support a familyof weakly localized modes with algebraic tails with log-periodic modulations in theevanescent field [125]. The log-periodic oscillations result from an interplay betweenthe critical nature of the modes and absorption (complex index of refraction). Thiscould have applications in techniques using evanescent waves.

8 OPEN PROBLEMS

Page 35: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

8.1 Nonlinear map and multicriticality

In this brief review, we have kept the analysis of the renormalization group at the levelof a linear expansion of the flow map. Taking into account the nonlinear structureof the flow map, as for instance in (35), may lead to an infinite set of singularitiesaccumulating at the main critical point or even to the whole axis of the controlparameter being critical (in the chaos regime of the flow map [136]). The question ofthe relevance of these regimes to nature is still open (see [19] for a proposed applicationto earthquakes). Generalization to several control parameters and multicritical pointswould be useful.

8.2 Multilacunarity and quasi-log-periodicity

We have seen that DSI embodies the concept of lacunarity. The set of complex expo-nents or singularities has been called multilacunarity spectrum [27]. Generalizationswith several different incommensurate log-frequencies would be of great interest andseem to appear for instance in the DLA problem [15]. Complex multifractal dimen-sion spectrum in the presence of disorder can be handled using probabilistic versionsof the renormalization group [137] and their development and impact are just emerg-ing. Note also that the set of complex exponents provides a better characterizationof the underlying multiplicative process and could improve the conditionning of theinverse fractal problem [138]. The q-derivative is a natural tool to discuss homoge-neous functions with oscillatory amplitudes. It has recently been used to describecascade and multifractal models with continuous scale changes [139]. In Ref.[140], akinetics is built upon the q-calculus of discrete dilatations and is shown to describediffusion on a hierarchical lattice.

8.3 Effect of disorder

A very important practical question is the effect of disorder and the process of aver-aging. Disorder is expected to scramble the phases of the log-periodic oscillations andit is a priori not clear whether the log-periodic oscillations are robust. It turns outthat small fluctuations around the log-periodic structure do not seem to spoil DSI,as found in many examples quoted above. For instance, in the needle DLA problem,intervals between needles were taken to fluctuate by a few percent without alteringsignificantly the log-periodic structure of the growth process [60]. DLA clusters them-selves are formed under a very strong annealed noise, corresponding to the randomwalk motion of the sticking particles. Nevertheless, clear evidence of log-periodicityin the mass as a function of radius has been found [15] giving confidence in theirrobustness with respect to disorder. This has been further substantiated by explicitcalculations [10] showing generally that the complex exponents are robust.

8.4 Averaging : grand canonical versus canonical

However, we must stress that disorder introduces a sensitive dependence of the phasein the cos log formula : different realizations have a different phase and averaging willproduce a “destructive interference” that makes vanish the log-periodic oscillations.It is thus important to carry out analysis on each sample realization separately,without averaging. For instance, in the DLA case, 350 clusters of 106 particles have

Page 36: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

each been analyzed one by one and an histogram of the main log-frequencies has beenconstructed. Theoretically, preventing averaging is a problem as one is usually ableonly to calculate quantities averaged over the different realizations of the disorder.However, it must be stressed that the fact that log-periodic oscillations are mainlypresent before averaging tells us that they are specific fingerprints of the specificsystem one is looking at. This is obviously a desirable property for prediction purposesin engineering and other practical applications. An open problem however is to deviseoptimal tools to decipher the log-periodic structures in highly noisy data, as is usuallythe case due to limitation of sizes for instance. We note also that going to very largesystems will in general progressively destroy the log-periodic structures as they areoften correction to scaling 9. Random versions of Cantor fractal sets have recentlybeen shown to exhibit robust log-periodic structures even when averaging [141].

Pazmandi et al. [144] have recently argued that the standard method of averagingcarried out in disordered systems introduces a spurious noise of relative amplitudeproportional to the inverse square root of the system size. This so-called “grandcanonical” averaging can thus destroy more subtle fluctuations in finite systems,controlled by a correlation length exponent less than 2

d(2

dis the minimum value of

the correlation length exponent that would not be hidden by the usual grand canonicalaveraging). Pazmandi et al. thus propose an alternative averaging procedure, theso-called “canonical” averaging, which consists in identifying, for each realization,the corresponding specific value of the critical control parameter KR

c . The naturalcontrol parameter then becomes ∆ = (K − KR

c )/KRc and the act of averaging can

then be performed for the samples with the same ∆. We have used this procedure toidentify log-periodicity in the elastic energy E prior to rupture in a dynamical modelof rupture in heterogeneous media. Previous works have shown that E follows a powerlaw E ∼ (tr − t)−α as a function of the time to failure [145]. Performing the usual(grand canonical) averaging over twenty different realizations of the disorder providesvery good evidence of the power law but no evidence of log-periodicity. We have thusdeveloped the following alternative averaging procedure [146]. We constructed thesecond derivative of E with respect to time for each realization, thinking of it asa kind of susceptibility. The time tRr at which this second derivative is maximumhas been identified and this point has been used as the effective value of the time trof rupture for each realization. Then, the first derivative, giving the rate of energyreleased, is averaged over all samples with the same (tRr −t)/tRr . The result is presentedin figure 6 in a log-log scale. Four to five approximately equidistant spikes (in logscale) are clearly visible. The log-period allows us to identify a prefered scaling ratioλ = 2.5 ± 0.3. It is probable that similar averaging procedures better tailored to getrid of spurious fluctuations from realization to realization will play an increasing rolein the physics of disordered and turbulent media.

8.5 Amplitude of log-periodicity

Log-periodicity is found in spin systems in hierarchical lattices. However, the effect isusually very small, typically 10−4 or less in relative amplitude. In contrast, we havefound it much stronger in rupture and growth process, typically 10−1 or so in relative

9This is often due to the disorder which can be shown to renormalize the real part of the complexexponents so that they correspond to sub-leading correction to the main scaling behavior [10, 15].

Page 37: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

amplitude. The reason is not very well understood but might stem from the strongamplification effects occurring in such Laplacian fields.

There is a situation where the factors controlling the log-periodic amplitudes areunderstood. This is the case for spin models in hierarchical networks. In this case,the free energy of the high temperature phase is in general analytic close to Tc in anon-vanishing angular sector in the complex plane. As a consequence, the Fouriercoefficients cn of the log-periodic amplitudes decay exponentially with their ordern. In practice, the first coefficient c1 is already given by the exponential law andtherefore very small (see eq.(28) in [33]). In many other cases, the coefficients cndecay more slowly, typically as powers of n, such that the Fourier sum which controlsthe amplitude of the log-periodicity does not possess a domain of analyticity. Thisoccurs for instance for the density of states of harmonic chains with random masses,both for the Lifshitz singularities at the band edges or at the Halperin singularities(cluster resonances) in the case of binary mixtures [142]. There are other caseswhere the log-periodic amplitudes may be of both types depending on what we lookat : in a chain of quantum XY spins with quasiperiodic modulated couplings, thesingularities of the density of states correspond to the first type (exponential withdomain of analyticity) while the singularities corresponding to the magnetization andthe susceptibility are of the second type (power decay and no domain of analyticity).See [37] and compare figures 3 and 4 to figures 5 and 6.

8.6 Where to look for log-periodicity

From the point of view of non-unitary field theory, we should expect generically theexistence of complex exponents. However, there is no known recipe to tell us what arethe relevant observables that will have complex dimensions. Practically, this meansthat it is not a priori obvious what measure must be made to identify log-periodicity.In other words, it is important to look carefully at available data in all imaginableangles to extract the useful information. Of course, one must always been aware ofstatistical traps that noise can be taken for log-periodicity. Analysis must thus becarried out with synthetic tests for the null hypothesis, bootstrap approach, etc (seefor instance [21, 60] for the application of statistical tests and the bootstrap methodin this context).

8.7 Prefered scaling ratio around 2?

Another puzzling observation is the value of the prefered ratio λ ≈ 2, found for awide variety of systems, such as in growth processes, rupture, earthquakes, financialcrashes. H. Saleur (private communication) has noticed that 2 is in fact the mean fieldvalue of λ obtained by taking an Ising or Potts model (with Q states) on a hierarchicallattice in the limit of an infinite number of neighbors. Consider a diamond latticewith n bonds connected to the upper and lower nodes (the usual diamond latticediscussed above has n = 2). The discrete renormalization group equation connectingK = eβJ , where β is the inverse temperature and J the coupling coefficient, from onegeneration to the next is the generalized version of (35) to n-bonds connectivity :

K ′(K) = [f(K)]n = (K2 +Q− 1

2K +Q− 2)n . (78)

Page 38: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

In the limit n → ∞ where the number of coupled nodes increases without bounds,we expect physically the ordered-disordered transition to occur at larger and largertemperature, corresponding to a fixed point of (78) K ′(K∗) = K∗ → 1. Expandingaround 1, we indeed find K∗ = 1 + Q

nasymptotically. The linearization of the

renormalization group map (78) gives K ′−K∗ = λ(K−K∗) with λ = nK∗ d log fdK

|K∗ →2 in the limit n → ∞. Can this argument be extrapolated to out-of-equilibriumsystems?

8.8 Critical behavior and self-organized criticality

Time-to-failure analysis of earthquakes seem at variance with the globally stationaryview point, for instance captured by the concept of self-organized criticality as appliedto plate tectonics [143]. Recently, it has been shown [74] that a simple model of earth-quakes on a pre-existing hierarchical fault structure exhibits both self-organizationat large times in a stationary state with a power law Gutenberg-Richter distribu-tion of earthquake sizes. In the same token, the largest fault carries irregular greatearthquakes preceded by precursors developing over long time scales and followed byaftershocks obeying the 1

tOmori’s law of the rate of seismicity after a large earth-

quake. The cumulative energy released by precursors follows a time-to-failure powerlaw with log-periodic structures, qualifying a large event as an effective dynamical(depinning) critical point. Down the hierarchy, smaller earthquakes exhibit the samephenomenology, albeit with increasing irregularities. The study of the robustness ofthis scenario for other models and situations is an open question.

Acknowledgments: I acknowlege useful discussions with J.-M. Luck and A. Proven-zale. I wish to thank my collaborators J.-C. Anifrani (Bordeaux, France), A. Arneodo(Bordeaux, France), J.-P. Bouchaud (Saclay, France), Y. Huang (USC, Los Angeles),C. Le Floc’h (Bordeaux, France), J.-F. Muzy (Bordeaux, France), W. I. Newman(UCLA, Los Angeles), G. Ouillon (Nice, France), C. Sammis (USC, Los Angeles),B. Souillard (Orsay, France), D. Stauffer (Kohn, Germany), U. Tsunogai (Tokyo,Japan), C. Vanneste (Nice, France), H. Wakita (Tokyo, Japan), who participatedon diverse parts of this work. A special mention should be given to A. Johansen(Copenhagen, Denmark) and H. Saleur (USC, Los Angeles). I am also grateful toA. Johansen for a critical reading of the manuscript. This is publication 4901 of theInstitute of Geophysics and Planetary Physics at UCLA.

References

[1] B.B. Mandelbrot, The fractal geometry of nature (San Francisco : W.H. Free-man, 1982).

[2] G.A. Edgar, ed., Classics on fractals (Addison-Wesley Publishing Company,Readings, Massachussets, 1993).

[3] D. Sornette, Discrete scale invariance and complex dimensions, Physics Reports297, 239-270 (1998).

[4] E.I. Zababakhin, Shock waves in layered systems, J. Exp. Theoret. Phys. 49,642-646 (1965).

Page 39: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[5] G.I. Barenblatt and Ya. B. Zeldovich, Intermediate asymptotics in mathematicphysics, Russian Math. Surveys 26, 45-61 (1971); Self-similar solutions as in-termediate asymptotics, Ann. Rev. Fluid Mech. 4, 285-312 (1972).

[6] E.A. Novikov, Sov. Phys. Dokl. 11, 497-499 (1966) [Dokl.Akad.Nauk SSSR168/6, 1279 (1966)]; E.A. Novikov, The effect of intermittency on statisti-cal characteristics of turbulence and scale similarity of breakdown coefficients,Phys.Fluids A 2, 814-820 (1990).

[7] Jona-Lasinio G., The renormalization group: a probabilistic view, Nuovo Ci-mento 26B, 99 (1975)

[8] Nauenberg M., Scaling representations for critical phenomena, J.Phys. A 8, 925(1975).

[9] Niemeijer Th. and J.M.J. van Leeuwen, in Phase transitions and critical phe-nomena, Vol.6, C. Domb and M.S. Green, eds. (Academic Press, London, 1976),p.425.

[10] H. Saleur and D. Sornette, Complex exponents and log-periodic corrections infrustrated systems, J.Phys.I France 6, 327-355 (1996).

[11] P. Bak, How nature works : the science of self-organized criticality (New York,NY, USA : Copernicus, 1996).

[12] M.V. Berry and Z.V. Lewis, On the Weierstrass-Mandelbrot fractal function,Proc. R. Soc. Lond. A 370, 459-484 (1980).

[13] B.R. Hunt, The Hausdorff dimension of graphs of Weierstrass functions, Proc.Am. Math. Soc. 126, 791-800 (1998); G. Landini, Is periodontal breakdowna fractal process? Simulations using the Weierstrass-Mandelbrot function, J.Periodontal Research 32, 300-307 (1997); M. VandenBerg and M. Levitin, Func-tions of Weierstrass type and spectral asymptotics for iterated sets, QuarterlyJ. Mathematics 47, 493-509 (1996); D.C. Sun and Z.Y. Wen, The Hausdorffdimension of graph of a class of Weierstrass functions, Progress in NaturalScience 6, 547-553 (1996); D. Nicoletti, Properties of the Weierstrass functionin the time and frequency domains, Chaos Solitions & Fractals 5, 1-8 (1995);T.Y. Hu and K.S. Lau, Fractal dimensions and singularities of the Weierstrasstype functions, Trans. Am. Math. Soc. 335, 649-665 (1993); J. Gerling and H.J.Schmidt, Self-similar drums and generalized Weierstrass functions, Physica A191, 536-539 (1992); J.A.C. Humphrey, C.A. Schuler and B. Rubinsky, On theuse of the Weierstrass-Mandelbrot function to describe the fractal componentof turbulent velocity, Fluid Dynamics Research 9, 81-95 (1992).

[14] D. J. Wallace, R. K. P. Zia, Phys. Lett. 48A (1974) 325.

[15] D. Sornette, A. Johansen, A. Arneodo, J.-F. Muzy and H. Saleur, Complexfractal dimensions describe the internal hierarchical structure of DLA, Phys.Rev. Lett. 76, 251-254 (1996).

[16] J. Cardy, J. Phys. A17 (1984) L385.

Page 40: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[17] S. Weinberg, What is Quantum Field Theory, and what did we think it is?(preprint hep-th/9702027); The quantum theory of fields, Cambridge ; NewYork : Cambridge University Press, 1995.

[18] D. Sornette and C.G. Sammis, Complex critical exponents from renormalizationgroup theory of earthquakes : Implications for earthquake predictions, J.Phys.IFrance 5, 607-619 (1995)

[19] H. Saleur, C.G. Sammis and D. Sornette, ”Renormalization group theory ofearthquakes”, Nonlinear Processes in Geophysics 3, No. 2, 102-109 (1996)

[20] H. Saleur, C.G. Sammis and D. Sornette, Discrete scale invariance, complexfractal dimensions and log-periodic corrections in earthquakes, J.Geophys.Res.101, 17661-17677 (1996).

[21] A. Johansen, D. Sornette, H. Wakita, U. Tsunogai, W.I. Newman and H. Saleur,Discrete scaling in earthquake precursory phenomena : evidence in the Kobeearthquake, Japan, J.Phys.I France 6, 1391-1402 (1996).

[22] J.-C. Anifrani, C. Le Floc’h, D. Sornette and B. Souillard, Universal Log-periodic correction to renormalization group scaling for rupture stress predic-tion from acoustic emissions, J.Phys.I France 5, n6, 631-638 (1995) ; J.-C. An-ifrani, A. Johansen, C. Le Floc’h , G. Ouillon, D. Sornette, C. Vanneste andB. Souillard, New approaches for exploiting acoustic emission, Proceedings ofthe 6th European Conference on Non-Destructive Testing, 24-28 october 1994,Nice, Presentation N72.

[23] D. Sornette, A. Johansen and J.-P. Bouchaud, Stock market crashes, Precursorsand Replicas, J.Phys.I France 6, 167-175 (1996).

[24] Feigenbaum, J.A., and P.G.O. Freund, Discrete scale invariance in stock mar-kets before crashes, Int. J. Mod. Phys. 10, N27, 3737-3745 (1996).

[25] D. Sornette and A. Johansen, Large financial crashes, Physica A 245, N3-4,411-422 (1997).

[26] D. Bessis, J.-D. Fournier, G. Servizi, G. Tourchetti and S. Vaienti, Phys. Rev.A 36, 920 (1987)

[27] J.-D. Fournier, G. Tourchetti and S. Vaienti, Singularity spectrum of general-ized energy integrals, Phys.lett.A 140, 331 (1989)

[28] E. Orlandini, M.C. Tesi and G. Turchetti, Corrections to the scaling laws ofintegrated wavelets from singularities of Mellin transforms, Europhysics Lett.21, 719-722 (1993).

[29] A. Kapitulnik, A. Aharony, G. Deutscher and D. Stauffer, Self-similarity andcorrelations in percolation, J. Phys. A 16, L269-L274 (1983).

[30] M.O. Vlad and M.C. Mackey, Multiple logarithmic oscillations for statisticalfractals on ultrametric spaces with application to recycle flows in hierarchicalporous media, Physica Scripta 50, 615-623 (1994)

Page 41: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[31] Bessis D., J.S. Geronimo and P. Moussa, J.Physique-Lett. 44, L977-L982 (1983)

[32] Doucot B., W. Wang, J. Chaussy, B. Pannetier and R. Rammal, Phys. Rev.Lett. 57, 1235-38 (1986).

[33] B. Derrida, L. De Seze and C. Itzykson, Fractal structure of zeros in hierarchicalmodels, J. Stat. Phys. 33, 559 (1983); B. Derrida, C. Itzykson and J.M. Luck,Commun.Math.Phys. 94, 115-132 (1984)

[34] Y. Meurice, G. Ordaz, V.G.J. Rodgers, Evidence for complex subleading ex-ponents from high-temperature expansion of Dyson’s Hierarchical Ising model,Phys.Rev.Lett. 75, 4555 (1995)

[35] W.I. Newman, D.L. Turcotte and A.M. Gabrielov, Log-periodic behavior of ahierarchical failure model with applications to precursory seismic activation,Phys.Rev. E 52, 4827-4835 (1995)

[36] B. Kutjnak-Urbanc, Stefano Zapperi, S. Milosevic and H. Eugene Stanley, Sand-pile Model on Sierpinski Gasket Fractal, Phys.Rev. E 54, 272-277 (1996).

[37] J.-M. Luck and Th. M. Nieuwenhuizen, A soluble quasi-crystalline magneticmodel: the XY quantum spin chain, Europhys. Lett. 2 (4), 257-266 (1986).

[38] D. Karevski and L. Turban, Log-periodic corrections to scaling : exact resultsfor aperiodic Ising quantum chains, J. Phys. A 29, 3461-3470 (1996).

[39] R.O. Vallejos, R. S. Mendes, L. R. da Silva and C. Tsallis, Connection be-tween energy-spectrum self-similarity andspecific heat log-periodicity, http://xxx.lanl.gov/abs/cond-mat/9803265; R. O.Vallejos and C. Anteneodo, Thermodynamical fingerprints of fractal spectra,http://xxx.lanl.gov/abs/cond-mat/9803294

[40] K.A. Makarov, Asymptotic expansions for Fourier transform of singular self-affine measures, J. Math. Analysis and Applications 187, 259-286 (1994); Quan-tum scattering on a Cantor bar, J. Math. Phys. 35, 1522-1531 (1994); A.I. Olem-skoi, Fractals in condensed matter, Physics Reviews 18, 1-173 (1995) (HarwoodAcademic, Malaysia).

[41] S. Pecknold, S. Lovejoy and D. Schertzer, The morphology and texture ofanisotropic multifractals using generalized scale invariance, in Stochastic mod-els in geosystems, eds. S.A. Molchanov and W.A. Woyczynski, IMA Volumesin Mathematics and its Applications, 85, 269-312 (1996).

[42] D. Veneziano, G. Moglen and R.L. Bras, Iterate random pulse processes andtheir spectral properties, Water Resources (submitted)

[43] F.Y. Wu, The Potts model, Rev. Mod. Phys. 54, 235 (1982).

[44] P. Flajolet and M. Golin, Exact asymptotics of divide-and-conquer recur-rences, in Automata, Languages and Programming, 20th International Col-loquium, ICALP 93 Proceedings, Edited by Lingas, A., Karlsson, R., Carlsson,S. (Springer-Verlag, Germany, 1993), 137-149.

Page 42: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[45] P. Flajolet, P. Grabner, P. Kirschenhofer, H. Prodinger and R.F. Tichy, Mellintransforms and asymptotics : digital sums, Theoretical Computer Sciences 123,291-314 (1994).

[46] M.C. Gutzwiller, Chaos in classical and quantum mechanics (Springer, NewYork, 1990).

[47] C.B. Whan, Hierarchical level-clustering in two-dimensional harmonic oscilla-tors, Phys. Rev. E 55, R3813 (1997).

[48] A. Ya. Khinchin, Continued fractions (University of Chicago Press, Chicago,1964).

[49] A. Pandey, O. Bohigas and M.J. Giannoni, Level repulsion in the spectrumof two-dimensional harmonic oscillators, J. Phys. A 22, 4083-4088 (1989); A.Pandey and R. Ramaswamy, Level spacings for harmonic-oscillator systems,Phys. Rev A 43, 4237-4243 (1991).

[50] Bernasconi J. and W.R. Schneider, J.Phys.A15, L729-L734 (1983)

[51] Th. M. Nieuwenhuizen and J.-M. Luck, Lifshitz singularities in the total and thewavenumber-dependent spectral density of random harmonic chains, Physica A145, 161-189 (1987); Lifshitz singularities in random harmonic chains : periodicamplitudes near the band-edge and near special frequencies, J. Stat. Phys. 48,393-424 (1987).

[52] M.O. Vlad, Linear versus nonlinear amplification - a generalization ofthe Novikov-Montroll-Shlesinger-West cascade, Int.J.Mod.Phys. B 6, 417-435(1992)

[53] M.O. Vlad, A new stochastic renormalization approach to random processeswith very long memory - fractal time as a process with almost complete con-nections, J.Phys.A 25, 749-753 (1992)

[54] Dee D. and M. Ghil, SIAM J. Appl. Math., 44, 111-126 (1984)

[55] Ghil M. and A. Mullhaupt, J. Stat. Phys. 41, 125-173 (1985)

[56] D. Stauffer and D. Sornette, Log-periodic Oscillations for Biased Diffusion on3D Random Lattice, Physica A 252, 271 (1998) (http://xxx.lanl.gov/abs/cond-mat/9712085)

[57] A. Kirsch, Phase transition in two-dimensional biased diffusion, in press inInt.J.Mod.Phys.C (1998).

[58] M. Stefancich, P. Allegrini, L. Bonci, P. Grigolini and B.J. West, Anomalousdiffusion and ballistic peaks, a quantum perspective, Phys. Rev. E (preprint)[email protected]

[59] A. Arneodo, F. Argoul, E. Bacry and J. F. Muzy, Phys. Rev. Lett. 68 (1992)3456; A. Arneodo, F. Argoul, J. F. Muzy and M. Tabard, Phys. Lett. A 171(1992) 31; A. Arneodo, F. Argoul, J. F. Muzy, M. Tabard, and E. Bacry,Fractals, 1 (1993) 629.

Page 43: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[60] Y. Huang, G. Ouillon, H. Saleur and D. Sornette, Spontaneous generation ofdiscrete scale invariance in growth models, Physical Review E 55, 6433-6447(1997).

[61] G. Ouillon, D. Sornette, A. Genter and C. Castaing, The imaginary part of thejoint spacing distribution, J. Phys. I France 6, 1127-1139 (1996)

[62] DeGraff, J.M., and A. Aydin : Effect of thermal regime on growth incrementand spacing of contraction joints in basaltic lava, JGR, 98, B4, 6411-6430 (1993)

[63] Pollard, D.D., and A. Aydin : Progress in understanding jointing over the pastcentury, Geol. Soc. Am. Bull., 100, 1181-1204 (1988)

[64] S. Nemat-Nasser, L.M. Keer and K.S. Parihar, Unstable growth of thermally in-duced interacting cracks in brittle solids, Earthquake research and engineeringlab., Technical report No.77-9-2, Department of Civil Engineering, Northwest-ern University, Sept. 1977,International Journal of Solids and Structures 14,409 (1978)

[65] S. Nemat-Nasser and A.Oranratnachai, Minimum spacing of thermally inducedcracks in brittle solids, Transactions of the ASME 101, 34-39 (1979)

[66] M. A. Sadovskiy, The natural piecework of rocks, Dokl. Akad. Nauk SSSR,247, 4, 829, 1979; M. A. Sadovskiy, L. G. Bolkhovitinov and V. F. Pisarenko,Discrete properties of rock, Izv. Akad. Nauk SSSR, Fizika Zemli, 12, 3-19, 1982;M.A. Sadovskiy and V. F. Pisarenko, Several concepts of the seismic process,Inst. Fiz. Zemli, Akad. Nauk SSSR, 2, 1982; M.A. Sadovskiy, V. F. Pisarenkoand V. N. Rodionov, From seismology to geomechanics, Vestn. Akad. NaukSSSR, 1, 82-88, 1983; M.A. Sadovskiy, T.V. Golubeva, V.F. Pisarenko andM.G. Shnirman, Characteristic dimensions of rock and hierarchical propertiesof seismicity; Izvestiya, Earth Physics 20, 87-96, 1984.

[67] F.M. Borodich, Some applications of the fractal parametric–homogeneous func-tions, Fractals 2, 311–314 (1994); Parametric–Homogeneous Functions, Sim-ilarity, and Fractal Function Graphs, Technical Report TR/MAT/FMB/95-35, Glasgow Caledonian University, Glasgow, 1–55 (1995); Applications ofparametric–homogeneous functions to problems of interaction between frac-tal surfaces. ZAMM 76 (S5), 61–62 (1996); Renormalization schemes forearthquake prediction, Geophysical J. International 131(1), 171–178 (1997);Parametric-homogeneity and self-similar phenomena, Nonlinear Analysis 30(1),409–418 (1997); Some fractal models of fracture, J. Mech. Physics of Solids45, 239-259 (1997); Parametric–homogeneity and non–classical self–similarity.I. Mathematical background (to be published Acta Mechanica); Parametric–homogeneity and non–classical self–similarity. II. Some applications (to be pub-lished Acta Mechanica)

[68] M. Sahimi and S. Arbabi, Scaling laws for fracture of heterogeneous materialsand rock, Physical Review Letters 77, 3689-3692 (1996).

[69] R.C. Ball and R. Blumenfeld, Universal scaling of the stress field at the vicinityof a wedge crack in two dimensions and oscillatory self-similar corrections to

Page 44: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

scaling, Phys. Rev. Lett. 65, 1784-1787 (1990); - Reply, Phys. Rev. Lett. 68,2254-2254 (1992).

[70] F.-J. Elmer, Self-organized criticality with complex scaling exponents in thetrain model, Phys. Rev. E 56, R6225-28 (1997).

[71] D.J. Varnes and C.G. Bufe, The cyclic and fractal seismic series preceding andmb 4.8 earthquake on 1980 February 14 near the Virgin Islands, Geophys. J.Int.124, 149-158 (1996)

[72] Bowman, D.D., and C.G. Sammis, An Observational Determination of theCritical Region Before the 1983 M=6.7 Coalinga Earthqake (abst.), EOS Trans.Am. Geophys. U., 77, page F486, 1996.

[73] Smith, S.W., and C.G. Sammis, Discrete Hierarchic Cellular Model for Fore-shocks (abst.), EOS Trans. Am. Geophys. U., 77, page F480, 1996.

[74] Y. Huang, H. Saleur, C. G. Sammis, D. Sornette, Precursors, aftershocks, crit-icality and self-organized criticality, Europhysics Letters 41, 43-48 (1998).

[75] H.K. Moffatt, Viscous and resistive eddies near a sharp corner, J. Fluid Mech.18, 1-18 (1964).

[76] W.R. Dean and P.E. Montagnon, Proc. Camb. Phil. Soc. 45, 389 (1949).

[77] M.P. Brenner, X.D. Shi and S.R. Nagel, Iterated instabilities during dropletfission, Phys. Rev. Lett. 73, 3391-3394 (1994); X.D. Shi, M.P. Brenner andS.R. Nagel, A cascade of structure in a drop falling from a faucet, Science 265,219-222 (1994).

[78] M.J. Feigenbaum, J. Stat. Phys. 19, 25 (1978); 21, 669 (1979); P. Coullet andC. Tresser, J. Phys. Coll. 39, C5 (1978); C.R. Acad. Sci. 287, 577 (1978); P.Collet and J.P. Eckmann, Iterated maps of the interval and dynamical systems(Birkhauser, Boston, 1980).

[79] B. Derrida, Proprietes universelles de certains systemes discrets dans le temps,J. Physique Colloques C5, 49 (1978); B. Derrida, A. Gervois and Y. Pomeau,Ann. Inst. H. Poincare AXXIX, 305 (1978).; Universal metric properties ofbifurcations of endomorphisms, J. Phys. A 12, 269 (1979).

[80] F. Argoul, A. Arneodo, P. Collet and A. Lesne, Transitions to chaos in thepresence of an external periodic field : cross-over effect in the measure of criticalexponents, Europhysics Letters 3, 643-651 (1987).

[81] J. Vollmer and W. Breymann, Scaling behaviour in Lorenz-like maps at theonset of pruning, Europhysics Letters 27, 23-28 (1994).

[82] B.J. West and X. Fan, Chaos, noise and complex fractal dimensions, Fractals1, 21-28 (1993).

[83] H.E. Hurst, Trans. Am. Soc. Civ. Eng. 116, 770 (1951).

Page 45: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[84] L. Kuznetsov and G.M. Zaslavsky, Hidden renormalization group for the near-separatrix Hamiltonian dynamics, Phys. Rep. 288, 457-485 (1997).

[85] T. C. Lubensky, J. Isaacson, Phys. Rev. Lett. 41 (1978) 829.

[86] D. Stauffer and A. Aharony, “Introduction to percolation theory”, second edi-tion, Taylor and Francis (1992).

[87] G. Parisi, N. Sourlas, Phys. Rev. Lett. 46 (1981) 453.

[88] Aharony A., Critical properties of random and constrained dipolar magnets,Phys. Rev. B 12, 1049-1056 (1975)

[89] Chen J.-H.and T.C. Lubensky, Mean field and ǫ-expansion study of spin glasses,Phys. Rev. B 16, 2106-2114 (1977)

[90] D.E. Khmelnitskii, Impurity effect on the phase transition at T=0 in magnets.Critical oscillations in corrections to the scaling laws, Phys. Lett. A67,59-60(1978).

[91] Boyanovsky D. and J.L. Cardy, Critical behavior ofm-component magnets withcorrelated impurities, Phys. Rev. B 26, 154-170 (1982)

[92] A. Weinrib and B.I. Halperin, Critical phenomena in systems with long-range-correlated quenched disorder, Phys. Rev. B 27, 413-427 (1983)

[93] B. Derrida and H. Hilhorst, J. Phys. A 16, 2641-2654 (1983).

[94] M. Mezard, Parisi G. and Virasoro M.A., “Spin glass theory and beyond”,World Scientific, Singapore (1987).

[95] R. Rammal, G. Toulouse and Virasoro M.A., Rev.Mod.Phys.58, 765 (1986).

[96] D.L. Stein, in “Chance and Matter”, J. Souletie, J. Vannimenus and R. Storaeds., North Holland, Amsterdam (1987).

[97] M. Lassig, New hierarchies of multicriticality in two-dimensional field theory,Phys. Lett. B 278, 439-442 (1992)

[98] M. Lassig, Multiple crossover phenomena and scale hopping in two dimensions,Nucl. Phys. B 380, 601-618 (1992)

[99] A.W.W. Ludwig, Infinite hierarchies of exponents in a diluted ferromagnet andtheir interpretation, Nucl. Phys. B330, 639-680 (1990).

[100] B.J. West, Int.J.Mod.Phys.B 4, 1629 (1990)

[101] B.J. West, Annals of Biomedical Engineering, 18, 135 (1990)

[102] Schlesinger M.F. and B.J. West, Phys.Rev.Lett. 67, 2106-08 (1991)

[103] B.J. West and W. Deering, Phys. Rep. 246, 1-100 (1994)

[104] Anselmet F., Y. Gagne, E.J. Hopfinger and R.A. Antonia, High-order velocitystructure functions in turbulent shear flows, J. Fluid Mech.140, 63 (1984)

Page 46: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[105] U. Frisch, Turbulence, the legacy of A.N. Kolmogorov (Cambridge UniversityPress, 1995), p.130-131.

[106] M.Yamada and K. Okhitani, Phys.Rev.Lett. 60, 983 (1988); K. Okhitani andM. Yamada, Prog.Theor.Phys. 81, 329 (1989); M.H. Jensen, G. Paladin and A.Vulpiani, Phys.Rev.A 43, 7798 (1991),

[107] T.Nakano, Prog.Theor.Phys. 79, 569 (1988) ; T. Dombre and J.-L. Gilson,preprint oct.1995

[108] D. Sornette, Discrete scale invariance in turbulence? in the Proceedingsof the Seventh European Turbulence Conference (ETC-7), June 30-July 3(1998) (Published by Kluwer, U. Frisch, editor) (http://xxx.lanl.gov/abs/cond-mat/9802121)

[109] F. Graner and B. Dubrulle, Titius-Bode laws in the solar system : I. scale in-variance explains everything, Astronomy and Astrophysics 282, 262-268 (1994);II. Build your own law from disk models, Astronomy and Astrophysics 282, 269-276 (1994).

[110] M.W. Choptuik, Universality and scaling in gravitational collapse of a masslessscalar field, Phys. Rev. Lett. 70, 9-12 (1993); A.M. Abrahams and C.R. Evans,Critical behavior and scaling in vacuum axisymmetric gravitational collapse,Phys. Rev. Lett. 70, 2980-2983 (1993); Critical phenomena and relativistic grav-itational collapse, General Relativity and Gravitation 26, 379-384 (1994); E.W.Hirschmann and D.M. Eardley, Critical exponents and stability at the blackhole threshold for a complex scalar field, Phys. Rev. D 52,5850-5856 (1995).

[111] F. Corberi, G. Gonnella and A. Lamura, Spinodal decomposition of binarymixtures in uniform shear flow, preprint 1998. ([email protected])

[112] M. Montuori, et al., Europhys. Lett. 39, 103 (1997); P.H. Coleman and L.Pietronero, Phys. Reports 213, 311 (1992); M. Lachieze-Rey, Scale invariancein the cosmic matter distribution ? in B. Dubrulle, F. Graner and D. Sornette,eds., Scale invariance and beyond (EDP Sciences and Springer, Berlin, 1997).

[113] A. Provenzale, E.A. Spiegel and R. Thieberger, CHAOS 7, 82 (1997).

[114] G. de Vaucouleurs, Science 167, 1203 (1970).

[115] R.S. Maier and D.L. Stein, Oscillatory behavior of the rate of escape throughan unstable limit cycle, Phys. Rev. Lett. 777, 4860-4863 (1996).

[116] M.L. Williams, Bull. Seismol. Soc. Am. 49, 199-204 (1959).

[117] J.R. Rice, Transactions of the ASME, 55, 98-103 (1988)

[118] J.R. Rice, Z. Suo and J.-S. Wang, Mechanics and thermodynamics of brittleinterface failure in bimaterial systems, in Metal-Ceramic Interfaces (eds. M.Ruhle, A.G. Evans, M.F. Ashby ad J.P. Hirth), Acta-Scripta Metallurgica Pro-ceedings Series, vol. 4 (Pergamon Press, 1990), pp. 269-294.

Page 47: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[119] K.L. Johnson, Contact mechanics (Cambridge University Press, Cambridge,UK, 1985), p.108; F.M. Borodich, The Hertz frictional problem contact betweennonlinear elastic anisotropic bodies (the similarity approach), Int. J. Solids andStructures 30, 1513-1526 (1993); Fractal roughness in contact problems, PMMJournal of Applied Mathematics and Mechanics 56, 681-690 (1992); Similarityproperties of discrete contact between a fractal punch and an elastic medium,Comptes Rendus Acad. Sci. Paris II, V316, 281-286 (1993).

[120] R.A. Altes, Sonar for generalized target description and its similarity to animalecholocation systems, J. Acoust. Soc. Am. 59, 97-105 (1976).

[121] H. Ojanen, Orthonormal Compactly Supported Wavelets with Optimal SobolevRegularity, preprint math.CA/9807089.

[122] I. Daubechies, Comm. Pure Appl. Math. 41, 909-996 (1988).

[123] H. Volkmer, Asymptotic regularity of compactly-supported wavelets, SIAM J.Math. Anal. 26, 1075-1087 (1995).

[124] P.G. Lemarie-Rieusset and E. Zahrouni, More regular wavelets, Appl. Comput.Harmon. Anal. 5, 92-105 (1998).

[125] K. Hayata and M. Koshiba, Algebraically decaying modes in many dimensions :application of Fubini’s identity to guided-wave optics, Optical Review 2, 331-333 (1995).

[126] J.G. McWhirter and E.R. Pike, On the numerical inversion of the Laplacetransform and similar Fredholm integral equations of the first kind, J. Phys. A11, 1729-1745 (1978).

[127] N.Ostrowsky, D.Sornette, P.Parker and E.R.Pike, Exponential samplingmethod for light scattering polydispersity analysis, Optica Acta 28,1059 (1981).

[128] J. Chaline, L. Nottale and P. Grou, L’arbre de la vie a-t’il une structuremathematique fractale?, Preprint 1998.

[129] C.E. Smith, editor, Log periodic antenna design handbook, 1st ed. Cleveland,Ohio, Smith Electronics, c1966 (1979 printing)

[130] D.C. Baker and T.G. Reuss, An investigation of the design of a log-periodicdipole array with low side-lobe levels for broadcast applications, IEEE Trans-actions on Broadcasting 36, 89-93 (1990)

[131] D.R. Dykaar, B.I. Greene, J.F. Federici, A.F.J. Levi et al., Log-periodic anten-nas for pulsed terahertz radiation, Applied Physics Letters 59, 262-264 (1991)

[132] H.K. Smith and P.E. Mayes, Log-periodic array of dual-fed microstrip path an-tennas, IEEE Transactions of Antennas and Propagation 39, 1659-1664 (1991)

[133] P.S. Excell,, N.N. Jackson and K.T. Wong, Compact electromagnetic test rangeusing an array of log-periodic antennas, IEE Proceeding-H Microwaves Anten-nas and Propagation 140, 101-106 (1993)

Page 48: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

[134] R.R. Delyser, D.C. Chang and E.F. Kuester, Design of a log-periodic trip grat-ing microstrip antenna, International Journal of Microwave and Millimeter-Wave Computer-Aided Engineering 3, 143-150 (1993)

[135] M.M. Gitin, F.W. Wise, G. Arjavalingam, Y. Pastol et al., Broad-band char-acterization of millimeter-wave log-periodic antennas by photoconductive sam-pling, IEEE Transactions of Antennas and Propagation 42, 335-339 (1994)

[136] B. Derrida, J. P. Eckmann, A. Erzan, J. Phys. A16 893 (1983)

[137] K.J. Falconer, J. Theoret. Prob. 7, 681 (1994).

[138] M.F. Barnsley, Fractals everywhere, 2nd ed. (rev. with the assistance of HawleyRising III), Boston : Academic Press Professional, 1993.

[139] A. Erzan and J.-P. Eckmann, q-analysis of fractal sets, Phys. Rev. Lett. 78,3245-3248, 1997.

[140] A. Erzan and A. Gorbon, Mon-commutative geometry and irreversibility, Eur.Phys. J. B 1, 111-116 (1998).

[141] F.J. Solis and L. Tao, Lacunarity of random fractals, Phys. Lett. A 228, 351-356(1997) (cond-mat/9703051).

[142] J.-M. Luck, Systemes desordonnes unidimensionnels (Alea Saclay, Commis-sariat a l’Energie Atomique, 1992).

[143] A.Sornette and D.Sornette, Self-organized criticality and earthquakes, Euro-phys.Lett. 9, 197 (1989); D.Sornette, Ph.Davy and A. Sornette, Structurationof the lithosphere in plate tectonics as a self-organized critical phenomenon,J.Geophys.Res.95, 17353 (1990).

[144] F. Pazmandi, R.T. Scalettar and G.T. Zimanyi, Revisiting the theory of finitesize scaling in disordered systems : ν can be less than 2

d, Phys. Rev. Lett. 79,

5130-5133 (1997).

[145] D. Sornette and C.Vanneste, Dynamics and memory effects in rupture of ther-mal fuse networks, Phys.Rev.Lett. 68, 612-615 (1992); D.Sornette, C.Vannesteand L.Knopoff, Statistical model of earthquake foreshocks, Phys.Rev.A 45,8351-8357 (1992); C.Vanneste and D.Sornette, Dynamics of rupture in thermalfuse models, J.Phys.I France 2, 1621-1644 (1992); L. Lamaignere, F. Carmonaand D. Sornette, Experimental realization of critical thermal fuse rupture, Phys.Rev. Lett. 77, 2738-2741 (1996).

[146] A. Johansen and D. Sornette, Evidence of discrete scale invariance by canonicalaveraging, Int. J. Mod. Phys. C 9, 433-447 (1998).

[147] F.M. Borodich, Renormalization schemes for earthquake prediction, Geophys.J. Int. 131, 171-178 (1997); Parametric-homogeneity and self-similar phenom-ena, Nonlinear Analysis-Theory Methods & Applications 30, 409-417 (1997).

Page 49: arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 …arXiv:cond-mat/9707012v2 [cond-mat.stat-mech] 17 Dec 1998 Discrete scale invariance and complex dimensions Didier Sornette1,2 1

FIGURE CAPTIONS:

Figure 1: Construction of the triadic Cantor set : the discrete scale invariantgeometrical structure is built by a recursive process in which the first step consistsin dividing the unit interval into three equal intervals of length 1

3and in deleting the

central one. In the second step, the two remaining intervals of length 13

are themselvesdivided into three equal intervals of length 1

9and their central intervals are deleted,

thus keeping 4 intervals of length 19, and so on.

Figure 2: Construction of the hierarchical diamond lattice used in the Potts model.This lattice is obtained by starting with a bond at magnification 1, replacing this bondby four bonds arranged in the shape of a diamond at magnification 2, and so on. Thespins are placed at the sites. At a given magnification 2p, one sees 4p bonds, and thus23(2 + 4p) sites.

Figure 3: 〈x2(t)〉t2νR

, where νR = log(1−p)log(u/v)

is the real part of (49) as a function of ln t.The averaging has been performed over different realizations of the random walk(taken from [50]).

Figure 4: a) Map of 5000 needles which have grown according to the DLA rulesfrom an initial configuration where all the needles were approximately of the samelength equal to their average separation. We have used a periodic lattice and addeda small random value (a few percent of the period) for their lateral position. Thisconfiguration corresponds to the time when the largest needle has a length equal toone-third of the size of the system. b) The probability density function of the needlelengths shown in a) in where very clear log-periodic oscillations decorate the powerlaw behavior. (see [60]).

Figure 5: Logarithm of the acoustic emission energy released as a function of thepressure (in bars) applied within a pressure tank made of matrix-fiber composite atthe approach of rupture. The continuous lines correspond to the best fit by expression(50) (see [22]).

Figure 6: Rate of elastic energy released as a function of the logarithm of the timeto failure in the dynamical model of rupture with damage introduced in [145]. Thedots have been obtained using the “canonical” averaging procedure discussed in thetext.