654dbfcb4eb35768.tex
1: \begin{abstract}
2:     We construct a piecewise onto 3-to-1 dynamical system on the positive
3:     quadrant of the unit circle, such that for rational points (which
4:     correspond to normalized Primitive Pythagorean Triples), the associated
5:     ternary expansion is finite, and is equal to the address of the PPT on
6:     Barning's \cite{barning} ternary tree of PPTs, while irrational points
7:     have infinite expansions. The dynamical system is conjugate to a
8:     modified Euclidean algorithm. The invariant measure is identified, and
9:     the system is shown to be conservative and ergodic. We also show, based
10:     on a result of Aaronson and Denker \cite{aarodenker}, that the
11:     dynamical system can be obtained as a factor map of a cross-section of
12:     the geodesic flow on a quotient space of the hyperbolic plane by the
13:     group $\Gamma(2)$, a free subgroup of the modular group with two
14:     generators.
15: \end{abstract}
16: