Search

We define the modulo-$m$ Toeplitz fixed point generated by Toeplitz substitution and study the lattice subsequence of such fixed point. Moreover, we provide a method to check whether one modulo-$m$ Toeplitz fixed point is a lattice subsequence of another.

Let $R$ be an $n\times n$ expanding matrix with integral entries. A fundamental question in the fractal tiling theory is to understand the structure of the digit set $\mathcal{D}\subset\mathbb{Z}^n$ so that the integral self-affine set $T(R,\mathcal{D})$ is a translational tile on $\mathbb{R}^n$ In this paper, we introduce a notion of skew-product-form digit set which is a very general class of tile digit sets. Especially, we show that in the one-dimensional case, if $T(b,\mathcal{D})$ is a self-similar tile, then there exists $m\geq 1$ such that $$\mathcal{D}_m=\mathcal{D}+b\mathcal{D}+\cdots+b^{m-1}\mathcal{D}$$ is a skew-product-form digit set. Notice that $T(b,\mathcal{D})=T(b^m,\mathcal{D}_m)$, in some sense, we completely characterize the self-similar tiles in $\mathbb{R}^1$ As an application, we establish that all self-similar tiles $T(b,\mathcal{D})$ where $b=p^{\alpha}q^{\beta}$ contains at most two prime factors are spectral sets in $\mathbb{R}^1$.

In this paper, we use a class of finite state automata, called topology automaton, to study the metric classification of a special class of post-critically finite self-similar sets. As an application, we prove that the conformal dimension of post-critically finite self-similar dendrites and fractal gasket with connected component is 1., Comment: 38 pages, 11 figures, 27 references

In this paper, we introduce a new notion called the \emph{box-counting measure} of a metric space. We show that for a doubling metric space, an Ahlfors regular measure is always a box-counting measure; consequently, if $E$ is a self-similar set satisfying the open set condition, then the Hausdorff measure restricted to $E$ is a box-counting measure. We show two classes of self-affine sets, the generalized Lalley-Gatzouras type self-affine sponges and Bara\'nski carpets, always admit box-counting measures; this also provides a very simple method to calculate the box-dimension of these fractals. Moreover, among others, we show that if two doubling metric spaces admit box-counting measures, then the multi-fractal spectra of the box-counting measures coincide provided the two spaces are Lipschitz equivalent.

Let E be a metric space. We introduce a notion of connectedness index of E, which is the Hausdor? dimension of the union of non-trivial connected components of E. We show that the connectedness index of a fractal cube E is strictly less than the Hausdor? dimension of E provided that E possesses a trivial connected component. Hence the connectedness index is a new Lipschitz invariant. Moreover, we investigate the relation between the connectedness index and topological Hausdor? dimension.

Following Schweiger's generalization of multidimensional continued fraction algorithms, we consider a very large family of $p$-adic multidimensional continued fraction algorithms, which include Schneider's algorithm, Ruban's algorithms, and the $p$-adic Jacobi-Perron algorithm as special cases. The main result is to show that all the transformations in the family are ergodic with respect to the Haar measure., Comment: 24 pages

Let $A, B, C$ be subsets of an abelian group $G$. A pair $(A, B)$ is called a $C$-pair if $A, B\subset C$ and $C$ is the direct sum of $A$ and $B$. The $(\Z_{\geq 0})$-pairs are characterized by de Bruijn in 1950 and the $(\Z_{\geq 0})^2$-pairs are characterized by Niven in 1971. In this paper, we characterize the $(\Z_{\geq 0})^n$-pairs for all $n\geq 1$. We show that every $(\Z_{\geq 0})^n$-pair is characterized by a weighted tree if it is primitive, that is, it is not a Cartesian product of a $(\Z_{\geq 0})^p$-pair and a $(\Z_{\geq 0})^q$-pair of lower dimensions.

We study the bi-Lipschitz classification of Bedford-McMullen carpets which are totally disconnected. Let $E$ be a such carpet and let $\mu_E$ be the uniform Bernoulli measure on $E$. We show that the multifractal spectrum and the doubling property of $\mu_E$ are both invariant under a bi-Lipschitz map. Moreover, we show that if $\mu_E$ and $\mu_F$ are doubling, then a bi-Lipschitz map between $E$ and $F$ enjoys a certain measure preserving property.

We study the dissection of a square into congruent convex polygons. Yuan \emph{et al.} [Dissecting the square into five congruent parts, Discrete Math. \textbf{339} (2016) 288-298] asked whether, if the number of tiles is a prime number $\geq 3$, it is true that the tile must be a rectangle. We conjecture that the same conclusion still holds even if the number of tiles is an odd number $\geq 3$. Our conjecture has been confirmed for triangles in earlier works. We prove that the conjecture holds if either the tile is a convex $q$-gon with $q\geq 6$ or it is a right-angle trapezoid., Comment: 19 pages, 11 figure

Skeleton is a new notion designed for constructing space-filling curves of self-similar sets. It is shown in [Dai, Rao and Zhang, Space-filling curves of self-similar sets (II): Edge-to-trail substitution rule,https://doi.org/10.1088/1361-6544/ab1275] that for a connected self-similar set, space-filling curves can be constructed provided that it possesses a skeleton. In this paper, we give a criterion of existence of skeletons by using the so-called neighbor graph of a self-similar set. In particular, we show that a connected self-similar set satisfying the finite type condition always possesses skeletons: an algorithm is obtained here.

This paper concerns the local connectedness of components of self-similar sets. Given an equal partition of the unit square into n*n small squares, we may choose arbitrarily two or more of them and form an iterated function system. The attractor F resulted from this IFS is called a fractal square. We prove that every component of F is locally connected. The same result for three-dimensional analogues of F does not hold., Comment: 19 pages, 10 figures

Walk dimension is an important conception in analysis of fractals. In this paper we prove that the walk dimension of a connected compact set possessing an Alfors regular measure is an invariant under Lipschitz transforms. As an application, we show some generalized Sierpi\'nski gaskets are not Lipschitz equivalent., Comment: 8 pages, 8 figures

The study of Lipschitz equivalence of fractals is a very active topic in recent years. Most of the studies in literature concern totally disconnected fractals. In this paper, using finite state automata, we construct a bi-Lipschitz map between two fractal squares which are not totally disconnected. This is the first non-trivial map of this type. We also show that this map is measure-preserving., Comment: 18 pages, 7 figures

It is well-known that the constructions of space-filling curves depend on certain substitution rules. For a given self-similar set, finding such rules is somehow mysterious, and it is the main concern of the present paper. Our first idea is to introduce the notion of skeleton for a self-similar set. Then, from a skeleton, we construct several graphs, define edge-to-trail substitution rules, and explore conditions ensuring the rules lead to space-filling curves. Thirdly, we summarize the classical constructions of the space-filling curves into two classes: the traveling-trail class and the positive Euler-tour class. Finally, we propose a general Euler-tour method, using which we show that if a self-similar set satisfies the open set condition and possesses a skeleton, then space-filling curves can be constructed. Especially, all connected self-similar sets of finite type fall into this class. Our study actually provides an algorithm to construct space-filling curves of self-similar sets., Comment: 44 pages, 16 figures

This paper is the first paper of three papers in a series, which intend to provide a systematic treatment for the space-filling curves of self-similar sets. In the present paper, we introduce a notion of \emph{linear graph-directed IFS} (linear GIFS in short). We show that to construct a space-filling curve of a self-similar set, it is amount to explore its linear GIFS structures. Some other notions, such as chain condition, path-on-lattice IFS, and visualizations of space-filling curves are also concerned. In sequential papers \cite{Dai15} and \cite{RZ14}, we obtain a universal algorithm to construct space-filling curves of self-similar sets of finite type, that is, as soon as the IFS is given, the computer will do everything automatically. Our study extends almost all the known results on space-filling curves., Comment: 24 pages, 14 figures

We consider $m$ integral vectors $X_1,...,X_m \in \mathbb{Z}^s$ located in a half-space of $\mathbb{R}^s$ ($m\ge s\geq 1$) and study the structure of the additive semi-group $X_1 \mathbb{N} +... + X_m \mathbb{N}$. We introduce and study maximal saturated cone and directional growth function which describe some aspects of the structure of the semi-group. When the vectors $X_1, ..., X_m$ are located in a fixed hyperplane, we obtain an explicit formula for the directional growth function and we show that this function completely characterizes the defining data $(X_1, ..., X_m)$ of the semi-group. The last result will be applied to the study of Lipschitz equivalence of Cantor sets (see [H. Rao and Y. Zhang, Higher dimensional Frobenius problem and Lipschitz equivalence of Cantor sets, Preprint 2014]).

The higher dimensional Frobenius problem was introduced by a preceding paper [Fan, Rao and Zhang, Higher dimensional Frobenius problem: maximal saturated cones, growth function and rigidity, Preprint 2014]. %the higher dimensional Frobenius problem was introduced and a directional growth function was studied. In this paper, we investigate the Lipschitz equivalence of dust-like self-similar sets in $\mathbb R^d$. For any self-similar set, we associate with it a higher dimensional Frobenius problem, and we show that the directional growth function of the associate higher dimensional Frobenius problem is a Lipschitz invariant. As an application, we solve the Lipschitz equivalence problem when two dust-like self-similar sets $E$ and $F$ have coplanar ratios, by showing that they are Lipschitz equivalent if and only if the contraction vector of the $p$-th iteration of $E$ is a permutation of that of the $q$-th iteration of $F$ for some $p, q\geq 1$. This partially answers a question raised by Falconer and Marsh [On the Lipschitz equivalence of Cantor sets, \emph{Mathematika,} \textbf{39} (1992), 223--233].

Let $E, F\subset \R^d$ be two self-similar sets. Under mild conditions, we show that $F$ can be $C^1$-embedded into $E$ if and only if it can be affinely embedded into $E$; furthermore if $F$ can not be affinely embedded into $E$, then the Hausdorff dimension of the intersection $E\cap f(F)$ is strictly less than that of $F$ for any $C^1$-diffeomorphism $f$ on $\R^d$. Under certain circumstances, we prove the logarithmic commensurability between the contraction ratios of $E$ and $F$ if $F$ can be affinely embedded into $E$. As an application, we show that $\dim_HE\cap f(F)<\min\{\dim_HE, \dim_HF\}$ when $E$ is any Cantor-$p$ set and $F$ any Cantor-$q$ set, where $p,q\geq 2$ are two integers with $\log p/\log q\not \in \Q$. This is related to a conjecture of Furtenberg about the intersections of Cantor sets., Comment: The paper will appear in J. Math. Pure. Appl

In this paper, we study the following question raised by Mattila in 1998: what are the self-similar subsets of the middle-third Cantor set $\C$? We give criteria for a complete classification of all such subsets. We show that for any self-similar subset $\F$ of $\C$ containing more than one point every linear generating IFS of $\F$ must consist of similitudes with contraction ratios $\pm 3^{-n}$, $n\in \N$. In particular, a simple criterion is formulated to characterize self-similar subsets of $\C$ with equal contraction ratio in modulus.

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^{\alpha}q$ ($p, q$ distinct primes) as {\it modulo product-form} of some order, an advance of the previously known results for $A = p^\alpha$ and $pq$.

In this paper we provide an up-to-date survey on the study of Lipschitz equivalence of self-similar sets. Lipschitz equivalence is an important property in fractal geometry because it preserves many key properties of fractal sets. A fundamental result by Falconer and Marsh [On the Lipschitz equivalence of Cantor sets, \textit{Mathematika}, \textbf{39} (1992), 223--233] establishes conditions for Lipschitz equivalence based on the algebraic properties of the contraction ratios of the self-similar sets. Recently there has been other substantial progress in the field. This paper is a comprehensive survey of the field. It provides a summary of the important and interesting results in the field. In addition we provide detailed discussions on several important techniques that have been used to prove some of the key results. It is our hope that the paper will provide a good overview of major results and techniques, and a friendly entry point for anyone who is interested in studying problems in this field., Comment: 16 pages, 3 figures

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., Comment: 17 pages, 12 figures

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.