Irrationality exponent, Hausdorff dimension and effectivization

DOI10.1007/S00605-017-1094-2MaRDI QIDQ681473zbMATH OpenOpenAlexFDO

Authors Verónica Becher, Jan Reimann, Theodore A. Slaman

Publication date 12 February 2018

Published in Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.00153, http://hdl.handle.net/11336/97123

zbMATH Keywords

Cantor setsDiophantine approximationeffective Hausdorff dimensionirrationality measure exponenttheorem of Jarník

Mathematics Subject Classification ID

Algorithmic randomness and dimension (03D32) Measures of irrationality and of transcendence (11J82) Metric theory (11J83)

Abstract: We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal to 2/a. We show that there is a Cantor-like set with Hausdorff dimension equal to b such that, with respect to its uniform measure, almost all real numbers have irrationality exponent equal to a. We give an analogous result relating the irrationality exponent and the effective Hausdorff dimension of individual real numbers. We prove that there is a Cantor-like set such that, with respect to its uniform measure, almost all elements in the set have effective Hausdorff dimension equal to b and irrationality exponent equal to a. In each case, we obtain the desired set as a distinguished path in a tree of Cantor sets.

Review text

Let \(a\) and \(b\) be real numbers such that \(a\geq 2\) and \(0\leq b\leq \frac 2a\). Then the authors prove that there is a Cantor-like set \(\mathbb E\) with Hausdorff dimension equal to \(b\), such that for an uniform measure on \(\mathbb E\), almost all real numbers have irrationality measure exponent equal to \(a\). In addition, they also prove that there is a Cantor-like set \(\mathbb F\) such that for uniform measure on \(\mathbb F\) almost all real numbers in \(\mathbb F\) have irrationality measure exponent equal to \(a\) and effective Hausdorff dimension equal to \(b\). The proofs are in the spirit of Jarník.

Recommendations

• Metric Diophantine approximation on the middle-third Cantor set
• Constructive Diophantine approximation in generalized continued fraction Cantor sets
• Diophantine approximation and Cantor sets
• The irrationality exponents of computable numbers
• A simple proof of localized Jarník-Besicovitch theorem

Cites work

• Algorithmic randomness and complexity.
• scientific article; zbMATH DE number 1670880 (Why is no real title available?)
• scientific article; zbMATH DE number 3941840 (Why is no real title available?)
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• scientific article; zbMATH DE number 2120364 (Why is no real title available?)
• scientific article; zbMATH DE number 2222024 (Why is no real title available?)
• scientific article; zbMATH DE number 3072221 (Why is no real title available?)
• Liouville, computable, Borel normal and Martin-Löf random numbers
• On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line
• On Mahler's function \(\theta_ 1\)
• Sets of exact `logarithmic' order in the theory of Diophantine approximation
• Sets of exact approximation order by rational numbers
• Sets of Fractional Dimensions (IV): On Rational Approximation to Real Numbers
• The irrationality exponents of computable numbers
• The Kolmogorov complexity of real numbers.
• The strength of the Besicovitch-Davies theorem

Cited in

(2)

• Fractal Intersections and Products via Algorithmic Dimension
• Topology Meets Number Theory

This page was built for publication: Irrationality exponent, Hausdorff dimension and effectivization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681473)