Let $G$ be the group ${\rm PAff}_+(\mathbb R/\mathbb Z)$ of piecewise-affine circle homeomorphisms or the group ${\Diff}^{\infty}(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms.
We give a constructive proof that all irrational rotations are distorted in $G$.
This is a joint paper with J. Banecki.
Meeting ID: 852 4277 3200 Passcode: 103121