Showing 1–50 of 85 results for author: Katori, M

Accumulated spectrograms for hyperuniform determinantal point processes

Authors: Makoto Katori, Pierre Lazag, Tomoyuki Shirai

Abstract: We define the accumulated spectrogram associated to a locally trace class orthogonal projection operator and to a bounded set using the polar decomposition of its restriction on that set and prove a convergence theorem for accumulated spectrograms along an exhaustion in the case when the corresponding determinantal point process is hyperuniform. We prove that a radial determinantal point process o… ▽ More We define the accumulated spectrogram associated to a locally trace class orthogonal projection operator and to a bounded set using the polar decomposition of its restriction on that set and prove a convergence theorem for accumulated spectrograms along an exhaustion in the case when the corresponding determinantal point process is hyperuniform. We prove that a radial determinantal point process on Rd is always hyperuniform along the exhaustion formed by the dilations of a bounded open set, and as a consequence, we obtain that dilations of the corresponding accumulated spectrogram converge to the indicator function of the considered set, establishing thus a universal phenomenon. Our result is a generalisation of a theorem by Abreu-Gröchenig-Romero in [1] concerning time-frequency localization operators. △ Less

Submitted 30 March, 2024; v1 submitted 24 March, 2024; originally announced March 2024.

Eigenvalue and pseudospectrum processes generated by nonnormal Toeplitz matrices with perturbation

Authors: Saori Morimoto, Makoto Katori, Tomoyuki Shirai

Abstract: Motivated by the recent study of the non-Hermitian matrix-valued Brownian motion, we propose two kinds of dynamical processes of $n \times n$ matrices generated by nonnormal Toeplitz matrices. As a perturbation $δJ$ is added at time $m \leq n$, where $δ\in {\mathbb{C}}$ and $J$ is the all-one matrix. First we report the complicated motions of the ``eigenvalues'' which are numerically calculated. T… ▽ More Motivated by the recent study of the non-Hermitian matrix-valued Brownian motion, we propose two kinds of dynamical processes of $n \times n$ matrices generated by nonnormal Toeplitz matrices. As a perturbation $δJ$ is added at time $m \leq n$, where $δ\in {\mathbb{C}}$ and $J$ is the all-one matrix. First we report the complicated motions of the ``eigenvalues'' which are numerically calculated. Then we derive the equations which determine the exact-eigenvalue processes. Comparison between the numerical results and the solutions of the equations, coexistence of exact eigenvalues and pseudospectra in the numerical results is clarified. The Catalan numbers play an important role to describe the specified exact eigenvalues. We tried to characterize the numerical results using the symbol curves of the corresponding nonnormal Toeplitz operators without perturbation. Then we report a new phenomenon in our second model such that at each time the outermost closed simple curve cut out from the symbol curve is realized as exact eigenvalues, but the inner part of symbol curve composed of several closed simple curves osculating each other is reduced in size and embedded as a complicated structure in the pseudospectrum. The asymptotics of the processes in the infinite-matrix limit $n \to \infty$ are also discussed. △ Less

Submitted 2 March, 2024; v1 submitted 16 January, 2024; originally announced January 2024.

Comments: v2: LaTeX, 33 pages, 11 figures

Switching particle systems for foraging ants showing phase transitions in path selections

Authors: Ayana Ezoe, Saori Morimoto, Yuya Tanaka, Makoto Katori, Hiraku Nishimori

Abstract: Switching interacting particle systems studied in probability theory are the stochastic processes of hop** particles on a lattice made up of slow and fast particles, where the switching between these types of particles occurs randomly at a given transition rate. This paper explores how such stochastic processes involving multiple particles can model group behaviors of ants. Recent experimental r… ▽ More Switching interacting particle systems studied in probability theory are the stochastic processes of hop** particles on a lattice made up of slow and fast particles, where the switching between these types of particles occurs randomly at a given transition rate. This paper explores how such stochastic processes involving multiple particles can model group behaviors of ants. Recent experimental research by the last author's group has investigated how ants switch between two types of primarily relied cues to select foraging paths based on the current situation. Here, we propose a discrete-time interacting random walk model on a square lattice, incorporating two types of hop** rules. Numerical simulation results demonstrate global changes in selected homing paths, transitioning from trailing paths of the `pheromone road' to nearly optimal paths depending on the switching parameters. By introducing two types of order parameters characterizing the dependence of homing duration distributions on switching parameters, we discuss these global changes as phase transitions in ant path selections. We also study critical phenomena associated with continuous phase transitions. △ Less

Submitted 9 April, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: v3: LaTeX, 22 pages, 7 figures

Journal ref: Physica A (2024) 129798

Eigenvalues, eigenvector-overlaps, and regularized Fuglede-Kadison determinant of the non-Hermitian matrix-valued Brownian motion

Authors: Syota Esaki, Makoto Katori, Satoshi Yabuoku

Abstract: The non-Hermitian matrix-valued Brownian motion is the stochastic process of a random matrix whose entries are given by independent complex Brownian motions. The bi-orthogonality relation is imposed between the right and the left eigenvector processes, which allows for their scale transformations with an invariant eigenvalue process. The eigenvector-overlap process is a Hermitian matrix-valued pro… ▽ More The non-Hermitian matrix-valued Brownian motion is the stochastic process of a random matrix whose entries are given by independent complex Brownian motions. The bi-orthogonality relation is imposed between the right and the left eigenvector processes, which allows for their scale transformations with an invariant eigenvalue process. The eigenvector-overlap process is a Hermitian matrix-valued process, each element of which is given by a product of an overlap of right eigenvectors and that of left eigenvectors. We derive a set of stochastic differential equations (SDEs) for the coupled system of the eigenvalue process and the eigenvector-overlap process and prove the scale-transformation invariance of the obtained SDE system. The Fuglede--Kadison (FK) determinant associated with the present matrix-valued process is regularized by introducing an auxiliary complex variable. This variable is necessary to give the stochastic partial differential equations (SPDEs) for the time-dependent random field defined by the regularized FK determinant and for its squared and logarithmic variations. Time-dependent point process of eigenvalues and its variation weighted by the diagonal elements of the eigenvector-overlap process are related to the derivatives of the logarithmic regularized FK-determinant random-field. We also discuss the PDEs obtained by averaging the SPDEs. △ Less

Submitted 2 October, 2023; v1 submitted 31 May, 2023; originally announced June 2023.

Comments: v3: LaTeX, 38 pages, no figure

MSC Class: 60B20; 60H10; 60H15; 60G55

On an identity of Chaundy and Bullard. III. Basic and elliptic extensions

Authors: Natsuko Hoshi, Makoto Katori, Tom H. Koornwinder, Michael J. Schlosser

Abstract: The identity by Chaundy and Bullard expresses $1$ as a sum of two truncated binomial series in one variable where the truncations depend on two different non-negative integers. We present basic and elliptic extensions of the Chaundy--Bullard identity. The most general result, the elliptic extension, involves, in addition to the nome $p$ and the base $q$, four independent complex variables. Our pro… ▽ More The identity by Chaundy and Bullard expresses $1$ as a sum of two truncated binomial series in one variable where the truncations depend on two different non-negative integers. We present basic and elliptic extensions of the Chaundy--Bullard identity. The most general result, the elliptic extension, involves, in addition to the nome $p$ and the base $q$, four independent complex variables. Our proof uses a suitable weighted lattice path model. We also show how three of the basic extensions can be viewed as Bézout identities. Inspired by the lattice path model, we give a new elliptic extension of the binomial theorem, taking the form of an identity for elliptic commuting variables. We further present variants of the homogeneous form of the identity for $q$-commuting and for elliptic commuting variables. △ Less

Submitted 14 July, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: 22 pages, dedicated to the memory of Richard Allen Askey; minor changes

MSC Class: 05A19 (Primary) 05A10; 05A30; 05C22; 05C81; 11B65; 33D15; 33E05 (Secondary)

Point Processes and Multiple SLE/GFF Coupling

Authors: Makoto Katori

Abstract: In the series of lectures, we will discuss probability laws of random points, curves, and surfaces. Starting from a brief review of the notion of martingales, one-dimensional Brownian motion (BM), and the $D$-dimensional Bessel processes, BES$_{D}$, $D \geq 1$, first we study Dyson's Brownian motion model with parameter $β>0$, DYS$_β$, which is regarded as multivariate extensions of BES$_D$ with t… ▽ More In the series of lectures, we will discuss probability laws of random points, curves, and surfaces. Starting from a brief review of the notion of martingales, one-dimensional Brownian motion (BM), and the $D$-dimensional Bessel processes, BES$_{D}$, $D \geq 1$, first we study Dyson's Brownian motion model with parameter $β>0$, DYS$_β$, which is regarded as multivariate extensions of BES$_D$ with the relation $β=D-1$. Next, using the reproducing kernels of Hilbert function spaces, the Gaussian analytic functions (GAFs) are defined on a unit disk and an annulus. As zeros of the GAFs, determinantal point processes and permanental-determinantal point processes are obtained. Then, the Schramm--Loewner evolution with parameter $κ>0$, SLE$_κ$, is introduced, which is driven by a BM on ${\mathbb{R}}$ and generates a family of conformally invariant probability laws of random curves on the upper half complex plane ${\mathbb{H}}$. We regard SLE$_κ$ as a complexification of BES$_D$ with the relation $κ=4/(D-1)$. The last topic of lectures is the construction of the multiple SLE$_κ$, which is driven by the $N$-particle process on ${\mathbb{R}}$ and generates $N$ interacting random curves in ${\mathbb{H}}$. We prove that the multiple SLE/GFF coupling is established, if and only if the driving $N$-particle process on ${\mathbb{R}}$ is identified with DYS$_β$ with the relation $β=8/κ$. △ Less

Submitted 12 August, 2022; v1 submitted 28 July, 2022; originally announced July 2022.

Comments: v3: LaTeX, 92 pages, 9 figures; lectures for the 4th ZiF Summer School `Randomness in Physics and Mathematics: From Integrable Probability to Disordered Systems' held at ZiF--Center for Interdisciplinary Research, Bielefeld University, Germany, 1-13 August 2022

Hyperuniformity of the determinantal point processes associated with the Heisenberg group

Authors: Makoto Katori

Abstract: The Ginibre point process is given by the eigenvalue distribution of a non-hermitian complex Gaussian matrix in the infinite matrix-size limit. This is a determinantal point process (DPP) on the complex plane ${\mathbb{C}}$ in the sense that all correlation functions are given by determinants specified by an integral kernel called the correlation kernel. Shirai introduced the one-parameter (… ▽ More The Ginibre point process is given by the eigenvalue distribution of a non-hermitian complex Gaussian matrix in the infinite matrix-size limit. This is a determinantal point process (DPP) on the complex plane ${\mathbb{C}}$ in the sense that all correlation functions are given by determinants specified by an integral kernel called the correlation kernel. Shirai introduced the one-parameter ($m \in {\mathbb{N}}_0$) extensions of the Ginibre DPP and called them the Ginibre-type point processes. In the present paper we consider a generalization of the Ginibre and the Ginibre-type point processes on ${\mathbb{C}}$ to the DPPs in the higher-dimensional spaces, ${\mathbb{C}}^D, D=2,3, \dots$, in which they are parameterized by a multivariate level $m \in {\mathbb{N}}_0^D$. We call the obtained point processes the extended Heisenberg family of DPPs, since the correlation kernels are generally identified with the correlations of two points in the space of Heisenberg group expressed by the Schrödinger representations. We prove that all DPPs in this large family are in Class I of hyperuniformity. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 18 pages, no figure; This manuscript was prepared for the Proceedings of the 2021 RIMS Workshop `Mathematical Aspects of Quantum Fields and Related Topics', which was held online on December 6--8, 2021. The Proceedings will be issued in RIMS Kôkyûroku edited by Fumio Hiroshima and published at Kyoto University Research Information Repository and RIMS Homepage

Local universality of determinantal point processes on Riemannian manifolds

Authors: Makoto Katori, Tomoyuki Shirai

Abstract: We consider the Laplace-Beltrami operator $Δ_g$ on a smooth, compact Riemannian manifold $(M,g)$ and the determinantal point process $\mathcal{X}_λ$ on $M$ associated with the spectral projection of $-Δ_g$ onto the subspace corresponding to the eigenvalues up to $λ^2$. We show that the pull-back of $\mathcal{X}_λ$ by the exponential map $\exp_p : T_p^*M \to M$ under a suitable scaling converges we… ▽ More We consider the Laplace-Beltrami operator $Δ_g$ on a smooth, compact Riemannian manifold $(M,g)$ and the determinantal point process $\mathcal{X}_λ$ on $M$ associated with the spectral projection of $-Δ_g$ onto the subspace corresponding to the eigenvalues up to $λ^2$. We show that the pull-back of $\mathcal{X}_λ$ by the exponential map $\exp_p : T_p^*M \to M$ under a suitable scaling converges weakly to the universal determinantal point process on $T_p^* M$ as $λ\to \infty$. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 9 pages

MSC Class: 60G55; 60B10 (Primary) 60B20; 46E22 (Secondary)

Scaling limit for determinantal point processes on spheres

Authors: Makoto Katori, Tomoyuki Shirai

Abstract: The unitary group with the Haar probability measure is called Circular Unitary Ensemble. All the eigenvalues lie on the unit circle in the complex plane and they can be regarded as a determinantal point process on $\mathbb{S}^1$. It is also known that the scaled point processes converge weakly to the determinantal point process associated with the so-called sine kernel as the size of matrices tend… ▽ More The unitary group with the Haar probability measure is called Circular Unitary Ensemble. All the eigenvalues lie on the unit circle in the complex plane and they can be regarded as a determinantal point process on $\mathbb{S}^1$. It is also known that the scaled point processes converge weakly to the determinantal point process associated with the so-called sine kernel as the size of matrices tends to $\infty$. We extend this result to the case of high-dimensional spheres and show that the scaling limit processes are determinantal point processes associated with the kernels expressed by the Bessel functions of the first kind. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: "Stochastic Analysis on Large Scale Interacting Systems". November 5-8, 2018. edited by Ryoki Fukushima, Tadahisa Funaki, Yukio Nagahata, Hirofumi Osada and Kenkichi Tsunoda. The papers presented in this volume of RIMS Kôkyûroku Bessatsu are in final form and refereed. http://hdl.handle.net/2433/260647

MSC Class: 60G55; 60B10 (Primary); 60B20; 46E22 (Secondary)

Journal ref: RIMS Kôkyûroku Bessatsu B79 (2020), 123-138

Functional Equations Solving Initial-Value Problems of Complex Burgers-Type Equations for One-Dimensional Log-Gases

Authors: Taiki Endo, Makoto Katori, Noriyoshi Sakuma

Abstract: We study the hydrodynamic limits of three kinds of one-dimensional stochastic log-gases known as Dyson's Brownian motion model, its chiral version, and the Bru-Wishart process studied in dynamical random matrix theory. We define the measure-valued processes so that their Cauchy transforms solve the complex Burgers-type equations. We show that applications of the method of characteristic curves to… ▽ More We study the hydrodynamic limits of three kinds of one-dimensional stochastic log-gases known as Dyson's Brownian motion model, its chiral version, and the Bru-Wishart process studied in dynamical random matrix theory. We define the measure-valued processes so that their Cauchy transforms solve the complex Burgers-type equations. We show that applications of the method of characteristic curves to these partial differential equations provide the functional equations relating the Cauchy transforms of measures at an arbitrary time with those at the initial time. We transform the functional equations for the Cauchy transforms to those for the $R$-transforms and the $S$-transforms of the measures, which play central roles in free probability theory. The obtained functional equations for the $R$-transforms and the $S$-transforms are simpler than those for the Cauchy transforms and useful for explicit calculations including the computation of free cumulant sequences. Some of the results are argued using the notion of free convolutions. △ Less

Submitted 2 July, 2022; v1 submitted 1 June, 2021; originally announced June 2021.

MSC Class: 82C22; 60B20; 44A15; 46L54

Journal ref: SIGMA 18 (2022), 049, 22 pages

Spreading and Suppression of Infection Clusters on the Ginibre Continuum Percolation Clusters

Authors: Machiko Katori, Makoto Katori

Abstract: Off-lattice SIR models are constructed on continuum percolation clusters defined on the Ginibre point process (GPP) and on the Poisson point process (PPP). The static percolation transitions in the continuum percolation models as well as the infection-spreading transitions in the SIR models, which are regarded as the dynamic percolation transitions, are enhanced in the GPP-based model compared wit… ▽ More Off-lattice SIR models are constructed on continuum percolation clusters defined on the Ginibre point process (GPP) and on the Poisson point process (PPP). The static percolation transitions in the continuum percolation models as well as the infection-spreading transitions in the SIR models, which are regarded as the dynamic percolation transitions, are enhanced in the GPP-based model compared with the PPP-based model. This enhancement is caused by hyperuniformity of the GPP. On the other hand, in the extinction phase of infection on the phase diagram, a wide parameter region is determined in which formation of infection clusters is suppressed in the GPP-based model compared with the PPP-based model. We think that the PPP approximates a disordered configuration of individuals and the GPP does a configuration of citizens adopting a strategy to keep social distancing in a city in order to avoid contagion. The suppression of infection clusters observed in the GPP-based model will prove that such a strategy is effective when the infectivity is relatively small. △ Less

Submitted 29 June, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 16 pages, 6 figures, bibtex. arXiv admin note: text overlap with arXiv:2103.08461

Continuum Percolation and Stochastic Epidemic Models on Poisson and Ginibre Point Processes

Authors: Machiko Katori, Makoto Katori

Abstract: The most studied continuum percolation model in two dimensions is the Boolean model consisting of disks with the same radius whose centers are randomly distributed on the Poisson point process (PPP). We also consider the Boolean percolation model on the Ginibre point process (GPP), which is a typical repelling point process realizing hyperuniformity. We think that the PPP approximates a disordered… ▽ More The most studied continuum percolation model in two dimensions is the Boolean model consisting of disks with the same radius whose centers are randomly distributed on the Poisson point process (PPP). We also consider the Boolean percolation model on the Ginibre point process (GPP), which is a typical repelling point process realizing hyperuniformity. We think that the PPP approximates a disordered configuration of individuals, while the GPP does a configuration of citizens adopting a strategy to keep social distancing in a city in order to avoid contagion. We consider the SIR models with contagious infection on supercritical percolation clusters formed on the PPP and the GPP. By numerical simulations, we studied dependence of the percolation phenomena and the infection processes on the PPP- and the GPP-underlying graphs. We show that in a subcritical regime of infection rate the PPP-based models show emergence of infection clusters on clum** of points which is formed by fluctuation of uncorrelated Poissonian statistics. On the other hand, the cumulative numbers of infected individuals in processes are suppressed in the GPP-based models. △ Less

Submitted 24 June, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: v4: bibtex, 30 pages, 11 figures. Final version for publication in Physica A

Journal ref: Physica A 581 (2021) 126191, 14 pages

Local number variances and hyperuniformity of the Heisenberg family of determinantal point processes

Authors: Takato Matsui, Makoto Katori, Tomoyuki Shirai

Abstract: The bulk scaling limit of eigenvalue distribution on the complex plane ${\mathbb{C}}$ of the complex Ginibre random matrices provides a determinantal point process (DPP). This point process is a typical example of disordered hyperuniform system characterized by an anomalous suppression of large-scale density fluctuations. As extensions of the Ginibre DPP, we consider a family of DPPs defined on th… ▽ More The bulk scaling limit of eigenvalue distribution on the complex plane ${\mathbb{C}}$ of the complex Ginibre random matrices provides a determinantal point process (DPP). This point process is a typical example of disordered hyperuniform system characterized by an anomalous suppression of large-scale density fluctuations. As extensions of the Ginibre DPP, we consider a family of DPPs defined on the $D$-dimensional complex spaces ${\mathbb{C}}$, $D \in {\mathbb{N}}$, in which the Ginibre DPP is realized when $D=1$. This one-parameter family ($D \in {\mathbb{N}}$) of DPPs is called the Heisenberg family, since the correlation kernels are identified with the Szegő kernels for the reduced Heisenberg group. For each $D$, using the modified Bessel functions, an exact and useful expression is shown for the local number variance of points included in a ball with radius $R$ in ${\mathbb{R}}^{2D} \simeq {\mathbb{C}}^D$. We prove that any DPP in the Heisenberg family is in the hyperuniform state of Class I, in the sense that the number variance behaves as $R^{2D-1}$ as $R \to \infty$. Our exact results provide asymptotic expansions of the number variances in large $R$. △ Less

Submitted 8 March, 2021; v1 submitted 18 December, 2020; originally announced December 2020.

Comments: v3: 24 pages, no figure, revised for publication in J. Phys. A: Math. Theor

Journal ref: J. Phys. A: Math. Theor. 54 (2021) 165201 (22 pages)

Three phases of multiple SLE driven by non-colliding Dyson's Brownian motions

Authors: Makoto Katori, Shinji Koshida

Abstract: The present paper is concerned with properties of multiple Schramm--Loewner evolutions (SLEs) labelled by a parameter $κ\in (0,8]$. Specifically, we consider the solution of the multiple Loewner equation driven by a time change of Dyson's Brownian motions in the non-colliding regime. Although it is often considered that several properties of the solution can be studied by means of commutation rela… ▽ More The present paper is concerned with properties of multiple Schramm--Loewner evolutions (SLEs) labelled by a parameter $κ\in (0,8]$. Specifically, we consider the solution of the multiple Loewner equation driven by a time change of Dyson's Brownian motions in the non-colliding regime. Although it is often considered that several properties of the solution can be studied by means of commutation relations of SLEs and the absolute continuity, this method is available only in the case that the curves generated by commuting SLEs are separated. Beyond this restriction, it is not even obvious that the solution of the multiple Loewner equation generates multiple curves. To overcome this difficulty, we employ the coupling of Gaussian free fields and multiple SLEs. Consequently, we prove the longstanding conjecture that the solution indeed generates multiple continuous curves. Furthermore, these multiple curves are (i) simple disjoint curves when $κ\in (0,4]$, (ii) intersecting curves when $κ\in (4,8)$, and (iii) space-filling curves when $κ=8$. △ Less

Submitted 24 June, 2021; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: 19 pages, no figure. Accepted version in J. Phys. A

MSC Class: 60D05; 60J67; 82C22

Journal ref: J. Phys. A: Math. Theor. 54 325002 (2021)

Zeros of the i.i.d. Gaussian Laurent series on an annulus: weighted Szegő kernels and permanental-determinantal point processes

Authors: Makoto Katori, Tomoyuki Shirai

Abstract: On an annulus ${\mathbb{A}}_q :=\{z \in {\mathbb{C}}: q < |z| < 1\}$ with a fixed $q \in (0, 1)$, we study a Gaussian analytic function (GAF) and its zero set which defines a point process on ${\mathbb{A}}_q$ called the zero point process of the GAF. The GAF is defined by the i.i.d.~Gaussian Laurent series such that the covariance kernel parameterized by $r >0$ is identified with the weighted Szeg… ▽ More On an annulus ${\mathbb{A}}_q :=\{z \in {\mathbb{C}}: q < |z| < 1\}$ with a fixed $q \in (0, 1)$, we study a Gaussian analytic function (GAF) and its zero set which defines a point process on ${\mathbb{A}}_q$ called the zero point process of the GAF. The GAF is defined by the i.i.d.~Gaussian Laurent series such that the covariance kernel parameterized by $r >0$ is identified with the weighted Szegő kernel of ${\mathbb{A}}_q$ with the weight parameter $r$ studied by Mccullough and Shen. The GAF and the zero point process are rotationally invariant and have a symmetry associated with the $q$-inversion of coordinate $z \leftrightarrow q/z$ and the parameter change $r \leftrightarrow q^2/r$. When $r=q$ they are invariant under conformal transformations which preserve ${\mathbb{A}}_q$. Conditioning the GAF by adding zeros, new GAFs are induced such that the covariance kernels are also given by the weighted Szegő kernel of Mccullough and Shen but the weight parameter $r$ is changed depending on the added zeros. We also prove that the zero point process of the GAF provides a permanental-determinantal point process (PDPP) in which each correlation function is expressed by a permanent multiplied by a determinant. Dependence on $r$ of the unfolded 2-correlation function of the PDPP is studied. If we take the limit $q \to 0$, a simpler but still non-trivial PDPP is obtained on the unit disk ${\mathbb{D}}$. We observe that the limit PDPP indexed by $r \in (0, \infty)$ can be regarded as an interpolation between the determinantal point process (DPP) on ${\mathbb{D}}$ studied by Peres and Virág ($r \to 0$) and that DPP of Peres and Virág with a deterministic zero added at the origin ($r \to \infty$). △ Less

Submitted 16 February, 2022; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: v3: LaTeX 58 pages, 3 figures

MSC Class: 60G55; 30B20; 46E22; 32A25

Determinantal Point Processes, Stochastic Log-Gases, and Beyond

Authors: Makoto Katori

Abstract: A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures, whose correlation functions are all given by determinants specified by an integral kernel called the correlation kernel. First we show our new scheme of DPPs in which a notion of partial isometies between a pair of Hilbert spaces plays an important role. Many examples of DPPs in one-, two-, and… ▽ More A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures, whose correlation functions are all given by determinants specified by an integral kernel called the correlation kernel. First we show our new scheme of DPPs in which a notion of partial isometies between a pair of Hilbert spaces plays an important role. Many examples of DPPs in one-, two-, and higher-dimensional spaces are demonstrated, where several types of weak convergence from finite DPPs to infinite DPPs are given. Dynamical extensions of DPP are realized in one-dimensional systems of diffusive particles conditioned never to collide with each other. They are regarded as one-dimensional stochastic log-gases, or the two-dimensional Coulomb gases confined in one-dimensional spaces. In the second section, we consider such interacting particle systems in one dimension. We introduce a notion of determinantal martingale and prove that, if the system has determinantal martingale representation (DMR), then it is a determinantal stochastic process (DSP) in the sense that all spatio-temporal correlation function are expressed by a determinant. In the last section, we construct processes of Gaussian free fields (GFFs) on simply connected proper subdomains of $\mathbb{C}$ coupled with interacting particle systems defined on boundaries of the domains. There we use multiple Schramm--Loewner evolutions (SLEs) driven by the interacting particle systems. We prove that, if the driving processes are time-changes of the log-gases studied in the second section, then the obtained GFF with multiple SLEs are stationary. The stationarity defines an equivalence relation of GFFs, which will be regarded as a generalization of the imaginary surface studied by Miller and Sheffield. △ Less

Submitted 7 March, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: v2: LaTeX 79 pages, no figure. This manuscript was prepared for the mini course given at `Workshop on Probability and Stochastic Processes' held at Orange County, Coorg, India, from 23rd to 26th February, 2020, which was organized by the Indian Academy of Sciences, Bangalore. arXiv admin note: substantial text overlap with arXiv:1903.04945

Gaussian free fields coupled with multiple SLEs driven by stochastic log-gases

Authors: Makoto Katori, Shinji Koshida

Abstract: Miller and Sheffield introduced the notion of an imaginary surface as an equivalence class of pairs of simply connected proper subdomains of $\mathbb{C}$ and Gaussian free fields (GFFs) on them under the conformal equivalence. They considered the situation in which the conformal maps are given by a chordal Schramm--Loewner evolution (SLE). In the present paper, we construct GFF-valued processes on… ▽ More Miller and Sheffield introduced the notion of an imaginary surface as an equivalence class of pairs of simply connected proper subdomains of $\mathbb{C}$ and Gaussian free fields (GFFs) on them under the conformal equivalence. They considered the situation in which the conformal maps are given by a chordal Schramm--Loewner evolution (SLE). In the present paper, we construct GFF-valued processes on $\mathbb{H}$ (the upper half-plane) and $\mathbb{O}$ (the first orthant of $\mathbb{C}$) by coupling a GFF with a multiple SLE evolving in time on each domain. We prove that a GFF on $\mathbb{H}$ and $\mathbb{O}$ is locally coupled with a multiple SLE if the multiple SLE is driven by the stochastic log-gas called the Dyson model defined on $\mathbb{R}$ and the Bru--Wishart process defined on $\mathbb{R}_+$, respectively. We obtain pairs of time-evolutionary domains and GFF-valued processes. △ Less

Submitted 14 July, 2021; v1 submitted 9 January, 2020; originally announced January 2020.

Comments: v7: LaTex, 21 pages, no figure. This manuscript was prepared for the proceeding of the workshop of the 12th Mathematical Society of Japan, Seasonal Institute (MSJ-SI), `Stochastic Analysis, Random Fields and Integrable Probability', held at Kyushu University, Fukuoka, Japan, July 31--August 9, 2019. The proceeding will be published in Advanced Studies in Pure Mathematics 87, 2021

MSC Class: 60D05; 60J67; 82C22; 60B20

Journal ref: Advanced Studies in Pure Mathematics 87 (2021) pp. 315--340

Three-Parametric Marcenko-Pastur Density

Authors: Taiki Endo, Makoto Katori

Abstract: The complex Wishart ensemble is the statistical ensemble of $M \times N$ complex random matrices with $M \geq N$ such that the real and imaginary parts of each element are given by independent standard normal variables. The Marcenko--Pastur (MP) density $ρ(x; r), x \geq 0$ describes the distribution for squares of the singular values of the random matrices in this ensemble in the scaling limit… ▽ More The complex Wishart ensemble is the statistical ensemble of $M \times N$ complex random matrices with $M \geq N$ such that the real and imaginary parts of each element are given by independent standard normal variables. The Marcenko--Pastur (MP) density $ρ(x; r), x \geq 0$ describes the distribution for squares of the singular values of the random matrices in this ensemble in the scaling limit $N \to \infty$, $M \to \infty$ with a fixed rectangularity $r=N/M \in (0, 1]$. The dynamical extension of the squared-singular-value distribution is realized by the noncolliding squared Bessel process, and its hydrodynamic limit provides the two-parametric MP density $ρ(x; r, t)$ with time $t \geq 0$, whose initial distribution is $δ(x)$. Recently, Blaizot, Nowak, and Warchol studied the time-dependent complex Wishart ensemble with an external source and introduced the three-parametric MP density $ρ(x; r, t, a)$ by analyzing the hydrodynamic limit of the process starting from $δ(x-a), a > 0$. In the present paper, we give useful expressions for $ρ(x; r, t, a)$ and perform a systematic study of dynamic critical phenomena observed at the critical time $t_{\rm c}(a)=a$ when $r=1$. The universal behavior in the long-term limit $t \to \infty$ is also reported. It is expected that the present system having the three-parametric MP density provides a mean-field model for QCD showing spontaneous chiral symmetry breaking. △ Less

Submitted 8 January, 2020; v1 submitted 17 July, 2019; originally announced July 2019.

Comments: v3; 21 pages,5 figures

Journal ref: J. Stat. Phys. 178(2020) 1397-1416

Conformal welding problem, flow line problem, and multiple Schramm--Loewner evolution

Authors: Makoto Katori, Shinji Koshida

Abstract: A quantum surface (QS) is an equivalence class of pairs $(D,H)$ of simply connected domains $D\subsetneq\mathbb{C}$ and random distributions $H$ on $D$ induced by the conformal equivalence for random metric spaces. This distribution-valued random field is extended to a QS with $N+1$ marked boundary points (MBPs) with $N\in\mathbb{Z}_{\ge 0}$. We propose the conformal welding problem for it in the… ▽ More A quantum surface (QS) is an equivalence class of pairs $(D,H)$ of simply connected domains $D\subsetneq\mathbb{C}$ and random distributions $H$ on $D$ induced by the conformal equivalence for random metric spaces. This distribution-valued random field is extended to a QS with $N+1$ marked boundary points (MBPs) with $N\in\mathbb{Z}_{\ge 0}$. We propose the conformal welding problem for it in the case of $N\in\mathbb{Z}_{\ge 1}$. If $N=1$, it is reduced to the problem introduced by Sheffield, who solved it by coupling the QS with the Schramm--Loewner evolution (SLE). When $N \ge 3$, there naturally appears room of making the configuration of MBPs random, and hence a new problem arises how to determine the probability law of the configuration. We report that the multiple SLE in $\mathbb{H}$ driven by the Dyson model on $\mathbb{R}$ helps us to fix the problems and makes them solvable for any $N \ge 3$. We also propose the flow line problem for an imaginary surface with boundary condition changing points (BCCPs). In the case when the number of BCCPs is two, this problem was solved by Miller and Sheffield. We address the general case with an arbitrary number of BCCPs in a similar manner to the conformal welding problem. We again find that the multiple SLE driven by the Dyson model plays a key role to solve the flow line problem. △ Less

Submitted 12 August, 2020; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: 37 pages, 7 figures, to appear in J. Math. Phys

MSC Class: 60D05; 60J67; 82C22

Journal ref: J. Math. Phys. 61, 083301 (2020)

Partial Isometries, Duality, and Determinantal Point Processes

Authors: Makoto Katori, Tomoyuki Shirai

Abstract: A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures $Ξ$ on a space $S$ with measure $λ$, whose correlation functions are all given by determinants specified by an integral kernel $K$ called the correlation kernel. We consider a pair of Hilbert spaces, $H_{\ell}, \ell=1,2$, which are assumed to be realized as $L^2$-spaces,… ▽ More A determinantal point process (DPP) is an ensemble of random nonnegative-integer-valued Radon measures $Ξ$ on a space $S$ with measure $λ$, whose correlation functions are all given by determinants specified by an integral kernel $K$ called the correlation kernel. We consider a pair of Hilbert spaces, $H_{\ell}, \ell=1,2$, which are assumed to be realized as $L^2$-spaces, $L^2(S_{\ell}, λ_{\ell})$, $\ell=1,2$, and introduce a bounded linear operator ${\cal W} : H_1 \to H_2$ and its adjoint ${\cal W}^{\ast} : H_2 \to H_1$. We show that if ${\cal W}$ is a partial isometry of locally Hilbert--Schmidt class, then we have a unique DPP on $(Ξ_1, K_1, λ_1)$ associated with ${\cal W}^* {\cal W}$. In addition, if ${\cal W}^*$ is also of locally Hilbert--Schmidt class, then we have a unique pair of DPPs, $(Ξ_{\ell}, K_{\ell}, λ_{\ell})$, $\ell=1,2$. We also give a practical framework which makes ${\cal W}$ and ${\cal W}^{\ast}$ satisfy the above conditions. Our framework to construct pairs of DPPs implies useful duality relations between DPPs making pairs. For a correlation kernel of a given DPP our formula can provide plural different expressions, which reveal different aspects of the DPP. In order to demonstrate these advantages of our framework as well as to show that the class of DPPs obtained by this method is large enough to study universal structures in a variety of DPPs, we report plenty of examples of DPPs in one-, two-, and higher-dimensional spaces $S$, where several types of weak convergence from finite DPPs to infinite DPPs are given. One-parameter ($d \in \mathbb{N}$) series of infinite DPPs on $S=\mathbb{R}^d$ and $\mathbb{C}^d$ are discussed, which we call the Euclidean and the Heisenberg families of DPPs, respectively, following the terminologies of Zelditch. △ Less

Submitted 7 September, 2021; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: v4: AMS-LaTeX, 61 pages, no figure, the final version for publication in Random Matrices: Theory and Applications. Dedicated to Professor Hirofumi Osada on the occasion of his 60th birthday

MSC Class: 60G55; 60B20; 46E22; 60B10

Two-Dimensional Elliptic Determinantal Point Processes and Related Systems

Authors: Makoto Katori

Abstract: We introduce new families of determinantal point processes (DPPs) on a complex plane ${\mathbb{C}}$, which are classified into seven types following the irreducible reduced affine root systems, $R_N=A_{N-1}$, $B_N$, $B^{\vee}_N$, $C_N$, $C^{\vee}_N$, $BC_N$, $D_N$, $N \in {\mathbb{N}}$. Their multivariate probability densities are doubly periodic with periods $(L, iW)$, $0 < L, W < \infty$,… ▽ More We introduce new families of determinantal point processes (DPPs) on a complex plane ${\mathbb{C}}$, which are classified into seven types following the irreducible reduced affine root systems, $R_N=A_{N-1}$, $B_N$, $B^{\vee}_N$, $C_N$, $C^{\vee}_N$, $BC_N$, $D_N$, $N \in {\mathbb{N}}$. Their multivariate probability densities are doubly periodic with periods $(L, iW)$, $0 < L, W < \infty$, $i=\sqrt{-1}$. The construction is based on the orthogonality relations with respect to the double integrals over the fundamental domain, $[0, L) \times i [0, W)$, which are proved in this paper for the $R_N$-theta functions introduced by Rosengren and Schlosser. In the scaling limit $N \to \infty, L \to \infty$ with constant density $ρ=N/(LW)$ and constant $W$, we obtain four types of DPPs with an infinite number of points on ${\mathbb{C}}$, which have periodicity with period $i W$. In the further limit $W \to \infty$ with constant $ρ$, they are degenerated into three infinite-dimensional DPPs. One of them is uniform on ${\mathbb{C}}$ and equivalent with the Ginibre point process studied in random matrix theory, while other two systems are rotationally symmetric around the origin, but non-uniform on ${\mathbb{C}}$. We show that the elliptic DPP of type $A_{N-1}$ is identified with the particle section, obtained by subtracting the background effect, of the two-dimensional exactly solvable model for one-component plasma studied by Forrester. Other two exactly solvable models of one-component plasma are constructed associated with the elliptic DPPs of types $C_N$ and $D_N$. Relationship to the Gaussian free field on a torus is discussed for these three exactly solvable plasma models. △ Less

Submitted 19 November, 2018; v1 submitted 22 July, 2018; originally announced July 2018.

Comments: v2:AMS-LaTeX, 34 pages, no figure

Journal ref: Commun. Math. Phys. 371, 1283-1321 (2019)

Macdonald denominators for affine root systems, orthogonal theta functions, and elliptic determinantal point processes

Authors: Makoto Katori

Abstract: Rosengren and Schlosser introduced notions of ${\it R}_N$-theta functions for the seven types of irreducible reduced affine root systems, ${\it R}_N={\it A}_{N-1}$, ${\it B}_{N}$, ${\it B}^{\vee}_N$, ${\it C}_{N}$, ${\it C}^{\vee}_N$, ${\it BC}_{N}$, ${\it D}_{N}$, $N \in \mathbb{N}$, and gave the Macdonald denominator formulas. We prove that, if the variables of the ${\it R}_N$-theta functions ar… ▽ More Rosengren and Schlosser introduced notions of ${\it R}_N$-theta functions for the seven types of irreducible reduced affine root systems, ${\it R}_N={\it A}_{N-1}$, ${\it B}_{N}$, ${\it B}^{\vee}_N$, ${\it C}_{N}$, ${\it C}^{\vee}_N$, ${\it BC}_{N}$, ${\it D}_{N}$, $N \in \mathbb{N}$, and gave the Macdonald denominator formulas. We prove that, if the variables of the ${\it R}_N$-theta functions are properly scaled with $N$, they construct seven sets of biorthogonal functions, each of which has a continuous parameter $t \in (0, t_{\ast})$ with given $0< t_{\ast} < \infty$. Following the standard method in random matrix theory, we introduce seven types of one-parameter ($t \in (0, t_{\ast})$) families of determinantal point processes in one dimension, in which the correlation kernels are expressed by the biorthogonal theta functions. We demonstrate that they are elliptic extensions of the classical determinantal point processes whose correlation kernels are expressed by trigonometric and rational functions. In the scaling limits associated with $N \to \infty$, we obtain four types of elliptic determinantal point processes with an infinite number of points and parameter $t \in (0, t_{\ast})$. We give new expressions for the Macdonald denominators using the Karlin--McGregor--Lindström--Gessel--Viennot determinants for noncolliding Brownian paths, and show the realization of the associated elliptic determinantal point processes as noncolliding Brownian brides with a time duration $t_{\ast}$, which are specified by the pinned configurations at time $t=0$ and $t=t_{\ast}$. △ Less

Submitted 28 December, 2018; v1 submitted 21 April, 2018; originally announced April 2018.

Comments: v4: AMS_LaTeX, 31 pages, no figure, revised for publication in J. Math. Phys

Journal ref: Journal of Mathematical Physics 60 (2019) 013301/1-27

Hydrodynamic Limit of Multiple SLE

Authors: Ikkei Hotta, Makoto Katori

Abstract: Recently del Monaco and Schleißinger addressed an interesting problem whether one can take the limit of multiple Schramm--Loewner evolution (SLE) as the number of slits $N$ goes to infinity. When the $N$ slits grow from points on the real line ${\mathbb{R}}$ in a simultaneous way and go to infinity within the upper half plane ${\mathbb{H}}$, an ordinary differential equation describing time evolut… ▽ More Recently del Monaco and Schleißinger addressed an interesting problem whether one can take the limit of multiple Schramm--Loewner evolution (SLE) as the number of slits $N$ goes to infinity. When the $N$ slits grow from points on the real line ${\mathbb{R}}$ in a simultaneous way and go to infinity within the upper half plane ${\mathbb{H}}$, an ordinary differential equation describing time evolution of the conformal map $g_t(z)$ was derived in the $N \to \infty$ limit, which is coupled with a complex Burgers equation in the inviscid limit. It is well known that the complex Burgers equation governs the hydrodynamic limit of the Dyson model defined on ${\mathbb{R}}$ studied in random matrix theory, and when all particles start from the origin, the solution of this Burgers equation is given by the Stieltjes transformation of the measure which follows a time-dependent version of Wigner's semicircle law. In the present paper, first we study the hydrodynamic limit of the multiple SLE in the case that all slits start from the origin. We show that the time-dependent version of Wigner's semicircle law determines the time evolution of the SLE hull, $K_t \subset {\mathbb{H}} \cup {\mathbb{R}}$ , in this hydrodynamic limit. Next we consider the situation such that a half number of the slits start from $a>0$ and another half of slits start from $-a < 0$, and determine the multiple SLE in the hydrodynamic limit. After reporting these exact solutions, we will discuss the universal long-term behavior of the multiple SLE and its hull $K_t$ in the hydrodynamic limit. △ Less

Submitted 8 March, 2018; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: v4: AMS-LaTeX, 26 pages, 4 figures. Minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 171 (2018) 166-188

Excursion Processes Associated with Elliptic Combinatorics

Authors: Hiroya Baba, Makoto Katori

Abstract: Researching elliptic analogues for equalities and formulas is a new trend in enumerative combinatorics which has followed the previous trend of studying $q$-analogues. Recently Schlosser proposed a lattice path model in the square lattice with a family of totally elliptic weight-functions including several complex parameters and discussed an elliptic extension of the binomial theorem. In the prese… ▽ More Researching elliptic analogues for equalities and formulas is a new trend in enumerative combinatorics which has followed the previous trend of studying $q$-analogues. Recently Schlosser proposed a lattice path model in the square lattice with a family of totally elliptic weight-functions including several complex parameters and discussed an elliptic extension of the binomial theorem. In the present paper, we introduce a family of discrete-time excursion processes on $\mathbb{Z}$ starting from the origin and returning to the origin in a given time duration $2T$ associated with Schlosser's elliptic combinatorics. The processes are inhomogeneous both in space and time and hence expected to provide new models in non-equilibrium statistical mechanics. By numerical calculation we show that the maximum likelihood trajectories on the spatio-temporal plane of the elliptic excursion processes and of their reduced trigonometric versions are not straight lines in general but are nontrivially curved depending on parameters. We analyze asymptotic probability laws in the long-term limit $T \to \infty$ for a simplified trigonometric version of excursion process. Emergence of nontrivial curves of trajectories in a large scale of space and time from the elementary elliptic weight-functions exhibits a new aspect of elliptic combinatorics. △ Less

Submitted 17 April, 2018; v1 submitted 1 November, 2017; originally announced November 2017.

Comments: v3: AMS-LaTeX, 36 pages, 10 figures; minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 171 (2018) 1035-1066

Elliptic Determinantal Processes and Elliptic Dyson Models

Authors: Makoto Katori

Abstract: We introduce seven families of stochastic systems of interacting particles in one-dimension corresponding to the seven families of irreducible reduced affine root systems. We prove that they are determinantal in the sense that all spatio-temporal correlation functions are given by determinants controlled by a single function called the spatio-temporal correlation kernel. For the four families… ▽ More We introduce seven families of stochastic systems of interacting particles in one-dimension corresponding to the seven families of irreducible reduced affine root systems. We prove that they are determinantal in the sense that all spatio-temporal correlation functions are given by determinants controlled by a single function called the spatio-temporal correlation kernel. For the four families ${A}_{N-1}$, ${B}_N$, ${C}_N$ and ${D}_N$, we identify the systems of stochastic differential equations solved by these determinantal processes, which will be regarded as the elliptic extensions of the Dyson model. Here we use the notion of martingales in probability theory and the elliptic determinant evaluations of the Macdonald denominators of irreducible reduced affine root systems given by Rosengren and Schlosser. △ Less

Submitted 4 October, 2017; v1 submitted 11 March, 2017; originally announced March 2017.

MSC Class: 60J65; 60G44; 82C22; 60B20; 33E05; 17B22

Journal ref: SIGMA 13 (2017), 079, 36 pages

Elliptic Bessel processes and elliptic Dyson models realized as temporally inhomogeneous processes

Authors: Makoto Katori

Abstract: The Bessel process with parameter $D>1$ and the Dyson model of interacting Brownian motions with coupling constant $β>0$ are extended to the processes in which the drift term and the interaction terms are given by the logarithmic derivatives of Jacobi's theta functions. They are called the elliptic Bessel process, eBES$^{(D)}$, and the elliptic Dyson model, eDYS$^{(β)}$, respectively. Both are rea… ▽ More The Bessel process with parameter $D>1$ and the Dyson model of interacting Brownian motions with coupling constant $β>0$ are extended to the processes in which the drift term and the interaction terms are given by the logarithmic derivatives of Jacobi's theta functions. They are called the elliptic Bessel process, eBES$^{(D)}$, and the elliptic Dyson model, eDYS$^{(β)}$, respectively. Both are realized on the circumference of a circle $[0, 2 πr)$ with radius $r >0$ as temporally inhomogeneous processes defined in a finite time interval $[0, t_*), t_* < \infty$. Transformations of them to Schrödinger-type equations with time-dependent potentials lead us to proving that eBES$^{(D)}$ and eDYS$^{(β)}$ can be constructed as the time-dependent Girsanov transformations of Brownian motions. In the special cases where $D=3$ and $β=2$, observables of the processes are defined and the processes are represented for them using the Brownian paths winding round a circle and pinned at time $t_*$. We show that eDYS$^{(2)}$ has the determinantal martingale representation for any observable. Then it is proved that eDYS$^{(2)}$ is determinantal for all observables for any finite initial configuration without multiple points. Determinantal processes are stochastic integrable systems in the sense that all spatio-temporal correlation functions are given by determinants controlled by a single continuous function called the spatio-temporal correlation kernel. △ Less

Submitted 22 September, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Comments: AMS-LaTeX, 39 pages, no figure, corrections made for publication in J. Math. Phys

Journal ref: J. Math. Phys. 57 (10) (2016) 103302/1-32

Percolation of optical excitation mediated by near-field interactions

Authors: Makoto Naruse, Song-Ju Kim, Taiki Takahashi, Masashi Aono, Kouichi Akahane, Mario D'Acunto, Hirokazu Hori, Lars Thylen, Makoto Katori, Motoichi Ohtsu

Abstract: Optical excitation transfer in nanostructured matter has been intensively studied in various material systems for versatile applications. Herein, we discuss the percolation of optical excitations in randomly organized nanostructures caused by optical near-field interactions governed by Yukawa potential in a two-dimensional stochastic model. The model results demonstrate the appearance of two phase… ▽ More Optical excitation transfer in nanostructured matter has been intensively studied in various material systems for versatile applications. Herein, we discuss the percolation of optical excitations in randomly organized nanostructures caused by optical near-field interactions governed by Yukawa potential in a two-dimensional stochastic model. The model results demonstrate the appearance of two phases of percolation of optical excitation as a function of the localization degree of near-field interaction. Moreover, it indicates sublinear scaling with percolation distance when the light localization is strong. The results provide fundamental insights into optical excitation transfer and will facilitate the design and analysis of nanoscale signal-transfer characteristics. △ Less

Submitted 6 May, 2016; originally announced May 2016.

Characterizations of the hydrodynamic limit of the Dyson model

Authors: Sergio Andraus, Makoto Katori

Abstract: Under appropriate conditions for the initial configuration, the empirical measure of the $N$-particle Dyson model with parameter $β\geq 1$ converges to a unique measure-valued process as $N$ goes to infinity, which is independent of $β$. The limit process is characterized by its Stieltjes transform called the Green's function. Since the Green's function satisfies the complex Burgers equation in th… ▽ More Under appropriate conditions for the initial configuration, the empirical measure of the $N$-particle Dyson model with parameter $β\geq 1$ converges to a unique measure-valued process as $N$ goes to infinity, which is independent of $β$. The limit process is characterized by its Stieltjes transform called the Green's function. Since the Green's function satisfies the complex Burgers equation in the inviscid limit, this is called the hydrodynamic limit of the Dyson model. We review the relations among the hydrodynamic equation of the Green's function, the continuity equation of the probability density function, and the functional equation of the Green's function. The basic tools to prove the relations are the Hilbert transform, a special case of the Sokhotski-Plemelj theorem, and the method of characteristics for solving partial differential equations. For two special initial configurations, we demonstrate how to characterize the limit processes using these relations. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Comments: RevTeX4-1, 18 pages, 4 figures

MSC Class: 82C22; 15B52; 35Q31; 44A15

Journal ref: RIMS Kokyuroku Bessatsu B59 (2016) 157-173

Phase Diagram of Collective Motion of Bacterial Cells in a Shallow Circular Pool

Authors: Jun-ichi Wakita, Shota Tsukamoto, Ken Yamamoto, Makoto Katori, Yasuyuki Yamada

Abstract: The collective motion of bacterial cells in a shallow circular pool is systematically studied using the bacterial species $Bacillus$ $subtilis$. The ratio of cell length to pool diameter (i.e., the reduced cell length) ranges from 0.06 to 0.43 in our experiments. Bacterial cells in a circular pool show various types of collective motion depending on the cell density in the pool and the reduced cel… ▽ More The collective motion of bacterial cells in a shallow circular pool is systematically studied using the bacterial species $Bacillus$ $subtilis$. The ratio of cell length to pool diameter (i.e., the reduced cell length) ranges from 0.06 to 0.43 in our experiments. Bacterial cells in a circular pool show various types of collective motion depending on the cell density in the pool and the reduced cell length. The motion is classified into six types, which we call random motion, turbulent motion, one-way rotational motion, two-way rotational motion, random oscillatory motion, and ordered oscillatory motion. Two critical values of reduced cell lengths are evaluated, at which drastic changes in collective motion are induced. A phase diagram is proposed in which the six phases are arranged. △ Less

Submitted 2 October, 2015; originally announced October 2015.

Comments: 18 pages, 6 figures, revised version for publication in J. Phys. Soc. Jpn

Self-Elongation with Sequential Folding of a Filament of Bacterial Cells

Authors: Ryojiro Honda, Jun-ichi Wakita, Makoto Katori

Abstract: Under hard-agar and nutrient-rich conditions, a cell of $Bacillus$ $subtilis$ grows as a single filament owing to the failure of cell separation after each growth and division cycle. The self-elongating filament of cells shows sequential folding processes, and multifold structures extend over an agar plate. We report that the growth process from the exponential phase to the stationary phase is wel… ▽ More Under hard-agar and nutrient-rich conditions, a cell of $Bacillus$ $subtilis$ grows as a single filament owing to the failure of cell separation after each growth and division cycle. The self-elongating filament of cells shows sequential folding processes, and multifold structures extend over an agar plate. We report that the growth process from the exponential phase to the stationary phase is well described by the time evolution of fractal dimensions of the filament configuration. We propose a method of characterizing filament configurations using a set of lengths of multifold parts of a filament. Systems of differential equations are introduced to describe the folding processes that create multifold structures in the early stage of the growth process. We show that the fitting of experimental data to the solutions of equations is excellent, and the parameters involved in our model systems are determined., △ Less

Submitted 21 September, 2015; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: v2: LaTeX2e, 18 pages, 8 figures, revised version for publication in J. Phys. Soc. Jpn

Journal ref: J. Phys. Soc. Jpn. 84 (2015) 114002/1-7

Dissipative Abelian Sandpile Models

Authors: Makoto Katori

Abstract: We introduce a family of abelian sandpile models with two parameters $n, m \in {\bf N}$ defined on finite lattices on $d$-dimensional torus. Sites with $2dn+m$ or more grains of sand are unstable and topple, and in each toppling $m$ grains dissipate from the system. Because of dissipation in bulk, the models are well-defined on the shift-invariant lattices and the infinite-volume limit of systems… ▽ More We introduce a family of abelian sandpile models with two parameters $n, m \in {\bf N}$ defined on finite lattices on $d$-dimensional torus. Sites with $2dn+m$ or more grains of sand are unstable and topple, and in each toppling $m$ grains dissipate from the system. Because of dissipation in bulk, the models are well-defined on the shift-invariant lattices and the infinite-volume limit of systems can be taken. From the determinantal expressions, we obtain the asymptotic forms of the avalanche propagators and the height-$(0,0)$ correlations of sandpiles for large distances in the infinite-volume limit in any dimensions $d \geq 2$. We show that both of them decay exponentially with the correlation length $$ ξ(d, a)=(\sqrt{d} \sinh^{-1} \sqrt{a(a+2)} \ )^{-1}, $$ if the dissipation rate $a =m/(2dn)$ is positive. By considering a series of models with increasing $n$, we discuss the limit $a \downarrow 0$ and the critical exponent defined by $ν_{a}=- \lim_{a \downarrow 0} \log ξ(d, a)/ \log a$ is determined as $$ ν_{a}=1/2 $$ for all $d \geq 2$. Comparison with the $q \downarrow 0$ limit of $q$-state Potts model in external magnetic field is discussed. △ Less

Submitted 2 May, 2015; originally announced May 2015.

Comments: AMS-LaTeX, 33 pages, 6 figures

Report number: MI Lecture Note Series 63 (2015) pp.58-91, Kyushu University, Japan; ISSN:2188-1200

Stochastic model showing a transition to self-controlled particle-deposition state induced by optical near-fields

Authors: Kan Takahashi, Makoto Katori, Makoto Naruse, Motoichi Ohtsu

Abstract: We study a stochastic model for the self-controlled particle-deposition process induced by optical near-fields. This process was experimentally realized by Yukutake et al. on an electrode of a novel photovoltaic device as Ag deposition under light illumination, in which the wavelength of incident light is longer than the long-wavelength cutoff of the materials composing the device. Naruse et al. i… ▽ More We study a stochastic model for the self-controlled particle-deposition process induced by optical near-fields. This process was experimentally realized by Yukutake et al. on an electrode of a novel photovoltaic device as Ag deposition under light illumination, in which the wavelength of incident light is longer than the long-wavelength cutoff of the materials composing the device. Naruse et al. introduced a stochastic cellular automaton model to simulate underlying nonequilibrium processes which are necessary to formulate unique granular Ag film in this deposition process. In the present paper, we generalize their model and clarify the essential role of optical near-fields generated on the electrode surface. We introduce a parameter $b$ indicating the incident light power per site and a function representing the resonance effect of optical near-fields depending on the Ag-cluster size on the surface. Numerical simulation shows a transition from a trivial particle-deposition state to a nontrivial self-controlled particle-deposition state at a critical value $b_{\rm c}$, and only in the latter state optical near-fields are effectively generated. The properties of transition in this mesoscopic surface model in nonequilibrium are studied by the analogy of equilibrium phase transitions associated with critical phenomena, and the criteria of transition are reported. △ Less

Submitted 27 July, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: v3: REVTeX4, 16 pages, 9 figures, final version for publication

Journal ref: Appl. Phys. B 120 (2015) 247-254

Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process

Authors: Yuta Takahashi, Makoto Katori

Abstract: The partition function of the Chern-Simons theory on the three-sphere with the unitary group $U(N)$ provides a one-matrix model. The corresponding $N$-particle system can be mapped to the determinantal point process whose correlation kernel is expressed by using the Stieltjes-Wigert orthogonal polynomials. The matrix model and the point process are regarded as $q$-extensions of the random matrix m… ▽ More The partition function of the Chern-Simons theory on the three-sphere with the unitary group $U(N)$ provides a one-matrix model. The corresponding $N$-particle system can be mapped to the determinantal point process whose correlation kernel is expressed by using the Stieltjes-Wigert orthogonal polynomials. The matrix model and the point process are regarded as $q$-extensions of the random matrix model in the Gaussian unitary ensemble and its eigenvalue point process, respectively. We prove the convergence of the $N$-particle system to an infinite-dimensional determinantal point process in $N \to \infty$, in which the correlation kernel is expressed by Jacobi's theta functions. We show that the matrix model obtained by this limit realizes the oscillatory matrix model in Chern-Simons theory discussed by de Haro and Tierz. △ Less

Submitted 16 August, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: v2: 29 pages, 5 figures, minor corrections made for publication in J. Math. Phys

Journal ref: J. Math. Phys. 55 (2014) 093302/1-24

Elliptic Determinantal Process of Type A

Authors: Makoto Katori

Abstract: We introduce an elliptic extension of Dyson's Brownian motion model, which is a temporally inhomogeneous diffusion process of noncolliding particles defined on a circle. Using elliptic determinant evaluations related to the reduced affine root system of types $A$, we give determinantal martingale representation (DMR) for the process, when it is started at the configuration with equidistant spacing… ▽ More We introduce an elliptic extension of Dyson's Brownian motion model, which is a temporally inhomogeneous diffusion process of noncolliding particles defined on a circle. Using elliptic determinant evaluations related to the reduced affine root system of types $A$, we give determinantal martingale representation (DMR) for the process, when it is started at the configuration with equidistant spacing on the circle. DMR proves that the process is determinantal and the spatio-temporal correlation kernel is determined. By taking temporally homogeneous limits of the present elliptic determinantal process, trigonometric and hyperbolic versions of noncolliding diffusion processes are studied. △ Less

Submitted 29 September, 2014; v1 submitted 17 November, 2013; originally announced November 2013.

Comments: v5: AMS-LaTeX, 35 pages, no figure, references updated for publication in Probab. Theory Relat. Fields

Journal ref: Probab. Theory Relat. Fields 162 (2015) 637-677

Two limiting regimes of interacting Bessel processes

Authors: Sergio Andraus, Makoto Katori, Seiji Miyashita

Abstract: We consider the interacting Bessel processes, a family of multiple-particle systems in one dimension where particles evolve as individual Bessel processes and repel each other via a log-potential. We consider two limiting regimes for this family on its two main parameters: the inverse temperature beta and the Bessel index nu. We obtain the time-scaled steady-state distributions of the processes fo… ▽ More We consider the interacting Bessel processes, a family of multiple-particle systems in one dimension where particles evolve as individual Bessel processes and repel each other via a log-potential. We consider two limiting regimes for this family on its two main parameters: the inverse temperature beta and the Bessel index nu. We obtain the time-scaled steady-state distributions of the processes for the cases where beta or nu are large but finite. In particular, for large beta we show that the steady-state distribution of the system corresponds to the eigenvalue distribution of the beta-Laguerre ensembles of random matrices. We also estimate the relaxation time to the steady state in both cases. We find that in the freezing regime beta->infinity, the scaled final positions of the particles are locked at the square root of the zeroes of the Laguerre polynomial of parameter nu-1/2 for any initial configuration, while in the regime nu->infinity, we prove that the scaled final positions of the particles converge to a single point. In order to obtain our results, we use the theory of Dunkl operators, in particular the intertwining operator of type B. We derive a previously unknown expression for this operator and study its behaviour in both limiting regimes. By using these limiting forms of the intertwining operator, we derive the steady-state distributions, the estimations of the relaxation times and the limiting behaviour of the processes. △ Less

Submitted 17 April, 2014; v1 submitted 11 September, 2013; originally announced September 2013.

Comments: LaTeX, 33 pages, 3 figures, corrected for publication on J. Phys. A: Math. Theor

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 235201

Determinantal Martingales and Interacting Particle Systems

Authors: Makoto Katori

Abstract: Determinantal process is a dynamical extension of a determinantal point process such that any spatio-temporal correlation function is given by a determinant specified by a single continuous function called the correlation kernel. Noncolliding diffusion processes are important examples of determinantal processes. In the present lecture, we introduce determinantal martingales and show that if the in… ▽ More Determinantal process is a dynamical extension of a determinantal point process such that any spatio-temporal correlation function is given by a determinant specified by a single continuous function called the correlation kernel. Noncolliding diffusion processes are important examples of determinantal processes. In the present lecture, we introduce determinantal martingales and show that if the interacting particle system (IPS) has determinantal-martingale representation, then it becomes a determinantal process. From this point of view, the reason why noncolliding diffusion processes and noncolliding random walk are determinantal is simply explained by the fact that the harmonic transform with the Vandermonde determinant provides a proper determinantal martingale. Recently O'Connell introduced an interesting IPS, which can be regarded as a stochastic version of a quantum Toda lattice. It is a geometric lifting of the noncolliding Brownian motion and is not determinantal, but Borodin and Corwin discovered a determinant formula for a special observable for it. We also discuss this new topic from the present view-point of determinantal martingale. △ Less

Submitted 9 July, 2013; originally announced July 2013.

Comments: AMS-LaTeX, 69 pages, no figure: a note prepared for the lectures at Faculty of Mathematics, Kyushu University, 24-28 June 2013

Determinantal Martingales and Correlations of Noncolliding Random Walks

Authors: Makoto Katori

Abstract: We study the noncolliding random walk (RW), which is a particle system of one-dimensional, simple and symmetric RWs starting from distinct even sites and conditioned never to collide with each other. When the number of particles is finite, $N < \infty$, this discrete process is constructed as an $h$-transform of absorbing RW in the $N$-dimensional Weyl chamber. We consider Fujita's polynomial mart… ▽ More We study the noncolliding random walk (RW), which is a particle system of one-dimensional, simple and symmetric RWs starting from distinct even sites and conditioned never to collide with each other. When the number of particles is finite, $N < \infty$, this discrete process is constructed as an $h$-transform of absorbing RW in the $N$-dimensional Weyl chamber. We consider Fujita's polynomial martingales of RW with time-dependent coefficients and express them by introducing a complex Markov process. It is a complexification of RW, in which independent increments of its imaginary part are in the hyperbolic secant distribution, and it gives a discrete-time conformal martingale. The $h$-transform is represented by a determinant of the matrix, whose entries are all polynomial martingales. From this determinantal-martingale representation (DMR) of the process, we prove that the noncolliding RW is determinantal for any initial configuration with $N < \infty$, and determine the correlation kernel as a function of initial configuration. We show that noncolliding RWs started at infinite-particle configurations having equidistant spacing are well-defined as determinantal processes and give DMRs for them. Tracing the relaxation phenomena shown by these infinite-particle systems, we obtain a family of equilibrium processes parameterized by particle density, which are determinantal with the discrete analogues of the extended sine-kernel of Dyson's Brownian motion model with $β=2$. Following Donsker's invariance principle, convergence of noncolliding RWs to the Dyson model is also discussed. △ Less

Submitted 19 December, 2014; v1 submitted 7 July, 2013; originally announced July 2013.

Comments: v4:AMS-LaTeX, 26 pages, no figure, minor corrections made for publication in J. Stat. Phys. arXiv admin note: text overlap with arXiv:1407.0505 by other authors

Journal ref: J. Stat. Phys. 159 (2015) 21-42

Determinantal Martingales and Noncolliding Diffusion Processes

Authors: Makoto Katori

Abstract: Two aspects of noncolliding diffusion processes have been extensively studied. One of them is the fact that they are realized as harmonic Doob transforms of absorbing particle systems in the Weyl chambers. Another aspect is integrability in the sense that any spatio-temporal correlation function can be expressed by a determinant. The purpose of the present paper is to clarify the connection betwee… ▽ More Two aspects of noncolliding diffusion processes have been extensively studied. One of them is the fact that they are realized as harmonic Doob transforms of absorbing particle systems in the Weyl chambers. Another aspect is integrability in the sense that any spatio-temporal correlation function can be expressed by a determinant. The purpose of the present paper is to clarify the connection between these two aspects. We introduce a notion of determinantal martingale and prove that, if the system has determinantal-martingale representation, then it is determinantal. In order to demonstrate the direct connection between the two aspects, we study three processes. △ Less

Submitted 9 July, 2014; v1 submitted 19 May, 2013; originally announced May 2013.

Comments: v6: AMS-LaTeX, 50 pages, no figure, minor corrections made for publication in Stoch. Proc. Appl

MSC Class: 60J60; 60J65; 60G46; 15B52; 82C22

Journal ref: Stoch. Proc. Appl. 124 (2014) 3724-3768

Calogero-Moser Systems as a Diffusion-Scaling Transform of Dunkl Processes on the Line

Authors: Sergio Andraus, Makoto Katori, Seiji Miyashita

Abstract: The Calogero-Moser systems are a series of interacting particle systems on one dimension that are both classically and quantum-mechanically integrable. Their integrability has been established through the use of Dunkl operators (a series of differential-difference operators that depend on the choice of an abstract set of vectors, or root system). At the same time, Dunkl operators are used to defin… ▽ More The Calogero-Moser systems are a series of interacting particle systems on one dimension that are both classically and quantum-mechanically integrable. Their integrability has been established through the use of Dunkl operators (a series of differential-difference operators that depend on the choice of an abstract set of vectors, or root system). At the same time, Dunkl operators are used to define a family of stochastic processes called Dunkl processes. We showed in a previous paper that when the coupling constant of interaction of the symmetric Dunkl process on the root system A(N-1) goes to infinity (the freezing regime), its final configuration is proportional to the roots of the Hermite polynomials. It is also known that the positions of the particles of the Calogero-Moser system with particle exchange become fixed at the roots of the Hermite polynomials in the freezing regime. Although both systems present a freezing behaviour that depends on the roots of the Hermite polynomials, the reason for this similarity has been an open problem until now. In the present work, we introduce a new type of similarity transformation called the diffusion-scaling transformation, in which a new space variable is given by a diffusion-scaling variable constructed using the original space and time variables. We prove that the abstract Calogero-Moser system on an arbitrary root system is a diffusion-scaling transform of the Dunkl process on the same root system. With this, we prove that the similar freezing behaviour of the two systems on A(N-1) stems from their similar mathematical structure. △ Less

Submitted 28 November, 2012; originally announced November 2012.

Comments: 18 pages

Height correlation of rippled graphene and Lundeberg-Folk formula for magnetoresistance

Authors: Kazuyuki Genma, Makoto Katori

Abstract: Application of an in-plane magnetic field to rippled graphene will make the system be a plane with randomly distributed vector potentials. Massless Dirac fermions carrying charges on graphene are scattered by the vector potentials and magnetoresistance is induced proportional to the square of amplitude of in-plane magnetic field $B_{\parallel}^2$. Recently, Lundeberg and Folk proposed a formula sh… ▽ More Application of an in-plane magnetic field to rippled graphene will make the system be a plane with randomly distributed vector potentials. Massless Dirac fermions carrying charges on graphene are scattered by the vector potentials and magnetoresistance is induced proportional to the square of amplitude of in-plane magnetic field $B_{\parallel}^2$. Recently, Lundeberg and Folk proposed a formula showing dependence of the magnetoresistance on carrier density, in which the coefficient of $B_{\parallel}^2$ is given by a functional of the height-correlation function $c(r)$ of ripples. In the present paper, we give exact and explicit expressions of the coefficient for the two cases such that $c(r)$ is (i) exponential and (ii) Gaussian. The results are given using well-known special functions. Numerical fitting of our solutions to experimental data were performed. It is shown that the experimental data are well-described by the formula for the Gaussian height-correlation of ripples in the whole region of carrier density. The standard deviation $Z$ of ripple height and the correlation length $R$ of ripples are evaluated, which can be compared with direct experimental measurements. △ Less

Submitted 2 December, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Comments: v2: LaTeX2e, 21 pages, 3 figures, minor corrections made for publication in J. Inst. Sci. Eng. Chuo Univ

Journal ref: Journal of the Institute of Science and Engineering, Chuo University, 19 (2013) 1-21

Noncolliding Brownian Motion with Drift and Time-Dependent Stieltjes-Wigert Determinantal Point Process

Authors: Yuta Takahashi, Makoto Katori

Abstract: Using the determinantal formula of Biane, Bougerol, and O'Connell, we give multitime joint probability densities to the noncolliding Brownian motion with drift, where the number of particles is finite. We study a special case such that the initial positions of particles are equidistant with a period $a$ and the values of drift coefficients are well-ordered with a scale $σ$. We show that, at each t… ▽ More Using the determinantal formula of Biane, Bougerol, and O'Connell, we give multitime joint probability densities to the noncolliding Brownian motion with drift, where the number of particles is finite. We study a special case such that the initial positions of particles are equidistant with a period $a$ and the values of drift coefficients are well-ordered with a scale $σ$. We show that, at each time $t >0$, the single-time probability density of particle system is exactly transformed to the biorthogonal Stieltjes-Wigert matrix model in the Chern-Simons theory introduced by Dolivet and Tierz. Here one-parameter extensions ($θ$-extensions) of the Stieltjes-Wigert polynomials, which are themselves $q$-extensions of the Hermite polynomials, play an essential role. The two parameters $a$ and $σ$ of the process combined with time $t$ are mapped to the parameters $q$ and $θ$ of the biorthogonal polynomials. By the transformation of normalization factor of our probability density, the partition function of the Chern-Simons matrix model is readily obtained. We study the determinantal structure of the matrix model and prove that, at each time $t >0$, the present noncolliding Brownian motion with drift is a determinantal point process, in the sense that any correlation function is given by a determinant governed by a single integral kernel called the correlation kernel. Using the obtained correlation kernel, we study time evolution of the noncolliding Brownian motion with drift. △ Less

Submitted 27 September, 2012; v1 submitted 18 July, 2012; originally announced July 2012.

Comments: v2: REVTeX4, 34 pages, 4 figures, minor corrections made for publication in J. Math. Phys

Journal ref: J. Math. Phys. 53 (2012) 103305/1-23

System of Complex Brownian Motions Associated with the O'Connell Process

Authors: Makoto Katori

Abstract: The O'Connell process is a softened version (a geometric lifting with a parameter $a>0$) of the noncolliding Brownian motion such that neighboring particles can change the order of positions in one dimension within the characteristic length $a$. This process is not determinantal. Under a special entrance law, however, Borodin and Corwin gave a Fredholm determinant expression for the expectation of… ▽ More The O'Connell process is a softened version (a geometric lifting with a parameter $a>0$) of the noncolliding Brownian motion such that neighboring particles can change the order of positions in one dimension within the characteristic length $a$. This process is not determinantal. Under a special entrance law, however, Borodin and Corwin gave a Fredholm determinant expression for the expectation of an observable, which is a softening of an indicator of a particle position. We rewrite their integral kernel to a form similar to the correlation kernels of determinantal processes and show, if the number of particles is $N$, the rank of the matrix of the Fredholm determinant is $N$. Then we give a representation for the quantity by using an $N$-particle system of complex Brownian motions (CBMs). The complex function, which gives the determinantal expression to the weight of CBM paths, is not entire, but in the combinatorial limit $a \to 0$ it becomes an entire function providing conformal martingales and the CBM representation for the noncolliding Brownian motion is recovered. △ Less

Submitted 15 September, 2012; v1 submitted 11 June, 2012; originally announced June 2012.

Comments: v3: AMS_LaTeX, 25 pages, no figure, minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 149 (2012) 411-431

Reciprocal Time Relation of Noncolliding Brownian Motion with Drift

Authors: Makoto Katori

Abstract: We consider an $N$-particle system of noncolliding Brownian motion starting from $x_1 \leq x_2 \leq ... \leq x_N$ with drift coefficients $ν_j, 1 \leq j \leq N$ satisfying $ν_1 \leq ν_2 \leq ... \leq ν_N$. When all of the initial points are degenerated to be zero, $x_j=0, 1 \leq j \leq N$, the equivalence is proved between a dilatation with factor $1/t$ of this drifted process and the noncolliding… ▽ More We consider an $N$-particle system of noncolliding Brownian motion starting from $x_1 \leq x_2 \leq ... \leq x_N$ with drift coefficients $ν_j, 1 \leq j \leq N$ satisfying $ν_1 \leq ν_2 \leq ... \leq ν_N$. When all of the initial points are degenerated to be zero, $x_j=0, 1 \leq j \leq N$, the equivalence is proved between a dilatation with factor $1/t$ of this drifted process and the noncolliding Brownian motion starting from $ν_1 \leq ν_2 \leq ... \leq ν_N$ without drift observed at reciprocal time $1/t$, for arbitrary $t > 0$. Using this reciprocal time relation, we study the determinantal property of the noncolliding Brownian motion with drift having finite and infinite numbers of particles. △ Less

Submitted 15 June, 2012; v1 submitted 25 April, 2012; originally announced April 2012.

Comments: v2: AMS_LaTeX, 17 pages, no figure, minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 148 (2012) 38-52

Interacting Particles on the Line and Dunkl Intertwining Operator of Type A: Application to the Freezing Regime

Authors: Sergio Andraus, Makoto Katori, Seiji Miyashita

Abstract: We consider a one-dimensional system of Brownian particles that repel each other through a logarithmic potential. We study two formulations for the system and the relation between them. The first, Dyson's Brownian motion model, has an interaction coupling constant determined by the parameter beta > 0. When beta = 1,2 and 4, this model can be regarded as a stochastic realization of the eigenvalue s… ▽ More We consider a one-dimensional system of Brownian particles that repel each other through a logarithmic potential. We study two formulations for the system and the relation between them. The first, Dyson's Brownian motion model, has an interaction coupling constant determined by the parameter beta > 0. When beta = 1,2 and 4, this model can be regarded as a stochastic realization of the eigenvalue statistics of Gaussian random matrices. The second system comes from Dunkl processes, which are defined using differential-difference operators (Dunkl operators) associated with finite abstract vector sets called root systems. When the type-A root system is specified, Dunkl processes constitute a one-parameter system similar to Dyson's model, with the difference that its particles interchange positions spontaneously. We prove that the type-A Dunkl processes with parameter k > 0 starting from any symmetric initial configuration are equivalent to Dyson's model with the parameter beta = 2k. We focus on the intertwining operators, since they play a central role in the mathematical theory of Dunkl operators, but their general closed form is not yet known. Using the equivalence between symmetric Dunkl processes and Dyson's model, we extract the effect of the intertwining operator of type A on symmetric polynomials from these processes' transition probability densities. In the strong coupling limit, the intertwining operator maps all symmetric polynomials onto a function of the sum of their variables. In this limit, Dyson's model freezes, and it becomes a deterministic process with a final configuration proportional to the roots of the Hermite polynomials multiplied by the square root of the process time, while being independent of the initial configuration. △ Less

Submitted 13 August, 2012; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: LaTeX, 30 pages, 1 figure, 1 table. Corrected for submission to Journal of Physics A

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 395201

Survival probability of mutually killing Brownian motions and the O'Connell process

Authors: Makoto Katori

Abstract: Recently O'Connell introduced an interacting diffusive particle system in order to study a directed polymer model in 1+1 dimensions. The infinitesimal generator of the process is a harmonic transform of the quantum Toda-lattice Hamiltonian by the Whittaker function. As a physical interpretation of this construction, we show that the O'Connell process without drift is realized as a system of mutual… ▽ More Recently O'Connell introduced an interacting diffusive particle system in order to study a directed polymer model in 1+1 dimensions. The infinitesimal generator of the process is a harmonic transform of the quantum Toda-lattice Hamiltonian by the Whittaker function. As a physical interpretation of this construction, we show that the O'Connell process without drift is realized as a system of mutually killing Brownian motions conditioned that all particles survive forever. When the characteristic length of interaction killing other particles goes to zero, the process is reduced to the noncolliding Brownian motion (the Dyson model). △ Less

Submitted 23 March, 2012; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: v2: AMS-LaTeX, 20 pages, 2 figures, minor corrections made for publication in J. Stat. Phys

Journal ref: J. Stat. Phys. 147 (2012) 206-223

O'Connell's process as a vicious Brownian motion

Authors: Makoto Katori

Abstract: Vicious Brownian motion is a diffusion scaling limit of Fisher's vicious walk model, which is a system of Brownian particles in one dimension such that if two of them meet they kill each other. We consider the vicious Brownian motion conditioned never to collide with each other, and call it the noncolliding Brownian motion. This conditional diffusion process is equivalent to the eigenvalue process… ▽ More Vicious Brownian motion is a diffusion scaling limit of Fisher's vicious walk model, which is a system of Brownian particles in one dimension such that if two of them meet they kill each other. We consider the vicious Brownian motion conditioned never to collide with each other, and call it the noncolliding Brownian motion. This conditional diffusion process is equivalent to the eigenvalue process of a Hermitian-matrix-valued Brownian motion studied by Dyson. Recently O'Connell introduced a generalization of the noncolliding Brownian motion by using the eigenfunctions (the Whittaker functions) of the quantum Toda lattice in order to analyze a directed polymer model in 1+1 dimensions. We consider a system of one-dimensional Brownian motions with a long-ranged killing term as a generalization of the vicious Brownian motion and construct the O'Connell process as a conditional process of the killing Brownian motions to survive forever. △ Less

Submitted 9 December, 2011; v1 submitted 9 October, 2011; originally announced October 2011.

Comments: REVTeX4, 26 pages, 1 figure, corrections and additions made for publication in Phys. Rev. E

Journal ref: Phys. Rev. E 84 (2011) 061144/1-11

Velocity correlations of a discrete-time totally asymmetric simple-exclusion process in stationary state on a circle

Authors: Yasuyuki Yamada, Makoto Katori

Abstract: The discrete-time version of totally asymmetric simple-exclusion process (TASEP) on a finite one-dimensional lattice is studied with the periodic boundary condition. Each particle at a site hops to the next site with probability $0 \leq p \leq 1$, if the next site is empty. This condition can be rephrased by the condition that the number $n$ of vacant sites between the particle and the next partic… ▽ More The discrete-time version of totally asymmetric simple-exclusion process (TASEP) on a finite one-dimensional lattice is studied with the periodic boundary condition. Each particle at a site hops to the next site with probability $0 \leq p \leq 1$, if the next site is empty. This condition can be rephrased by the condition that the number $n$ of vacant sites between the particle and the next particle is positive. Then the average velocity is given by a product of the hop** probability $p$ and the probability that $n \geq 1$. By map** the TASEP to another driven diffusive system called the zero-range process, it is proved that the distribution function of vacant sites in the stationary state is exactly given by a factorized form. We define $k$-particle velocity correlation function as the expectation value of a product of velocities of $k$ particles in the stationary distribution. It is shown that it does not depend on positions of $k$ particles on a circle but depends only on the number $k$. We give explicit expressions for all velocity correlation functions using the Gauss hypergeometric functions. Covariance of velocities of two particles is studied in detail and we show that velocities become independent asymptotically in the thermodynamic limit. △ Less

Submitted 10 October, 2011; v1 submitted 3 August, 2011; originally announced August 2011.

Comments: v2:REVTeX4, 17 pages, 3 figures, minor corrections made for publication in Phys. Rev. E

Journal ref: Phys. Rev. E 84 (2011) 041141

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.

Comments: AMS-LaTeX, 36 pages, no figure

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

Journal ref: Markov Processes and Relat. Fields 17, 541-580 (2011)

Determinantal process starting from an orthogonal symmetry is a Pfaffian process

Authors: Makoto Katori

Abstract: When the number of particles $N$ is finite, the noncolliding Brownian motion (BM) and the noncolliding squared Bessel process with index $ν> -1$ (BESQ$^{(ν)}$) are determinantal processes for arbitrary fixed initial configurations. In the present paper we prove that, if initial configurations are distributed with orthogonal symmetry, they are Pfaffian processes in the sense that any multitime corr… ▽ More When the number of particles $N$ is finite, the noncolliding Brownian motion (BM) and the noncolliding squared Bessel process with index $ν> -1$ (BESQ$^{(ν)}$) are determinantal processes for arbitrary fixed initial configurations. In the present paper we prove that, if initial configurations are distributed with orthogonal symmetry, they are Pfaffian processes in the sense that any multitime correlation functions are expressed by Pfaffians. The $2 \times 2$ skew-symmetric matrix-valued correlation kernels of the Pfaffians processes are explicitly obtained by the equivalence between the noncolliding BM and an appropriate dilatation of a time reversal of the temporally inhomogeneous version of noncolliding BM with finite duration in which all particles start from the origin, $N δ_0$, and by the equivalence between the noncolliding BESQ$^{(ν)}$ and that of the noncolliding squared generalized meander starting from $N δ_0$. △ Less

Submitted 3 October, 2011; v1 submitted 11 April, 2011; originally announced April 2011.

Comments: v2: AMS-LaTeX, 17 pages, no figure, corrections made for publication in J.Stat.Phys

Journal ref: J. Stat. Phys. 146 (2012) 249-263

Bessel process, Schramm-Loewner evolution, and Dyson model

Authors: Makoto Katori

Abstract: Bessel process is defined as the radial part of the Brownian motion (BM) in the $D$-dimensional space, and is considered as a one-parameter family of one-dimensional diffusion processes indexed by $D$, BES$^{(D)}$. It is well-known that $D_{\rm c}=2$ is the critical dimension. Bessel flow is a notion such that we regard BES$^{(D)}$ with a fixed $D$ as a one-parameter family of initial value. There… ▽ More Bessel process is defined as the radial part of the Brownian motion (BM) in the $D$-dimensional space, and is considered as a one-parameter family of one-dimensional diffusion processes indexed by $D$, BES$^{(D)}$. It is well-known that $D_{\rm c}=2$ is the critical dimension. Bessel flow is a notion such that we regard BES$^{(D)}$ with a fixed $D$ as a one-parameter family of initial value. There is another critical dimension $\bar{D}_{\rm c}=3/2$ and, in the intermediate values of $D$, $\bar{D}_{\rm c} < D < D_{\rm c}$, behavior of Bessel flow is highly nontrivial. The dimension D=3 is special, since in addition to the aspect that BES$^{(3)}$ is a radial part of the three-dimensional BM, it has another aspect as a conditional BM to stay positive. Two topics in probability theory and statistical mechanics, the Schramm-Loewner evolution (SLE) and the Dyson model (Dyson's BM model with parameter $β=2$), are discussed. The SLE$^{(D)}$ is introduced as a 'complexification' of Bessel flow on the upper-half complex-plane. The Dyson model is introduced as a multivariate extension of BES$^{(3)}$. We explain the 'parenthood' of BES$^{(D)}$ and SLE$^{(D)}$, and that of BES$^{(3)}$ and the Dyson model. It is shown that complex analysis is effectively applied to study stochastic processes and statistical mechanics models in equilibrium and nonequilibrium states. △ Less

Submitted 24 March, 2011; originally announced March 2011.

Comments: AMS-LaTeX, 41 pages, 12 figures; This manuscript is prepared for the proceedings of the 9th Oka symposium, held at Nara Women's University, 4-5 December 2010