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>
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The paper "Aperiodic monotiles: from geometry to groups" aims to solve the problems of the existence and construction of aperiodic monotiles in geometry and group theory. Specifically, the paper mainly focuses on the following points:
1. **Establishment of a unified framework**:
- The paper proposes a framework that combines two independent but related mathematical discoveries in 2023: one is the discovery by Greenfeld and Tao in Euclidean geometry, and the other is the discovery by Smith, Myers, Kaplan and Goodman - Strauss in group theory. Both of these discoveries indicate that there is a single tile that can tile the entire plane, but not in a periodic manner.
2. **Transformation from geometry to group theory**:
- The paper shows how to establish connections between different mathematical fields by transforming an aperiodic monotile (such as the Hat tile) on the geometric plane into a new aperiodic monotile (called Roach) in the group Γ. This not only expands the understanding of aperiodic monotiles but also provides new tools and perspectives for studying these structures.
3. **Exploration of the properties of aperiodic monotiles**:
- The paper describes in detail the symmetry of the Hat tile and applies it to construct a new aperiodic monotile, Roach. Through the study of these structures, the authors reveal the behavior and characteristics of aperiodic monotiles in different mathematical environments.
4. **Proof of the existence of aperiodic monotiles**:
- The paper proves, through specific examples and strict mathematical derivations, that aperiodic monotiles do exist in certain groups. In particular, they prove that in the group Γ, Roach is a mildly aperiodic monotile.
### Formula presentation
To ensure the correctness and readability of the formulas, the following are some of the key formulas involved in the paper:
- **Definition of aperiodic monotile**:
\[
T \equiv_\lambda \bigsqcup_{(h,K) \in \Psi_K(T)} h \cdot K
\]
where \( T \) is a multi - \( K \) tile and \( \Psi_K(T) \) is a finite set.
- **Representation of the symmetry group**:
\[
\Gamma = \langle \alpha, \beta, \gamma \mid \alpha^2, \beta^2, \gamma^2, (\alpha\beta)^6, (\beta\gamma)^3, (\alpha\gamma)^2 \rangle
\]
This is the Coxeter representation of the symmetry group of the Semikitegrid.
- **Definition of aperiodicity**:
- Weakly aperiodic: if the stabilizer group \( \text{Stab}(C) \) is trivial.
- Mildly aperiodic: if the stabilizer group \( \text{Stab}(C) \) is infinite.
- Strongly aperiodic: if the stabilizer group \( \text{Stab}(C) \) acts cocompactly on \( W \).
Through these studies, the paper not only solves the problem of the existence of aperiodic monotiles but also provides new directions and methods for future research.