arXiv++ Combinatorics

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.

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.

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$.

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.