Related papers: On normal numbers and self-similar measures

Let $\lbrace f_i(x)=s_i \cdot x+t_i \rbrace$ be a self-similar IFS on $\mathbb{R}$ and let $\beta >1$ be a Pisot number. We prove that if $\frac{\log |s_i|}{\log \beta}\notin \mathbb{Q}$ for some $i$ then for every $C^1$ diffeomorphism $g$…

A real number $x$ is normal with respect to an integer base $b \geq 2$ if its digit expansion in this base is ``equitable'', in the sense that for $k \geq 1$, every ordered sequence of $k$ digits from $\{0, 1, \ldots, b-1\}$ occurs in the…

We prove an isoperimetric inequality for probability measures $\mu$ on $\mathbb{R}^n$ with density proportional to $\exp(-\phi(\lambda | x|))$, where $|x|$ is the euclidean norm on $\mathbb{R}^n$ and $\phi$ is a non-decreasing convex…

Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let \phi denote Euler's totient function, let \sigma be the sum-of-divisors…

Let $\Phi$ be a $C^{1+\gamma}$ smooth IFS on $\mathbb{R}$, where $\gamma>0$. We provide mild conditions on the derivative cocycle that ensure that every self conformal measure is supported on points $x$ that are absolutely normal. That is,…

This article is an exposition of recent results and methods on the prevalence of normal numbers in the support of self-similar measures on the line. We also provide an essentially self-contained proof of a recent Theorem that the Rajchman…

Let $\mu$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<\rho<1$. We study when $\mu$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2\pi i…

Consider an iterated function system consisting of similarities on the complex plane of the form $g_{i}(z) = \lambda_i z + t_i,\ \lambda_i, t_i \in \mathbb{C},\ |\lambda_i|<1, i=1,\ldots, k$. We prove that for almost every choice of…

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

Let $ \mu $ be the self-similar measure associated with a homogeneous iterated function system $ \Phi = \{ \lambda x + t_j \}_{j=1}^m $ on ${\Bbb R}$ and a probability vector $ (p_{j})_{j=1}^m$, where $0\neq \lambda\in (-1,1)$ and $t_j\in…

The equidistribution of the double sign patterns of the Liouville function $\lambda$ is proved unconditionally. As application, it is shown that the computable real number $$\sum_{n \geq 1} \frac{1+\lambda(n)}{2^{n}}$$ is a simply normal…

A real number $x$ is considered normal in an integer base $b \geq 2$ if its digit expansion in this base is ``equitable'', ensuring that for each $k \geq 1$, every ordered sequence of $k$ digits from $\{0, 1, \ldots, b-1\}$ occurs in the…

The standard eigenfunctions $\phi_{\lambda} = e^{i < \lambda, x >}$ on flat tori $\R^n / L$ have $L^{\infty}$-norms bounded independently of the eigenvalue. In the case of irrational flat tori, it follows that $L^2$-normalized…

Let $\alpha=0.a_1a_2a_3\ldots$ be an irrational number in base $b>1$, where $0\leq a_i<b$. The number $\alpha \in (0,1)$ is a \textit{normal number} if every block $(a_{n+1}a_{n+2}\ldots a_{n+k})$ of $k$ digits occurs with probability…

It is well known that all numbers that are normal of order $k$ in base $b$ are also normal of all orders less than $k$. Another basic fact is that every real number is normal in base $b$ if and only if it is simply normal in base $b^k$ for…

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…

Given the standard Gaussian measure $\gamma$ on the countable product of lines $\mathbb{R}^{\infty}$ and a probability measure $g \cdot \gamma$ absolutely continuous with respect to $\gamma$, we consider the optimal transportation $T(x) = x…

A real number is called simply normal to base $b$ if every digit $0,1,\ldots ,b-1$ should appear in its $b$-adic expansion with the same frequency $1/b$. A real number is called normal to base $b$ if it is simply normal to every base $b,…

Let $\mu_{\lambda}$ be the Bernoulli convolution measure with parameter $\lambda\in(0,1)$. We study the regularity of the function %We prove that $h=h_{\phi}:\lambda\mapsto \int_{\mathbb{R}}\phi(x)\,d\mu_{\lambda}(x)$ for H\"older…

We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state.…