Hostname: page-component-848d4c4894-v5vhk Total loading time: 0 Render date: 2024-06-26T02:07:02.191Z Has data issue: false hasContentIssue false
  • English
  • Français

Distribution in homology classes and discrete fractal dimension

Part of: Dynamical systems with hyperbolic behavior Smooth dynamical systems: general theory

Published online by Cambridge University Press:  28 May 2024

James Everitt  and
Richard Sharp
James Everitt*
Affiliation:
Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK ([email protected]; [email protected])
Richard Sharp
Affiliation:
Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK ([email protected]; [email protected])
*
†Corresponding author.
Rights & Permissions [Opens in a new window]

Abstract

In this note, we examine the proportion of periodic orbits of Anosov flows that lie in an infinite zero density subset of the first homology group. We show that on a logarithmic scale we get convergence to a discrete fractal dimension.

Keywords

Anosov flowperiodic orbithomologydiscrete mass dimensionthermodynamic formalism

MSC classification

Primary: 37C27: Periodic orbits of vector fields and flows
Secondary: 37C30: Zeta functions, (Ruelle-Frobenius) transfer operators, and other functional analytic techniques in dynamical systems 37D20: Uniformly hyperbolic systems (expanding, Anosov, Axiom A, etc.) 37D35: Thermodynamic formalism, variational principles, equilibrium states 37D40: Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.)
Type
Research Article
Information
Proceedings of the Royal Society of Edinburgh Section A: Mathematics , First View , pp. 1 - 8
Check for updates
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s), 2024. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

There has been a considerable body of research on how closed geodesics on compact negatively curved manifolds and, more generally, periodic orbits of Anosov flows are distributed in homology classes, for example [Reference Anantharaman1, Reference Babillot and Ledrappier3, Reference Katsuda and Sunada11–Reference Lalley14, Reference Phillips and Sarnak19, Reference Pollicott and Sharp21, Reference Sharp24]. To state these results more precisely, let $\phi ^t : M \to M$ be a transitive Anosov flow such that the winding cycle associated with the measure of maximal entropy vanishes. This class of flows includes geodesic flows over compact negatively curved manifolds. The basic counting result is that the number of period orbits of length at most $T$ and lying in a homology class $\alpha \in H_1(M,\,\mathbb {Z})$ is asymptotic to $(\mathrm {constant}) \times {\rm e}^{hT}/T^{1+k/2}$, where $h$ is the topological entropy of the flow and $k\ge 0$ is the first Betti number of $M$. Furthermore, the distribution is Gaussian and the constant above is related to the variance [Reference Lalley14, Reference Petridis and Risager17, Reference Sharp25].

It is also interesting to ask about the distribution of periodic orbits lying in a set $A \subset H_1(M,\,\mathbb {Z})$. If $A$ is finite, the behaviour follows from that for single homology classes, so we suppose that $A$ is infinite. This, of course, implies that $H_1(M,\,\mathbb {Z})$ is infinite, i.e. $k \ge 1$. Petridis and Risager [Reference Petridis and Risager18] (for compact hyperbolic surfaces) and Collier and Sharp [Reference Collier and Sharp6] (for Anosov flows for which the measure of maximal entropy has vanishing winding cycle) independently showed if $A$ has positive density then the proportion of periodic orbits of length at most $T$ lying in $A$ converges to the density of $A$ (with respect to an appropriate norm), as $T \to \infty$. To state this and our new results more precisely, let $\mathscr P$ denote the set of prime periodic orbits for $\phi$ and, for $\gamma \in \mathscr P$, let $\ell (\gamma )$ denote the least period of $\gamma$ and $[\gamma ] \in H_1(M,\,\mathbb {Z})$ denote the homology class of $\gamma$. It is convenient to ignore any torsion in $H_1(M,\,\mathbb {Z})$, so we can think of $H_1(M,\,\mathbb {Z})$ as a lattice in $H_1(M,\,\mathbb {R})\cong \mathbb {R}^k$. Write $\mathscr P_T = \{\gamma \in \mathscr P \hbox { : } \ell (\gamma ) \le T\}$, $\mathscr P_T(\alpha ) = \{\gamma \in \mathscr P_T \hbox { : } [\gamma ]=\alpha \}$, and $\mathscr P_T(A) = \bigcup _{\alpha \in A} \mathscr P_T(\alpha )$. Fixing a norm $\|\cdot \|$ on $H_1(M,\,\mathbb {R})$, write $\mathfrak N_A(r) = \#\{\alpha \in A \hbox { : } \|\alpha \|\le r\}$ and $\mathfrak N(r) = \mathfrak N_{H_1(M,\mathbb {Z})}(r)$. We say that $A \subset H_1(M,\,\mathbb {Z})$ has density $d_{\|\cdot \|}(A)$ (with respect to $\|\cdot \|$) if

\[ \lim_{r \to \infty} \frac{\mathfrak N_A(r)}{\mathfrak N(r)} = d_{\|\cdot\|}(A). \]

Proposition 1.1 [Reference Collier and Sharp6, Reference Petridis and Risager18])

Let $\phi ^t : M \to M$ be a transitive Anosov flow for which the winding cycle associated with the measure of maximal entropy vanishes. Then there exists a norm $\|\cdot \|$ on $H_1(M,\,\mathbb {R})$ such that if $A \subset H_1(M,\,\mathbb {Z})$ has density $d_{\|\cdot \|}(A)$ then

\[ \lim_{T \to \infty} \frac{\#\mathscr P_T(A)}{\#\mathscr P_T} = d_{\|\cdot\|}(A). \]

The norm (defined in § 2) is a Euclidean norm determined by the second derivative of a pressure function.

Now, suppose $A$ has density zero. It is interesting to ask whether we can obtain more precise information about the behaviour of

\[ \mathscr D(T,A) := \frac{\#\mathscr P_T(A)}{\#\mathscr P_T} \]

as $T \to \infty$. If we write $\rho _A(r) = \mathfrak N_A(r)/\mathfrak N(r)$, then the naive conjecture is that $\mathscr D(T,\,A)$ is of order $\rho _A(\sqrt {t})$, as $T \to \infty$, and this is consistent with case $A =\{\alpha \}$. It is too optimistic to hope that a precise asymptotic relation holds for general $A$. Nevertheless, one might hope for information on the logarithmic scale if we use some notion of discrete fractal dimension. We say that $A$ has discrete mass dimension $\delta$ if

\[ \lim_{r \to \infty} \frac{\log \mathfrak N_A(r)}{\log r} = \delta \]

or, equivalently, that if

(1.1)\begin{equation} \mathfrak N_A(r) = r^{\delta}\kappa_A(r) \end{equation}

then $\lim _{r \to \infty } \log \kappa _A(r)/\log r =0$. (Note that this is independent of the choice of norm $\|\cdot \|$.) For a discussion of discrete fractal dimensions, see [Reference Barlow and Taylor4].

Example 1.2 Suppose $A \subset \mathbb {Z}$ is given by $A = \{\pm m^2 \hbox { : } m \in \mathbb {N}\}$ then the discrete mass dimension of $A$ is $1/2$. More interesting examples appear in percolation theory (see, e.g. [Reference Heydenreich10]).

Our main result is the following.

Theorem 1.3 Let $\phi ^t : M \to M$ be a transitive Anosov flow for which the winding cycle associated with the measure of maximal entropy vanishes. If $A \subset H_1(M,\,\mathbb {Z})$ has discrete mass dimension $\delta$ then

\[ \lim_{T \to \infty} \frac{\log \mathscr D(T,A)}{\log T} = \frac{\delta -k}{2}. \]

Let $\Sigma$ be a compact orientable surface of genus $\mathfrak g \ge 2$ with a Riemannian metric $g$ of negative curvature and let $T^1\Sigma$ denote the unit tangent bundle. Then the natural projection $p : T^1\Sigma \to \Sigma$ induces a homomorphism $p_\ast : H_1(T^1\Sigma,\,\mathbb {Z}) \to H_1(\Sigma,\,\mathbb {Z}) \cong \mathbb {Z}^{2g}$ whose kernel is the torsion subgroup, and induces a bijection between the prime periodic orbits of the geodesic flow and primitive closed geodesics on $\Sigma$ such that $\ell (\gamma ) = \mathrm {length}_g(p(\gamma ))$ and $p_\ast ([\gamma ]) = [p(\gamma )]$. If, for $A \subset H_1(\Sigma,\,\mathbb {Z})$, we define $\mathscr D_{\Sigma }(T,\,A)$ to be the proportion of closed primitive geodesics on $\Sigma$ with $g$-length at most $T$ and with homology class in $A$, then we have the following corollary.

Corollary 1.4 Let $\Sigma$ be a compact orientable surface of genus $\mathfrak g \ge 2$ with a Riemannian metric of negative curvature. If $A \subset H_1(\Sigma,\,\mathbb {Z})$ has discrete mass dimension $\delta$ then

\[ \lim_{T \to \infty} \frac{\log \mathscr D_{\Sigma}(T,A)}{\log T} = \frac{\delta -2\mathfrak g}{2}. \]

2. Anosov flows

Let $M$ be a compact Riemannian manifold and $\phi ^t : M \to M$ be a transitive Anosov flow [Reference Anosov2, Reference Fisher and Hasselblatt8]. We suppose that $M$ has first Betti number $k \ge 1$ and ignore any torsion in $H_1(M,\,\mathbb {Z})$. Using the notation of the introduction, we say that $\phi$ is homologically full if the map $\mathscr P \to H_1(M,\,\mathbb {Z}) : \gamma \mapsto [\gamma ]$ is a surjection. This automatically implies that the flow is weak-mixing (since an Anosov flow fails to be weak-mixing only when it is a constant suspension of an Anosov diffeomorphism [Reference Plante20], in which case it can have no null homologous periodic orbits) and hence that

\[ \#\mathscr P_T \sim \frac{{\rm e}^{hT}}{hT}, \]

as $T \to \infty$, where $h>0$ is the topological entropy of $\phi$ [Reference Margulis15, Reference Parry and Pollicott16]. There is a unique measure of maximal entropy $\mu$ for which the measure-theoretic entropy $h_\mu (\phi ) =h$ [Reference Bowen5]. (See [Reference Fisher and Hasselblatt8] for the notions of topological and measure-theoretic entropy for $\phi$.)

Let $\mathscr M_\phi$ denote the set of $\phi$-invariant Borel probability measures on $M$. For a continuous function $f : M \to \mathbb {R}$, we define its pressure $P(f)$ by

\[ P(f) = \sup\left\{h_\nu(\phi) + \int f {\rm d}\nu \hbox{ : } \nu \in \mathscr M_\phi\right\}. \]

Given $\nu \in \mathscr M_\phi$, we can define the associated winding cycle $\Phi _\nu \in H_1(M,\,\mathbb {R})$ by

\[ \langle \Phi_\nu, [\omega] \rangle = \int \omega(Z) \, {\rm d}\nu, \]

where $[\omega ]$ is the cohomology class of the closed $1$-form $\omega$, $Z$ is the vector generating $\phi$, and $\langle \cdot,\,\cdot \rangle$ is the duality pairing [Reference Schwartzman23, Reference Verjovsky and Vila Freyer26]. Write $\mathscr B_\phi = \{\Phi _\nu \hbox { : } \nu \in \mathscr M_\phi \}$; this is a compact and convex subset of $H_1(M,\,\mathbb {R})$. The assumption that $\phi$ is homologically full is equivalent to $0 \in \mathrm {int}(\mathscr {B}_\phi )$ and implies that there are fully supported measures $\nu$ for which $\Phi _\nu =0$. We will impose the more stringent condition that $\Phi _\mu =0$, where $\mu$ is the measure of maximal entropy for $\phi$. This class includes geodesic flows over compact negatively manifolds with negative sectional curvature. (In the case considered in corollary 1.4, $\mathscr B_\phi$ may be identified with the unit-ball for the Federer–Gromov stable norm on $H_1(\Sigma,\,\mathbb {R})$ [Reference Federer7, Reference Gromov9].)

Still assuming that $\Phi _\mu =0$, there is an analytic pressure function $\mathfrak p : H^1(M,\,\mathbb {R}) \to \mathbb {R}$, defined by $\mathfrak p([\omega ]) = P(\omega (Z))$ [Reference Katsuda and Sunada12, Reference Sharp24]. This is a strictly convex function with positive definite Hessian; it has a unique minimum at $0$. For $\xi \in H^1(M,\,\mathbb {R})$, we define $\sigma _\xi >0$ by

\[ \sigma_\xi^{2k} = \det \nabla^2 \mathfrak p(\xi) \]

and set $\sigma =\sigma _0$. There is also an analytic entropy function $\mathfrak h : \mathrm {int}(\mathscr B_\phi ) \to \mathbb {R}$ defined by $\mathfrak h(\rho ) = \sup \{h_\nu (\phi ) \hbox { : } \Phi _\nu =\rho \}$ such that $\mathfrak p$ and $-\mathfrak h$ are Legendre conjugates (via the pairing $\langle \cdot,\,\cdot \rangle$) [Reference Rockafellar22]. More precisely, $-\nabla \mathfrak h : \mathrm {int}(\mathscr B_\phi ) \to H^1(M,\,\mathbb {R})$ and $\nabla \mathfrak p : H^1(M,\,\mathbb {R}) \to \mathrm {int}(\mathscr B_\phi )$ are inverses and

\[ \mathfrak h(\rho) = \mathfrak p((\nabla \mathfrak p)^{{-}1}(\rho)) - \langle (\nabla \mathfrak p)^{{-}1}(\rho),\rho \rangle. \]

We write $\xi (\rho ) = (\nabla \mathfrak p)^{-1}(\rho )$. Then $-\nabla ^2 \mathfrak h(\rho ) = (\nabla ^2 \mathfrak p(\xi (\rho )))^{-1}$. In particular, $\xi (0)=0$, $\mathcal {H} := -\nabla ^2 \mathfrak h(0) = (\nabla ^2 \mathfrak p(0))^{-1}$ is positive definite and $\det \mathcal {H} = (\det \nabla ^2 \mathfrak p(0))^{-1} = \sigma ^{-2k}$. We use $\mathcal {H}$ to define a norm $\|\cdot \|$ on $H_1(M,\,\mathbb {R})$ by

\[ \|\rho\| = \langle \rho, \mathcal{H}\rho \rangle. \]

We note that

\[ \mathfrak N(r) := \{\alpha \in H_1(M,\mathbb{Z}) \hbox{ : } \|\alpha\| \le r\} \sim \mathfrak v_k \sigma^k r^k, \]

where $\mathfrak v_k = \pi ^{k/2}/\Gamma (k/2+1)$, the volume of the standard unit-ball in $\mathbb {R}^k$. For small $\rho$, Taylor's theorem gives us the expansion

(2.1)\begin{equation} \mathfrak h(\rho) = h - \|\rho\|^2/2 + O(\|\rho\|^3). \end{equation}

We now consider the periodic orbits of $\phi ^t$. As above, we ignore the torsion in $H_1(M,\,\mathbb {Z})$ and treat it as a lattice in $H_1(M,\,\mathbb {R})$. We fix a fundamental domain $\mathscr F$ and, for $\rho \in H_1(M,\,\mathbb {R})$, we define $\lfloor \rho \rfloor \in H_1(M,\,\mathbb {Z})$ by $\rho -\lfloor \rho \rfloor \in \mathscr F$.

Proposition 2.1 (Theorem 3.5 of [Reference Babillot and Ledrappier3])

Let $\phi ^t : M \to M$ be a homologically full transitive Anosov flow. If $\rho \in \mathrm {int}(\mathscr B_\phi )$ and $\alpha \in H_1(M,\,\mathbb {Z})$ then

\[ \#\{\gamma \in \mathscr P_T \hbox{ : } [\gamma] = \alpha + \lfloor \rho T \rfloor\} \sim c(\rho) {\rm e}^{\langle \xi(\rho),T\rho - \lfloor T\rho \rfloor -\alpha\rangle} \frac{{\rm e}^{\mathfrak h(\rho)T}}{T^{1+k/2}}, \]

as $T \to \infty$, uniformly for $\rho$ in any compact subset of $\mathscr B_\phi$, where $c(\rho ) =1/( (2\pi )^{k/2} \sigma ^k_{\xi (\rho )} \mathfrak h(\rho ))$.

Remark 2.2 The statement of Theorem 3.5 in [Reference Babillot and Ledrappier3] is for the more general class of hyperbolic flows and the hypotheses there are a condition called Assumption A (see p. 18 of [Reference Babillot and Ledrappier3]) and that $\mathscr B_\phi$ contains zero in its interior. For transitive Anosov flows, it was proved in [Reference Sharp24] that both of these are implied by the flow being homologically full. Counting results for a linearly varying homology class were originally proved by Lalley in the more restricted setting of geodesic flows over compact negatively curved surfaces [Reference Lalley14].

If $\Phi _\mu =0$, we can set $\rho =0$ and recover the asymptotic

\[ \#\mathscr P_T(\alpha) \sim \frac{1}{(2\pi)^{k/2} \sigma^k h} \frac{{\rm e}^{ hT}}{T^{1+k/2}}, \]

originally proved by Katsuda and Sunada [Reference Katsuda and Sunada12]. Furthermore, for all sufficiently small $\Delta >0$, we have

(2.2)\begin{equation} \lim_{T \to \infty} \sup_{\|\alpha| \le \Delta T} \left|\frac{T^{1+k/2}\#\mathscr P_T(\alpha)}{c(\alpha/T){\rm e}^{\mathfrak h(\alpha/T)T}} -1 \right|=0. \end{equation}

3. Proof of theorem 1.3

3.1. Upper bound

In this section, we show that $(\delta -k)/2$ gives an upper bound for the limit in theorem 1.3. The main idea is to use proposition 2.1 and the Taylor expansion of $\mathfrak h(\rho )$ to replace $\mathscr D(T,\,A)$ with a sum of Gaussian terms over elements of $A$ with norm bounded by $\eta \sqrt {T\log T}$, for $\eta >0$ chosen sufficiently large that the resulting error decays faster than $T^{(\delta -k)/2}$.

We begin with the trivial observation that

\[ \mathscr D(T,A) - {\rm e}^{{-}hT}hT\#\mathscr P_T(A) = o(\mathscr D(T,A)), \]

so that it is sufficient to consider ${\rm e}^{-hT}hT\#\mathscr P_T(A)$. We can make the following approximation.

Lemma 3.1 For any $\eta >0$,

\begin{align*} \sum_{\substack{\alpha \in A \\ \|\alpha\| \le \eta\sqrt{T\log T}}} & \left(\frac{hT\#\mathscr P_T(\alpha)}{{\rm e}^{hT}} - \frac{{\rm e}^{-\|\alpha\|^2/2T}}{(2\pi)^{k/2} \sigma^k T^{k/2}}\right) \\ & = o\left(T^{(\delta-k)/2} (\log T)^{\delta/2} \kappa_A(\eta \sqrt{T \log T})\right), \end{align*}

where $\kappa _A$ is defined by equation (1.1).

Proof. Let $\eta >0$. Clearly, (2.2) still holds if we take the supremum over $\|\alpha \| \le \eta \sqrt {T\log T}$. Over this set, we have $c(\alpha /T) = c(0) + O(\|\alpha \|/T) = c(0) + O(\sqrt {\log T}/\sqrt {T})$ and

\[ \mathfrak h\left(\frac{\alpha}{T}\right)T = ht -\frac{\|\alpha\|^2}{2T} + O\left(\frac{\|\alpha\|^3}{T^2}\right) = hT -\frac{\|\alpha\|^2}{2T} +O\left(\frac{(\log T)^{3/2}}{\sqrt T}\right). \]

Substituting these in, we obtain an estimate

\[ \sup_{\|\alpha\| \le \eta \sqrt{T \log T}} \left|\frac{hT\#\mathscr P_T(\alpha)}{{\rm e}^{hT}} - \frac{{\rm e}^{-\|\alpha\|^2/2T} {\rm e}^{q(\alpha,T)}}{(2\pi)^{k/2} \sigma^k T^{k/2}}\right| = o(T^{{-}k/2}), \]

where $|q(\alpha,\, T)| \le c'(\log T)^{3/2} T^{-1/2}$, for some $c'>0$. A simple calculation then shows that we may remove the $q(\alpha,\,T)$ terms, while keeping the $o(T^{-k/2})$ error term. To complete the proof, we note that summing over $\|\alpha \|\le \eta \sqrt {T\log T}$ involves $\mathfrak N_A(\eta \sqrt {T \log T}) = O(T^{\delta /2} (\log T)^{\delta /2} \kappa _A(\eta \sqrt {T\log T}))$ summands.

Next, we estimate the Gaussian part from the previous lemma.

Lemma 3.2

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\|\le \eta\sqrt{T\log T}}} \frac{{\rm e}^{-\|\alpha\|^2/2T}}{(2\pi)^{k/2} \sigma^k T^{k/2}} =O(T^{(\delta-k)/2} (\log T)^{\delta/2} \kappa_A(\eta\sqrt{T \log T})). \]

Proof. The result follows from the elementary estimate

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\|\le \eta\sqrt{T\log T}}} \frac{{\rm e}^{-\|\alpha\|^2/2T}}{(2\pi)^{k/2} \sigma^k T^{k/2}} =O\left(\frac{\mathfrak N_A(\eta\sqrt{T \log T})}{T^{k/2}}\right). \]

The contribution from $\|\alpha \|>\eta \sqrt {T\log T}$ is estimated as follows.

Lemma 3.3

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\|>\eta\sqrt{T\log T}}} \frac{hT\#\mathscr P_T(\alpha)}{{\rm e}^{hT}} =O(T^{-\eta^2/2} (\log T)^{3k/2 -2}). \]

Proof. Applying proposition 2.1, we see that, for $x \in \mathbb {R}^k$ and $\mathcal {C}(\Delta )$ a cube of (small) side length $\Delta$ based at $0$,

\begin{align*} & hT{\rm e}^{{-}hT} \#\left\{\gamma \in \mathscr P_T \hbox{ : }\frac{[\gamma]}{ \sqrt{T\log T}} \in x+\mathcal{C}(\Delta)\right\} \\ & \quad\sim h{\rm e}^{{-}hT} c(x \sqrt{(\log T)/T}) \frac{{\rm e}^{\mathfrak h(x \sqrt{(\log T)/T})T}}{T^{k/2}} (\Delta \sqrt{T \log T})^k \\ & \quad\sim \frac{\Delta^k (\log T)^{k/2} {\rm e}^{-(\|x\|^2 \log T)/2}}{(2\pi)^{k/2} \sigma^k}. \end{align*}

Thus, we can estimate the sum in the statement by $(\log T)^{k/2}I_\eta (T)$, where $I_\eta (T)$ is the integral:

\[ I_\eta(T) :=\frac{1}{(2\pi)^{k/2}\sigma^k} \int_{B(\eta)} {\rm e}^{-\|x\|^2 \log T/2} \, {\rm d}x, \]

where $B(\eta ) = \{x \in \mathbb {R}^k \hbox { : } \|x\|>\eta \}$. Substituting $u = x\sqrt {\log T}$ and passing to coordinates $(r,\,\theta )$ with $r>0$ and $\|\theta \|=1$, we obtain

\[ I_\eta(T) = \frac{\mathrm{Area}(\{\theta \hbox{ : } \|\theta\|=1\}}{(2\pi)^{k/2}\sigma^k} \int_{\eta\sqrt{T}}^\infty {\rm e}^{{-}r^2/2} r^{k-1} \, {\rm d}r =O(T^{-\eta^2/2} (\log T)^{k-2}), \]

where we have used standard asymptotics for the complementary error function $\mathrm {erfc}(z)$.

To complete the proof of the upper bound, choose $\eta >\sqrt {k-\delta }$. Then combining lemmas 3.1–3.3 and noting that

\[ \lim_{T \to \infty} \frac{\log \kappa_A(\eta \sqrt{T \log T})}{\log T} = \lim_{T \to \infty} \frac{\log \kappa_A(\eta\sqrt{T\log T})}{\log(\eta \sqrt{T\log T})} \, \frac{\log (\eta \sqrt{T\log T})}{\log T} =0 \]

shows that

(3.1)\begin{equation} \limsup_{T \to \infty} \frac{\log \mathscr D(T,A)}{\log T} \le \frac{\delta-k}{2}. \end{equation}

3.2. Lower bound

Since we seek a lower bound, we only need to consider

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\| \le \sqrt{T}}} \frac{hT\#\mathscr P_T(\alpha)}{{\rm e}^{hT}}. \]

The following result is almost identical to lemma 3.1 and we do not repeat the proof.

Lemma 3.4

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\| \le \sqrt{T}}} \left(\frac{hT\#\mathscr P_T(\alpha)}{{\rm e}^{hT}} - \frac{{\rm e}^{-\|\alpha\|^2/2T}}{(2\pi)^{k/2} \sigma^k T^{k/2}}\right) = o\left(T^{(\delta-k)/2} \kappa_A( \sqrt{T})\right). \]

Since we have the bound

\[ \sum_{\substack{\alpha \in A \\ \|\alpha\| \le \sqrt{T}}} \frac{{\rm e}^{-\|\alpha\|^2/2T}}{(2\pi)^{k/2} \sigma^k T^{k/2}} \ge \frac{{\rm e}^{{-}2}}{(2\pi)^{k/2} \sigma^k T^{k/2}} \mathfrak N_A(\sqrt{T}) = \frac{{\rm e}^{{-}2}}{(2\pi)^{k/2} \sigma^k} T^{(\delta-k)/2} \kappa_A(\sqrt{T}), \]

we conclude that

\[ \liminf_{T \to \infty} \frac{\log \mathscr D(T,A)}{\log T} \ge \frac{\delta-k}{2}. \]

Footnotes

For the purpose of Open Access, the authors have applied a CC BY public copyright licence to any Author Accepted Manuscript (AAM) version arising from this submission.

References

Anantharaman, N.. Precise counting results for closed orbits of Anosov flows. Ann. Sci. École Norm. Sup. 33 (2000), 33–56.CrossRefGoogle Scholar
Anosov, D., Geodesic flows on closed Riemannian manifolds with negative curvature, Proceedings of the Steklov Institute of Mathematics, Vol. 90 (American Mathematical Society, Providence, RI, 1969).Google Scholar
Babillot, M. and Ledrappier, F.. Lalley's theorem on periodic orbits of hyperbolic flows. Ergod Theory Dyn. Syst. 18 (1998), 17–39.CrossRefGoogle Scholar
Barlow, M. and Taylor, S.. Defining fractal subsets of $\mathbb {Z}^d$. Proc. London Math. Soc. 64 (1992), 125–152.CrossRefGoogle Scholar
Bowen, R.. Maximizing entropy for a hyperbolic flow. Math. Syst. Theory 7 (1973), 300–303.CrossRefGoogle Scholar
Collier, D. and Sharp, R.. Directions and equidistribution in homology for periodic orbits. Ergod Theory Dyn. Syst. 27 (2007), 405–415.CrossRefGoogle Scholar
Federer, H.. Real flat chains, cochains and variational problems. Indiana Univ. Math. J. 24 (1974), 351–407.CrossRefGoogle Scholar
Fisher, T. and Hasselblatt, B., Hyperbolic flows, Zurich Lectures in Advanced Mathematics (European Mathematical Society, 2019).CrossRefGoogle Scholar
Gromov, M.. Metric structures for Riemannian and non-Riemannian spaces (Birkhäuser, Boston, 2007).Google Scholar
Heydenreich, M., Fractal dimension of discrete sets and percolation, in: U. Freiberg, B. Hambly, M. Hinz, S. Winter (eds.) Fractal Geometry and Stochastics VI, Progress in Probability, Vol. 76 (Birkhäuser, Cham, 2021).CrossRefGoogle Scholar
Katsuda, A. and Sunada, T.. Homology and closed geodesics in a compact Riemann surface. Am. J. Math. 110 (1987), 145–156.CrossRefGoogle Scholar
Katsuda, A. and Sunada, T.. Closed orbits in homology classes. Inst. Hautes Études Sci. Publ. Math. 71 (1990), 5–32.CrossRefGoogle Scholar
Kotani, M.. A note on asymptotic expansions for closed geodesics in homology classes. Math. Ann. 320 (2001), 507–529.CrossRefGoogle Scholar
Lalley, S.. Closed geodesics in homology classes on surfaces of variable negative curvature. Duke Math. J. 58 (1989), 795–821.CrossRefGoogle Scholar
Margulis, G.. On some applications of ergodic theory to the study of manifolds on negative curvature. Funct. Anal. Appl. 3 (1969), 89–90.Google Scholar
Parry, W. and Pollicott, M.. An analogue of the prime number theorem for closed orbits of Axiom A flows. Ann. Math. 118 (1983), 573–591.CrossRefGoogle Scholar
Petridis, Y. and Risager, M.. The distribution of values of the Poincaré pairing for hyperbolic Riemann surfaces. J. Reine Angew. Math., 579 (2005), 159–173.CrossRefGoogle Scholar
Petridis, Y. and Risager, M.. Equidistribution of geodesics on homology classes and analogues for free groups. Forum Math. 20 (2008), 783–815.CrossRefGoogle Scholar
Phillips, R. and Sarnak, P.. Geodesics in homology classes. Duke Math. J. 55 (1987), 287–297.CrossRefGoogle Scholar
Plante, J.. Anosov flows. Am. J. Math. 94 (1972), 729–754.CrossRefGoogle Scholar
Pollicott, M. and Sharp, R.. Asymptotic expansions for closed orbits in homology classes. Geom. Ded. 87 (2001), 123–160.CrossRefGoogle Scholar
Rockafellar, R.. Convex analysis (Princeton University Press, Princeton, New Jersey, 1970).CrossRefGoogle Scholar
Schwartzman, S.. Asymptotic cycles. Ann. Math. 66 (1957), 270–284.CrossRefGoogle Scholar
Sharp, R.. Closed orbits in homology classes for Anosov flows. Ergod Theory Dyn. Syst. 13 (1993), 387–408.CrossRefGoogle Scholar
Sharp, R.. A local limit theorem for closed geodesics and homology. Trans. Am. Math. Soc. 356 (2004), 4897–4908.CrossRefGoogle Scholar
Verjovsky, A. and Vila Freyer, R.. The Jones–Witten invariant for flows on a $3$-dimensional manifold. Commun. Math. Phys. 163 (1994), 73–88.CrossRefGoogle Scholar