Related papers: Some sample path properties of G-Brownian motion
G-Brownian motion has a very rich and interesting new structure which nontrivially generalizes the classical one. Its quadratic variation process is also a continuous process with independent and stationary increments. We prove a…
We revise the Levy's construction of Brownian motion as a simple though still rigorous approach to operate with various Gaussian processes. A Brownian path is explicitly constructed as a linear combination of wavelet-based "geometrical…
Consider a metric graph G with set of vertices V. Assume that for every vertex in V one is given a Wentzell boundary condition. It is shown how one can construct the paths of a Brownian motion on G such that its generator - viewed as an…
Brownian motion is a building block in modern probability theory. In this paper, we describe a formalization of Brownian motion using the Lean theorem prover. We build on the existing measure-theoretic foundations in Lean's mathematical…
The construction of the paths of all possible Brownian motions (in the sense of Knight) on a half line or a finite interval is reviewed.
We prove existence of infinite volume Gibbs measures relative to Brownian motion. We require the pair potential W to fulfill a uniform integrability condition, but otherwise our restrictions on the potentials are relatively weak. In…
Consider a large system of $N$ Brownian motions in $\mathbb{R}^d$ on some fixed time interval $[0,\beta]$ with symmetrised initial-terminal condition. That is, for any $i$, the terminal location of the $i$-th motion is affixed to the…
This case study proposes robustness quantifications of many classical sample path properties of Brownian motion in terms of the (mean) deviation frequencies along typical a.s.~approximations. This includes L\'evy's construction of Brownian…
In this paper we investigate the argmin process of Brownian motion $B$ defined by $\alpha_t:=\sup\left\{s \in [0,1]: B_{t+s}=\min_{u \in [0,1]}B_{t+u} \right\}$ for $t \geq 0$. The argmin process $\alpha$ is stationary,with invariant…
In this article, we consider the properties of hitting times for $G$-martingale and the stopped processes. We prove that the stopped processes for $G$-martingales are still $G$-martingales and that the hitting times for a class of…
We introduce a new Gaussian process, a generalization of both fractional and subfractional Brownian motions, which could serve as a good model for a larger class of natural phenomena. We study its main stochastic properties and some…
The geometry of the multifractional Brownian motion (mBm) is known to present a complex and surprising form when the Hurst function is greatly irregular. Nevertheless, most of the literature devoted to the subject considers sufficiently…
We prove that the total range of Super-Brownian motion with quadratic branching mechanism has an exact packing measure with respect to the gauge function $g(r)=r^4 (\log \log1/r)^{-3}$ in super-critical dimensions $d\geq 5$. More precisely,…
In this paper, stability theorems for stochastic differential equations and backward stochastic differential equations driven by G-Brownian motion are obtained. We show the existence and uniqueness of solutions to forward-backward…
In this paper, we introduce $ G $-Bessel processes for a class of $ d $-dimensional $ G $-Brownian motions. Under the condition of dimensionality $ d $, we obtain that the $ G $-Bessel process is the solution of the stochastic differential…
We consider a stochastic flow driven by a finite dimensional Brownian motion. We show that almost every realization of such a flow exhibits strong statistical properties such as the exponential convergence of an initial measure to the…
Optimal sample path properties of stochastic processes often involve generalized H\"{o}lder- or variation norms. Following a classical result of Taylor, the exact variation of Brownian motion is measured in terms of $\psi (x) \equiv $…
We consider matrices whose elements enumerate weights of walks in planar directed weighted graphs (not necessarily acyclic). These matrices are totally nonnegative; more precisely, all their minors are formal power series in edge weights…
Brownian motions in the infinite-dimensional group of all unitary operators are studied under strong continuity assumption rather than norm continuity. Every such motion can be described in terms of a countable collection of independent…
We consider the model of Brownian motion indexed by the Brownian tree, which has appeared in a variety of different contexts in probability, statistical physics and combinatorics. For this model, the total occupation measure is known to…