Most interval exchanges have no roots

From MaRDI portal
Publication:1630360



Abstract: Let T be an m-interval exchange transformation. By the rank of T we mean the dimension of the mathbbQ-vector space spanned by the lengths of the exchanged intervals. We prove that if T is minimal and the rank of T is greater than 1+lfloorm/2floor, then T cannot be written as a power of another interval exchange. We also demonstrate that this estimate on the rank cannot be improved. In the case that T is a minimal 3-interval exchange transformation, we prove a stronger result: T cannot be written as a power of another interval exchange if and only if T satisfies Keane's infinite distinct orbit condition. In the course of proving this result, we give a classification (up to conjugacy) of those minimal IETs whose discontinuities all belong to a single orbit.


An $m$-interval exchange transformation ($m$-IET) is a bijective map $T: [0,1)\to[0,1)$ defined by partitioning the unit interval $[0,1)$ into $m$ (non-degenerated) subintervals and the rearranging these subintervals by translations. Recall that an IET $T$ is said to be minimal if for each $x\in [0,1)$, the orbit $\mathcal{O}_T(x)=\{T^n(x): n\in\mathbb{Z}\}$ is dense in $[0,1)$, and of rotation type if there exists a $\alpha\in\mathbb{R}$ such that $T(x)=x+\alpha\pmod 1$ for all $x\in [0,1)$. \par The $n$-fold compositions $T\circ T\dotsb\circ T$ is denoted by $T^n$. We will say that $T$ has an $n$-th root if there exists some $S$ such that $T=S^n$. \par One of the main results is as follows. \par Theorem: Let $T$ be a minimal IET which is not of rotation type. If the lengths of the exchanged subintervals are linearly independent over $\mathbb{Q}$, then $T$ does not have an $n$-th IET root for any $n\geq 2$. \par For minimal $3$-IETs, the author obtain the following stronger result. \par Theorem: If $T$ is a minimal $3$-IET which is not of rotation type, then $T$ has an $n$-th IET root for some $n\geq 2$ if and only if $T$ fails to satisfy Keane's infinite distinct orbit condition. \par The author also gives a classification (up to conjugacy) of those minimal interval exchange transformations whose discontinuities all belong to a single orbit.











This page was built for publication: Most interval exchanges have no roots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630360)