Estimates of linearization discs in $p$-adic dynamics with application to ergodicity

We give lower bounds for the size of linearization discs for power series over ${\mathbb{C}}_p$. For quadratic maps, and certain power series containing a `sufficiently large’ quadratic term, we find the exact linearization disc. For finite extensions of ${\mathbb{Q}}_p$, we give a sufficient condition on the multiplier under which the corresponding linearization disc is maximal (i.e. its radius coincides with that of the maximal disc in ${\mathbb{C}}_p$ on which $f$ is one-to-one). In particular, in unramified extensions of ${\mathbb{Q}}_p$, the linearization disc is maximal if the multiplier map has a maximal cycle on the unit sphere. Estimates of linearization discs in the remaining types of non-Archimedean fields of dimension one were obtained in \cite{Lindahl:2004,Lindahl:2009,Lindahl:2009eq}. Moreover, it is shown that, for any complete non-Archimedean field, transitivity is preserved under analytic conjugation. Using results by Oxtoby \cite{Oxtoby:1952}, we prove that transitivity, and hence minimality, is equivalent the unique ergodicity on compact subsets of a linearization disc. In particular, a power series $f$ over ${\mathbb{Q}}_p$ is minimal, hence uniquely ergodic, on all spheres inside a linearization disc about a fixed point if and only if the multiplier is maximal. We also note that in finite extensions of ${\mathbb{Q}}_p$, as well as in any other non-Archimedean field $K$ that is not isomorphic to ${\mathbb{Q}}_p$ for some prime $p$, a power series cannot be ergodic on an entire sphere, that is contained in a linearization disc, and centered about the corresponding fixed point.