G. Everest,R. Miles,S. Stevens,T. Ward
Abstract:There are well-known analogs of the prime number theorem and Mertens' theorem for dynamical systems with hyperbolic behaviour. Here we consider the same question for the simplest non-hyperbolic algebraic systems. The asymptotic behaviour of the orbit-counting function is governed by a rotation on an associated compact group, and in simple examples we exhibit uncountably many different asymptotic growth rates for the orbit-counting function. Mertens' Theorem also holds in this setting, with an explicit rational leading coefficient obtained from arithmetic properties of the non-hyperbolic eigendirections.
What problem does this paper attempt to address?
This paper attempts to solve the problem of orbit counting in non - hyperbolic dynamical systems. Specifically, the authors focus on the simplest non - hyperbolic algebraic systems and study the asymptotic behavior of the number of orbits in these systems. They find that the asymptotic behavior of the orbit - counting function is influenced by rotations on the compact group associated with the system, and in simple examples, they show uncountably many different asymptotic growth rates of the orbit - counting function. Moreover, Mertens' theorem also holds in this setting, with an explicit rational leading coefficient obtained from the arithmetic properties of the non - hyperbolic characteristic directions.
Mathematically, for a continuous mapping \(T:X\rightarrow X\), a closed orbit \(\tau\) has length \(|\tau| = n\), defined as the set \(\{x,T(x),T^{2}(x),\ldots,T^{n}(x)=x\}\) and has cardinality \(n\). The analogue of the prime number theorem for dynamical systems concerns the asymptotic behavior of the expression:
\[ \pi_T(N)=|\{\tau:|\tau|\leq N\}| \]
And the analogue of Mertens' theorem for dynamical systems concerns the asymptotic estimate of the expression:
\[ M_T(N)=\sum_{|\tau|\leq N}\frac{1}{e^{h(T)}|\tau|} \]
where \(h(T)\) represents the topological entropy of the mapping.
In the non - hyperbolic case, by introducing the dynamical zeta function and the associated compact group, the authors prove the existence of a single asymptotic behavior and detect the limit points in the orbit - counting problem. For example, for a particular mapping \(\varphi\), the sequence \(\Pi_{\varphi}(N_j)\) converges if and only if the sequence \((2^{N_j})\) converges in the 3 - adic integers group \(\mathbb{Z}_3\). This shows that the sequence \(\Pi_{\varphi}(N)\) has uncountably many limit points, and both the upper and lower limits are transcendental numbers.
In conclusion, this paper solves the problem of the asymptotic behavior of orbit counting in non - hyperbolic dynamical systems and provides a specific form of the analogue of Mertens' theorem.