Related papers: On normal numbers and self-similar measures

It is known that for a uniform morphic sequence $\boldsymbol u = \langle u_n\rangle_{n=0}^\infty$ and an algebraic number $\beta$ such that $|\beta|>1$, the number $[\![\boldsymbol{u} ]\!]_\beta:=\sum_{n=0}^\infty \frac{u_n}{\beta^n}$…

For a C^{1+\alpha} diffeomorphism f preserving a hyperbolic ergodic SRB measure \mu, Katok's remarkable results assert that \mu can be approximated by a sequence of hyperbolic sets \{\Lambda_n\}_{n\geq1}. In this paper, we prove the…

Let $0 < p < 2$. Let $\{X, X_{n}; n \geq 1\}$ be a sequence of independent and identically distributed $\mathbf{B}$-valued random variables and set $S_{n} = \sum_{i=1}^{n}X_{i},~n \geq 1$. In this paper, a supplement to the classical laws…

We consider a diffeomorphism f of a compact manifold M which is Almost Axiom A, i.e. f is hyperbolic in a neighborhood of some compact f-invariant set, except in some singular set of neutral points. We prove that if there exists some…

Let K be a self-similar or self-affine set in R^d, let \mu be a self-similar or self-affine measure on it, and let G be the group of affine maps, similitudes, isometries or translations of R^d. Under various assumptions (such as separation…

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 Thue--Morse sequence $\{t(n)\}_{n\geqslant 1}$ is the indicator function of the parity of the number of ones in the binary expansion of positive integers $n$, where $t(n)=1$ (resp. $=0$) if the binary expansion of $n$ has an odd (resp.…

We study a version of the Busemann-Petty problem for $\log$-concave measures with an additional assumption on the dilates of convex, symmetric bodies. One of our main tools is an analog of the classical large deviation principle applied to…

Consider a homeomorphism $f$ defined on a compact metric space $X$ and a continuous map $\phi\colon X \to \mathbb{R}$. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point $x\in X$ and the…

Let $\beta>1$ be a real number and define the $\beta$-transformation on $[0,1]$ by $T_\beta:x\mapsto \beta x\bmod 1$. Further, define $$W_y(T_{\beta},\Psi):=\{x\in [0, 1]:|T_\beta^nx-y|<\Psi(n) \mbox{ for infinitely many $n$}\}$$ and…

Khintchine's theorem is a classical result from metric number theory which relates the Lebesgue measure of certain limsup sets with the convergence/divergence of naturally occurring volume sums. In this paper we ask whether an analogous…

Let $T_{f}$ be a circle homeomorphism with two break points $a_{b},c_{b}$ and irrational rotation number $\varrho_{f}$. Suppose that the derivative $Df$ of its lift $f$ is absolutely continuous on every connected interval of the set…

We study a self-similar fragmentation process with dislocation measure $\nu$ and self-similarity index $\alpha > 0$. Let $e^{-m_t}$ denote the size of the largest fragment at time $t \geq 0$. For dislocation measures satisfying a regularity…

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 article, $(X,\, \mathcal{A},\, \mu)$ is a measure apace. A classical result establishes a Riesz isomorphism between $L^1(\mu)^{\sim}$ and $L^{\infty}(\mu)$ in case the measure $\mu$ is $\sigma$-finite. In general, there still is a…

This letter studies measurement partitioning and equivalence in state estimation based on graph-theoretic principles. We show that a set of critical measurements (required to ensure LTI state-space observability) can be further partitioned…

We show that for every compact 3-manifold $M$ there exists an open subset of $\diff ^1(M)$ in which every generic diffeomorphism admits uncountably many ergodic probability measures which are hyperbolic while their supports are disjoint and…

We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $\beta$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain…

Let $\mu$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random…

We prove that, for a $C^1$ generic diffeomorphism, the only Dirac physical measures with dense statistical basin are those supported on sinks.