Source author record

Ka-Sing Lau

Ka-Sing Lau appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

10 published item(s)

preprint2020arXiv

Gromov Hyperbolic Graphs Arising From Iterations

For a contractive iterated function system (IFS), it is known that there is a natural hyperbolic graph structure (augmented tree) on the symbolic space of the IFS that reflects the relationship among neighboring cells, and its hyperbolic boundary with the Gromov metric is Hölder equivalent to the attractor $K$. This setup was taken up to study the probabilistic potential theory on $K$, and the bi-Lipschitz equivalence on $K$. In this paper, we formulate a broad class of hyperbolic graphs, called expansive hyperbolic graphs, to capture the most essential properties from the augmented trees and the hyperbolic boundaries (e.g., the special geodesics, bounded degree property, metric doubling property, and Hölder equivalence). We also study a new setup of "weighted" IFS and investigate its connection with the self-similar energy form in the analysis of fractals.

preprint2016arXiv

On Hyperbolic graphs induced by iterated function systems

For any contractive iterated function system (IFS, including the Moran systems), we show that there is a natural hyperbolic graph on the symbolic space, which yields the Hölder equivalence of the hyperbolic boundary and the invariant set of the IFS. This completes the previous studies (\cite {[Ka]}, \cite{[LW1]}, \cite{[W]}) by eliminating superfluous conditions, and admits more classes of sets (e.g., the Moran sets). We also show that the bounded degree property of the graph can be used to characterize certain separation properties of the IFS (open set condition, weak separation condition); the bounded degree property is particularly important when we consider random walks on such graphs. This application and the other application to Lipschitz equivalence of self-similar sets will be discussed.

preprint2014arXiv

Lipschitz equivalence of self-similar sets and hyperbolic boundaries II

In \cite{LuLa13}, two of the authors initiated a study of Lipschitz equivalence of self-similar sets through the augmented trees, a class of hyperbolic graphs introduced by Kaimanovich \cite{Ka03} and developed by Lau and Wang \cite{LaWa09}. In this paper, we continue such investigation. We remove a major assumption in the main theorem in \cite{LuLa13} by using a new notion of quasi-rearrangeable matrix, and show that the hyperbolic boundary of any simple augmented tree is Lipschitz equivalent to a Cantor-type set. We then apply this result to consider the Lipschitz equivalence of certain totally disconnected self-similar sets as well as their unions.

preprint2014arXiv

On Spectral N-Bernoulli Mmeasure

For $0<ρ<1$ and $N>1$ an integer, let $μ$ be the self-similar measure defined by $μ(\cdot)=\sum_{i=0}^{N-1}\frac 1Nμ(ρ^{-1}(\cdot)-i)$. We prove that $L^2(μ)$ has an exponential orthonormal basis if and only if $ρ=\frac 1q$ for some $q>0$ and $N$ divides $q$. The special case is the Cantor measure with $ρ=\frac 1{2k}$ and $N=2$ \cite {JP}, which was proved recently to be the only spectral measure among the Bernoulli convolutions with $0<ρ<1$ \cite {D}.

preprint2013arXiv

Classification of tile digit sets as product-forms

Let $A$ be an expanding matrix on ${\Bbb R}^s$ with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set ${\mathcal D}\subset{\Bbb Z}^s$ so that the integral self-affine set $T(A,\mathcal D)$ is a translational tile on ${\Bbb R}^s$. In our previous paper, we classified such tile digit sets ${\mathcal D}\subset{\Bbb Z}$ by expressing the mask polynomial $P_{\mathcal D}$ into product of cyclotomic polynomials. In this paper, we first show that a tile digit set in ${\Bbb Z}^s$ must be an integer tile (i.e. ${\mathcal D}\oplus{\mathcal L} = {\Bbb Z}^s$ for some discrete set ${\mathcal L}$). This allows us to combine the technique of Coven and Meyerowitz on integer tiling on ${\Bbb R}^1$ together with our previous results to characterize explicitly all tile digit sets ${\mathcal D}\subset {\Bbb Z}$ with $A = p^αq$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^α$ and $pq$.

preprint2013arXiv

Spectrality of Self-Similar Tiles

We call a set $K \subset {\mathbb R}^s$ with positive Lebesgue measure a {\it spectral set} if $L^2(K)$ admits an exponential orthonormal basis. It was conjectured that $K$ is a spectral set if and only if $K$ is a tile (Fuglede's conjecture). Despite the conjecture was proved to be false on ${\mathbb R}^s$, $s\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 $K$ in ${\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 $K$ 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.

preprint2012arXiv

Lipschitz equivalence of self-similar sets and hyperbolic boundaries

In [9] Kaimanovich introduced the concept of augmented tree on the symbolic space of a self-similar set. It is hyperbolic in the sense of Gromov, and it was shown in [13] that under the open set condition, a self-similar set can be identified with the hyperbolic boundary of the tree. In the paper, we investigate in detail a class of simple augmented trees and the Lipschitz equivalence of such trees. The main purpose is to use this to study the Lipschitz equivalence problem of the totally disconnected self-similar sets which has been undergoing some extensive development recently.

preprint2012arXiv

Topological Structure of Fractal Squares

Given an integer $n\geq 2$ and a digit set ${\mathcal D}\subsetneq {0,1,...,n-1}^2$, there is a self-similar set $F \subset {\Bbb R}^2$ satisfying the set equation: $F=(F+{\mathcal D})/n$. We call such $F$ a fractal square. By studying a periodic extension $H= F+ {\mathbb Z}^2$, we classify $F$ into three types according to their topological properties. We also provide some simple criteria for such classification.

preprint2011arXiv

Exponential spectra in $L^2(μ)$

Let $μ$ be a Borel probability measure with compact support. We consider exponential type orthonormal bases, Riesz bases and frames in $L^2(μ)$. We show that if $L^2(μ)$ admits an exponential frame, then $μ$ must be of pure type. We also classify various $μ$ that admits either kind of exponential bases, in particular, the discrete measures and their connection with integer tiles. By using this and convolution, we construct a class of singularly continuous measures that has an exponential Riesz basis but no exponential orthonormal basis. It is the first of such kind of examples.

preprint2011arXiv

Spectral structure of digit sets of self-similar tiles on ${Bbb R}^1$

We study the structure of the digit sets ${\mathcal D}$ for the integral self-similar tiles $T(b,{\mathcal{D}})$ (we call such ${\mathcal D}$ a {\it tile digit set} with respect to $b$). So far the only available classes of such tile digit sets are the complete residue sets and the product-forms. Our investigation here is based on the spectrum of the mask polynomial $P_{\mathcal D}$, i.e., the zeros of $P_{\mathcal D}$ on the unit circle. By using the Fourier criteria of self-similar tiles of Kenyon and Protasov, as well as the algebraic techniques of cyclotomic polynomial, we characterize the tile digit sets through some product of cyclotomic polynomials (kernel polynomials), which is a generalization of the product-form to higher order.