On quasisymmetric minimality of Cantor sets (Q471471)

A topological homeomorphism \(f:\mathbb R^n\to \mathbb R^n\) is called quasisymmetric if there is a homeomorphism \(\eta:[0,\infty) \to [0,\infty)\) such that \[ \frac {|f(x)-f(a)|}{|f(x)-f(b)|} \leq \eta \left( \frac {|x-a|}{|x-b|}\right) \] for all triples of distinct \(a,b,x\) in \(\mathbb R^n\). A subset \(E\) of \(\mathbb R^n\) is called quasisymmetrically minimal for Hausdorff dimension (minimal, for short) if \[ \dim_Hf(E) \geq \dim_HE \] for every quasisymmetric homeomorphism \(f: \mathbb R^n\to \mathbb R^n\). After [\textit{F. W. Gehring}, Acta Math. 130, 265--277 (1973; Zbl 0258.30021)], if \(n\geq 2\) then every subset \(E\) of \(\mathbb R^n\) with \(\dim_HE=n\) is minimal. Interestingly, as shown by \textit{P. Tukia} [Math. Scand. 65, No. 1, 152--160 (1989; Zbl 0677.30016)] this is false when \(n=1\), in general. This leads naturally to the question: which subsets of the line with Hausdorff dimension one are minimal? It is known that this is the case for certain Moran sets, or quasisymmetrically thick sets, or middle interval Cantor sets. In this paper it is shown that uniform Cantor sets of Hausdorff dimension one are all minimal (see Theorem 1.1). In addition, an analog of this result for packing dimension is obtained (Theorem 1.2), and general sufficient conditions for minimal Cantor sets in the sense of Hausdorff dimension and in the sense of packing dimension are formulated (Theorem 5.1 and Theorem 5.2).