Researcher profile

Hirofumi Osada

Hirofumi Osada contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

Dynamical Universality for Random Matrices

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.

preprint2021arXiv

Dyson's model in infinite dimensions is irreducible

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.

preprint2021arXiv

Infinite-dimensional stochastic differential equations and tail $ σ$-fields II: the IFC condition

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.

preprint2020arXiv

Infinite-dimensional stochastic differential equations and tail $ σ$-fields

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.

preprint2015arXiv

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

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}$.

preprint2015arXiv

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

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.

preprint2015arXiv

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

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.

preprint2015arXiv

Strong Markov property of determinantal processes with extended kernels

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.

preprint2014arXiv

Cores of Dirichlet forms related to random matrix theory

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.

preprint2014arXiv

Dynamical rigidity of stochastic Coulomb systems in infinite-dimensions

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

preprint2013arXiv

Interacting Brownian motions in infinite dimensions with logarithmic interaction potentials

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.

preprint2012arXiv

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

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

preprint2011arXiv

Infinite-dimensional stochastic differential equations related to random matrices

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.

preprint2010arXiv

Tagged particle processes and their non-explosion criteria

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.