Related papers: On odd-normal numbers

We prove that there exist positive constants $C$ and $c$ such that for any integer $d \ge 2$ the set of ${\mathbf x}\in [0,1)^d$ satisfying $$ cN^{1/2}\le \left|\sum^N_{n=1}\exp\left (2 \pi i \left (x_1n+\ldots+x_d n^d\right)\right)…

A well known result of Newman says that upto a limit, multiples of $3$ with even number of 1's in binary representation always exceed multiples of $3$ with odd number of 1's. The phenomenon of preponderance of even number of 1's is now…

The normality measure $\mathcal{N}$ has been introduced by Mauduit and S{\'a}rk{\"o}zy in order to describe the pseudorandomness properties of finite binary sequences. Alon, Kohayakawa, Mauduit, Moreira and R{\"o}dl proved that the minimal…

In this work, we study a numeral system with a natural base $s \geq 2$ and a redundant alphabet $A_r=\{0,1, \dots, r\}$, where $s \leq r \leq 2s-2$. We investigate the topological, metric, and fractal properties of the set of numbers in the…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…

Let $S \subseteq \mathbb{N}$ have the property that for each $k \in S$ the set $(S - k) \cap \mathbb{N} \setminus S$ has asymptotic density $0$. We prove that there exists a basic sequence $Q$ where the set of numbers $Q$-normal of all…

Liouville numbers were the first class of real numbers which were proven to be transcendental. It is easy to construct non-normal Liouville numbers. Kano and Bugeaud have proved, using analytic techniques, that there are normal Liouville…

We show that the set of Liouville numbers is either null or non-$\sigma$-finite with respect to every translation invariant Borel measure on $\RR$, in particular, with respect to every Hausdorff measure $\iH^g$ with gauge function $g$. This…

We construct a class of homogeneous Cantor-Moran measures with all contraction ratios being reciprocal of integers, and prove that they are pointwise absolutely normal. Our approach relies on methods developed by Davenport, Erd{\H{o}}s, and…

Fix a sequence of integers $Q=\{q_n\}_{n=1}^\infty$ such that $q_n$ is greater than or equal to 2 for all $n$. In this paper, we improve upon results by J. Galambos and F. Schweiger showing that almost every (in the sense of Lebesgue…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

In this paper, we consider non-normal numbers occurring in dynamical systems fulfilling the specification property. It has been shown that in this case the set of non-normal numbers has measure zero. In the present papers we show that a…

We show, from a topological viewpoint, that most numbers are not normal in a strong sense. More precisely, the set of numbers $x \in (0,1]$ with the following property is comeager: for all integers $b\ge 2$ and $k\ge 1$, the sequence of…

Given a positive integer $M$ and a real number $x\in(0,1]$, we call $q\in(1,M+1]$ a univoque simply normal base of $x$ if there exists a unique simply normal sequence $(d_i)\in\{0,1,\ldots,M\}^\mathbb N$ such that $x=\sum_{i=1}^\infty d_i…

In this short note, we give a proof, conditional on the Generalized Riemann Hypothesis, that there exist numbers x which are normal with respect to the continued fraction expansion but not to any base b expansion. This partially answers a…

This work solves an open question in finite-state compressibility posed by Lutz and Mayordomo about compressibility of real numbers in different bases. Finite-state compressibility, or equivalently, finite-state dimension, quantifies the…

Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if $A \cap W(x)$ has m…

A distinctive problem of harmonic analysis on $\R$ with respect to a Borel probability measure $\mu$ is identifying all $t\in\R$ such that both \[\left\{e^{-2\pi i\lambda x}: \lambda\in\Lambda\right\}\quad\text{and}\quad \left\{e^{-2\pi…

We study the problem of finding positive integers $n$ such that all the decimal digits of $2^n$ are even, i.e., belong to $\{0, 2, 4, 6, 8\}$. Computational checks up to $n = 10^{15}$ reveal the known cases $n = 1, 2, 3, 6, 11$ and no…

Let $T$ be a bijective map on $\mathbb{R}^n$ such that both $T$ and $T^{-1}$ are Borel measurable. For any $\btheta \in \mathbb{R}^n$ and any real $n \times n$ positive definite matrix $\Sigma,$ let $N (\btheta, \Sigma)$ denote the…