Related papers: Sparse regular subsets of the reals

For any $\beta > 1$, denoted by $r_n(x,\beta)$ the maximal length of consecutive zeros amongst the first $n$ digits of the $\beta$-expansion of $x\in[0,1]$. The limit superior (respectively limit inferior) of $\frac{r_n(x,\beta)}{n}$ is…

We show that if $B \subset \mathbb{R}^n$ and $E \subset A(n,k)$ is a nonempty collection of $k$-dimensional affine subspaces of $\mathbb{R}^n$ such that every $P \in E$ intersects $B$ in a set of Hausdorff dimension at least $\alpha$ with…

Constraint satisfaction problems (CSPs) for first-order reducts of finitely bounded homogeneous structures form a large class of computational problems that might exhibit a complexity dichotomy, P versus NP-complete. A powerful method to…

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

Let H stand for the set of homeomorphisms on [0,1]. We prove the following dichotomy for Borel subsets A of [0,1]: either there exists a homeomorphism f in H such that the image f(A) contains no 3-term arithmetic progressions; or, for every…

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

We develop the Mass Transference Principle for rectangles of Wang \& Wu (Math. Ann. 2021) to incorporate the `unbounded' setup; that is, when along some direction the lower order (at infinity) of the side lengths of the rectangles under…

Given a positive integer $M$ and a real number $q>1$, we consider the univoque set $\mathcal{U}_q$ of reals which have a unique $q$-expansion over the alphabet $\set{0,1,\cdots,M}$. In this paper we show that for any $x\in\mathcal{U}_q$ and…

We obtain positive lower bounds on the Hausdorff dimension of sets of real numbers given by expressions of the form $\sum_{n=1}^\infty \frac{1}{a_n b_n}$, where $b_n$ satisfies some growth condition and $a_n$ lies in some set, possibly…

Let $x \in [0,1)$ be an irrational number with continued fraction expansion $[a_1(x),a_2(x), \cdots,a_n(x),\cdots]$ and $q_n(x)$ be the denominator of its $n$-th convergent. We establish, for any $\alpha,\beta$ in $[0,+\infty]$, the…

It is shown how Dedekind cuts can be used to introduce the extended real numbers along with sound arithmetic laws via one simple rule for the addition of sets. The crucial idea is that the use of the lower and the upper part of the cuts,…

Generalizing a theorem of Ph. Dwinger, we describe the partially ordered set of all (up to equivalence) zero-dimensional locally compact Hausdorff extensions of a zero-dimensional Hausdorff space. Using this description, we find the…

For a real $x\in(0,1)\setminus\mathbb{Q}$, let $x=[a_1(x),a_2(x),\cdots]$ be its continued fraction expansion. Let $s_n(x)=\sum_{j=1}^n a_j(x)$. The Hausdorff dimensions of the level sets $E_{\varphi(n),\alpha}:=\{x\in(0,1):…

We explore \emph{semibounded} expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We introduce the notion of a \emph{semibounded} expansion of an arbitrary ordered group, extending…

We establish arithmetical properties and provide essential bounds for bi-sequences of approximation coefficients associated with the natural extension of maps, leading to continued fraction-like expansions. These maps are realized as the…

We consider expansions of Presburger arithmetic with families of monadic polynomial predicates. (Examples of such predicates are the set of perfect squares, or the set of integers of the form $2n^3-5n+3$, etc.) Although the full attendant…

Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such…

This paper has been withdrawn Any real number $x$ in the unit interval can be expressed as a continued fraction $x=[n_1,...,n_{_N},...]$. Subsets of zero measure are obtained by imposing simple conditions on the $n_{_N}$. By imposing…

We study discrete orderings in the real spectrum of a commutative ring by defining discrete prime cones and give an algebro-geometric meaning to some kind of diophantine problems over discretely ordered rings. Also for a discretely ordered…

In this article, we study two problems concerning the size of the set of finite point configurations generated by a compact set $E\subset \mathbb{R}^d$. The first problem concerns how the Lebesgue measure or the Hausdorff dimension of the…