---
title: Ruelle's Zeta Functions in Hyperbolic Dynamics
url: https://www.emergentmind.com/topics/ruelle-s-zeta-functions
type: topic
---

# Ruelle's Zeta Functions in Hyperbolic Dynamics

Ruelle zeta functions are dynamical zeta functions built from primitive periodic orbits. In the geodesic-flow setting they are Euler products over primitive closed geodesics, such as
\[
\zeta_R(s)=\prod_{\gamma\in\mathcal G}\bigl(1-e^{-s\ell_\gamma}\bigr)
\]
for a compact negatively curved surface, while in twisted settings each factor is replaced by a determinant involving a representation of the relevant fundamental group [1606.04560] [1506.04672] [2105.13321]. Across compact and noncompact hyperbolic surfaces, odd-dimensional hyperbolic manifolds, locally symmetric spaces, Axiom A flows, Ruelle-expanding maps, and non-Archimedean rational dynamics, these functions encode length-spectrum or periodic-point data while interacting with Selberg zeta functions, transfer operators, Pollicott–Ruelle resonances, analytic torsion, and Reidemeister–Turaev torsion [1412.6969] [1010.4607] [2508.19374].

## 1. Definitions and geometric frameworks

In the classical hyperbolic surface setting, the Ruelle zeta function is attached to the geodesic flow and is defined by an Euler product over primitive closed geodesics. For a compact connected oriented negatively curved surface \((\Sigma,g)\), the product is indexed by primitive closed geodesics \(\gamma\) with lengths \(\ell_\gamma\); negative curvature implies that the geodesic flow on \(M=S^*\Sigma\) is Anosov [1606.04560]. For a cofinite hyperbolic Riemann surface
\[
X=\Gamma\backslash \mathbb H
\]
of type \((g;n;m_1,\dots,m_v)\), meaning genus \(g\), \(n\) cusps, and \(v\) ramification points of orders \(m_1,\dots,m_v\), the Ruelle zeta function is similarly defined by
\[
R(s)=\prod_P(1-p^{-s}),
\]
with \(P\) running over primitive closed geodesics [1901.07898].

The same construction persists under twisting. On a compact hyperbolic surface \(X=\Gamma\backslash\mathbb H^2\) of genus \(g\geq 2\), a finite-dimensional complex representation
\[
\chi:\Gamma\to \mathrm{GL}(V_\chi)
\]
defines a twisted Ruelle zeta function
\[
R(s;\chi)=\prod_{[\gamma]\ \mathrm{prime}} \det\!\bigl(\mathrm{Id}-\chi(\gamma)e^{-s\ell(\gamma)}\bigr),
\]
where \([\gamma]\) ranges over primitive conjugacy classes, equivalently prime closed geodesics [2105.13321]. In compact odd-dimensional hyperbolic manifolds
\[
X=\Gamma\backslash G/K,
\]
with \(G=\mathrm{SO}^0(d,1)\) or \(\mathrm{Spin}(d,1)\), \(d\) odd, and \(\chi:\Gamma\to\mathrm{GL}(V_\chi)\), the twisted theory also allows an auxiliary \(M\)-type \(\sigma\in\widehat M\), producing
\[
R(s;\sigma,\chi)=\prod_{[\gamma]\neq e,\ [\gamma]\ \mathrm{prim}}
\det\!\bigl(\mathrm{Id}-\chi(\gamma)\otimes\sigma(m_\gamma)e^{-s\,l(\gamma)}\bigr)^{(-1)^{d-1}}.
\]
Here \(g^{-1}\gamma g=m_\gamma a_\gamma\) is the standard \(MA\)-decomposition associated with the closed geodesic \(c_\gamma\) [1506.04672].

These formulations already display the two persistent themes of the subject. First, Ruelle zeta functions are orbit-counting objects: they package the primitive length spectrum or periodic-point data. Second, they are not restricted to a single curvature model or coefficient system. The data block shows compact and noncompact surfaces, manifolds of arbitrary odd dimension, orbisurfaces, open systems with boundary, and non-unitary coefficient systems, all within a common zeta-function framework [1606.04560] [1901.07898] [1506.04672].

## 2. Selberg factorization and operator-theoretic models

A central structural feature is the relation to Selberg zeta functions. For hyperbolic surfaces, including compact surfaces, cofinite surfaces with cusps and elliptic points, and compact hyperbolic orbisurfaces, one has the standard quotient formula
\[
R(s)=\frac{Z(s)}{Z(s+1)},
\qquad
R(s;\chi)=\frac{Z(s;\chi)}{Z(s+1;\chi)},
\qquad
R(s;\rho)=\frac{Z(s;\rho)}{Z(s+1;\rho)}.
\]
This identity converts questions about a dynamical Euler product into questions about the corresponding Selberg zeta function and its functional equation [1901.07898] [2105.13321] [2110.06683].

In compact odd-dimensional hyperbolic manifolds and, more generally, compact odd-dimensional rank-one locally symmetric spaces, the relation is an alternating product over shifted Selberg zeta functions. Writing
\[
R(s;\sigma,\chi)=\prod_{p=0}^{d-1} Z_p(s;\sigma,\chi)^{(-1)^p},
\]
with the factors \(Z_p\) built from the \(MA\)-decomposition of \(\Lambda^p\mathfrak n_{\mathbb C}\), one obtains the Ruelle zeta function from finitely many Selberg zeta functions [1506.04672]. In Bunke–Olbrich’s formalism this becomes
\[
Z_{R,\chi}(s,\sigma)=
\prod_{p=0}^{n-1}\prod_{(\tau,\lambda)\in I_p}
Z_{S,\chi}(s+\rho-\lambda,\tau\otimes\sigma)^{(-1)^p},
\]
which is the main bridge from the dynamical side to the spectral side [1412.6969].

A second framework uses transfer operators. For Axiom A flows, the Ruelle transfer operator
\[
\mathcal L_{-sr}w(x)=\sum_{fy=x} e^{-s\,r(y)}w(y)
\]
controls periodic-orbit sums
\[
Z_n(-sr)=\sum_{f^n x=x} e^{-s r^n(x)},
\]
and Ruelle’s Lemma gives a quantitative comparison between \(Z_n(-sr)\) and transfer-operator iterates \(\mathcal L_{-sr}^n\chi_i(x_i)\) [1010.4607]. For Ruelle-expanding maps on compact metric spaces, a finite symbolic model leads to an alternating trace formula
\[
N_p(f)=\sum_{r=1}^{L}(-1)^{r-1}\operatorname{tr}\!\bigl((B^{(r)})^p\bigr),
\]
from which the zeta function is rational, explicitly a quotient of finite determinants [1012.5315].

The non-Archimedean theory retains the transfer-operator viewpoint. For hyperbolic and subhyperbolic rational maps on \(\mathbb Q_p\) or more generally on non-Archimedean local fields of characteristic \(0\), transfer operators acting on \(\mathbb C_p\)-valued analytic function spaces are shown to be \(0\)-nuclear, and their determinants produce meromorphic Ruelle-type zeta functions on \(\mathbb C_p\) [2508.19374].

## 3. Meromorphic continuation, finite-order growth, and functional equations

Meromorphic continuation is one of the foundational analytic properties of Ruelle zeta functions. For compact hyperbolic odd-dimensional manifolds and arbitrary finite-dimensional, not necessarily unitary, twists \(\chi\), both Selberg and Ruelle zeta functions extend meromorphically to all of \(\mathbb C\) [1506.04672]. On compact hyperbolic surfaces, the same holds for arbitrary finite-dimensional complex representations \(\chi\) of \(\pi_1(X)\) [2105.13321]. For compact odd-dimensional locally symmetric spaces of rank one and negative curvature, the meromorphic continuations of the associated Selberg and Ruelle zeta functions are even more rigid: they can be written as quotients of entire functions of finite order at most the dimension \(n\) of the manifold [1412.6969].

This finite-order phenomenon sharpens mere continuation into a global growth statement. If
\[
f(s)=\frac{Z_1(s)}{Z_2(s)}
\]
with \(Z_1\) and \(Z_2\) entire of Hadamard order \(\le n\), then the zero and pole sets have exponent of convergence compatible with the ambient dimension. The cited work derives this from spectral discreteness of the relevant elliptic or Dirac-type operators, Weyl-law growth of eigenvalues, and Hadamard factorization [1412.6969]. In even-dimensional compact locally symmetric spaces, the singularity distribution can be counted more explicitly: the number \(N_R(t)\) of singularities of the Ruelle zeta function in a vertical strip satisfies
\[
N_R(t)=Ct+O(t^{n-1}),
\]
while the Selberg singularity count has leading term of order \(t^n\) [1410.7209].

Functional equations make the continuation highly structured. For compact hyperbolic surfaces and arbitrary finite-dimensional twists,
\[
R(s;\chi)R(-s;\chi)=
(2\sin \pi s)^{2(2g-2)\dim(V_\chi)},
\]
and this directly determines the vanishing order at the origin [2105.13321]. For cofinite hyperbolic Riemann surfaces with cusps and ramification points,
\[
R(s)R(-s)=
\bigl(\varphi(s)\varphi(-s)\bigr)^{-1}
(4\sin \pi s)^{2g-2+n}
\prod_{j=1}^v \frac{\sin \pi s}{\sin(\pi s/m_j)},
\]
so the scattering determinant \(\varphi(s)\) and the elliptic orders \(m_j\) enter explicitly [1901.07898]. In compact odd-dimensional hyperbolic manifolds with non-unitary twists, the functional equations involve exponential terms and, in the non-Weyl-invariant setting, eta-invariant phases; for example,
\[
\frac{R(s;\sigma,\chi)}{R(-s;\sigma,\chi)}
=
\exp\!\left(
(-1)^{\frac{d-1}{2}+1}
2\pi(d+1)\dim(V_\sigma)\dim(V_\chi)
\frac{\mathrm{Vol}(X)}{\mathrm{Vol}(S^d)}\,s
\right)
\]
in the Weyl-invariant case [1507.05947].

These results place Ruelle zeta functions at the intersection of dynamical orbit products, spectral determinants, and classical entire-function theory. The cited works also situate this control within prime geodesic analysis, where zero and pole distribution affects error terms [1412.6969] [1410.7209].

## 4. The point \(s=0\): surfaces, resonances, and cohomology

For compact oriented negatively curved surfaces, the behavior at the origin is topological. If \((\Sigma,g)\) is compact, connected, oriented, and negatively curved, then \(\zeta_R(s)\) has a zero at \(s=0\) of order
\[
-\chi(\Sigma)=|\chi(\Sigma)|.
\]
Equivalently, \(s^{\chi(\Sigma)}\zeta_R(s)\) is holomorphic and nonzero at \(0\) [1606.04560]. The proof factors the zeta function as
\[
\zeta_R(s)=\frac{\zeta_1(s)}{\zeta_0(s)\zeta_2(s)},
\]
where the zeros of \(\zeta_k\) are governed by Pollicott–Ruelle resonances of \(\mathbf P_k=-i\mathcal L_X\) on \(k\)-forms annihilated by the flow direction. At the origin,
\[
m_R(0)=m_1(0)-m_0(0)-m_2(0),
\qquad
m_0(0)=m_2(0)=1,
\qquad
m_1(0)=\mathbf b_1(S^*\Sigma),
\]
so the vanishing order becomes \(\mathbf b_1(S^*\Sigma)-2=-\chi(\Sigma)\) [1606.04560].

For compact oriented negatively curved surfaces with strictly convex boundary, the corresponding order is modified to
\[
1-\chi(\Sigma).
\]
The mechanism is again resonance-theoretic, but now the relevant degree-one resonant space is identified with relative cohomology:
\[
\mathrm{Res}_1(0)\cong H^1(M,\partial M),
\qquad
\dim H^1(M,\partial M)=1-\chi(\Sigma),
\]
while the degree \(0\) and \(2\) contributions vanish:
\[
m_0(0)=m_2(0)=0.
\]
The boundary therefore changes the zero order from the closed formula \(-\chi(\Sigma)\) to the relative-cohomological formula \(1-\chi(\Sigma)\) [1803.10982].

Twisting scales the order by the coefficient dimension in the compact hyperbolic case. For a compact hyperbolic surface of genus \(g\ge 2\) and arbitrary finite-dimensional complex \(\chi\),
\[
\operatorname{ord}_{s=0} R(s;\chi)=\dim(\chi)(2g-2),
\]
and
\[
R(s;\chi)=\pm (2\pi s)^{\dim(V_\chi)(2g-2)}+\text{higher order terms}.
\]
The sign depends on the multiplicity of the zero eigenvalue of the twisted Laplacian [2105.13321].

A more recent resonance-theoretic refinement treats irreducible representations of the unit tangent bundle group for closed Anosov surfaces. There exists an open subset \(\mathcal U_g\) of irreducible representations, whose complement has complex codimension at least \(1\), such that for \(\rho\in\mathcal U_g\) the twisted Ruelle zeta function has order \(\dim(\rho)(2G-2)\) at \(0\) if \(\rho\) factors through \(\pi_1(\Sigma)\), and order \(0\) otherwise [2602.12166]. The governing identity is
\[
m(g,\rho)=
\dim \mathrm{Res}_{0}^{1,\infty}(\rho,0)
-\dim \mathrm{Res}_{0}^{0,\infty}(\rho,0)
-\dim \mathrm{Res}_{0}^{2,\infty}(\rho,0),
\]
which expresses the vanishing order in terms of generalized twisted Pollicott–Ruelle resonant states at zero [2602.12166].

Taken together, these results show that there is no single universal “surface formula” independent of geometric setting. Closed surfaces, surfaces with boundary, twisted compact hyperbolic surfaces, and generic twisted Anosov-surface settings all exhibit topological control at \(s=0\), but the controlling cohomology and the resulting order depend on whether one is in the absolute, relative, or twisted regime [1606.04560] [1803.10982] [2105.13321] [2602.12166].

## 5. Cusps, elliptic points, orbifolds, and torsion

For cofinite hyperbolic Riemann surfaces with cusps and ramification points, the origin is no longer governed solely by the Euler characteristic. Writing the scattering determinant as
\[
\varphi(s)=s^{n_0}\widetilde{\varphi}(s),
\qquad
\widetilde{\varphi}(0)\neq 0,
\]
and defining
\[
A=n-\operatorname{Tr}\Phi\!\left(\frac12\right),
\]
the exact asymptotic at \(s=0\) is
\[
\lim_{s\to 0}\frac{R(s)}{s^{\,2g-2+n-n_0}}
=
(-1)^{A/2+1}(2\pi)^{2g-2+n}\widetilde{\varphi}(0)^{-1}\prod_{j=1}^{v} m_j.
\]
Hence \(R(s)\) has order \(2g-2+n-n_0\) at the origin, and each elliptic point contributes multiplicatively through the factor \(\prod_j m_j\) [1901.07898]. The same work determines the order at other integers: \(R(s)\) has a simple zero at \(s=1\), a zero of order \(2(2g-2+n+v)+n_0-1\) at \(s=-1\), is regular and nonzero at positive integers \(k\ge 2\), and at negative integers \(s=-k\) with \(k\ge 2\) has order
\[
o_k=2k(2g-2+n+v)-\sum_{j=1}^v \kappa_j(k),
\qquad
\kappa_j(k)=
\begin{cases}
1,& m_j\mid k,\\
0,& \text{otherwise}.
\end{cases}
\]
The paper remarks that \(o_k\) can be negative, so poles may occur at some negative integers [1901.07898].

Compact hyperbolic orbisurfaces lead to a different torsion picture. Let
\[
X=\Gamma\backslash \mathbb H^2
\]
be a compact hyperbolic orbisurface with cone points of orders \(\nu_1,\dots,\nu_r\), and let \(X_1\) be its unit tangent bundle. For a representation
\[
\rho:\pi_1(X_1)\to \mathrm{GL}(V_\rho),
\]
the twisted Ruelle zeta function is defined over prime closed geodesics on \(X\) [2110.06683]. If \(\rho(u)\neq \mathrm{Id}\), where \(u\) is the generator of the central fiber subgroup in
\[
1\to \mathbb Z=\langle u\rangle \to \pi_1(X_1)\to \pi_1(X)\to 1,
\]
then the representation is acyclic,
\[
H_*(X_1;V_\rho)=0,
\]
the zeta function is regular at \(0\), and
\[
R(0;\rho)=
(-1)^{\mathrm{mult}(0;\Delta_{\tau,\rho}^\sharp)}
\,\tau(X_1,\rho,\mathfrak e_{\mathrm{geod}},\omega^1),
\]
where \(\tau(X_1,\rho,\mathfrak e_{\mathrm{geod}},\omega^1)\) is the sign-refined Reidemeister–Turaev torsion computed with the Euler structure induced by the geodesic flow and the natural homology orientation of \(X_1\) [2110.06683].

If instead \(\rho(u)=\mathrm{Id}\), so that \(\rho\) factors through \(\pi_1(X)\), then the zeta function has a zero whose order and leading coefficient reflect the orbifold holonomy. With \(n=\dim V_\rho\), \(n_j=\dim \mathrm{Fix}\,\rho(c_j)\), and \(\rho(c_j)=I_{n_j}\oplus T_j\), the vanishing order is
\[
n(2g-2+r)-\sum_{j=1}^r n_j,
\]
and the leading term involves \(\nu_j\), \(T_j\), and the determinants \(\det(I-T_j)\) [2110.06683].

In compact odd-dimensional hyperbolic manifolds, a parallel torsion formula holds for representations close to acyclic unitary ones. For \(\chi\) in a \(C^0\)-open neighborhood of the acyclic unitary locus, the twisted Ruelle zeta function is regular at \(0\) and
\[
R(0;\chi)=\tau_\chi,
\]
the Cappell–Miller complex torsion. Using Braverman–Kappeler refined analytic torsion,
\[
R(0;\chi)=
T_\chi^{\,2}\,
e^{2\pi i\left(\eta(B_\chi^{\ev})-\operatorname{rank}(E_\chi)\eta_{\mathrm{tr}}\right)}.
\]
For unitary acyclic \(\chi\), this reduces to
\[
R(0;\chi)=(T_\chi^{RS})^2
\]
in the sense described in the paper [2004.13474].

These results show that once cusps, elliptic points, orbifold singularities, or non-unitary twists are introduced, the origin of the zeta function is controlled not just by topology, but by scattering data, local isotropy data, fixed subspaces of elliptic holonomy, eta invariants, and torsion refinements [1901.07898] [2110.06683] [2004.13474].

## 6. Extensions beyond classical geodesic flows

Ruelle zeta functions are not confined to constant-curvature geodesic flows. For Axiom A flows on compact smooth manifolds, the zeta function
\[
\zeta(s)=\prod_\tau \bigl(1-e^{-s\ell(\tau)}\bigr)^{-1}
\]
is related to periodic-orbit sums
\[
Z_n(-sr)=\sum_{f^n x=x} e^{-s r^n(x)},
\]
and Ruelle’s Lemma provides an inequality comparing \(Z_n(-sr)\) with transfer-operator iterates in a way suitable for analytic continuation arguments [1010.4607]. The cited paper emphasizes that the higher-dimensional case requires Hölder rather than Lipschitz control and replaces interval-based arguments by Markov leaves and cylinder estimates [1010.4607].

For Ruelle-expanding maps \(f:K\to K\) on compact metric spaces, the zeta function
\[
\zeta_f(t)=\exp\!\left(\sum_{n=1}^\infty \frac{N_n(f)}{n}t^n\right)
\]
is rational. The proof constructs a finite symbolic cover, derives the alternating trace identity
\[
N_p(f)=\sum_{r=1}^{L}(-1)^{r-1}\operatorname{tr}\!\bigl((B^{(r)})^p\bigr),
\]
and concludes that \(\zeta_f(t)\) is a quotient of finite determinants \(\det(I-tB^{(r)})\) [1012.5315]. This places Ruelle zeta functions for expanding systems squarely inside finite-dimensional algebraic combinatorics.

The non-Archimedean theory extends the subject to rational maps on \(\mathbb P^1(\mathbb K)\), with \(\mathbb K\) a non-Archimedean local field of characteristic \(0\). For hyperbolic and subhyperbolic maps, finite Markov decompositions of the Julia set lead to transfer operators on Banach spaces \(\mathcal A(B)\) of \(\mathbb C_p\)-valued analytic functions on discs [2508.19374]. If \(L\) is \(0\)-nuclear, then \(\det(I-zL)\) is analytic on \(\mathbb C_p\), and the resulting periodic-orbit expansion defines a zeta function that is a quotient of entire functions, hence meromorphic on \(\mathbb C_p\) [2508.19374]. The same framework yields a Levin–Sodin–Yuditski type identity and information on Julia-set geometry, including a Hausdorff dimension formula
\[
\frac{\log(\lambda)}{\log(\alpha)}
\]
for subhyperbolic rational functions on \(\mathbb P^1(\mathbb Q_p)\), where \(\lambda\) is algebraic and \(\alpha=\|p\|<1\) [2508.19374].

A plausible implication is that “Ruelle zeta function” designates not a single rigid object but a family of orbit-product constructions whose analytic realization depends on the ambient dynamical category. In geodesic and locally symmetric settings, Selberg theory, scattering, and torsion dominate; in Axiom A and expanding settings, transfer operators and symbolic codings dominate; in the non-Archimedean setting, \(0\)-nuclear operators and \(\mathbb C_p\)-analytic determinants replace classical complex-analytic Fredholm theory [1506.04672] [1010.4607] [1012.5315] [2508.19374].

Source: https://www.emergentmind.com/topics/ruelle-s-zeta-functions