# A lemma on the growth of the number of certain edge paths for a given train track

How to prove the following lemma from the book "Closed curves on surfaces" written by Francis Bonahon?

Lemma: For any fattened train track $\Phi$, the number of edge paths of $\Phi$ of length $r$ that are followed by embedded arcs grows polynomially with $r$.

• If anyone wanted to search MO for this question using the words in the lemma they'd be thwarted by the use of an image instead of text. – Dan Piponi Dec 30 '13 at 16:04
• It would be very nice to make the question self contained. What is a "fattened train track"? What is an "edge path"? – Daniel Soltész Dec 30 '13 at 16:15
• This lemma is at the bottom of page 22: www-bcf.usc.edu/~fbonahon/Research/Preprints/Bouquin.pdf The proof is on page 23. What's the problem? The basic idea is that because the arcs are embedded, you only get a polynomial number of choices on each piece (each switch of the train track). – Douglas Zare Dec 30 '13 at 16:46

Step one: Introduce coordinates. If $\alpha$ is such an arc, then it runs across each branch (edge) of the fattened train track some number of times. This gives you a number for each branch. If $\alpha$ has length $r$ then the sum of these numbers is $r$.
Step two: These coordinates determine the arc $\alpha$ up to isotopy. So if $\alpha$ and $\beta$ have the same coordinates, then they are isotopic. (This is the step that fails for homotopy classes of immersed arcs.)
$\newcommand{\ZZ}{\mathbb{Z}}$ Step three: These coordinates are integral, so they give an injective map of isotopy classes of arcs to $\ZZ^B$, where $B$ is the set of branches.
Step four: Count lattice points inside the cube of radius $r$. Done.