Hausdorff dimension varies continuously on equivalent dynamically defined wild knots (Q2145167)

A wild knot is constructed as the limit set in \(S^3\) of the group generated by reflections in a finite collection of spheres, called a \textit{necklace}, which are arranged tangent to one another and subordinate to a knot \(K \subset S^3\), i.e., the segment inside each sphere connecting points of tangency is a polygonal knot, called the \textit{template}. These were previously studied in, for example, [\textit{G. Hinojosa}, Contemp. Math. 389, 125--139 (2005; Zbl 1137.57021)]. The present paper is concerned with \textit{dynamically defined} wild knots, defined using smaller spheres which are not tangent to any others in the collection. It is shown that the limit set in this case is homeomorphic to a Cantor set embedded in \(S^3\). The present paper is concerned with how the dynamically defined wild knot varies as the necklace varies among equivalent necklaces, where two necklaces are equivalent when there is a homeomorphism of \(S^3\) which sends one to the other. The main result, Theorem 2, states that as the necklaces vary, the Hausdorff dimension of the limit set varies continuously, where among limit sets the Hausdorff distance on compact sets is used. One ingredient of the proof, stated in Theorem 1, is a notion of equivalence for wild knots such that equivalent necklaces give rise to equivalent wild knots resulting from their limit sets. This is also formulated in terms of isotopies instead of homeomorphisms.