Showing 1–25 of 25 results for author: Osada, H

Ergodicity of unlabeled dynamics of Dyson's model in infinite dimensions

Authors: Hirofumi Osada, Shota Osada

Abstract: Dyson's model in infinite dimensions is a system of Brownian particles that interact via a logarithmic potential with an inverse temperature of $ β= 2$. The stochastic process can be represented by the solution to an infinite-dimensional stochastic differential equation. The associated unlabeled dynamics (diffusion process) are given by the Dirichlet form with the sine$ _2$ point process as a refe… ▽ More Dyson's model in infinite dimensions is a system of Brownian particles that interact via a logarithmic potential with an inverse temperature of $ β= 2$. The stochastic process can be represented by the solution to an infinite-dimensional stochastic differential equation. The associated unlabeled dynamics (diffusion process) are given by the Dirichlet form with the sine$ _2$ point process as a reference measure. In a previous study, we proved that Dyson's model in infinite dimensions is irreducible, but left the ergodicity of the unlabeled dynamics as an open problem. In this paper, we prove that the unlabeled dynamics of Dyson's model in infinite dimensions are ergodic. △ Less

Submitted 28 March, 2022; originally announced March 2022.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:2107.10775

MSC Class: 2020: 60B20; 60H10; 60J40; 60J60; 60K35

Ginibre interacting Brownian motion in infinite dimensions is sub-diffusive

Authors: Hirofumi Osada

Abstract: We prove that the tagged particles of infinitely many Brownian particles in $ \Rtwo $ interacting via a logarithmic (two-dimensional Coulomb) potential with inverse temperature $ β= 2 $ are sub-diffusive. The associated delabeled diffusion is reversible with respect to the Ginibre random point field, and the dynamics are thus referred to as the Ginibre interacting Brownian motion. % If the interac… ▽ More We prove that the tagged particles of infinitely many Brownian particles in $ \Rtwo $ interacting via a logarithmic (two-dimensional Coulomb) potential with inverse temperature $ β= 2 $ are sub-diffusive. The associated delabeled diffusion is reversible with respect to the Ginibre random point field, and the dynamics are thus referred to as the Ginibre interacting Brownian motion. % If the interacting Brownian particles have interaction potential $ Ψ$ of Ruelle class and the total system starts in a translation-invariant equilibrium state, then the tagged particles are always diffusive if the dimension $ \dd $ of the space $ \mathbb{R}^{\dd } $ is greater than or equal to two. That is, the tagged particles are always non-degenerate under diffusive scaling. Our result is, therefore, contrary to known results. The Ginibre random point field has various levels of geometric rigidity. Our results reveal that the geometric property of infinite particle systems affects the dynamical property of the associated stochastic dynamics. △ Less

Submitted 26 November, 2023; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: Corrected and enlarged version

MSC Class: 2020: 60K50; 82C22; 60B20

Dyson's model in infinite dimensions is irreducible

Authors: Hirofumi Osada, Ryosuke Tsuboi

Abstract: Dyson's model in infinite dimensions is a system of Brownian particles interacting via a logarithmic potential with an inverse temperature of $ β= 2$. The stochastic process is given as a solution to an infinite-dimensional stochastic differential equation. Additionally, a Dirichlet form with the sine$ _2$ point process as a reference measure constructs the stochastic process as a functional of th… ▽ More Dyson's model in infinite dimensions is a system of Brownian particles interacting via a logarithmic potential with an inverse temperature of $ β= 2$. The stochastic process is given as a solution to an infinite-dimensional stochastic differential equation. Additionally, a Dirichlet form with the sine$ _2$ point process as a reference measure constructs the stochastic process as a functional of the associated configuration-valued diffusion process. In this paper, we prove that Dyson's model in infinite dimensions is irreducible. △ Less

Submitted 30 December, 2021; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 19 pages. To appear in the Festschrift in honor of Professor Fukushima

MSC Class: 2020: 60B20; 60H10; 60J40; 60J60; 60K35

Dynamical Universality for Random Matrices

Authors: Yosuke Kawamoto, Hirofumi Osada

Abstract: We establish an invariance principle corresponding to the universality of random matrices. More precisely, we prove the dynamical universality of random matrices in the sense that, if the random point fields $ \muN $ of $ \nN $-particle systems describing the eigenvalues of random matrices or log-gases with general self-interaction potentials $ \V $ converge to some random point field $ μ$, then t… ▽ More We establish an invariance principle corresponding to the universality of random matrices. More precisely, we prove the dynamical universality of random matrices in the sense that, if the random point fields $ \muN $ of $ \nN $-particle systems describing the eigenvalues of random matrices or log-gases with general self-interaction potentials $ \V $ converge to some random point field $ μ$, then the associated natural $ \muN $-reversible diffusions represented by solutions of stochastic differential equations (SDEs) converge to some $ μ$-reversible diffusion given by the solution of an infinite-dimensional SDE (ISDE). % Our results are general theorems that can be applied to various random point fields related to random matrices such as sine, Airy, Bessel, and Ginibre random point fields. % In general, the representations of finite-dimensional SDEs describing $ \nN $-particle systems are very complicated. Nevertheless, the limit ISDE has a simple and universal representation that depends on a class of random matrices appearing in the bulk, and at the soft- and at hard-edge positions. Thus, we prove that ISDEs such as the infinite-dimensional Dyson model and the Airy, Bessel, and Ginibre interacting Brownian motions are universal dynamical objects. △ Less

Submitted 29 January, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 54 pages, Keywords: Random matrices, dynamical universality, Dirichlet forms, infinite-dimensional stochastic differential equations. To appear in Partial Differential Equations and Applications

MSC Class: 2020: MSC 60B20; MSC 60J40; MSC 60H10

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.

Comments: This paper is a continuation of "Infinite-dimensional stochastic differential equations and tail $σ$-fields", which published in Probability Theory and Related Fields, https://doi.org/10.1007/s00440-020-00981-y. This paper will be published in Journal of the Mathematical Society of Japan

MSC Class: Primary 60K35; Secondary 60H10; 82C22; 60B20

Journal ref: J. Math. Soc. Japan 74 (1), 79-128, (January, 2022)

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.

Comments: 41 pages, Version 5

MSC Class: 60J45; 60K35; 82B21; 60B20; 60J60; 60H10

Journal ref: Potential Analysis 2020

The logarithmic derivative for point processes with equivalent Palm measures

Authors: Alexander I. Bufetov, Andrey V. Dymov, Hirofumi Osada

Abstract: The logarithmic derivative of a point process plays a key role in the general approach, due to the third author, to constructing diffusions preserving a given point process. In this paper we explicitly compute the logarithmic derivative for determinantal processes on $\mathbb{R}$ with integrable kernels, a large class that includes all the classical processes of random matrix theory as well as pro… ▽ More The logarithmic derivative of a point process plays a key role in the general approach, due to the third author, to constructing diffusions preserving a given point process. In this paper we explicitly compute the logarithmic derivative for determinantal processes on $\mathbb{R}$ with integrable kernels, a large class that includes all the classical processes of random matrix theory as well as processes associated with de Branges spaces. The argument uses the quasi-invariance of our processes established by the first author. △ Less

Submitted 6 July, 2017; originally announced July 2017.

Comments: 17 pages

Infinite-dimensional Stochastic Differential Equations with Symmetry

Authors: Hirofumi Osada

Abstract: We review recent progress in the study of infinite-dimensional stochastic differential equations with symmetry. This paper contains examples arising from random matrix theory. We review recent progress in the study of infinite-dimensional stochastic differential equations with symmetry. This paper contains examples arising from random matrix theory. △ Less

Submitted 13 January, 2017; originally announced January 2017.

Comments: 10 pages

MSC Class: AMC2010: 60H110; 60J60; 60K35; 60B20; 15B52

Dynamical Bulk Scaling limit of Gaussian Unitary Ensembles and Stochastic Differential Equation gaps

Authors: Yosuke Kawamoto, Hirofumi Osada

Abstract: The distributions of $ N $-particle systems of Gaussian unitary ensembles converge to Sine$_2$ point processes under bulk-scaling limits. These scalings are parameterized by a macro-position $ θ$ in the support of the semicircle distribution. The limits are always Sine$_{2}$ point processes and independent of the macro-position $ θ$ up to the dilations of determinantal kernels. We prove a dynamica… ▽ More The distributions of $ N $-particle systems of Gaussian unitary ensembles converge to Sine$_2$ point processes under bulk-scaling limits. These scalings are parameterized by a macro-position $ θ$ in the support of the semicircle distribution. The limits are always Sine$_{2}$ point processes and independent of the macro-position $ θ$ up to the dilations of determinantal kernels. We prove a dynamical counter part of this fact. We prove that the solution of the $ N $-particle systems given by stochastic differential equations (SDEs) converges to the solution of the infinite-dimensional Dyson model. We prove the limit infinite-dimensional SDE (ISDE), referred to as Dyson's model, is independent of the macro-position $ θ$, whereas the $ N $-particle SDEs depend on $ θ$ and are different from the ISDE in the limit whenever $ θ\not= 0 $. △ Less

Submitted 27 March, 2018; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: 21pages, Appeared in J,Theoretical Probability: https://doi.org/10.1007/s10959-018-0816-2 Key words: the Gaussian Unitary Ensemble, Dyson's model, bulk scaling limit, J. Theoretical Probability 2018

MSC Class: 60B20; 60H10

Finite-particle approximations for interacting Brownian particles with logarithmic potentials

Authors: Yosuke Kawamoto, Hirofumi Osada

Abstract: We prove the convergence of $ \nN $-particle systems of Brownian particles with logarithmic interaction potentials onto a system described by the infinite-dimensional stochastic differential equation (ISDE). % For this proof we present two general theorems on the finite-particle approximations of interacting Brownian motions. % In the first general theorem, we present a sufficient condition for a… ▽ More We prove the convergence of $ \nN $-particle systems of Brownian particles with logarithmic interaction potentials onto a system described by the infinite-dimensional stochastic differential equation (ISDE). % For this proof we present two general theorems on the finite-particle approximations of interacting Brownian motions. % In the first general theorem, we present a sufficient condition for a kind of tightness of solutions of stochastic differential equations (SDE) describing finite-particle systems, and prove that the limit points solve the corresponding ISDE. This implies, if in addition the limit ISDE enjoy a uniqueness of solutions, then the full sequence converges. We treat non-reversible case in the first main theorem. % In the second general theorem, we restrict to the case of reversible particle systems and simplify the sufficient condition. We deduce the second theorem from the first. % We apply the second general theorem to Airy$ _{β}$ interacting Brownian motion with $ β= 1,2,4$, and the Ginibre interacting Brownian motion. The former appears in the soft-edge limit of Gaussian (orthogonal/unitary/symplectic) ensembles in one spatial dimension, and the latter in the bulk limit of Ginibre ensemble in two spatial dimensions, corresponding to a quantum statistical system for which the eigen-value spectra belong to non-Hermitian Gaussian random matrices. The passage from the finite-particle stochastic differential equation (SDE) to the limit ISDE is a sensitive problem because the logarithmic potentials are long range and unbounded at infinity. Indeed, the limit ISDEs are not easily detectable from those of finite dimensions. Our general theorems can be applied straightforwardly to the grand canonical Gibbs measures with Ruelle-class potentials such as Lennard-Jones 6-12 potentials and and Riesz potentials. △ Less

Submitted 13 June, 2017; v1 submitted 23 July, 2016; originally announced July 2016.

Comments: 25pages. A revised version. To appear in Journal of Mathematical Society of Japan, Key Words: keywords{Random Matrix Theory, infinite-dimensional stochastic differential equations, interacting Brownian motions, Airy point processes, the Ginibre point process, logarithmic potential, finite-particle approximations}

MSC Class: Primary 60B20; Secondary 60H10

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.

Comments: 12 pages, to appear in RIMS bessatsu

MSC Class: 15B52; 30C15; 47D07; 60G55; 82C22

Self-diffusion constants of non-colliding interacting Brownian motions in one spatial dimension

Authors: Hirofumi Osada

Abstract: We prove that self-diffusion constants of interacting Brownian particles in $ \mathbb{R}$ always vanish if the particles do not collide with each other. We represent self-diffusion constants by additive functionals of reversible Markov processes as obtained in O. 1998. We prove that self-diffusion constants of interacting Brownian particles in $ \mathbb{R}$ always vanish if the particles do not collide with each other. We represent self-diffusion constants by additive functionals of reversible Markov processes as obtained in O. 1998. △ Less

Submitted 20 February, 2017; v1 submitted 14 May, 2016; originally announced May 2016.

Comments: 20 pages, published in RIMS K\hat{o}ky\hat{u}roku Bessatsu B59. Typos are corrected. The list of the corrections of typos is given in the last page

MSC Class: 60H110; 60G55; 60J60; 60K35

Discrete approximations of determinantal point processes on continuous spaces: tree representations and tail triviality

Authors: Hirofumi Osada, Shota Osada

Abstract: We prove tail triviality of determinantal point processes $ μ$ on continuous spaces. Tail triviality had been proved for such processes only on discrete spaces, and hence we have generalized the result to continuous spaces. To do this, we construct tree representations, that is, discrete approximations of determinantal point processes enjoying a determinantal structure. There are many interesting… ▽ More We prove tail triviality of determinantal point processes $ μ$ on continuous spaces. Tail triviality had been proved for such processes only on discrete spaces, and hence we have generalized the result to continuous spaces. To do this, we construct tree representations, that is, discrete approximations of determinantal point processes enjoying a determinantal structure. There are many interesting examples of determinantal point processes on continuous spaces such as zero points of the hyperbolic Gaussian analytic function with Bergman kernel, and the thermodynamic limit of eigenvalues of Gaussian random matrices for Sine$_2 $, Airy$_2 $, Bessel$_2 $, and Ginibre point processes. Tail triviality of $ μ$ plays a significant role in proving the uniqueness of solutions of infinite-dimensional stochastic differential equations (ISDEs) associated with $ μ$. For particle systems in $ \R $ arising from random matrix theory, there are two completely different constructions of natural stochastic dynamics. One is given by stochastic analysis through ISDEs and Dirichlet form theory, and the other is an algebraic method based on space-time correlation functions. Tail triviality is used crucially to prove the equivalence of these two stochastic dynamics. △ Less

Submitted 4 February, 2018; v1 submitted 24 March, 2016; originally announced March 2016.

Comments: 16 pages, published in Journal of Statistical Physics, 170(2018), no.2, 421--435. (open access)

MSC Class: 60B20; 82C22; 82B21; 60K35

Journal ref: Journal of Statistical Physics, 170(2018), no.2, 421--435

Non-collision and collision properties of Dyson's model in infinite dimension and other stochastic dynamics whose equilibrium states are determinantal random point fields

Authors: Hirofumi Osada

Abstract: Dyson's model on interacting Brownian particles is a stochastic dynamics consisting of an infinite amount of particles moving in $ \R $ with a logarithmic pair interaction potential. For this model we will prove that each pair of particles never collide. The equilibrium state of this dynamics is a determinantal random point field with the sine kernel. We prove for stochastic dynamics given by Di… ▽ More Dyson's model on interacting Brownian particles is a stochastic dynamics consisting of an infinite amount of particles moving in $ \R $ with a logarithmic pair interaction potential. For this model we will prove that each pair of particles never collide. The equilibrium state of this dynamics is a determinantal random point field with the sine kernel. We prove for stochastic dynamics given by Dirichlet forms with determinantal random point fields as equilibrium states the particles never collide if the kernel of determining random point fields are locally Lipschitz continuous, and give examples of collision when Hölder continuous. In addition we construct infinite volume dynamics (a kind of infinite dimensional diffusions) whose equilibrium states are determinantal random point fields. The last result is partial in the sense that we simply construct a diffusion associated with the {\em maximal closable part} of {\em canonical} pre Dirichlet forms for given determinantal random point fields as equilibrium states. To prove the closability of canonical pre Dirichlet forms for given determinantal random point fields is still an open problem. We prove these dynamics are the strong resolvent limit of finite volume dynamics. △ Less

Submitted 21 February, 2015; originally announced February 2015.

Comments: 17 pages, Proceeding of "Stochastic Analysis on Large Scale Interacting Systems" held in Hayama (Japan) from July 17th to July 26th, 2002

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.

Comments: 24 pages

MSC Class: 15B52; 30C15; 47D07; 60G55; 82C22

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.

Comments: 93 pages: version 11: To appear in Probability Theory and Related Fields

MSC Class: 60K35; 60H10; 82C22; 60B20

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.

Comments: 94 pages, A revised version

MSC Class: 2010: 60B20; 60H10; 60J60; 60K35; 82C22

Absolute continuity and singularity of Palm measures of the Ginibre point process

Authors: Hirofumi Osada, Tomoyuki Shirai

Abstract: We prove a dichotomy between absolute continuity and singularity of the Ginibre point process $\mathsf{G}$ and its reduced Palm measures $\{\mathsf{G}_{\mathbf{x}}, \mathbf{x} \in \mathbb{C}^{\ell}, \ell = 0,1,2\dots\}$, namely, reduced Palm measures $\G_{\mathbf{x}}$ and $\G_{\mathbf{y}}$ for $\mathbf{x} \in \mathbb{C}^{\ell}$ and $\mathbf{y} \in \mathbb{C}^{n}$ are mutually absolutely continuous… ▽ More We prove a dichotomy between absolute continuity and singularity of the Ginibre point process $\mathsf{G}$ and its reduced Palm measures $\{\mathsf{G}_{\mathbf{x}}, \mathbf{x} \in \mathbb{C}^{\ell}, \ell = 0,1,2\dots\}$, namely, reduced Palm measures $\G_{\mathbf{x}}$ and $\G_{\mathbf{y}}$ for $\mathbf{x} \in \mathbb{C}^{\ell}$ and $\mathbf{y} \in \mathbb{C}^{n}$ are mutually absolutely continuous if and only if $\ell = n$; they are singular each other if and only if $\ell \not= n$. Furthermore, we give an explicit expression of the Radon-Nikodym density $d\G_{\mathbf{x}}/d \G_{\mathbf{y}}$ for $\mathbf{x}, \mathbf{y} \in \mathbb{C}^{\ell}$. △ Less

Submitted 5 April, 2015; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: 47 pages, version (ii)

MSC Class: 60G55; 60B20; 60K35; 82B21; 82C22

Dynamical rigidity of stochastic Coulomb systems in infinite-dimensions

Authors: Hirofumi Osada

Abstract: This paper is based on the talk in "Probability Symposium" at Research Institute of Mathematical Sciences (Kyoto University) on 2013/12/18, and gives an announcement of some parts of the results in [1,8,10,11]. We show two instances of dynamical rigidity of Ginibre interacting Brownian motion in infinite dimensions. This stochastic dynamics is given by the infinite-dimensional stochastic different… ▽ More This paper is based on the talk in "Probability Symposium" at Research Institute of Mathematical Sciences (Kyoto University) on 2013/12/18, and gives an announcement of some parts of the results in [1,8,10,11]. We show two instances of dynamical rigidity of Ginibre interacting Brownian motion in infinite dimensions. This stochastic dynamics is given by the infinite-dimensional stochastic differential equation describing infinite-many Brownian particles in the plane interacting through two-dimensional Coulomb potential. The first dynamical rigidity is that the Ginibre interacting Brownian motion is a unique, strong solution of two different infinite dimensional stochastic differential equations. The second shows that the tagged particles of Ginibre interacting Brownian motion are sub diffusive. We also propose the notion of "Coulomb random point fields" and the associated "Coulomb interacting Brownian motions". △ Less

Submitted 23 May, 2014; originally announced May 2014.

Comments: This paper is based on the talk in "Probability Symposium" at Research Institute of Mathematical Sciences (Kyoto University) on 2013/12/18, and gives an announcement of some parts of the results in [1,8,10,11]

MSC Class: 60J45; 60B20; 60J60

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.

Comments: 6 pages, revised version, published in PJA in 2014

MSC Class: 60J45; 60B20; 60J60

Infinite-dimensional stochastic differential equations related to Bessel random point fields

Authors: Ryuich Honda, Hirofumi Osada

Abstract: We solve the infinite-dimensional stochastic differential equations (ISDEs) describing an infinite number of Brownian particles in $ \mathbb{R}^+$ interacting through the two-dimensional Coulomb potential. The equilibrium states of the associated unlabeled stochastic dynamics are Bessel random point fields. To solve these ISDEs, we calculate the logarithmic derivatives, and we prove that the rando… ▽ More We solve the infinite-dimensional stochastic differential equations (ISDEs) describing an infinite number of Brownian particles in $ \mathbb{R}^+$ interacting through the two-dimensional Coulomb potential. The equilibrium states of the associated unlabeled stochastic dynamics are Bessel random point fields. To solve these ISDEs, we calculate the logarithmic derivatives, and we prove that the random point fields are quasi-Gibbsian. △ Less

Submitted 10 May, 2015; v1 submitted 2 May, 2014; originally announced May 2014.

Comments: Accepted in Stochastic Processes and Their Applications. 29 pages

MSC Class: 82C22; 15A52; 60J60; 60K35; 82B21

Interacting Brownian motions in infinite dimensions with logarithmic interaction potentials II: Airy random point field

Authors: Hirofumi Osada

Abstract: We give a new sufficient condition of the quasi-Gibbs property. This result is a refinement of one given in a previous paper (\cite{o.rm}), and will be used in a forth coming paper to prove the quasi-Gibbs property of Airy random point fields (RPFs) and other RPFs appearing under soft-edge scaling. The quasi-Gibbs property of RPFs is one of the key ingredients to solve the associated infinite-dime… ▽ More We give a new sufficient condition of the quasi-Gibbs property. This result is a refinement of one given in a previous paper (\cite{o.rm}), and will be used in a forth coming paper to prove the quasi-Gibbs property of Airy random point fields (RPFs) and other RPFs appearing under soft-edge scaling. The quasi-Gibbs property of RPFs is one of the key ingredients to solve the associated infinite-dimensional stochastic differential equation (ISDE). Because of the divergence of the free potentials and the interactions of the finite particle approximation under soft-edge scaling, the result of the previous paper excludes the Airy RPFs, although Airy RPFs are the most significant RPFs appearing in random matrix theory. We will use the result of the present paper to solve the ISDE for which the unlabeled equilibrium state is the $\mathrm{Airy}_β$ RPF with $ β= 1,2,4 $. △ Less

Submitted 8 November, 2012; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: arXiv admin note: text overlap with arXiv:0902.3561

MSC Class: 60J60; 60K35; 82B21; 82C22

Infinite-dimensional stochastic differential equations related to random matrices

Authors: Hirofumi Osada

Abstract: We solve infinite-dimensional stochastic differential equations (ISDEs) describing an infinite number of Brownian particles interacting via two-dimensional Coulomb potentials. The equilibrium states of the associated unlabeled stochastic dynamics are the Ginibre random point field and Dyson's measures, which appear in random matrix theory. To solve the ISDEs we establish an integration by parts fo… ▽ More We solve infinite-dimensional stochastic differential equations (ISDEs) describing an infinite number of Brownian particles interacting via two-dimensional Coulomb potentials. The equilibrium states of the associated unlabeled stochastic dynamics are the Ginibre random point field and Dyson's measures, which appear in random matrix theory. To solve the ISDEs we establish an integration by parts formula for these measures. Because the long-range effect of two-dimensional Coulomb potentials is quite strong, the properties of Brownian particles interacting with two-dimensional Coulomb potentials are remarkably different from those of Brownian particles interacting with Ruelle's class interaction potentials. As an example, we prove that the interacting Brownian particles associated with the Ginibre random point field satisfy plural ISDEs. △ Less

Submitted 6 February, 2011; v1 submitted 2 April, 2010; originally announced April 2010.

Comments: 30 pages

MSC Class: 82C22; 15A52; 60J60; 60K35; 82B21

Tagged particle processes and their non-explosion criteria

Authors: Hirofumi Osada

Abstract: We give a derivation of tagged particle processes from unlabeled interacting Brownian motions. We give a criteria of the non-explosion property of tagged particle processes. We prove the quasi-regularity of Dirichlet forms describing the environment seen from the tagged particle, which were used in previous papers to prove the invariance principle of tagged particles of interacting Brownian moti… ▽ More We give a derivation of tagged particle processes from unlabeled interacting Brownian motions. We give a criteria of the non-explosion property of tagged particle processes. We prove the quasi-regularity of Dirichlet forms describing the environment seen from the tagged particle, which were used in previous papers to prove the invariance principle of tagged particles of interacting Brownian motions. △ Less

Submitted 25 March, 2010; v1 submitted 25 May, 2009; originally announced May 2009.

Comments: 22pages

MSC Class: 60J60; 60K35; 82B21; 82C22

Interacting Brownian motions in infinite dimensions with logarithmic interaction potentials

Authors: Hirofumi Osada

Abstract: 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 diffus… ▽ More 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 Brownian motions. The former is a particle system in $\mathbb{R}$, while the latter is in $\mathbb{R}^2$. Both models are translation and rotation invariant in space, and as such, are prototypes of dimensions $d=1,2$, respectively. The equilibrium states of the former diffusion model are determinantal or Pfaffian random point fields with sine kernels. They appear in the thermodynamical limits of the spectrum of the ensembles of Gaussian random matrices such as GOE, GUE and GSE. The equilibrium states of the latter diffusion model are the thermodynamical limits of the spectrum of the ensemble of complex non-Hermitian Gaussian random matrices known as the Ginibre ensemble. △ Less

Submitted 4 February, 2013; v1 submitted 20 February, 2009; originally announced February 2009.

Comments: Published in at http://dx.doi.org/10.1214/11-AOP736 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP736 MSC Class: 60K35; 60J60 (Primary) 82C22; 82B21 (Secondary)

Journal ref: Annals of Probability 2013, Vol. 41, No. 1, 1-49