We study several matrix diffusion processes constructed from a unitary Brownian motion. In particular, we use the Stiefel fibration to lift the Brownian motion of the complex Grassmannian to the complex Stiefel manifold and deduce a skew-product decomposition of the Stiefel Brownian motion. As an application, we prove asymptotic laws for the determinants of the block entries of the unitary Brownian motion.
We define and study the windings along Brownian paths in the octonionic Euclidean, projective and hyperbolic spaces which are isometric to 8-dimensional Riemannian model spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time-behavior.
We define and study the 3-dimensional windings along Brownian paths in the quaternionic Euclidean, projective and hyperbolic spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time-behavior. The corresponding asymptotic law seems to be new and is related to the Cauchy relativistic distribution.
We derive the asymptotic winding law of a Brownian particle in the plane subjected to a tangential drift due to a point vortex. For winding around a point, the normalized winding angle converges to an inverse Gamma distribution. For winding around a disk, the angle converges to a distribution given by an elliptic theta function. For winding in an annulus, the winding angle is asymptotically Gaussian with a linear drift term. We validate our results with numerical simulations.
We obtain a formula for the density of the winding number of planar Brownian motion around the origin, and deduce from it asymptotic expansions in inverse powers of the logarithm of the squared time, explicit in the angular variable. In particular, we obtain the corrections of any order to the Spitzer's law, and also to a local limit theorem for the windings.
Let M be a compact Riemannian manifold with smooth boundary. We obtain the exact long time asymptotic behaviour of the heat kernel on abelian coverings of M with mixed Dirichlet and Neumann boundary conditions. As an application, we study the long time behaviour of the abelianized winding of reflected Brownian motions in M. In particular, we prove a Gaussian type central limit theorem showing that when rescaled appropriately, the fluctuations of the abelianized winding are normally distributed with an explicit covariance matrix.
A simple derivation of Spitzer'z asymptotic law for Brownian windings [Trans.Am.Math.Soc.87,187 (1958)]is presented along with its generalizations >.These include the cases of planar Brownian walks interacting with a single puncture and Brownian walks on a single truncated cone with variable conical angle interacting with the truncated conical tip.Such situations are typical in the theories of quantum Hall effect and 2+1 quantum gravity, respectively .They also have some applications in polymer physics
We define and study stochastic areas processes associated with Brownian motions on the complex symmetric spaces $\mathbb{CP}^n$ and $\mathbb{CH}^n$. The characteristic functions of those processes are computed and limit theorems are obtained. In the case $n=1$, we also study windings of the Brownian motion on those spaces and compute the limit distributions. For $\mathbb{CP}^n$ the geometry of the Hopf fibration plays a central role, whereas for $\mathbb{CH}^n$ it is the anti-de Sitter fibration.
We study the set of points $\mathcal{D}_{n,m}$ around which two independent Brownian motions wind at least $n$ (resp. $m$) times. We prove that its area is asymptotically equivalent, in $L^p$ and almost surely, to $\frac{\ell(\mathbb{R}^2)}{4π^2 n m}$, where $\ell$ is the intersection measure of the two trajectories. We also prove that the properly scaled Lebesgue measure carried by $\mathcal{D}_{n,m}$ converges almost surely weakly toward $\ell$.
In this paper we consider the winding number, $θ(s)$, of planar Brownian motion and study asymptotic behavior of the process of the maximum time, the time when $θ(s)$ attains the maximum in the interval $0\le s \le t$. We find the limit law of its logarithm with a suitable normalization factor and the upper growth rate of the maximum time process itself. We also show that the process of the last zero time of $θ(s)$ in $[0,t]$ has the same law as the maximum time process.
We deal with a complex-valued Ornstein-Uhlenbeck (OU) process with parameter $λ\in\mathbb{R}$starting from a point different from 0 and the way that it winds around the origin.The starting point of this paper is the skew product representation for an OU process which is associated to the skew product representationof its driving planar Brownian motion under a new deterministic time scale.We present the stochastic differential equations (SDEs)for the radial and for the winding process. Moreover, we obtain the large time (analogue of Spitzer's Theorem for Brownian motion in the complex plane) an…
We study the Brownian motion on the non-compact Grassmann manifold $\frac{\mathbf{U}(n-k,k)} {\mathbf{U}(n-k)\mathbf{U}(k)}$ and some of its functionals. The key point is to realize this Brownian motion as a matrix diffusion process, use matrix stochastic calculus and take advantage of the hyperbolic Stiefel fibration to study a functional that can be understood in that setting as a generalized stochastic area process. In particular, a connection to the generalized Maass Laplacian of the complex hyperbolic space is presented and applications to the study of Brownian windings in the Lie group $…
Some identities in law in terms of planar complex valued Ornstein-Uhlenbeck processes $(Z_{t}=X_{t}+iY_{t},t\geq0)$ including planar Brownian motion are established and shown to be equivalent to the well known Bougerol identity for linear Brownian motion:$(β_{t},t\geq0)$: for any fixed $u>0$: \sinh(β_{u}) \stackrel{(law)}{=} \hatβ_{(\int^{u}_{0}ds\exp(2β_{s}))}. These identities in law for 2-dimensional processes allow to study the distributions of hitting times $T^θ_{c}\equiv\inf\{t:θ_{t} =c \}, (c>0)$, $T^θ_{-d,c}\equiv\inf\{t:θ_{t}\notin(-d,c) \}, (c,d>0)$ and more specifically of $T^θ_{-c,…
Nonintersecting Brownian bridges on the unit circle form a determinantal stochastic process exhibiting random matrix statistics for large numbers of walkers. We investigate the effect of adding a drift term to walkers on the circle conditioned to start and end at the same position. For each return time $T<π^2$ we show that if the absolute value of the drift is less than a critical value then the expected total winding number is asymptotically zero. In addition, we compute the asymptotic distribution of total winding numbers in the double-scaling regime in which the expected total winding is fi…
It is well known that for a standard Brownian motion (BM) $ \{B(t), \;t \geq 0\}$ with values in $\mathbb{R}^d$, its convex hull $ V(t)=\conv \{\{\,B(s),\;s \leq t \}$ with probability $1$ for each $t > 0$ contains $0$ as an interior point (see Evans (1985)). We also know that the winding number of a typical path of a $2$-dimensional BM is equal to $+\infty.$ The aim of this article is to show that these properties aren't specifically "Brownian", but hold for a much larger class of $d$-dimensional self similar processes. This class contains in particular $d$-dimensional fractional Brownian mot…
Motivated by a common Mathematical Finance topic, we discuss the reciprocal of the exit time from a cone of planar Brownian motion which also corresponds to the exponential functional of an associated Brownian motion. We prove a conjecture by Vakeroudis and Yor (2012) concerning infinite divisibility properties of this random variable and we present a novel simple proof of De Blassie's result (1987-1988) about the asymptotic behaviour of the distribution of the Bessel clock appearing in the skew-product representation of planar Brownian motion, for t large. Similar issues for the exponential f…
We give asymptotic estimations on the area of the sets of points with large Brownian winding, and study the average winding between a planar Brownian motion and a Poisson point process of large intensity on the plane. This allows us to give a new definition of the Lévy area which does not rely on approximations of the Brownian path.
In the paper [7] we studied the temporally inhomogeneous system of non-colliding Brownian motions and proved that multi-time correlation functions are generally given by the quaternion determinants in the sense of Dyson and Mehta. In this report we give another proof of the equivalent statement using Fredholm determinant and Fredholm pfaffian, and claim that the present system is a typical example of pfaffian processes.
Noncolliding Brownian motion (Dyson's Brownian motion model with parameter $β=2$) and noncolliding Bessel processes are determinantal processes; that is, their space-time correlation functions are represented by determinants. Under a proper scaling limit, such as the bulk, soft-edge and hard-edge scaling limits, these processes converge to determinantal processes describing systems with an infinite number of particles. The main purpose of this paper is to show the strong Markov property of these limit processes, which are determinantal processes with the extended sine kernel, extended Airy ker…
A system of one-dimensional Brownian motions (BMs) conditioned never to collide with each other is realized as (i) Dyson's BM model, which is a process of eigenvalues of hermitian matrix-valued diffusion process in the Gaussian unitary ensemble (GUE), and as (ii) the $h$-transform of absorbing BM in a Weyl chamber, where the harmonic function $h$ is the product of differences of variables (the Vandermonde determinant). The Karlin-McGregor formula gives determinantal expression to the transition probability density of absorbing BM. We show from the Karlin-McGregor formula, if the initial state …
Using the determinantal formula of Biane, Bougerol, and O'Connell, we give multitime joint probability densities to the noncolliding Brownian motion with drift, where the number of particles is finite. We study a special case such that the initial positions of particles are equidistant with a period $a$ and the values of drift coefficients are well-ordered with a scale $σ$. We show that, at each time $t >0$, the single-time probability density of particle system is exactly transformed to the biorthogonal Stieltjes-Wigert matrix model in the Chern-Simons theory introduced by Dolivet and Tierz. …
The O'Connell process is a softened version (a geometric lifting with a parameter $a>0$) of the noncolliding Brownian motion such that neighboring particles can change the order of positions in one dimension within the characteristic length $a$. This process is not determinantal. Under a special entrance law, however, Borodin and Corwin gave a Fredholm determinant expression for the expectation of an observable, which is a softening of an indicator of a particle position. We rewrite their integral kernel to a form similar to the correlation kernels of determinantal processes and show, if the n…
We explore the geometric meaning of the so-called zeta-regularized determinant of the Laplace-Beltrami operator on a compact surface, with or without boundary. We relate the $(-c/2)$-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity $c$ on the surface. This means that, in a certain sense, decorating a random surface by a Brownian loop soup of intensity $c$ corresponds to weighting the law of the surface by the $(-c/2)$-th power of the determinant of the Laplacian. Next, we introduce a method of regularizing a L…
As an image of the many-to-one map of loop-erasing operation $\LE$ of random walks, a self-avoiding walk (SAW) is obtained. The loop-erased random walk (LERW) model is the statistical ensemble of SAWs such that the weight of each SAW $ζ$ is given by the total weight of all random walks $π$ which are inverse images of $ζ$, $\{π: \LE(π)=ζ\}$. We regard the Brownian paths as the continuum limits of random walks and consider the statistical ensemble of loop-erased Brownian paths (LEBPs) as the continuum limits of the LERW model. Following the theory of Fomin on nonintersecting LERWs, we introduce …
In this paper, we study complex valued branching Brownian motion in the so-called glassy phase, or also called phase II. In this context, we prove a limit theorem for the complex partition function hence confirming a conjecture formulated by Lacoin and the last two authors in a previous paper on complex Gaussian multiplicative chaos. We will show that the limiting partition function can be expressed as a product of a Gaussian random variable, mainly due to the windings of the phase, and a stable transform of the so called derivative martingale, mainly due to the clustering of the modulus. The …
We consider Brownian motions with one-sided collisions, meaning that each particle is reflected at its right neighbour. For a finite number of particles a Schütz-type formula is derived for the transition probability. We investigate an infinite system with periodic initial configuration, that is, particles are located at the integer lattice at time zero. The joint distribution of the positions of a finite subset of particles is expressed as a Fredholm determinant with a kernel defining a signed determinantal point process. In the appropriate large time scaling limit, the fluctuations in the pa…
Dyson's Brownian motion model with the parameter $β=2$, which we simply call the Dyson model in the present paper, is realized as an $h$-transform of the absorbing Brownian motion in a Weyl chamber of type A. Depending on initial configuration with a finite number of particles, we define a set of entire functions and introduce a martingale for a system of independent complex Brownian motions (CBMs), which is expressed by a determinant of a matrix with elements given by the conformal transformations of CBMs by the entire functions. We prove that the Dyson model can be represented by the system …
We consider an ensemble of $n$ nonintersecting Brownian particles on the unit circle with diffusion parameter $n^{-1/2}$, which are conditioned to begin at the same point and to return to that point after time $T$, but otherwise not to intersect. There is a critical value of $T$ which separates the subcritical case, in which it is vanishingly unlikely that the particles wrap around the circle, and the supercritical case, in which particles may wrap around the circle. In this paper, we show that in the subcritical and critical cases the probability that the total winding number is zero is almos…
A noncolliding diffusion process is a conditional process of $N$ independent one-dimensional diffusion processes such that the particles never collide with each other. This process realizes an interacting particle system with long-ranged strong repulsive forces acting between any pair of particles. When the individual diffusion process is a one-dimensional Brownian motion, the noncolliding process is equivalent in distribution with the eigenvalue process of an $N \times N$ Hermitian-matrix-valued process, which we call Dyson's model. For any deterministic initial configuration of $N$ particles…
We consider the process of $n$ Brownian excursions conditioned to be nonintersecting. We show the distribution functions for the top curve and the bottom curve are equal to Fredholm determinants whose kernel we give explicitly. In the simplest case, these determinants are expressible in terms of Painlevé V functions. We prove that as $n\to \infty$, the distributional limit of the bottom curve is the Bessel process with parameter 1/2. (This is the Bessel process associated with Dyson's Brownian motion.) We apply these results to study the expected area under the bottom and top curves.
It has been known for some time that the Green's function of a planar domain can be defined in terms of the exit time of Brownian motion, and this definition has been extended to stopping times more general than exit times. In this paper, we extend the notion of conformal invariance of Green's function to analytic functions which are not injective, and use this extension to calculate the Green's function for a stopping time defined by the winding of Brownian motion. These considerations lead to a new proof of the Riemann mapping theorem. We also show how this invariance can be used to deduce s…
We consider non-colliding Brownian motions with two starting points and two endpoints. The points are chosen so that the two groups of Brownian motions just touch each other, a situation that is referred to as a tacnode. The extended kernel for the determinantal point process at the tacnode point is computed using new methods and given in a different form from that obtained for a single time in previous work by Delvaux, Kuijlaars and Zhang. The form of the extended kernel is also different from that obtained for the extended tacnode kernel in another model by Adler, Ferrari and van Moerbeke. W…
We study $n$ non-intersecting Brownian motions, corresponding to the eigenvalues of an $n\times n$ Hermitian Brownian motion. At the boundary of their limit shape we find that only three universal processes can arise: the Pearcey process close to merging points, the Airy line ensemble at edges and a novel determinantal process describing the transition from the Pearcey process to the Airy line ensemble. The three cases are distinguished by a remarkably simple integral condition. Our results hold under very mild assumptions, in particular we do not require any kind of convergence of the initial…
Consider an $n\times n$ Hermitean matrix valued stochastic process $\{H_t\}_{t\geq 0}$ where the matrix elements evolve according to Ornstein-Uhlenbeck processes. It is well known that the eigenvalues perform a so called Dyson Brownian motion, that is they behave as Ornstein-Uhlenbeck processes conditioned never to intersect. In this paper we study not only the eigenvalues of the full matrix, but also the eigenvalues of all the principal minors. That is, the eigenvalues of the $k\times k$ in the upper left corner of $H_t$. If you project this process to a space-like path it is a determinantal …
An explicit Fredholm determinant formula is derived for the multipoint distribution of the height function of the totally asymmetric simple exclusion process (TASEP) with arbitrary right-finite initial condition. The method is by solving the biorthogonal ensemble/non-intersecting path representation found by [Sas05; BFPS07]. The resulting kernel involves transition probabilities of a random walk forced to hit a curve defined by the initial data. In the KPZ 1:2:3 scaling limit the formula leads in a transparent way to a Fredholm determinant formula, in terms of analogous kernels based on Browni…
Noncolliding diffusion processes reported in the present paper are $N$-particle systems of diffusion processes in one-dimension, which are conditioned so that all particles start from the origin and never collide with each other in a finite time interval $(0, T)$, $0 < T < \infty$. We consider four temporally inhomogeneous processes with duration $T$, the noncolliding Brownian bridge, the noncolliding Brownian motion, the noncolliding three-dimensional Bessel bridge, and the noncolliding Brownian meander. Their particle distributions at each time $t \in [0, T]$ are related to the eigenvalue di…
We consider the 2D delta-Bose gas by a smooth mollification of the delta potential, where the coupling constant is in the critical window. The main result proves that for two particles, the approximate semigroups on $\mathscr B_b(\Bbb R^2)$ for the Schrödinger operator with singular interaction at the origin converge pointwise in the initial condition. This convergence extends earlier functional analytic results for the convergence in the $L_2$-norm resolvent sense. The central methods introduced here apply the excursion theory of the 2D Bessel process and the ergodicity of the winding number …
Large deviations of spectral determinants of matrix-valued random Schrödinger operators and Dyson Brownian motion in cubic potentials
King’s College London（伦敦国王学院）；Laboratoire de Physique de l’École Normale Supérieure, CNRS, ENS and Université PSL, Sorbonne Université, Université Paris Cité（巴黎高等师范学院物理实验室，法国国家科学研究中心，巴黎高等师范学院，巴黎文理研究大学，索邦大学，巴黎西岱大学）
Consider $ G:= PSL_2(\R)\equiv T^1\H^2$, a modular group $ Γ$, and the homogeneous space $ Γ\sm G \equiv T^1(Γ\sm\H^2)$. Endow $ G $, and then $ Γ\sm G $, with a canonical left-invariant metric, thereby equipping it with a quasi hyperbolic geometry. Windings around handles and cusps of $ Γ\sm G $ are calculated by integrals of closed 1-forms of $ Γ\sm G $. The main results express, in both Brownian and geodesic cases, the joint convergence of the law of these integrals, with a stress on the asymptotic independence between slow and fast windings. The non-hyperbolicity of $ Γ\sm G $ is responsib…
We consider an $N$-particle system of noncolliding Brownian motion starting from $x_1 \leq x_2 \leq ... \leq x_N$ with drift coefficients $ν_j, 1 \leq j \leq N$ satisfying $ν_1 \leq ν_2 \leq ... \leq ν_N$. When all of the initial points are degenerated to be zero, $x_j=0, 1 \leq j \leq N$, the equivalence is proved between a dilatation with factor $1/t$ of this drifted process and the noncolliding Brownian motion starting from $ν_1 \leq ν_2 \leq ... \leq ν_N$ without drift observed at reciprocal time $1/t$, for arbitrary $t > 0$. Using this reciprocal time relation, we study the determinantal …
We construct an iterated stochastic integral with fractional Brownian motion with H > 1/2. The first integrand is a deterministic function, and each successive integral is with respect to an independent fBm. We show that this symmetric stochastic integral is equal to the Malliavin divergence integral. By a version of the Fourth Moment theorem of Nualart and Peccati, we show that a family of such integrals converges in distribution to a scaled Brownian motion. An application is an approximation to the windings for a planar fBm, previously studied by Baudoin and Nualart.
We investigate the construction of diffusions consisting of infinitely numerous Brownian particles moving in $\mathbb{R}^d$ and interacting via logarithmic functions (two-dimensional Coulomb potentials). These potentials are very strong and act over a long range in nature. The associated equilibrium states are no longer Gibbs measures. We present general results for the construction of such diffusions and, as applications thereof, construct two typical interacting Brownian motions with logarithmic interaction potentials, namely the Dyson model in infinite dimensions and Ginibre interacting Bro…
Consider n non-intersecting particles on the real line (Dyson Brownian motions), all starting from the origin at time=0, and forced to return to x=0 at time=1. For large n, the average mean density of particles has its support, for each 0<t<1, within the interior of an ellipse. The Airy process is defined as the motion of these non-intersecting Brownian motions for large n, but viewed from an arbitrary point on the ellipse with an appropriate space-time rescaling. Assume now a finite number r of these particles are forced to a different target point. Does it affect the Brownian fluctuations al…
A conditioned stochastic process can display a very different behavior from the unconditioned process. In particular, a conditioned process can exhibit non-Gaussian fluctuations even if the unconditioned process is Gaussian. In this work, we revisit the Ferrari-Spohn model of a Brownian bridge conditioned to avoid a moving wall, which pushes the system into a large-deviation regime. We extend this model to an arbitrary number $N$ of non-crossing Brownian bridges. We obtain the joint distribution of the distances of the Brownian particles from the wall at an intermediate time in the form of the…
We introduce a transient reflected Brownian motion in a multidimensional orthant, which is either absorbed at the apex of the cone or escapes to infinity. We address the question of computing the absorption probability, as a function of the starting point of the process. We provide a necessary and sufficient condition for the absorption probability to admit an exponential product form, namely, that the determinant of the reflection matrix is zero. We call this condition a dual skew symmetry. It recalls the famous skew symmetry introduced by Harrison, which characterizes the exponential station…
Consider non-intersecting Brownian motions on the real line, starting from the origin at t=0, with a number of particles forced to reach p distinct target points at time t=1. This work shows that the transition probability, that is the probability for the particles to pass through windows E_k at times t_k, satisfies, in a new set of variables, a non-linear PDE which can be expressed as a near-Wronskian; that is a determinant of a matrix of size p+1, with each row being a derivative of the previous, except for the last column. It is an interesting open question to understand those equations fro…
We consider n one-dimensional Brownian motions, such that n/2 Brownian motions start at time t=0 in the starting point a and end at time t=1 in the endpoint b and the other n/2 Brownian motions start at time t=0 at the point -a and end at time t=1 in the point -b, conditioned that the n Brownian paths do not intersect in the whole time interval (0,1). The correlation functions of the positions of the non-intersecting Brownian motions have a determinantal form with a kernel that is expressed in terms of multiple Hermite polynomials of mixed type. We analyze this kernel in the large n limit for …
