Related papers: Formalization of Brownian motion in Lean
It has been conjectured since the work of Lalley and Sellke (1987) that the branching Brownian motion seen from its tip (e.g. from its rightmost particle) converges to an invariant point process. Very recently, it emerged that this can be…
We provide a new and elementary proof of Levy's second arcsine law for Brownian motion. The only tools required are basic properties of Brownian motion and Poisson processes, and the ballot theorem. Our proof is readily extended to Brownian…
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can…
The original Donsker theorem says that a standard random walk converges in distribution to a Brownian motion in the space of continuous functions. It has recently been extended to enriched random walks and enriched Brownian motion. We use…
We develop a theory of Brownian motion of a massive particle, including the effects of inertia (Kramers' problem), in spaces with curvature and torsion. This is done by invoking the recently discovered generalized equivalence principle,…
The signature of Brownian motion in $\mathbb{R}^{d}$ over a running time interval $[0,T]$ is the collection of all iterated Stratonovich path integrals along the Brownian motion. We show that, in dimension $d\geq 2$, almost all Brownian…
This paper studies Brownian motion subject to the occurrence of a minimal length excursion below a given excursion level. The law of this process is determined. The characterization is explicit and shows by a layer construction how the law…
This paper reviews and extends some recent results on the multivariate fractional Brownian motion (mfBm) and its increment process. A characterization of the mfBm through its covariance function is obtained. Similarly, the correlation and…
We prove that the convergence of the real and imaginary parts of the logarithm of the characteristic polynomial of unitary Brownian motion toward Gaussian free fields on the cylinder, as the matrix dimension goes to infinity, holds in…
We prove limit theorems for the weighted quadratic variation of trifractional Brownian motion and $n$-th order fractional Brownian motion. Furthermore, a sufficient condition for the $L^P$-convergence of the weighted quadratic variation for…
We consider the stochastic continuity equation driven by Brownian motion. We use the techniques of the Malliavin calculus to show that the law of the solution has a density with respect to the Lebesgue measure. We also prove that the…
The relativistic generalization of a free Brownian motion theory is presented. The global characteristics of the relaxation are {\it explicitly} found for the velocity and momentum (stochastic) kinetics. It is shown that the thermal…
The conformal invariance of Brownian motion is used to give a short proof of the Open Mapping Theorem for analytic functions.
Taking an open quantum systems approach, we derive a collective equation of motion for the dynamics of a matter-wave bright soliton moving through a thermal cloud of a distinct atomic species. The reservoir interaction involves energy…
Contraction properties of transport maps between probability measures play an important role in the theory of functional inequalities. The actual construction of such maps, however, is a non-trivial task and, so far, relies mostly on the…
Bogoliubov's 1947 approximation, originally developed in the microscopic theory of superfluidity, laid the foundation for solving previously intractable quantum models and later became part of "quantum mathematics". Regarding mathematically…
We construct Brownian motion on a wide class of metric spaces similar to graphs, and show that its cover time admits an upper bound depending only on the length of the space.
We prove an $H-$theorem for the Brownian motion on the hyperbolic plane with a drift, as studied by Comtet and Monthus; the entropy used here is not the Boltzmann entropy but the R\'enyi entropy, the parameter of which being related in a…
Sub-fractional Brownian motion is a process analogous to fractional Brownian motion but without stationary increments. In \cite{GGL1} we proved a strong uniform approximation with a rate of convergence for fractional Brownian motion by…
In previous works, we have developed a new Malliavin calculus on the Poisson space based on the lent particle formula. The aim of this work is to prove that, on the Wiener space for the standard Ornstein-Uhlenbeck structure, we also have…