Related papers: On odd-normal numbers

We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…

We show that an Ahlfors $d$-regular set $E$ in $\mathbb{R}^{n}$ is uniformly rectifiable if the set of pairs $(x,r)\in E\times (0,\infty)$ for which there exists $y \in B(x,r)$ and $0<t<r$ satisfying $\mathscr{H}^{d}_{\infty}(E\cap…

Given a compact metric space (X,d) equipped with a non-atomic, probability measure m and a real, positive decreasing function p we consider a `natural' class of limsup subsets La(p) of X. The classical limsup sets of `well approximable'…

The main goal of this note is to prove the following theorem. If $A_n$ is a sequence of measurable sets in a $\sigma$-finite measure space $(X, \mathcal{A}, \mu)$ that covers $\mu$-a.e. $x \in X$ infinitely many times, then there exists a…

Let $b \geq 3$ be a positive integer. A natural number is said to be a base-$b$ Zuckerman number if it is divisible by the product of its base-$b$ digits. Let $\mathcal{Z}_b(x)$ be the set of base-$b$ Zuckerman numbers that do not exceed…

We consider badly approximable numbers in the case of dyadic diophantine approximation. For the unit circle $\mathbb{S}$ and the smallest distance to an integer $\|\cdot\|$ we give elementary proofs that the set $F(c) = \{x \in \mathbb{S}:…

We investigate how non-zero rational multiplication and rational addition affect normality with respect to $Q$-Cantor series expansions. In particular, we show that there exists a $Q$ such that the set of real numbers which are $Q$-normal…

The paper, that continuous some previous work of Sch\"onherr & Schuricht, treats density measures on ${\mathbb R}^n$ that concentrate in any neighborhood of a Lebesgue null set. Such measures are typical for purely finitely additive…

Let $\mu$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(\mu)$. We show that if $L^2(\mu)$ admits an exponential frame, then $\mu$ must be of pure type. We…

If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…

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…

In this paper we develop a general ergodic approach which reveals the underpinnings of the effect of arithmetic operations involving normal and deterministic numbers. This allows us to recast in new light and amplify the result of Rauzy,…

Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{R}$. It is easy to prove that if the Lebesgue measure of $K$ is zero, then for Lebesgue almost every $t$, $$K+t=\{x+t:x\in K\}$$ only consists of irrational or…

M. B. Levin used Sobol-Faure low discrepancy sequences with Pascal matrices modulo $2$ to construct, for each integer $b$, a real number $x$ such that the first $N$ terms of the sequence $(b^n x \mod 1)_{n\geq 1}$ have discrepancy $O((\log…

Let $\lambda$ denote the Liouville function. We show that as $X \rightarrow \infty$, $$ \int_{X}^{2X} \sup_{\alpha} \left | \sum_{x < n \leq x + H} \lambda(n) e(-\alpha n) \right | dx = o ( X H) $$ for all $H \geq X^{\theta}$ with $\theta >…

A folklore conjecture in number theory states that the only integers whose expansions in base $3,4$ and $5$ contain solely binary digits are $0, 1$ and $82000$. In this paper, we present the first progress on this conjecture. Furthermore,…

Let $[a_1(x),a_2(x),\ldots, a_n(x), \ldots]$ be the continued fraction expansion of an irrational number $x\in (0, 1)$. The study of the growth rate of the product of consecutive partial quotients $a_n(x)a_{n+1}(x)$ is associated with the…

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff…

We prove a ''dimension expansion'' version of the Elekes-R\'onyai theorem for trivariate real analytic functions: If $f$ is a trivariate real analytic function, then $f$ is either locally of the form $g(h(x)+k(y)+l(z))$, or the following is…