Abstract:Erdős proved that any real number can be written as a sum, and a product, of two Liouville numbers. Motivated by these results, we study sumsets of classes of real numbers with prescribed (or bounded) irrationality exponents. We show that such sumsets turn out to be large in general, indeed almost every real number with respect to Lebesgue measure can be written as the sum of two numbers with sufficiently large prescribed irrationality exponents. In fact the Hausdorff dimension of the complement is small, and the result remains true if we impose considerably refined conditions on the orders of rational approximation ("exact approximation" with respect to an approximation function). As an application, we show that in many cases the Hausdorff dimension of Cartesian products of sets with prescribed irrationality exponent exceeds the expected dimension, that is the sum of the single Hausdorff dimensions. We also address their packing dimensions. Similar results hold when restricting to classical missing digit Cantor sets, relative to its natural Cantor measure. In particular, we prove that the subset of numbers with prescribed large irrationality exponent has full packing dimension, i.e. the same packing dimension as the entire Cantor set. This complements some results on the Hausdorff dimension of these sets, which is an extensively studied topic in Diophantine approximation. Our proofs are based on ideas of Erdős, but vastly extend them.

On a class of Hausdorff measure of cartesian product sets in metric spaces

On a class of Hausdorff measure of cartesian product sets

General Countable Product Measures

Relations Between Packing Premeasure and Measure on Metric Space

Box-Counting Measure Of Metric Spaces

Metric Results on Sumsets and Cartesian Products of Classes of Diophantine Sets

Undecidably Semilocalizable Metric Measure Spaces

An interpolation of metrics and spaces of metrics

Amenable Metric Mean Dimension and Amenable Mean Hausdorff Dimension of Product Sets and Metric Varying

On the mean fractal dimensions of the Cartesian product sets

Brunn-Minkowski inequalities in product metric measure spaces

On a generalized notion of metrics

Quantitative metric density and connectivity for sets of positive measure

Existence of Infinite Product Measures

Product Pre-Measure

Some Properties of Packing Measure with Doubling Gauge

Uniform measures on the arbitrary compact metric spaces, with applications

Double composed metric-like spaces via some fixed point theorems

A Unified Framework for Generalizing the Gromov-Hausdorff Metric

Cayley-Menger extension of metrics on affine spaces

Relations among Gauge Functions, Metrics and Hausdorff Measures*