Generalized radix representations and dynamical systems. IV

For r = (r₁,…, r_d) ∈ ?^d the mapping τ_r:?^d →?^d given byτ_r(a₁,…,a_d) = (a₂, …, a_d,−⌊r₁a₁+…+ r_da_d⌋)where ⌊·⌋ denotes the floor function, is called a shift radix system if for each a ∈ ?^d there exists an integer k > 0 with τ_r^k(a) = 0. As shown in Part I of this series of papers, shift radix systems are intimately related to certain well-known notions of number systems like β-expansibns and canonical number systems. After characterization results on shift radix systems in Part II of this series of papers and the thorough investigation of the relations between shift radix systems and canonical number systems in Part III, the present part is devoted to further structural relationships between shift radix systems and β-expansions. In particular we establish the distribution of Pisot polynomials with and without the finiteness property (F).     

Pointwise tube formulas for fractal sprays and self-similar tilings with arbitrary generators

In a previous paper by the first two authors, a tube formula for fractal sprays was obtained which also applies to a certain class of self-similar fractals. The proof of this formula uses distributional techniques and requires fairly strong conditions on the geometry of the tiling (specifically, the inner tube formula for each generator of the fractal spray is required to be polynomial). Now we extend and strengthen the tube formula by removing the conditions on the geometry of the generators, and also by giving a proof which holds pointwise, rather than distributionally. Hence, our results for fractal sprays extend to higher dimensions the pointwise tube formula for (1-dimensional) fractal strings obtained earlier by Lapidus and van Frankenhuijsen.Our pointwise tube formulas are expressed as a sum of the residues of the “tubular zeta function” of the fractal spray in Rd. This sum ranges over the complex dimensions of the spray, that is, over the poles of the geometric zeta function of the underlying fractal string and the integers 0,1,…,d. The resulting “fractal tube formulas” are applied to the important special case of self-similar tilings, but are also illustrated in other geometrically natural situations. Our tube formulas may also be seen as fractal analogues of the classical Steiner formula.     

Self-affine Lattice Reptiles with Two Pieces in IRn

We prove that for every number n ≥ 1, there is a finite number of affine types of self-affine lattice tilings in ?ⁿ, such that the expansion carries each tile onto the union of two tiles.     

Self-Affine Sets and Graph-Directed Systems

   Abstract. A self-affine set in R ⁿ is a compact set T with A(T)= ∪ _{d∈ D} (T+d) where A is an expanding n× n matrix with integer entries and D ={d ₁ , d ₂ ,···, d _N } ⊂ Z ⁿ is an N -digit set. For the case N = | det(A)| the set T has been studied in great detail in the context of self-affine tiles. Our main interest in this paper is to consider the case N > | det(A)| , but the theorems and proofs apply to all the N . The self-affine sets arise naturally in fractal geometry and, moreover, they are the support of the scaling functions in wavelet theory. The main difficulty in studying such sets is that the pieces T+d, d∈ D, overlap and it is harder to trace the iteration. For this we construct a new graph-directed system to determine whether such a set T will have a nonvoid interior, and to use the system to calculate the dimension of T or its boundary (if T ^o ≠  ). By using this setup we also show that the Lebesgue measure of such T is a rational number, in contrast to the case where, for a self-affine tile, it is an integer.     

A counterexample to Valette’s conjecture

We disprove a well-known conjecture of D. Vallete (1978), which states that every d-dimensional self-affine convex body is a direct product of a polytope with a convex body of lower dimension. It is shown that there are counterexamples for dimension d = 4. Additional assumptions under which the conjecture is true are discussed.     

Pavages auto-affines, opérateurs de transfert et critères de réseau dans ℝ d

Resumé Nous applíquons les résultats de [2] à la construction d'analyses multirésolutions et en particulier à l'étude de pavages auto-affines de ^d . Nous montrons qu'une tuile auto-affine, construite à partir d'une matrice dilatante à coefficients entiers, permet de paver ^d par translation par les éléments d'un réseau.

---

We applied results from [2] to multiresolution analysis and to lattice tilings of ^d with self-affine tiles.

     

On a Theorem of Bandt and Wang and Its Extension to <Emphasis Type="Italic">p</Emphasis>2-tiles

We study tilings of the plane by a single prototile with respect to the lattice and to the crystallographic group p2. We are interested in the connection between the neighbors of a tile in the tiling and its topology. We show that lattice and p2-tiles always have at least six neighbors. We characterize self-affine tiles that are homeomorphic to a disk in a rather easy way by the set and number of neighbors of the central tile in the tiling. This extends the work of Bandt and Wang devoted to lattice self-affine disk-like tiles of the plane.     

Two finiteness theorems for periodic tilings of d-dimensional euclidean space

Consider the d -dimensional euclidean space E ^d . Two main results are presented: First, for any N∈ N, the number of types of periodic equivariant tilings that have precisely N orbits of (2,4,6, . . . ) -flags with respect to the symmetry group Γ , is finite. Second, for any N∈ N, the number of types of convex, periodic equivariant tilings that have precisely N orbits of tiles with respect to the symmetry group Γ , is finite. The former result (and some generalizations) is proved combinatorially, using Delaney symbols, whereas the proof of the latter result is based on both geometric arguments and Delaney symbols. <lsiheader> <onlinepub>7 August, 1998 <editor>Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; <pdfname>20n2p143.pdf <pdfexist>yes <htmlexist>no <htmlfexist>no <texexist>no <sectionname> </lsiheader> Received September 5, 1996, and in revised form January 6, 1997.     

Algorithm for determining pure pointedness of self-affine tilings

Overlap coincidence in a self-affine tiling in Rd is equivalent to pure point dynamical spectrum of the tiling dynamical system. We interpret the overlap coincidence in the setting of substitution Delone set in Rd and find an efficient algorithm to check the pure point dynamical spectrum. This algorithm is easy to implement into a computer program. We give the program and apply it to several examples. In the course of the proof of the algorithm, we show a variant of the conjecture of Urbański (Solomyak (2006) [40]) on the Hausdorff dimension of the boundaries of fractal tiles.     

Graph-directed systems and self-similar measures on limit spaces of self-similar groups

Let G be a group and ?:H→G be a contracting homomorphism from a subgroup H<G of finite index. V. Nekrashevych (2005) [25] associated with the pair (G,?) the limit dynamical system (JG,s) and the limit G-space XG together with the covering _?g∈GT⋅g by the tile T. We develop the theory of self-similar measures m on these limit spaces. It is shown that (JG,s,m) is conjugated to the one-sided Bernoulli shift. Using sofic subshifts we prove that the tile T has integer measure and we give an algorithmic way to compute it. In addition we give an algorithm to find the measure of the intersection of tiles T∩(T⋅g) for g∈G. We present applications to the invariant measures for the rational functions on the Riemann sphere and to the evaluation of the Lebesgue measure of integral self-affine tiles.     

Purely periodic β-expansions in the Pisot non-unit case

It is well known that real numbers with a purely periodic decimal expansion are rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta which is not necessarily a unit. We characterize real numbers having a purely periodic expansion in such a base. This characterization is given in terms of an explicit set, called a generalized Rauzy fractal, which is shown to be a graph-directed self-affine compact subset of non-zero measure which belongs to the direct product of Euclidean and p-adic spaces.     

Fractal Penrose tilings I. Construction and matching rules

Summary Quasiperiodic tilings of kite-and-dart type, widely used as models for quasicrystals with decagonal symmetry, are constructed by means of somewhat artificial matching rules for the tiles. The proof of aperiodicity uses a self-similarity property, or inflation procedure, which requires drawing auxiliary lines. We introduce a modification of the kite-and-dart tilings which comes very naturally with both properties: the tiles are strictly self-similar, and their fractal boundaries provide perfect matching rules.     

MULTIRESOLUTION ANALYSIS, SELF-SIMILAR TILINGS AND HAAR WAVELETS ON THE HEISENBERG GROUP

In this article, the properties of multiresolution analysis and self-similar tilings on the Heisenberg group are studied. Moreover, we establish a theory to construct an orthonormal Haar wavelet base in L^2（H^d） by using self-similar tilings for the acceptable dilations on the Heisenberg group.     

Orthogonal exponentials on the generalized plane Sierpinski gasket

The self-affine measure μ_Mp,D corresponding tois supported on the the generalized plane Sierpinski gasket T(M_p,D). In the present paper we show that there exist at most 3 mutually orthogonal exponential functions in L²(μ_Mp,D), and the number 3 is the best. This generalizes several known results on the non-spectral self-affine measure problem.     

Topology of crystallographic tiles

We study self-affine tiles which tile the n-dimensional real vector space with respect to a crystallographic group. First we define classes of graphs that allow to determine the neighbors of a given tile algorithmically. In the case of plane tiles these graphs are used to derive a criterion for such tiles to be homeomorphic to a disk. As particular application, we will solve a problem of Gelbrich, who conjectured that certain examples of tiles which tile with respect to the ornament group p2 are homeomorphic to a disk.      

Enumerating Cube Tilings

Cube tilings formed by $n$ -dimensional $4\mathbb Z ^n$ -periodic hypercubes with side $2$ and integer coordinates are considered here. By representing the problem of finding such cube tilings within the framework of exact cover and using canonical augmentation, pairwise nonisomorphic 5-dimensional cube tilings are exhaustively enumerated in a constructive manner. There are 899,710,227 isomorphism classes of such tilings, and the total number of tilings is 638,560,878,292,512. It is further shown that starting from a 5-dimensional cube tiling and using a sequence of switching operations, it is possible to generate any other cube tiling.     

On low-dimensional faces that high-dimensional polytopes must have

We prove that every five-dimensional polytope has a two-dimensional face which is a triangle or a quadrilateral. We state and discuss the following conjecture: For every integerk1 there is an integer f(k) such that everyd-polytope,df(k), has ak-dimensional face which is either a simplex or combinatorially isomorphic to thek-dimensional cube.We give some related results concerning facet-forming polytopes and tilings. For example, sharpening a result of Schulte [25] we prove that there is no face to face tiling of ⁵ with crosspolytopes.Supported in part by a BSF Grant and by I.H.E.S, Bures-Sur-Yvette.     

Pseudo-self-affine tilings in ℝ<Superscript>d</Superscript>

It is proved that every pseudo-self-affine tiling in ?^d is mutually locally derivable with a self-affine tiling. A characterization of pseudo-self-similar tilings in terms of derived Voronoï tessellations is a corollary. Previously, these results were obtained in the planar case, jointly with Priebe Frank. The new approach is based on the theory of graph-directed iterated function systems and substitution Delone sets developed by Lagarias and Wang. Bibliography: 18 titles.     

Some Generalizations of the Pinwheel Tiling

We introduce a new family of nonperiodic tilings, based on a substitution rule that generalizes the pinwheel tiling of Conway and Radin. In each tiling the tiles are similar to a single triangular prototile. In a countable number of cases, the tiles appear in a finite number of sizes and an infinite number of orientations. These tilings generally do not meet full-edge to full-edge, but can be forced through local matching rules. In a countable number of cases, the tiles appear in a finite number of orientations but an infinite number of sizes, all within a set range, while in an uncountable number of cases both the number of sizes and the number of orientations is infinite. Received April 9, 1996, and in revised form September 16, 1996.