Zeta function and entropy for non-archimedean subhyperbolic dynamics

Let K be a complete non-archimedean field of characteristic 0 equipped with a discrete valuation. We establish the rationality of the Artin-Mazur zeta function on the Julia set for any subhyperbolic rational map defined over K with a compact Julia set. Furthermore, we conclude that the topological entropy on the Julia set of such a map is given by the logarithm of a weak Perron number. Conversely, we construct a (sub)hyperbolic rational map defined over K with compact Julia set whose topological entropy on the Julia set equals the logarithm of a given weak Perron number. This extends Thurston's work on the entropy for postcritically finite interval self-maps %of the unit interval to the non-archimedean setting.