The height gap of planar Brownian motion is $\frac{5}π$
CNRS & CEREMADE, Université Paris-Dauphine, PSL University（法国国家科学研究中心与CEREMADE，巴黎第九大学，PSL大学）；Sorbonne Université and Université Paris Cité, CNRS, Laboratoire de Probabilités, Statistique et Modélisation（索邦大学和巴黎西岱大学，法国国家科学研究中心，概率、统计与建模实验室）；CNRS, Laboratoire de Mathématiques d’Orsay, Université Paris-Saclay（法国国家科学研究中心，奥赛数学实验室，巴黎萨克雷大学）
We show that the occupation measure of planar Brownian motion exhibits a constant height gap of $5/π$ across its outer boundary. This property bears similarities with the celebrated results of Schramm--Sheffield [18] and Miller--Sheffield [12] concerning the height gap of the Gaussian free field across SLE$_4$/CLE$_4$ curves. Heuristically, our result can also be thought of as the $θ\to 0^+$ limit of the height gap property of a field built out of a Brownian loop soup with subcritical intensity $θ>0$, proved in our recent paper [3]. To obtain the explicit value of the height gap, we rely on the computation by Garban and Trujillo Ferreras [1] of the expected area of the domain delimited by the outer boundary of a Brownian bridge.
Brownian motion in the plane in the presence of a "trap" at which motion is stopped is studied. If the trap $T$ is a connected compact set, it is shown that the probability for planar Brownian motion to hit this set before a given time $t$ is well approximated even at short times by the probability that Brownian motion hits a disk of radius $r_T$ equal to the conformal radius of the trap $T$.
We supplement a very recent paper of G. Markowsky concerned with the expected exit times of Brownian motion from planar domains. Besides the use of conformal mapping, we apply results from potential theory. We treat the case of a wedge-shaped region exactly, subsuming an example of Markowsky. A number of other results are presented, including for a half disc, $n$-grams, and a variety of other regions.
We study a model of mass-bearing coagulating planar Brownian particles. Coagulation is prone to occur when two particles become within a distance of order $ε$. We assume that the initial number of particles is of the order of $| \log ε|. Under suitable assumptions on the initial distribution of particles and the microscopic coagulation propensities, we show that the macroscopic particle densities satisfy a Smoluchowski-type equation.
We define a family of diffeomorphism-invariant models of random connections on principal $G$-bundles over the plane, whose curvatures are concentrated on singular points. In a limit when the number of point grows whilst the singular curvature on each point diminishes, the model converges in some sense towards a Yang--Mills field. We study another regime for which we prove that the holonomy along a Brownian trajectory converges towards an explicit limit.
We prove a scaling limit result for random walk on certain random planar maps with its natural time parametrization. In particular, we show that for $γ\in (0,2)$, the random walk on the mated-CRT map with parameter $γ$ converges to $γ$-Liouville Brownian motion, the natural quantum time parametrization of Brownian motion on a $γ$-Liouville quantum gravity (LQG) surface. Our result applies if the mated-CRT map is embedded into the plane via the embedding which comes from SLE / LQG theory or via the Tutte embedding (a.k.a. the harmonic or barycentric embedding). In both cases, the convergence is…
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.
With the help of the Gauss-Laplace transform for the exit time from a cone of planar Brownian motion, we obtain some infinite divisibility properties for the reciprocal of this exit time.
Let $D_N$ be the set of points around which a planar Brownian motion winds at least $N$ times. We prove that the random measure on the plane with density $2 πN 1_{D_N}$ with respect to the Lebesgue measure converges almost surely weakly, as $N$ tends to infinity, towards the occupation measure of the Brownian motion.
We compute exactly the mean perimeter and area of the convex hull of N independent planar Brownian paths each of duration T, both for open and closed paths. We show that the mean perimeter < L_N > = α_N, \sqrt{T} and the mean area <A_N> = β_N T for all T. The prefactors α_N and β_N, computed exactly for all N, increase very slowly (logarithmically) with increasing N. This slow growth is a consequence of extreme value statistics and has interesting implication in ecological context in estimating the home range of a herd of animals with population size N.
A number of recent new proofs of Euler's celebrated identity are presented, all of which are probabilistic in nature and depend on the conformal invariance of planar Brownian motion.
For every integer $n\geq 1$, we consider a random planar map $\mathcal{M}_n$ which is uniformly distributed over the class of all rooted bipartite planar maps with $n$ edges. We prove that the vertex set of $\mathcal{M}_n$ equipped with the graph distance rescaled by the factor $(2n)^{-1/4}$ converges in distribution, in the Gromov-Hausdorff sense, to the Brownian map. This complements several recent results giving the convergence of various classes of random planar maps to the Brownian map.
Known results show that the diameter $d_1$ of the trace of planar Brownian motion run for unit time satisfies $1.595 \leq \mathbb{E} d_1 \leq 2.507$. This note improves these bounds to $1.601 \leq \mathbb{E} d_1 \leq 2.355$. Simulations suggest that $\mathbb{E} d_1 \approx 1.99$.
We obtain a formula for the density of the winding number of planar Brownian motion around the origin, and deduce from it asymptotic expansions in inverse powers of the logarithm of the squared time, explicit in the angular variable. In particular, we obtain the corrections of any order to the Spitzer's law, and also to a local limit theorem for the windings.
The purpose of the paper is to find the joint distribution of the hitting time and place of two-dimensional Brownian motion hitting the negative horizontal axis. We provide various formulas for Green functions as well as for the conditional distributions. In the end we treat an analogous problem for the case when vertical component has a negative drift.
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.
In this paper we address the question of finding the point which maximizes the $p$-th moment of the exit time of planar Brownian motion from a given domain. We present a geometrical method of excluding parts of the domain from consideration which makes use of a coupling argument and the conformal invariance of Brownian motion. In many cases the maximizing point can be localized to a relatively small region. Several illustrative examples are presented.
We construct obliquely reflected Brownian motions in all bounded simply connected planar domains, including non-smooth domains, with general reflection vector fields on the boundary. Conformal mappings and excursion theory are our main technical tools. A key intermediate step, which may be of independent interest, is an alternative characterization of reflected Brownian motions in smooth bounded planar domains with a given field of angles of oblique reflection on the boundary in terms of a pair of quantities, namely an integrable positive harmonic function, which represents the stationary dist…
The interest is in models of integer-valued height functions on shift-invariant planar graphs whose maximum degree is three. We prove delocalisation for models induced by convex nearest-neighbour potentials, under the condition that each potential function is an excited potential, that is, a convex symmetric potential function $V$ with the property that $V(\pm1)\leq V(0)+\log2$. Examples of such models include the discrete Gaussian and solid-on-solid models at inverse temperature $β\leq\log2$, as well as the uniformly random $K$-Lipschitz function for fixed $K\in\mathbb N$. In fact, $βV$ is an…
In this paper, the scaling limit of random connected cubic planar graphs (respectively multigraphs) is shown to be the Brownian sphere. The proof consists in essentially two main steps. First, thanks to the known decomposition of cubic planar graphs into their 3-connected components, the metric structure of a random cubic planar graph is shown to be well approximated by its unique 3-connected component of linear size, with modified distances. Then, Whitney's theorem ensures that a 3-connected cubic planar graph is the dual of a simple triangulation, for which it is known that the scaling limit…
Let (B_t : t > 0) be a planar Brownian motion and define gauge functions $ϕ_α(s)=log(1/s)^{-α}$ for $α>0$. If $α<1$ we show that almost surely there exists a point x in the plane such that $H^{ϕ_α}({t > 0 : B_t=x})>0$, but if $α>1$ almost surely $H^{ϕ_α} ({t > 0 : B_t=x})=0$ simultaneously for all $x\in R^2$. This resolves a longstanding open problem posed by S.,J. Taylor in 1986.
We establish an exact formula for the average number of edges appearing on the boundary of the global convex hull of n independent Brownian paths in the plane. This requires the introduction of a counting criterion which amounts to "cutting off" edges that are, in a specific sense, small. The main argument consists in a mapping between planar Brownian convex hulls and configurations of constrained, independent linear Brownian motions. This new formula is confirmed by retrieving an existing exact result on the average perimeter of the boundary of Brownian convex hulls in the plane.
We prove a number of results relating exit times of planar Brownian with the geometric properties of the domains in question. Included are proofs of the conformal invariance of moduli of rectangles and annuli using Brownian motion; similarly probabilistic proofs of some recent results of Karafyllia on harmonic measure on starlike domains; examples of domains and their complements which are simultaneously large when measured by the moments of exit time of Brownian motion, and examples of domains and their complements which are simultaneously small; and proofs of several identities involving the…
It has been known for some time that the Green's function of a planar domain can be defined in terms of the exit time of Brownian motion, and this definition has been extended to stopping times more general than exit times. In this paper, we extend the notion of conformal invariance of Green's function to analytic functions which are not injective, and use this extension to calculate the Green's function for a stopping time defined by the winding of Brownian motion. These considerations lead to a new proof of the Riemann mapping theorem. We also show how this invariance can be used to deduce s…
The early time regime of the Kardar-Parisi-Zhang (KPZ) equation in $1+1$ dimension, starting from a Brownian initial condition with a drift $w$, is studied using the exact Fredholm determinant representation. For large drift we recover the exact results for the droplet initial condition, whereas a vanishingly small drift describes the stationary KPZ case, recently studied by weak noise theory (WNT). We show that for short time $t$, the probability distribution $P(H,t)$ of the height $H$ at a given point takes the large deviation form $P(H,t) \sim \exp{\left(-Φ(H)/\sqrt{t} \right)}$. We obtain …
We obtain some integrability properties and some limit theorems for the exit time from a cone of a planar Brownian motion, and we check that our computations are correct via Bougerol's identity.
We consider the number of critical points of a stationary planar Gaussian field, restricted to a large domain, whose heights lie in a certain interval. Asymptotics for the mean of this quantity are simple to establish via the Kac-Rice formula, and recently Estrade and Fournier proved a second moment bound that is optimal in the case that the height interval does not depend on the size of the domain. We establish an improved bound in the more delicate case of height windows that are shrinking with the size of the domain.
In this paper we study the hitting probability of a circumference $C_R$ for a correlated Brownian motion $\underline{B}(t)=\left(B_1(t), B_2(t)\right)$, $ρ$ being the correlation coefficient. The analysis starts by first mapping the circle $C_R$ into an ellipse $E$ with semiaxes depending on $ρ$ and transforming the differential operator governing the hitting distribution into the classical Laplace operator. By means of two different approaches (one obtained by applying elliptic coordinates) we obtain the desired distribution as a series of Poisson kernels.
The main purpose of this work is to define planar self-intersection local time by an alternative approach which is based on an almost sure pathwise approximation of planar Brownian motion by simple, symmetric random walks. As a result, Brownian self-intersection local time is obtained as an almost sure limit of local averages of simple random walk self-intersection local times. An important tool is a discrete version of the Tanaka--Rosen--Yor formula; the continuous version of the formula is obtained as an almost sure limit of the discrete version. The author hopes that this approach to self-i…
We consider the 2D delta-Bose gas by a smooth mollification of the delta potential, where the coupling constant is in the critical window. The main result proves that for two particles, the approximate semigroups on $\mathscr B_b(\Bbb R^2)$ for the Schrödinger operator with singular interaction at the origin converge pointwise in the initial condition. This convergence extends earlier functional analytic results for the convergence in the $L_2$-norm resolvent sense. The central methods introduced here apply the excursion theory of the 2D Bessel process and the ergodicity of the winding number …
Some identities in law in terms of planar complex valued Ornstein-Uhlenbeck processes $(Z_{t}=X_{t}+iY_{t},t\geq0)$ including planar Brownian motion are established and shown to be equivalent to the well known Bougerol identity for linear Brownian motion:$(β_{t},t\geq0)$: for any fixed $u>0$: \sinh(β_{u}) \stackrel{(law)}{=} \hatβ_{(\int^{u}_{0}ds\exp(2β_{s}))}. These identities in law for 2-dimensional processes allow to study the distributions of hitting times $T^θ_{c}\equiv\inf\{t:θ_{t} =c \}, (c>0)$, $T^θ_{-d,c}\equiv\inf\{t:θ_{t}\notin(-d,c) \}, (c,d>0)$ and more specifically of $T^θ_{-c,…
An open problem of interest, first infused into the applied probability community in the work of Bingham and Doney in 1988, (see \cite{Bingham}) is stated as follows: find the distribution of the quadrant occupation time of planar Brownian motion. In this short communication, we study an alternate formulation of this longstanding open problem: let $X(t), Y(t), t \geq 0$ be standard Brownian motions starting at $x,y$ respectively. Find the distribution of the total time $T=Leb\{t \in [0,1]: X(t) \times Y(t) >0\}$, when $x=y=0$, i.e., the occupation time of the union of the first and third quadr…
We construct the analogue of Gaussian multiplicative chaos measures for the local times of planar Brownian motion by exponentiating the square root of the local times of small circles. We also consider a flat measure supported on points whose local time is within a constant of the desired thickness level and show a simple relation between the two objects. Our results extend those of Bass, Burdzy and Khoshnevisan and in particular cover the entire $L^1$-phase or subcritical regime. These results allow us to obtain a nondegenerate limit for the appropriately rescaled size of thick points, thereb…
In a recent work by Gross, it was proved that, given a distribution $μ$ with zero mean and finite second moment, we can find a simply connected domain $Ω$ such that if $Z_{t}$ is a standard planar BM, then $\mathcal{R}e(Z_{τ_Ω})$ has the distribution $μ$. In this note, we extend his method to prove that if $μ$ has a finite $L^{p}$ moment then the exit time $τ_Ω$ has a finite moment of order $\frac{p}{2}$.
Non-existence of several random fractals in Brownian motion and Brownian loop soup
Westlake University（西湖大学）；Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Department of Mathematics, University of Hong Kong（香港大学数学系）
