Showing 1–18 of 18 results for author: Luo, J J

Spectrality of Moran-type measures with staggered contraction ratios

Authors: Jun Jason Luo, Lin Mao, Jing-Cheng Liu

Abstract: Consider a Moran-type iterated function system (IFS) \( \{φ_{k,d}\}_{d\in D_{2p_k}, k\geq 1} \), where each contraction map is defined as \[ φ_{k,d}(x) = (-1)^d b_k^{-1}(x + d), \] with integer sequences \( \{b_k\}_{k=1}^\infty \) and \( \{p_k\}_{k=1}^\infty \) satisfying \( b_k \geq 2p_k \geq 2 \), and digit sets \( D_{2p_k} = \{0, 1, \ldots, 2p_k - 1\} \) for all \( k \geq 1 \). We first prove t… ▽ More Consider a Moran-type iterated function system (IFS) \( \{φ_{k,d}\}_{d\in D_{2p_k}, k\geq 1} \), where each contraction map is defined as \[ φ_{k,d}(x) = (-1)^d b_k^{-1}(x + d), \] with integer sequences \( \{b_k\}_{k=1}^\infty \) and \( \{p_k\}_{k=1}^\infty \) satisfying \( b_k \geq 2p_k \geq 2 \), and digit sets \( D_{2p_k} = \{0, 1, \ldots, 2p_k - 1\} \) for all \( k \geq 1 \). We first prove that this IFS uniquely generates a Borel probability measure \( μ\). Furthermore, under the divisibility constraints \[ p_2 \mid b_2, \quad 2 \mid b_2, \quad \text{and} \quad 2p_k \mid b_k \ \text{for} \ k \geq 3, \] with \(\{b_k\}_{k=1}^\infty\) bounded, we prove that \( μ\) is a spectral measure, that is, $ L^2(μ) $ admits an orthogonal basis of exponentials. To fully characterize the spectral properties, we introduce a multi-stage decomposition strategy for spectrums. By imposing the additional hypothesis that all parameters \( p_k \) are even, we establish a complete characterization of \( μ\)'s spectrality. This result unifies and extends the frameworks proposed in \cite{An-He2014, Deng2022, Wu2024}, providing a generalized criterion for such measures. △ Less

Submitted 3 April, 2025; v1 submitted 17 December, 2024; originally announced December 2024.

Comments: 27 pages

MSC Class: Primary 28A80; Secondary 42B10; 42C05

Spectrality of a class of moran measures on $\mathbb{R}^2$

Authors: Jing-Cheng Liu, Qiao-Qin Liu, Jun Jason Luo, Jia-jie Wang

Abstract: Let $μ_{\{M_n\},\{D_n\}}$ be a Moran measure on $\mathbb{R}^2$ generated by a sequence of expanding matrices $\{M_n\}\subset GL(2, \mathbb{Z})$ and a sequence of integer digit sets $\{D_n\}$ where… ▽ More Let $μ_{\{M_n\},\{D_n\}}$ be a Moran measure on $\mathbb{R}^2$ generated by a sequence of expanding matrices $\{M_n\}\subset GL(2, \mathbb{Z})$ and a sequence of integer digit sets $\{D_n\}$ where $D_n=\left\{\begin{pmatrix} 0 \\ 0 \end{pmatrix},\begin{pmatrix} α_{n_1} \\ α_{n_2} \end{pmatrix},\begin{pmatrix} β_{n_1} \\ β_{n_2} \end{pmatrix},\begin{pmatrix} -α_{n_1}-β_{n_1} \\ -α_{n_2}-β_{n_2} \end{pmatrix} \right\}$ with $α_{n_1}β_{n_2}-α_{n_2}β_{n_1}\notin2\mathbb{Z}$. If $|\det(M_n)|>4$ for $n\geq1$, $\sup\limits_{n\ge 1}\Vert M_n^{-1}\Vert<1$ and $\#\{D_n: n\ge 1\}<\infty$, then we show that $μ_{\{M_n\},\{D_n\}}$ is a spectral measure if and only if $M_n\in GL(2, 2\mathbb{Z})$ for $n\geq2$. If $|\det(M_n)| =4$ for $n\geq1$, we also establish a necessary and sufficient condition for a class of special Moran measures to be spectral measures. △ Less

Submitted 15 December, 2024; originally announced December 2024.

Comments: 19 pages

MSC Class: Primary 28A80; Secondary 42B10; 42C05

On the Lipschitz equivalence of self-affine sets

Authors: Jun Jason Luo

Abstract: Let $A$ be an expanding $d\times d$ matrix with integer entries and ${\mathcal D}\subset {\mathbb Z}^d$ be a finite digit set. Then the pair $(A, {\mathcal D})$ defines a unique integral self-affine set $K=A^{-1}(K+{\mathcal D})$. In this paper, by replacing the Euclidean norm with a pseudo-norm $w$ in terms of $A$, we construct a hyperbolic graph on $(A, {\mathcal D})$ and show that $K$ can be id… ▽ More Let $A$ be an expanding $d\times d$ matrix with integer entries and ${\mathcal D}\subset {\mathbb Z}^d$ be a finite digit set. Then the pair $(A, {\mathcal D})$ defines a unique integral self-affine set $K=A^{-1}(K+{\mathcal D})$. In this paper, by replacing the Euclidean norm with a pseudo-norm $w$ in terms of $A$, we construct a hyperbolic graph on $(A, {\mathcal D})$ and show that $K$ can be identified with the hyperbolic boundary. Moreover, if $(A, {\mathcal D})$ safisfies the open set condition, we also prove that two totally disconnected integral self-affine sets are Lipschitz equivalent if an only if they have the same $w$-Hausdorff dimension, that is, their digit sets have equal cardinality. We extends some well-known results in the self-similar sets to the self-affine sets. △ Less

Submitted 24 April, 2017; originally announced April 2017.

Comments: 16 pages, 3 figures

MSC Class: Primary 28A80; Secondary 05C05; 20F65

Lipschitz equivalence of Cantor sets and irreducibility of polynomials

Authors: Jun Jason Luo, Huo-Jun Ruan, Yi-Ling Wang

Abstract: In the paper, we provide an effective method for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous. In the paper, we provide an effective method for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous. △ Less

Submitted 10 February, 2017; originally announced February 2017.

Comments: 12 pages

MSC Class: Primary 28A80; Secondary 11R09

Journal ref: Mathematika 2018

Topological properties of self-similar fractals with one parameter

Authors: Jun Jason Luo, Lian Wang

Abstract: In this paper, we study two classes of planar self-similar fractals $T_\varepsilon$ with a shifting parameter $\varepsilon$. The first one is a class of self-similar tiles by shifting $x$-coordinates of some digits. We give a detailed discussion on the disk-likeness ({\it i.e., the property of being a topological disk}) in terms of $\varepsilon$. We also prove that $T_\varepsilon$ determines a qua… ▽ More In this paper, we study two classes of planar self-similar fractals $T_\varepsilon$ with a shifting parameter $\varepsilon$. The first one is a class of self-similar tiles by shifting $x$-coordinates of some digits. We give a detailed discussion on the disk-likeness ({\it i.e., the property of being a topological disk}) in terms of $\varepsilon$. We also prove that $T_\varepsilon$ determines a quasi-periodic tiling if and only if $\varepsilon$ is rational. The second one is a class of self-similar sets by shifting diagonal digits. We give a necessary and sufficient condition for $T_\varepsilon$ to be connected. △ Less

Submitted 5 January, 2017; originally announced January 2017.

Comments: 17 pages, 12figures

MSC Class: 28A80; 52C20; 54C05

Self-similar sets, simple augmented trees, and their Lipschitz equivalence

Authors: Jun Jason Luo

Abstract: Given an iterated function system (IFS) of contractive similitudes, the theory of Gromov hyperbolic graph on the IFS has been established recently. In the paper, we introduce a notion of simple augmented tree which is a Gromov hyperbolic graph. By generalizing a combinatorial device of rearrangeable matrix, we show that there exists a near-isometry between the simple augmented tree and the symboli… ▽ More Given an iterated function system (IFS) of contractive similitudes, the theory of Gromov hyperbolic graph on the IFS has been established recently. In the paper, we introduce a notion of simple augmented tree which is a Gromov hyperbolic graph. By generalizing a combinatorial device of rearrangeable matrix, we show that there exists a near-isometry between the simple augmented tree and the symbolic space of the IFS, so that their hyperbolic boundaries are Lipschitz equivalent. We then apply this to consider the Lipschitz equivalence of self-similar sets with or without assuming the open set condition. Moreover, we also provide a criterion for a self-similar set to be a Cantor-type set which completely answers an open question raised in \cite{LaLu13}. Our study extends the previous works. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: 23 pages, 4 figures

MSC Class: 28A80; 05C05; 20F65

A characterization of connected self-affine fractals arising from collinear digits

Authors: King-Shun Leung, Jun Jason Luo

Abstract: Let $A$ be an expanding integer matrix with characteristic polynomial $f(x)=x^{2}+px+q$, and let $\mathcal{D}=\{0,1,\dots,|q|-2,|q|+m\}\mathbf{v}$ be a collinear digit set where $m\geqslant 0, {\mathbf v}\in {\mathbb Z}^2$. It is well known that there exists a unique self-affine fractal $T$ satisfying $AT=T+\mathcal{D}$. In this paper, we give a complete characterization on the connected $T$. That… ▽ More Let $A$ be an expanding integer matrix with characteristic polynomial $f(x)=x^{2}+px+q$, and let $\mathcal{D}=\{0,1,\dots,|q|-2,|q|+m\}\mathbf{v}$ be a collinear digit set where $m\geqslant 0, {\mathbf v}\in {\mathbb Z}^2$. It is well known that there exists a unique self-affine fractal $T$ satisfying $AT=T+\mathcal{D}$. In this paper, we give a complete characterization on the connected $T$. That generalizes the previous result of $|q|=3$. △ Less

Submitted 22 October, 2016; originally announced October 2016.

Comments: 17 pages, 3 figures

MSC Class: Primary: 28A80; Secondary: 15A03; 11A63

Spectral property of self-affine measures on ${\mathbb R}^n$

Authors: Jing-Cheng Liu, Jun Jason Luo

Abstract: We study spectral properties of the self-affine measure $μ_{M,\mathcal {D}}$ generated by an expanding integer matrix $M\in M_n(\mathbb{Z})$ and a consecutive collinear digit set $\mathcal {D}=\{0,1,\dots,q-1\}v$ where $v\in \mathbb{Z}^n\setminus\{0\}$ and $q\ge 2$ is an integer. Some sufficient conditions for $μ_{M,\mathcal {D}}$ to be a spectral measure or to have infinitely many orthogonal expo… ▽ More We study spectral properties of the self-affine measure $μ_{M,\mathcal {D}}$ generated by an expanding integer matrix $M\in M_n(\mathbb{Z})$ and a consecutive collinear digit set $\mathcal {D}=\{0,1,\dots,q-1\}v$ where $v\in \mathbb{Z}^n\setminus\{0\}$ and $q\ge 2$ is an integer. Some sufficient conditions for $μ_{M,\mathcal {D}}$ to be a spectral measure or to have infinitely many orthogonal exponentials are given. Moreover, for some special cases, we can obtain a necessary and sufficient condition on the spectrality of $μ_{M,\mathcal {D}}$. Our study generalizes the one dimensional results proved by Dai, {\it et al.} (\cite{Dai-He-Lai_2013, Dai-He-Lau_2014}). △ Less

Submitted 22 October, 2016; v1 submitted 19 March, 2016; originally announced March 2016.

Comments: 14 pages, published by JFA

MSC Class: 42C05; 28A80

Connectedness of self-affine sets with product digit sets

Authors: Jing-Cheng Liu, Jun Jason Luo, Ke Tang

Abstract: Let $T(A,\mathcal{D})$ be a self-affine set generated by an expanding matrix $A=\left[\begin{array}{rr} p & 0\cr -a & q \end{array}\right]$ and a product digit set $\mathcal{D}=\{0,1,\dots,m-1\}\times \{0,1,\dots,n-1\}$. We provide a necessary and sufficient condition for the $T(A,\mathcal{D})$ to be connected, which generalizes the known results. Let $T(A,\mathcal{D})$ be a self-affine set generated by an expanding matrix $A=\left[\begin{array}{rr} p & 0\cr -a & q \end{array}\right]$ and a product digit set $\mathcal{D}=\{0,1,\dots,m-1\}\times \{0,1,\dots,n-1\}$. We provide a necessary and sufficient condition for the $T(A,\mathcal{D})$ to be connected, which generalizes the known results. △ Less

Submitted 19 March, 2016; originally announced March 2016.

Comments: 18 pages

MSC Class: 28A80; 52C20

On the classification of fractal squares

Authors: Jun Jason Luo, Jing-Cheng Liu

Abstract: In \cite{LaLuRa13}, the authors completely classified the topological structure of so called {\it fractal square} $F$ defined by $F=(F+{\mathcal D})/n$, where ${\mathcal{D}}\subsetneq\{0,1,\dots,n-1\}^2, n\ge 2$. In this paper, we further provide simple criteria for the $F$ to be totally disconnected, then we discuss the Lipschitz classification of $F$ in the case $n=3$, which is an attempt to con… ▽ More In \cite{LaLuRa13}, the authors completely classified the topological structure of so called {\it fractal square} $F$ defined by $F=(F+{\mathcal D})/n$, where ${\mathcal{D}}\subsetneq\{0,1,\dots,n-1\}^2, n\ge 2$. In this paper, we further provide simple criteria for the $F$ to be totally disconnected, then we discuss the Lipschitz classification of $F$ in the case $n=3$, which is an attempt to consider non-totally disconnected sets. △ Less

Submitted 18 August, 2015; v1 submitted 26 April, 2014; originally announced April 2014.

Comments: 16 pages, 12 figures

MSC Class: Primary 28A80; Secondary 53C23; 54F65; 05C63

On the connectedness of planar self-affine sets

Authors: Jing-Cheng Liu, Jun Jason Luo, Heng-Wen Xie

Abstract: In this paper, we consider the connectedness of planar self-affine set $T(A,\mathcal{D})$ arising from an integral expanding matrix $A$ with characteristic polynomial $f(x)=x^2+bx+c$ and a digit set $\mathcal{D}=\{0,1,\dots, m\}v$. The necessary and sufficient conditions only depending on $b,c,m$ are given for the $T(A,\mathcal{D})$ to be connected. Moreover, we also consider the case that… ▽ More In this paper, we consider the connectedness of planar self-affine set $T(A,\mathcal{D})$ arising from an integral expanding matrix $A$ with characteristic polynomial $f(x)=x^2+bx+c$ and a digit set $\mathcal{D}=\{0,1,\dots, m\}v$. The necessary and sufficient conditions only depending on $b,c,m$ are given for the $T(A,\mathcal{D})$ to be connected. Moreover, we also consider the case that ${\mathcal D}$ is non-consecutively collinear. △ Less

Submitted 25 April, 2014; originally announced April 2014.

Comments: 18 pages; 18 figures

Lipschitz equivalence of self-similar sets and hyperbolic boundaries II

Authors: Guo-Tai Deng, Ka-Sing Lau, Jun Jason Luo

Abstract: 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… ▽ More 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. △ Less

Submitted 17 August, 2014; v1 submitted 14 March, 2014; originally announced March 2014.

Comments: 22 pages, 6 figures, accepted by Journal of Fractal Geometry

MSC Class: Primary 28A80; Secondary 05C63

Connectedness of planar self-affine sets associated with non-collinear digit sets

Authors: King-Shun Leung, Jun Jason Luo

Abstract: We study the connectedness of the planar self-affine sets $T(A,{\mathcal{D}})$ generated by an integer expanding matrix $A$ with $|\det(A)|=3$ and a non-collinear digit set ${\mathcal D}=\{0, v, kAv\}$ where $k\in {\mathbb Z}\setminus\{0\}$ and $v\in {\mathbb Z}^2$ such that $\{v, Av\}$ is linearly independent. By checking the characteristic polynomials of $A$ case by case, we obtain a criterion c… ▽ More We study the connectedness of the planar self-affine sets $T(A,{\mathcal{D}})$ generated by an integer expanding matrix $A$ with $|\det(A)|=3$ and a non-collinear digit set ${\mathcal D}=\{0, v, kAv\}$ where $k\in {\mathbb Z}\setminus\{0\}$ and $v\in {\mathbb Z}^2$ such that $\{v, Av\}$ is linearly independent. By checking the characteristic polynomials of $A$ case by case, we obtain a criterion concerning only $k$ to determine the connectedness of $T(A,{\mathcal{D}})$. △ Less

Submitted 18 August, 2012; originally announced August 2012.

Comments: 13 pages, 10 figures

Topological Structure of Fractal Squares

Authors: Ka-Sing Lau, Jun Jason Luo, Hui Rao

Abstract: 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 suc… ▽ More 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. △ Less

Submitted 18 October, 2012; v1 submitted 21 June, 2012; originally announced June 2012.

Comments: 17 pages, 12 figures

Journal ref: Math. Proc. Camb. Phil. Soc. (2013), 155, 73-86

Moran Sets and Hyperbolic Boundaries

Authors: Jun Jason Luo

Abstract: In the paper, we prove that a Moran set is homeomorphic to the hyperbolic boundary of the representing symbolic space in the sense of Gromov, which generalizes the results of Lau and Wang [Indiana U. Math. J. {\bf 58} (2009), 1777-1795]. Moreover, by making use of this, we establish the Lipschitz equivalence of a class of Moran sets. In the paper, we prove that a Moran set is homeomorphic to the hyperbolic boundary of the representing symbolic space in the sense of Gromov, which generalizes the results of Lau and Wang [Indiana U. Math. J. {\bf 58} (2009), 1777-1795]. Moreover, by making use of this, we establish the Lipschitz equivalence of a class of Moran sets. △ Less

Submitted 11 October, 2012; v1 submitted 6 June, 2012; originally announced June 2012.

Comments: 14 pages, 1 figure

MSC Class: 28A80

Journal ref: Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 38, 2013, 377-388

Boundaries of Disk-like Self-affine Tiles

Authors: King-Shun Leung, Jun Jason Luo

Abstract: Let $T:= T(A, {\mathcal D})$ be a disk-like self-affine tile generated by an integral expanding matrix $A$ and a consecutive collinear digit set ${\mathcal D}$, and let $f(x)=x^{2}+px+q$ be the characteristic polynomial of $A$. In the paper, we identify the boundary $\partial T$ with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,{\mathcal D})$ to… ▽ More Let $T:= T(A, {\mathcal D})$ be a disk-like self-affine tile generated by an integral expanding matrix $A$ and a consecutive collinear digit set ${\mathcal D}$, and let $f(x)=x^{2}+px+q$ be the characteristic polynomial of $A$. In the paper, we identify the boundary $\partial T$ with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,{\mathcal D})$ to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $ω$, we find the generalized Hausdorff dimension $\dim_H^ω (\partial T)=2\log ρ(M)/\log |q|$ where $ρ(M)$ is the spectral radius of certain contact matrix $M$. Especially, when $A$ is a similarity, we obtain the standard Hausdorff dimension $\dim_H (\partial T)=2\log ρ/\log |q|$ where $ρ$ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$, which is simpler than the known result. △ Less

Submitted 20 July, 2013; v1 submitted 2 June, 2012; originally announced June 2012.

Comments: 26 pages, 11 figures

MSC Class: 52C20; 11K55; 28A80

Journal ref: Discrete Comput Geom 50(2013)194-218

Lipschitz equivalence of self-similar sets and hyperbolic boundaries

Authors: Jun Jason Luo, Ka-Sing Lau

Abstract: 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 tree… ▽ More 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. △ Less

Submitted 30 November, 2012; v1 submitted 16 May, 2012; originally announced May 2012.

Comments: Advances in Mathematics, accepted (2012). 29 pages, 10 figures

Journal ref: Advances in Mathematics 235 (2013) 555-579

Connectedness of planar self-affine sets associated with non-consecutive collinear digit sets

Authors: King-Shun Leung, Jun Jason Luo

Abstract: In the paper, we focus on the connectedness of planar self-affine sets $T(A,{\mathcal{D}})$ generated by an integer expanding matrix $A$ with $|\det (A)|=3$ and a collinear digit set ${\mathcal{D}}=\{0,1,b\}v$, where $b>1$ and $v\in {\mathbb{R}}^2$ such that $\{v, Av\}$ is linearly independent. We discuss the domain of the digit $b$ to determine the connectedness of $T(A,{\mathcal{D}})$. Especiall… ▽ More In the paper, we focus on the connectedness of planar self-affine sets $T(A,{\mathcal{D}})$ generated by an integer expanding matrix $A$ with $|\det (A)|=3$ and a collinear digit set ${\mathcal{D}}=\{0,1,b\}v$, where $b>1$ and $v\in {\mathbb{R}}^2$ such that $\{v, Av\}$ is linearly independent. We discuss the domain of the digit $b$ to determine the connectedness of $T(A,{\mathcal{D}})$. Especially, a complete characterization is obtained when we restrict $b$ to be an integer. Some results on the general case of $|\det (A)|> 3$ are obtained as well. △ Less

Submitted 16 May, 2012; originally announced May 2012.

Comments: 15 pages, 10 figures

Journal ref: Journal of Mathematical Analysis and Applications, Volume 395, Issue 1, 1 November 2012, Pages 208-217