A simple proof of Dvoretzky-type theorem for Hausdorff dimension in doubling spaces (Q2143363)

One of the fundamental results of \textit{M. Mendel} and \textit{A. Naor} [Invent. Math. 192, No.~1, 1--54 (2013; Zbl 1272.30082)] is: For every \(\varepsilon\in (0, 1)\), every compact metric space \((X,d)\) has a compact subset \(S\subseteq X\) that embeds into an ultrametric space with distortion \(O(1/\varepsilon)\), and the Hausdorff dimension \(\dim_H(S)\ge (1-\varepsilon) \dim_H(X)\). This result can be derived from the result called the \textit{ultrametric skeleton theorem} proved in [\textit{M.~Mendel} and \textit{A.~Naor}, Proc. Natl. Acad. Sci. USA 110, No.~48, 19256--19262 (2013; Zbl 1307.46013)] A metric space \((X,d)\) is called \textit{\(\lambda\)-doubling} if each bounded set \(Z\) in \(X\) can be covered by \(\lambda\) sets of diameter \(\mathrm{diam}(Z)/2\). The main goal of the paper under review is to find a simple proof of the ultrametric skeleton theorem in the special case of doubling spaces. The obtained estimates for the important parameters are in some respects better than the estimates in [\textit{M.~Mendel} and \textit{A.~Naor}, Proc. Natl. Acad. Sci. USA 110, No.~48, 19256--19262 (2013; Zbl 1307.46013)]. In the proof, the author uses \textit{Y. Bartal}'s Ramsey decomposition [``Advances in metric Ramsey theory and its applications'', Preprint (2021), \url{arXiv:2104.03484}]. The author answers an open problem from [\textit{O. Zindulka}, Int. Math. Res. Not. 2020, No.~3, 698--721 (2020; Zbl 1435.28007)].