Related papers: On normal numbers and self-similar measures

Let $M$ be the circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$. We write $\mathrm{Diff}_+^{\alpha}(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives…

The original proof of Dacorogna-Moser theorem on the prescribed Jacobian PDE, $\text{det}\,\nabla\varphi=f$, can be modified in order to obtain control of support of the solutions from that of the initial data, while keeping optimal…

We prove that if a Borel probability measure (\mu) on (\T) is invariant under the action of a "large" multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then (\mu) is either…

We generalize the greedy and lazy $\beta$-transformations for a real base $\beta$ to the setting of alternate bases $\boldsymbol{\beta}=(\beta_0,\ldots,\beta_{p-1})$, which were recently introduced by the first and second authors as a…

We introduce a certain variant (or regularization) $\tilde{\Lambda}^\mu_n$ of the standard Christoffel function $\Lambda^\mu_n$ associated with a measure $\mu$ on a compact set $\Omega\subset \mathbb{R}^d$. Its reciprocal is now a…

We analyze the convergence order of an algorithm producing the digits of an absolutely normal number. Furthermore, we introduce a stronger concept of absolute normality by allowing Pisot numbers as bases, which leads to expansions with…

Suppose f is a C^{1+\epsilon} surface diffeomorphism with positive topological entropy. For every positive \delta strictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable…

R. P. Boas showed that any single-index sequence $\left\{ \beta_i \right\}_{i=0}^\infty$ of real numbers can be represented as $\beta_i =\int_0^\infty x^i \, d\mu$ ($i=0,1,2,\ldots$), where $\mu$ is a signed measure. As Boas said his…

By means of Peres-Schlag's method we prove the existence of real numbers $\alpha, \beta$ such that $$ \liminf_{q\to \infty} (q\log^2 q)||\alpha q|| ||\beta q|| > 0.

Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide…

A probability measure $P_n$ on the symmetric group ${\mathfrak S}_n$ is said to be record-dependent if $P_n(\sigma)$ depends only on the set of records of a permutation $\sigma\in{\mathfrak S}_n$. A sequence $P=(P_n)_{n\in{\mathbb N}}$ of…

Let $\mu$ be a measure on $[-1,1]$. Then for every continuous function $f:\mathbb{R}\to\mathbb{R}$ and $\alpha>0$ one can define its averaging $f_{\alpha}:\mathbb{R}\to\mathbb{R}$ by the formula: \[ f_{\alpha}(x) = \int_{-1}^{1}…

Let $S= (s_1<s_2<\dots)$ be a strictly increasing sequence of positive integers and denote $\mathbf{e}(\beta)=\mathrm{e}^{2\pi i \beta}$. We say $S$ is good if for every real $\alpha$ the limit $\lim_N \frac1N\sum_{n\le N}…

Let $f$ be a smooth plurisubharmonic function which solves $$ \det(f_{i\bar j})=1\;\;\;\;\;\;\mbox{in }\Omega\subset \mathbb C^n.$$ Suppose that the metric $\omega_{f}=\sqrt{-1}f_{i\bar j}dz_{i}\wedge d\bar z_{j}$ is complete and $f$…

We study the ergodic theory of non-conservative C^1-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show…

Given any function $\phi \colon [0,\infty)\to (0,1]$ satisfying $\lim_{\xi\to\infty}\phi(\xi) = 0$, we prove the existence of i) self-similar measures and ii) nonlinear $C^{\infty}$ self-conformal measures which are Rajchman and whose…

Under the Riemann Hypothesis, we show that as $t$ varies in $T\leq t \leq 2T$, the distribution of $\log|\zeta(1/2+it)|$ with respect to the measure $|\zeta(1/2+it)|^2dt$ is approximately normal with mean $\log\log T$ and variance…

We prove that for $\mathcal{C}^{1,\alpha}$ diffeomorphisms on a compact manifold $M$ with ${\rm dim} M\leq 3$, if an invariant measure $\mu$ is a continuity point of the sum of positive Lyapunov exponents, then $\mu$ is an upper…

Let $S$ be a subset of $\mathbb{R}^d$ with finite positive Lebesgue measure. The Beer index of convexity $\operatorname{b}(S)$ of $S$ is the probability that two points of $S$ chosen uniformly independently at random see each other in $S$.…

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.…