1: \begin{abstract}

2: We show that a differential structure associated with the infinite particle Dyson Brownian motion satisfies the Bakry--\'Emery nonnegative lower Ricci curvature bound $\BE(0, \infty)$. Various functional inequalities follow including a local spectral gap inequality, the Lipschitz Feller property, the dimension-free Harnack inequality and the evolutional variation inequality. As a consequence, the infinite Dyson Brownian motion is characterised as a gradient flow of the Boltzmann-Shannon entropy associated with $\sine_\beta$ point processes with respect to a certain Benamou-Brenier-like Wasserstein distance. 

3: %of a Dirichlet form on the configuration space whose invariant measure is $\mathsf{sine}_\beta$  ensemble for any $\beta>0$. As a particular case of $\beta=2$, our result proves $\BE(0, \infty)$ of a Dirichlet form corresponding to the  infinite particle Dyson Brownian motion. 

4: %As an application, we obtain the local Poincar\'e and the local log-Sobolev inequality, which induce a local spectral gap inequality for the infinite Dyson Brownian motion, and also obtain the local hyper-contractivity of the semigroup.  

5: %We prove, furthermore,  the coincidence of the aforementioned Dirichlet form with the Cheeger energy associated with the $L^2$-transportation distance. 

6: %We further explore interplays with the optimal transport theory, where we prove the Rademacher-type property,  the dimension-free Harnack inequalities and the $L^\infty$-to-Lipschitz Feller property of the semigroup with respect to~a transportation distance~$\bar{\mssd}_\U$.

7: %As a consequence,  the $1$-Wasserstein contraction property of the semigroup is obtained. 

8: At the end,  we provide a sufficient condition for $\BE(K, \infty)$ beyond the Dyson model and apply it to the infinite particle diffusions corresponding to the $\beta$-Riesz gas. 

9: \end{abstract}

10: