1: \documentclass[12pt]{iopart}
2: \usepackage{graphicx}
3: \eqnobysec
4:
5: \newcommand{\beq}{\begin{equation}}
6: \newcommand{\beqa}{\begin{eqnarray}}
7: \newcommand{\eeq}{\end{equation}}
8: \newcommand{\eeqa}{\end{eqnarray}}
9: \newcommand{\abs}[1]{\vert{#1}\vert}
10: \newcommand{\bigmean}[1]{\left\langle#1\right\rangle}
11: \newcommand{\cum}[1]{\langle\!\langle#1\rangle\!\rangle}
12: \newcommand{\cint}[1]{\mathrel{\mathop{\int}\limits_{#1}^{}}}
13: \newcommand{\cri}{{\rm cr}}
14: \renewcommand{\d}{{\rm d}}
15: \newcommand\dis[1]{\displaystyle#1}
16: \renewcommand{\e}{{\rm e}}
17: \newcommand{\frad}[2]{\displaystyle{\displaystyle#1\over\displaystyle#2}}
18: \newcommand{\half}{{\textstyle{\frac12}}}
19: \renewcommand{\i}{{\rm i}}
20: \renewcommand{\l}{\ell}
21: \newcommand{\mean}[1]{\langle#1\rangle}
22: \renewcommand{\min}{{\rm min}}
23: \newcommand{\prob}[1]{\mathop{{\rm Prob}}\left\{#1\right\}}
24: \newcommand{\w}{\widehat}
25: \renewcommand{\L}{\widetilde}
26: \newcommand{\DD}{{\cal D}}
27: \newcommand{\LL}{{\cal L}}
28: \newcommand{\MM}{{\cal M}}
29: \newcommand{\RR}{{\cal R}}
30: \newcommand{\TT}{{\cal T}}
31: \renewcommand{\Re}{\mathop{{\rm Re}}}
32:
33: \begin{document}
34:
35: \title{Statistics of quantum transmission in one dimension with broad disorder}
36:
37: \author{D Boos\'e\dag\ and J M Luck\ddag}
38:
39: \address{\dag\ Laboratoire de Physique Th\'eorique, UMR 7085 of CNRS
40: and Universit\'e Louis Pasteur, 3, rue de l'Universit\'e,
41: 67084 Strasbourg Cedex, France}
42:
43: \address{\ddag\ Service de Physique Th\'eorique, URA 2306 of CNRS,
44: CEA Saclay, 91191 Gif-sur-Yvette Cedex, France}
45:
46: \begin{abstract}
47: We study the statistics of quantum transmission through a
48: one-dimen\-sio\-nal disordered system modelled by a sequence of
49: independent scattering units.
50: Each unit is characterized by its length and by its action, which is
51: proportional to the logarithm of the transmission probability through this unit.
52: Unit actions and lengths are independent random variables,
53: with a common distribution that is either narrow or broad.
54: This investigation is motivated by
55: results on disordered systems with non-stationary random potentials
56: whose fluctuations grow with distance.
57:
58: In the statistical ensemble at fixed total sample length
59: four phases can be distinguished, according to the values of the indices
60: characterizing the distribution of the unit actions and lengths.
61: The sample action, which is
62: proportional to the logarithm of the conductance across the sample,
63: is found to obey a fluctuating scaling law,
64: and therefore to be non-self-averaging, in three of the four phases.
65: According to the values of the two above mentioned indices,
66: the sample action may typically grow less rapidly than linearly
67: with the sample length (underlocalization),
68: more rapidly than linearly (superlocalization),
69: or linearly but with non-trivial sample-to-sample fluctuations
70: (fluctuating localization).
71:
72: \end{abstract}
73:
74: \pacs{05.40.--a, 73.20.Fz, 73.23.--b, 02.50.--r}
75:
76: \eads{\mailto{boose@lpt1.u-strasbg.fr},\mailto{jean-marc.luck@cea.fr}}
77:
78: \maketitle
79:
80: \section{Introduction}
81:
82: The phenomenon of localization of a quantum particle
83: by a random potential is well understood (see, e.g.,~\cite{l1,l2}),
84: especially in the one-dimensional case (see, e.g.,~\cite{pen}).
85: It is known that this phenomenon has a major influence
86: on coherent quantum transport.
87: The amplitude $\TT$ of transmission through a sample is therefore a
88: quantity of central importance in this context.
89: The interpretation of experiments about the effects of localization
90: on transport is done with the help of the (two-probe)
91: Landauer formula~\cite{lan,il}, which relates the probability of
92: transmission $\abs{\TT}^2$ through a sample
93: to its conductance $g$ at zero temperature,
94: \beq
95: g=\frad{2e^2}{h}\,\abs{\TT}^2.
96: \label{lanfor}
97: \eeq
98:
99: In the one-dimensional disordered systems usually considered, namely
100: those modelled by stationary random potentials with
101: short-range correlations, all the eigenstates are exponentially localized.
102: Thus any sample whose length $L$ is much greater than the
103: localization length $\xi$ is an insulator~\cite{l1,l2,pen}.
104: The probability of transmission
105: is a strongly fluctuating quantity in the insulating regime
106: and so it is preferable to consider its logarithm~\cite{four,aaa}.
107: It is therefore appropriate to introduce the sample action
108: \beq
109: S=-\frad{1}{2}\ln\abs{\TT}^2.
110: \label{sdef}
111: \eeq
112: The statistics of the transmission probability
113: in the insulating regime are determined by the distribution of $S$.
114: The average of the sample action over all the configurations
115: of the random potential grows asymptotically as
116: \beq
117: \mean{S}\approx\frad{L}{\xi}.
118: \eeq
119: The sample action $S$ is self-averaging in the strong sense that each
120: cumulant of its distribution increases
121: in direct proportion to the sample length~\cite{pen}.
122: Said otherwise, the distribution of $S$ is similar to that of the free energy
123: of a one-dimensional disordered thermodynamical system;
124: the transfer matrix formalism~\cite{pen,cpv,alea}
125: is well adapted to demonstrate this deep analogy.
126:
127: The situation is quite different for one-dimensional disordered
128: systems modelled by non-stationary random potentials
129: whose fluctuations grow with distance~\cite{super1,super2,jmls}.
130: Typical eigenstates turn out to be superlocalized
131: rather than localized in samples whose length exceeds
132: a well-defined crossover length $\l_\cri$,
133: which diverges in the weak-disorder regime.
134: The action $S$ for long enough samples ($L\gg\l_\cri$)
135: exhibits two novel features with respect to
136: the usual one-dimensional localization problem:
137: it grows faster than linearly with $L$ and it is not self-averaging
138: in the sense that it keeps on fluctuating in arbitrarily large samples.
139: For instance, in the case of a self-affine Gaussian random potential
140: whose fluctuations increase as a power law with a Hurst exponent $H$
141: in the range $0<H<1$,
142: the scaling law of the sample action is the following~\cite{jmls}:
143: \beq
144: S\approx\left(\frad{E}{\l_\cri^H}\right)^{1/2}L^{1+H/2}\,\cal Y.
145: \label{shurst}
146: \eeq
147: Here $E$ denotes the energy of the particle,
148: $\l_\cri$ the above mentioned crossover length,
149: and~$\cal Y$ a rescaled random variable
150: whose distribution is a universal function
151: in the sense that it is determined by one parameter only,
152: namely the value of $H$.
153:
154: In this work we address the question
155: whether the properties of the two previous
156: classes of models can be combined into a single model of
157: one-dimensional disordered system, in which the concomitant features
158: of self-averaging and conventional localization
159: hold in a certain range of parameters but are replaced
160: by the concomitant properties of lack of self-averaging and departure from
161: conventional localization in another range.
162: More specifically,
163: the purpose of this paper is to present and study a model which exhibits
164: the above properties
165: and is simple enough to be exactly solvable by analytical means.
166: The article is organized as follows.
167: In Section~2 we describe the model and set the notation used
168: throughout the paper.
169: In Section~3 we study the statistics of the transmission probability
170: through samples consisting of a large but fixed number $N$ of units.
171: In Section~4 we study the statistics of the transmission probability through
172: samples whose length $L$ is large but fixed.
173: The results and their physical consequences are discussed in Section~5.
174: Finally, an appendix is devoted to the derivation of the formula
175: of the sample action on which our calculations are based.
176:
177: \section{The model}
178:
179: The model considered in this paper
180: consists of a disordered array of elementary units,
181: put together end to end on a line.
182: Each of these units consists of a disordered part
183: connected to two perfect leads, as shown pictorially in Figure~\ref{fboxes}
184: where disordered segments are represented by boxes, leads by line segments,
185: and the connection between each unit and the next one by a dot.
186:
187: \begin{figure}[htb]
188: \begin{center}
189: \includegraphics[angle=90,height=1.4truecm]{fboxes.eps}
190: \caption{\small
191: Schematic picture of the model considered in this paper,
192: consisting of a disordered array of elementary units
193: whose lengths $\l_n$ and actions $s_n$
194: are independent random variables.}
195: \label{fboxes}
196: \end{center}
197: \end{figure}
198:
199: The $n$th unit has a length~$\l_n$
200: and its transport properties are characterized by the
201: transmission and reflection amplitudes $t_n$, $r_n$, and $r'_n$.
202: We shall work in the regime in which the probability of transmission
203: through every unit is very small ($\abs{t_n}^2\ll1$).
204: As explained in the appendix, in this weak transmission regime
205: and with the simplifying assumption that the reflection phases
206: are random and uniform, the law of addition for the actions~(\ref{adds}) holds.
207:
208: The basic observables of our model are therefore the following.
209: For a sample made of $N$ units,
210: we consider its total action $S_N$ and total length $L_N$.
211: These quantities are simply expressed as sums,
212: \beq
213: S_N=\sum_{n=1}^N s_n,\quad L_N=\sum_{n=1}^N\l_n,
214: \label{sum}
215: \eeq
216: where the actions $s_n$ and lengths $\l_n$ of the units
217: are the microscopic variables of the model.
218: The simplicity of these definitions of the basic observables
219: makes the present model exactly solvable by analytical means.
220:
221: Disorder is introduced into the model by assuming that the unit actions
222: $s_n$ and the unit lengths $\l_n$ are mutually independent random variables.
223: The actions $s_n$ are assumed to be greater than some minimal action $s_\min>0$
224: and to be distributed identically,
225: with a common continuous probability distribution
226: defined by the density $f_s(s)$.
227: Similarly, the lengths $\l_n$ are assumed
228: to be greater than some minimal length $\l_\min>0$
229: and to be distributed identically,
230: with a common distribution defined by the density $f_\ell(\ell)$.
231: Thus the sequences of random variables $S_N$ and $L_N$
232: obtained by adding units to a sample
233: constitute examples of a renewal process (see, e.g.,~\cite{renewal}).
234:
235: The samples may be classified in two different ways,
236: either by their number $N$ of units, ignoring their length,
237: or by their length $L$, ignoring the number of units they consist of.
238: These two different points of view give rise to the following
239: two different statistical ensembles.
240:
241: \begin{itemize}
242:
243: \item {\it Statistical ensemble of the samples with a fixed number $N$ of
244: units}.
245: In this ensemble the sample action $S_N$ and the sample length $L_N$,
246: equation~(\ref{sum}),
247: are the sums of a {\it fixed} number~$N$ of independent random variables.
248:
249: \item {\it Statistical ensemble of the samples with a fixed length $L$}.
250: In this ensemble the sample action, denoted by $S_L$, is
251: the sum of a $\it random$ number $N_L$ of independent random variables,
252: \beq
253: S_L=\sum_{n=1}^{N_L} s_n.
254: \label{sumlen}
255: \eeq
256: For a given configuration $\{\l_n\}$ of the unit lengths,
257: $N_L$ is defined as the number of units
258: which are {\it entirely} contained in the sample of fixed length $L$.
259: This choice is motivated by simplicity.
260: The random number $N_L$ therefore obeys the inequalities
261: \beq
262: L_{N_L}<L<L_{N_L+1},
263: \quad\hbox{i.e.,\ \ }\sum_{n=1}^{N_L}\l_n<L<\sum_{n=1}^{N_L+1}\l_n.
264: \label{nldef}
265: \eeq
266: Since the length of any unit is greater than the minimal length $\l_\min$,
267: the random integer~$N_L$ can take any value between 0 and
268: its maximal value $\lbrack L/\l_\min\rbrack$,
269: the symbol~$\lbrack x\rbrack$ denoting the integer part of the number $x$.
270:
271: \end{itemize}
272:
273: These two statistical ensembles will be carefully distinguished throughout
274: the following and successively investigated in Sections~3 and~4.
275: The statistics of the transmission may indeed exhibit qualitative differences
276: between both ensembles.
277:
278: Generalizing a notation already introduced, we shall denote
279: the probability density of a random variable $\eta$ by $f_\eta(\eta)$.
280: The moment generating function and moment function of $\eta$
281: will be denoted by $\w f_\eta(x)$ and $m_\eta(p)$ respectively.
282: These functions are defined as
283: \beq
284: \w f_\eta(x)=\mean{\e^{-x\eta}}=\int\e^{-x\eta}\,f_\eta(\eta)\,\d\eta,\quad
285: m_\eta(p)=\mean{\eta^p}=\int\eta^p\,f_\eta(\eta)\,\d\eta,
286: \label{momdef}
287: \eeq
288: where the real parts of the complex variables $x$ and $p$
289: take their values in ranges such that the integrals are convergent.
290: The moment function is only defined for a positive random variable $\eta$.
291: The inverse formulae are
292: \beq
293: f_\eta(\eta)=\int\frad{\d x}{2\pi\i}\,\e^{x\eta}\,\w f_\eta(x)
294: =\int\frad{\d p}{2\pi\i}\,\eta^{-p-1}\,m_\eta(p).
295: \label{mominv}
296: \eeq
297: The moment generating function and the moment function are linked together
298: by the identity
299: \beq
300: m_\eta(-p)=\frad{1}{\Gamma(p)}\int_0^\infty\w f_\eta(x)\,x^{p-1}\,\d x
301: \quad(\Re p>0),
302: \label{mm}
303: \eeq
304: where the symbol $\Re z$ denotes the real part of the complex number $z$
305: and $\Gamma(z)$ the gamma function.
306: The identity~(\ref{mm}) is easily
307: verified by using the definition of $\w f_\eta(x)$, equation~(\ref{momdef}),
308: on the right-hand side and evaluating the integral in~$x$ with the help
309: of the first of the pair of identities~(\cite[p.~317]{gry})
310: \beq
311: \matrix{
312: \dis{\int_0^\infty x^{p-1}\,\e^{-xy}\,\d x=\frad{\Gamma(p)}{y^p}}\quad\hfill&
313: (\Re p>0,~\Re y>0),\hfill\cr
314: \dis{\cint{\Re y>0}
315: \frad{\d y}{2\pi\i}\,\frad{\e^{xy}}{y^p}=\frad{x^{p-1}}{\Gamma(p)}}\hfill&
316: (\Re x>0).\hfill}
317: \label{idens}
318: \eeq
319:
320: It is convenient to characterize the probability densities
321: $f_s(s)$ and $f_\l(\l)$ by the exponents $\mu$, $\nu$
322: and the scales $s_0$, $\l_0$ of the power law fall off of the
323: corresponding complementary distribution functions:
324: \beq
325: \matrix{
326: \prob{s_1>s}=\dis{\int_s^\infty f_s(s_1)\,\d s_1}
327: \approx\left(\frad{s_0}{s}\right)^\mu\quad\hfill&(s\to\infty),\cr
328: \prob{\l_1>\l}=\dis{\int_\l^\infty f_\l(\l_1)\,\d\l_1}
329: \approx\left(\frad{\l_0}{\l}\right)^\nu\quad\hfill&(\l\to\infty).}
330: \label{foff}
331: \eeq
332: The notation $x\approx y$ used here means that the ratio $x/y$
333: tends to unity in the considered limit;
334: it will be used extensively in the following.
335: We shall also use the notation $x\sim y$, which has the weaker
336: meaning that $x$ and $y$ are only proportional in the considered limit,
337: up to an unimportant prefactor.
338:
339: We shall consider the following classes of probability distributions
340: $f_s(s)$ and $f_\l(\l)$.
341:
342: \begin{itemize}
343:
344: \item {\it Narrow distributions ($\mu>2$; $\nu>2$)}.
345: These are the distributions whose first two moments at least are finite.
346: Thus we have
347: \beq
348: \matrix{
349: \w f_s(x)=1-x\mean{s}+\half x^2\mean{s^2}+\cdots,\hfill\cr
350: \w f_\l(x)=1-x\mean{\l}+\half x^2\mean{\l^2}+\cdots,\hfill}
351: \label{f2}
352: \eeq
353: where $\mean{s}$ and $\mean{s^2}$ (resp.~$\mean{\l}$ and $\mean{\l^2}$)
354: are the first two moments of $f_s(s)$ (resp.~$f_\l(\l)$).
355: Said otherwise, the narrow distributions are those for which the
356: central limit theorem holds.
357:
358: The narrow distributions with a complementary
359: distribution function that falls off more rapidly than any power law
360: (we have then formally $\mu=\infty$ or $\nu=\infty$)
361: have the property that all their moments are finite, and so
362: \beq
363: \matrix{
364: \w f_s(x)=\dis{\sum_{k\ge0}}\frad{(-x)^k}{k!}\mean{s^k}
365: =\exp\left(\sum_{k\ge1}\frad{(-x)^k}{k!}\cum{s^k}\right),\hfill\cr
366: \w f_\l(x)=\dis{\sum_{k\ge0}}\frad{(-x)^k}{k!}\mean{\l^k}
367: =\exp\left(\sum_{k\ge1}\frad{(-x)^k}{k!}\cum{\l^k}\right),\hfill}
368: \label{fnarrow}
369: \eeq
370: where $\mean{s^k}$ and $\cum{s^k}$ (resp.~$\mean{\l^k}$ and $\cum{\l^k}$)
371: are the moment and cumulant of order~$k$ of $f_s(s)$ (resp.~$f_\l(\l)$).
372:
373: \item {\it Broad distributions ($\mu<2$; $\nu<2$)}.
374: These are the distributions whose second moment is infinite.
375: In other words, the broad distributions are those for which the central
376: limit theorem does not hold.
377: Two cases have to be distinguished.
378: If $\mu<1$ (resp.~$\nu<1$), the first moment of $f_s(s)$ (resp.~$f_\l(\l)$)
379: is also infinite.
380: On the other hand, if $1<\mu<2$ (resp.~$1<\nu<2$), the first moment of
381: $f_s(s)$ (resp.~$f_\l(\l)$) is still finite.
382: The expansions of the moment generating functions as $x\to 0^+$ begin~as
383: \beq
384: \matrix{
385: \w f_s(x)=\left\{\matrix{
386: 1-\Gamma(1-\mu)(s_0x)^\mu+\cdots\hfill&(\mu<1),\hfill\cr
387: 1-\mean{s}x+\abs{\Gamma(1-\mu)}(s_0x)^\mu+\cdots\hfill\quad&(1<\mu<2),\cr}
388: \right.%}
389: \cr\cr
390: \w f_\l(x)=\left\{\matrix{
391: 1-\Gamma(1-\nu)(\l_0x)^\nu+\cdots\hfill&(\nu<1),\hfill\cr
392: 1-\mean{\l}x+\abs{\Gamma(1-\nu)}(\l_0x)^\nu+\cdots\hfill\quad&(1<\nu<2),\cr}
393: \right.%}
394: }
395: \label{fbroad}
396: \eeq
397: where the dots represent regular and singular terms of higher order~\cite{gl}.
398: Disorder modelled by broad distributions will be called broad disorder.
399:
400: \end{itemize}
401:
402: \section{Transmission statistics in the ensemble of samples with a fixed
403: number $N$ of units}
404:
405: The statistics of the transmission probability through samples
406: with a fixed number~$N$ of units are determined by the distribution of
407: the sample action $S_N$, equation~(\ref{sum}).
408: We shall be interested here in the scaling properties of $S_N$
409: in the large $N$ limit.
410: This study may be considered as an introduction to that done in Section~4,
411: in which the most interesting results are derived.
412:
413: It is useful to introduce the
414: moment generating function $\w f_{S_N}(x)$ of $S_N$.
415: Since the unit actions are mutually independent random variables with a common
416: distribution, $\w f_{S_N}(x)$ takes the form
417: \beq
418: \w f_{S_N}(x)=\w f_s(x)^N.
419: \label{fln}
420: \eeq
421: The scaling law of $S_N$ can be obtained from the expression of
422: this quantity in the large~$N$ and small~$x$ limits.
423: Three cases have to be distinguished,
424: as the expansions~(\ref{f2}) and~(\ref{fbroad}) of $\w f_s(x)$ for small $x$
425: are different for $\mu>2$, $\mu<1$, and $1<\mu<2$.
426: We shall discuss these three cases below in this order.
427: The results of this section also apply to the
428: distribution of the sample length $L_N$,
429: provided we replace the index~$\mu$ and the parameters $\mean{s}$ and $s_0$
430: in the obtained results
431: by the index~$\nu$ and the parameters $\mean{\l}$ and~$\l_0$ respectively.
432:
433: \subsection{Self-averaging with normal fluctuations: $\mu>2$}
434:
435: This is the easiest case to study,
436: as the distribution of the unit actions $s_n$ is narrow.
437: Using the expression~(\ref{f2}) of $\w f_s(x)$ in~(\ref{fln}), we obtain
438: \beq
439: \w f_{S_N}(x)\approx\exp\left(N\left(-x\mean{s}+\half x^2\cum{s^2}\right)\right)
440: \eeq
441: in the relevant regime ($N$ large and $x$ small).
442: Setting
443: \beq
444: S_N\approx N\mean{s}+(N\cum{s^2})^{1/2}\,\eta,
445: \label{n1}
446: \eeq
447: we find that the moment generating function of the rescaled
448: random variable~$\eta$ is
449: \beq
450: \w f_\eta(y)=\e^{y^2/2}.
451: \eeq
452:
453: Equation~(\ref{n1}) gives the scaling law of the sample action
454: in the present case.
455: The fluctuations of $S_N$ about its mean $N\mean{s}$ increase as $N^{1/2}$,
456: and so become negligible in relative value in the large $N$ limit.
457: Hence $S_N$ is self-averaging.
458: The distribution of $\eta$ is Gaussian,
459: \beq
460: f_\eta(\eta)=\frad{\e^{-\eta^2/2}}{\sqrt{2\pi}}.
461: \eeq
462:
463: In the case of narrow distributions with a
464: complementary distribution function that falls off more rapidly than any power
465: law, $S_N$ is self-averaging in the strong sense that each
466: cumulant of its distribution is exactly proportional to $N$:
467: \beq
468: \cum{S_N^k}=N\cum{s^k}.
469: \eeq
470: This can be checked by using the expression~(\ref{fnarrow})
471: of $\w f_s(x)$ in~(\ref{fln}).
472:
473: \subsection{Fluctuating scaling law: $\mu<1$}
474:
475: In this case the distribution of the unit actions $s_n$
476: is broad, with an infinite mean $\mean{s}$.
477: Using the first expression~(\ref{fbroad}) of $\w f_s(x)$
478: in~(\ref{fln}), we obtain
479: \beq
480: \w f_{S_N}(x)\approx\exp\left(-N\Gamma(1-\mu)(s_0x)^\mu\right)
481: \label{wn2}
482: \eeq
483: in the relevant regime ($N$ large and $x$ small).
484: Setting
485: \beq
486: S_N\approx s_0(\Gamma(1-\mu))^{1/\mu}N^{1/\mu}\,\LL_\mu,
487: \label{n2}
488: \eeq
489: we find that the positive rescaled random variable $\LL_\mu$
490: has a non-trivial limiting distribution, whose moment generating function is
491: \beq
492: \w f_{\LL_\mu}(y)=\e^{-y^\mu}.
493: \label{n2e}
494: \eeq
495:
496: Equation~(\ref{n2}) gives the scaling law of the sample action
497: in the present case.
498: It shows that $S_N$ increases as $N^{1/\mu}$,
499: that is, faster than the number $N$ of units,
500: because the exponent $1/\mu$ is greater than unity.
501: Furthermore, $S_N$ is not self-averaging
502: but keeps on fluctuating in the large $N$ limit.
503: The result~(\ref{n2}) therefore appears as a {\it fluctuating scaling law}.
504: The expression of the distribution of the rescaled random variable $\LL_\mu$
505: is obtained by using~(\ref{n2e}) in the first of the formulae~(\ref{mominv}),
506: \beq
507: f_{\LL_\mu}(\LL)=\cint{\Re y>0}\frad{\d y}{2\pi\i}\,\e^{y\LL-y^\mu}.
508: \label{flevy}
509: \eeq
510: This probability density is referred to as the (properly normalized)
511: L\'evy law of index~$\mu$.
512: It is a non-trivial universal function
513: in the sense that it is determined by one parameter only,
514: namely the value of $\mu$.
515: References~\cite{levy1} provide a comprehensive presentation of L\'evy laws,
516: and References~\cite{levy2} provide overviews of applications
517: of L\'evy variables in Physics.
518:
519: Expanding $\e^{-y^\mu}$ as a power series in the integrand of~(\ref{flevy})
520: and integrating term by term with the help of the second
521: of the identities~(\ref{idens}), we obtain the convergent expansion
522: \beq
523: f_{\LL_\mu}(\LL)=\sum_{k\ge1}\frad{(-1)^k}{k!\,\Gamma(-k\mu)}\,\LL^{-(1+k\mu)}.
524: \eeq
525: Using the complement formula for the gamma function,
526: we find the alternative form
527: \beq
528: f_{\LL_\mu}(\LL)=\sum_{k\ge1}\frad{(-1)^{k-1}}{k!}\,\frad{\sin(k\pi\mu)}{\pi}
529: \,\Gamma(1+k\mu)\,\LL^{-(1+k\mu)}.
530: \label{levyinf}
531: \eeq
532: The behaviour of the probability density $f_{\LL_\mu}(\LL)$
533: at large values of $\LL$ is
534: determined by the leading order term of this expansion,
535: \beq
536: f_{\LL_\mu}(\LL)\approx\frad{\sin\pi\mu}{\pi}\,\Gamma(1+\mu)\,\LL^{-(1+\mu)}
537: \quad(\LL\to\infty).
538: \label{larl}
539: \eeq
540: Its behaviour at small values of $\LL$ is obtained from~(\ref{flevy})
541: by means of the method of steepest descent.
542: We thus find an exponentially fast fall off:
543: \beq
544: f_{\LL_\mu}(\LL)
545: \sim\exp\left(-(1-\mu)\left(\frad{\mu}{\LL}\right)^{\mu/(1-\mu)}\right)
546: \quad(\LL\to0).
547: \label{levy0}
548: \eeq
549: The density $f_{\LL_\mu}(\LL)$ admits a particularly simple
550: expression in closed form for $\mu=1/2$, which is
551: \beq
552: f_{\LL_{1/2}}(\LL)=\frad{\e^{-1/(4\LL)}}{2\sqrt{\pi\LL^3}}.
553: \eeq
554:
555: The expression of the moment function $m_{\LL_\mu}(p)$ may be derived
556: starting from~(\ref{mm}).
557: Using~(\ref{n2e}) in the right-hand side of the identity, we obtain it in three
558: steps.
559: We first evaluate the integral with the help
560: of the relation~(\cite[p.~342]{gry})
561: \beq
562: \int_0^\infty x^{p-1}\e^{-x^{\mu}}\,\d x=\frad{1}{\mu}\Gamma(p/\mu)
563: \quad(\mu>0,~\Re p>0).
564: \eeq
565: We then rewrite the result using the difference formula for the gamma function.
566: We finally extend the obtained result to negative values of $\Re p$ by
567: analytic continuation.
568: We thus find the simple formula
569: \beq
570: m_{\LL_\mu}(p)=\frad{\Gamma(1-p/\mu)}{\Gamma(1-p)}\quad(\Re p<\mu).
571: \label{xmom}
572: \eeq
573:
574: \subsection{Self-averaging with anomalous fluctuations: $1<\mu<2$}
575:
576: In this case the distribution of the unit actions $s_n$ is
577: still broad, but it has a finite mean~$\mean{s}$.
578: Using the second expression~(\ref{fbroad}) of $\w f_s(x)$ in~(\ref{fln}), we
579: obtain
580: \beq
581: \w f_{S_N}(x)\approx
582: \exp\Bigl(N\left(-\mean{s}x+\abs{\Gamma(1-\mu)}\,(s_0x)^\mu\right)\Bigr)
583: \eeq
584: in the relevant regime ($N$ large and $x$ small).
585: Setting
586: \beq
587: S_N\approx N\mean{s}+s_0\abs{\Gamma(1-\mu)}^{1/\mu}N^{1/\mu}\,\LL_\mu,
588: \label{n3}
589: \eeq
590: we find that the moment generating function of the rescaled random variable
591: $\LL_\mu$ is now
592: \beq
593: \w f_{\LL_\mu}(y)=\e^{y^\mu}.
594: \label{n3e}
595: \eeq
596:
597: Equation~(\ref{n3}) gives the scaling law of the sample action
598: in the present case.
599: This expression involves
600: two different microscopic characteristics of the distribution $f_s(s)$,
601: namely the mean $\mean{s}$ and the amplitude $s_0$
602: of the power law tail~(\ref{foff}).
603: The fluctuations of $S_N$ about its mean $N\mean{s}$ increase
604: as $N^{1/\mu}$, with $1/2<1/\mu<1$.
605: On the one hand, these fluctuations are much smaller than the mean action
606: in the large $N$ limit, and so $S_N$ is self-averaging.
607: On the other hand, these fluctuations increase more rapidly than $N^{1/2}$,
608: the power law of the central limit theorem
609: involved in the expression~(\ref{n1}).
610: Furthermore,
611: the distribution of the rescaled random variable $\LL_\mu$ is not Gaussian.
612:
613: Using~(\ref{n3e}), we obtain that $\LL_\mu$ is distributed according to
614: the following L\'evy law of index $\mu$:
615: \beq
616: f_{\LL_\mu}(\LL)=\cint{\Re y>0}\frad{\d y}{2\pi\i}\,\e^{y\LL+y^\mu}.
617: \label{flevy1}
618: \eeq
619: This probability density is universal,
620: as it only depends on the value of the index $\mu$.
621: It is non-vanishing for all values of $\LL$.
622: Its fall off at large positive values of~$\LL$ can be derived
623: by linearizing~(\ref{flevy1}) as
624: \beq
625: f_{\LL_\mu}(\LL)\approx\cint{\Re y>0}\frad{\d y}{2\pi\i}\,\e^{y\LL}\,y^\mu.
626: \eeq
627: Using again the second of the identities~(\ref{idens}), we thus obtain
628: \beq
629: f_{\LL_\mu}(\LL)\approx
630: \frad{\abs{\sin\pi\mu}}{\pi}\,\Gamma(1+\mu)\,\LL^{-(1+\mu)}
631: \quad(\LL\to+\infty).
632: \eeq
633: This expression is the first term of an expansion analogous to~(\ref{levyinf}).
634: This expansion is, however, asymptotic but divergent in the present case.
635: The behaviour of $f_{\LL_\mu}(\LL)$
636: at large negative values of $\LL$ is obtained from~(\ref{flevy1})
637: by means of the method of steepest descent.
638: We thus find
639: \beq
640: f_{\LL_\mu}(\LL)\sim
641: \exp\left(-(\mu-1)\left(\frad{\abs{\LL}}{\mu}\right)^{\mu/(\mu-1)}\right)
642: \quad(\LL\to-\infty).
643: \eeq
644: Since the exponent $\mu/(\mu-1)$ is larger than 2,
645: this fall off is of a superexponential type.
646:
647: \section{Transmission statistics in the ensemble of samples with a fixed
648: length~$L$}
649:
650: The statistics of the transmission probability through samples
651: with a fixed length~$L$ are determined by the distribution of
652: the sample action $S_L$, equation~(\ref{sumlen}).
653: The random character of $S_L$ has two origins,
654: as it is the sum of a random number $N_L$ of independent random variables.
655: We shall be interested here in the scaling properties of $S_L$
656: in the limit of large values of $L$.
657:
658: It is again useful to introduce the moment generating function of
659: the sample action.
660: Its expression is now
661: \beq
662: \w f_{S_L}(x,L)=\sum_{n\ge0}p_n(L)\,\w f_{S_n}(x),
663: \eeq
664: where $p_n(L)=\prob{N_L=n}$ is the probability that a sample of length $L$
665: consists of exactly $n$ units
666: and $\w f_{S_n}(x)$ the moment generating function corresponding
667: to this particular number of units.
668: Using~(\ref{fln}), we obtain
669: \beq
670: \w f_{S_L}(x,L)=\sum_{n\ge0}p_n(L)\,\w f_s(x)^n.
671: \label{mgsl}
672: \eeq
673: When dealing with functions $f(L)$ that depend on the sample length,
674: it will prove useful to use their Laplace transform $\L{f}(u)$
675: with respect to this variable,
676: \beq
677: \L{f}(u)=\int_0^\infty\e^{-uL}\,f(L)\,\d L.
678: \eeq
679: Equation~(\ref{mgsl}) becomes
680: \beq
681: \L{\w f_{S_L}}(x,u)=\sum_{n\ge0}\L{p}_n(u)\,\w f_s(x)^n.
682: \label{ltmgf}
683: \eeq
684: The expression of the Laplace transform $\L{p}_n(u)$ can be obtained as follows.
685: The definition~(\ref{nldef}) of $N_L$ implies
686: \beqa
687: p_n(L)&=&\prob{L_n<L<L_{n+1}}\nonumber\\
688: &=&\prob{L>L_n}-\prob{L>L_{n+1}}.
689: \label{probdif}
690: \eeqa
691: The Laplace transform of the first of these probabilities is simply
692: \beqa
693: \int_0^\infty\prob{L>L_n}\,\e^{-uL}\,\d L
694: &=&\bigmean{\int_{L_n}^\infty\e^{-uL}\,\d L}\nonumber\\
695: &=&\frad{\mean{\e^{-uL_n}}}{u}
696: =\frad{\w f_{L_n}(u)}{u}
697: =\frad{\w f_\l(u)^n}{u},
698: \label{probn}
699: \eeqa
700: where the last equality has been obtained in analogy
701: with the derivation of~(\ref{fln}).
702: The Laplace transform of the second probability
703: is obtained upon replacing $n$ by $n+1$ in~(\ref{probn}).
704: It follows that (see, e.g.,~\cite{gl})
705: \beq
706: \L{p}_n(u)=\w f_\l(u)^n\,\frad{1-\w f_\l(u)}{u}\qquad(n\ge0).
707: \label{lappn}
708: \eeq
709:
710: Using~(\ref{lappn}) in~(\ref{ltmgf}), we find that the Laplace transform of the
711: moment generating function has the following closed form expression:
712: \beq
713: \L{\w f_{S_L}}(x,u)=\frad{1-\w f_\l(u)}{u(1-\w f_\l(u)\w f_s(x))}.
714: \label{mw}
715: \eeq
716: This equation is analogous to
717: the Montroll-Weiss equation~\cite{mw}, which is well known in
718: the theory of the continuous time random walks (see, e.g.,~\cite{ctrw}).
719:
720: In the following, the scaling law of $S_L$ will be derived by using~(\ref{mw})
721: in the small~$x$ and small $u$ limits.
722: The expressions~(\ref{f2}) and~(\ref{fbroad})
723: of $\w f_s(x)$ are different for $\mu>1$ and $\mu<1$,
724: as well as those of $\w f_\l(u)$ for $\nu>1$ and $\nu<1$.
725: This leads to four different phases, which are identified by
726: the conditions ($\mu>1$, $\nu>1$), ($\mu<1$, $\nu>1$), ($\mu>1$, $\nu<1$),
727: and ($\mu<1$, $\nu<1$).
728: We shall discuss these four phases in this order.
729: For the sake of simplicity
730: we shall not distinguish the situations of normal and anomalous
731: fluctuations when the sums are self-averaging.
732: Said otherwise, we shall not discuss separately
733: the cases $\mu>2$ and $1<\mu<2$, nor the cases $\nu>2$ and $1<\nu<2$.
734:
735: \subsection{Phase~I: $\mu>1$ and $\nu>1$}
736:
737: In this phase both means $\mean{s}$ and $\mean{\l}$ are finite.
738: The result~(\ref{n1}) implies that $S_N\approx N\mean{s}$
739: and similarly that $L_N\approx N\mean{\l}$,
740: up to fluctuations that become negligible in relative value
741: in the large $N$ limit.
742: Eliminating $N$ between both estimates, we obtain
743: \beq
744: S_L\approx\frad{\mean{s}}{\mean{\l}}\,L,
745: \label{l1}
746: \eeq
747: again up to fluctuations that become negligible in relative value at large $L$.
748: In order to obtain more accurate estimates
749: of the mean $\mean{S_L}$ and the fluctuations about it,
750: more restrictive conditions on the distributions $f_\l$ and $f_s$ are needed.
751:
752: Let us consider first the case of narrow distributions
753: with $\mu>2$ and $\nu>2$.
754: Using the expressions~(\ref{f2}) of $\w f_s(x)$ and $\w f_\l(u)$ in~(\ref{mw})
755: and expanding this formula to second order in $x$ and $u$, we find
756: that the mean and variance of the distribution of the sample action
757: have the following expressions:
758: \beqa
759: &&\mean{S_L}\approx\frad{\mean{s}}{\mean{\l}}\left(L
760: +\frad{\cum{\l^2}-\mean{\l}^2}{2\mean{\l}}\right),\label{l1s1}\\
761: &&\cum{S_L^2}\approx\frad{\mean{\l}^2\cum{s^2}+\mean{s}^2\cum{\l^2}}
762: {\mean{\l}^3} L.
763: \label{l1s2}
764: \eeqa
765: Equation~(\ref{l1s1}) shows that the actual expression of the mean is not
766: exactly the one given by~(\ref{l1}).
767: There is a finite correction term which is proportional to
768: $\cum{\l^2}-\mean{\l}^2=\mean{\l^2}-2\mean{\l}^2$
769: and so may be of either sign.
770: Equation~(\ref{l1s2}) indicates that the variance increases
771: in direct proportion to $L$.
772: The first correction to this leading order result,
773: which has not been written explicitly, is a constant term for $\nu>3$
774: but grows as $\mean{s}^2L^{3-\nu}$ for $2<\nu<3$.
775:
776: We also consider the case of narrow distributions with a
777: complementary distribution function that falls off
778: more rapidly than any power law.
779: In this case $S_L$ is self-averaging
780: in the strong sense that each cumulant of its distribution
781: increases in direct proportion to $L$:
782: \beq
783: \cum{S_L^k}\approx a_k L.
784: \label{cuml}
785: \eeq
786: The expressions of the coefficients $a_k$ can be obtained as follows.
787: Equation~(\ref{cuml}) means that the moment generating function
788: $\w f_{S_L}(x,L)$ has the following exponential growth
789: for large values of the sample length:
790: \beq
791: \w f_{S_L}(x,L)\sim\e^{A(x)L}.
792: \label{cumf}
793: \eeq
794: Here $A(x)$ is the generating function of the coefficients $a_k$,
795: \beq
796: A(x)=\sum_{k\ge1}\frad{(-x)^k}{k!}\,a_k.
797: \eeq
798: Equation~(\ref{cumf}) in turn
799: implies that the Laplace transform $\L{\w f_{S_L}}(x,u)$
800: has a simple pole of the form
801: \beq
802: \L{\w f_{S_L}}(x,u)\sim\frad{1}{u-A(x)}.
803: \eeq
804: On the other hand,~(\ref{mw}) shows that $\L{\w f_{S_L}}(x,u)$ has poles
805: whenever $\w f_\l(u)\w f_s(x)=1$.
806: Hence the generating function $A(x)$ is determined by the implicit equation
807: \beq
808: \w f_\l(A(x))\w f_s(x)=1.
809: \eeq
810: Using the expression~(\ref{fnarrow}) of $\w f_s(x)$
811: and $\w f_\l(x)$ in this equation and expanding it as a
812: power series in $x$, we can derive the expressions of the coefficients $a_k$
813: in a recursive way.
814: We find
815: \beq
816: \matrix{
817: a_1=\frad{\mean{s}}{\mean{\l}},\hfill\cr
818: a_2=\frad{\mean{\l}^2\cum{s^2}+\mean{s}^2\cum{\l^2}}{\mean{\l}^3},\hfill\cr
819: a_3=\frad{\mean{\l}^4\cum{s^3}-\mean{\l}\mean{s}^3\cum{\l^3}
820: +3\mean{\l}^2\mean{s}\cum{\l^2}\cum{s^2}+3\mean{s}^3\cum{\l^2}^2}{\mean{\l}^5},
821: }
822: \eeq
823: and so on.
824: As expected, the expression of the coefficient $a_1$ (resp.~$a_2$) agrees with
825: the one obtained from~(\ref{l1s1}) (resp.~(\ref{l1s2})).
826:
827: \subsection{Phase~II: $\mu<1$ and $\nu>1$}
828:
829: In this phase the mean $\mean{\l}$ is finite,
830: but the mean $\mean{s}$ is infinite.
831: The fact that $\mean{\l}$ is finite implies that the number of units
832: increases as $N\approx L/\mean{\l}$, by analogy with~(\ref{n1}).
833: We therefore surmise that the scaling law of $S_L$ is similar to the
834: one of $S_N$ in the case $\mu<1$.
835:
836: The scaling law of $S_L$ can be obtained as follows.
837: Using the first expression~(\ref{fbroad}) of $\w f_s(x)$ and the
838: expression~(\ref{f2}) of $\w f_\l(u)$ in~(\ref{mw}), we obtain
839: \beq
840: \L{\w f_{S_L}}(x,u)\approx\left(u+\frad{\Gamma(1-\mu)(s_0x)^\mu}{\mean{\ell}}
841: \right)^{-1}
842: \eeq
843: in the relevant regime ($x$ and $u$ small).
844: The calculation of the inverse Laplace transform of $\L{\w f_{S_L}}(x,u)$
845: gives
846: \beq
847: \w f_{S_L}(x,L)
848: \approx\exp\left(-\Gamma(1-\mu)(s_0x)^\mu\frad{L}{\mean{\ell}}\right).
849: \eeq
850: We note that this expression becomes identical to~(\ref{wn2})
851: if we replace the ratio $L/\mean{\l}$ by the number $N$ of units.
852: This allows us to conclude that the scaling law of $S_L$ in Phase~II~is
853: \beq
854: S_L\approx s_0\left(\Gamma(1-\mu)\right)^{1/\mu}
855: \left(\frad{L}{\mean{\ell}}\right)^{1/\mu}\,\LL_\mu,
856: \label{l2}
857: \eeq
858: where the rescaled random variable $\LL_\mu$ is
859: distributed according to the L\'evy law, equation~(\ref{flevy}).
860: This result agrees with our surmise.
861:
862: \subsection{Phase~III: $\mu>1$ and $\nu<1$}
863:
864: In this phase the mean $\mean{s}$ is finite but the mean
865: $\mean{\l}$ is infinite.
866: The fact that $\mean{s}$ is finite implies that $S_N\approx N\mean{s}$, by
867: virtue of~(\ref{n1}).
868: We therefore surmise that the fluctuations of
869: $S_L$ are similar here to those of the number $N_L$ of units in the samples.
870:
871: Following our surmise, we begin by deriving
872: the scaling form of the expression of $p_n(L)$
873: in the limit of large values of $L$.
874: Using the first expression~(\ref{fbroad}) of $\w f_\l(u)$
875: in~(\ref{lappn}), we obtain
876: \beq
877: \L{p}_n(u)\approx\Gamma(1-\nu)\l_0^\nu u^{\nu-1}
878: \,\exp\Bigl(-\Gamma(1-\nu)(\l_0u)^\nu n\Bigr)
879: \label{lpn}
880: \eeq
881: in the relevant regime ($n$ large, $u$ small), and so
882: \beq
883: p_n(L)\approx\Gamma(1-\nu)\l_0^\nu
884: \cint{\Re u>0}\frad{\d u}{2\pi\i}\,u^{\nu-1}
885: \,\exp\Bigl(-\Gamma(1-\nu)(\l_0u)^\nu n+uL\Bigr).
886: \label{pn}
887: \eeq
888:
889: Let us introduce a rescaled variable $Z_\nu$ by setting
890: \beq
891: n\approx\frad{1}{\Gamma(1-\nu)}\left(\frad{L}{\l_0}\right)^\nu Z_\nu.
892: \label{ln3}
893: \eeq
894: This positive random variable has a limiting distribution
895: which is easily obtained from~(\ref{pn}).
896: Setting $z=uL$, we find
897: \beq
898: f_{Z_\nu}(Z)=\cint{\Re z>0}\frad{\d z}{2\pi\i}\,z^{\nu-1}\,\e^{z-Z z^\nu}.
899: \label{fz}
900: \eeq
901: This probability density admits an expression in closed
902: form for $\nu=1/2$, case in which it is a half-Gaussian:
903: \beq
904: f_{Z_{1/2}}(Z)=\frad{\e^{-Z^2/4}}{\sqrt{\pi}}\quad(Z>0).
905: \eeq
906:
907: The random variable $Z_\nu$ can be expressed as
908: \beq
909: Z_\nu={\LL_\nu}^{-\nu},
910: \label{zxi}
911: \eeq
912: where $\LL_\nu$ is distributed according to
913: the L\'evy law, equation~(\ref{flevy}).
914: Indeed, setting $Z=\LL^{-\nu}$ and $z=x\LL$ in~(\ref{fz}), we
915: obtain the following expression for the probability density of $\LL_\nu$:
916: \beq
917: f_{\LL_\nu}(\LL)=\frad{\nu}{\LL}\cint{\Re x>0}\frad{\d x}{2\pi\i}
918: \,x^{\nu-1}\,\e^{x\LL-x^\nu}.
919: \eeq
920: This expression is then put into the canonical form~(\ref{flevy})
921: by means of an integration by parts.
922:
923: The expression of the moment function of $Z_\nu$ is readily obtained by
924: means of~(\ref{xmom}) and~(\ref{zxi}).
925: We find
926: \beq
927: m_{Z_\nu}(p)=\frad{\Gamma(1+p)}{\Gamma(1+p\nu)}\quad(\Re p>-1).
928: \label{zmom}
929: \eeq
930: This result implies that the distribution of $Z_\nu$ is narrow
931: in the strong sense that all its moments are finite.
932: Setting $p=k$ in~(\ref{zmom}), we indeed obtain
933: \beq
934: \mean{Z_\nu^k}=\frad{k!}{\Gamma(1+k\nu)}
935: \eeq
936: for any integer $k$.
937:
938: The relations~(\ref{ln3}) and~(\ref{zxi}) may also
939: be found in the following heuristic way.
940: By analogy with~(\ref{n2}), the
941: sample length $L_N$ has the following fluctuating scaling law in the case
942: $\nu<1$:
943: \beq
944: L_N=\l_0(\Gamma(1-\nu))^{1/\nu}\,N^{1/\nu}\,\LL_\nu.
945: \label{ls}
946: \eeq
947: Expressing $N$ in this equation in terms of the other quantities,
948: we obtain both above relations at once.
949:
950: Let us now turn to the scaling law of $S_L$.
951: Using the first expression~(\ref{fbroad}) of $\w f_\l(u)$
952: and the expression~(\ref{f2}) of $\w f_s(x)$ in~(\ref{mw}), we obtain
953: \beq
954: \L{\w f_{S_L}}(x,u)\approx\frad{\Gamma(1-\nu)\l_0^\nu u^{\nu-1}}
955: {x\mean{s}+\Gamma(1-\nu)(\l_0u)^\nu}
956: \eeq
957: in the relevant regime ($x$ and $u$ small), and so
958: \beq
959: \L{f}_{S_L}(S_L,u)\approx\frad{\Gamma(1-\nu)\l_0^\nu u^{\nu-1}}{\mean{s}}
960: \,\exp\left(-\Gamma(1-\nu)(\l_0u)^\nu\frad{S_L}{\mean{s}}\right).
961: \eeq
962: We note that this expression becomes identical to~(\ref{lpn})
963: if we replace the ratio $S_L/\mean{s}$ by the number $n$ of units.
964: This allows us to conclude that the scaling law of $S_L$ in Phase~III is
965: \beq
966: S_L\approx\frad{\mean{s}}{\Gamma(1-\nu)}\left(\frad{L}{\l_0}\right)^\nu Z_\nu.
967: \label{s3}
968: \eeq
969: Our surmise has proved correct, as the same random variable $Z_\nu$,
970: equation~(\ref{zxi}),
971: enters the scaling laws of the number of units and of the sample action.
972:
973: \subsection{Phase~IV: $\mu<1$ and $\nu<1$}
974:
975: This last phase is the most interesting one,
976: because neither the mean $\mean{s}$ nor the mean~$\mean{\l}$ is finite.
977: This implies that $S_N\sim N^{1/\mu}$ and $L_N\sim N^{1/\nu}$,
978: by virtue of and analogy with~(\ref{n2}) respectively.
979: The combination of these two scaling laws gives $S_N\sim L_N^{\nu/\mu}$.
980: We therefore surmise that the sample action follows a fluctuating scaling law
981: of the form $S_L\sim L^{\nu/\mu}$ in this phase.
982:
983: To obtain the scaling law of $S_L$, it is easier here to work with the
984: Laplace transform $\L{m}_{S_L}(p,u)$
985: of the moment function than with the one of the moment generating function.
986: These two functions are linked together by the identity
987: \beq
988: \L{m}_{S_L}(-p,u)=\frad{1}{\Gamma(p)}\int_0^\infty\L{\w
989: f_{S_L}}(x,u)\,x^{p-1}\,\d x\quad(\Re p>0),
990: \label{mmm}
991: \eeq
992: which is readily obtained by taking the Laplace transform of~(\ref{mm})
993: with respect to $L$.
994: Using the first expression~(\ref{fbroad}) of $\w f_s(x)$
995: and of $\w f_\l(u)$ in~(\ref{mw}), we find
996: \beq
997: \L{\w f_{S_L}}(x,u)\approx\frad{\Gamma(1-\nu)\l_0^\nu u^{\nu-1}}
998: {\Gamma(1-\nu)(\l_0u)^\nu+\Gamma(1-\mu)(s_0x)^\mu}
999: \label{wf4}
1000: \eeq
1001: in the relevant regime ($x$ and $u$ small).
1002: Putting this expression into~(\ref{mmm}), we obtain
1003: that of $\L{m}_{S_L}(p,u)$ by following the same
1004: three-step procedure as in the derivation of the expression of the
1005: moment function $m_{\LL_\mu}(p)$, equation~(\ref{xmom}), the integral
1006: being evaluated with the help of the relation~(\cite[p.~292]{gry})
1007: \beq
1008: \int_0^\infty\frad{x^{p-1}}{1+zx^{\mu}}\,\d x
1009: =\frad{\Gamma(p/\mu)\Gamma(1-{p/\mu})}{\mu\,z^{p/\mu}}\quad(0<\Re p<\mu).
1010: \eeq
1011: We thus find
1012: \beq
1013: \L{m}_{S_L}(p,u)=s_0^p
1014: \left(\frad{\Gamma(1-\mu)}{\Gamma(1-\nu)}\right)^{p/\mu}
1015: \frad{\Gamma(1-p/\mu)\Gamma(1+p/\mu)}{\Gamma(1-p)(\l_0u)^{p\nu/\mu}\,u}.
1016: \label{comp1}
1017: \eeq
1018: The inverse Laplace transform is straightforward, and leads to
1019: \beq
1020: m_{S_L}(p,L)\approx s_0^p
1021: \left(\frad{\Gamma(1-\mu)}{\Gamma(1-\nu)}\right)^{p/\mu}
1022: \left(\frad{L}{\l_0}\right)^{p\nu/\mu}
1023: \frad{\Gamma(1+p/\mu)\,\Gamma(1-p/\mu)}{\Gamma(1+p\nu/\mu)\,\Gamma(1-p)}.
1024: \eeq
1025: This result means that the scaling law of $S_L$ in Phase~IV is the following:
1026: \beq
1027: S_L\approx s_0\left(\frad{\Gamma(1-\mu)}{\Gamma(1-\nu)}\right)^{1/\mu}
1028: \left(\frad{L}{\l_0}\right)^{\nu/\mu}\,Y_{\mu\nu}.
1029: \label{s4}
1030: \eeq
1031: Here $Y_{\mu\nu}$ is a positive rescaled random variable
1032: whose moment function is
1033: \beq
1034: m_{Y_{\mu\nu}}(p)
1035: =\frad{\Gamma(1+p/\mu)\,\Gamma(1-p/\mu)}{\Gamma(1+p\nu/\mu)\,\Gamma(1-p)}
1036: \qquad(-\mu<\Re p<\mu).
1037: \label{ym4}
1038: \eeq
1039: The comparison of this moment function with the one of the
1040: L\'evy variable $\LL_\mu$, equation~(\ref{xmom}), leads to the product relation
1041: \beq
1042: m_{Y_{\mu\nu}}(p)
1043: =m_{\LL_\mu}(p)\,m_{\LL_\nu}(-p\nu/\mu)
1044: =m_{\LL_\mu}(p)\,m_{{\LL_\nu}^{-\nu/\mu}}(p).
1045: \label{pmf}
1046: \eeq
1047: It follows that $Y_{\mu\nu}$ can be expressed as
1048: \beq
1049: Y_{\mu\nu}=\LL_\mu\,{\LL_\nu}^{-\nu/\mu},
1050: \label{y4}
1051: \eeq
1052: where the two independent random variables $\LL_\mu$ and $\LL_\nu$
1053: are distributed according to L\'evy laws of respective indices $\mu$ and $\nu$.
1054:
1055: The expression of the scaling law, equation~(\ref{s4}),
1056: and the relation~(\ref{y4}) may also be found in a heuristic way,
1057: that is, by eliminating $N$ between the fluctuating scaling laws~(\ref{n2})
1058: and~(\ref{ls}).
1059:
1060: The expression of the distribution of $Y_{\mu\nu}$ is obtained
1061: by using~(\ref{ym4}) in the second of the formulae~(\ref{mominv}),
1062: \beq
1063: f_{Y_{\mu\nu}}(Y)=\int\frad{\d p}{2\pi\i}
1064: \,\frad{\Gamma(1-p/\mu)\Gamma(1+p/\mu)}{\Gamma(1-p)\Gamma(1+p\nu/\mu)}
1065: \,Y^{-p-1}.
1066: \label{fy4}
1067: \eeq
1068: This probability density is a universal function
1069: in the sense that it is determined by two parameters only,
1070: namely the values of the indices $\mu$ and $\nu$.
1071:
1072: The probability density $f_{Y_{\mu\nu}}(Y)$ can be expressed in the form of a
1073: convergent series of powers of $Y^{\mu}$ in the case $\mu\ge\nu$ and inverse
1074: powers of $Y^{\mu}$ in the case $\mu\le\nu$.
1075: In the former (resp.~latter) case this series is obtained from~(\ref{fy4})
1076: by summing the contributions of the poles of the integrand
1077: at $p=-k\mu$ (resp.~$p=k\mu$), for $k\ge1$.
1078: Using the difference and complement formulae for the gamma function, we find
1079: \beq
1080: \matrix{
1081: f_{Y_{\mu\nu}}(Y)=\dis\sum_{k\ge1}(-1)^{k-1}\,
1082: \frad{\sin(k\pi\nu)}{\pi}\,\frad{\Gamma(k\nu)}{\Gamma(k\mu)}\,Y^{-(1-k\mu)}
1083: \hfill&\quad(\mu\ge\nu),\cr
1084: f_{Y_{\mu\nu}}(Y)=\dis\sum_{k\ge1}(-1)^{k-1}\,
1085: \frad{\sin(k\pi\mu)}{\pi}\,\frad{\Gamma(1+k\mu)}{\Gamma(1+k\nu)}\,Y^{-(1+k\mu)}
1086: \hfill&\quad(\mu\le\nu).}
1087: \label{sercv}
1088: \eeq
1089: The behaviour of the probability density at small (resp.~large) values of $Y$
1090: is determined for all values of the indices $\mu$ and $\nu$
1091: by the leading order term of the above expansions:
1092: \beq
1093: \matrix{
1094: f_{Y_{\mu\nu}}(Y)\approx\frad{\sin\pi\nu}{\pi}\,\frad{\Gamma(\nu)}{\Gamma(\mu)}
1095: \,Y^{-(1-\mu)}\quad\hfill&(Y\to0),\hfill\cr
1096: f_{Y_{\mu\nu}}(Y)\approx\frad{\sin\pi\mu}{\pi}\,\frad{\Gamma(1+\mu)}
1097: {\Gamma(1+\nu)}
1098: \,Y^{-(1+\mu)}\quad\hfill&(Y\to\infty).\hfill}
1099: \label{yas}
1100: \eeq
1101: The power law fall off of $f_{Y_{\mu\nu}}(Y)$ at large values of $Y$ is
1102: similar to that of the L\'evy law at large values of $\LL$, as
1103: given by~(\ref{larl}).
1104: Its prefactor hardly depends on $\nu$, as $1/\Gamma(1+\nu)$ varies
1105: between 1, which is reached for $\nu=0$ or $\nu=1$, and
1106: $1/\Gamma(1+\nu_\min)=1.12917\dots$, which is reached
1107: for the value $\nu_\min=0.46163\dots$ of $\nu$ at which the function
1108: $\Gamma(1+\nu)$ takes its minimum $\Gamma(1+\nu_\min)=0.88560\dots$
1109: The behaviour of $f_{Y_{\mu\nu}}(Y)$ at small values of~$Y$ is different
1110: from that of the L\'evy law at small values of~$\LL$, as given
1111: by~(\ref{levy0}).
1112: It is characterized by a power law divergence in $Y^{-(1-\mu)}$,
1113: whose amplitude is a decreasing function of $\nu$
1114: which vanishes in the $\nu\to1$ limit.
1115:
1116: The preceding equations take a simpler form in the particular case
1117: of the symmetric situation where $\mu=\nu$.
1118: Indeed, the scaling law~(\ref{s4}) has then the form
1119: \beq
1120: S_L\approx\frad{s_0}{\l_0}\,L\,Y_{\mu\mu}
1121: \label{syms4}
1122: \eeq
1123: of a fluctuating scaling law growing proportionally to the sample length $L$.
1124: The relation~(\ref{y4}) becomes
1125: \beq
1126: Y_{\mu\mu}=\frad{\LL_\mu}{\LL'_\mu}.
1127: \label{yratio}
1128: \eeq
1129: Hence the random variable $Y_{\mu\mu}$ is distributed as the ratio of
1130: two independent random variables $\LL_\mu$ and $\LL'_\mu$, each one of them
1131: being distributed according to the same L\'evy law.
1132: Using the difference and complement formulae for the gamma
1133: function,~(\ref{ym4}) becomes
1134: \beq
1135: m_{Y_{\mu\mu}}(p)=\frad{\sin\pi p}{\mu\sin(\pi p/\mu)}
1136: \quad(-\mu<\Re p<\mu).
1137: \label{symym4}
1138: \eeq
1139: The probability density of $Y_{\mu\mu}$ admits an expression in closed form.
1140: Indeed, each series in~(\ref{sercv}) can be summed
1141: and both give the same result, which is
1142: \beq
1143: f_{Y_{\mu\mu}}(Y)=\frad{\sin\pi\mu}{\pi Y(Y^\mu+Y^{-\mu}+2\cos\pi\mu)}.
1144: \label{lam}
1145: \eeq
1146: This probability density has been originally
1147: discovered by Lamperti~\cite{lamperti}.
1148:
1149: The overall shape of the distribution of $Y_{\mu\nu}$
1150: is better revealed by considering the random variable
1151: \beq
1152: \Lambda_{\mu\nu}=\ln Y_{\mu\nu}.
1153: \label{lamdef}
1154: \eeq
1155: Equation~(\ref{yas}) implies that the probability density of $\Lambda_{\mu\nu}$
1156: falls off exponentially as $\Lambda\to\pm\infty$:
1157: \beq
1158: \matrix{
1159: f_{\Lambda_{\mu\nu}}(\Lambda)\approx
1160: \frad{\sin\pi\nu}{\pi}\,\frad{\Gamma(\nu)}{\Gamma(\mu)}
1161: \,\e^{\mu\Lambda}\quad\hfill&(\Lambda\to-\infty),\hfill\cr
1162: f_{\Lambda_{\mu\nu}}(\Lambda)\approx
1163: \frad{\sin\pi\mu}{\pi}\,\frad{\Gamma(1+\mu)}{\Gamma(1+\nu)}
1164: \,\e^{-\mu\Lambda}\quad\hfill&(\Lambda\to+\infty).\hfill}
1165: \eeq
1166: The moments of the distribution of $\Lambda_{\mu\nu}$
1167: may be calculated by taking advantage of the identity
1168: $\w f_{\Lambda_{\mu\nu}}(p)=m_{Y_{\mu\nu}}(-p)$.
1169: Expanding the moment function of~$Y_{\mu\nu}$,
1170: equation~(\ref{ym4}), in powers of $p$, we find
1171: \beq
1172: \mean{\Lambda_{\mu\nu}}=\frad{(\nu-\mu)\,{\bf C}}{\mu},\quad
1173: \cum{\Lambda_{\mu\nu}^2}=\frad{(2-\mu^2-\nu^2)\pi^2}{6\mu^2},
1174: \label{lmom}
1175: \eeq
1176: where ${\bf C}=0.57721\dots$ is the Euler-Mascheroni constant, and so on.
1177: The first of these relations indicates that the mean of the
1178: distribution is positive (resp.~negative)
1179: if $\mu<\nu$ (resp.~$\mu>\nu$), the second that its variance
1180: decreases as the values of one or both indices increase.
1181: Mean and variance vanish as $\mu\to1$ and $\nu\to1$ simultaneously,
1182: in agreement with the limiting result~(\ref{y11}).
1183:
1184: If $\mu=\nu$, a closed form expression of the probability density
1185: of $\Lambda_{\mu\mu}=\ln Y_{\mu\mu}$ is easily obtained from~(\ref{lam}).
1186: We find the symmetric law
1187: \beq
1188: f_{\Lambda_{\mu\mu}}(\Lambda)
1189: =\frad{\sin\pi\mu}{2\pi(\cosh\mu\Lambda+\cos\pi\mu)}.
1190: \label{Lam}
1191: \eeq
1192:
1193: The probability density $f_{\Lambda_{\mu\nu}}(\Lambda)$ is represented in
1194: Figure~\ref{fdensity} for $\mu=0.6$ and five different values of $\nu$.
1195: The curves result from a numerical integration of the following expression:
1196: \beq
1197: f_{\Lambda_{\mu\nu}}(\Lambda)=\frad{1}{2\mu}\int_{-\infty}^\infty
1198: \frad{y\,\e^{-\i y\Lambda}}
1199: {\sinh(\pi y/\mu)\Gamma(1-\i y)\Gamma(1+\i y\nu/\mu)}\,\d y.
1200: \eeq
1201: This integral representation of the probability density is obtained
1202: by setting $p=\i y$ in~(\ref{fy4}) and using the relation
1203: $\Gamma(1+\i u)\Gamma(1-\i u)=\pi u/\sinh(\pi u)$.
1204: The figure confirms that the shape of $f_{\Lambda_{\mu\nu}}(\Lambda)$
1205: is very sensitive to the value of $\nu$ on the negative side,
1206: but much less so on the positive side.
1207: The position of its maximum (shown by a heavy dot)
1208: moves only weakly as a function of $\nu$, and in a manner that is not monotonic.
1209:
1210: \begin{figure}[htb]
1211: \begin{center}
1212: \includegraphics[angle=90,height=7truecm]{fdensity.eps}
1213: \caption{\small
1214: Graph of the probability density of the random variable
1215: $\Lambda_{\mu\nu}=\ln Y_{\mu\nu}$
1216: for $\mu=0.6$ and five different values of $\nu$.
1217: From top to bottom near $\Lambda=0$: $\nu=1$
1218: (case in which $Y_{\mu1}=\LL_\mu$ is distributed
1219: according to the L\'evy law~(\ref{flevy})),
1220: $\nu=0.8$, $\nu=0.6$ (thick line, case
1221: of the symmetric probability density~(\ref{Lam})), $\nu=0.4$, and $\nu=0.2$.
1222: A heavy dot indicates the maximum of the probability density
1223: for each value of $\nu$.}
1224: \label{fdensity}
1225: \end{center}
1226: \end{figure}
1227:
1228: The scaling laws of the first three
1229: phases can be obtained from that of Phase~IV by taking the right
1230: limits and using the proper identifications.
1231:
1232: \begin{itemize}
1233:
1234: \item For $\mu\to1$,
1235: the results of Phase~III are recovered with the identification
1236: \beq
1237: \mean{s}=\lim_{\mu\to1}\frad{s_0}{1-\mu}.
1238: \label{id3}
1239: \eeq
1240: In particular, $\LL_\mu\to1$, and so~(\ref{y4}) becomes
1241: \beq
1242: Y_{1\nu}=Z_\nu=\LL_\nu^{-\nu},
1243: \eeq
1244: in agreement with~(\ref{zxi}).
1245:
1246: \item For $\nu\to1$,
1247: the results of Phase~II are recovered with the identification
1248: \beq
1249: \mean{\l}=\lim_{\nu\to1}\frad{\l_0}{1-\nu}.
1250: \label{id2}
1251: \eeq
1252: In particular, $\LL_\nu\to1$, and so~(\ref{y4}) becomes
1253: \beq
1254: Y_{\mu1}=\LL_\mu,
1255: \label{ymu1}
1256: \eeq
1257: in agreement with~(\ref{l2}).
1258:
1259: \item For $\mu\to1$ and $\nu\to1$ simultaneously,
1260: the results of Phase~I are recovered
1261: with the identifications~(\ref{id3}) and~(\ref{id2}).
1262: In particular,~(\ref{y4}) becomes
1263: \beq
1264: Y_{11}=1.
1265: \label{y11}
1266: \eeq
1267: The rescaled random variable becomes deterministic in this limiting case,
1268: which implies that $S_L$ becomes self-averaging, in agreement with~(\ref{l1}).
1269:
1270: \end{itemize}
1271:
1272: Finally, we have addressed by means of numerical simulations
1273: the question of the convergence of the distribution of
1274: $S_L$ for a finite sample length $L$ towards the asymptotic
1275: scaling law~(\ref{s4}).
1276: We have generated ensembles of $10^8$ samples for
1277: four values of $L$ ranging from $10^2$ to $10^5$.
1278: Each sample consisted of a sequence of pseudo-random
1279: values of $\l_n$ and $s_n$, distributed according to the truncated power laws
1280: \beq
1281: f_s(s)=\frad{\mu}{s^{1+\mu}}\quad(s>1),\qquad
1282: f_\l(\l)=\frad{\nu}{\l^{1+\nu}}\quad(\l>1).
1283: \eeq
1284: These distributions have $s_0=\l_0=1$.
1285: For definiteness, we have considered the symmetric case $\mu=\nu$.
1286: In this case equation~(\ref{s4}) becomes~(\ref{syms4}) which implies
1287: \beq
1288: \ln\frac{S_L}{L}\approx\Lambda_{\mu\mu}.
1289: \eeq
1290: The choice of the rather high value $\mu=\nu=0.8$ for the index was motivated
1291: by the expectation that finite-size effects are larger for larger $\mu$
1292: because of the presence of logarithmic corrections to scaling for $\mu=1$.
1293: An example of such corrections is mentioned at the end of Section~5.
1294: Figure~\ref{fhistos} shows histogram plots of our numerical data
1295: for $\ln(S_L/L)$ for the four values of the sample length $L$.
1296: A slow and monotonic convergence of the data
1297: towards the asymptotic prediction~(\ref{Lam}) is observed.
1298:
1299: \begin{figure}[htb]
1300: \begin{center}
1301: \includegraphics[angle=90,height=7truecm]{fhistos.eps}
1302: \caption{\small
1303: Study of the convergence of the distribution of
1304: $S_L$ towards the asymptotic scaling law~(\ref{s4}).
1305: Symbols: histograms of numerical data for $\ln(S_L/L)$
1306: for $\mu=\nu=0.8$ and four values of the sample length~$L$.
1307: Solid line: theoretical prediction for the asymptotic distribution
1308: of $\Lambda_{\mu\mu}$, equation~(\ref{Lam}).}
1309: \label{fhistos}
1310: \end{center}
1311: \end{figure}
1312:
1313: \section{Discussion}
1314:
1315: In the present work we have studied a model
1316: of quantum transport in one dimension
1317: based on a disordered array of units whose lengths $\l_n$ and actions $s_n$
1318: are independent random variables with either narrow or broad distributions.
1319: We have successively investigated the statistical ensemble
1320: at fixed number $N$ of units (in Section~3)
1321: and the statistical ensemble at fixed sample length $L$ (in Section~4).
1322: The model is richer in the latter ensemble than in the former
1323: because the sample action $S_L$ is the sum of a random rather than fixed number
1324: $N_L$ of independent random variables.
1325: Equation~(\ref{mw}) has been the starting point of the analysis
1326: in the ensemble at fixed sample length.
1327: This equation is analogous to the Montroll-Weiss equation~\cite{mw},
1328: which is well-known in the theory of the continuous time random walks.
1329: Nevertheless the overlap between the present work and the abundant literature
1330: on continuous time random walks (see, e.g.,~\cite{ctrw}),
1331: and more generally on fractional diffusion (see, e.g.,~\cite{fd}),
1332: seems to be minute.
1333: This is essentially because our basic random variables (lengths and actions)
1334: are intrinsically positive
1335: whereas most works on fractional diffusion consider displacements
1336: which are symmetrically distributed random variables,
1337: and so all the results differ.
1338: Let us however mention that the distribution of our variable $Y_{\mu\nu}$
1339: appears in some form in Reference~\cite{sz}.
1340:
1341: The main outcomes of this work, that is,
1342: those concerning the ensemble at fixed sample length derived in Section~4,
1343: are summarized in the phase diagram shown in Figure~\ref{fdiagramme}.
1344: Four different phases can be distinguished,
1345: depending on whether the indices~$\mu$ and $\nu$ are greater or less than unity.
1346: A fluctuating scaling behaviour for the action $S_L$, of the form
1347: \beq
1348: S_L\approx a\,Y\,L^\alpha,
1349: \label{fsd}
1350: \eeq
1351: has been shown to hold in Phases~II, III, and~IV.
1352: This fluctuating scaling law consists of three factors:
1353: a power law $L^\alpha$ of the sample length,
1354: with a scaling exponent $\alpha$ whose value
1355: dictates the localization properties of the eigenstates, as detailed below;
1356: a rescaled random variable $Y$, which has a non-trivial
1357: asymptotic distribution with some universal character;
1358: and a non-universal prefactor~$a$,
1359: which encompasses the microscopic details of the model.
1360: Table~\ref{tab} gives the expressions of the exponent $\alpha$
1361: and of the rescaled random variable $Y$ in the four phases of the model.
1362: Remarkably enough, $Y$ can always be expressed
1363: in terms of positive L\'evy variables $\LL_\mu$.
1364:
1365: \begin{figure}[htb]
1366: \begin{center}
1367: \includegraphics[angle=90,height=6truecm]{fdiagramme.eps}
1368: \caption{\small
1369: Phase diagram of the model in the plane of the indices $\mu$ and $\nu$,
1370: showing the four phases labelled I to IV.
1371: The scaling behaviour of $S_N$ and $L_N$ at fixed $N$
1372: (Section~3) and of $S_L$ at fixed $L$ (Section~4) is given for each phase.}
1373: \label{fdiagramme}
1374: \end{center}
1375: \end{figure}
1376:
1377: \begin{table}[ht]
1378: \begin{center}
1379: \begin{tabular}{|c|c|c|c|}
1380: \hline
1381: Phase&Indices&$\alpha$&$Y$\\
1382: \hline
1383: I&$\mu>1$,~$\nu>1$&1&$1$\\
1384: \hline
1385: II&$\mu<1$,~$\nu>1$&$1/\mu$&$\LL_\mu$\\
1386: III&$\mu>1$,~$\nu<1$&$\nu$&$Z_\nu={\LL_\nu}^{-\nu}$\\
1387: IV&$\mu<1$,~$\nu<1$&$\nu/\mu$&$Y_{\mu\nu}=\LL_\mu\,{\LL_\nu}^{-\nu/\mu}$\\
1388: \hline
1389: \end{tabular}
1390: \end{center}
1391: \caption{Expressions of the exponent $\alpha$
1392: and of the rescaled random variable $Y$
1393: involved in the fluctuating scaling law~(\ref{fsd})
1394: for the sample action $S_L$ in the four phases of the model.
1395: Phase~I: $Y=1$ is trivial, and so $S_L$ is self-averaging.
1396: Phases~II, III, and~IV: $Y$ is non-trivial,
1397: and so $S_L$ is not self-averaging.}
1398: \label{tab}
1399: \end{table}
1400:
1401: The physical consequences of the fluctuating scaling law~(\ref{fsd})
1402: are the following.
1403: As recalled in the introduction,
1404: in the usual one-dimensional localization problem,
1405: where the random potential has short-range correlations,
1406: the conductance, which is proportional
1407: to the transmission probability $\abs{\TT}^2$,
1408: is a strongly fluctuating quantity
1409: in the insulating regime of long enough samples ($L\gg\xi$).
1410: On the other hand, the action $S$
1411: is much better behaved, as it is self-averaging in a strong sense.
1412: Whenever the fluctuating scaling law~(\ref{fsd}) holds,
1413: the action itself is not self-averaging
1414: but keeps on fluctuating in samples whose length is arbitrarily large.
1415: The same feature holds for the sample-dependent effective localization length,
1416: defined as
1417: \beq
1418: \xi_L=\frad{L}{S_L},
1419: \label{xidef}
1420: \eeq
1421: for which~(\ref{fsd}) implies
1422: \beq
1423: \xi_L\approx\frad{L^{1-\alpha}}{a\,Y}.
1424: \label{xieff}
1425: \eeq
1426:
1427: The lack of self-averaging of the action $S_L$ and of the effective
1428: localization length~$\xi_L$,
1429: which occurs in three of the four phases of the model,
1430: is one of its most salient features.
1431: As recalled in the introduction, the lack of self-averaging of the action
1432: was also observed in the superlocalized regime
1433: of one-dimensional models with non-stationary random potentials
1434: whose fluctuations grow with distance~\cite{super1,super2,jmls}.
1435: We are therefore tempted to argue that a fluctuating scaling behaviour
1436: of the form~(\ref{fsd}) is a generic feature of quantum transport
1437: in a large universality class of one-dimensional systems with broad disorder,
1438: in the sense of random potentials with strong
1439: and long-range correlated fluctuations.
1440:
1441: Three different regimes of localization are allowed by the
1442: fluctuating scaling law~(\ref{fsd}),
1443: according to the value of the scaling exponent $\alpha$.
1444:
1445: \begin{itemize}
1446:
1447: \item $\alpha<1$
1448: (Phase~IV for $\mu>\nu$ and Phase~III): {\it Underlocalization.}
1449: In this regime the typical sample action $S_L$ grows less rapidly
1450: than linearly with the sample length $L$.
1451: The effective localization length therefore grows with $L$
1452: as the power law $\xi_L\sim L^{1-\alpha}$.
1453: This underlocalized regime is intermediate between localized and extended.
1454: It is qualitatively reminiscent of the behaviour right at the critical point
1455: corresponding to the metal-insulator transition in higher dimension.
1456:
1457: \item $\alpha>1$
1458: (Phase~IV for $\mu<\nu$ and Phase~II): {\it Superlocalization.}
1459: In this regime the typical sample action $S_L$ grows more rapidly
1460: than linearly with the sample length~$L$.
1461: The effective localization length therefore decreases with
1462: $L$ as the power law $\xi_L\sim L^{-(\alpha-1)}$.
1463: The positive exponent $\alpha-1$ can be arbitrarily large if $\mu\ll1$.
1464: This superlocalized regime is similar to that observed
1465: in one-dimensional models with non-stationary
1466: random potentials~\cite{super1,super2,jmls}.
1467: For such potentials, however, we have $\alpha=1+H/2$,
1468: with the Hurst exponent of the random potential satisfying $0<H<1$,
1469: and so the value of $\alpha$ cannot be greater than $3/2$.
1470:
1471: \item $\alpha=1$
1472: (Phase~IV for $\mu=\nu$): {\it Fluctuating localization.}
1473: In this regime the typical sample action~$S_L$ grows linearly with $L$,
1474: just as in the usual one-dimensional localization problem,
1475: where the random potential has short-range correlations.
1476: However, at variance with the usual situation,
1477: the action keeps on fluctuating in samples whose length is arbitrarily large.
1478: The effective localization length $\xi_L$
1479: also keeps on fluctuating from sample to sample,
1480: without ever systematically increasing or decreasing
1481: as the sample length is increased.
1482: Its probability distribution is indeed asymptotically independent
1483: of the sample length.
1484: The term of fluctuating localization is therefore fully justified.
1485: Equation~(\ref{syms4}) leads to the expression
1486: \beq
1487: \xi_L\approx\frad{\l_0}{s_0 Y_{\mu\mu}},
1488: \eeq
1489: where $Y_{\mu\mu}$ is distributed
1490: as the ratio of two L\'evy variables with the same index,
1491: equation~(\ref{yratio}).
1492: Therefore, apart from the prefactor $\l_0/s_0$,
1493: the effective localization length $\xi_L$ is also
1494: distributed as the ratio of two L\'evy variables with the same index~$\mu$,
1495: and so its probability density is also given by a Lamperti law~(\ref{lam}).
1496:
1497: \end{itemize}
1498:
1499: Along the borderlines which separate the various phases
1500: shown in Figure~\ref{fdiagramme},
1501: that is, when at least one of the indices is equal to unity,
1502: the above results are affected by logarithmic corrections to scaling.
1503: The simplest case occurs in the ensemble at fixed number $N$ of units.
1504: The approach of Section~3 leads
1505: to the following result in the marginal case $\mu=1$:
1506: \beq
1507: S_N\approx N\,s_0\,(\ln N+C+\eta).
1508: \label{nmar}
1509: \eeq
1510: Here $C$ is a non-universal constant which depends
1511: on the whole shape of the probability distribution $f_s(s)$
1512: and $\eta$ is a rescaled random variable
1513: whose universal probability distribution is
1514: characterized by the following moment generating function:
1515: \beq
1516: \w f_\eta(y)=\e^{y\ln y}.
1517: \eeq
1518: The sample action $S_N$ may be called marginally self-averaging,
1519: as its mean grows as $N\ln N$ whereas its fluctuations grow as $N$.
1520:
1521: \appendix
1522: \setcounter{equation}{0}
1523: \def\theequation{A.\arabic{equation}}
1524: \def\thesubsection{A.\arabic{subsection}}
1525: \section*{Appendix.~Scattering and transport in the weak transmission regime}
1526:
1527: This appendix is devoted to the study of the scattering and transport properties
1528: of a single unit and of an array of $N$ units.
1529: We first recall the transfer matrix formalism
1530: for a single unit~\cite{pen,cpv,alea}.
1531: We then use this formalism to obtain
1532: the amplitude of transmission through an array of $N$ units
1533: in the regime where the transmission through each unit is small.
1534: We derive the law of addition for the actions~(\ref{adds}),
1535: which is the starting point of the model investigated in this paper.
1536:
1537: \subsection{Transfer matrix formalism for a single unit}
1538:
1539: Let us first consider the scattering of a quantum particle by a single unit.
1540: The time-independent Schr\"odinger equation corresponding to this process is
1541: \beq
1542: -\psi''(x)+V(x)\psi(x)=E\psi(x),
1543: \label{sch}
1544: \eeq
1545: where the potential $V(x)$ has an arbitrary form in the scattering unit
1546: ($a\le x\le b$) and vanishes elsewhere.
1547: In both half-lines (perfect leads) on either side of the unit,
1548: the wavefunction is a superposition of plane waves $\exp(\pm\i kx)$,
1549: with $k=\dis{\sqrt{E}}$:
1550: \beq
1551: \psi(x)=\left\{\matrix{
1552: A\,\e^{\i kx}+B\,\e^{-\i kx}\quad\hfill&{\rm on~the~left~of~the~unit}\hfill&
1553: (x<a),\hfill\cr
1554: C\,\e^{\i kx}+D\,\e^{-\i kx}\hfill&{\rm on~the~right~of~the~unit}\hfill&(x>b).
1555: \hfill}\right.%}
1556: \label{wave}
1557: \eeq
1558: The amplitudes $A$, $B$, $C$, and $D$ are linked together by linear relations
1559: of the form
1560: \beq
1561: \pmatrix{C\cr D}=M\pmatrix{A\cr B},
1562: \eeq
1563: where $M$ is the transfer matrix of the unit.
1564: Time reversal invariance implies that $M$ can be parametrized as
1565: \beq
1566: M=\pmatrix{e&f\cr f^\star&e^\star},
1567: \label{fg}
1568: \eeq
1569: where the star denotes complex conjugation.
1570: In addition, conservation of the probability current leads to the condition that
1571: \beq
1572: \det M=\abs{e}^2-\abs{f}^2=1.
1573: \eeq
1574:
1575: Let $r$ (resp.~$r'$) and $t$ (resp.~$t'$) denote the reflection and
1576: transmission amplitudes for a particle coming from the left (resp.~right).
1577: The first case corresponds to the values $A=1$, $B=r$, $C=t$, and $D=0$,
1578: the second to the values $A=0$, $B=t'$, $C=r'$, and $D=1$.
1579: Thus we have
1580: \beq
1581: t=t'=\frad{1}{e^\star},\quad r=-\frad{f^\star}{e^\star},
1582: \quad r'=\frad{f}{e^\star}.
1583: \label{trtr}
1584: \eeq
1585: These quantities satisfy the relations
1586: \beq
1587: \abs{r}^2=\abs{r'}^2=1-\abs{t}^2,\quad r't^\star+r^\star t=0.
1588: \label{rels}
1589: \eeq
1590: The above relations allow one to derive several equivalent parametrizations
1591: of the transfer matrix in terms of the reflection and transmission amplitudes;
1592: the one we choose here is the following:
1593: \beq
1594: M=\pmatrix{1/t^\star&-r^\star/t^\star\cr-r/t&1/t}.
1595: \label{tm}
1596: \eeq
1597:
1598: \subsection{Many units in the weak transmission regime}
1599:
1600: Let us now consider the transmission through a sample consisting of an
1601: arbitrary number~$N$ of units which are put end to end.
1602: The transfer matrix $\MM_N$ of the whole sample
1603: is the ordered product of the transfer matrices $M_n$ of the units,
1604: \beq
1605: \MM_N=M_N\cdots M_1.
1606: \label{tproduct}
1607: \eeq
1608: This equation is equivalent to the matrix recursion equation
1609: \beq
1610: \MM_N=M_N\MM_{N-1}.
1611: \label{prod}
1612: \eeq
1613:
1614: By analogy with the expression~(\ref{tm}) of the transfer matrix for a
1615: single unit, we parametrize $\MM_N$ as
1616: \beq
1617: \MM_N=\pmatrix{1/\TT_N^\star&-\RR_N^\star/\TT_N^\star\cr-\RR_N/\TT_N&1/\TT_N},
1618: \label{ftt}
1619: \eeq
1620: where $\RR_N$ and $\TT_N$ are the reflection and transmission amplitudes
1621: corresponding to the whole sample.
1622: Equation~(\ref{prod}) leads to the following non-linear recursion relations:
1623: \beq
1624: \frad{1}{\TT_N}=\frad{1}{t_N\TT_{N-1}}+\frad{r_N\RR_{N-1}^\star}
1625: {t_N\TT_{N-1}^\star},\quad
1626: \frad{\RR_N}{\TT_N}
1627: =\frad{r_N}{t_N\TT_{N-1}^\star}+\frad{\RR_{N-1}}{t_N\TT_{N-1}},
1628: \label{recur}
1629: \eeq
1630: with the initial conditions $\TT_0=1$ and $\RR_0=0$.
1631: Combining these two relations, we obtain
1632: a three-term non-linear recursion relation linking $\TT_N$
1633: to $\TT_{N-1}$ and $\TT_{N-2}$, which is
1634: \beq
1635: \frad{1}{\TT_N}=\frad{1}{t_N\TT_{N-1}}+\frad{t_{N-1}r_N}{r_{N-1}t_N}
1636: \left(\frad{1}{{t_{N-1}^\star}\TT_{N-1}}-\frad{1}{\TT_{N-2}}\right).
1637: \label{com}
1638: \eeq
1639: Setting
1640: \beq
1641: \TT_N=\frac{t_1\dots t_N}{\DD_N}
1642: \eeq
1643: and using the second relation of~(\ref{rels}),
1644: we find that $\DD_N$ is linked to $\DD_{N-1}$ and $\DD_{N-2}$ by
1645: the following linear recursion relation:
1646: \beq
1647: \DD_N=\DD_{N-1}-\frad{r'_{N-1}r_N}{1-{\vert t_{N-1}\vert}^2}
1648: \left(\DD_{N-1}-{\vert t_{N-1}\vert}^2\DD_{N-2}\right).
1649: \label{deter}
1650: \eeq
1651:
1652: We are interested here in the expression of $\TT_N$ in the regime in which
1653: the probability of transmission through each unit is small.
1654: In this regime, neglecting $\abs{t_{N-1}}^2$ with respect to unity,
1655: (\ref{deter}) simplifies to
1656: \beq
1657: \DD_N\approx(1-r'_{N-1}r_N)\DD_{N-1},
1658: \label{mdet}
1659: \eeq
1660: with $\DD_1=1$.
1661: Iterating this equation, we obtain
1662: \beq
1663: \DD_N\approx\prod_{n=1}^{N-1}(1-r'_nr_{n+1}).
1664: \label{appro}
1665: \eeq
1666: We are thus left with the following expression for the transmission amplitude
1667: $\TT_N$ in the weak transmission regime:
1668: \beq
1669: \TT_N\approx\frad{\prod_{n=1}^N t_n}{\prod_{n=1}^{N-1}(1-r'_nr_{n+1})}.
1670: \label{otr}
1671: \eeq
1672: This leading order result is valid up to corrections
1673: which are proportional to the $\abs{t_n}^2$ in relative value
1674: and could be derived from the full recursion relation~(\ref{deter}).
1675: The result~(\ref{otr}) can be recast in the following more appealing way:
1676: \beq
1677: \TT_N\approx
1678: t_1\,\frad{1}{1-r'_1r_2}\,t_2\,\frad{1}{1-r'_2r_3}
1679: \,t_3\dots t_{N-1}\,\frad{1}{1-r'_{N-1}r_N}\,t_N.
1680: \eeq
1681: Here each denominator corresponds to the geometric resummation
1682: of all the repeated reflections between two consecutive units.
1683: These are indeed the only internal reflections from the whole
1684: multiple scattering expansion that survive at leading order
1685: in the weak transmission regime.
1686:
1687: The leading order expression of the sample action is therefore
1688: \beq
1689: S_N=-\half\ln\abs{\TT_N}^2
1690: \approx-\half\sum_{n=1}^N\ln\abs{t_n}^2+\Re\sum_{n=1}^{N-1}\ln(1-r'_nr_{n+1}),
1691: \eeq
1692: i.e.,
1693: \beq
1694: S_N\approx\sum_{n=1}^Ns_n+\Re\sum_{n=1}^{N-1}\ln\left(1-{\abs{r_n}}{\abs{r_{n+1}}}
1695: \,\e^{\i(\theta'_n+\theta_{n+1})}\right),
1696: \label{rag}
1697: \eeq
1698: where we have introduced the action $s_n$
1699: and the reflection angles $\theta_n$ and $\theta'_n$ of each unit,
1700: according to
1701: \beq
1702: s_n=-\half\ln\abs{t_n}^2,\quad
1703: r_n=\abs{r_n}\e^{\i\theta_n},\quad r'_n=\abs{r_n}\e^{\i\theta'_n}.
1704: \eeq
1705:
1706: We now introduce our second hypothesis besides the weak transmission regime,
1707: namely that the internal reflection angles $\theta_n$ and $\theta'_n$
1708: are random and uniformly distributed between $0$ and $2\pi$.
1709: This hypothesis can be postulated as a mere simplifying assumption,
1710: in keeping with a long tradition
1711: in localization theory~\cite{lan,pen,four,abst}.
1712: It can alternatively be justified on physical grounds
1713: by considering that the reflection angles are rapidly varying functions
1714: of the incoming momentum $k$.
1715: This is especially true in the weak transmission regime,
1716: in which the length $\l_n$ of each unit is expected
1717: to be such that $k\l_n\gg1$.
1718: As a consequence, any narrow distribution of incoming momentum will result
1719: in a uniform averaging over the reflection angles.
1720: Carrying out this averaging over the angles $\theta_n$
1721: and $\theta'_n$ in~(\ref{rag}), we
1722: find that the second sum vanishes by virtue of the identity
1723: \beq
1724: \int_0^{2\pi}\ln(1-z\,\e^{i\theta})\,\d\theta
1725: =-\sum_{k\ge1}\frad{z^k}{k}
1726: \underbrace{\int_0^{2\pi}\e^{ik\theta}\,\d\theta}
1727: _{\dis{2\pi\,\delta_{k0}}}=0,
1728: \eeq
1729: which holds for any number $z$ such that $\abs{z}\le1$.
1730:
1731: We thus find that the action $S_N$ of the whole sample is approximately
1732: given by
1733: \beq
1734: S_N\approx\sum_{n=1}^N s_n.
1735: \label{adds}
1736: \eeq
1737: This simple formula,
1738: which can be referred to as the {\it law of addition for the actions},
1739: is the starting point of the model investigated in this paper.
1740:
1741: \Bibliography{99}
1742:
1743: \bibitem{l1}
1744: Lifshitz I M, Gredeskul S A and Pastur L A 1988 {\it Introduction to
1745: the Theory of Disordered Systems} (New York: Wiley)
1746:
1747: \bibitem{l2}
1748: Kramer B and MacKinnon A 1993 {\it Rep. Prog. Phys.} {\bf 56} 1469
1749:
1750: \bibitem{pen}
1751: Pendry J B 1994 {\it Adv. Phys.} {\bf 43} 461
1752:
1753: \bibitem{lan}
1754: Landauer R 1970 {\it Phil. Mag.} {\bf 21} 863
1755:
1756: \bibitem{il}
1757: Imry Y and Landauer R 1999 {\it Rev. Mod. Phys.} {\bf 71} S306 and references
1758: therein
1759:
1760: \bibitem{four}
1761: Anderson P W, Thouless D J, Abrahams E and Fisher D S 1980 {\it Phys. Rev. B}
1762: {\bf 22} 3519
1763:
1764: \bibitem{aaa}
1765: Abrikosov A A 1981 {\it Solid State Commun.} {\bf 37} 997
1766:
1767: \bibitem{cpv}
1768: Crisanti A, Paladin G and Vulpiani A 1992 {\it Products of Random Matrices in
1769: Statistical Physics} (Berlin: Springer)
1770:
1771: \bibitem{alea}
1772: Luck J M 1992 {\it Syst\`emes d\'esordonn\'es unidimensionnels
1773: (Collection Al\'ea-Saclay)}
1774:
1775: \bibitem{super1}
1776: de Moura F A B F and Lyra M L 1998 {\it Phys. Rev. Lett.} {\bf 81} 3735
1777: \nonum
1778: \dash\ 1999 {\it Physica A} {\bf 266} 465
1779: \nonum
1780: \dash\ 2000 {\it Phys. Rev. Lett.} {\bf 84} 199
1781:
1782: \bibitem{super2}
1783: Kantelhardt J W, Russ S, Bunde A, Havlin S and Webman I 2000 {\it Phys. Rev.
1784: Lett.} {\bf 84} 198
1785: \nonum
1786: Bunde A, Havlin S, Kantelhardt J W, Russ S and Webman I 2000 {\it J. Mol. Liq.}
1787: {\bf 86} 151
1788: \nonum
1789: Russ S, Kantelhardt J W, Bunde A and Havlin S 2001 {\it Phys. Rev. B} {\bf 64}
1790: 134209
1791:
1792: \bibitem{jmls}
1793: Luck J M 2005 {\it J. Phys. A} {\bf 38} 987
1794:
1795: \bibitem{renewal}
1796: Cox D R 1962 {\it Renewal Theory} (London: Methuen)
1797: \nonum
1798: Cox D R and Miller H D 1965 {\it The Theory of Stochastic Processes}
1799: (London: Chapman~\& Hall)
1800:
1801: \bibitem{gry}
1802: Gradshteyn I S and Ryzhik I M 1965 {\it Table of Integrals, Series, and
1803: Products} (New York and London: Academic Press)
1804:
1805: \bibitem{gl}
1806: Godr\`eche C and Luck J M 2001 {\it J. Stat. Phys.} {\bf 104} 489
1807:
1808: \bibitem{levy1}
1809: L\'evy P 1954 {\it Th\'eorie de l'addition des variables al\'eatoires}
1810: (Paris: Gauthier-Villars)
1811: \nonum
1812: Gnedenko B V and Kolmogorov A N 1954 {\it Limit Distributions for Sums of
1813: Independent Random Variables} (Reading MA: Addison-Wesley)
1814:
1815: \bibitem{levy2}
1816: Bouchaud J P and Georges A 1990 {\it Phys. Rep.} {\bf 195} 127
1817: \nonum
1818: Shlesinger M F, Zaslavsky M G and Frisch U 1995 {\it L\'evy Flights
1819: and Related Topics in Physics} Lecture Notes in Physics {\bf 450}
1820: (Berlin: Springer)
1821:
1822: \bibitem{mw}
1823: Montroll E W and Weiss G H 1965 {\it J. Math. Phys.} {\bf 6} 167
1824:
1825: \bibitem{ctrw}
1826: Hughes B D 1995 {\it Random Walks and Random Environments Volume 1:
1827: Random Walks} (Oxford: Oxford University Press)
1828:
1829: \bibitem{lamperti}
1830: Lamperti J 1958 {\it Trans. Amer. Math. Soc.} {\bf 88} 380
1831:
1832: \bibitem{fd}
1833: Metzler R and Klafter J 2000 {\it Phys. Rep.} {\bf 339} 1
1834: \nonum
1835: \dash\ 2004 {\it J. Phys. A} {\bf 37} R161
1836:
1837: \bibitem{sz}
1838: Saichev A I and Zaslavsky G M 1997 {\it Chaos} {\bf 7} 753
1839:
1840: \bibitem{abst}
1841: Abrahams E and Stephen M 1980 {\it J. Phys. C} {\bf 13} L377
1842:
1843: \end{thebibliography}
1844: \end{document}
1845: