diffusion is a fundamental transport mechanism in nature and industry , with applications ranging from physics to biology , chemistry , engineering , and economics .
this process has attracted much attention during the last decades , particularly in statistical and condensed matter physics : diffusion - reaction processes ; transport in porous media and biological tissues ; trapping in heterogeneous systems ; kinetic and aggregation phenomena like dla , to name a few fields . from an intuitive point of view , brownian motion is often considered as a continuous limit of lattice random walks .
however , a more rigorous background is needed to answer subtle questions . in mathematical textbooks ,
brownian motion is defined as an almost surely continuous process with independent normally distributed increments @xcite .
the deceptive simplicity of this definition relies on the notion of `` almost surely '' that , in turn , requires a sophisticated formalism of wiener measures in the space of continuous functions , filtrations , sigma - algebra , etc .
although this branch of mathematics is well developed , it is rather difficult for non - mathematicians , that is , the majority of scientists studying brownian motion in their every - day research .    in this paper , we discuss a different , but still rigorous , approach to define and operate with brownian motion as suggested by p. lvy @xcite .
we construct from scratch a simple and intuitively appealing representation of this process that gives a closed formula mapping of the unit interval onto the functional space of brownian paths . in this framework , sampling a brownian path is nothing else than picking up uniformly a point from the unit interval . figuratively speaking , brownian motion
is constructed here by adding randomly wavelet - based geometrical features at multiple length scales .
the explicit formula elucidates many classical results about brownian motion ( e.g. , non - differentiability of its path ) .
the illustrative character of the wavelet representation , along with the simple structure of the underlying probability space , is different from the usual presentation of most classical textbooks .    among various amazing properties , brownian motion
is known to have a self - similar structure : when a fragment of its path is magnified , it `` looks '' like the whole path . in other words
, any fragment obeys the same probability law as the whole path . as a consequence , brownian paths
exhibit their features at ( infinitely ) broad range of length scales . as a matter of fact , multiscale geometrical structures are ubiquitous in nature and material sciences @xcite .
for instance , respiratory and cardiovascular systems start from large conduits ( trachea and artery ) that are then split into thinner and thinner channels , up to the size of few hundred microns for the alveoli and several microns for the smallest capillaries @xcite .
another example is a high - performance concrete which is made with grains of different sizes ( from centimeters to microns ) , smaller grains filling empty spaces between larger ones .
the best adaptive description of such self - similar structures relies on intrinsicly multiscale functions to capture their mechanical or transport properties at different length scales .
we illustrate this idea by constructing brownian motion using wavelets , a family of functions with compact support and well defined scaling @xcite .
wavelets appear as the natural mathematical language to describe and analyze multiscale structures , from heterogeneous rocks to biological tissues @xcite .
the wavelet construction of brownian motion naturally extends to fractional brownian motion and other gaussian processes and fields , allowing one to efficiently simulate , for instance , turbulent diffusion with high reynolds numbers or financial markets . in particular
, we discuss the gaussian ( or massless ) free field and fractional gaussian fields which appear as basic models in different areas of physics , from astrophysics ( cosmic microwave background ) to critical phenomena , quantum physics , and turbulence @xcite . written in a spectral form in one dimension , brownian motion and the fractional gaussian field
look very similar , one of them being the fractional derivative of the other .
putting together these two processes reveals deep relations between them , and this correspondence carries over to higher dimensions .
most importantly , the wavelet representation is a starting point for a number of highly efficient numerical methods to simulate various gaussian processes and fields .
though wavelet representations and the related numerical methods are all known , they are not easily available in a single source .
indeed the totality of these methods seems to be poorly understood , even amongst specialists .
the purpose of this article is to present a unified and intuitive framework that is based on elementary mathematical structures like , for example , dyadic subdivision or wavelet tree .
we also present some simple number - theoretic shortcuts and consequent numerical algorithms .
finally , we discuss fast simulations of brownian motion in confining domains , where one of the difficulties is the ability to quickly access the local geometry near the boundary .
these techniques can be applied for studying brownian motion and related processes or solving partial differential equations in complex multiscale media .
we hope that this didactic article will provoke interesting discussions amongst the experts and will help for a better understanding of both theory and implementation of brownian motion and other gaussian processes and fields for a much broader community of their practical `` users '' , namely , physicists , biologists , chemists , engineers , and economists .
in this section , we derive a wavelet representation of brownian motion in a simple explicit way , allowing one to gain an intuitive feeling of this constructive approach .      in order to illustrate the basic idea of a wavelet representation , we revisit the first single particle tracking experiment by r. brown who looked through a microscope at stochastic trajectories ( now known as brownian paths ) of pollens of clarkia ( primrose family ) @xcite .
first examples of such trajectories for mastic grains in water were reported by j. perrin @xcite .
the essence of the wavelet representation can be recognized in his description of three trajectories ( fig .
[ fig : perrin ] ) that were recorded at 30-second intervals @xcite : `` _ ils ne donnent quune ide trs affaiblie du prodigieux enchevtrement de la trajectoire relle .
si , en effet , on faisait des points de seconde en seconde , chacun de ces segments rectilignes se trouverait remplac par un contour polygonal de 30 cts relativement aussi compliqu que le dessin ici reproduit , et ainsi de suite .
_ '' following this idea , let us record the positions of a particle ( e.g. , pollen or grain ) at successive time moments with a selected time resolution @xmath0 .
each particle submerged in water is permanently `` bombarded '' by water molecules .
since the number of the surrounding water molecules is very large and their tiny actions are mostly uncorrelated , net microscopic displacements of the particle can not be considered deterministicly as in classical mechanics , but random .
since the interaction of water molecules between them is very rapid as compared to the macroscopic resolution scale , there is no memory effect in their action on the heavy particle . as a consequence , the microscopic displacements of the particle are ( almost ) independent and have a finite variance @xmath1 . the macroscopic displacement during the resolution time @xmath0 is the sum of a large number @xmath2 of these displacements with zero mean ( no coherent flow ) .
although the average displacement is also zero , the stochastic fluctuations around this value are of the order of @xmath3 .
moreover , the central limit theorem gives us a precise probabilistic description of the fluctuations , resulting in a normal ( or gaussian ) distribution of macroscopic displacements of the particle @xcite .
it is worth stressing that the gaussian character of the macroscopic displacements appears _ without any specific knowledge about the microscopic interactions_. the only important information at microscopic level was stationary , uncorrelated character of the interaction , and finite variance ( if one of these conditions is missing , the resulting macroscopic process may exhibit anomalous behavior , see @xcite and references therein ) .
this is known as coarsening or upscaling : complex interactions and the specific features of the underlying microscopic dynamics are averaged out on macroscopic scales .
this is the reason why brownian motion ( or diffusion in general ) is so ubiquitous in nature and science .
once we know that the microscopic details are irrelevant ( under the conditions mentioned above ) , we can extend the gaussian behavior from macroscopic scales , where it has been established , to microscopic scales .
this procedure can be called downscaling , when we explicitly and purposefully transpose the universal macroscopic behavior even onto smaller scales . the resulting _ model _ of the microscopic dynamics exhibits gaussian features at all scales .
while the true dynamics and its gaussian model can be completely different at microscopic scales , they become identical at macroscopic scales .    knowing that a particle moves continuously , we connect its successive positions separated on time @xmath0 by a continuous line .
since the experimental setup is limited to the selected time scale @xmath0 , nothing can be said about the trajectory of the particle in between two records .
in other words , the only condition for the trajectory to pass through the recorded points leaves us a variety of choices for the shape of the connecting continuous line .
the common choice is connecting the successive positions by linear segments .
as one will see , this choice fixes a particular wavelet representation , the haar wavelets .
we shall show that other wavelets , corresponding to other choices of continuous connections , are as well useful .    when the magnification and time resolution of the experimental setup are increased , smaller details of the particle s trajectory appear , allowing one to refine the above piecewise linear approximation . repeating this procedure , in theory up to infinity ,
one recovers all geometrical features and thus constructs the whole brownian path . in what follows
, we put this schematic description into a more rigorous mathematical frame .
we start with the position `` records '' at every unit time : @xmath4 ( e.g. , every second ) along one coordinate ( two- and higher dimensional brownian motion is then obtained by taking @xmath5 independent copies of the one - dimensional process ) .
we focus on the time interval between @xmath6 and @xmath7 , the construction being applicable to any interval @xmath8 $ ] . for convenience , brownian motion is started at @xmath9 from the origin : @xmath10 . by definition ( or as a consequence of the central limit theorem if one relies on the above physical reasoning ) , the position at time @xmath11 , @xmath12 , is a random variable @xmath13 distributed according to the standard normal ( or gaussian ) law , @xmath14 , with mean zero and variance one @xmath15 in physics , the variance @xmath1 is related to the diffusion coefficient , @xmath16 , where @xmath17 is the one step duration ; here , @xmath18 yielding @xmath19 throughout the paper .
a linear approximation at this time scale ( @xmath20 ) is simply @xmath21 that connects the positions @xmath10 and @xmath22 by a linear segment .
if the time resolution is doubled , a new , intermediate position @xmath23 can now be seen ( fig .
[ fig : tent ] ) .
the random variable @xmath24 is conditioned by the fact that brownian motion passes through the points @xmath25 and @xmath26 , the value of @xmath13 being already known .
it is distributed according to the normal law with mean value @xmath27 and variance @xmath28 ( see appendix  [ sec : cond_law ] ) . in other words , one can write @xmath29 , where the new random variable @xmath30 ( i.e. , distributed according to the standard normal law ( [ eq : normal ] ) ) is independent of @xmath31 and @xmath22 .
the linear approximation at the time scale @xmath32 connects three successive points @xmath25 , @xmath33 and @xmath26 by two linear segments : @xmath34 the shape of this approximation looks like a skewed tent ( fig . [ fig : tent ] ) that can be represented as a sum of a linear shift and a `` symmetric tent '' function : @xmath35 where the `` symmetric tent '' function @xmath36 is @xmath37 the decomposition ( [ eq : b1_decomp ] ) into the linear function @xmath38 and the tent function @xmath36 is unique . the new approximation @xmath39 is obtained from the previous one , @xmath40 , by adding the new term representing a smaller geometrical detail .     by a segment at scale @xmath41 ; * ( b ) * linear approximation @xmath39 by two segments at scale @xmath42 .
the latter `` skewed tent '' can be uniquely represented as the sum of a `` symmetric tent '' and a linear shift .
, width=321 ]    the same concept is applicable at every scale .
assume that an approximation @xmath43 of brownian motion is already constructed at the time scale @xmath44 , i.e. , the positions @xmath45 are known at successive times @xmath46 , @xmath47 ranging from @xmath6 to @xmath48 . the approximate brownian
path is a piecewise linear function passing successively through these points .    at the next time
scale @xmath49 , a new , intermediate position @xmath50 of brownian motion at time @xmath51 should be determined for each @xmath47 . as previously , the random variable @xmath24 is conditioned by the fact that brownian motion is _ known _ to pass through the points @xmath52 and @xmath53 .
it is again distributed according to the normal law , with mean value @xmath54 and variance @xmath55 . in other words , one can write @xmath24 as @xmath56 where the new normal random variable @xmath57 is independent of the other positions . the linear segment between @xmath52 and @xmath53
is then replaced by two linear segments connecting the three successive points @xmath52 , @xmath58 , and @xmath53 .
this is a new `` skewed tent '' function which can be uniquely decomposed as the sum of the previous linear segment ( drift ) and a symmetric tent function @xmath59 with the weight @xmath60 , where @xmath61 is a rescaled symmetric tent function on the interval @xmath62 ( see fig .
[ fig : haar]a ) .
we stress again that the new approximation is obtained from the previous one by simply adding the tent function @xmath59 , representing a smaller geometrical detail at the new scale @xmath49 , weighted by a normally distributed coefficient @xmath60 which is independent of the previously determined positions .     * ( a ) * and the related haar function @xmath63 * ( b ) * , both having the support on the interval @xmath64 .
, width=321 ]    this construction is applicable to all linear segments ( all @xmath47 ) at the given scale @xmath65 , and it is valid for any scale . repeating this procedure from the scale @xmath66 up to infinity , one obtains the haar wavelet representation of brownian motion on the unit interval : @xmath67 where all weights @xmath68 and @xmath69 are independent @xmath14 random variables .
here we introduced the superscript @xmath70 in order to stress that a sampling of gaussian weights @xmath60 yields a random realization of brownian motion .
we will discuss in sect .
[ sec : weights ] that all these gaussian weights can be constructed from a single random number @xmath70 from the unit interval that provides a natural parameterization of brownian paths .
the dyadic structure of the intervals implies that for any @xmath71 , there exists only one interval @xmath72 of length @xmath73 containing the point @xmath38 : @xmath74 .
the index @xmath47 is simply the integer part of @xmath75 : @xmath76 ( i.e. , the largest integer that does not exceed @xmath75 ) . as a consequence ,
the convergence in the above formula is very rapid .
in fact , if one needs to obtain the value of function @xmath77 with a desired precision @xmath78 , it is sufficient to calculate the first @xmath79 terms , @xmath80 being the logarithm of @xmath81 on the base of @xmath82 .    subtracting the linear term @xmath83 from eq .
( [ eq : bomega1 ] ) yields the haar wavelet representation of a brownian bridge on the unit interval , i.e. , brownian motion conditioned to return to @xmath6 at time @xmath11 .      in the wavelet representation ( [ eq : bomega1 ] ) , the first sum is carried over all scales @xmath65 , while the second sum covers all @xmath48 subintervals @xmath72 at the scale @xmath65 . in some cases , it is convenient to enumerate all the dyadic subintervals @xmath72 by a single index @xmath84 as shown on fig .
[ fig : intervals ] .
since @xmath47 is ranging from @xmath6 to @xmath85 , the new index @xmath86 uniquely identifies the interval @xmath72 .
in particular , one easily retrieves the pair @xmath87 from @xmath86 as @xmath88 using the notations @xmath89 we can write eq .
( [ eq : bomega1 ] ) in a more compact form @xmath90 as a result , brownian trajectory is decomposed into a sum of tent functions ( plus a linear drift ) with random independent identically distributed gaussian weights .
as illustrated below , all these weights can be determined from a single uniformly distributed random variable .    .
, width=283 ]      in this subsection , we illustrate how all random gaussian weights @xmath91 can be explicitly related to a single uniformly distributed random number @xmath70 . in other words ,
we show that the complicated abstract probability space of brownian paths can have a simple parameterization . however , this construction is not relevant from practical point of view , and the subsection can be skipped at first reading .
we consider the binary expansion of a given real number @xmath70 from the unit interval @xmath92 where @xmath93 are equal to @xmath6 or @xmath7 ( note that @xmath94 is expanded as @xmath95 instead of its equivalent form @xmath96 ) .
a uniform picking up of @xmath70 in @xmath97 $ ] is equivalent to _ independent _ random choice of its binary digits ( or bits ) @xmath93 .
then we choose a prime number @xmath98 and construct another number @xmath99 using the bits of @xmath70 at positions @xmath98 , @xmath100 , @xmath101 , @xmath102 @xmath103 for example , @xmath104 , @xmath105 , etc .
[ fig : omega ] ) .
if @xmath98 and @xmath106 are two different prime numbers then @xmath99 and @xmath107 are independent as being constructed from separate sets of independent bits @xmath93 .
moreover , if @xmath70 is chosen uniformly from the unit interval , then each @xmath99 is also uniformly distributed on the unit interval .
consequently , a single random number @xmath70 gives rise to an infinite sequence @xmath108 of independent uniformly distributed random variables . in a more formal way
, the real numbers @xmath99 can be written as @xmath109 where @xmath110 is the rademacher function .    , @xmath111 , @xmath112 , @xmath102 using binary expansion of a single number @xmath70 from the unit interval .
for instance , @xmath113 is constituted of the @xmath114 , @xmath115 , @xmath116 , @xmath102 bits of @xmath70 .
, width=283 ]    at last , we need to pass from uniformly distributed to normally distributed variables . for this purpose
, we define the inverse @xmath117 of the error function : for @xmath118 $ ] , the value @xmath119 of the function @xmath117 satisfies @xmath120 although there is no simple analytic form for the function @xmath117 , many properties can be easily derived , and the whole function can be tabulated with any required precision .
if @xmath121 denotes the @xmath122 prime ( e.g. , @xmath123 , @xmath124 , @xmath125 ) , then we set @xmath126 by construction , @xmath127 are independent normally distributed random variables .
in other words , eqs .
( [ eq : omegap ] , [ eq : erf_inv ] ) map a uniformly distributed @xmath70 onto a sequence of gaussian weights @xmath128 . as a result
, @xmath77 is constructed as a mapping from the unit interval , @xmath129 $ ] , onto the space of real - valued functions ( more precisely , the hlder space @xmath130 with any @xmath131 ) .
in other words , any brownian path is explicitly encoded by the real number @xmath70 . picking up the real number @xmath70 from the unit interval ( with uniform measure )
is thus equivalent to choosing a brownian path ( with wiener measure ) . in this representation , the probability space for brownian motion is nothing else than the unit interval with uniform measure .
it is intuitively much simpler than the classical construction of the probability space by means of wiener measure , filtrations , etc . at the same time , this mapping is evidently neither continuous , nor injective ( e.g. , two numbers @xmath70 and @xmath132 that differ at 6-th bit correspond to the same sequence of gaussian random numbers ) .
the mapping remains a rather formal construction whose only purpose was to show the equivalence between two spaces .      in eqs .
( [ eq : bomega1 ] ) or ( [ eq : bomega2 ] ) , brownian motion is decomposed into a sum of a linear function and tent functions . figure  [ fig : haar]a illustrates that any tent function @xmath59 can actually be represented as the integral of a piecewise - constant function @xmath133 where @xmath63 is called the haar function and defined to be @xmath6 on the complement of @xmath72 and to take values @xmath134 and @xmath135 on its left and right subintervals , respectively ( fig .
[ fig : haar]b ) .
in fact , all haar functions are obtained by translations and dilations of a single `` mother '' function @xmath136 : @xmath137 as illustrated on fig .
[ fig : haars ] , one has @xmath138
it is convenient to use previously introduced single index @xmath86 to denote different haar functions : @xmath139 eq .
( [ eq : bomega2 ] ) yields the following representation for brownian motion @xmath140 where @xmath141 denotes the gaussian white noise which is defined here through the haar wavelet decomposition @xmath142     are obtained by dilations and translations of the mother function @xmath143 ( shown on the left ) . , width=302 ]    it is easy to check that haar functions @xmath144 ( together with a constant function ) form an orthonormal basis in the space @xmath145)$ ] of measurable and square integrable functions that is @xmath146 moreover , this basis is known to be complete in @xmath145)$ ] .
this means that any function from @xmath145)$ ] can be decomposed into a linear combination of the haar functions ( and a constant ) . from now on ,
we drop the superscript @xmath70 for getting simpler notations although the parameterization by @xmath70 remains valid for all discussed processes .      the wavelet representation ( [ eq : bnoise2 ] )
can be extended to _ any _ complete orthonormal basis @xmath147 of @xmath145)$ ] .
in fact , if the orthonormal basis @xmath147 is complete , one can decompose any function @xmath148 into a linear combination of @xmath149 : @xmath150 where the coefficients @xmath151 satisfy the orthogonality relation @xmath152 substitution of this decomposition into eq .
( [ eq : bnoise2 ] ) gives @xmath153 with new random weights @xmath154 the sum of independent gaussian variables is a gaussian variable , and its variance is simply the sum of the squared coefficients @xmath155 , which is equal to @xmath7 according to eq .
( [ eq : cmi ] ) . in other words , @xmath156 . moreover , the new random variables @xmath157 are independent due to the orthogonality of the functions @xmath149 .
we have thus shown that the gaussian white noise can be decomposed into a linear combination with independent gaussian weights in _ arbitrary _ complete orthonormal basis of @xmath145)$ ] .
the completeness of the basis @xmath147 yields the usual covariance of the gaussian white noise @xmath158 where @xmath0 is the dirac distribution ( or `` @xmath0-function '' ) .    substituting eq .
( [ eq : dw_psi ] ) into eq .
( [ eq : bnoise ] ) , one gets @xmath159 for instance , one can consider the fourier basis on the unit interval , @xmath160 in order to get the karhunen - love expansion of brownian motion @xcite : @xmath161      we have explicitly constructed the haar wavelet decomposition ( [ eq : bomega1 ] ) and then general representation ( [ eq : bomega4 ] ) in order to reproduce the basic properties of brownian motion .
alternatively , one could first postulate such a representation as a definition of brownian motion and then check that the basic properties are fulfilled . to illustrate this point
, we check several properties .
\(i ) brownian motion is a gaussian process with independent increments .
first , @xmath162 is gaussian as being a linear combination ( [ eq : bomega4 ] ) of gaussian variables .
let @xmath163 and @xmath164 define two increments , @xmath165 and @xmath166 . if @xmath167 ( i.e. , the increments do not `` overlay '' ) , then they are independent ( similar statement holds if @xmath168 by symmetry ) .
to proof this statement , we decompose the unit interval as @xmath169 = [ 0,t_1)\cup [ t_1,t_2 ] \cup ( t_2,t_3 ) \cup [ t_3,t_4 ] \cup ( t_4,1],\ ] ] ( if one of subintervals @xmath170 , @xmath171 or @xmath172 $ ] is empty , it can be ignored ) .
the basis @xmath147 in eq .
( [ eq : bomega4 ] ) can be chosen as the direct product of the haar eigenbases on each subinterval .
for instance , @xmath173}\}$ ] is the haar basis of @xmath174)$ ] which is extended to @xmath97\backslash [ t_1,t_2]$ ] by zeros . in this particular representation
, one has @xmath175 } ~ \psi_i^{[t_1,t_2]}(t ' ) = \hat{a}_0^{[t_1,t_2]}~ \sqrt{t_2 - t_1 } .\\
\end{split}\ ] ] in the second equality , the haar functions from other subintervals ( except @xmath176 $ ] ) vanished by construction . in turn , all the haar functions @xmath177}(t')$ ] on @xmath176 $ ] ( with @xmath178 ) vanished after integration due to their orthogonality to the constant .
the only remaining contribution is the constant term which has the unit @xmath174)$ ] norm : @xmath179}(t ) = ( t_2 - t_1)^{-1/2}$ ] . integrating this term
, one gets the right - hand side of eq .
( [ eq : b_increment_aux1 ] ) which shows that the increment @xmath180 is a gaussian variable with mean zero and variance @xmath181 , as expected .
moreover , the same representation for @xmath182 $ ] yields @xmath183 } ~ \psi_i^{[t_3,t_4]}(t ' ) = \hat{a}_0^{[t_3,t_4]}~ \sqrt{t_3 - t_4 } , \\
\end{split}\ ] ] and the random weights @xmath184}$ ] and @xmath185}$ ] are independent by construction . as a consequence ,
the increments @xmath165 and @xmath166 are independent .
\(ii ) the mean and covariance of brownian motion are : @xmath186 the first statement is obvious from eq .
( [ eq : bomega4 ] ) given that all weights have mean zero .
to prove the second statement , one assumes that @xmath187 and considers @xmath188 ^ 2\ } .   \\
\end{split}\ ] ] the first term vanishes due to the independence of increments ( and @xmath31 ) , while the second term is equal to @xmath189 according to eq .
( [ eq : b_increment_aux1 ] ) .
\(iii ) brownian motion is continuous but nowhere differentiable almost surely .
the proof relies on a simple fact that the gaussian weights @xmath60 can not be too large , e.g. , the probability that @xmath190 decays extremely fast ( as @xmath191 for large enough @xmath65 ) . in turn
, the norm of tent functions decreases exponentially that ensures the continuity of brownian motion and the convergence of a partial sum approximation in eq .
( [ eq : bomega1 ] ) or similar expressions to brownian motion . moreover , the remainder of this approximation decreases exponentially fast with the truncated scale @xmath2 ( for technical details , see appendix [ sec : continuity ] ) .      as we mentioned in sect .
[ sec : physical ] , taking the particular orthonormal basis is equivalent to choosing a way to connect successive positions of brownian motion at a finite scale @xmath0 .
the haar wavelets and the resulting tent functions present the simplest way of connection by linear segments .
such a piecewise linear approximation of brownian motion introduces singularities at the connection nodes ( corners ) . for some problems ,
it is convenient to deal with a smooth approximation of brownian motion at finite scales ( although a true brownian trajectory , the limiting curve , remains nowhere differentiable ) . for this purpose , one can use the alpert - rokhlin multiwavelet basis @xcite .
this basis is generated by a set of @xmath106 functions @xmath192 which are supported on the interval @xmath97 $ ] , are piecewise polynomials of degree @xmath193 on @xmath194 $ ] and on @xmath195 $ ] , and satisfy the moment cancellation conditions @xmath196 these mother functions generate the alpert - rokhkin multiwavelets of order @xmath106 by translations and dilations : @xmath197 the set of functions @xmath198 , completed by the set of orthonormal polynomials of order @xmath199 , forms a complete basis of @xmath145)$ ] .
this completion is necessary because all mother functions @xmath200 ( and thus all @xmath201 ) are orthogonal by construction to all polynomials of order @xmath199 .
similarly , the haar wavelets were completed by a constant function .    when @xmath202 , there is only one mother function @xmath136 defined by eq .
( [ eq : phi11 ] ) which generates the haar wavelets by translations and dilations . for @xmath203 , there are two mother functions ( fig .
[ fig : alpert ] ) , satisfying the moment cancellation conditions ( [ eq : moments ] ) : @xmath204 higher - order mother functions ( with @xmath205 ) can be constructed through an orthogonalization procedure ( see @xcite for details and examples ) .
note that the wavelet representation of brownian motion involves the integral of wavelets @xmath206 for instance , one gets for @xmath203 ( fig .
[ fig : alpert ] ) @xmath207 while the other functions @xmath208 and @xmath209 are obtained by dilations and translations . as a consequence ,
brownian motion gets a closed formula in terms of the alpert - rohklin multiwavelets of order @xmath82 : @xmath210 where all weights @xmath13 , @xmath211 , @xmath212 are independent @xmath14 variables , and the second term is the integral of the linear basis function @xmath213 .
an extension of this representation to the alpert - rohklin multiwavelet basis of order @xmath106 is straightforward .
( on the right ) .
the use of these wavelets corresponds to another type of connection ( not by linear segments ) between successive points of brownian motion in the refinement procedure . for comparison ,
the tent function @xmath36 is shown on the last plot by dashed line .
note that horizontal and vertical scales are not matched here .
, title="fig:",width=158 ]   ( on the right ) .
the use of these wavelets corresponds to another type of connection ( not by linear segments ) between successive points of brownian motion in the refinement procedure . for comparison ,
the tent function @xmath36 is shown on the last plot by dashed line .
note that horizontal and vertical scales are not matched here .
, title="fig:",width=158 ]   ( on the right ) .
the use of these wavelets corresponds to another type of connection ( not by linear segments ) between successive points of brownian motion in the refinement procedure . for comparison ,
the tent function @xmath36 is shown on the last plot by dashed line .
note that horizontal and vertical scales are not matched here .
, title="fig:",width=158 ]   ( on the right ) .
the use of these wavelets corresponds to another type of connection ( not by linear segments ) between successive points of brownian motion in the refinement procedure . for comparison ,
the tent function @xmath36 is shown on the last plot by dashed line .
note that horizontal and vertical scales are not matched here .
, title="fig:",width=158 ]      the wavelet representation of brownian motion can be easily implemented in practice . to carry computations with a ( fixed ) desired precision @xmath78 , it is sufficient to truncate the first sum in eq .
( [ eq : bomega1 ] ) or equivalent relation up to @xmath214 , because higher - order terms describe geometrical details at smaller scales .
the remainder of this series can be estimated using eq .
( [ eq : approx_remainder ] ) . for haar wavelets ,
such a truncation qualitatively corresponds to an approximation of brownian motion by a broken line composed of linear segments of length close to @xmath78 , while the alpert - rokhlin wavelets yield smoother approximations ( fig .
[ fig : bm_iterates ] ) .
this is a fascinating feature of wavelets , allowing one to capture geometrical details at different scales .    a realization of a brownian path is completely determined by a set of random coefficients @xmath69 ( or @xmath127 ) . in sect .
[ sec : weights ] , we discussed an explicit scheme to generate all these coefficients from a randomly chosen number @xmath70 from the unit interval . in practice , one can use standard routines to generate pseudo - random normally distributed weights @xmath69 ( or @xmath127 ) .
the computation of tent functions @xmath59 can be easily implemented .
consequently , the computation of @xmath162 at any time @xmath38 requires only @xmath79 operations , each of them consisting of finding @xmath59 , multiplying it by @xmath69 , and summing their contributions .
( dashed line ) , and @xmath215 ( solid line ) with haar wavelets * ( a ) * and alpert - rohkin wavelets with @xmath203 * ( b)*. , title="fig:",width=321 ]   ( dashed line ) , and @xmath215 ( solid line ) with haar wavelets * ( a ) * and alpert - rohkin wavelets with @xmath203 * ( b)*. , title="fig:",width=321 ]    it is instructive to compare the wavelet approach to conventional techniques .
we consider the computation of all positions @xmath216 at equidistant times @xmath217 ( @xmath218 ) at some scale @xmath219 . in a classical scheme , brownian motion
is modeled by a sequence of small random jumps @xmath220 with @xmath221 independent normally distributed random variables @xmath222 . similar computation relying on wavelet representations requires one random variable for a linear shift and @xmath223 random variables at each scale @xmath47 , @xmath47 ranging from @xmath6 to @xmath224 .
the total number is then @xmath225 .
it is not surprising that both schemes require the same degree of randomness to represent a brownian path at chosen scale .
the wavelet representation does not reduce the complexity or randomness , but re - organize the data in a hierarchical structure to facilitate their use .
for instance , formula ( [ eq : bomega1 ] ) accesses approximate positions of brownian motion at any time point @xmath38 , not necessarily @xmath226 . in a classical scheme
, one could use a linear interpolation between two neighboring points to get the same result .
again , the wavelets do not bring new features which are not available by conventional techniques , but provide another , structured and efficient , representation .    throughout the above sections , brownian motion
was constructed on the unit interval for convenience .
the constructed process can be easily rescaled to any finite interval , while an extension to @xmath227 or @xmath228 is possible as well .
finally , an extension to isotropic brownian motion in @xmath229 is obtained by taking @xmath5 independent samples of one - dimensional brownian motion .
a similar technique can be applied to construct and study fractional brownian motion which is also known as random fractal velocity field @xcite . for instance , random fractal velocity field with the hurst exponent @xmath230 ( defined below ) corresponds to the kolmogorov spectrum in high reynolds number turbulence @xcite .
fractional brownian motion , as a gaussian stochastic process with long - range correlations , has found numerous applications in different fields , ranging from transport phenomena in porous media @xcite to analysis of financial markets @xcite .
p. lvy proposed the first extension of eq .
( [ eq : bnoise ] ) by using the riemann - liouville fractional integration which can be thought of as a moving average of a gaussian white noise @xcite @xmath231 where @xmath232 is the hurst exponent , and @xmath233 is the normalization factor ( @xmath234 being the gamma function ) . mandelbrot and
van ness discussed the limitations of this definition ( e.g. , its strong emphasis on the origin ) and proposed to use the weyl fractional integral that yields @xcite @xmath235 dw(s )   \\ & + \int\limits_{0}^t ( t - s)^{h-\frac12 } dw(s ) \biggr\ }   \\ \end{split}\ ] ] for @xmath236 ( and similar for @xmath237 ) .
the last representation can also be written as ( see @xcite ) @xmath238 where @xmath239 and @xmath240 is the hypergeometric function . the ordinary brownian motion
is retrieved at @xmath241 for all cases .    using a wavelet representation ( [ eq : dw_psi ] ) for the gaussian white noise ,
one obtains @xmath242 the integrals can be evaluated using an appropriate basis @xmath147 .
moreover , the moment cancellation property ( [ eq : moments ] ) for the alpert - rokhlin multiwavelets with a large enough order @xmath106 guarantees that the integrals in eq .
( [ eq : fbm4 ] ) are highly localized , yielding a rapid convergence of the above sum .
this convergence is a key point for efficient numerical algorithms for simulation of fractional brownian motion ( see @xcite ) . among other numerical methods ,
we mention alternative wavelet representations @xcite ( e.g. , the method by arby and sellan
is implemented in the matlab function ` wfmb ' ) , circulant embedding of the covariance matrix @xcite , and random midpoint displacement method @xcite which is often used in computer graphics to generate random two - dimensional landscapes .
in general , the kernel @xmath243 can be replaced by any convenient kernel to extend this approach to various gaussian processes .
for instance , setting @xmath244 yields the ornstein - uhlenbeck process @xcite .
similarly , one can deal with various stochastic dynamics generated by langevin equations @xcite .
brownian motion is the integral of the gaussian white noise which , in turn , is obtained as a linear combination of orthonormal functions @xmath245 forming a complete basis of the space @xmath145)$ ] , with standard gaussian weights .
this construction can be extended to any separable hilbert space @xmath246 . however , whatever the functional space @xmath246 is taken , a linear combination of its orthonormal basis functions with standard gaussian weights does not belong to this space ( the argument is the same as for @xmath247 space , the norm of such a linear combination being infinite ) .
in particular , the gaussian white noise is not a function but a distribution . in order to construct extensions of the gaussian white noise with desired properties
, one needs to carefully choose the hilbert space @xmath246 . in this section ,
we briefly discuss two such extensions : gaussian free field ( gff ) @xcite and fractional gaussian field ( fgf ) with logarithmic correlations @xcite .
the gff appears as the basic description of massless non - interacting particles in field theories .
both gff and fgf constitute important models in different areas of physics , from astrophysics ( describing stochastic anisotropy in cosmic microwave background ) to critical phenomena , quantum physics , and turbulence @xcite .
while the `` sequence '' of random variables of brownian motion @xmath162 was naturally parameterized by `` time '' @xmath38 ( a real number from the unit interval or , in general , from @xmath228 ) , random variables of a field can in general be parameterized by points from an euclidean domain , a manifold , or a graph .
for instance , one can speak about random surfaces which can model landscapes ( e.g. , mountains ) or ocean s water surface , in which the height is parameterized by two coordinates . the geometrical structure of `` smooth '' random surfaces was thoroughly investigated @xcite , especially for gaussian fields which are fully characterized by their mean and covariance .
important examples of smooth gaussian fields are the random plane waves and random spherical harmonics ( see @xcite ) . in turn , the gff and fgf are examples of highly irregular random fields . as brownian motion
can be obtained as the limit of discrete random walks , the gaussian free field in two dimensions appears in the limit of discrete random surfaces @xcite .
the gaussian free field is constructed by choosing the dirichlet hilbert space @xmath248 , in which the scalar product of two functions @xmath249 and @xmath250 is defined as @xmath251 for a given euclidean domain @xmath252 .
when @xmath253 is bounded , an orthonormal basis of this space can be obtained by setting @xmath254 , where @xmath255 are the @xmath247-normalized dirichlet eigenfunctions of the laplace operator : @xmath256 in @xmath253 with @xmath257 at the boundary @xmath258 , and @xmath259 are the corresponding eigenvalues .
the gaussian free field on @xmath253 is defined as @xmath260 where @xmath261 are independent gaussian weights .
given that the eigenvalues @xmath259 asymptotically grow as @xmath262 according to the weyl s law @xcite , the sum in eq .
( [ eq : gff_2d ] ) is convergent for @xmath263 ( in which case the gff is simply a brownian bridge ) but diverges in higher dimensions . in the plane
, this sum barely misses the convergence , being logarithmically diverging . in quantum field theory , it is related to the infra - red divergence for massless particles . as a consequence , @xmath264 is not a function but a distribution for @xmath265 .
being a linear combination of normal variables , the field @xmath264 is gaussian and thus is fully characterized by its mean @xmath266 and the covariance @xmath267 where the right - hand side can be recognized as the green function @xmath268 of the laplace operator in the domain @xmath253 .
alternatively , one could define the gff by setting the covariance equal to the green function ( in which case the definition holds even for unbounded domains ) .
strictly speaking , since the sum in eq .
( [ eq : gff_2d ] ) diverges for @xmath269 , the gff should be treated as a distribution by its action on every fixed test function @xmath270 . in particular ,
the covariance should be given by covariance of actions of @xmath271 on two test functions @xmath272 and @xmath273 : @xmath274    the fractional gaussian fields can be obtained by replacing the gradient operators @xmath275 in the scalar product ( [ eq : hilbert ] ) by fractional laplacians @xcite , @xmath276 for a positive @xmath277 .
the dirichlet hilbert space is retrieved for @xmath278 . in a similar way ,
the functions @xmath279 form a basis of the space @xmath280 , from which the fgf is constructed as in eq .
( [ eq : gff_2d ] ) .
this sum is convergent for @xmath281 and divergent otherwise . in the particular case @xmath282 ,
the fgf is logarithmically divergent in all dimensions .
note that the fgf coincides with the gff in the plane ( @xmath283 ) .
in particular , the fgf with logarithmic correlations on the unit interval reads explicitly as @xmath284 more generally , one can take any orthonormal basis @xmath285 of @xmath145)$ ] and then apply the operator @xmath286 to get the basis of @xmath287)$ ] .
the advantage of the laplacian eigenbasis is that the fractional integral operator @xmath288 ( which can be defined through the fourier transform ) is replaced by multiplication by @xmath289 . as a consequence , the fgf with logarithmic corrections in one dimension appears as the half - derivative of brownian motion : @xmath290 this formula reveals a very close relation between these two processes which are often considered as distinct objects .
note that the series in eq .
( [ eq : auxil5 ] ) diverges logarithmically , while the derivative of order @xmath291 would lead to converging series . in other words , brownian motion belongs to the hlder space @xmath130 ( for any @xmath292 ) so that its derivatives of order less than @xmath293 exist , but @xmath293 and higher do not . as for brownian motion
, the explicit closed formula ( [ eq : gff_2d ] ) allows one to sample random realizations of the fgf by picking up @xmath70 from the unit interval , i.e. , the probability space for this process is nothing else than the unit interval with uniform measure .
in this section , we briefly discuss how multiscaling and dyadic decompositions help simulating restricted diffusion .
this is an ubiquitous problem in physics ( e.g. , transport in porous media ) , chemistry ( e.g. , heterogeneous catalysis ) , biology and physiology ( e.g. , diffusion in cells , tissues , and organs ) .
when brownian motion is restricted , physico - chemical or biological interactions between the diffusing particle and the interface of a confining medium should be taken into account .
for instance , paramagnetic impurities dispersed on a liquid / solid interface cause surface relaxation in nuclear magnetic resonance ( nmr ) experiments @xcite ; cellular membranes allow for a semi - permeable transport through the boundary @xcite ; chemical reaction may transform the particle or alter its diffusive properties @xcite . while an accurate description of these processes at the microscopic level is challenging
, the contact with the interface is very rapid at macroscopic scales , allowing one to resort to an effective description of the surface transport by an absorption / reflection mechanism @xcite .
this mathematical process is known as ( partially ) reflected brownian motion @xcite .
the presence of a boundary drastically changes the properties of brownian motion ( e.g. , the reflecting boundary forces the process to remain inside the domain ) so that earlier wavelet representations can not directly incorporate the effect of the boundary . since restricted diffusion is relevant for most physical , chemical and biological applications ,
various monte carlo methods have been developed for simulating this stochastic process , computing the related statistics ( e.g. , the first passage times @xcite ) , and solving the underlying boundary value problems @xcite .
the slow convergence of monte carlo techniques ( typically of the order of @xmath294 in the number of trials ) requires fast generation of brownian paths .
the simplest generation of a brownian path at successive times @xmath295 by adding normally distributed displacements and checking the boundary effects at each step becomes inefficient in multiscale media .
in fact , tiny geometrical details of the medium require the use of comparably small displacements , resulting in a very large number of steps needed to model large - scale excursions .    to overcome this limitation ,
the concept of fast random walks was proposed @xcite .
the basic idea consists in adapting displacements to the local geometrical environment , performing as large as possible displacements without violating the properties of brownian motion .
when the walker is at point @xmath81 , the largest displacement is possible at the distance @xmath296 between @xmath81 and the boundary @xmath297 of an euclidean domain @xmath252 .
in fact , the ball @xmath298 of radius @xmath296 does not contain any `` obstacle '' ( e.g. , piece of boundary ) to the walker . since
brownian motion is continuous , it must leave the ball before approaching the boundary of the confining domain .
the rotation symmetry implies that the exit points are distributed uniformly over the boundary of the ball . instead of modeling the fully - resolved trajectory of brownian motion inside the ball
, one can just pick up at random a point @xmath299 on the sphere of radius @xmath296 and move the random walker at this new position .
the random duration of this displacement can be easily generated @xcite . from here , one draws a new ball @xmath300 , and so on , until the walker approaches the boundary @xmath297 closer than a chosen threshold .
from this point , an appropriate boundary effect ( e.g. , absorption , relaxation , chemical transformation , permeation , reflection , etc . ) is implemented . due to its efficiency ,
fast random walk algorithms have been used to simulate diffusion - limited aggregates ( dla)@xcite , to generate the harmonic measure on fractals @xcite , to model diffusion - reaction phenomena in spherical packs @xcite , to compute the signal attenuation in pulsed - gradient spin - echo experiments @xcite , etc . in this section ,
we focus on multiscale tools to estimate the distance , while other aspects of fast random walk algorithms can be found elsewhere @xcite .
the efficiency of fast random walk algorithms fully relies on the ability to rapidly estimate the distance between any point ( e.g. , the current position of the walker ) and the boundary .
multiscale dyadic decompositions provide an efficient way to these estimates .
to illustrate the idea , we first consider the one - dimensional case and then discuss its straightforward extension to the multidimensional case .    in one dimension , the problem can be formulated as follows : given a set @xmath301 of @xmath2 `` boundary '' points on the unit interval , how the distance to this set from another point @xmath81 can be estimated in a rapid way ?
successive computation of the distances @xmath302 and finding their minimum is of course the simplest but the slowest way ( of order of @xmath2 ) . instead of computing the distances to all boundary points ,
one can split the unit interval into two half - intervals , and check the distance to the points belonging to the half - interval that contains @xmath81 .
if the distribution of points @xmath303 on @xmath97 $ ] is more or less uniform , this division approximately halves the number of computations . in the same spirit ,
splitting on subintervals of length @xmath28 , @xmath304 , etc . would reduce the number of computations roughly by factors @xmath305 , @xmath306 , etc . using such dyadic decompositions
, one needs approximately @xmath307 splitting to attend the level when one ( or few ) point @xmath303 belongs to the same subinterval as @xmath81 .
the number of computations is then of order of @xmath307 ( assuming the distribution of boundary points is more or less uniform ) .
moreover , if computation is carried with a desired precision @xmath78 ( to consider @xmath303 as `` pointlike '' , one needs @xmath308 ) , one can continue splitting up to the level @xmath79 so that the length of subintervals becomes smaller than @xmath78 .
since the points @xmath301 are stored with precision @xmath78 , one can not distinguish two points at any scale smaller than @xmath78 .
consequently , any subinterval of length @xmath78 can be either vacant , or occupied by only one point @xmath303 ( two points from the same subinterval would be indistinguishable ) . in this case , the number of computations , @xmath79 , is actually independent of whether the distribution of points @xmath303 is uniform or not . in other words ,
this algorithm can be applied for any finite set of points @xmath303 that are all distinguishable at scale @xmath78 , i.e. , @xmath309 for any @xmath65 and @xmath86 .       by its binary expansion .
, width=321 ]    for practical implementation , the boundary points @xmath303 are used to generate a dyadic tree of subintervals at the scales ranging from @xmath7 to @xmath79 . in turn , the binary expansion of the test point @xmath81 is used to `` navigate '' search on the tree ( fig . [
fig : dyadic ] ) .
in fact , one can associate to a given point @xmath310 $ ] a sequence of dyadic intervals @xmath311 such that @xmath312 at any scale @xmath65 . at each scale @xmath65
, one chooses the left or the right subinterval depending on whether the @xmath313 bit is @xmath6 or @xmath7 . applying this procedure to all boundary points @xmath303
, one can generate a dyadic decomposition of the boundary .
figure  [ fig:1d_decomp]a shows an example with three boundary points @xmath314 at five scales , from @xmath66 to the smallest one @xmath315 .
the dyadic decomposition is stored as a tree , where a vertex is associated with a subinterval .
each vertex can be connected to one , two , or three other vertices ( see fig .  [
fig:1d_decomp]a ) .
the `` height '' of the vertex from the `` root '' determines the scale of the corresponding subinterval .
( shown by vertical dashed lines ) and the related tree of subintervals at five levels ( @xmath316 ) .
for a test point @xmath317 ( shown by arrow ) , one uses its binary expansion @xmath318 to navigate over the tree .
the descend is stopped at level @xmath319 since @xmath320 $ ] .
however , the rough estimate , @xmath321 , of the distance between @xmath81 and the boundary , @xmath322 , obviously fails . to apply the @xmath323-trick , one constructs the dyadic decomposition for the boundary points shifted by @xmath323 * ( b)*. in this tree , the descent for the point @xmath324 is stopped at level @xmath325 .
the combined lower estimate @xmath326 is valid.,title="fig:",width=158 ]    ( shown by vertical dashed lines ) and the related tree of subintervals at five levels ( @xmath316 ) .
for a test point @xmath317 ( shown by arrow ) , one uses its binary expansion @xmath318 to navigate over the tree .
the descend is stopped at level @xmath319 since @xmath320 $ ] .
however , the rough estimate , @xmath321 , of the distance between @xmath81 and the boundary , @xmath322 , obviously fails .
to apply the @xmath323-trick , one constructs the dyadic decomposition for the boundary points shifted by @xmath323 * ( b)*. in this tree , the descent for the point @xmath324 is stopped at level @xmath325 .
the combined lower estimate @xmath326 is valid.,title="fig:",width=317 ]    once a dyadic decomposition for a given boundary is constructed , it can be used to estimate the distance to the boundary from any point @xmath81 .
in fact , one can easily ( and very rapidly ) find the smallest subinterval @xmath327 containing simultaneously @xmath81 and some boundary point .
for this purpose , one starts from the `` root '' vertex and descends on the tree using the bits of @xmath81 to choose left or right edges at each scale .
the descend is stopped when there is no edge to follow ( fig .
[ fig:1d_decomp]a ) .
once the smallest common interval @xmath327 is found , there are two option : either @xmath328 so that the point @xmath81 is indistinguishable from some boundary point at scale @xmath78 , and the distance estimate is set to @xmath6 ; or @xmath329 , and the distance to the boundary can be roughly estimated as @xmath49 since the next subdivision must separate the point @xmath81 from the boundary points
. however , this simplistic argument fails when the point @xmath81 and the closest boundary point lie on opposite sides of the midpoint of the smallest common interval @xmath327 , but very close to each other .
although the next subdivision separates these two points , the distance between them can be arbitrarily small so that the rough estimate @xmath49 is wrong , as illustrated on fig .
[ fig:1d_decomp]a . to get the correct lower estimate
, one can apply the so - called `` 1/3-trick '' .
the @xmath323-trick can be easily illustrated for two points @xmath81 and @xmath119 .
let @xmath330 be the smallest common interval containing both points @xmath81 and @xmath119 .
suppose that the distance between these points is smaller than @xmath331 .
we consider the points @xmath332 and @xmath333 ( shifted by @xmath323 ) , and determine their smallest common interval @xmath334 .
as shown in appendix [ sec : trick_proof ] , the distance between the points @xmath299 and @xmath335 ( and thus between the points @xmath81 and @xmath119 ) is larger than @xmath336 .
it is thus sufficient to find the smallest common intervals for the pair @xmath337 and its shifted counterpart @xmath338 , and the distance between the points is bounded below as @xmath339    this simple fact allows one to rapidly estimate the distance to boundary points .
let us consider a new boundary @xmath340 which is obtained by shifting the old one by @xmath323 : @xmath341 .
for the new boundary , another dyadic tree of subintervals can be constructed ( fig .
[ fig:1d_decomp]b ) in order to estimate the distance between @xmath340 and the shifted point @xmath342 at a given scale @xmath78 . while this construction may appear redundant at first thought
because @xmath343 , the crucial point is that we search for a lower estimate at a finite scale at which two dyadic trees are different . performing the descend over both dyadic trees ( using the binary expasion of @xmath81 and @xmath299 , respectively ) , one identifies the level @xmath65 ( resp .
@xmath344 ) of the smallest common interval of @xmath81 ( resp .
@xmath299 ) and the closest boundary point ( resp . shifted closest boundary point ) .
the lower estimate of the distance is then @xmath345      similar constructions are applicable in higher dimensions which are more relevant for applications .
the lower estimate relies on the generalized mean inequality : @xmath346 where the generalized mean @xmath347 of @xmath65 positive numbers @xmath348 is @xmath349 setting @xmath202 , @xmath350 , and @xmath351 for two points @xmath352 and @xmath353 , eq .
( [ eq : generalized_mean ] ) yields the lower estimate of their euclidean distance : @xmath354 and thus the distance from any point @xmath355 to the boundary . in high dimensions ( @xmath356 ) ,
the right - hand side of the inequality ( [ eq : dist_d ] ) is strongly attenuated by the prefactor @xmath357 .
this is an example of the so - called `` curse of dimensionality '' . to overcome this difficulty
, one can implement random rotations and translations of the boundary .
although these transformations preserve the distance , they can improve the lower bound at a finite scale . note that other multiscale constructions and the related searchable data structures can also be used such as whitney decompositions of the computational domain ( in which the size of each square ( or cube ) paving
the domain is comparable to the distance to the boundary ) , quadtrees ( or q - trees ) , k - d trees , etc . @xcite .
the advantages of multiscale dyadic trees are numerous : the simplicity of construction , the generality of boundary shapes , the rapidity of distance estimation , the flexibility for shape modifications , and low memory usage .
in fact , for a given precision @xmath78 , the storage of the dyadic tree requires at worst @xmath358 intervals ( i.e. , @xmath79 levels for each boundary point , for @xmath2 points ) . in practice , this number is much smaller since many boundary points share the same interval at larger scales ( e.g. , the interval of size @xmath7 is shared by all boundary points ) .
the crucial point is that geometrical structure of the boundary does not matter at all : the method works for a random cantor dust as well as for a circle .
moreover , the tree - like representation is highly adaptive , allowing one to modify the boundary from one set of simulations to other ( or even from one run to the other ) .
this feature can be very useful to study diffusion - controlled growth processes like dla or transport phenomena in domains with moving boundaries .
in this paper , we revised the multiscale construction of gaussian processes and fields .
first , the haar wavelet representation of brownian motion was explicitly constructed as a natural way to refine the geometrical features of a brownian path under magnification .
since the haar functions form a complete basis in the space @xmath145)$ ] and their weights are gaussian , such a representation can be extended to any complete basis @xmath147 of @xmath145)$ ] , wavelet - like or not . in other words , the construction of brownian motion has two separate `` ingredients '' : deterministic functions @xmath149 capturing geometrical details , and their random weights @xmath157 .
the choice of the functions @xmath149 is voluntary that gives a certain freedom and flexibility in dealing with different problems .
qualitatively , this choice determines the way of connecting successive positions of brownian motion at a given scale . on the opposite ,
the random weights determine the intrinsic stochastic properties of brownian motion , independently of our choice of the basis @xmath147 .
the multiscale construction gives not only a simple closed formula for brownian motion , but reveals its fundamental properties .
for instance , continuity and non - differentiability of brownian paths naturally follow from this construction .
in addition , we discussed a closed mapping from the sampling unit interval onto the space of brownian paths . sampling brownian paths can therefore be formally reduced to picking up a real number @xmath70 with the uniform measure .
this construction does not require elaborate notions from modern probability theory such as wiener measures , sigma - algebras , filtrations , etc .
although these notions are useful , the explicit multiscale construction is much easier for non - mathematicians .    these concepts are not limited to brownian motion .
we illustrated how fractional brownian motion , gaussian free field , and fractional gaussian fields can be constructed in a very similar way .
extensions to other gaussian processes were also mentioned .
finally , we briefly discussed how the multiscale concepts can be used for simulating restricted diffusion ( i.e. , brownian motion in confining domains ) .
the dyadic subdivision and the related hierarchical ( multiscale ) tree of subintervals allow one to rapidly estimate the distance to the boundary and thus to generate random displacements adapted to the local geometrical environment .
such fast random walk algorithms have found numerous applications . as for usual
brownian motion , dyadic decompositions appear as natural tools to store and rapidly access the geometrical information , resulting in fast algorithms .
dg acknowledges the financial support by anr project anr-13-jsv5 - 0006 - 01 .
db was partially funded by epsrc fellowship ref .
ep / m002896/1 .
we explain why the distribution of the position of brownian motion @xmath359 at time @xmath360 under conditions @xmath10 and @xmath361 is given by the normal law @xmath362 .
since the increments of brownian motion on the unit intervals @xmath363 and @xmath364 are independent , the joint probability density @xmath365 is simply equal to the product of the probability density @xmath366 to have the first increment equal to @xmath119 and the probability density @xmath367 to have the second increment equal to @xmath368 .
these densities are given by normal laws with variance @xmath293 , yielding @xmath369 the second factor is simply the probability density for @xmath370 , while the first factor is the conditional probability density we are looking for : @xmath371 this is the normal distribution with the mean @xmath372 and the variance @xmath28 .
in this section , we illustrate how the wavelet representation of brownian motion can be used to prove its basic properties such as continuity and non - differentiability .
first , we show that a partial sum approximation converges to brownian motion in both @xmath373 and @xmath247 norms .
let us denote @xmath374 so that @xmath375 according to eq .
( [ eq : bomega1 ] ) .
each function @xmath376 is a sum of hat functions with disjoint supports . to estimate the size of @xmath376 we need some upper bound on @xmath60 .
we are going to show that @xmath377 for all sufficiently large @xmath65 .
since @xmath378 are standard normal variables , we observe that @xmath379 for sufficiently large @xmath65 .
this inequality yields @xmath380 by borel - cantelli lemma this implies that @xmath377 for all but finitely many coefficients @xmath60 . in other words ,
almost surely , there is finite , but random , @xmath381 such that @xmath377 if @xmath382 . for such @xmath65 we have @xmath383 ) } = 2^{-n/2 - 1}\max_k \{|a_{nk}|\ } < n 2^{-n/2 - 1}.\ ] ] since the sum of these norms converges , the series @xmath384 converges to @xmath162 in @xmath373 norm ( uniformly ) , i.e. for any @xmath292 @xmath385 ) } > \epsilon \right\ } = 0 , \ ] ] where @xmath386 is a partial sum approximation of brownian motion at scale @xmath387 .
this proves that brownian motion is almost surely continuous .
moreover , the remainder of a partial sum approximation at scale @xmath387 is exponentially small : @xmath388 when @xmath2 is large enough .
the @xmath247 convergence can be shown in the same way .
we have @xmath389 ) } = \sum\limits_{k=0}^{2^n-1 } |a_{nk}|^2 \|h_{nk}\|^2_{l^2([0,1 ] ) }   < 2^n ~ n^2 ~ 2^{-2n},\ ] ] where we used @xmath390 for large enough @xmath65 .
this inequality implies the convergence of @xmath391)}$ ] with probability one and hence the series in eq .
( [ eq : bomega1 ] ) converges almost surely in @xmath247 norm : @xmath392 ) } \right\ } = 0 .\ ] ] both statements ( [ eq : bconv1 ] , [ eq : bconv2 ] ) can be extended to arbitrary spectral representation of brownian motion .
note also that these statements are applicable pointwise , e.g. , @xmath393 for any @xmath394 $ ] .      since brownian motion is a sum of hat functions it is easy to believe that @xmath162 it not differentiable almost everywhere .
one can prove a much stronger statement that @xmath162 is nowhere differentiable with probability one .
the proof goes along the same lines as for convergence ( the argument follows the proof from @xcite ) .
we are going to show that almost surely for all @xmath38 at least one of the two limits , @xmath395 is infinite .
this obviously implies that @xmath162 is almost surely nowhere differentiable .
note that at local extrema , one of these limits can be finite , so it is not true that _ both _ of them are always infinite .
let us assume that there is @xmath396 such that both limits are finite at @xmath396 .
this implies that there is a random finite constant @xmath397 such that @xmath398 for all @xmath399 . for a given scale @xmath65 ,
let @xmath47 be such that @xmath396 is between dyadic points @xmath400 and @xmath401 , where @xmath402 .
the triangle inequality implies that for any @xmath403 @xmath404    let @xmath405 be the event that this inequality holds for @xmath406 . since increments are independent normal variables , one gets @xmath407 , where @xmath408 is a constant .
the probability that these inequalities hold for _ some _ @xmath47 from @xmath6 to @xmath409 is then bounded by @xmath410 .
the sum of these probabilities over @xmath65 is finite , hence by borel - cantelli lemma , with probability one only finitely many of them will occur . on the other hand the assumed inequality ( [ eq : increment ] )
implies that infinitely many of @xmath405 will occur .
this yields the contradiction and proves that ( [ eq : increment ] ) can not be true .
although the 1/3-trick is classical in analysis , we provide some explanations which may be instructive for non - experts .
the trick is based on a very simple result .
let @xmath411 and its boundary @xmath412 .
for any real @xmath81 and any integer @xmath65 , there exist two intervals @xmath72 and @xmath413 of the same length @xmath73 that @xmath81 belongs to @xmath72 and @xmath332 belongs to @xmath413 .
if the distance from @xmath81 to the boundary of @xmath72 is smaller than @xmath331 , then the distance from @xmath299 to the boundary of @xmath413 is larger than @xmath331 , and vice - versa . in other words , the point @xmath81 and the shifted point @xmath299 can not be simultaneously close to the interval endpoints .
suppose the opposite is true , so that @xmath414 where the integers @xmath415 $ ] and @xmath416 $ ] denote the closest endpoint to @xmath81 and @xmath299 , respectively . since @xmath417 with an integer @xmath418 , the point @xmath419 should be simultaneously within the distance @xmath420 to @xmath421 and @xmath422 that is impossible since the distance between these points is larger than @xmath323 ( fig .
[ fig : trick ] ) : @xmath423      using this simple result , one can prove the estimate for the distance from a given point @xmath81 to the set of boundary points @xmath425 .
let @xmath72 be the largest interval containing @xmath81 and not containing any boundary point @xmath426 .
similarly , for the shifted point @xmath332 , let @xmath427 be the largest interval containing @xmath299 and not containing any shifted boundary point @xmath428 . then the distance from @xmath81 to the set of boundary points @xmath425 is larger than @xmath429 .
suppose that @xmath430 .
assume that the statement is false so there exists a boundary point @xmath431 such that @xmath432 .
suppose that @xmath433 ( the opposite case is similar ) . since @xmath434 and @xmath435 , both points @xmath81 and @xmath119 should be close to the endpoint @xmath436 : @xmath437 the shifted boundary point @xmath335 belongs to some interval @xmath438 . according to the previous result
, the second inequality implies that the shifted point @xmath335 can not be close to the endpoints of @xmath438 : @xmath439 since @xmath440 and @xmath433 , then @xmath441 , hence @xmath442 i.e. , the point @xmath299 belongs to the same interval @xmath438 as @xmath335 . at the same time
, @xmath299 belongs to @xmath427 which is larger than @xmath438 due to @xmath430 .
the dyadic structure implies that @xmath443 so that @xmath335 should belong to @xmath427 as well . but
this is in contradiction with the initial assumption about @xmath427 .
n. kobayashi , y. yamazaki , h. kuninaka , m. katori , m. matsushita , s. matsushita , and l .- y .
chiang , `` fractal structure of isothermal lines and loops on the cosmic microwave background '' , j. phys .
japan * 80 * , 074003 ( 2010 ) .
r. fernandez , j. frhlich , and a. d. sokal , _ random walks , critical phenomena , and triviality in quantum field theory _
( texts and monographs in physics .
springer , berlin heidelberg , new york , 1992 ) .
r. brown , `` a brief account of microscopical observations made in the months of june , july and august , 1827 , on the particles contained in the pollen of plants ; and on the general existence of active molecules in organic and inorganic bodies '' , edinburgh new phil .
j. * 5 * , 358 - 371 ( 1828 ) .
b. alpert , `` construction of simple multi - scale bases for fast matrix operations '' , in _ wavelets and their applications _ , ed . by ruskai , beylkin , coifman , daubechies , mallat , mayer , and raphael ( jones & bartlett , boston , 1992 ) , p. 211 .
g. beylkin , r. coifman , and v. rokhlin , `` wavelets in numerical analysis '' , in _ wavelets and their applications _ , ed . by ruskai , beylkin , coifman , daubechies , mallat , mayer , and raphael ( jones & bartlett , boston , 1992 ) , p. 181 .
p. abry and f. sellan , `` the wavelet - based synthesis for fractional brownian motion proposed by f. sellan and y. meyer : remarks and fast implementation '' , appl .
comput . harm .
anal . * 3 * , 377 - 383 ( 1996 ) .
w. t. coffey , y. p. kalmykov , and j. t. waldron , _ the langevin equation : with applications to stochastic problems in physics , chemistry and electrical engineering _
( world scientific publishing , singapore , 2004 ) .
r. j. adler and j. e. taylor , _ random fields and geometry _
( springer monographs in mathematics , 2007 ) .
e. vanmarcke , _ random fields : analysis and synthesis _
( world scientific publishing company , 2010 ) .
d. s. grebenkov , `` partially reflected brownian motion : a stochastic approach to transport phenomena '' , in `` focus on probability theory '' , ed .
l. r. velle , pp .
135 - 169 ( nova science publishers , 2006 ) .
d. s. grebenkov , `` efficient monte carlo methods for simulating diffusion - reaction processes in complex systems '' , in `` first - passage phenomena and their applications '' , eds .
r. metzler , g. oshanin , s. redner ( world scientific press , 2014 ) .