Rigorous effective bounds on the Hausdorff dimension of continued fraction Cantor sets: a hundred decimal digits for the dimension of $E_2$

Abstract

We prove that the algorithm of [13] for approximating the Hausdorff dimension of dynamically defined Cantor sets, using periodic points of the underlying dynamical system, can be used to establish completely rigorous high accuracy bounds on the dimension. The effectiveness of these rigorous estimates is illustrated for Cantor sets consisting of continued fraction expansions with restricted digits. For example the Hausdorff dimension of the set $E_2$ (of those reals whose continued fraction expansion only contains digits 1 and 2) can be rigorously approximated, with an accuracy of over 100 decimal places, using points of period up to 25. The method for establishing rigorous dimension bounds involves the holomorphic extension of mappings associated to the allowed continued fraction digits, an appropriate disc which is contracted by these mappings, and an associated transfer operator acting on the Hilbert Hardy space of analytic functions on this disc. We introduce methods for rigorously bounding the approximation numbers for the transfer operators, showing that this leads to effective estimates on the Taylor coefficients of the associated determinant, and hence to explicit bounds on the Hausdorff dimension.

Advances in Mathematics, to appear

References in corpus (2)

• Resolvent estimates for operators belonging to exponential classes
• C^m Eigenfunctions of Perron-Frobenius Operators and a New Approach to Numerical Computation of Hausdorff Dimension

Cited by in corpus (13)

• Hausdorff dimensions of perturbations of a conformal iterated function system via thermodynamic formalism
• A general framework for the rigorous computation of invariant densities and the coarse-fine strategy
• Lagrange approximation of transfer operators associated with holomorphic data
• Thermodynamic formalism for transient dynamics on the real line
• Limit theorems for counting large continued fraction digits
• $HD(M\setminus L)>0.353$
• Quantitative distortion and the Hausdorff dimension of continued fractions
• Errata and Addenda to Mathematical Constants
• On the dimension spectra of infinite iterated function systems
• Fast approximation of the $p$-radius, matrix pressure or generalised Lyapunov exponent for positive and dominated matrices
• On the structure of the dimension spectrum for continued fraction expansions
• Fast approximation of Lyapunov exponents: Beyond the locally constant case
• Dynamics of Ostrowski skew-product: I. Limit laws and Hausdorff dimensions