arXiv subjects

Yu-Hao Xie

Publications and source records attributed to Yu-Hao Xie.

3 recordsLinked to original sources

arXiv2026

A new type of deterministic Salem sets and its spectrality

For all $0< s \le 1$, we provide a new deterministic construction of Cantor sets whose Fourier dimension and Hausdorff dimension are both equal to $s$. The construction is based on a straightforward Cantor-Moran construction with contraction ratios given by reciprocals of integers. The key tool to obtain the fast Fourier decay is due to the Weil bound in analytic number theory. Furthermore, we show that the natural equal-weighted Cantor-Moran measure is the desired measure admitting the near optimal Fourier decay and the measure admits an exponential orthonormal basis $\{e^{2πi λx}: λ\in Λ\}$ for its $L^2$ space. This gives the first examples of singular Salem spectral measures in ${\mathbb R}^1$.

math.CA↗

arXiv2026

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↗

arXiv2026

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↗