Abstract:Expanding Thurston maps were introduced by M. Bonk and D. Meyer with motivation from complex dynamics and Cannon's conjecture from geometric group theory via Sullivan's dictionary. In this paper, we study subsystems of expanding Thurston maps motivated via Sullivan's dictionary as analogs of some subgroups of Kleinian groups. We prove the uniqueness and various ergodic properties of the equilibrium states for strongly primitive subsystems and real-valued Hölder continuous potentials, and establish the equidistribution of preimages of subsystems with respect to the equilibrium states. Here, the sphere $S^{2}$ is equipped with a natural metric, called a visual metric, introduced by M. Bonk and D. Meyer. As a result, for strongly primitive subsystems of expanding Thurston maps without periodic critical points, we obtain a level-$2$ large deviation principle for Birkhoff averages and iterated preimages.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the thermodynamic formalization research of subsystem dynamics, especially on the dynamic properties of subsystems for extended Thurston mappings. Specifically, the paper focuses on the following aspects:
1. **Existence and Uniqueness of Equilibrium States**: The paper studies the existence and uniqueness of equilibrium states for strongly primitive subsystems under real - valued Hölder continuous potential functions. An equilibrium state refers to an invariant measure that maximizes the measure - theoretic pressure.
2. **Ergodic Properties**: It explores various ergodic properties of these equilibrium states, such as non - atomicity, forward quasi - invariance, exactness, and mixing.
3. **Equidistribution of Pre - images**: It proves the equidistribution property of pre - image points of the subsystem with respect to the equilibrium state.
4. **Large Deviation Principle**: For subsystems of extended Thurston mappings without periodic critical points, it establishes the second - level large deviation principle for Birkhoff averages and iterated pre - images.
### Main Results of the Paper
The main results of the paper can be summarized as follows:
- **Theorem 1.1**: For an extended Thurston mapping \(f\) or a post - critically finite rational mapping \(f\) without periodic critical points, and a Hölder continuous potential function \(\phi\), if \(F\) is a strongly primitive subsystem, then there exists a unique equilibrium state \(\mu_{F,\phi}\). Moreover, this equilibrium state is non - atomic, and the transformation \(F\) is forward quasi - invariant, exact, mixing, and ergodic on the probability space \((\Omega,\mu_{F,\phi})\). At the same time, the pre - image points of \(F\) are equidistributed with respect to \(\mu_{F,\phi}\).
- **Theorem 1.2**: For strongly primitive subsystems of extended Thurston mappings without periodic critical points, it establishes the second - level large deviation principle for Birkhoff averages and iterated pre - images. Specifically, it gives the rate function \(I_\phi\) of the large deviation principle and proves that the sequences of Birkhoff averages and iterated pre - images converge to \(\delta_{\mu_{F,\phi}}\) in the weak - * topology.
### Research Methods and Paper Structure
The proof in the paper is divided into several parts:
1. **Proof of Uniqueness**: By studying the (Gâteaux) differentiability of the topological pressure function and applying some techniques in functional analysis to prove the uniqueness of the equilibrium state.
2. **Proof of Ergodic Properties**: Use the Jacobian function and the Gibbs property of the equilibrium state to prove the exactness and mixing of the transformation \(F\).
3. **Proof of Pre - image Equidistribution**: Apply the uniform convergence result of the normalized splitting Ruelle operator to prove the equidistribution property of pre - images.
4. **Proof of the Large Deviation Principle**: Use a variant of Y. Kifer's result to prove the large deviation principle, which requires verifying three conditions: the existence and uniqueness of the equilibrium state, the upper semi - continuity of the measure - theoretic entropy, and certain characterizations of the topological pressure.
The structure of the paper is as follows:
- **Section 2**: Fix some symbols that will be used throughout the paper.
- **Section 3**: Review some basic concepts in ergodic theory and dynamical systems, as well as relevant concepts and results of Thurston mappings.
- **Section 4**: State the assumptions of some objects in this paper.
- **Section 5**: Prove the uniqueness of the equilibrium state of the subsystem.
- **Section 6**: Prove some ergodic properties of the unique equilibrium state.
- **Section 7**: Establish the pre - image equidistribution result of the subsystem.
- **Section 8**: Prove the second - level large deviation principle of the iterated pre - images of the subsystem.
Through these results, the paper provides an in - depth understanding of the dynamic properties of subsystems of extended Thurston mappings.