Mean dimension of the dynamical system of Brody curves

Mean dimension measures the size of an infinite dimensional dynamical system. Brody curves are one-Lipschitz entire holomorphic curves in the projective space, and they form a topological dynamical system. Gromov started the problem of estimating its mean dimension in the paper of 1999. We solve this problem. Namely we prove the exact mean dimension formula of the dynamical system of Brody curves. Our formula expresses the mean dimension by the energy density of Brody curves. The proof is based on a novel application of the metric mean dimension theory of Lindenstrauss and Weiss.