Nonintersecting Brownian motions on the unit circle (Q282506): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The paper under review shows that the Pearcey and (symmetric) tacnode processes arise as limits of the simplest model of nonintersecting Brownian motions on a circle and analyzes the total winding number of the particles on the circle, that has no counterpart in the models on the real line. The nonintersecting Brownian motions on the circle with \(n\) particles are functions \(x: [0, T]\to S^1 \times \cdots \times S^1\) such that \(x(t)= (x_1(t), \dots, x_n(t))\) with \(x_k (t) = e^{i B_k(t)/\sqrt{n}}\). The model NIBM\(_{0\to T}\) refers to \(x_k(0)=x_k(T)=1\) for all \(1\leq k \leq n\). The transition probability density function \(P(A_n, B_n, t) =\det (P(a_i, b_j, t; \varepsilon (n)))_{1\leq i, j\leq n}\) for \(A_n=\{a_1, \dots, a_n\}\) and \(B_n=\{b_1, \dots, b_n\}\) follows from the Karlin-McGregor formula for odd \(n\) and a more careful study for even \(n\). The model NIBM\(_{0\to T}\) splits into the subcritical case (\(T< \pi^2\)), the critical case (\(T=\pi^2\)) related to the Painlevé II equation and Lax pairs, and the supercritical case (\(T>\pi^2\)) related to elliptical integrals. Theorem 1.2 summarizes the asymptotic behavior of \(P(\text{total\;winding\;number\;equal}\;0)\) as \(n\to\infty\); for the subcritical case, it is exponentially close 1; for the critical case, it is polynomial \(n^{-1/3}\) close to 1; for the supercritical case, \(P(\text{total\;winding\;number\;equals}\;w)= q^{w^2}\sqrt{\frac{\pi}{2\tilde{K}} }+o(n^{-1})\), where \(q=\exp (- \frac{\pi K(\sqrt {q-\tilde{k}^3}}{K(\tilde{k})}))\). Theorem 1.3 states that the asymptotic limit of the correlation kernel \(K_{t_i, t_j}(x, y)|\frac{dy}{d\eta}|\) equals \(K^{\mathrm{Pearcey}}_{-\tau_j, \tau_i}(\eta, \xi)\) for the supercritical case and \(K^{\mathrm{tac}}_{-\tau_j, \tau_i}(\eta, \xi; \sigma)\) for the critical case, and the limit of the multi-time correlation function is given in Theorem 1.4 for the supercritical case. Section 2 derives the transition probability density of NIBM and the joint correlation function and the correlation kernel of NIBM\(_{0\to T}\). By applying results of \textit{S. Karlin} and \textit{J. McGregor} [Pac. J. Math. 9, 1141--1164 (1959; Zbl 0092.34503)] and \textit{M. Fulmek} [Sémin. Lothar. Comb. 52, B52b, 16 p. (2004; Zbl 1064.05013)], the authors derive the \(\tau\)-deformed versions. Section 3 characterizes the asymptotic results for the discrete Gaussian orthogonal polynomials which are used in the later Sections 4 and 5. The key ingredient in the Riemann-Hilbert analysis of orthogonal polynomials is the equilibrium measure associated with the weighted function. For the subcritical and critical cases, the equilibrium measure for the discrete Gaussian orthogonal polynomials is given by the Wigner semicircle law of \textit{P. Deift} [Orthogonal polynomials and random matrices: a Riemann-Hilbert approach. New York, NY: Courant Institute of Mathematical Sciences; Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0997.47033)], as is proved in Proposition 3.1; for the supercritical case, the density function of the equilibrium measure is given in Proposition 3.3. The role of the \(g\)-function defined by \(\int \log (z-x) \rho_T(x) \,dx\) in the asymptotic limits of the paper is crucial, and its derivative relations are explicitly given in Proposition 3.4 for all three cases. Proposition 3.6 gives the asymptotic limit for the discrete Gaussian orthogonal polynomials for the supercritical case, and Proposition 3.7 for the critical case. Section 4 is devoted to the proof of Theorem 1.2. by deriving the differential equation for the Hankel determinant in Proposition 4.1, and by the probability related to the ratio of the Hankel determinant with an integral. The asymptotical limit of the \(\tau\)-deformed correlation kernel is first related to the contour integral formula of the \(\tau\)-deformed correlation kernel and with the Christoffel-Darboux formula in Section 5.1. Limiting Pearcey processes and limiting tacnode processes are discussed in Section 5.2 and 5.3, respectively. The proof of Theorem 1.4 is given in Section 5.4 by comparing Fourier coefficients of the limit of 2-correlation functions. Section 6 describes the interpolation problem and the Riemann-Hilbert problem associated to discrete Gaussian orthogonal polynomials with the help of Legendre's relation, and includes proofs of previous Lemmas and Propositions. Appendix A constructs the steepest descent contours, and Appendix B provides the proof of Proposition 1.5. Reviewer's remarks. The paper is dry and technical. It would be nice to have more insights on how to reach the main results and how to construct the asymptotic limits. There are some typos and errors, for instance, formula (1) should have \(k=1, 2, \dots, n\). For the proof of Theorem 1.2, the key step in formula (184) is given without proof, and the authors simply state that it follows from the formulas (80) and (81), where both (80) and (81) lack proof or reasoning. | |||
Property / review text: The paper under review shows that the Pearcey and (symmetric) tacnode processes arise as limits of the simplest model of nonintersecting Brownian motions on a circle and analyzes the total winding number of the particles on the circle, that has no counterpart in the models on the real line. The nonintersecting Brownian motions on the circle with \(n\) particles are functions \(x: [0, T]\to S^1 \times \cdots \times S^1\) such that \(x(t)= (x_1(t), \dots, x_n(t))\) with \(x_k (t) = e^{i B_k(t)/\sqrt{n}}\). The model NIBM\(_{0\to T}\) refers to \(x_k(0)=x_k(T)=1\) for all \(1\leq k \leq n\). The transition probability density function \(P(A_n, B_n, t) =\det (P(a_i, b_j, t; \varepsilon (n)))_{1\leq i, j\leq n}\) for \(A_n=\{a_1, \dots, a_n\}\) and \(B_n=\{b_1, \dots, b_n\}\) follows from the Karlin-McGregor formula for odd \(n\) and a more careful study for even \(n\). The model NIBM\(_{0\to T}\) splits into the subcritical case (\(T< \pi^2\)), the critical case (\(T=\pi^2\)) related to the Painlevé II equation and Lax pairs, and the supercritical case (\(T>\pi^2\)) related to elliptical integrals. Theorem 1.2 summarizes the asymptotic behavior of \(P(\text{total\;winding\;number\;equal}\;0)\) as \(n\to\infty\); for the subcritical case, it is exponentially close 1; for the critical case, it is polynomial \(n^{-1/3}\) close to 1; for the supercritical case, \(P(\text{total\;winding\;number\;equals}\;w)= q^{w^2}\sqrt{\frac{\pi}{2\tilde{K}} }+o(n^{-1})\), where \(q=\exp (- \frac{\pi K(\sqrt {q-\tilde{k}^3}}{K(\tilde{k})}))\). Theorem 1.3 states that the asymptotic limit of the correlation kernel \(K_{t_i, t_j}(x, y)|\frac{dy}{d\eta}|\) equals \(K^{\mathrm{Pearcey}}_{-\tau_j, \tau_i}(\eta, \xi)\) for the supercritical case and \(K^{\mathrm{tac}}_{-\tau_j, \tau_i}(\eta, \xi; \sigma)\) for the critical case, and the limit of the multi-time correlation function is given in Theorem 1.4 for the supercritical case. Section 2 derives the transition probability density of NIBM and the joint correlation function and the correlation kernel of NIBM\(_{0\to T}\). By applying results of \textit{S. Karlin} and \textit{J. McGregor} [Pac. J. Math. 9, 1141--1164 (1959; Zbl 0092.34503)] and \textit{M. Fulmek} [Sémin. Lothar. Comb. 52, B52b, 16 p. (2004; Zbl 1064.05013)], the authors derive the \(\tau\)-deformed versions. Section 3 characterizes the asymptotic results for the discrete Gaussian orthogonal polynomials which are used in the later Sections 4 and 5. The key ingredient in the Riemann-Hilbert analysis of orthogonal polynomials is the equilibrium measure associated with the weighted function. For the subcritical and critical cases, the equilibrium measure for the discrete Gaussian orthogonal polynomials is given by the Wigner semicircle law of \textit{P. Deift} [Orthogonal polynomials and random matrices: a Riemann-Hilbert approach. New York, NY: Courant Institute of Mathematical Sciences; Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0997.47033)], as is proved in Proposition 3.1; for the supercritical case, the density function of the equilibrium measure is given in Proposition 3.3. The role of the \(g\)-function defined by \(\int \log (z-x) \rho_T(x) \,dx\) in the asymptotic limits of the paper is crucial, and its derivative relations are explicitly given in Proposition 3.4 for all three cases. Proposition 3.6 gives the asymptotic limit for the discrete Gaussian orthogonal polynomials for the supercritical case, and Proposition 3.7 for the critical case. Section 4 is devoted to the proof of Theorem 1.2. by deriving the differential equation for the Hankel determinant in Proposition 4.1, and by the probability related to the ratio of the Hankel determinant with an integral. The asymptotical limit of the \(\tau\)-deformed correlation kernel is first related to the contour integral formula of the \(\tau\)-deformed correlation kernel and with the Christoffel-Darboux formula in Section 5.1. Limiting Pearcey processes and limiting tacnode processes are discussed in Section 5.2 and 5.3, respectively. The proof of Theorem 1.4 is given in Section 5.4 by comparing Fourier coefficients of the limit of 2-correlation functions. Section 6 describes the interpolation problem and the Riemann-Hilbert problem associated to discrete Gaussian orthogonal polynomials with the help of Legendre's relation, and includes proofs of previous Lemmas and Propositions. Appendix A constructs the steepest descent contours, and Appendix B provides the proof of Proposition 1.5. Reviewer's remarks. The paper is dry and technical. It would be nice to have more insights on how to reach the main results and how to construct the asymptotic limits. There are some typos and errors, for instance, formula (1) should have \(k=1, 2, \dots, n\). For the proof of Theorem 1.2, the key step in formula (184) is given without proof, and the authors simply state that it follows from the formulas (80) and (81), where both (80) and (81) lack proof or reasoning. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60J65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60K35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 60G15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35Q15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 42C05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6579688 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nonintersecting Brownian motions | |||
Property / zbMATH Keywords: nonintersecting Brownian motions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
determinantal process | |||
Property / zbMATH Keywords: determinantal process / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
discrete Gaussian orthogonal polynomials | |||
Property / zbMATH Keywords: discrete Gaussian orthogonal polynomials / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tacnode process | |||
Property / zbMATH Keywords: tacnode process / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Pearcey process | |||
Property / zbMATH Keywords: Pearcey process / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Riemann-Hilbert problem | |||
Property / zbMATH Keywords: Riemann-Hilbert problem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
double contour integral formula | |||
Property / zbMATH Keywords: double contour integral formula / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1312.7390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonintersecting random walks in the neighborhood of a symmetric tacnode / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Double Aztec diamonds and the tacnode process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universality for the Pearcey process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: PDEs for the joint distributions of the Dyson, Airy and Sine processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: RANDOM MATRIX MINOR PROCESSES RELATED TO PERCOLATION THEORY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large \(n\) limit of Gaussian random matrices with external source. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the joint distribution of the maximum and its position of the Airy2 process minus a parabola / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random matrix central limit theorems for nonintersecting random walks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discrete Orthogonal Polynomials. (AM-164): Asymptotics and Applications (AM-164) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large \(n\) limit of Gaussian random matrices with external source. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large \(n\) limit of Gaussian random matrices with external source. III: Double scaling limit / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact Solution of the Six-Vertex Model with Domain Wall Boundary Conditions: Antiferroelectric Phase / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uniform Asymptotics for Discrete Orthogonal Polynomials with Respect to Varying Exponential Weights on a Regular Infinite Lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random Matrices and the Six-Vertex Model / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eynard-Mehta theorem, Schur process, and their Pfaffian analogs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5615009 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stochastic Loewner evolution and Dyson s circular ensembles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reunion probabilities of \(N\) one-dimensional random walkers with mixed boundary conditions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universality of the double scaling limit in random matrix models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE KARDAR–PARISI–ZHANG EQUATION AND UNIVERSALITY CLASS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Brownian Gibbs property for Airy line ensembles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2748505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-intersecting squared Bessel paths at a hard-edge tacnode / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Critical behavior of nonintersecting Brownian motions at a tacnode / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Brownian-Motion Model for the Eigenvalues of a Random Matrix / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5847356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrices coupled in a chain: I. Eigenvalue correlations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-colliding Brownian bridges and the asymmetric tacnode process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monodromy- and spectrum-preserving deformations. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact solution of the lock step model of vicious walkers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-intersecting Brownian walkers and Yang-Mills theory on the sphere / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonintersecting lattice paths on the cylinder / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Binomial determinants, paths, and hook length formulae / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3084090 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some properties of large-\(N\) two-dimensional Yang-Mills theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A boundary value problem associated with the second Painleve transcendent and the Korteweg-de Vries equation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non‐Colliding Brownian Motions on the Circle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The arctic circle boundary and the Airy process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-colliding Brownian motions and the extended tacnode process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Univariate Discrete Distributions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coincidence probabilities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Noncolliding Brownian motion and determinantal processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizations of a discrete normal distribution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the finite-gap ansatz in the continuum limit of the Toda lattice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiple orthogonal polynomials in random matrix theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The tacnode Riemann-Hilbert problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonintersecting Brownian motions on the half-line and discrete Gaussian orthogonal polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Vector Representations of Induced Matroids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correlation function of Schur process with application to local geometry of a random 3-dimensional Young diagram / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Random skew plane partitions and the Pearcey process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exact Distribution of the Maximal Height of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>p</mml:mi></mml:math>Vicious Walkers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reunion probability of \(N\) vicious walkers: typical and large fluctuations for large \(N\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determinantal random point fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discrete normal distribution and its relationship with Jacobi theta functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4061445 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential equations for Dyson processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Pearcey process / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716292 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3098085042 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:49, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonintersecting Brownian motions on the unit circle |
scientific article |
Statements
Nonintersecting Brownian motions on the unit circle (English)
0 references
12 May 2016
0 references
The paper under review shows that the Pearcey and (symmetric) tacnode processes arise as limits of the simplest model of nonintersecting Brownian motions on a circle and analyzes the total winding number of the particles on the circle, that has no counterpart in the models on the real line. The nonintersecting Brownian motions on the circle with \(n\) particles are functions \(x: [0, T]\to S^1 \times \cdots \times S^1\) such that \(x(t)= (x_1(t), \dots, x_n(t))\) with \(x_k (t) = e^{i B_k(t)/\sqrt{n}}\). The model NIBM\(_{0\to T}\) refers to \(x_k(0)=x_k(T)=1\) for all \(1\leq k \leq n\). The transition probability density function \(P(A_n, B_n, t) =\det (P(a_i, b_j, t; \varepsilon (n)))_{1\leq i, j\leq n}\) for \(A_n=\{a_1, \dots, a_n\}\) and \(B_n=\{b_1, \dots, b_n\}\) follows from the Karlin-McGregor formula for odd \(n\) and a more careful study for even \(n\). The model NIBM\(_{0\to T}\) splits into the subcritical case (\(T< \pi^2\)), the critical case (\(T=\pi^2\)) related to the Painlevé II equation and Lax pairs, and the supercritical case (\(T>\pi^2\)) related to elliptical integrals. Theorem 1.2 summarizes the asymptotic behavior of \(P(\text{total\;winding\;number\;equal}\;0)\) as \(n\to\infty\); for the subcritical case, it is exponentially close 1; for the critical case, it is polynomial \(n^{-1/3}\) close to 1; for the supercritical case, \(P(\text{total\;winding\;number\;equals}\;w)= q^{w^2}\sqrt{\frac{\pi}{2\tilde{K}} }+o(n^{-1})\), where \(q=\exp (- \frac{\pi K(\sqrt {q-\tilde{k}^3}}{K(\tilde{k})}))\). Theorem 1.3 states that the asymptotic limit of the correlation kernel \(K_{t_i, t_j}(x, y)|\frac{dy}{d\eta}|\) equals \(K^{\mathrm{Pearcey}}_{-\tau_j, \tau_i}(\eta, \xi)\) for the supercritical case and \(K^{\mathrm{tac}}_{-\tau_j, \tau_i}(\eta, \xi; \sigma)\) for the critical case, and the limit of the multi-time correlation function is given in Theorem 1.4 for the supercritical case. Section 2 derives the transition probability density of NIBM and the joint correlation function and the correlation kernel of NIBM\(_{0\to T}\). By applying results of \textit{S. Karlin} and \textit{J. McGregor} [Pac. J. Math. 9, 1141--1164 (1959; Zbl 0092.34503)] and \textit{M. Fulmek} [Sémin. Lothar. Comb. 52, B52b, 16 p. (2004; Zbl 1064.05013)], the authors derive the \(\tau\)-deformed versions. Section 3 characterizes the asymptotic results for the discrete Gaussian orthogonal polynomials which are used in the later Sections 4 and 5. The key ingredient in the Riemann-Hilbert analysis of orthogonal polynomials is the equilibrium measure associated with the weighted function. For the subcritical and critical cases, the equilibrium measure for the discrete Gaussian orthogonal polynomials is given by the Wigner semicircle law of \textit{P. Deift} [Orthogonal polynomials and random matrices: a Riemann-Hilbert approach. New York, NY: Courant Institute of Mathematical Sciences; Providence, RI: American Mathematical Society (AMS) (2000; Zbl 0997.47033)], as is proved in Proposition 3.1; for the supercritical case, the density function of the equilibrium measure is given in Proposition 3.3. The role of the \(g\)-function defined by \(\int \log (z-x) \rho_T(x) \,dx\) in the asymptotic limits of the paper is crucial, and its derivative relations are explicitly given in Proposition 3.4 for all three cases. Proposition 3.6 gives the asymptotic limit for the discrete Gaussian orthogonal polynomials for the supercritical case, and Proposition 3.7 for the critical case. Section 4 is devoted to the proof of Theorem 1.2. by deriving the differential equation for the Hankel determinant in Proposition 4.1, and by the probability related to the ratio of the Hankel determinant with an integral. The asymptotical limit of the \(\tau\)-deformed correlation kernel is first related to the contour integral formula of the \(\tau\)-deformed correlation kernel and with the Christoffel-Darboux formula in Section 5.1. Limiting Pearcey processes and limiting tacnode processes are discussed in Section 5.2 and 5.3, respectively. The proof of Theorem 1.4 is given in Section 5.4 by comparing Fourier coefficients of the limit of 2-correlation functions. Section 6 describes the interpolation problem and the Riemann-Hilbert problem associated to discrete Gaussian orthogonal polynomials with the help of Legendre's relation, and includes proofs of previous Lemmas and Propositions. Appendix A constructs the steepest descent contours, and Appendix B provides the proof of Proposition 1.5. Reviewer's remarks. The paper is dry and technical. It would be nice to have more insights on how to reach the main results and how to construct the asymptotic limits. There are some typos and errors, for instance, formula (1) should have \(k=1, 2, \dots, n\). For the proof of Theorem 1.2, the key step in formula (184) is given without proof, and the authors simply state that it follows from the formulas (80) and (81), where both (80) and (81) lack proof or reasoning.
0 references
nonintersecting Brownian motions
0 references
determinantal process
0 references
discrete Gaussian orthogonal polynomials
0 references
tacnode process
0 references
Pearcey process
0 references
Riemann-Hilbert problem
0 references
double contour integral formula
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references