Anisohedral tiling

In geometry, a shape is said to be anisohedral if it admits a tiling, but no such tiling is isohedral (tile-transitive); that is, in any tiling by that shape there are two tiles that are not equivalent under any symmetry of the tiling. A tiling by an anisohedral tile is referred to as an anisohedral tiling. [cite book|last=Grünbaum |first=Branko |authorlink=Branko Grünbaum |coauthors=Shephard, G. C. |title=Tilings and Patterns |location=New York |publisher=W. H. Freeman and Company |year=1987 |isbn=0-7167-1193-1]

The second part of Hilbert's eighteenth problem asked whether there exists an anisohedral polyhedron in Euclidean 3-space; Grünbaum and Shephard suggest [Grünbaum and Shephard, section 9.6] that Hilbert was assuming that no such tile existed in the plane. Reinhardt answered Hilbert's problem in 1928 by finding examples of such polyhedra, and asserted that his proof that no such tiles exist in the plane would appear soon. [cite journal |last=Reinhardt |first=Karl |year=1928 |title=Zur Zerlegung der euklidischen Räume in kongruente Polytope |journal=Sitzungsberichte der Preussischen Akamemie der Wissenschaften Berlin, Physikalisch-Mathematische Klasse |pages=150–155] However, Heesch then gave an example of an anisohedral tile in the plane in 1935. [cite journal |last=Heesch |first=H. |authorlink=Heinrich Heesch |year=1935 |title=Aufbau der Ebene aus kongruenten Bereichen |journal=Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, Neue Folge |volume=1 |pages=115–117 |url=http://www.angelfire.com/mn3/anisohedral/heesch2.html |format=transcription by Berglund, with English translation |accessdate=2007-09-09]

Reinhardt had previously considered the question of anisohedral convex polygons, showing that there were no anisohedral convex hexagons but being unable to show there were no such convex pentagons, while finding the five types of convex pentagon tiling the plane isohedrally. [Grünbaum and Shephard, section 9.6] Kershner gave three types of anisohedral convex pentagon in 1968; one of these tiles using only direct isometries without reflections or glide reflections, so answering a question of Heesch. [cite journal |last=Kershner |first=R. B. |year=1968 |month=October |title=On Paving the Plane |journal=American Mathematical Monthly |volume=75 |issue=8 |pages=839–844 |url=http://links.jstor.org/sici?sici=0002-9890%28196810%2975%3A8%3C839%3AOPTP%3E2.0.CO%3B2-9 |format=fee required |doi=10.2307/2314332]

Isohedral numbers

The problem of anisohedral tiling has been generalised by saying that the isohedral number of a tile is the least number of orbits (equivalence classes) of tiles in any tiling of that tile under the action of the symmetry group of that tiling, and that a tile with isohedral number "k" is "k"-anisohedral. Berglund asked whether there exist "k"-anisohedral tiles for all "k", giving examples for "k" ≤ 4 (examples of 2-anisohedral and 3-anisohedral tiles being previously known, while the 4-anisohedral tile given was the first such published tile). [cite journal |last=Berglund |first=John |year=1993 |title=Is There a "k"-Anisohedral Tile for "k" ≥ 5? |journal=American Mathematical Monthly |volume=100 |issue=6 |pages=585–588 |url=http://links.jstor.org/sici?sici=0002-9890%28199306%2F07%29100%3A6%3C585%3AITATF%3E2.0.CO%3B2-0 |format=fee required |doi=10.2307/2324621] Goodman-Strauss considered this in the context of general questions about how complex the behaviour of a given tile or set of tiles can be, noting an 8-anisohedral example of Kari. [cite web | url=http://comp.uark.edu/~strauss/papers/survey.pdf | title=Open Questions in Tiling | accessdate=2007-09-09 | last=Goodman-Strauss | first=Chaim | date=2000-01-10 | format=PDF] Grünbaum and Shephard had previously raised a slight variation on the same question. [Grünbaum and Shephard, exercise 9.3.2]

Socolar showed in 2007 that arbitrarily high isohedral numbers can be achieved in two dimensions if the tile is disconnected, or has coloured edges with constraints on what colours can be adjacent, and in three dimensions with a connected tile without colours, noting that in two dimensions for a connected tile without colours the highest known isohedral number is 10. [cite journal |last=Socolar |first=Joshua E. S. |year=2007 |title=Hexagonal Parquet Tilings: "k"-Isohedral Monotiles with Arbitrarily Large "k" |journal=The Mathematical Intelligencer |volume=29 |pages=33–38 |url=http://www.phy.duke.edu/~socolar/hexparquet.pdf |accessdate=2007-09-09 |format=corrected PDF]

References

External links

* John Berglund, [http://www.angelfire.com/mn3/anisohedral/index.html Anisohedral Tilings Page]
*