In this paper we prove that given two sets $E_1,E_2 \subset \mathbb{Z}$ of positive density, there exists $k \geq 1$ which is bounded by a number depending only on the densities of $E_1$ and $E_2$ such that $k\mathbb{Z} \subset (E_1-E_1)\cdot(E_2-E_2)$. As a corollary of the main theorem we deduce that if $α,β> 0$ then there exist $N_0$ and $d_0$ which depend only on $α$ and $β$ such that for every $N \geq N_0$ and $E_1,E_2 \subset \mathbb{Z}_N$ with $|E_1| \geq αN, |E_2| \geq βN$ there exists $d \leq d_0$ a divisor of $N$ satisfying $d \, \mathbb{Z}_N \subset (E_1-E_1)\cdot(E_2-E_2)$.
For any $C^1$ diffeomorphism on a smooth compact Riemannian manifold that admits an ergodic measure with positive entropy, a lower bound of the Hausdorff dimension for the local stable and unstable sets is given in terms of the measure-theoretic entropy and the maximal Lyapunov exponent. The mainline of our approach to this result is under the settings of topological dynamical systems, which is also applicable to infinite dimensional $C^1$ dynamical systems.
We construct model sets arising from cut and project schemes in Euclidean spaces whose associated Delone dynamical systems have positive toplogical entropy. The construction works both with windows that are proper and with windows that have empty interior. In a probabilistic construction, the entropy almost surely turns out to be proportional to the measure of the boundary of the window.
We prove dimension formulas for arihmetic sums of regular Cantor sets, and, more generally, for images of cartesian products of regular Cantor sets by differentiable real maps.
We investigate the Hausdorff measure and content on a class of quasi self-similar sets that include, for example, graph-directed and sub self-similar and self-conformal sets. We show that any Hausdorff measurable subset of such a set has comparable Hausdorff measure and Hausdorff content. In particular, this proves that graph-directed and sub self-conformal sets with positive Hausdorff measure are Ahlfors regular, irrespective of separation conditions. When restricting to self-conformal subsets of the real line with Hausdorff dimension strictly less than one, we additionally show that the weak…
In this paper, we obtain sufficient and necessary conditions of some classical convex sets as positively invariant sets for a continuous dynamical system, namely positive invariance conditions. The approach is based on Nagumo Theorem by deriving the tangent cones of these sets. We also propose approaches using optimization theory and models to verify the existence of these sufficient and necessary conditions.
We consider products of two Cantor sets, and obtain the optimal estimates in terms of their thickness that guarantee that their product is an interval. This problem is motivated by the fact that the spectrum of the Labyrinth model, which is a two dimensional quasicrystal model, is given by a product of two Cantor sets. We also discuss the connection with the question on the structure of intersections of two Cantor sets, which was considered by many authors previously.
Given positive integers $\ell<n$ and a real $d\in (\ell,n)$, we construct sets $K\subset \mathbb R^n$ with positive and finite Hausdorff $d-$measure such that the Radon-Nikodym derivative associated to all projections on $\ell-$dimensional planes is not an $L^p$ function, for all $p>1$.
The long-standing problem of existence of nowhere dense rational Julia set with positive area has been solved by an example in quadratic polynomials by Buff and Chéritat. Since then many efforts have been devoted to finding out new classes of rational maps with nowhere dense Julia sets having positive area. So far, all known examples of this kind are renormalizable with only one exception which is a quadratic polynomial. In this paper, by developing a new approach, we prove that there exists a non-renormalizable cubic polynomial having a Julia set with positive area.
Let $f:\widehat{\mathbb{C}}\rightarrow \widehat{\mathbb{C}}$ be a hyperbolic rational map of degree $d \geq 2$, and let $J \subset \mathbb{C}$ be its Julia set. We prove that $J$ always has positive Fourier dimension. The case where $J$ is included in a circle follows from a recent work of Sahlsten and Stevens, see arXiv:2009.01703. In the case where $J$ is not included in a circle, we prove that a large family of probability measures supported on $J$ exhibit polynomial Fourier decay: our result applies in particular to the measure of maximal entropy and to the conformal measure.
There are lots of results to study dynamical complexity on irregular sets and level sets of ergodic average from the perspective of density in base space, Hausdorff dimension, Lebesgue positive measure, positive or full topological entropy (and topological pressure) etc.. However, it is unknown from the viewpoint of chaos. There are lots of results on the relationship of positive topological entropy and various chaos but it is known that positive topological entropy does not imply a strong version of chaos called DC1 so that it is non-trivial to study DC1 on irregular sets and level sets. In t…
Billiard trajectories (broken generalised geodesics) are considered in the exterior of an obstacle $K$ with smooth boundary on an arbitrary Riemannian manifold. We prove a generalisation of the well-known Santalo's formula. As a consequence, it is established that if the set of trapped points has positive measure, then for all sufficiently small smooth perturbations of the boundary of $K$ the set of trapped points for the new obstacle obtained in this way also has positive measure. More generally the measure of the set of trapped points depends continuously on perturbations of the obstacle $K$…
