Effective Continued Fraction Dimension versus Effective Hausdorff Dimension of Reals
Authors:
Satyadev Nandakumar,
Akhil S,
Prateek Vishnoi
Abstract:
We establish that constructive continued fraction dimension originally defined using $s$-gales is robust, but surprisingly, that the effective continued fraction dimension and effective (base-$b$) Hausdorff dimension of the same real can be unequal in general.
We initially provide an equivalent characterization of continued fraction dimension using Kolmogorov complexity. In the process, we const…
▽ More
We establish that constructive continued fraction dimension originally defined using $s$-gales is robust, but surprisingly, that the effective continued fraction dimension and effective (base-$b$) Hausdorff dimension of the same real can be unequal in general.
We initially provide an equivalent characterization of continued fraction dimension using Kolmogorov complexity. In the process, we construct an optimal lower semi-computable $s$-gale for continued fractions. We also prove new bounds on the Lebesgue measure of continued fraction cylinders, which may be of independent interest.
We apply these bounds to reveal an unexpected behavior of continued fraction dimension. It is known that feasible dimension is invariant with respect to base conversion. We also know that Martin-Löf randomness and computable randomness are invariant not only with respect to base conversion, but also with respect to the continued fraction representation. In contrast, for any $0 < \varepsilon < 0.5$, we prove the existence of a real whose effective Hausdorff dimension is less than $\varepsilon$, but whose effective continued fraction dimension is greater than or equal to $0.5$. This phenomenon is related to the ``non-faithfulness'' of certain families of covers, investigated by Peres and Torbin and by Albeverio, Ivanenko, Lebid and Torbin.
We also establish that for any real, the constructive Hausdorff dimension is at most its effective continued fraction dimension.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
An analogue of Pillai's theorem for continued fraction normality and an application to subsequences
Authors:
Satyadev Nandakumar,
Subin Pulari,
Prateek Vishnoi,
Gopal Viswanathan
Abstract:
We show that two notions of continued fraction normality, one where overlap** occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base-$b$ expansions. The proof requires techniques which are fundamentally different,…
▽ More
We show that two notions of continued fraction normality, one where overlap** occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This equivalence involves an analogue of a theorem due to S. S. Pillai in 1940 for base-$b$ expansions. The proof requires techniques which are fundamentally different, since the continued fraction expansion utilizes a countably infinite alphabet, leading to a non-compact space. Utilizing the equivalence of these two notions, we provide a new proof of Heersink and Vandehey's recent result that selection of subsequences along arithmetic progressions does not preserve continued fraction normality.
△ Less
Submitted 10 September, 2019; v1 submitted 8 September, 2019;
originally announced September 2019.