Prime Orbit Theorems for expanding Thurston maps: Genericity of strong non-integrability condition

Abstract

In the second paper [16] of this series, we obtained an analog of the prime number theorem for a class of branched covering maps on the 2-sphere S2 called expanding Thurston maps, which are topological models of some non-uniformly expanding rational maps without any smoothness or holomorphicity assumption. More precisely, the number of primitive periodic orbits, ordered by a weight on each point induced by a non-constant (eventually) positive real-valued Hölder continuous function on S2 satisfying the α-strong non-integrability condition, is asymptotically the same as the well-known logarithmic integral, with an exponential error bound. In this third and last paper of the series, we show that the α-strong non-integrability condition is generic in the class of α-Hölder continuous functions.