What is known about first return times to Markov partitions for Anosov diffeomorphisms?

Question

Consider an Anosov diffeomorphism $T: M \rightarrow M$ and a corresponding Markov partition $\mathcal{R}$ of $M$. For $x \in M$, let $\mathcal{R}(x)$ denote the element of $\mathcal{R}$ containing $x$ and let $t_\infty^{(\mathcal{R})}(x)$ be the first return to $\mathcal{R}(x)$, i.e.

$t_\infty^{(\mathcal{R})}(x) := \inf \{n: \exists m \mbox{ s.t. } \left( 0 < m < n \land T^mx \notin \mathcal{R}(x) \right) \land T^nx \in \mathcal{R}(x)\}$.

What, if anything, is already known about this quantity? (I am not interested in similar functions [unless perhaps only the first exit requirement is dropped], but only this one; it is of particular interest from the point of view of statistical physics.) Any theorems, references, etc. would be helpful. In particular, I would be interested to know if there are results demonstrating some sort of local product structure w/r/t the expanding and contracting directions of $T$.

This post imported from StackExchange MathOverflow at 2014-09-13 08:12 (UCT), posted by SE-user Steve Huntsman

Comments

Hi Steve, maybe you already know about: AN INTRODUCTION TO QUANTITATIVE POINCARE RECURRENCE IN DYNAMICAL SYSTEMS - Benoit Saussol Reviews in Mathematical Physics Vol. 21, No. 8 (2009) 949–979. It is not "difeo paper", but since you have markov partitions perhaps you can find a way to translate the results.

This post imported from StackExchange MathOverflow at 2014-09-13 08:12 (UCT), posted by SE-user Leandro

---

@Leandro: I realize now that I had grabbed that paper, but off the arxiv. Still need to read it.

This post imported from StackExchange MathOverflow at 2014-09-13 08:12 (UCT), posted by SE-user Steve Huntsman

---

From the article mentioned above I found the paper "Product Structure of Poincaré Recurrence" by Barreira and Saussol, which states in the abstract that "for locally maximal hyperbolic sets the recurrence rate possesses a certain local product structure, which closely imitates the product structure provided by the families of local stable and unstable manifolds, as well as the almost product structure of hyperbolic measures."

This post imported from StackExchange MathOverflow at 2014-09-13 08:12 (UCT), posted by SE-user Steve Huntsman

---

Looking at theorem 10 in this paper, I find the points of closest approach to what I'd like, but still not really what I'm after. I've looked at all the conceivably relevant papers that cite this in Google Scholar. So if there is anything out there it's probably very new, unpublished, etc.

This post imported from StackExchange MathOverflow at 2014-09-13 08:12 (UCT), posted by SE-user Steve Huntsman