Related papers: Deviation frequencies of Brownian path property ap…
By the work of P. L\'evy, the sample paths of the Brownian motion are known to satisfy a certain H\"older regularity condition almost surely. This was later improved by Ciesielski, who studied the regularity of these paths in Besov and…
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 $…
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…
In this paper by calculating carefully the capacities (defined by high order Sobolev norms on the Wiener space) for some functions of Brownian motion, we show that the dyadic approximations of the sample paths of the Brownian motion…
We present a self-contained and modern survey of some existing quasi-sure results via the connection to the Brownian sheet. Among other things, we prove that quasi-every continuous function: (i) satisfies the local law of the iterated…
Brownian motion and scaled and interpolated simple random walk can be jointly embedded in a probability space in such a way that almost surely the $n$-step walk is within a uniform distance $O(n^{-1/2}\log n)$ of the Brownian path for all…
In this paper, we continue the study of the geometry of Brownian motions which are encoded by Kolmogorov-Chaitin random reals (complex oscillations). We unfold Kolmogorov-Chaitin complexity in the context of Brownian motion and specifically…
The balance held by Brownian motion between temporal regularity and randomness is embodied in a remarkable way by Levy's forgery of continuous functions. Here we describe how this property can be extended to forge arbitrary dependences…
We prove a representation for the support of McKean Vlasov Equations. To do so, we construct functional quantizations for the law of Brownian motion as a measure over the (non-reflexive) Banach space of H\"older continuous paths. By solving…
The linear fractional stable motion generalizes two prominent classes of stochastic processes, namely stable L\'evy processes, and fractional Brownian motion. For this reason it may be regarded as a basic building block for continuous time…
We revisit the Markov approximation necessary to derive ordinary Brownian motion from a model widely adopted in literature for this specific purpose. We show that this leads to internal inconsistencies, thereby implying that further search…
The generalized fractional Brownian motion is a Gaussian self-similar process whose increments are not necessarily stationary. It appears in applications as the scaling limit of a shot noise process with a power law shape function and…
In this paper, we will present a strong (or pathwise) approximation of standard Brownian motion by a class of orthogonal polynomials. The coefficients that are obtained from the expansion of Brownian motion in this polynomial basis are…
A recently proposed alternative to multifractional Brownian motion (mBm) with random Hurst exponent is studied, which we refer to as It\^o-mBm. It is shown that It\^o-mBm is locally self-similar. In contrast to mBm, its pathwise regularity…
A geometric p-rough path can be seen to be a genuine path of finite p-variation with values in a Lie group equipped with a natural distance. The group and its distance lift (R^{d},+,0) and its Euclidean distance. This approach allows us to…
A class of Gaussian processes generalizing the usual fractional Brownian motion for Hurst indices in (1/2,1) and multifractal Brownian motion introduced in Ralchenko and Shevchenko (Theory Probab Math Stat 80, 2010) and Boufoussi et al.…
We prove a general functional limit theorem for multiparameter fractional Brownian motion. The functional law of the iterated logarithm, functional L\'{e}vy's modulus of continuity and many other results are its particular cases.…
Let $B$ be a bifractional Brownian motion with parameters $H\in (0, 1)$ and $K\in(0,1]$. For any $n\geq1$, set $Z_n =\sum_{i=0}^{n-1}\big[n^{2HK}(B_{(i+1)/n}-B_{i/n})^2-\E((B_{i+1}-B_{i})^2)\big]$. We use the Malliavin calculus and the…
We establish large deviations properties valid for almost every sample path of a class of stationary mixing processes $(X_1,..., X_n,...)$. These properties are inherited from those of $S_n=\sum_{i=1}^nX_i$ and describe how the local…
Donsker-type functional limit theorems are proved for empirical processes arising from discretely sampled increments of a univariate L\'evy process. In the asymptotic regime the sampling frequencies increase to infinity and the limiting…