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

+ 3 like - 0 dislike
1843 views

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
retagged Sep 13, 2014
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

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsO$\varnothing$erflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.