Abstract:Let $f: \mathbb C \to \mathbb C$ be a polynomial map of degree $d \geq 2$. We show that the periodic points of $f$ of period $n$ equidistribute towards the equilibrium measure of $f$ exponentially fast. This quantifies a theorem of Lyubich.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the equidistribution speed of periodic points of complex polynomial mappings \( f: \mathbb{C} \to \mathbb{C} \). Specifically, the goal of the paper is to prove that the periodic points \( P_n=\{x \in \mathbb{C}: f^{n}(x) = x\} \) are equidistributed on the equilibrium measure \( \mu \) of \( f \) at an exponential speed.
### Background and Problem Description
Consider a complex polynomial \( f(x) \) of degree \( d\geq2 \), and the corresponding holomorphic mapping \( f: \mathbb{C} \to \mathbb{C} \). The dynamical behavior of such mappings, that is, the behavior of the iterates \( f^{n} \) of \( f \) as \( n \to \infty \), has been studied for more than one hundred years (see [BM01, Mil06]).
According to the pioneering work of Brolin [Bro65], Freire - Lopes - Mané [FLMn83] and Lyubich [Lyu82, Lyu83], \( f \) has a canonical invariant measure \( \mu \), called the equilibrium measure of \( f \). This measure is a probability measure, its support set is the Julia set of \( f \), and it is the unique invariant probability measure with maximum entropy. The equilibrium measure \( \mu \) has two important equidistribution properties:
1. **Equidistribution Theorem of Pre - images**: For non - exceptional points \( a \in \mathbb{C}\setminus E_0 \), where \( E_0 \) is an exceptional set containing at most one point, we have
\[
\lim_{n \to \infty}\frac{1}{d^{n}}\sum_{x \in f^{-n}(a)}\delta_{x}=\mu
\]
where the convergence is in the weak sense. Moreover, if \( a \in \mathbb{C}\setminus E_0 \), then there exist constants \( 1 < \lambda < d \) and \( C>0 \) such that for any test function \( \phi \) of class \( C^{2} \) we have
\[
\left|\left\langle\frac{1}{d^{n}}\sum_{x \in f^{-n}(a)}\delta_{x},\phi\right\rangle-\int_{\mathbb{C}}\phi d\mu\right|\leq C\|\phi\|_{C^{2}}\frac{1}{\lambda^{n}}
\]
2. **Equidistribution Theorem of Periodic Points**: For each \( n\geq1 \), let \( P_n = \{x \in \mathbb{C}: f^{n}(x) = x\} \) be the set of periodic points with period \( n \), then
\[
\lim_{n \to \infty}\frac{1}{d^{n}}\sum_{a \in P_n}\delta_{a}=\mu
\]
where the convergence is also in the weak sense. However, in general, the speed of quantitative convergence has only been studied in the arithmetic setting, that is, the case where the polynomial has algebraic coefficients (see [FRL06, Oku16]).
### Main Contributions of the Paper
In this paper, the authors prove that for any polynomial, the equidistribution speed of periodic points is exponential. Specifically, they prove the following theorem:
**Theorem 1.1**: Let \( f: \mathbb{C} \to \mathbb{C} \) be a polynomial of degree \( d\geq2 \), and let \( \mu \) be its equilibrium measure. Let \( P_n =