Source author record

Xiaoye Fu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
3topics
4close collaborators

Published work

4 publications

preprint2019arXiv

Open set condition and pseudo Hausdorff measure of self-affine IFSs

Let AA be an n×nn\times n real expanding matrix and D\mathcal{D} be a finite subset of Rn\mathbb{R}^n with 0∈D0\in\mathcal{D}. The family of maps {fd(x)=A−1(x+d)}d∈D\{f_d(x)=A^{-1}(x+d)\}_{d\in\mathcal{D}} is called a self-affine iterated function system (self-affine IFS). The self-affine set K=K(A,D)K=K(A,\mathcal{D}) is the unique compact set determined by (A,D)(A, {\mathcal D}) satisfying the set-valued equation K=⋃d∈Dfd(K)K=\displaystyle\bigcup_{d\in\mathcal{D}}f_d(K). The number s=n ln⁡(#D)/ln⁡(q)s=n\,\ln(\# \mathcal{D})/\ln(q) with q=∣det⁡(A)∣q=|\det(A)|, is the so-called pseudo similarity dimension of KK. As shown by He and Lau, one can associate with AA and any number s≥0s\ge 0 a natural pseudo Hausdorff measure denoted by Hws.\mathcal{H}_w^s. In this paper, we show that, if ss is chosen to be the pseudo similarity dimension of KK, then the condition Hws(K)>0\mathcal{H}_w^s(K)> 0 holds if and only if the IFS {fd}d∈D\{f_d\}_{d\in\mathcal{D}} satisfies the open set condition (OSC). This extends the well-known result for the self-similar case that the OSC is equivalent to KK having positive Hausdorff measure Hs\mathcal{H}^s for a suitable ss. Furthermore, we relate the exact value of pseudo Hausdorff measure Hws(K)\mathcal{H}_w^s(K) to a notion of upper ss-density with respect to the pseudo norm w(x)w(x) associated with AA for the measure μ=lim⁡M→∞∑d0,…,dM−1∈Dδd0+Ad1+⋯+AM−1dM−1μ=\lim\limits_{M\to\infty}\sum\limits_{d_0,\dotsc,d_{M-1}\in\mathcal{D}}δ_{d_0 + Ad_1 + \dotsb + A^{M-1}d_{M-1}} in the case that #D≤∣det⁡A∣\#\mathcal{D}\le\lvert\det A\rvert.

preprint2016arXiv

Decomposition of Integral Self-Affine Multi-Tiles

In this paper, we propose a method to decompose an integral self-affine Zn{\mathbb Z}^n-tiling set KK into measure disjoint pieces KjK_j satisfying K=⋃KjK=\displaystyle\bigcup K_j in such a way that the collection of sets KjK_j forms an integral self-affine collection associated with the matrix BB and this with a minimum number of pieces KjK_j. When used on a given measurable Zn\mathbb{Z}^n-tiling set K⊂RnK\subset\mathbb{R}^n, this decomposition terminates after finitely many steps if and only if the set KK is an integral self-affine multi-tile. Furthermore, we show that the minimal decomposition we provide is unique.

preprint2013arXiv

Measure of Self-Affine Sets and Associated Densities

Let BB be an n×nn\times n real expanding matrix and D\mathcal{D} be a finite subset of Rn\mathbb{R}^n with 0∈D0\in\mathcal{D}. The self-affine set K=K(B,D)K=K(B,\mathcal{D}) is the unique compact set satisfying the set-valued equation BK=⋃d∈D(K+d)BK=\displaystyle\bigcup_{d\in\mathcal{D}}(K+d). In the case where card(D)=∣det⁡B∣,\text{card}(\mathcal{D})=\lvert\det B\rvert, we relate the Lebesgue measure of K(B,D)K(B,\mathcal{D}) to the upper Beurling density of the associated measure μ=lim⁡s→∞∑ℓ0,…,ℓs−1∈Dδℓ0+Bℓ1+⋯+Bs−1ℓs−1.μ=\lim\limits_{s\to\infty}\sum\limits_{\ell_0,\dotsc,\ell_{s-1}\in\mathcal{D}}δ_{\ell_0+B\ell_1+\dotsb+B^{s-1}\ell_{s-1}}. If, on the other hand, card(D)<∣det⁡B∣\text{card}(\mathcal{D})<\lvert\det B\rvert and BB is a similarity matrix, we relate the Hausdorff measure Hs(K)\mathcal{H}^s(K), where ss is the similarity dimension of KK, to a corresponding notion of upper density for the measure μμ.

preprint2013arXiv

Spectrality of Self-Similar Tiles

We call a set K⊂RsK \subset {\mathbb R}^s with positive Lebesgue measure a {\it spectral set} if L2(K)L^2(K) admits an exponential orthonormal basis. It was conjectured that KK is a spectral set if and only if KK is a tile (Fuglede's conjecture). Despite the conjecture was proved to be false on Rs{\mathbb R}^s, s≥3s\geq 3 ([T], [KM2]), it still poses challenging questions with additional assumptions. In this paper, our additional assumption is self-similarity. We study the spectral properties for the class of self-similar tiles KK in R{\mathbb R} that has a product structure on the associated digit sets. We show that any strict product-form tiles and the associated modulo product-form tiles are spectral sets. As for the converse question, we give a pilot study for the self-similar set KK generated by arbitrary digit sets with four elements. We investigate the zeros of its Fourier transform due to the orthogonality, and verify Fuglede's conjecture for this special case.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.