Related papers: Sparse regular subsets of the reals

Let D\subseteq \mathbb{R} be closed and discrete and f:D^n \to \mathbb{R} be such that f(D^n) is somewhere dense. We show that (\mathbb{R},+,\cdot,f) defines the set of integers. As an application, we get that for every a,b \in \mathbb{R}…

We show that for the base two expansion \[ x=\sum_{i=1}^{\infty}2^{-(d_{1}(x)+d_{2}(x)+\dots+d_{i}(x))}\] with $x\in(0,1]$ and $d_{i}(x)\in\mathbb{N}$ the set $A=\{x|\lim_{i\to\infty}d_{i}(x)=\infty\}$ has Hausdorff dimension zero, this is…

We fix a positive integer $M$, and we consider expansions in arbitrary real bases $q>1$ over the alphabet $\{0,1,...,M\}$. We denote by $U_q$ the set of real numbers having a unique expansion. Completing many former investigations, we give…

Following in the footsteps of P. Erd\H{o}s and A. R\'enyi we compute the Hausdorff dimension of sets of numbers whose digits with respect to their $Q$-Cantor series expansions satisfy various statistical properties. In particular, we…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Let $E \subseteq R^n$ be a closed set of Hausdorff dimension $\alpha$. For $m \geq n$, let $\{B_1,\ldots,B_k\}$ be $n \times (m-n)$ matrices. We prove that if the system of matrices $B_j$ is non-degenerate in a suitable sense, $\alpha$ is…

Let $\mathcal M=\langle M, <, +, \dots\rangle$ be an o-minimal expansion of an ordered group, and $P\subseteq M$ a dense set such that certain tameness conditions hold. We introduce the notion of a `product cone' in $\widetilde{\mathcal…

We consider sets of real numbers in $[0,1)$ with prescribed frequencies of partial quotients in their regular continued fraction expansions. It is shown that the Hausdorff dimensions of these sets, always bounded from below by $1/2$, are…

The theory of uniform Diophantine approximation concerns the study of Dirichlet improvable numbers and the metrical aspect of this theory leads to the study of the product of consecutive partial quotients in continued fractions. It is known…

We study the model theoretic structure $(\Z,+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in\Z\setminus\{0\}$. We axiomatize of this structure and prove a quantifier…

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy…

Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…

We establish an extension of the Hopf-Tsuji-Sullivan dichotomy to any Zariski dense discrete subgroup of a semisimple real algebraic group $G$. We then apply this dichotomy to Anosov subgroups of $G$, which surprisingly presents a different…

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

We demonstrate $k+1$-term arithmetic progressions in certain subsets of the real line whose "higher-order Fourier dimension" is sufficiently close to 1. This Fourier dimension, introduced in previous work, is a higher-order (in the sense of…

L\"uroth series, like regular continued fractions, provide an interesting identification of real numbers with infinite sequences of integers. These sequences give deep arithmetic and measure-theoretic properties of subsets of numbers…

Let $\mathbf{J} \subset \mathbb{R}^2$ be the set of couples $(x,q)$ with $q>1$ such that $x$ has at least one representation of the form $x=\sum_{i=1}^{\infty} c_i q^{-i}$ with integer coefficients $c_i$ satisfying $0 \leq c_i < q$, $i \ge…

For regular continued fraction, if a real number $x$ and its rational approximation $p/q$ satisfying $|x-p/q|<1/q^2$, then, after deleting the last integer of the partial quotients of $p/q$, the sequence of the remaining partial quotients…

We investigate the Hausdorff dimension of level sets defined by digit growth rates in $\theta$-expansions, a generalization of regular continued fractions. For any $\alpha \geq 0$, we prove that the set \[ E_\theta(\alpha) = \left\{ x \in…

Let $[a_1(x),a_2(x),a_3(x),\cdots]$ be the continued fraction expansion of $x\in (0,1)$. This paper is concerned with certain sets of continued fractions with non-decreasing partial quotients. As a main result, we obtain the Hausdorff…