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

TL;DR

This paper investigates the collision properties of Dyson's infinite-dimensional stochastic dynamics, proving non-collision under certain conditions and constructing related infinite-volume diffusions with determinantal point field equilibria.

Contribution

It establishes non-collision criteria for Dyson's model and similar dynamics, and constructs infinite-volume diffusions with determinantal point field equilibria, advancing understanding of infinite-dimensional stochastic processes.

Findings

Particles in Dyson's model never collide under Lipschitz continuous kernels.

Examples of collision are provided when kernels are H"older continuous.

Constructed infinite-volume diffusions with determinantal point field equilibria.

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