Self-similar lattice tilings and subdivision schemes

Let M ∈ ℤ^{s × s} be a dilation matrix and let D ⊂ ℤ^s be a complete set of representatives of distinct cosets of ℤ^s/Mℤ^s. The self-similar tiling associated with M and D is the subset of R^s given by T(M, D) = {∑_j=1 ^∞ M^-j α_j : α_j ∈ D}. The purpose of this paper is to characterize self-similar lattice tilings, i.e., tilings T(M, D) which have Lebesgue measure one. In particular, it is shown that T(M, D) is a lattice tiling if and only if there is no nonempty finite set Λ ⊂ ℤ^s / (D - D) such that M^-1 ((D - D) + Λ) ∩ ℤ^s ⊂ Λ. This set A can be restricted to be contained in a finite set K depending only on M and D. We also give a new proof for the fact that T(M, D) is a lattice tiling if and only if ∪_n=1 ^∞ (∑_j=0 ⁿ⁼¹ M^j (D - D)) = Z^s. Two approaches are provided, one based on scrambling matrices and the other based on primitive matrices. These will follow from the characterization of subdivision schemes associated with nonnegative masks in terms of finite powers of finite matrices, without computing eigenvalues or spectral radii. Our characterization shows that the convergence of the Subdivision scheme with a nonnegative mask depends only on the location of its positive coefficients.