Uniform Random Covering Problems

Motivated by the random covering problem and the study of Dirichlet uniform approximable numbers, we investigate the uniform random covering problem. Precisely, consider an i.i.d. sequence $\omega =(\omega _n)_{n\geq 1}$ uniformly distributed on the unit circle $\mathbb{T}$ and a sequence $(r_n)_{n\geq 1}$ of positive real numbers with limit $0$. We investigate the size of the random set $$\begin{align*} & {\operatorname{{{\mathcal{U}}}}} (\omega):=\{y\in \mathbb{T}: \ \forall N\gg 1, \ \exists n \leq N, \ \text{s.t.} \ | \omega_n -y | < r_N \}. \end{align*}$$Some sufficient conditions for ${\operatorname{{{\mathcal{U}}}}}(\omega )$ to be almost surely the whole space, of full Lebesgue measure, or countable, are given. In the case that ${\operatorname{{{\mathcal{U}}}}}(\omega )$ is a Lebesgue null measure set, we provide some estimations for the upper and lower bounds of Hausdorff dimension.

Quasisymmetric orbit-flexibility of multicritical circle maps

Two given orbits of a minimal circle homeomorphism f are said to be geometrically equivalent if there exists a quasisymmetric circle homeomorphism identifying both orbits and commuting with f. By a well-known theorem due to Herman and Yoccoz, if f is a smooth diffeomorphism with Diophantine rotation number, then any two orbits are geometrically equivalent. It follows from the a priori bounds of Herman and Świątek, that the same holds if f is a critical circle map with rotation number of bounded type. By contrast, we prove in the present paper that if f is a critical circle map whose rotation number belongs to a certain full Lebesgue measure set in $(0,1)$ , then the number of equivalence classes is uncountable (Theorem 1.1). The proof of this result relies on the ergodicity of a two-dimensional skew product over the Gauss map. As a by-product of our techniques, we construct topological conjugacies between multicritical circle maps which are not quasisymmetric, and we show that this phenomenon is abundant, both from the topological and measure-theoretical viewpoints (Theorems 1.6 and 1.8).

Traveling Quasi-periodic Water Waves with Constant Vorticity

We prove the first bifurcation result of time quasi-periodic traveling wave solutions for space periodic water waves with vorticity. In particular, we prove the existence of small amplitude time quasi-periodic solutions of the gravity-capillary water waves equations with constant vorticity, for a bidimensional fluid over a flat bottom delimited by a space-periodic free interface. These quasi-periodic solutions exist for all the values of depth, gravity and vorticity, and restrict the surface tension to a Borel set of asymptotically full Lebesgue measure.

Foliated hyperbolicity and foliations with hyperbolic leaves

Given a lamination in a compact space and a laminated vector field $X$ which is hyperbolic when restricted to the leaves of the lamination, we distinguish a class of $X$-invariant probabilities that describe the behavior of almost every $X$-orbit in every leaf, which we call Gibbs $u$-states. We apply this to the case of foliations in compact manifolds having leaves with negative curvature, using the foliated hyperbolic vector field on the unit tangent bundle to the foliation generating the leaf geodesics. When the Lyapunov exponents of such ergodic Gibbs $u$-states are negative, it is an SRB measure (having a positive Lebesgue basin of attraction). When the foliation is by hyperbolic leaves, this class of probabilities coincide with the classical harmonic measures introduced by Garnett. Furthermore, if the foliation is transversally conformal and does not admit a transverse invariant measure we show that there are finitely many ergodic Gibbs $u$-states, each supported in one minimal set of the foliation, each having negative Lyapunov exponents, and the union of their basins of attraction has full Lebesgue measure. The leaf geodesics emanating from a point have a proportion whose asymptotic statistics are described by each of these ergodic Gibbs $u$-states, giving rise to continuous visibility functions of the attractors. Reversing time, by considering $-X$, we obtain the existence of the same number of repellers of the foliated geodesic flow having the same harmonic measures as projections to $M$. In the case of only one attractor, we obtain a north to south pole dynamics.

Dimension Bound for Badly Approximable Grids

We show that there exists a subset of full Lebesgue measure $V\subset \mathbb{R}^{n}$ such that for every ϵ > 0 there exists δ > 0 such that for any v ∈ V the dimension of the set of vectors w satisfying $$ \liminf_{k\to\infty} k^{1/n}\langle kv-w\rangle\geqslant \epsilon$$ (where 〈⋅〉 denotes the distance from the nearest integer) is bounded above by n − δ. This result is obtained as a corollary of a discussion in homogeneous dynamics and the main tool in the proof is a relative version of the principle of uniqueness of measures with maximal entropy.

Physical measures for certain partially hyperbolic attractors on 3-manifolds

In this work, we analyze ergodic properties of certain partially hyperbolic attractors whose central direction has a neutral behavior; the main feature is a condition of transversality between the projections of unstable leaves, projecting through the stable foliation. We prove that partial hyperbolic attractors satisfying this condition of transversality, neutrality in the central direction and regularity of the stable foliation admit a finite number of physical measures, coinciding with the ergodic u-Gibbs States, whose union of the basins has full Lebesgue measure. Moreover, we describe the construction of robustly non-hyperbolic attractors satisfying these properties.

Hyperbolic polygonal billiards with finitely many ergodic SRB measures

We study polygonal billiards with reflection laws contracting the angle of reflection towards the normal. It is shown that if a polygon does not have parallel sides facing each other, then the corresponding billiard map has finitely many ergodic Sinai–Ruelle–Bowen measures whose basins cover a set of full Lebesgue measure.

Approximation properties of -expansions II

Let $\unicode[STIX]{x1D6FD}\in (1,2)$ be a real number. For a function $\unicode[STIX]{x1D6F9}:\mathbb{N}\rightarrow \mathbb{R}_{\geq 0}$, define $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ to be the set of $x\in \mathbb{R}$ such that for infinitely many $n\in \mathbb{N},$ there exists a sequence $(\unicode[STIX]{x1D716}_{i})_{i=1}^{n}\in \{0,1\}^{n}$ satisfying $0\leq x-\sum _{i=1}^{n}(\unicode[STIX]{x1D716}_{i}/\unicode[STIX]{x1D6FD}^{i})\leq \unicode[STIX]{x1D6F9}(n)$. In Baker [Approximation properties of $\unicode[STIX]{x1D6FD}$-expansions. Acta Arith. 168 (2015), 269–287], the author conjectured that for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1,2)$, the condition $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)=\infty$ implies that $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. In this paper we make a significant step towards proving this conjecture. We prove that given a sequence of positive real numbers $(\unicode[STIX]{x1D714}_{n})_{n=1}^{\infty }$ satisfying $\lim _{n\rightarrow \infty }\unicode[STIX]{x1D714}_{n}=\infty$, for Lebesgue almost every $\unicode[STIX]{x1D6FD}\in (1.497,\ldots ,2)$, the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D714}_{n}\cdot 2^{-n})$ is of full Lebesgue measure within $[0,1/(\unicode[STIX]{x1D6FD}-1)]$. We also study the case where $\sum _{n=1}^{\infty }2^{n}\unicode[STIX]{x1D6F9}(n)<\infty$ in which the set $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$ has Lebesgue measure zero. Applying the mass transference principle developed by Beresnevich and Velani in [A mass transference principle and the Duffin–Schaeffer conjecture for Hausdorff measures. Ann. of Math. (2) 164(3) (2006), 971–992], we obtain some results on the Hausdorff dimension and the Hausdorff measure of $W_{\unicode[STIX]{x1D6FD}}(\unicode[STIX]{x1D6F9})$.

On the PropertyN-1

We construct a continuous functionf:[0,1]→Rsuch thatfpossessesN-1-property, butfdoes not have approximate derivative on a set of full Lebesgue measure. This shows that Banach’s Theorem concerning differentiability of continuous functions with Lusin’s property(N)does not hold forN-1-property. Some relevant properties are presented.

Mass transference principle for limsup sets generated by rectangles

We generalise the mass transference principle established by Beresnevich and Velani to limsup sets generated by rectangles. More precisely, let {xn}n⩾1 be a sequence of points in the unit cube [0, 1]d with d ⩾ 1 and {rn}n⩾1 a sequence of positive numbers tending to zero. Under the assumption of full Lebesgue measure theoretical statement of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} we determine the lower bound of the Hausdorff dimension and Hausdorff measure of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B^{a}(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} where a = (a1, . . ., ad) with 1 ⩽ a1 ⩽ a2 ⩽ . . . ⩽ ad and Ba(x, r) denotes a rectangle with center x and side-length (ra1, ra2,. . .,rad). When a1 = a2 = . . . = ad, the result is included in the setting considered by Beresnevich and Velani.