Tiling in some nonpositively curved groups

Joseph MacManus,Lawk Mineh

2024-01-18

Abstract:We prove that acylindrically hyperbolic groups are monotileable. That is, every finite subset of the group is contained in a finite tile. This provides many new examples of monotileable groups, and progress on the question of whether every countable group is monotileable. In particular, one-relator groups and many Artin groups are monotileable.

Group Theory

What problem does this paper attempt to address?

Aperiodic monotiles: from geometry to groups

Thierry Coulbois,Anahí Gajardo,Pierre Guillon,Victor Lutfalla

2024-09-24

Abstract:<div><p>In 2023, two striking, nearly simultaneous, mathematical discoveries have excited their respective communities, one by Greenfeld and Tao, the other (the Hat tile) by Smith, Myers, Kaplan and Goodman-Strauss, which can both be summed up as the following: there exists a single tile that tiles, but not periodically (sometimes dubbed the einstein problem). The two settings and the tools are quite different (as emphasized by their almost disjoint bibliographies): one in euclidean geometry, the other in group theory. Both are highly nontrivial: in the first case, one allows complex shapes; in the second one, also the space to tile may be complex.</p><p>We propose here a framework that embeds both of these problems. We illustrate our setting by transforming the Hat tile into a new aperiodic group monotile, and we describe its symmetries.</p></div>

Discrete Mathematics,Combinatorics
An aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64163843

2024-07-04

Abstract:A longstanding open problem asks for an aperiodic monotile, also known as an "einstein": a shape that admits tilings of the plane, but never periodic tilings. We answer this problem for topological disk tiles by exhibiting a continuum of combinatorially equivalent aperiodic polygons. We first show that a representative example, the "hat" polykite, can form clusters called "metatiles", for which substitution rules can be defined. Because the metatiles admit tilings of the plane, so too does the hat. We then prove that generic members of our continuum of polygons are aperiodic, through a new kind of geometric incommensurability argument. Separately, we give a combinatorial, computer-assisted proof that the hat must form hierarchical -- and hence aperiodic -- tilings.

Combinatorics,Discrete Mathematics,Metric Geometry
Tilings of Amenable Groups

Tomasz Downarowicz,Dawid Huczek,Guohua Zhang

DOI: https://doi.org/10.1515/crelle-2016-0025

2015-01-01

Abstract:We prove that for any infinite countable amenable group G, any epsilon > 0 and any finite subset K subset of G, there exists a tiling (partition of G into finite "tiles" using only finitely many "shapes"), where all the tiles are (K, epsilon)-invariant. Moreover, our tiling has topological entropy zero (i.e., subexponential complexity of patterns). As an application, we construct a free action of G (in the sense that the mappings, associated to elements of G other than the unit, have no fixed points) on a zero-dimensional space, such that the topological entropy of this action is zero.
Simple Tilings of Nilpotent Lie Groups

Kyle Hansen

2024-02-16

Abstract:We define simple tilings in the general context of a G-tiling on a Riemannian homogeneous space M to be tilings by "almost linear" simplices. As evidence that this definition is natural, we prove that a natural class of tilings of M are MLD to simple ones. We demonstrate the utility of this definition by generalizing previously known results about simple tilings of Euclidean space. In particular, it is shown that a simple tiling space of a connected, simply connected, rational, nilpotent Lie group is homeomorphic to a rational tiling space, and therefore a fiber bundle over a nilmanifold. We further sketch a proof of the fact that there is an isomorphism between Čech cohomology and pattern equivariant cohomology of simple tilings in connected, simply connected, nilpotent Lie groups.

Dynamical Systems,Metric Geometry
A chiral aperiodic monotile

David Smith,Joseph Samuel Myers,Craig S. Kaplan,Chaim Goodman-Strauss

DOI: https://doi.org/10.5070/C64264241

2024-09-28

Abstract:The recently discovered "hat" aperiodic monotile mixes unreflected and reflected tiles in every tiling it admits, leaving open the question of whether a single shape can tile aperiodically using translations and rotations alone. We show that a close relative of the hat -- the equilateral member of the continuum to which it belongs -- is a weakly chiral aperiodic monotile: it admits only non-periodic tilings if we forbid reflections by fiat. Furthermore, by modifying this polygon's edges we obtain a family of shapes called Spectres that are strictly chiral aperiodic monotiles: they admit only chiral non-periodic tilings based on a hierarchical substitution system.

Combinatorics,Discrete Mathematics,Metric Geometry
Functional tilings and the Coven-Meyerowitz tiling conditions

Gergely Kiss,Itay Londner,Máté Matolcsi,Gábor Somlai

2024-11-06

Abstract:Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group $\mathbb{Z}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$, $f\ast g=\mathbf{1}_{\mathbb{Z}_M}$ is a functional tiling, and $f, g$ satisfy certain further natural properties associated with tilings. We show that the Coven-Meyerowitz tiling conditions do not necessarily hold in such generality. Such examples of functional tilings carry the potential to lead to proper tiling counterexamples to the Coven-Meyerowitz conjecture in the future.

Combinatorics,Analysis of PDEs
Periodicity of tiles in finite Abelian groups

Shilei Fan,Tao Zhang

2024-08-23

Abstract:In this paper, we introduce the concept of periodic tiling (PT) property for finite abelian groups. A group has the PT property if any non-periodic set that tiles the group by translation has a periodic tiling complement. This property extends the scope beyond groups with the Hajós property. We classify all cyclic groups having the PT property. Additionally, we construct groups that possess the PT property but without the Hajós property. As byproduct, we identify new groups for which the implication ``Tile $\Longrightarrow$ Spectral" holds. For elementary $p$-groups having the PT property, we show that a tile must be a complete set of representatives of the cosets of some subgroup, by analyzing the structure of tiles.

Group Theory,Classical Analysis and ODEs,Combinatorics
Big Tiles in Hyperbolic Groups

Azer Akhmedov

2024-05-08

Abstract:We prove that if $\Gamma $ is a word hyperbolic group and $K$ is a finite subset of $\Gamma $, then $\Gamma $ admits a tile containing $K$.

Group Theory,Combinatorics
The semi-simple theory of higher rank acylindricity

Sahana Balasubramanya,Talia Fernos

2024-07-06

Abstract:We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of ($S$-arithmetic) lattices and the flourishing theory of acylindrically hyperbolic groups, we show that, up to virtual isomorphism, finitely generated groups in this class enjoy a strongly canonical product decomposition. This semi-simple decomposition also descends to the outer-automorphism group, allowing us to give a partial resolution to a recent conjecture of Sela. We also develop various structure results including a free vs abelian Tits' Alternative, and connections to lattice envelopes. Along the way we give representation-theoretic proofs of various results about acylindricity -- some methods are new even in the rank-1 setting. The vastness of this class of groups is exhibited by recognizing that it contains, for example, $S$-arithmetic lattices with rank-1 factors, acylindrically hyperbolic groups, HHGs, groups with property (QT), and is closed under direct products, passing to (totally general type) subgroups, and finite index over-groups.

Group Theory,General Topology
Tiling Spaces have aspherical shape

Scott Schmieding

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

2015-11-19

Dynamical Systems

Abstract: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.
Centers of subgroups of big mapping class groups and the Tits alternative

Justin Lanier,Marissa Loving

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

2019-04-23

Abstract:In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a subgroup of some big mapping class group.

Geometric Topology,Group Theory
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
A curiously cubulated group

Kasia Jankiewicz,Daniel T. Wise

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

2020-06-09

Abstract:We construct a finitely generated 2-dimensional group that acts properly on a locally finite CAT(0) cube complex but does not act properly on a finite dimensional CAT(0) cube complex.

Group Theory,Geometric Topology
Bonding in MgSi and AlMgSi Compounds Relevant to AlMgSi Alloys

A. G. Froseth,P. M . Derlet,S. J. Andersen,C. D. Marioara,R. Holmestad

DOI: https://doi.org/10.1103/PhysRevB.67.224106

2003-02-03

Abstract:The bonding and stability of MgSi and AlMgSi compounds relevant to AlMgSi alloys is investigated with the use of (L)APW+(lo) DFT calculations. We show that the $\beta$ and $\beta''$ phases found in the precipitation sequence are characterised by the presence of covalent bonds between Si-Si nearest neighbour pairs and covalent/ionic bonds between Mg-Si nearest neighbour pairs. We then investigate the stability of two recently discovered precipitate phases, U1 and U2, both containing Al in addition to Mg and Si. We show that both phases are characterised by tightly bound Al-Si networks, made possible by a transfer of charge from the Mg atoms.

Materials Science
Undecidability of translational monotilings

Rachel Greenfeld,Terence Tao

2023-10-25

Abstract:In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2\times G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.

Combinatorics,Logic
A new class of a-T-menable free-by-free groups

François Gautero

2023-03-08

Abstract:We prove that a semi-direct product of two finite rank free groups $F_k$ and $F_n$ such that $F_k$ acts on $F_n$ by polynomially growing automorphisms acts properly isometrically on a finite dimensional CAT(0) cube complex provided some finite-index unipotent subgroup of $F_k$ satisfies two supplementary properties. In particular any such group is a-T-menable in the sense of Gromov (equivalently satisfies the Haagerup property).

Group Theory
On self-affine tiles that are homeomorphic to a ball

Jörg M. Thuswaldner,Shu-Qin Zhang

2024-05-15

Abstract:Let $M$ be a $3\times 3$ integer matrix which is expanding in the sense that each of its eigenvalues is greater than $1$ in modulus and let $\mathcal{D} \subset \mathbb{Z}^3$ be a digit set containing $|\det M|$ elements. Then the unique nonempty compact set $T=T(M,\mathcal{D})$ defined by the set equation $MT=T+\mathcal{D}$ is called an integral self-affine tile if its interior is nonempty. If $\mathcal{D}$ is of the form $\mathcal{D}=\{0,v,\ldots, (|\det M|-1)v\}$ we say that $T$ has a collinear digit set. The present paper is devoted to the topology of integral self-affine tiles with collinear digit sets. In particular, we prove that a large class of these tiles is homeomorphic to a closed $3$-dimensional ball. Moreover, we show that in this case $T$ carries a natural CW complex structure that is defined in terms of the intersections of $T$ with its neighbors in the lattice tiling $\{T+z\,:\, z\in \mathbb{Z}^3\}$ induced by $T$. This CW complex structure is isomorphic to the CW complex defined by the truncated octahedron.

Geometric Topology
Tiling the Euclidean and Hyperbolic planes with ribbons

Benedikt Kolbe,Vanessa Robins

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

2019-04-08

Abstract:We describe a method to classify crystallographic tilings of the Euclidean and hyperbolic planes by tiles whose stabiliser group contains translation isometries or whose topology is not that of a closed disk. We tackle this problem from two different viewpoints, one with constructive techniques to enumerate such tilings and the other from a viewpoint of classification. The methods are purely topological and generalise Delaney-Dress combinatorial tiling theory. The classification is up to equivariant equivalence and is achieved by viewing tilings as decorations of orbifolds.

Geometric Topology
Tropicalization of linear series and tilings by polymatroids

Omid Amini,Eduardo Esteves

2024-05-07

Abstract:We show that tropicalization of linear series on curves gives rise to two-parameter families of tilings by polymatroids, with one parameter arising from the theory of divisors on tropical curves and the other from the reduction of linear series of rational functions in non-Archimedean geometry. In order to do this, we introduce a general framework that produces tilings of vector spaces and their subsets by polymatroids. We furthermore show that these tilings are regular and relate them to work by Kapranov and Lafforgue on Chow quotients of Grassmannians.

Algebraic Geometry,Combinatorics

Tiling in some nonpositively curved groups

Aperiodic monotiles: from geometry to groups

An aperiodic monotile

Tilings of Amenable Groups

Simple Tilings of Nilpotent Lie Groups

A chiral aperiodic monotile

Functional tilings and the Coven-Meyerowitz tiling conditions

Periodicity of tiles in finite Abelian groups

Big Tiles in Hyperbolic Groups

The semi-simple theory of higher rank acylindricity

Tiling Spaces have aspherical shape

Centers of subgroups of big mapping class groups and the Tits alternative

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

A curiously cubulated group

Bonding in MgSi and AlMgSi Compounds Relevant to AlMgSi Alloys

Undecidability of translational monotilings

A new class of a-T-menable free-by-free groups

On self-affine tiles that are homeomorphic to a ball

Tiling the Euclidean and Hyperbolic planes with ribbons

Tropicalization of linear series and tilings by polymatroids