English
Related papers

Related papers: Formalization of Brownian motion in Lean

200 papers

Brownian motion is a central scientific paradigm. Recently, due to increasing efforts and interests towards miniaturization and small-scale physics or biology, the effects of confinement on such a motion have become a key topic of…

Statistical Mechanics · Physics 2023-03-13 Elodie Millan , Maxime Lavaud , Yacine Amarouchene , Thomas Salez

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…

Probability · Mathematics 2007-05-23 Peter Friz , Nicolas Victoir

We present an extreme-value analysis of the classical law of the iterated logarithm (LIL) for Brownian motion. Our result can be viewed as a new improvement to the LIL.

Probability · Mathematics 2007-05-23 Davar Khoshnevisan , David A. Levin , Zhan Shi

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…

Statistical Mechanics · Physics 2018-06-11 Vincent Wens

The first part of this paper is devoted to the Brown measure of the product of the free unitary Brownian motion by an arbitrary free non negative operator. Our approach follows the one recently initiated by Driver-Hall-Kemp though there are…

Spectral Theory · Mathematics 2020-10-02 Nizar Demni , Tarek Hamdi

The invariance properties of Brownian motion are investigated and revisited within a recent Lie symmetry approach to stochastic differential equations. Some notable properties of the process can be recovered by a related integration by…

Probability · Mathematics 2026-02-23 Susanna Dehò , Francesco C. De Vecchi , Paola Morando , Stefania Ugolini

In this article, we study the extremal processes of branching Brownian motions conditioned on having an unusually large maximum. The limiting point measures form a one-parameter family and are the decoration point measures in the extremal…

Probability · Mathematics 2020-09-01 Julien Berestycki , Éric Brunet , Aser Cortines , Bastien Mallein

The phenomenon of Brownian motion and Einstein's contribution to its understanding are introduced in a simple language.

Physics Education · Physics 2007-05-23 R. S. Bhalerao

We give a proof of a result on the growth of the number of particles along chosen paths in a branching Brownian motion. The work follows the approach of classical large deviations results, in which paths in $C[0,1]$ are rescaled onto…

Probability · Mathematics 2010-04-22 Simon Harris , Matthew Roberts

We study a model for the entanglement of a two-dimensional reflecting Brownian motion in a bounded region divided into two halves by a wall with three or more small windows. We map the Brownian motion into a Markov Chain on the fundamental…

Probability · Mathematics 2020-10-19 Gage Bonner , Jean-Luc Thiffeault , Benedek Valko

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…

Probability · Mathematics 2023-06-16 Jean-François Le Gall

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.…

Probability · Mathematics 2013-11-18 Anatoliy Malyarenko

We construct a family of processes, from a single Poisson process, that converges in law to a complex Brownian motion. Moreover, we find realizations of these processes that converge almost surely to the complex Brownian motion, uniformly…

Probability · Mathematics 2015-09-25 Xavier Bardina , Giulia Binotto , Carles Rovira

We briefly go through the problem of the quantum description of Brownian motion, concentrating on recent results about the connection between dynamics of the particle and dynamic structure factor of the medium.

Quantum Physics · Physics 2015-06-26 Bassano Vacchini

In this note, we combine the two approaches of Billingsley (1998) and Cs\H{o}rg\H{o} and R\'ev\'esz (1980), to provide a detailed sequential and descriptive for creating s standard Brownian motion, from a Brownian motion whose time space is…

Probability · Mathematics 2020-06-03 Lo Gane Samb , Niang Aladji Babacar , Sangare Harouna

In this paper we give some basic and important properties of several typical Banach spaces of functions of $G$-Brownian motion pathes induced by a sublinear expectation--G-expectation. Many results can be also applied to more general…

Probability · Mathematics 2010-01-15 Laurent Denis , Mingshang Hu , Shige Peng

We briefly review the problem of Brownian motion and describe some intriguing facets. The problem is first treated in its original form as enunciated by Einstein, Langevin, and others. Then, utilizing the problem of Brownian motion as a…

Statistical Mechanics · Physics 2026-02-17 Sushanta Dattagupta , Aritra Ghosh

Brownian motion whose infinitesimal variance changes according to a three-state continuous time Markov Chain is studied. This Markov Chain can be viewed as a telegraph process with one on state and two off states. We first derive the…

Methodology · Statistics 2020-08-25 Vladimir Pozdnyakov , L. Mark Elbroch , Chaoran Hu , Thomas Meyer , Jun Yan

We give a complete characterisation of the domain of attraction of fixed points of branching Brownian motion (BBM) with critical drift. Prior to this classification, we introduce a suitable metric space of locally finite point measures on…

Probability · Mathematics 2023-01-31 Xinxin Chen , Christophe Garban , Atul Shekhar

It has long been recognized that the dynamics of linear quantum systems is classical in the Wigner representation. Yet many conceptually important linear problems are typically analyzed using such generally applicable techniques as…

Quantum Physics · Physics 2011-08-04 James Anglin , Salman Habib