Related papers: Formalization of Brownian motion in Lean
The paper deals with moduli of continuity for paths of random processes indexed by a general metric space $\Theta$ with values in a general metric space $\mathcal{X}$. Adapting the moment condition on the increments from the classical…
Multifractional Brownian motion is an extension of the well-known fractional Brownian motion where the Holder regularity is allowed to vary along the paths. In this paper, two kind of multi-parameter extensions of mBm are studied: one is…
In this work, we characterize all the point processes $\theta=\sum_{i\in \mathbb{N}} \delta_{x_i}$ on $\mathbb{R}$ which are left invariant under branching Brownian motions with critical drift $-\sqrt{2}$. Our characterization holds under…
In this letter, we construct cusum change-point tests for the Hurst exponent and the volatility of a discretely observed fractional Brownian motion. As a statistical application of the functional Breuer-Major theorems by B\'egyn (2007) and…
This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous functions. We break up the proof into two steps, a reduction…
Consider the $\lambda$-Green function and the $\lambda$-Poisson kernel of a Lipschitz domain $U\subset \mathbb H^n=\left\{x\in\mathbb R^n:x_n>0\right\}$ for hyperbolic Brownian motion with drift. We provide several relationships that…
A classical model of Brownian motion consists of a heavy molecule submerged into a gas of light atoms in a closed container. In this work we study a 2D version of this model, where the molecule is a heavy disk of mass M and the gas is…
We define and prove the existence of a fractional Brownian motion indexed by a collection of closed subsets of a measure space. This process is a generalization of the set-indexed Brownian motion, when the condition of independance is…
The first half of this chapter describes the development in mathematical models of Brownian motion after Einstein's seminal papers and current applications to optical tweezers. This instrument of choice among single-molecule biophysicists…
In this article we introduce cylindrical fractional Brownian motions in Banach spaces and develop the related stochastic integration theory. Here a cylindrical fractional Brownian motion is understood in the classical framework of…
We compute the Brown measure of $x_{0}+i\sigma_{t}$, where $\sigma_{t}$ is a free semicircular Brownian motion and $x_{0}$ is a freely independent self-adjoint element that is not a multiple of the identity. The Brown measure is supported…
A theory for (1+3)-dimensional relativistic Brownian motion under the influence of external force fields is put forward. Starting out from a set of relativistically covariant, but multiplicative Langevin equations we describe the…
A Brownian motion model is devised on the manifold of S-matrices, and applied to the calculation of conductance-conductance correlations and of the weak localization peak. The model predicts that (i) the correlation function in $B$ has the…
We provide a systematic, thorough treatment of the foundations of probability theory and stochastic processes along the lines of E. Bishop's constructive analysis. Every existence result presented shall be a construction; and the input…
We ask if it is possible to find some particular continuous paths of unit length in linear Brownian motion. Beginning with a discrete version of the problem, we derive the asymptotics of the expected waiting time for several interesting…
There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SAT solving and interactive theorem proving. In this paper, we…
A nonlinear theory of quantum Brownian motion in classical environment is developed based on a thermodynamically enhanced nonlinear Schrodinger equation. The latter is transformed via the Madelung transformation into a nonlinear quantum…
We study Brownian motion on the space of distinct landmarks in $\mathbb{R}^d$, considered as a homogeneous space with a Riemannian metric inherited from a right-invariant metric on the diffeomorphism group. As of yet, there is no proof of…
In this short communication we present an original way to couple the Brownian motion and the heat equation. More in general, we suggest a way for coupling the Langevin equation for a particle, which describes a single realization of its…
We prove a conjecture of Lalley and Sellke [Ann. Probab. 15 (1987)] asserting that the empirical (time-averaged) distribution function of the maximum of branching Brownian motion converges almost surely to a double exponential, or Gumbel,…