Affability of equivalence relations arising from two-dimensional substitution tilings

Hiroki Matui

DOI: https://doi.org/10.48550/arXiv.math/0506251

2005-11-18

Abstract:We will show that an equivalence relation on a Cantor set arising from a two-dimensional substitution tiling by polygons is affable in the sense of Giordano, Putnam and Skau.

Dynamical Systems

What problem does this paper attempt to address?

Overlapping substitutions and tilings

Shigeki Akiyama,Yasushi Nagai,Shu-Qin Zhang

2024-08-30

Abstract:Inspired by Ziherl, Dotera and Bekku [17],we generalize the notion of (geometric) substitution rule to obtain overlapping substitutions. For such a substitution, the substitution matrix may have non-integer entries. We give the meaning of such a matrix by showing that the right Perron--Frobenius eigenvector gives the patch frequency of the resulting tiling. We also show that the expansion constant is an algebraic integer under mild conditions. In general, overlapping substitutions may yield a patch with contradictory overlaps of tiles, even if it is locally consistent. We give a sufficient condition for an overlapping substitution to be consistent, that is, no such contradiction will emerge. We also give many one-dimensional examples of overlapping substitution. We finish by mentioning a construction of overlapping substitutions from Delone multi-sets with inflation symmetry.

Combinatorics,Dynamical Systems,Number Theory
On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Jonathan David Farley,Dominic van der Zypen

DOI: https://doi.org/10.48550/arXiv.1510.06513

2015-10-22

Abstract:Turing Award winner Juris Hartmanis introduced in 1959 lattices of subspaces of generalized partitions ("partitions of type n"; "geometries" if $n = 2$). Hartmanis states it is "an unsolved problem whether there are any incomplete lattice homomorphisms in" lattices of subspaces of geometries. (He continues, "[I]f so how can these geometries be characterized.") We give a positive answer to this question.

Logic
An Order on Sets of Tilings Corresponding to an Order on Languages

Nathalie Aubrun,Mathieu Sablik

DOI: https://doi.org/10.48550/arXiv.0902.1602

2009-02-10

Abstract:Traditionally a tiling is defined with a finite number of finite forbidden patterns. We can generalize this notion considering any set of patterns. Generalized tilings defined in this way can be studied with a dynamical point of view, leading to the notion of subshift. In this article we establish a correspondence between an order on subshifts based on dynamical transformations on them and an order on languages of forbidden patterns based on computability properties.

Discrete Mathematics
A brief introduction to amenable equivalence relations

Justin Tatch Moore

DOI: https://doi.org/10.48550/arXiv.1809.00422

2018-09-03

Abstract:This is a short survey of amenable equivalence relations.

Logic,Group Theory
Geometric equivalence among smooth map germs

Shyuichi Izumiya,Masatomo Takahashi,Hiroshi Teramoto

DOI: https://doi.org/10.48550/arXiv.1908.08232

2019-08-22

Abstract:We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense of Thom-Mather depending on geometric structures on the target space germ. Unfortunately, these equivalence relations are not necessarily geometric subgroups in the sense of Damon (1984). However, we have interesting applications of these equivalence relations.

Differential Geometry
Lovely pairs for independence relations

Antongiulio Fornasiero

DOI: https://doi.org/10.48550/arXiv.1009.5244

2010-09-27

Logic

Abstract:In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the geometric case, and show how the main theorems for those two cases extend to our general notion.
An absorption theorem for minimal AF equivalence relations on Cantor sets

Hiroki Matui

DOI: https://doi.org/10.48550/arXiv.0712.0733

2008-09-09

Abstract:We prove that a `small' extension of a minimal AF equivalence relation on a Cantor set is orbit equivalent to the AF relation. By a `small' extension we mean an equivalence relation generated by the minimal AF equivalence relation and another AF equivalence relation which is defined on a closed thin subset. The result we obtain is a generalization of the main theorem in [GMPS2].

Dynamical Systems,Operator Algebras
Relation identities equivalent to congruence modularity

Paolo Lipparini

DOI: https://doi.org/10.48550/arXiv.1704.05274

2017-04-18

Rings and Algebras

Abstract:We present some identities dealing with reflexive and admissible relations and which, through a variety, are equivalent to congruence modularity.
Dedekind's Transposition Principle for lattices of equivalence relations

William DeMeo

DOI: https://doi.org/10.48550/arXiv.1301.6788

2013-01-29

Abstract:We prove a version of Dedekind's Transposition Principle that holds in lattices of equivalence relations.

Rings and Algebras,Combinatorics
Substitution tilings with transcendental inflation factor

Dirk Frettlöh,Alexey Garber,Neil Mañibo

DOI: https://doi.org/10.48550/arXiv.2208.01327

2022-08-02

Dynamical Systems

Abstract:For any $\lambda>2$, we construct a substitution on an infinite alphabet which gives rise to a substitution tiling with inflation factor $\lambda$. In particular, we obtain the first class of examples of substitutive systems with transcendental inflation factors that possess usual dynamical properties enjoyed by primitive substitutions on finite alphabets. We show that both the associated subshift and tiling dynamical systems are strictly ergodic, which is related to the quasicompactness of the underlying substitution operator. We also provide an explicit substitution with transcendental inflation factor $\lambda$.
A categorical equivalence between affine Yokonuma-Hecke algebras and some quiver Hecke algebras

Weideng Cui

DOI: https://doi.org/10.48550/arXiv.1405.6705

2016-05-31

Abstract:Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's categorical equivalence theorem.

Representation Theory,Quantum Algebra
Families of convex tilings

Richard Kenyon

DOI: https://doi.org/10.48550/arXiv.2106.03655

2021-06-07

Abstract:We study tilings of polygons $R$ with arbitrary convex polygonal tiles. Such tilings come in continuous families obtained by moving tile edges parallel to themselves (keeping edge directions fixed). We study how the tile shapes and areas change in these families. In particular we show that if $R$ is convex, the tile shapes can be arbitrarily prescribed (up to homothety). We also show that the tile areas and tile ``orientations'' determine the tiling. We associate to a tiling an underlying bipartite planar graph $G$ and its corresponding Kasteleyn matrix $K$. If $G$ has quadrilateral faces, we show that $K$ is the differential of the map from edge intercepts to tile areas, and extract some geometric and probabilistic consequences.

Combinatorics
Substitutions and their generalisations

Neil Mañibo

2023-11-10

Abstract:Tilings and point sets arising from substitutions are classical mathematical models of quasicrystals. Their hierarchical structure allows one to obtain concrete answers regarding spectral questions tied to the underlying measures and potentials. In this review, we present some generalisations of substitutions, with a focus on substitutions on compact alphabets, and with an outlook towards their spectral theory. Guided by two main examples, we will illustrate what changes when one moves from finite to compact (infinite) alphabets, and discuss under which assumptions do we recover the usual geometric and statistical properties which make them viable models of materials with almost periodic order. We also present a planar example (which is a two-dimensional generalisation of the Thue--Morse substitution), whose diffraction is purely singular continuous.

Dynamical Systems,Mathematical Physics
Undecidable translational tilings with only two tiles, or one nonabelian tile

Rachel Greenfeld,Terence Tao

2024-02-14

Abstract:We construct an example of a group $G = \mathbb{Z}^2 \times G_0$ for a finite abelian group $G_0$, a subset $E$ of $G_0$, and two finite subsets $F_1,F_2$ of $G$, such that it is undecidable in ZFC whether $\mathbb{Z}^2\times E$ can be tiled by translations of $F_1,F_2$. In particular, this implies that this tiling problem is aperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings of $E$ by the tiles $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $\mathbb{Z}^2$). A similar construction also applies for $G = \mathbb{Z}^d$ for sufficiently large $d$. If one allows the group $G_0$ to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile $F$. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.

Combinatorics,Logic
Cohomology in one-dimensional substitution tiling spaces

Marcy Barge,Beverly Diamond

DOI: https://doi.org/10.48550/arXiv.math/0702669

2007-02-23

Abstract:Anderson and Putnam showed that the cohomology of a substitution tiling space may be computed by collaring tiles to obtain a substitution which ``forces its border.'' One can then represent the tiling space as an inverse limit of an inflation and substitution map on a cellular complex formed from the collared tiles; the cohomology of the tiling space is computed as the direct limit of the homomorphism induced by inflation and substitution on the cohomology of the complex. For one-dimensional substitution tiling spaces, we describe a modification of the Anderson-Putnam complex on collared tiles that allows for easier computation and provides a means of identifying certain special features of the tiling space with particular elements of the cohomology.

Dynamical Systems,General Topology
Equivalences in diagrammatic sets

Clémence Chanavat,Amar Hadzihasanovic

2024-10-01

Abstract:We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the expected properties: they include all degenerate cells, are closed under 2-out-of-3, and satisfy an appropriate version of the "division lemma", which ensures that enwrapping a diagram with equivalences at all sides is an invertible operation up to higher equivalence. On the way to this result, we develop methods, such as an algebraic calculus of natural equivalences, for handling the weak units and unitors which set this framework apart from strict $\omega$-categories.

Category Theory,Algebraic Topology
Tannaka duality and 1-affineness

Germán Stefanich

2023-11-08

Abstract:We show that Lurie's results on Tannaka duality for geometric stacks hold without any tameness hypotheses. We deduce this as a consequence of an affineness theorem in the theory of sheaves of categories. This affineness result is also applied to the study of tensor product and integral transform formulas for categories of quasicoherent sheaves.

Algebraic Geometry,Algebraic Topology,Category Theory
An Equivalence Relation Characterization of Distributive Lattices

Xiangrong Sun,Wei He

DOI: https://doi.org/10.3969/j.issn.1001-4616.2006.04.004

2006-01-01

Abstract:A characterization of distributive lattices, Heyting algebras and Boolean algebras was given by means of an equivalence relation defined on them. Furthermore, some interesting properties of Heyting algebras and Boolean algebras were obtained.
A [Chern] character defect

Jianlong Liu,Jonathan Rosenberg,Rodrigo Treviño

2024-10-11

Abstract:We study the cohomology rings of tiling spaces $\Omega$ given by cubical substitutions. While there have been many calculations before of cohomology groups of such tiling spaces, the innovation here is that we use computer-assisted methods to compute the cup-product structure. This leads to examples of substitution tilings with isomorphic cohomology groups but different cohomology rings. Part of the interest in studying the cup product comes from Bellissard's gap-labeling conjecture, which is known to hold in dimensions $\le 3$, but where a proof is known in dimensions $\ge 4$ only when the Chern character from $K^0(\Omega)$ to $H^*(\Omega,\mathbb{Q})$ lands in $H^*(\Omega,\mathbb{Z})$. Computation of the cup product on cohomology often makes it possible to compute the Chern character. We introduce a natural generalization of the gap-labeling conjecture, called the equivariant gap-labeling conjecture, which applies to tilings with a finite symmetry group. Again this holds in dimensions $\le 3$, but we are able to show that it fails in general in dimensions $\ge 4$. This, plus some of our cup product calculations, makes it plausible that the gap-labeling conjecture might fail in high dimensions.

Dynamical Systems,Algebraic Topology,K-Theory and Homology
On the representation theory of the symmetry group of the Cantor set

Andrew Snowden

2024-04-09

Abstract:In previous work with Harman, we introduced a new class of representations for an oligomorphic group $G$, depending on an auxiliary piece of data called a measure. In this paper, we look at this theory when $G$ is the symmetry group of the Cantor set. We show that $G$ admits exactly two measures $\mu$ and $\nu$. The representation theory of $(G, \mu)$ is the linearization of the category of $\mathbf{F}_2$-vector spaces, studied in recent work of the author and closely connected to work of Kuhn and Kovács. The representation theory of $(G, \nu)$ is the linearization of the category of vector spaces over the Boolean semi-ring (or, equivalently, the correspondence category), studied by Bouc--Thévenaz. The latter case yields an important counterexample in the general theory.

Representation Theory

Affability of equivalence relations arising from two-dimensional substitution tilings

Overlapping substitutions and tilings

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

An Order on Sets of Tilings Corresponding to an Order on Languages

A brief introduction to amenable equivalence relations

Geometric equivalence among smooth map germs

Lovely pairs for independence relations

An absorption theorem for minimal AF equivalence relations on Cantor sets

Relation identities equivalent to congruence modularity

Dedekind's Transposition Principle for lattices of equivalence relations

Substitution tilings with transcendental inflation factor

A categorical equivalence between affine Yokonuma-Hecke algebras and some quiver Hecke algebras

Families of convex tilings

Substitutions and their generalisations

Undecidable translational tilings with only two tiles, or one nonabelian tile

Cohomology in one-dimensional substitution tiling spaces

Equivalences in diagrammatic sets

Tannaka duality and 1-affineness

An Equivalence Relation Characterization of Distributive Lattices

A [Chern] character defect

On the representation theory of the symmetry group of the Cantor set