We show the result that is stated in the title of the paper, which has consequences about decomposition of Brownian loop-soup clusters in two dimensions.
In this paper we apply the spectral theory of linear diffusions to study the one-dimensional Liouville Brownian Motion and Liouville Brownian excursions from a given point. As an application we estimate the fractal dimensions of level sets of one-dimensional Liouville Brownian motion as well as various probabilistic asymptotic behaviours of Liouville Brownian motion and Liouville Brownian excursions.
We study properties of occupation times by Brownian excursions and Brownian loops in two-dimensional domains. This allows for instance to interpret some Gaussian fields, such as the Gaussian Free Fields as (properly normalized) fluctuations of the total occupation time of a Poisson cloud of Brownian excursions when the intensity of the cloud goes to infinity.
We study the density of the time average of the Brownian meander/excursion over the time interval [0,1]. Moreover we give an expression for the Brownian meander/excursion conditioned to have a fixed time average.
In this paper, following earlier results in [2] we derive the asymptotic distribution as $t \to \infty$, of the excursion of Brownian motion straddling $t$, into an interval $(a,b)$, conditional on the event that there is such an excursion.
We develop an excursion theory for Brownian motion indexed by the Brownian tree, which in many respects is analogous to the classical Itô theory for linear Brownian motion. Each excursion is associated with a connected component of the complement of the zero set of the tree-indexed Brownian motion. Each such connectedcomponent is itself a continuous tree, and we introduce a quantity measuring the length of its boundary. The collection of boundary lengths coincides with the collection of jumps of a continuous-state branching process with branching mechanism $ψ(u)=\sqrt{8/3}\,u^{3/2}$. Furthermo…
By using the law of the excursions of Brownian motion with drift, we find the distribution of the $n-$th passage time of Brownian motion through a straight line $S(t)= a + bt.$ In the special case when $b = 0,$ we extend the result to a space-time transformation of Brownian motion.
The aim of this paper is to present a self-similar growth-fragmentation process linked to a Brownian excursion in the upper half-plane $\mathbb{H}$, obtained by cutting the excursion at horizontal levels. We prove that the associated growth-fragmentation is related to one of the growth-fragmentation processes introduced by Bertoin, Budd, Curien and Kortchemski.
Functionals of Brownian bridge arise as limiting distributions in nonparametric statistics. In this paper we will give a derivation of distributions of extrema of the Brownian bridge based on excursion theory for Brownian motion. Only the Poisson character of the excursion process will be used. Particular cases of calculations include the distributions of the Kolmogorov-Smirnov statistic, the Kuiper statistic, and the ratio of the maximum positive ordinate to the minumum negative ordinate.
We consider the Brownian interlacements model in Euclidean space, introduced by A.S. Sznitman in \cite{sznitman2013scaling}. We give estimates for the asymptotics of the visibility in the vacant set. We also consider visibility inside the vacant set of the Brownian excursion process in the unit disc and show that it undergoes a phase transition regarding visibility to infinity as in \cite{benjamini2009visibility}. Additionally, we determine the critical value and that there is no visibility to infinity at the critical intensity.
Several Brownian areas are considered in this paper: the Brownian excursion area, the Brownian bridge area, the Brownian motion area, the Brownian meander area, the Brownian double meander area, the positive part of Brownian bridge area, the positive part of Brownian motion area. We are interested in the asymptotics of the right tail of their density function. Inverting a double Laplace transform, we can derive, in a mechanical way, all terms of an asymptotic expansion. We illustrate our technique with the computation of the first four terms. We also obtain asymptotics for the right tail of th…
The integrated Brownian motion is sometimes known as the Langevin process. Lachal studied several excursion laws induced by the latter. Here we follow a different point of view developed by Pitman for general stationary processes. We first construct a stationary Langevin process and then determine explicitly its stationary excursion measure. This is then used to provide new descriptions of Ito's excursion measure of the Langevin process reflected at a completely inelastic boundary, which has been introduced recently by Bertoin.
We consider a random walk $S$ in the domain of attraction of a standard normal law $Z$, \textit{ie} there exists a positive sequence $a_n$ such that $S_n/a_n$ converges in law towards $Z$. The main result of this note is that the rescaled process $(S_{\lfloor nt \rfloor}/a_n, t \geq 0)$ conditioned to stay non-negative, to start and to come back \textit{near the origin} converges in law towards the normalized brownian excursion.
The Laplace transform of the $d$-dimensional distribution of Brownian excursion is expressed as the Laplace transform of the $(d+1)$-dimensional distribution of an auxiliary Markov process, started from a $σ$-finite measure and with the roles of arguments and times interchanged. A similar identity holds for the Laplace transform of a generalized meander, which is expressed as the Laplace transform of the same auxiliary Markov process, with a different initial law.
We consider the problem of conditioning the Brownian excursion to have a fixed time average over the interval [0,1] and we study an associated stochastic partial differential equation with reflection at 0 and with the constraint of conservation of the space average. The equation is driven by the derivative in space of a space-time white noise and contains a double Laplacian in the drift. Due to the lack of the maximum principle for the double Laplacian, the standard techniques based on the penalization method do not yield existence of a solution.
We consider two jointly stationary and ergodic random measures $ξ$ and $η$ on the real line $\mathbb{R}$ with equal intensities. An allocation is an equivariant random mapping from $\mathbb{R}$ to $\mathbb{R}$. We give sufficient and partially necessary conditions for the existence of allocations transporting $ξ$ to $η$. An important ingredient of our approach is to introduce a transport kernel balancing $ξ$ and $η$, provided these random measures are mutually singular. In the second part of the paper, we apply this result to the path decomposition of a two-sided Brownian motion into three ind…
The Brownian excursion measure is a conformally invariant infinite measure on curves. It figured prominently in one of the first major applications of SLE, namely the explicit calculations of the planar Brownian intersection exponents from which the Hausdorff dimension of the frontier of the Brownian path could be computed (Lawler, Schramm, and Werner, 2001). In this paper we define the simple random walk excursion measure and show that for any bounded, simply connected Jordan domain D, the simple random walk excursion measure on D converges in the scaling limit to the Brownian excursion measu…
Let $\{B(t), t \geq 0\}$ be a standard Brownian motion in $\mathbb{R}$. Let $T$ be the first return time to 0 after hitting 1, and $\{L(T,x), x \in \mathbb{R}\}$ be the local time process at time $T$ and level $x$. The distribution of $L(T,x)$ for each $x \in \mathbb{R}$ is determined. This is applied to the estimation of a $L^1$ integral on $\mathbb{R}$.
We consider the process of $n$ Brownian excursions conditioned to be nonintersecting. We show the distribution functions for the top curve and the bottom curve are equal to Fredholm determinants whose kernel we give explicitly. In the simplest case, these determinants are expressible in terms of Painlevé V functions. We prove that as $n\to \infty$, the distributional limit of the bottom curve is the Bessel process with parameter 1/2. (This is the Bessel process associated with Dyson's Brownian motion.) We apply these results to study the expected area under the bottom and top curves.
This survey is a collection of various results and formulas by different authors on the areas (integrals) of five related processes, viz.\spacefactor =1000 Brownian motion, bridge, excursion, meander and double meander; for the Brownian motion and bridge, which take both positive and negative values, we consider both the integral of the absolute value and the integral of the positive (or negative) part. This gives us seven related positive random variables, for which we study, in particular, formulas for moments and Laplace transforms; we also give (in many cases) series representations and as…
This note re-addresses the Paris barrier options proposed by Yor and collaborators and their valuation using the Laplace transform approach. The notion of Paris barrier options, based on excursion theory and using the Brownian meander, is extended such that their valuation is now possible at any point during their lifespan. The pertinent Laplace transforms are modified when necessary.
Permutations that avoid given patterns are among the most classical objects in combinatorics and have strong connections to many fields of mathematics, computer science and biology. In this paper we study the scaling limits of a random permutation avoiding a pattern of length 3 and their relations to Brownian excursion. Exploring this connection to Brownian excursion allows us to strengthen the recent results of Madras and Pehlivan, and Miner and Pak as well as to understand many of the interesting phenomena that had previously gone unexplained.
This paper reviews known results which connect Riemann's integral representations of his zeta function, involving Jacobi's theta function and its derivatives, to some particular probability laws governing sums of independent exponential variables. These laws are related to one-dimensional Brownian motion and to higher dimensional Bessel processes. We present some characterizations of these probability laws, and some approximations of Riemann's zeta function which are related to these laws.
We consider a super-Brownian motion $X$. Its canonical measures can be studied through the path-valued process called the Brownian snake. We obtain the limiting behavior of the volume of the $ε$-neighborhood for the range of the Brownian snake, and as a consequence we derive the analogous result for the range of super-Brownian motion and for the support of the integrated super-Brownian excursion. Then we prove the support of $X_t$ is capacity-equivalent to $[0,1]^2$ in $\R^d$, $d\geq 3$, and the range of $X$, as well as the support of the integrated super-Brownian excursion are capacity-equiva…
Permutations that avoid given patterns are among the most classical objects in combinatorics and have strong connections to many fields of mathematics, computer science and biology. In this paper we study fixed points of both 123- and 231-avoiding permutations. We find an exact description for a scaling limit of the empirical distribution of fixed points in term of Brownian excursion. This builds on the connections between pattern-avoiding permutations and Brownian excursion developed in Part I of this series and strengthens the recent results of Elizalde (2012) and Miner and Pak (2014) on fix…
Area fluctuations of a Brownian excursion are described by the Airy distribution, which found applications in different areas of physics, mathematics and computer science. Here we generalize this distribution to describe the area fluctuations on a \emph{subinterval} of a Brownian excursion. In the first version of the problem (Model 1) no additional conditions are imposed. In the second version (Model 2) we study the distribution of the area fluctuations on a subinterval given the excursion area on the whole interval. Both versions admit convenient path-integral formulations. In Model 1 we obt…
Excursion reflected Brownian motion (ERBM) is a strong Markov process defined in a finitely connected domain $D \subset \mathbb{C}$ that behaves like a Brownian motion away from the boundary of $D$ and picks a point according to harmonic measure from infinity to reflect from every time it hits a boundary component. We give a construction of ERBM using its conformal invariance and develop the basic theory of its harmonic functions. One important reason for studying ERBM is the hope that it will be a useful tool in the study of SLE in multiply connected domains. To this end, we develop the basic…
In a previous paper, we established strong existence and uniqueness for a reflected diffusion $(X,S)$ with values in $\bar D\times \mathbbm{R}^p$, solving the following pair of stochastic differential equations: $$ dX_t = σ(X_t)dB_t + \vecγ(X_t,S_t)dL_t, $$ $$ dS_t = [\vec{g}(X_t) - S_t ] dL_t. $$ Here $L_t$ is the boundary local time of $X_t$, and $\vecγ$ points uniformly into the domain $D$. The process $(X,S)$ is called spinning Brownian motion (sBm). In this article, we prove uniqueness of the stationary distribution of spinning Brownian motion by studying excursions away from the boundary…
We study limit distributions for random variables defined in terms of coefficients of a power series which is determined by a certain linear functional equation. Our technique combines the method of moments with the kernel method of algebraic combinatorics. As limiting distributions the area distributions of the Brownian excursion and meander occur. As combinatorial applications we compute the area laws for discrete excursions and meanders with an arbitrary finite set of steps and the area distribution of column convex polyominoes. As a by-product of our approach we find the joint distribution…
Excursion reflected Brownian motion (ERBM) is a strong Markov process defined in a finitely connected domain $D \subset \C$ that behaves like a Brownian motion away from the boundary of $D$ and picks a point according to harmonic measure from infinity to reflect from every time it hits a boundary component. We give a new construction of ERBM using its conformal invariance and discuss the relationship between the Poisson kernel and Green's function for ERBM and conformal maps into certain classes of finitely connected domains. One important reason for studying ERBM is the hope that it will be a…
Trees in Brownian excursions have been studied since the late 1980s. Forests in excursions of Brownian motion above its past minimum are a natural extension of this notion. In this paper we study a forest-valued Markov process which describes the growth of the Brownian forest. The key result is a composition rule for binary Galton--Watson forests with i.i.d. exponential branch lengths. We give elementary proofs of this composition rule and explain how it is intimately linked with Williams' decomposition for Brownian motion with drift.
In this paper, we consider hashing with linear probing for a hashing table with m places, n items (n < m), and l = m<n empty places. For a non computer science-minded reader, we shall use the metaphore of n cars parking on m places: each car chooses a place at random, and if this place k is occupied, the car tries successively k+1, k+2, ... until it finds an empty place (with the convention that place m+1 is actually place 1). Pittel [42] proves that when l/m goes to some positive limit a < 1, the size of the largest block of consecutive cars is O(log m). In this paper we examine at which leve…
It is known that after scaling a random Motzkin path converges to a Brownian excursion. We prove that the fluctuations of the counting processes of the ascent steps, the descent steps and the level steps converge jointly to linear combinations of two independent processes: a Brownian motion and a Brownian excursion. The proofs rely on the Laplace transforms and an integral representation based on an identity connecting non-crossing pair partitions and joint moments of an explicit non-homogeneous Markov process.
We study the convergence of the $M/G/1$ processor-sharing, queue length process in the heavy traffic regime, in the finite variance case. To do so, we combine results pertaining to Lévy processes, branching processes and queuing theory. These results yield the convergence of long excursions of the queue length processes, toward excursions obtained from those of some reflected Brownian motion with drift, after taking the image of their local time process by the Lamperti transformation. We also show, via excursion theoretic arguments, that this entails the convergence of the entire processes to …
We provide a new construction of the Brownian disks, which have been defined by Bettinelli and Miermont as scaling limits of quadrangulations with a boundary when the boundary size tends to infinity. Our method is very similar to the construction of the Brownian map, but it makes use of the positive excursion measure of the Brownian snake which has been introduced recently. This excursion measure involves a random continuous tree whose vertices are assigned nonnegative labels, which correspond to distances from the boundary in our approach to the Brownian disk. We provide several applications …
We consider Kallenberg's hypothesis on the characteristic function of a Lévy process and show that it allows the construction of weakly continuous bridges of the Lévy process conditioned to stay positive. We therefore provide a notion of normalized excursions Lévy processes above their cumulative minimum. Our main contribution is the construction of a continuous version of the transition density of the Lévy process conditioned to stay positive by using the weakly continuous bridges of the Lévy process itself. For this, we rely on a method due to Hunt which had only been shown to provide upper …
For $α>0$, the $α$-Lipschitz minorant of a function $f : \mathbb{R} \rightarrow \mathbb{R}$ is the greatest function $m : \mathbb{R} \rightarrow \mathbb{R}$ such that $m \leq f$ and $\vert m(s) - m(t) \vert \leq α\vert s-t \vert$ for all $s,t \in \mathbb{R}$, should such a function exist. If $X=(X_t)_{t \in \mathbb{R}}$ is a real-valued Lévy process that is not a pure linear drift with slope $\pm α$, then the sample paths of $X$ have an $α$-Lipschitz minorant almost surely if and only if $\mathbb{E}[\vert X_1 \vert]< \infty$ and $\vert \mathbb{E}[X_1]\vert < α$. Denoting the minorant by $M$, w…
In a recent paper by Gorin and Shkolnikov (2016), they have found, as a corollary to their result relevant to random matrix theory, that the area below a normalized Brownian excursion minus one half of the integral of the square of its total local time, is identical in law with a centered Gaussian random variable with variance $1/12$. In this note, we give a pathwise interpretation to their identity; Jeulin's identity connecting normalized Brownian excursion and its local time plays an essential role in the exposition.
This article is devoted to the construction of a solution for the "skew inhomogeneous Brownian motion" equation, which first appear in a seminal paper by Sophie Weinryb (1983). We investigate some laws related to the constructed process. In particular, using the description of the straddling excursion above a deterministic time, we compute the joint law of the process, its local time and its straddling time.
In this paper we study the integral of the supremum process of standard Brownian motion. We present an explicit formula for the moments of the integral (or area) A(T), covered by the process in the time interval [0,T]. The Laplace transform of A(T) follows as a consequence. The main proof involves a double Laplace transform of A(T) and is based on excursion theory and local time for Brownian motion.
We are interested in path decompositions of a perturbed reflecting Brownian motion (PRBM) at the hitting times and at the minimum. Our study relies on the loop soups developed by Lawler and Werner [10] and Le Jan [13]-[14], in particular on a result discovered by Lupu [15] identifying the law of the excursions of the PRBM above its past minimum with the loop measure of Brownian bridges.
Let $(\mathcal{T},d)$ be the random real tree with root $ρ$ coded by a Brownian excursion. So $(\mathcal{T},d)$ is (up to normalisation) Aldous CRT \cite{AldousI} (see Le Gall \cite{LG91}). The $a$-level set of $\mathcal{T}$ is the set $\mathcal{T}(a)$ of all points in $\mathcal{T}$ that are at distance $a$ from the root. We know from Duquesne and Le Gall \cite{DuLG06} that for any fixed $a\in (0, \infty)$, the measure $\ell^a$ that is induced on $\mathcal{T}(a)$ by the local time at $a$ of the Brownian excursion, is equal, up to a multiplicative constant, to the Hausdorff measure in $\mathcal…
It is known that Schramm-Loewner Evolutions (SLEs) have a.s. frontier points if $κ>4$ and a.s. cutpoints if $4<κ<8$. If $κ>4$, an appropriate version of $\SLE(κ)$ has a renewal property: it starts afresh after visiting its frontier. Thus one can give an excursion decomposition for this particular $\SLE(κ)$ ``away from its frontier''. For $4<κ<8$, there is a two-sided analogue of this situation: a particular version of $\SLE(κ)$ has a renewal property w.r.t its cutpoints; one studies excursion decompositions of this $\SLE$ ``away from its cutpoints''. For $κ=6$, this overlaps Virág's results on…
By computations on generating functions, Szekeres proved in 1983 that the law of the diameter of a uniformly distributed rooted labelled tree with n vertices, rescaled by a factor n^{1/2} , converges to a distribution whose density is explicit. Aldous observed in 1991 that this limiting distribution is the law of the diameter of the Brownian tree. In our article, we provide a computation of this law which is directly based on the normalized Brownian excursion. Moreover, we provide an explicit formula for the joint law of the height and diameter of the Brownian tree, which is a new result.
The Airy distribution function describes the probability distribution of the area under a Brownian excursion over a unit interval. Surprisingly, this function has appeared in a number of seemingly unrelated problems, mostly in computer science and graph theory. In this paper, we show that this distribution also appears in a rather well studied physical system, namely the fluctuating interfaces. We present an exact solution for the distribution P(h_m,L) of the maximal height h_m (measured with respect to the average spatial height) in the steady state of a fluctuating interface in a one dimensi…
In this paper we study the drifted Brownian meander, that is a Brownian motion starting from $ u $ and subject to the condition that $ \min_{ 0\leq z \leq t} B(z)> v $ with $ u > v $. The limiting process for $ u \downarrow v $ is analyzed and the sufficient conditions for its construction are given. We also study the distribution of the maximum of the meander with drift and the related first-passage times. The representation of the meander endowed with a drift is provided and extends the well-known result of the driftless case. The last part concerns the drifted excursion process the distribu…
We study the structure of Brownian loop-soup clusters in two dimensions. Among other things, we obtain the following decomposition of the clusters with critical intensity: When one conditions a loop-soup cluster by its outer boundary $γ$ (which is known to be an SLE(4)-type loop), then the union of all excursions away from $γ$ by all the Brownian loops in the loop-soup that touch $γ$ is distributed exactly like the union of all excursions of a Poisson point process of Brownian excursions in the domain enclosed by $γ$. A related result that we derive and use is that the couplings of the Gaussia…
In this paper, we consider two skew Brownian motions, driven by the same Brownian motion, with different starting points and different skewness coefficients. We show that we can describe the evolution of the distance between the two processes with a stochastic differential equation. This S.D.E. possesses a jump component driven by the excursion process of one of the two skew Brownian motions. Using this representation, we show that the local time of two skew Brownian motions at their first hitting time is distributed as a simple function of a Beta random variable. This extends a result by Burd…
It is shown that the trace of $3$ dimensional Brownian motion contains arithmetic progressions of length $5$ and no arithmetic progressions of length $6$ a.s.
We derive P(M,t_m), the joint probability density of the maximum M and the time t_m at which this maximum is achieved for a class of constrained Brownian motions. In particular, we provide explicit results for excursions, meanders and reflected bridges associated with Brownian motion. By subsequently integrating over M, the marginal density P(t_m) is obtained in each case in the form of a doubly infinite series. For the excursion and meander, we analyse the moments and asymptotic limits of P(t_m) in some detail and show that the theoretical results are in excellent accord with numerical simula…
We provide integral formulae for the Laplace transform of the entrance law of the reflected excursions for symmetric Lévy processes in terms of their characteristic exponent. For subordinate Brownian motions and stable processes we express the density of the entrance law in terms of the generalized eigenfunctions for the semigroup of the process killed when exiting the positive half-line. We use the formulae to study in-depth properties of the density of the entrance law such as asymptotic behavior of its derivatives in time variable.