This paper describes new results on the growth and zeros of the Ruelle zeta function for the Julia set of a hyperbolic rational map. It is shown that the zeta function is bounded by $\exp(C_K |s|^δ)$ in strips $|\Re s| \leq K$, where $δ$ is the dimension of the Julia set. This leads to bounds on the number of zeros in strips (interpreted as the Pollicott-Ruelle resonances of this dynamical system). An upper bound on the number of zeros in polynomial regions $\{|\Re s | \leq |\Im s|^α\}$ is given, followed by weaker lower bound estimates in strips $\{\Re s > -C, |\Im s|\leq r\}$, and logarithmic neighbourhoods $\{|\Re s | \leq ρ\log |\Im s| \}$. Recent numerical work of Strain-Zworski suggests the upper bounds in strips are optimal.
In this article we prove meromorphic continuation of weighted zeta functions in the framework of open hyperbolic systems by using the meromorphically continued restricted resolvent of Dyatlov and Guillarmou (2016). We obtain a residue formula proving equality between residues of weighted zetas and invariant Ruelle distributions. We combine this equality with results of Guillarmou, Hilgert and Weich (2021) in order to relate the residues to Patterson-Sullivan distributions. Finally we provide proof-of-principle results concerning the numerical calculation of invariant Ruelle distributions for 3…
We prove that the canonical Thurston obstruction for a sub-hyperbolic semi-rational branched covering exists if the branched covering is not CLH-equivalent to a rational map.
In the present paper we give a simple mathematical foundation for describing the zeros of the Selberg zeta functions $Z_X$ for certain very symmetric infinite area surfaces $X$. For definiteness, we consider the case of three funneled surfaces. We show that the zeta function is a complex almost periodic function which can be approximated by complex trigonometric polynomials on large domains (in Theorem 4.2). As our main application, we provide an explanation of the striking empirical results of Borthwick (arXiv:1305.4850) (in Theorem 1.5) in terms of convergence of the affinely scaled zero set…
In 1980's, Thurston established a combinatorial characterization for post-critically finite rational maps. This criterion was then extended by Cui, Jiang, and Sullivan to sub-hyperbolic rational maps. The goal of this paper is to present a new but simpler proof of this result by adapting the argument in the proof of Thurston's Theorem.
We show that for a generic conformal metric perturbation of a compact hyperbolic 3-manifold $Σ$ with Betti number $b_1$, the order of vanishing of the Ruelle zeta function at zero equals $4-b_1$, while in the hyperbolic case it is equal to $4-2b_1$. This is in contrast to the 2-dimensional case where the order of vanishing is a topological invariant. The proof uses the microlocal approach to dynamical zeta functions, giving a geometric description of generalized Pollicott-Ruelle resonant differential forms at 0 in the hyperbolic case and using first variation for the perturbation. To show that…
In \cite{BeEr}, Bergweiler and Eremenko computed the number of critical points of the Green's function on a torus by investigating the dynamics of a certain family of antiholomorphic meromorphic functions on tori. They also observed that hyperbolic maps are dense in this family of meromorphic functions in a rather trivial way. In this paper, we study the parameter space of this family of meromorphic functions, which can be written as antiholomorphic perturbations of Weierstrass Zeta functions. On the one hand, we give a complete topological description of the hyperbolic components and their bo…
Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and prove a stronger version of the theorem that was conjectured by Merenkov and Sabitova.
It is well-known that the Artin-Mazur dynamical zeta function of a hyperbolic or quasi-hyperbolic toral automorphism is a rational function, which can be calculated in terms of the eigenvalues of the corresponding integer matrix. We give an elementary proof of this fact that extends to the case of general toral endomorphisms without change. The result is a closed formula that can be calculated by integer arithmetic only. We also address the functional equation and the relation between the Artin-Mazur and Lefschetz zeta functions.
Given a sub-hyperbolic semi-rational branched covering which is not CLH-equivalent a rational map, it must have the non-empty canonical Thurston obstruction. By using this canonical Thurston obstruction, we decompose this dynamical system in this paper into several sub-dynamical systems. Each of these sub-dynamical systems is either a post-critically finite type branched covering or a sub-hyperbolic semi-rational type branched covering. If a sub-dynamical system is a post-critically finite type branched covering with a hyperbolic orbifold, then it has no Thurston obstruction and is combinatori…
We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods.
Let ${\cal H}$ be a hyperbolic component of quadratic rational maps possessing two distinct attracting cycles. We show that ${\cal H}$ has compact closure in moduli space if and only if neither attractor is a fixed point.
In this paper we continue to study the Reidemeister zeta function. We prove Pólya -- Carlson dichotomy between rationality and a natural boundary for analytic behavior of the Reidemeister zeta function for a large class of automorphisms of Abelian groups. We also study dynamical representation theory zeta functions counting numbers of fixed irreducible representations for iterations of an endomorphism. The rationality and functional equation for these zeta functions are proven for several classes of groups. We find a connection between these zeta functions and the Reidemeister torsions of the …
In this brief note we present a very simple strategy to investigate dynamical determinants for uniformly hyperbolic systems. The construction builds on the recent introduction of suitable functional spaces which allow to transform simple heuristic arguments in rigorous ones. Although the results so obtained are not exactly optimal the straightforwardness of the argument makes it noticeable.
We prove that the Nielsen zeta function is a rational function or a radical of a rational function for orientation preserving homeomorphisms on closed orientable 3-dimensional manifolds which are special Haken or Seifert manifolds. In the case of pseudo-Anosov homeomorphism of surface we compute an asymptotic for the number of twisted conjugacy classes or for the number of Nielsen fixed point classes whose norm is at most $x$.
We show that the Ruelle zeta function of any smooth Axiom A flow with orientable stable/unstable spaces has a meromorphic continuation to the entire complex plane. The proof uses the meromorphic continuation result of [arXiv:1410.5516] together with the work of Conley-Easton and [arXiv:1711.10059] which imply that every basic hyperbolic set can be put into the framework of [arXiv:1410.5516].
In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence…
Markov partitions persisting in a neighbourhood of hyperbolic components of rational maps were constructed under the condition that closures of Fatou components are disjoint in \cite{R1}. Given such a partition, we characterize all nearby hyperbolic components in terms of the symbolic dynamics. This means we can count them, and also obtain topological information. We also determine extra conditions under which all nearby type IV hyperbolic components are given by matings. These are probably the first known results of this type.
In this paper, we use the Carathéodory Convergence Theory to prove a landing theorem of rays in hyperbolic components with rational arguments. Although the proof is done in the setting of a family of entire transcendental maps with two singular values, the method can be generalized to many other one parameter families, with some modifications.
We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$ where $\mathbb Z_p$ the group of p-adic integers. As a consequence, we obtain a dichotomy for the Reidemeister zeta function of a continuous map of a topological space with fundamental group that is non-finitely generated torsion abelian group. We also prove the rationality of the coincidence Reidemeister zeta function for tame endomorphisms pairs of finitel…
In this article, we consider a counting problem for orbits of hyperbolic rational maps on the Riemann sphere, where constraints are placed on the multipliers of orbits. Using arguments from work of Dolgopyat, we consider varying and potentially shrinking intervals, and obtain a result which resembles a local central limit theorem for the logarithm of the absolute value of the multiplier and an equidistribution theorem for the holonomies.
We discuss analogues of the prime number theorem for a hyperbolic rational map f of degree at least two on the Riemann sphere. More precisely, we provide counting estimates for the number of primitive periodic orbits of f ordered by their multiplier, and also obtain equidistribution of the associated holonomies; both estimates have power savings error terms. Our counting and equidistribution results will follow from a study of dynamical zeta functions that have been twisted by characters of $S^1$. We will show that these zeta functions are non-vanishing on a half plane $\Re(s) > δ- ε$, where $…
We consider a geodesic billiard system consisting of a complete Riemannian manifold and an obstacle submanifold with boundary at which the trajectories of the geodesic flow experience specular reflections. We show that if the geodesic billiard system is hyperbolic on its trapped set and the latter is compact and non-grazing the techniques for open hyperbolic systems developed by Dyatlov and Guillarmou can be applied to a smooth model for the discontinuous flow defined by the non-grazing billiard trajectories. This allows us to obtain a meromorphic resolvent for the generator of the billiard fl…
We show that generating functions associated to the sequence of convergents of a quadratic irrational are related in a natural way to the dynam- ical zeta function of a hyperbolic automorphism of the 2-torus. As a corollary, this shows that the Lévy constant of a quadratic irrational appears naturally as the topological entropy of such maps.
