Related papers: On odd-normal numbers

The norm kernel of the generator-coordinate method is shown to be a symmetric kernel of an integral equation with eigenfunctions defined in the Fock--Bargmann space and forming a complete set of orthonormalized states (classified with the…

We show that the set of absolutely normal numbers is $\mathbf \Pi^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $\Pi^0_3$-complete in the effective Borel hierarchy.

We study the distribution of sequences of the form $(q_ny)_{n=1}^\infty$, where $(q_n)_{n=1}^\infty$ is some increasing sequence of integers. In particular, we study the Lebesgue measure and find bounds on the Hausdorff dimension of the set…

Phenomena with a constrained sample space appear frequently in practice. This is the case e.g. with strictly positive data and with compositional data, like percentages and the like. If the natural measure of difference is not the absolute…

Let $\psi:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $\psi$-Dirichlet improvable if it admits an improvement to Dirichlet's theorem in the following sense: the system $$|qx-p|< \, \psi(t) \ \…

We prove a Central Limit Theorem for probability measures defined via the variation of the sum-of-digits function, in base $b\ge 2$. For $r\ge 0$ and $d \in \mathbb{Z}$, we consider $\mu^{(r)}(d)$ as the density of integers $n\in…

In this work, we study real numbers $x$ for which $p(x)$ is (absolutely) normal for every non-constant integer-valued polynomial $p$. We call such numbers transcendentally normal. We prove that almost every real number is transcendentally…

Let $[q] = \{0,1,\ldots,q-1\}$, let $\Delta[q]$ denote the simplex of probability measures on $[q]$, and let $\gamma$ denote the Lebesgue measure normalized on $\Delta[q]$. We prove that for any symmetric monotone function $f \colon[q]^n…

Euler showed that if an odd perfect number exists, it must be of the form $N = p^\alpha q_{1}^{2\beta_{1}}$ $\ldots$ $q_{k}^{2\beta_{k}}$, where $p, q_{1}, \ldots, q_k$ are distinct odd primes, $\alpha$, $\beta_{i} \geq 1$, for $1 \leq i…

We show that a real sequence $x$ is convergent if and only if there exist a regular matrix $A$ and an $F_{\sigma\delta}$-ideal $\mathcal{I}$ on $\mathbf{N}$ such that the set of subsequences $y$ of $x$ for which $Ay$ is…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

Let $\eta_{1},\eta_2,...$ be independent (not necessarily identically distributed) zero-mean random variables (r.v.'s) such that $|\eta_i|\le1$ almost surely for all $i$, and let $Z$ stand for a standard normal r.v. Let $a_1,a_2,...$ be any…

For $0<\rho<1$ and $N>1$ an integer, let $\mu$ be the self-similar measure defined by $\mu(\cdot)=\sum_{i=0}^{N-1}\frac 1N\mu(\rho^{-1}(\cdot)-i)$. We prove that $L^2(\mu)$ has an exponential orthonormal basis if and only if $\rho=\frac 1q$…

We investigate random Bernoulli convolutions, namely, probability measures given by the infinite convolution \[ \mu_\omega = \mathop{\circledast}_{k=1}^{\infty} \left( \frac{\delta_0 + \delta_{\lambda_1 \lambda_2 \ldots \lambda_{k-1}…

Mordechay Levin has constructed a number $\alpha$ which is normal in base 2, and such that the sequence $\left\{2^n \alpha\right\}_{n=0,1,2,\ldots}$ has very small discrepancy $D_N$. Indeed we have $N\cdot D_N = \mathcal{O} \left(\left(\log…

One can consider $\mu$-Martin-L\"of randomness for a probability measure $\mu$ on $2^{\omega}$, such as the Bernoulli measure $\mu_p$ given $p \in (0, 1)$. We study Bernoulli randomness of sequences in $n^{\omega}$ with parameters $p_0,…

We introduce a parametrised family of maps $\{S_{\eta}\}_{\eta \in [1,2]}$, called symmetric doubling maps, defined on $[-1,1]$ by $S_\eta (x)=2x-d\eta$, where $d\in \{-1,0,1 \}$. Each map $S_\eta$ generates binary expansions with digits…

In [Bak] the first author proved that for any $\beta\in (1,\beta_{KL})$ every $x\in(0,\frac{1}{\beta-1})$ has a simply normal $\beta$-expansion, where $\beta_{KL}\approx 1.78723$ is the Komornik-Loreti constant. This result is complemented…

Let $X \in \{0,\ldots,n \}$ be a random variable, with mean $\mu$ and standard deviation $\sigma$ and let \[f_X(z) = \sum_{k} \mathbb{P}(X = k) z^k, \] be its probability generating function. Pemantle conjectured that if $\sigma$ is large…

Let $(X,o)$ be a complex analytic normal surface singularity and let ${\mathcal O}_{X,o}$ be its local ring. We investigate the normal reduction number of ${\mathcal O}_{X,o}$ and related numerical analytical invariants via resolutions…