-
Phase transitions for a unidirectional elephant random walk with a power law memory II: Some sharper estimates
Authors:
Rahul Roy,
Masato Takei,
Hideki Tanemura
Abstract:
We continue our study of the unidirectional elephant random walk (uERW) initiated in {\it {Electron. Commun. Probab.}} ({\bf 29} 2024, article no. 78). In this paper we obtain definitive results when the memory exponent $β\in (-1, p/(1-p))$. In particular using a coupling argument we obtain the exact asymptotic rate of growth of $S_n$, the location of the uERW at time $n$, for the case…
▽ More
We continue our study of the unidirectional elephant random walk (uERW) initiated in {\it {Electron. Commun. Probab.}} ({\bf 29} 2024, article no. 78). In this paper we obtain definitive results when the memory exponent $β\in (-1, p/(1-p))$. In particular using a coupling argument we obtain the exact asymptotic rate of growth of $S_n$, the location of the uERW at time $n$, for the case $β\in (-1, 0] $. Also, for the case $β\in (0, p/(1-p))$ we show that $P(S_n \to \infty) \in (0,1)$ and conditional on $\{S_n \to \infty\}$ we obtain the exact asymptotic rate of growth of $S_n$. In addition we obtain the central limit theorem for $S_n$ when $β\in (-1, p/(1-p))$.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
How often can two independent elephant random walks on $\mathbb{Z}$ meet?
Authors:
Rahul Roy,
Masato Takei,
Hideki Tanemura
Abstract:
We show that two independent elephant random walks on the integer lattice $\mathbb{Z}$ meet each other finitely often or infinitely often depends on whether the memory parameter $p$ is strictly larger than $3/4$ or not. Asymptotic results for the distance between them are also obtained.
We show that two independent elephant random walks on the integer lattice $\mathbb{Z}$ meet each other finitely often or infinitely often depends on whether the memory parameter $p$ is strictly larger than $3/4$ or not. Asymptotic results for the distance between them are also obtained.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
The elephant random walk in the triangular array setting
Authors:
Rahul Roy,
Masato Takei,
Hideki Tanemura
Abstract:
Gut and Stadmüller (2021, 2022) initiated the study of the elephant random walk with limited memory. Aguech and El Machkouri (2024) published a paper in which they discuss an extension of results by Gut and Stadtmüller (2022) for an "increasing memory" version of the elephant random walk without stops. Here we present a formal definition of the process which has been hinted at Eq. (2.2) in Gut and…
▽ More
Gut and Stadmüller (2021, 2022) initiated the study of the elephant random walk with limited memory. Aguech and El Machkouri (2024) published a paper in which they discuss an extension of results by Gut and Stadtmüller (2022) for an "increasing memory" version of the elephant random walk without stops. Here we present a formal definition of the process which has been hinted at Eq. (2.2) in Gut and Stadtmüller (2022). This definition is based on the triangular array setting. We give a positive answer to the open problem in Gut and Stadtmüller (2022) for the elephant random walk, possibly with stops. We also obtain the CLT for the supercritical case of this model.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Phase transitions for a unidirectional elephant random walk with a power law memory
Authors:
Rahul Roy,
Masato Takei,
Hideki Tanemura
Abstract:
For the standard elephant random walk, Laulin (2022) studied the case when the increment of the random walk is not uniformly distributed over the past history instead has a power law distribution. We study such a problem for the unidirectional elephant random walk introduced by Harbola, Kumar and Lindenberg (2014). Depending on the memory parameter $p$ and the power law exponent $β$, we obtain thr…
▽ More
For the standard elephant random walk, Laulin (2022) studied the case when the increment of the random walk is not uniformly distributed over the past history instead has a power law distribution. We study such a problem for the unidirectional elephant random walk introduced by Harbola, Kumar and Lindenberg (2014). Depending on the memory parameter $p$ and the power law exponent $β$, we obtain three distinct phases in one such phase the elephant travels only a finite distance almost surely, and the other two phases are distinguished by the speed at which the elephant travels.
△ Less
Submitted 3 February, 2024;
originally announced February 2024.
-
Infinite particle systems with hard-core and long-range interaction
Authors:
Hideki Tanemura
Abstract:
A system of Brownian hard balls is regarded as a reflecting Brownian motion in the configuration space and can be represented by a solution to a Skorohod-type equation. In this article, we consider the case that there are an infinite number of balls, and the interaction between balls is given by the long-range pair interaction. We discuss the existence and uniqueness of strong solutions to the inf…
▽ More
A system of Brownian hard balls is regarded as a reflecting Brownian motion in the configuration space and can be represented by a solution to a Skorohod-type equation. In this article, we consider the case that there are an infinite number of balls, and the interaction between balls is given by the long-range pair interaction. We discuss the existence and uniqueness of strong solutions to the infinite-dimensional Skorohod equation.
△ Less
Submitted 14 January, 2023; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Infinite-dimensional stochastic differential equations and tail $ σ$-fields II: the IFC condition
Authors:
Yosuke Kawamoto,
Hirofumi Osada,
Hideki Tanemura
Abstract:
In a previous report, the second and third authors gave general theorems for unique strong solutions of infinite-dimensional stochastic differential equations (ISDEs) describing the dynamics of infinitely many interacting Brownian particles. One of the critical assumptions is the \lq\lq IFC" condition. The IFC condition requires that, for a given weak solution, the scheme consisting of the finite-…
▽ More
In a previous report, the second and third authors gave general theorems for unique strong solutions of infinite-dimensional stochastic differential equations (ISDEs) describing the dynamics of infinitely many interacting Brownian particles. One of the critical assumptions is the \lq\lq IFC" condition. The IFC condition requires that, for a given weak solution, the scheme consisting of the finite-dimensional stochastic differential equations (SDEs) related to the ISDEs exists. Furthermore, the IFC condition implies that each finite-dimensional SDE has unique strong solutions. Unlike other assumptions, the IFC condition is challenging to verify, and so the previous report only verified solution for solutions given by quasi-regular Dirichlet forms. In the present paper, we provide a sufficient condition for the IFC requirement in more general situations. In particular, we prove the IFC condition without assuming the quasi-regularity or symmetry of the associated Dirichlet forms. As an application of the theoretical formulation, the results derived in this paper are used to prove the uniqueness of Dirichlet forms and the dynamical universality of random matrices.
△ Less
Submitted 28 March, 2021; v1 submitted 7 July, 2020;
originally announced July 2020.
-
On a model of evolution of subspecies
Authors:
Rahul Roy,
Hideki Tanemura
Abstract:
Ben-Ari and Schinazi (2016) introduced a stochastic model to study `virus-like evolving population with high mutation rate'. This model is a birth and death model with an individual at birth being either a mutant with a random fitness parameter in $[0,1]$ or having one of the existing fitness parameters with uniform probability; whereas a death event removes the entire population of the least fit…
▽ More
Ben-Ari and Schinazi (2016) introduced a stochastic model to study `virus-like evolving population with high mutation rate'. This model is a birth and death model with an individual at birth being either a mutant with a random fitness parameter in $[0,1]$ or having one of the existing fitness parameters with uniform probability; whereas a death event removes the entire population of the least fit site. We change this to incorporate the notion of `survival of the fittest', by requiring that a non-mutant individual, at birth, has a fitness according to a preferential attachment mechanism, i.e., it has a fitness $f$ with a probability proportional to the size of the population of fitness $f$. Also death just removes one individual at the least fit site. This preferential attachment rule leads to a power law behaviour in the asymptotics, unlike the exponential behaviour obtained by Ben-Ari and Schinazi (2016).
△ Less
Submitted 2 January, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Stochastic differential equations for infinite particle systems of jump type with long range interactions
Authors:
Syota Esaki,
Hideki Tanemura
Abstract:
Infinite-dimensional stochastic differential equations (ISDEs) describing systems with an infinite number of particles are considered. Each particle undergoes a Lévy process, and the interaction between particles is determined by the long-range interaction potential. The potential is of Ruelle's class or logarithmic. We discuss the existence and uniqueness of strong solutions of the ISDEs.
Infinite-dimensional stochastic differential equations (ISDEs) describing systems with an infinite number of particles are considered. Each particle undergoes a Lévy process, and the interaction between particles is determined by the long-range interaction potential. The potential is of Ruelle's class or logarithmic. We discuss the existence and uniqueness of strong solutions of the ISDEs.
△ Less
Submitted 21 February, 2024; v1 submitted 16 September, 2018;
originally announced September 2018.
-
Uniqueness of Dirichlet forms related to infinite systems of interacting Brownian motions
Authors:
Yosuke Kawamoto,
Hirofumi Osada,
Hideki Tanemura
Abstract:
The Dirichlet forms related to various infinite systems of interacting Brownian motions are studied. For a given random point field $ μ$, there exist two natural infinite-volume Dirichlet forms $ (\mathcal{E}^{\mathsf{upr}},\mathcal{D}^{\mathsf{upr}})$ and $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ on $ L^2(\mathsf{S} ,μ) $ describing interacting Brownian motions each with unlabeled…
▽ More
The Dirichlet forms related to various infinite systems of interacting Brownian motions are studied. For a given random point field $ μ$, there exist two natural infinite-volume Dirichlet forms $ (\mathcal{E}^{\mathsf{upr}},\mathcal{D}^{\mathsf{upr}})$ and $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ on $ L^2(\mathsf{S} ,μ) $ describing interacting Brownian motions each with unlabeled equilibrium state $ μ$. The former is a decreasing limit of a scheme of such finite-volume Dirichlet forms, and the latter is an increasing limit of another scheme of such finite-volume Dirichlet forms. Furthermore, the latter is an extension of the former. We present a sufficient condition such that these two Dirichlet forms are the same. In the first main theorem (Theorem 3.1) the Markovian semi-group given by $(\mathcal{E}^{\mathsf{lwr}},\mathcal{D}^{\mathsf{lwr}})$ is associated with a natural infinite-dimensional stochastic differential equation (ISDE). In the second main theorem (Theorem 3.2), we prove that these Dirichlet forms coincide with each other by using the uniqueness of {\ws}s of ISDE. We apply Theorem 3.1 to stochastic dynamics arising from random matrix theory such as the sine, Bessel, and Ginibre interacting Brownian motions and interacting Brownian motions with Ruelle's class interaction potentials, and Theorem 3.2 to the sine$ _2$ interacting Brownian motion and interacting Brownian motions with Ruelle's class interaction potentials of $ C_0^3 $-class.
△ Less
Submitted 28 October, 2019; v1 submitted 21 November, 2017;
originally announced November 2017.
-
Stochastic differential equations related to random matrix theory
Authors:
Hirofumi Osada,
Hideki Tanemura
Abstract:
In this note we review recent results on existence and uniqueness of solutions of infinite-dimensional stochastic differential equations describing interacting Brownian motions on $\R^d$.
In this note we review recent results on existence and uniqueness of solutions of infinite-dimensional stochastic differential equations describing interacting Brownian motions on $\R^d$.
△ Less
Submitted 14 May, 2016;
originally announced May 2016.
-
Strong Markov property of determinantal processes with extended kernels
Authors:
Hirofumi Osada,
Hideki Tanemura
Abstract:
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 infinit…
▽ More
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 kernel and extended Bessel kernel, respectively. We also determine the quasi-regular Dirichlet forms and infinite-dimensional stochastic differential equations associated with the determinantal processes.
△ Less
Submitted 12 February, 2015; v1 submitted 30 December, 2014;
originally announced December 2014.
-
Infinite-dimensional stochastic differential equations and tail $ σ$-fields
Authors:
Hirofumi Osada,
Hideki Tanemura
Abstract:
We present general theorems solving the long-standing problem of the existence and pathwise uniqueness of strong solutions of infinite-dimensional stochastic differential equations (ISDEs) called interacting Brownian motions. These ISDEs describe the dynamics of infinite-many Brownian particles moving in $ \mathbb{R}^d $ with free potential $ Φ$ and mutual interaction potential $ Ψ$.
We apply th…
▽ More
We present general theorems solving the long-standing problem of the existence and pathwise uniqueness of strong solutions of infinite-dimensional stochastic differential equations (ISDEs) called interacting Brownian motions. These ISDEs describe the dynamics of infinite-many Brownian particles moving in $ \mathbb{R}^d $ with free potential $ Φ$ and mutual interaction potential $ Ψ$.
We apply the theorems to essentially all interaction potentials of Ruelle's class such as the Lennard-Jones 6-12 potential and Riesz potentials, and to logarithmic potentials appearing in random matrix theory. We solve ISDEs of the Ginibre interacting Brownian motion and the sine$_β$ interacting Brownian motion with $ β= 1,2,4$. We also use the theorems in separate papers for the Airy and Bessel interacting Brownian motions. One of the critical points for proving the general theorems is to establish a new formulation of solutions of ISDEs in terms of tail $ σ$-fields of labeled path spaces consisting of trajectories of infinitely many particles. These formulations are equivalent to the original notions of solutions of ISDEs, and more feasible to treat in infinite dimensions.
△ Less
Submitted 5 June, 2020; v1 submitted 30 December, 2014;
originally announced December 2014.
-
Infinite-dimensional stochastic differential equations arising from Airy random point fields
Authors:
Hirofumi Osada,
Hideki Tanemura
Abstract:
The Airy$_{β}$ random point fields ($ β= 1,2,4$) are random point fields emerging as the soft-edge scaling limits of eigenvalues of Gaussian random matrices. We construct the unlabeled diffusion reversible with respect to the Airy$_{β}$ random point field for each $ β= 1,2,4$. We identify the infinite-dimensional stochastic differential equations (ISDEs) describing the labeled stochastic dynamics…
▽ More
The Airy$_{β}$ random point fields ($ β= 1,2,4$) are random point fields emerging as the soft-edge scaling limits of eigenvalues of Gaussian random matrices. We construct the unlabeled diffusion reversible with respect to the Airy$_{β}$ random point field for each $ β= 1,2,4$. We identify the infinite-dimensional stochastic differential equations (ISDEs) describing the labeled stochastic dynamics for the unlabeled diffusion mentioned above. We prove the existence and pathwise uniqueness of strong solutions of these ISDEs. Furthermore, the solution of the ISDE is the limit of the solutions of the stochastic differential equations describing the dynamics of the $ N $-particle system in the soft-edge limit. We thus establish the construction of the stochastic dynamics whose unlabeled dynamics are reversible with respect to the Airy random point fields.
When $ β=2 $, the solution equals the stochastic dynamics defined by the space-time correlation functions obtained by Prähofer--Spohn, Johansson, Katori--Tanemura, and Corwin--Hammond, among others. We develop a new method whereby these ISDEs have unique, strong solutions. We expect that our approach is valid for other soft-edge scaling limits of stochastic dynamics arising from the random matrix theory.
△ Less
Submitted 28 July, 2024; v1 submitted 4 August, 2014;
originally announced August 2014.
-
Cores of Dirichlet forms related to random matrix theory
Authors:
Hirofumi Osada,
Hideki Tanemura
Abstract:
We prove the sets of polynomials on configuration spaces are cores of Dirichlet forms describing interacting Brownian motion in infinite dimensions. Typical examples of these stochastic dynamics are Dyson's Brownian motion and Airy interacting Brownian motion. Both particle systems have logarithmic interaction potentials, and naturally arise from random matrix theory. The results of the present pa…
▽ More
We prove the sets of polynomials on configuration spaces are cores of Dirichlet forms describing interacting Brownian motion in infinite dimensions. Typical examples of these stochastic dynamics are Dyson's Brownian motion and Airy interacting Brownian motion. Both particle systems have logarithmic interaction potentials, and naturally arise from random matrix theory. The results of the present paper will be used in a forth coming paper to prove the identity of the infinite-dimensional stochastic dynamics related to the random matrix theories constructed by apparently different methods: the method of space-time correlation functions and that of stochastic analysis.
△ Less
Submitted 30 December, 2014; v1 submitted 16 May, 2014;
originally announced May 2014.
-
Markov property of determinantal processes with extended sine, Airy, and Bessel kernels
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
When the number of particles is finite, the noncolliding Brownian motion (the Dyson model) and the noncolliding squared Bessel process are determinantal diffusion processes for any deterministic initial configuration $ξ=\sum_{j \in Λ} δ_{x_j}$, in the sense that any multitime correlation function is given by a determinant associated with the correlation kernel, which is specified by an entire func…
▽ More
When the number of particles is finite, the noncolliding Brownian motion (the Dyson model) and the noncolliding squared Bessel process are determinantal diffusion processes for any deterministic initial configuration $ξ=\sum_{j \in Λ} δ_{x_j}$, in the sense that any multitime correlation function is given by a determinant associated with the correlation kernel, which is specified by an entire function $Φ$ having zeros in $\supp ξ$. Using such entire functions $Φ$, we define new topologies called the $Φ$-moderate topologies. Then we construct three infinite-dimensional determinantal processes, as the limits of sequences of determinantal diffusion processes with finite numbers of particles in the sense of finite dimensional distributions in the $Φ$-moderate topologies, so that the probability distributions are continuous with respect to initial configurations $ξ$ with $ξ(\R)=\infty$. We show that our three infinite particle systems are versions of the determinantal processes with the extended sine, Bessel, and Airy kernels, respectively, which are reversible with respect to the determinantal point processes obtained in the bulk scaling limit and the soft-edge scaling limit of the eigenvalue distributions of the Gaussian unitary ensemble, and the hard-edge scaling limit of that of the chiral Gaussian unitary ensemble studied in the random matrix theory. Then Markovianity is proved for the three infinite-dimensional determinantal processes.
△ Less
Submitted 21 June, 2011;
originally announced June 2011.
-
Complex Brownian Motion Representation of the Dyson Model
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
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…
▽ More
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 of independent CBMs weighted by this determinantal martingale. From this CBM representation, the Eynard-Mehta-type correlation kernel is derived and the Dyson model is shown to be determinantal. The CBM representation is a useful extension of $h$-transform, since it works also in infinite particle systems. Using this representation, we prove the tightness of a series of processes, which converges to the Dyson model with an infinite number of particles, and the noncolliding property of the limit process.
△ Less
Submitted 15 January, 2013; v1 submitted 17 August, 2010;
originally announced August 2010.
-
Noncolliding Squared Bessel Processes
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
We consider a particle system of the squared Bessel processes with index $ν> -1$ conditioned never to collide with each other, in which if $-1 < ν< 0$ the origin is assumed to be reflecting. When the number of particles is finite, we prove for any fixed initial configuration that this noncolliding diffusion process is determinantal in the sense that any multitime correlation function is given by a…
▽ More
We consider a particle system of the squared Bessel processes with index $ν> -1$ conditioned never to collide with each other, in which if $-1 < ν< 0$ the origin is assumed to be reflecting. When the number of particles is finite, we prove for any fixed initial configuration that this noncolliding diffusion process is determinantal in the sense that any multitime correlation function is given by a determinant with a continuous kernel called the correlation kernel. When the number of particles is infinite, we give sufficient conditions for initial configurations so that the system is well defined. There the process with an infinite number of particles is determinantal and the correlation kernel is expressed using an entire function represented by the Weierstrass canonical product, whose zeros on the positive part of the real axis are given by the particle-positions in the initial configuration. From the class of infinite-particle initial configurations satisfying our conditions, we report one example in detail, which is a fixed configuration such that every point of the square of positive zero of the Bessel function $J_ν$ is occupied by one particle. The process starting from this initial configuration shows a relaxation phenomenon converging to the stationary process, which is determinantal with the extended Bessel kernel, in the long-term limit.
△ Less
Submitted 15 January, 2011; v1 submitted 31 July, 2010;
originally announced August 2010.
-
Noncolliding processes, matrix-valued processes and determinantal processes
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
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…
▽ More
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, distribution of particle positions of the noncolliding Brownian motion on the real line at any fixed time $t >0$ is a determinantal point process. We can prove that the process is determinantal in the sense that the multi-time correlation function for any chosen series of times, which determines joint distributions at these times, is also represented by a determinant. We study the asymptotic behavior of the system, when the number of Brownian motions $N$ in the system tends to infinity. This problem is concerned with the random matrix theory on the asymptotics of eigenvalue distributions, when the matrix size becomes infinity. In the present paper, we introduce a variety of noncolliding diffusion processes by generalizing the noncolliding Brownian motion, some of which are temporally inhomogeneous. We report the results of our research project to construct and study finite and infinite particle systems with long-ranged strong interactions realized by noncolliding processes.
△ Less
Submitted 22 March, 2011; v1 submitted 4 May, 2010;
originally announced May 2010.
-
Zeros of Airy Function and Relaxation Process
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
One-dimensional system of Brownian motions called Dyson's model is the particle system with long-range repulsive forces acting between any pair of particles, where the strength of force is $β/2$ times the inverse of particle distance. When $β=2$, it is realized as the Brownian motions in one dimension conditioned never to collide with each other. For any initial configuration, it is proved that…
▽ More
One-dimensional system of Brownian motions called Dyson's model is the particle system with long-range repulsive forces acting between any pair of particles, where the strength of force is $β/2$ times the inverse of particle distance. When $β=2$, it is realized as the Brownian motions in one dimension conditioned never to collide with each other. For any initial configuration, it is proved that Dyson's model with $β=2$ and $N$ particles, $\X(t)=(X_1(t), ..., X_N(t)), t \in [0,\infty), 2 \leq N < \infty$, is determinantal in the sense that any multitime correlation function is given by a determinant with a continuous kernel. The Airy function $\Ai(z)$ is an entire function with zeros all located on the negative part of the real axis $\R$. We consider Dyson's model with $β=2$ starting from the first $N$ zeros of $\Ai(z)$, $0 > a_1 > ... > a_N$, $N \geq 2$. In order to properly control the effect of such initial confinement of particles in the negative region of $\R$, we put the drift term to each Brownian motion, which increases in time as a parabolic function : $Y_j(t) = X_j(t) + t^2/4 + \{d_1 + \sum_{\ell=1}^N (1/a_{\ell})\}t, 1 \leq j \leq N$, where $d_1=\Ai'(0)/\Ai(0)$. We show that, as the $N \to \infty$ limit of $\Y(t)=(Y_1(t), ..., Y_N(t)), t \in [0, \infty)$, we obtain an infinite particle system, which is the relaxation process from the configuration, in which every zero of $\Ai(z)$ on the negative $\R$ is occupied by one particle, to the stationary state $μ_{\Ai}$. The stationary state $μ_{\Ai}$ is the determinantal point process with the Airy kernel, which is spatially inhomogeneous on $\R$ and in which the Tracy-Widom distribution describes the rightmost particle position.
△ Less
Submitted 29 September, 2009; v1 submitted 19 June, 2009;
originally announced June 2009.
-
Non-Equilibrium Dynamics of Dyson's Model with an Infinite Number of Particles
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
Dyson's model is a one-dimensional system of Brownian motions with long-range repulsive forces acting between any pair of particles with strength proportional to the inverse of distances with proportionality constant $β/2$. We give sufficient conditions for initial configurations so that Dyson's model with $β=2$ and an infinite number of particles is well defined in the sense that any multitime…
▽ More
Dyson's model is a one-dimensional system of Brownian motions with long-range repulsive forces acting between any pair of particles with strength proportional to the inverse of distances with proportionality constant $β/2$. We give sufficient conditions for initial configurations so that Dyson's model with $β=2$ and an infinite number of particles is well defined in the sense that any multitime correlation function is given by a determinant with a continuous kernel. The class of infinite-dimensional configurations satisfying our conditions is large enough to study non-equilibrium dynamics. For example, we obtain the relaxation process starting from a configuration, in which every point of $\Z$ is occupied by one particle, to the stationary state, which is the determinantal point process with the sine kernel.
△ Less
Submitted 18 June, 2009; v1 submitted 22 December, 2008;
originally announced December 2008.
-
Noncolliding Brownian Motion and Determinantal Processes
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
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 V…
▽ More
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 is in the eigenvalue distribution of GUE, the noncolliding BM is a determinantal process, in the sense that any multitime correlation function is given by a determinant specified by a matrix-kernel. By taking appropriate scaling limits, spatially homogeneous and inhomogeneous infinite determinantal processes are derived. We note that the determinantal processes related with noncolliding particle systems have a feature in common such that the matrix-kernels are expressed using spectral projections of appropriate effective Hamiltonians. On the common structure of matrix-kernels, continuity of processes in time is proved and general property of the determinantal processes is discussed.
△ Less
Submitted 11 November, 2007; v1 submitted 16 May, 2007;
originally announced May 2007.
-
Infinite systems of non-colliding generalized meanders and Riemann-Liouville differintegrals
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
Yor's generalized meander is a temporally inhomogeneous modification of the $2(ν+1)$-dimensional Bessel process with $ν> -1$, in which the inhomogeneity is indexed by $κ\in [0, 2(ν+1))$. We introduce the non-colliding particle systems of the generalized meanders and prove that they are the Pfaffian processes, in the sense that any multitime correlation function is given by a Pfaffian. In the inf…
▽ More
Yor's generalized meander is a temporally inhomogeneous modification of the $2(ν+1)$-dimensional Bessel process with $ν> -1$, in which the inhomogeneity is indexed by $κ\in [0, 2(ν+1))$. We introduce the non-colliding particle systems of the generalized meanders and prove that they are the Pfaffian processes, in the sense that any multitime correlation function is given by a Pfaffian. In the infinite particle limit, we show that the elements of matrix kernels of the obtained infinite Pfaffian processes are generally expressed by the Riemann-Liouville differintegrals of functions comprising the Bessel functions $J_ν$ used in the fractional calculus, where orders of differintegration are determined by $ν-κ$. As special cases of the two parameters $(ν, κ)$, the present infinite systems include the quaternion determinantal processes studied by Forrester, Nagao and Honner and by Nagao, which exhibit the temporal transitions between the universality classes of random matrix theory.
△ Less
Submitted 9 May, 2006; v1 submitted 10 June, 2005;
originally announced June 2005.
-
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation the…
▽ More
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.
△ Less
Submitted 14 January, 2005;
originally announced January 2005.
-
Symmetry of matrix-valued stochastic processes and noncolliding diffusion particle systems
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
As an extension of the theory of Dyson's Brownian motion models for the standard Gaussian random-matrix ensembles, we report a systematic study of hermitian matrix-valued processes and their eigenvalue processes associated with the chiral and nonstandard random-matrix ensembles. In addition to the noncolliding Brownian motions, we introduce a one-parameter family of temporally homogeneous noncol…
▽ More
As an extension of the theory of Dyson's Brownian motion models for the standard Gaussian random-matrix ensembles, we report a systematic study of hermitian matrix-valued processes and their eigenvalue processes associated with the chiral and nonstandard random-matrix ensembles. In addition to the noncolliding Brownian motions, we introduce a one-parameter family of temporally homogeneous noncolliding systems of the Bessel processes and a two-parameter family of temporally inhomogeneous noncolliding systems of Yor's generalized meanders and show that all of the ten classes of eigenvalue statistics in the Altland-Zirnbauer classification are realized as particle distributions in the special cases of these diffusion particle systems. As a corollary of each equivalence in distribution of a temporally inhomogeneous eigenvalue process and a noncolliding diffusion process, a stochastic-calculus proof of a version of the Harish-Chandra (Itzykson-Zuber) formula of integral over unitary group is established.
△ Less
Submitted 15 June, 2004; v1 submitted 22 February, 2004;
originally announced February 2004.
-
The structure of finite clusters in high intensity Poisson Boolean stick process
Authors:
Rahul Roy,
Hideki Tanemura
Abstract:
Sticks at one of different orientation are placed in an i.i.d. fashion at points of a Poisson point process of intensity $λ$. Sticks of the same direction have the same length, while sticks in different directions may have different lengths. We study the geometry of finite cluster as $λ\to \infty$. The asymptotic shape of the custer being determined by the probabilities of the sticks in various…
▽ More
Sticks at one of different orientation are placed in an i.i.d. fashion at points of a Poisson point process of intensity $λ$. Sticks of the same direction have the same length, while sticks in different directions may have different lengths. We study the geometry of finite cluster as $λ\to \infty$. The asymptotic shape of the custer being determined by the probabilities of the sticks in various direction and their lengths and orientations. We also obtain the limiting geometric structure of this component.
△ Less
Submitted 28 December, 2003;
originally announced December 2003.
-
Noncolliding Brownian motions and Harish-Chandra formula
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
We consider a system of noncolliding Brownian motions introduced in our previous paper, in which the noncolliding condition is imposed in a finite time interval $(0,T]$. This is a temporally inhomogeneous diffusion process whose transition probability density depends on a value of $T$, and in the limit $T \to \infty$ it converges to a temporally homogeneous diffusion process called Dyson's model…
▽ More
We consider a system of noncolliding Brownian motions introduced in our previous paper, in which the noncolliding condition is imposed in a finite time interval $(0,T]$. This is a temporally inhomogeneous diffusion process whose transition probability density depends on a value of $T$, and in the limit $T \to \infty$ it converges to a temporally homogeneous diffusion process called Dyson's model of Brownian motions. It is known that the distribution of particle positions in Dyson's model coincides with that of eigenvalues of a Hermitian matrix-valued process, whose entries are independent Brownian motions. In the present paper we construct such a Hermitian matrix-valued process, whose entries are sums of Brownian motions and Brownian bridges given independently of each other, that its eigenvalues are identically distributed with the particle positions of our temporally inhomogeneous system of noncolliding Brownian motions. As a corollary of this identification we derive the Harish-Chandra formula for an integral over the unitary group.
△ Less
Submitted 28 October, 2003; v1 submitted 26 June, 2003;
originally announced June 2003.
-
Infinite systems of non-colliding Brownian particles
Authors:
Makoto Katori,
Taro Nagao,
Hideki Tanemura
Abstract:
Non-colliding Brownian particles in one dimension is studied. $N$ Brownian particles start from the origin at time 0 and then they do not collide with each other until finite time $T$. We derive the determinantal expressions for the multitime correlation functions using the self-dual quaternion matrices. We consider the scaling limit of the infinite particles $N \to \infty$ and the infinite time…
▽ More
Non-colliding Brownian particles in one dimension is studied. $N$ Brownian particles start from the origin at time 0 and then they do not collide with each other until finite time $T$. We derive the determinantal expressions for the multitime correlation functions using the self-dual quaternion matrices. We consider the scaling limit of the infinite particles $N \to \infty$ and the infinite time interval $T \to \infty$. Depending on the scaling, two limit theorems are proved for the multitime correlation functions, which may define temporally inhomogeneous infinite particle systems.
△ Less
Submitted 28 May, 2003; v1 submitted 14 January, 2003;
originally announced January 2003.
-
Functional central limit theorems for vicious walkers
Authors:
Makoto Katori,
Hideki Tanemura
Abstract:
We consider the diffusion scaling limit of the vicious walker model that is a system of nonintersecting random walks. We prove a functional central limit theorem for the model and derive two types of nonintersecting Brownian motions, in which the nonintersecting condition is imposed in a finite time interval $(0,T]$ for the first type and in an infinite time interval $(0,\infty)$ for the second…
▽ More
We consider the diffusion scaling limit of the vicious walker model that is a system of nonintersecting random walks. We prove a functional central limit theorem for the model and derive two types of nonintersecting Brownian motions, in which the nonintersecting condition is imposed in a finite time interval $(0,T]$ for the first type and in an infinite time interval $(0,\infty)$ for the second type, respectively. The limit process of the first type is a temporally inhomogeneous diffusion, and that of the second type is a temporally homogeneous diffusion that is identified with a Dyson's model of Brownian motions studied in the random matrix theory. We show that these two types of processes are related to each other by a multi-dimensional generalization of Imhof's relation, whose original form relates the Brownian meander and the three-dimensional Bessel process. We also study the vicious walkers with wall restriction and prove a functional central limit theorem in the diffusion scaling limit.
△ Less
Submitted 24 February, 2004; v1 submitted 27 March, 2002;
originally announced March 2002.
