Gap property of bi-Lipschitz constants of bi-Lipschitz automorphisms on self-similar sets (Q2430329)

This paper studies the gap property of bi-Lipschitz constants of bi-Lipschitz auto-morphisms. There are three main results: Theorem 1. Suppose that the self-similar set \(K\subset\mathbb{R}^d\) satisfies the strong separation condition. Then \[ \{f\in\Aut(K): f\text{ is isometric}\} \] is a finite group, where \(\Aut(K)\) is the set of all bi-Lipschitz automorphisms on \(E\subset\mathbb{R}^d\). Theorem 2. Suppose that the self-similar set \(K\subset\mathbb{R}^d\) satisfies the strong separation condition. Then \[ b_*= \text{inf}\{\text{blip}(f): f\in\Aut(K)\text{ and blip}(f)> 1\}> 1, \] and there is an automorphism \(f\in \Aut(K)\) such that \(\text{blip}(f) = b_*\), where \[ \text{blip}(f)= \max\{\text{lip}(f), \text{lip}(f^{-1})\}, \] and \(\text{lip}= \sup_{\substack{ x,y\in K\\ x\neq y}} {|f(x)- f(y)|\over|x- y|}\). Theorem 3. Suppose that the self-similar set \(K\subset\mathbb{R}^d\) satisfies the strong separation condition. Then \(d([f], [g])= \log\{\text{blip}(fg^{-1})\}\) is a metric on the quotient space \(\Aut(K)/\sim\), and \((\Aut(K)/\sim, d)\) is discrete. Moreover \(\Aut(K)\) is also discrete under the following metric \[ D(f,g)= \log[\text{blip}(fg^{-1})]+ \sup_{x\in K}|f(x)- g(x)|. \]