SearcharxivSearch

arXiv subjects

Yu-Hao Xie

Publications and source records attributed to Yu-Hao Xie.

2 recordsLinked to original sources

Dimensions of orthogonal projections of typical self-affine sets and measures

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in {\Bbb R}^{md}$, let $π^{\bf a}\colon Σ=\{1,\ldots, m\}^{\Bbb N}\to {\Bbb R}^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$, and let $K^{\bf a}$ denote the attractor of this IFS. Let $W$ be a linear subspace of ${\Bbb R}^d$ and $P_W$ the orthogonal projection onto $W$. We show that for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the Hausdorff and box-counting dimensions of $P_W(K^{\bf a})$ coincide and are determined by the zero point of a certain pressure function associated with $T_1,\ldots, T_m$ and $W$. Moreover, for every ergodic $σ$-invariant measure $μ$ on $Σ$ and for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the local dimensions of $(P_Wπ^{\bf a})_*μ$ exist almost everywhere, here $(P_Wπ^{\bf a})_*μ$ stands for the push-forward of $μ$ by $P_Wπ^{\bf a}$. However, as illustrated by examples, $(P_Wπ^{\bf a})_*μ$ may not be exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$. Nevertheless, when $μ$ is a Bernoulli product measure, or more generally, a supermultiplicative ergodic $σ$-invariant measure, $(P_Wπ^{\bf a})_*μ$ is exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$.

math.DS

On Constructions of full-dimensional absolutely normal sets of uniqueness

We construct a class of homogeneous Cantor-Moran measures with all contraction ratios being reciprocal of integers, and prove that they are pointwise absolutely normal. Our approach relies on methods developed by Davenport, Erd{ő}s, and LeVeque \cite{DEL1963} and properties of the order of integers in the multiplicative groups. The construction of these measures differs from the class of pointwise absolutely normal self-similar measures introduced by Hochman and Shmerkin \cite{Hochman2015}, in which dynamical approaches were used. As an application, for all gauge functions $φ(r)$ with $r/φ(r)\to 0$ as $r\to 0$, we obtain a set of uniqueness $K$ with ${\mathcal H}^φ(K)>0$. Moreover, we show that there exists a pointwise absolutely normal measure $ μ$ of dimension one fully supported on $K$. The result demonstrates that having a lot of absolutely normal numbers in a Cantor set, even with dimension one, cannot guarantee that it supports a measure with Fourier decay. It also shows that the ${\mathsf{DEL}}$ criterion being satisfied for all integers does not guarantee any Fourier decay nor the supporting set is a set of multiplicity.

math.CA