Related papers: Sparse regular subsets of the reals

Let $E\subset\rr$ be a closed set of Hausdorff dimension $\alpha$. We prove that if $\alpha$ is sufficiently close to 1, and if $E$ supports a probabilistic measure obeying appropriate dimensionality and Fourier decay conditions, then $E$…

Fundamental questions in Diophantine approximation are related to the Hausdorff dimension of sets of the form $\{x\in \mathbb{R}: \delta_x = \delta\}$, where $\delta \geq 1$ and $\delta_x$ is the Diophantine approximation rate of an…

This thesis presents an alternative to Cantor's theory of cardinality, insofar as that is understood as a theory of set size. The alternative is based on a general theory, ClassSize. ClassSize contains all sentences in the first order…

The irrationality exponent of a real number measures how well that number can be approximated by rationals. Real numbers with irrationality exponent strictly greater than $2$ are transcendental numbers, and form a set with rich fractal…

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…

We observe that a probability distribution supported by $\mathbb{N}$, induces a representation of real numbers in [0, 1) with digits in $\mathbb{N}$. We first study the Hausdorff dimension of sets with prescribed digits with respect to…

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…

Let $\beta>1$, $I$ be the unite interval $[0,1)$ and $\phi$ be an integer function defined on $\mathbb{N}\setminus\{0\}$ satisfying $1\leq\phi(n)\leq n$. Denote by $A_\phi(x,\beta)$ the Erd\"{o}s-R\'{e}nyi average of $x\in I$ associated…

We study extensions of Sem\"enov arithmetic, the first-order theory of the structure $(\mathbb{N}, +, 2^x)$. It is well-knonw that this theory becomes undecidable when extended with regular predicates over tuples of number strings, such as…

We present an explicit subset $A\subseteq \mathbb{N} = \{0,1,\ldots\}$ such that $A + A = \mathbb{N}$ and for all $\varepsilon > 0$, \[\lim_{N\to \infty}\frac{\big|\big\{(n_1,n_2): n_1 + n_2 = N, (n_1,n_2)\in…

Let $\{a_n\}_{n\in\mathbb{N}}$, $\{b_n\}_{n\in \mathbb{N}}$ be two infinite subsets of positive integers and $\psi:\mathbb{N}\to \mathbb{R}_{>0}$ be a positive function. We completely determine the Hausdorff dimensions of the set of all…

Let $\{s_n\}$ and $\{t_n\}$ be two sequences of positive real numbers. Under some mild conditions on $\{s_n\}$ and $\{t_n\}$, we give the precise formula of the Hausdorff dimension of the set \[ \mathbb{E}(\{s_n\},\{t_n\}):=\Big\{x\in(0,1):…

We investigate from a multifractal analysis point of view the increasing rate of the sums of partial quotients $S\_n(x)=\sum\_{j=1}^n a\_j(x)$, where $x=[a\_1(x), a\_2(x), \cdots ]$ is the continued fraction expansion of an irrational $x\in…

We consider expanding maps such that the unit interval can be represented as a full symbolic shift space with bounded distortion. There are already theorems about the Hausdorff dimension for sets defined by the set of accumulation points…

A. Iosevich and K. Taylor showed that compact subsets of $\mathbb R^d$ with Hausdorff dimension greater than $(d+1)/2$ contain trees with gaps in an open interval. Under the same dimensional threshold, we prove the analogous result where…

We define two families of expansions of $(\mathbb{Z},+,0)$ by unary predicates, and prove that their theories are superstable of $U$-rank $\omega$. The first family consists of expansions $(\mathbb{Z},+,0,A)$, where $A$ is an infinite…

Unique expansions in non-integer bases $q$ have been investigated in many papers during the last thirty years. They are often conveniently generated by labeled directed graphs. In the first part of this paper we give a precise description…

If $\mathcal{Z}$ is a dp-minimal expansion of a discrete ordered abelian group $(Z,<,+)$ and $\mathcal{Z}$ does not admit a nontrivial definable convex subgroup then $\mathcal{Z}$ is interdefinable with $(Z,<,+)$ and $(Z,<,+)$ is…

This paper highlights an unexpected connection between expansions of real numbers to noninteger bases (so-called {\em $\beta$-expansions}) and the infinite derivatives of a class of self-affine functions. Precisely, we extend Okamoto's…

For a fixed $\theta^2=1/m$, $m \in \mathbb{N}_+$, let $x \in [0, \theta)$ and $[a_1(x) \theta, a_2(x) \theta, \ldots]$ be the $\theta$-expansion of $x$. Our first goal is to extend for $\theta$-expansions the results of Jarnik \cite{J-1928}…