77 research outputs found

    Rational self-affine tiles

    Full text link
    An integral self-affine tile is the solution of a set equation AT=dD(T+d)\mathbf{A} \mathcal{T} = \bigcup_{d \in \mathcal{D}} (\mathcal{T} + d), where A\mathbf{A} is an n×nn \times n integer matrix and D\mathcal{D} is a finite subset of Zn\mathbb{Z}^n. In the recent decades, these objects and the induced tilings have been studied systematically. We extend this theory to matrices AQn×n\mathbf{A} \in \mathbb{Q}^{n \times n}. We define rational self-affine tiles as compact subsets of the open subring Rn×pKp\mathbb{R}^n\times \prod_\mathfrak{p} K_\mathfrak{p} of the ad\'ele ring AK\mathbb{A}_K, where the factors of the (finite) product are certain p\mathfrak{p}-adic completions of a number field KK that is defined in terms of the characteristic polynomial of A\mathbf{A}. Employing methods from classical algebraic number theory, Fourier analysis in number fields, and results on zero sets of transfer operators, we establish a general tiling theorem for these tiles. We also associate a second kind of tiles with a rational matrix. These tiles are defined as the intersection of a (translation of a) rational self-affine tile with Rn×p{0}Rn\mathbb{R}^n \times \prod_\mathfrak{p} \{0\} \simeq \mathbb{R}^n. Although these intersection tiles have a complicated structure and are no longer self-affine, we are able to prove a tiling theorem for these tiles as well. For particular choices of digit sets, intersection tiles are instances of tiles defined in terms of shift radix systems and canonical number systems. Therefore, we gain new results for tilings associated with numeration systems

    Shift Radix Systems - A Survey

    Full text link
    Let d1d\ge 1 be an integer and r=(r0,,rd1)Rd{\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d. The {\em shift radix system} τr:ZdZd\tau_\mathbf{r}: \mathbb{Z}^d \to \mathbb{Z}^d is defined by τr(z)=(z1,,zd1,rz)t(z=(z0,,zd1)t). \tau_{{\bf r}}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z}\rfloor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). τr\tau_\mathbf{r} has the {\em finiteness property} if each zZd{\bf z} \in \mathbb{Z}^d is eventually mapped to 0{\bf 0} under iterations of τr\tau_\mathbf{r}. In the present survey we summarize results on these nearly linear mappings. We discuss how these mappings are related to well-known numeration systems, to rotations with round-offs, and to a conjecture on periodic expansions w.r.t.\ Salem numbers. Moreover, we review the behavior of the orbits of points under iterations of τr\tau_\mathbf{r} with special emphasis on ultimately periodic orbits and on the finiteness property. We also describe a geometric theory related to shift radix systems.Comment: 45 pages, 16 figure

    Self-affine Manifolds

    Full text link
    This paper studies closed 3-manifolds which are the attractors of a system of finitely many affine contractions that tile R3\mathbb{R}^3. Such attractors are called self-affine tiles. Effective characterization and recognition theorems for these 3-manifolds as well as theoretical generalizations of these results to higher dimensions are established. The methods developed build a bridge linking geometric topology with iterated function systems and their attractors. A method to model self-affine tiles by simple iterative systems is developed in order to study their topology. The model is functorial in the sense that there is an easily computable map that induces isomorphisms between the natural subdivisions of the attractor of the model and the self-affine tile. It has many beneficial qualities including ease of computation allowing one to determine topological properties of the attractor of the model such as connectedness and whether it is a manifold. The induced map between the attractor of the model and the self-affine tile is a quotient map and can be checked in certain cases to be monotone or cell-like. Deep theorems from geometric topology are applied to characterize and develop algorithms to recognize when a self-affine tile is a topological or generalized manifold in all dimensions. These new tools are used to check that several self-affine tiles in the literature are 3-balls. An example of a wild 3-dimensional self-affine tile is given whose boundary is a topological 2-sphere but which is not itself a 3-ball. The paper describes how any 3-dimensional handlebody can be given the structure of a self-affine 3-manifold. It is conjectured that every self-affine tile which is a manifold is a handlebody.Comment: 40 pages, 13 figures, 2 table

    Rational self-affine tiles

    Get PDF
    An integral self-affine tile is the solution of a set equation AT=dD(T+d)\mathbf{A} \mathcal{T} = \bigcup_{d \in \mathcal{D}} (\mathcal{T} + d), where A\mathbf{A} is an n×nn \times n integer matrix and D\mathcal{D} is a finite subset of Zn\mathbb{Z}^n. In the recent decades, these objects and the induced tilings have been studied systematically. We extend this theory to matrices AQn×n\mathbf{A} \in \mathbb{Q}^{n \times n}. We define rational self-affine tiles as compact subsets of the open subring Rn×pKp\mathbb{R}^n\times \prod_\mathfrak{p} K_\mathfrak{p} of the adéle ring AK\mathbb{A}_K, where the factors of the (finite) product are certain p\mathfrak{p}-adic completions of a number field KK that is defined in terms of the characteristic polynomial of A\mathbf{A}. Employing methods from classical algebraic number theory, Fourier analysis in number fields, and results on zero sets of transfer operators, we establish a general tiling theorem for these tiles. We also associate a second kind of tiles with a rational matrix. These tiles are defined as the intersection of a (translation of a) rational self-affine tile with Rn×p{0}Rn\mathbb{R}^n \times \prod_\mathfrak{p} \{0\} \simeq \mathbb{R}^n. Although these intersection tiles have a complicated structure and are no longer self-affine, we are able to prove a tiling theorem for these tiles as well. For particular choices of digit sets, intersection tiles are instances of tiles defined in terms of shift radix systems and canonical number systems. Therefore, we gain new results for tilings associated with numeration systems

    Number systems over orders

    Get PDF
    L
    corecore