In my recent question about polygonal tilings where tiles can occur in infinitely many positions, both constructions given as solutions are of self-similar nature. This means in particular that there is no periodicity and thus no fundamental unit.
What if we exclude the possibility of self-similarity by requiring the tiling to be periodic?
The two tilings I used as initial examples are both periodic with $p(\mathcal T)=12$.
- Can we do better than $12$?
EDIT: Yes, of course we can, as per Wlodek Kuperberg's comment. This excludes the possibility of self-similarity only partially, so to speak. So I will squeeze this out by sharpening the conditions as follows:
- If we require moreover that the tiling has a fundamental domain which contains only one tile of each position, how big can such a fundamental domain be?
$ $
- Same question for periodic tilings of $\mathbb R^3$, where an easy construction takes a truncated octahedron (which tiles $\mathbb R^3$, left picture) as fundamental unit and subdivides it into 48 identical tiles.
The right picture shows one of those pyramid-like tiles (more precisely, a triangular and a quadrangular pyramid with a common face). There are two for each vertex of the truncated octahedron, and they have obviously all different orientations. They are cut off by the $6+3$ perpendicular bisector planes of the edges and the 3 planes of the octahedron's squares. This realizes $p(T)=48$ and generalizes quite directly the plane construction with a regular hexagon as fundamental unit, subdivided by the 3 main diagonals and the 3 "heights" into 12 triangles with angles $30°,60°,90°$.