In this paper, we consider tilings of the hyperbolic 2-space, built with a finite number of polygonal tiles, up to affine transformation. To such a tiling T, we associate a space of tilings: the continuous hull Omega(T) on which the affine group acts. This space Omega(T) inherits a solenoid structure whose leaves correspond to the orbits of the affine group. First we prove the finite harmonic measures of this laminated space correspond to finite invariant measures for the affine group action. Then we give a complete combinatorial description of these finite invariant measures. Finally we give examples with an arbitrary number of ergodic invariant probability measures.
Let $\textbf{a}_1,\dots, \textbf{a}_r$ be vectors in a half-space of $\mathbb{R}^n$. We call $$C=\textbf{a}_1\mathbb{R}^++\cdots+\textbf{a}_r \mathbb{R}^+$$ a convex polyhedral cone, and call $\{\textbf{a}_1,\dots, \textbf{a}_r\}$ a generator set of $C$. A generator set with the minimal cardinality is called a frame. We investigate the translation tilings of convex polyhedral cones. Let $T\subset \mathbb{R}^n$ be a compact set such that $T$ is the closure of its interior, and $\mathcal{J}\subset \mathbb{R}^n$ be a discrete set. We say $(T,\mathcal{J})$ is a translation tiling of $C$ if $T+\mat…
It is proved that every pseudo-self-affine tiling in R^d is mutually locally derivable with a self-affine tiling. A characterization of pseudo-self-similar tilings in terms of derived Voronoi 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.
We consider self-affine tilings in the Euclidean space and the associated tiling dynamical systems, namely, the translation action on the orbit closure of the given tiling. We investigate the spectral properties of the system. It turns out that the presence of the discrete component depends on the algebraic properties of the eigenvalues of the expansion matrix $ϕ$ for the tiling. Assuming that $ϕ$ is diagonalizable over $\C$ and all its eigenvalues are algebraic conjugates of the same multiplicity, we show that the dynamical system has a relatively dense discrete spectrum if and only if it is …
Overlap coincidence in a self-affine tiling in $\R^d$ 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 $\R^d$ 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 the proof of the algorithm, we show a variant of the conjecture of Urbański (Solomyak \cite{Solomyak:08}) on the Hausdorff dimension of the boundaries of fractal tiles.
We study the repetition of patches in self-affine tilings in R^d. In particular, we study the existence and non-existence of arithmetic progressions. We first show that an arithmetic condition of the expansion map for a self-affine tiling implies the non-existence of certain one-dimensional arithmetic progressions. Next, we show that the existence of full-rank infinite arithmetic progressions, pure discrete dynamical spectrum, and limit periodicity are all equivalent for a certain class of self-affine tilings. We finish by giving a complete picture for the existence/non-existence of full-rank …
We consider self-affine tiling substitutions in Euclidean space and the corresponding tiling dynamical systems. It is well-known that in the primitive case the dynamical system is uniquely ergodic. We investigate invariant measures when the substitution is not primitive, and the tiling dynamical system is non-minimal. We prove that all ergodic invariant probability measures are supported on minimal components, but there are other natural ergodic invariant measures, which are infinite. Under some mild assumptions, we completely characterize $σ$-finite invariant measures which are positive and f…
We study homeomorphisms of tiling spaces with finite local complexity (FLC), of which suspensions of $d$-dimensional subshifts are an example, and orbit equivalence of tiling spaces with (possibly) infinite local complexity (ILC). In the FLC case, we construct a cohomological invariant of homeomorphisms, and show that all homeomorphisms are a combination of tiling deformations, translations, and local equivalences (MLD). In the ILC case, we construct a cohomological invariant in the so-called weak cohomology, and show that all orbit equivalences are combinations of tiling deformations, transla…
We investigate the connection between radix representations for Z^n and self-affine tilings of R^n. We apply our results to show that Haar-like multivariable wavelets exist for all dilation matrices that are sufficie
It is proved that whenever two aperiodic repetitive tilings with finite local complexity have homeomorphic tiling spaces, their associated complexity functions are asymptotically equivalent in a certain sense (which implies, if the complexity is polynomial, that the exponent of the leading term is preserved by homeomorphism). This theorem can be reworded in terms of $d$-dimensional infinite words: if two $\mathbb{Z}^d$-subshifts (with the same conditions as above) are flow equivalent, their complexity functions are equivalent. An analogue theorem is proved for the repetitivity function, which …
Going beyond the cohomological invariants attached to tiling spaces via inverse limit constructions, Clark and Hunton introduced shape group invariants, and showed these invariants in dimension one give new information. We show for dimensions greater than one that these groups are trivial. To do this, we show that the topological hull associated to a tiling in $\mathbb{R}^{d}$ is the inverse limit of aspherical branched manifolds. The result follows from work of Gromov and others on complete geodesic spaces of nonpositive Alexandrov curvature, along with some simple observations.
An iterated function system $Φ$ consisting of contractive similarity mappings has a unique attractor $F \subseteq \mathbb{R}^d$ which is invariant under the action of the system, as was shown by Hutchinson [Hut]. This paper shows how the action of the function system naturally produces a tiling $\mathcal{T}$ of the convex hull of the attractor. More precisely, it tiles the complement of the attractor within its convex hull. These tiles form a collection of sets whose geometry is typically much simpler than that of $F$, yet retains key information about both $F$ and $Φ$. In particular, the tile…
We show that any codimension one hyperbolic attractor of a diffeomorphism of a (d+1)-dimensional closed manifold is shape equivalent to a (d+1)-dimensional torus with a finite number of points removed, or, in the non-orientable case, to a space with a 2 to 1 covering by such a torus-less-points. Furthermore, we show that each orientable attractor is homeomorphic to a tiling space associated to an aperiodic tiling of Rd, but that the converse is generally not true. This work allows the definition of a new invariant for aperiodic tilings, in many cases finer than the cohomological or K-theoretic…
An integral self-affine tile is the solution of a set equation $\mathbf{A} \mathcal{T} = \bigcup_{d \in \mathcal{D}} (\mathcal{T} + d)$, where $\mathbf{A}$ is an $n \times n$ integer matrix and $\mathcal{D}$ is a finite subset of $\mathbb{Z}^n$. In the recent decades, these objects and the induced tilings have been studied systematically. We extend this theory to matrices $\mathbf{A} \in \mathbb{Q}^{n \times n}$. We define rational self-affine tiles as compact subsets of the open subring $\mathbb{R}^n\times \prod_\mathfrak{p} K_\mathfrak{p}$ of the adéle ring $\mathbb{A}_K$, where the factors …
We introduce a GUI fronted program that can compute combinatorial properties and topological invariants of recognisable and primitive symbolic substitutions on finite alphabets and their associated tiling spaces. We introduce theory from the study of aperiodic 1-dimensional tilings along with pseudocode highlighting the algorithms that we have implemented into the GUI. Grout is written using C++ and its standard library.
We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and compute it for various examples. We also extend our analysis to more general dynamical systems.
If phi is a Pisot substitution of degree d, then the inflation and substitution homeomorphism Phi on the tiling space T_Phi factors via geometric realization onto a d-dimensional solenoid. Under this realization, the collection of Phi-periodic asymptotic tilings corresponds to a finite set that projects onto the branch locus in a d-torus. We prove that if two such tiling spaces are homeomorphic, then the resulting branch loci are the same up to the action of certain affine maps on the torus.
We propose a formalism for tilings with infinite local complexity (ILC), and especially fusion tilings with ILC. We allow an infinite variety of tile types but require that the space of possible tile types be compact. Examples include solenoids, pinwheel tilings, tilings with fault lines, and tilings with infinitely many tile sizes, shapes, or labels. Special attention is given to tilings where the infinite local complexity comes purely from geometry (shears) or comes purely from combinatorics (labels). We examine spectral properties of the invariant measures and define a new notion of complex…
We derive a homeomorphism invariant for those tiling spaces which are made by rather general substitution rules on polygonal tiles, including those tilings, like the pinwheel, which contain tiles in infinitely many orientations. The invariant is a quotient of Cech cohomology, is easily computed directly from the substitution rule, and distinguishes many examples, including most pinwheel-like tiling spaces. We also introduce a module structure on cohomology which is very convenient as well as of intuitive value.
Every sufficiently regular space of tilings of $\R^d$ has at least one pair of distinct tilings that are asymptotic under translation in all the directions of some open $(d-1)$-dimensional hemisphere. If the tiling space comes from a substitution, there is a way of defining a location on such tilings at which asymptoticity `starts'. This leads to the definition of the {\em branch locus} of the tiling space: this is a subspace of the tiling space, of dimension at most $d-1$, that summarizes the `asymptotic in at least a half-space' behavior in the tiling space. We prove that if a $d$-dimensiona…
Shift radix systems form a collection of dynamical systems depending on a parameter $\mathbf{r}$ which varies in the $d$-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out to be important for studying properties of expansions in several settings. In the present paper we associate a collection …
A substitution $\vp$ is strong Pisot if its abelianization matrix is non-singular and all eigenvalues except the Perron-Frobenius eigenvalue have modulus less than one. For strong Pisot $\vp$ that satisfies a no cycle condition and for which the translation flow on the tiling space $\T_\vp$ has pure discrete spectrum, we describe the collection $\T^P_\vp$ of pairs of proximal tilings in $\T_\vp$ in a natural way as a substitution tiling space. We show that if $ψ$ is another such substitution, then $\T_\vp $ and $\T_ψ$ are homeomorphic if and only if $\T^P_\vp$ and $\T^P_ψ$ are homeomorphic. We…
Given an n-dimensional substitution whose associated linear expansion is unimodular and hyperbolic, we use elements of the one-dimensional integer Čech cohomology of the associated tiling space to construct a finite-to-one semi-conjugacy, called geometric realization, between the substitution induced dynamics and an invariant set of a hyperbolic toral automorphism. If the linear expansion satisfies a Pisot family condition and the rank of the module of generalized return vectors equals the generalized degree of the linear expansion, the image of geometric realization is the entire torus and co…
A class of piecewise affine hyperbolic maps on a bounded subset of the plane is considered. It is shown that if a map from this class is sufficiently area-expanding then almost surely this map has an absolutely continuous invariant measure.
We study the topology and dynamics of subshifts and tiling spaces associated to non-primitive substitutions in one dimension. We identify a property of a substitution, which we call tameness, in the presence of which most of the possible pathological behaviours of non-minimal substitutions cannot occur. We find a characterization of tameness, and use this to prove a slightly stronger version of a result of Durand, which says that the subshift of a minimal substitution is topologically conjugate to the subshift of a primitive substitution. We then extend to the non-minimal setting a result obta…
Given an affine control system $\dot{\mathbf x} = f({\mathbf x}) + \sum_{j=1}^m g_j({\mathbf x}) u_j$ we present an algorithmic process of construction of submanifolds that are invariant under controls assuming that the linear span of $f, g_1, \ldots, g_m$ has constant rank. We use the method of reduction of Pfaffian systems to a largest integrable subsystem and finding the first integrals and the generalized first integrals for the vector fields.
Let $Ω$ be a tiling space and let $G$ be the maximal group of rotations which fixes $Ω$. Then the cohomology of $Ω$ and $Ω/G$ are both invariants which give useful geometric information about the tilings in $Ω$. The noncommutative analog of the cohomology of $Ω$ is the K-theory of a C*-algebra associated to $Ω$, and for translationally finite tilings of dimension 2 or less the K-theory is isomorphic to the direct sum of cohomology groups. In this paper we give a prescription for calculating the noncommutative analog of the cohomology of $Ω/G$, that is, the K-theory of the crossed product of th…
For a large class of tilings, including the Penrose tiling in two dimension as well as the icosahedral ones in 3 dimension, the continuous hull of such a tiling inherits a minimal lamination structure with flat leaves and a transversal which is a Cantor set. In this case, we show that the continuous hull can be seen as the projective limit of a suitable sequence of branched, oriented and flat compact manifolds.The algebraic topological features related to this sequence reflect the dynamical properties of the action on the continuous hull. In particular the set of positive invariant measures of…
This paper has two themes that are intertwined: The first is the dynamics of certain piecewise affine maps on the Euclidean space that arise from a class of analog-to-digital conversion methods called Sigma-Delta quantization. The second is the analysis of reconstruction error associated to each such method. Sigma-Delta quantization generates approximate representations of functions by sequences that lie in a restricted set of discrete values. These are special sequences in that their local averages track the function values closely, thus enabling simple convolutional reconstruction. In this p…
Let M be a rank 1 affine invariant orbifold in a stratum of the moduli space of flat surfaces. We show that the leaves of the M-isoperiodic foliation are either all closed or all dense. In the second case, we establish ergodicity of the foliation with respect to the affine measure on M.
In this note we give a simple sufficient condition for an affine iterated function system to admit an invariant affine subspace persistently with respect to changes in the translation parameters. This yields further examples of tuples of contracting linear maps which do not satisfy the conclusions of Falconer's theorem on the Hausdorff dimension of almost every self-affine set. We also obtain new examples of iterated function systems of similarity transformations which cannot satisfy the open set condition for any choice of translation parameters, and resolve a related question of Peres and So…
We classify the non arithmetic rank one affine invariant orbifolds that do not arise from Veech surfaces in H(3,1) and H^odd(2,2). We also give rigidity results on the isoperiodic leaf of non arithmetic Veech surfaces.
We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of Möller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in the torsion of a factor of the Jacobians. This statement can be viewed as a splitting of certain mixed Hodge structures.
