5
$\begingroup$

This question is motivated by some work in curriculum design for outreach math. Normal tilings of the Euclidean plane are a popular topic since people of all ages can play with it, but on the other hand the topic can be quite subtle and complicated. This sets up a situation where common abuse of terminology sometimes snowballs into broader confusion. I'm trying to remedy that and, at least for a start, improve my own understanding of the technical details so I can explain it to educators. This boils down (for now) to two questions, the more interesting one being in the title. I start with the less interested one though because it sets up notation.

The term "Tessellation"

My research has been in topology, where I learned a very general definition of this term. In particular, given a topological space $\mathcal{X}$, a tessellation $\mathcal{T}$ of $\mathcal{X}$ is a countable set $\{T_i\}_{i\in I}$ ($I\subseteq\mathbb{N}$) of closed subsets $T_i\subseteq\mathcal{X}$ such that $\bigcup_{i\in I}T_i=\mathcal{X}$, and $\forall i\neq j$ we have $\overset\circ{T_i}\cap\overset\circ{T_j}=\emptyset$. And we call the tessellation a tiling if $\mathcal{X}$ is a surface, and often tag on some other assumptions like uniform boundedness and tiles being bounded by closed curves.

Online, one can easily find a tessellation "defined" as a "tiling of the plane" or the like, and it's usually not worth the work in clearing up all the abuses of terminology in such statements. My gut tells me that people just like the more math-y sounding (and less bathroom-reminiscent) word, and it bugs me a little because I want people to be willing to think about more advanced stuff if they want to throw around bigger words. However, trying to choose my battles wisely, I wonder if there's an easier way out without sacrificing consistency. Is there an area of math with a respectable set of references where this usage is consistent?

Illegal duals

Now let's restrict to the case where $\mathcal{X}$ is the Euclidean plane. If all my $T_i$ are regular polygons, then $\mathcal{T}$ has a dual tiling, $\mathcal{T}^*$, formed by putting a straight line segment connecting the centers of every pair of adjacent (edge-sharing) tiles, then erasing the original edges. We notice that $\mathcal{T}^{**}=\mathcal{T}$.

But folks want to talk about "duals" of tilings not consisting of regular polygons, which gets vague because it's unclear what the center is, especially when the tiles are concave. Also, you have scenarios where $\mathcal{T}^{**}\neq\mathcal{T}$, which does not seem right for something we're going to call a "dual."

On the other hand, one does gain insight from doing something like the dual construction on other shapes. By way of motivation, check out what happens if $\mathcal{T}$ is Escher's famous lizard tiling, then I form a "$\mathcal{T}^*$" where I pick an eyeball to use as my center, and follow that eyeball consistent with the symmetry. This choice is to (1) show what happens if my point is clearly not in the geometric center, and (2) make it easy to find on every lizard.

lizard tiling "dual"

And look what happens when I form "$\mathcal{T}^{**}$" using the geometric centers of the new polygons, which just so happen to be vertices (ie, points of valence $>2$) of the original Escher tilings (doesn't seem like a coincidence).

lizard tiling "dual dual"

Does that monohedral pattern with quadrilaterals tell me things about the symmetry of the lizard pattern? You bet. And if I don't mind using where those eyeballs were as my "centers" again, I also get "$\mathcal{T}^{***}"="\mathcal{T}^{*}$". But did I take the dual? What did I take? Is there a more generalized theory of this and, if so, what are the rules?

$\endgroup$
  • $\begingroup$ Interesting very general question. I assume you've googled dual plane tiling (and similar searches) and followed some links. $\endgroup$ – Ethan Bolker Nov 27 '18 at 18:46
  • $\begingroup$ @EthanBolker Yes, I've been looking around a bunch for this answer. I find that most sources either require regular polygons or assume that without realizing it. I'm not seeing anything rigorous about how to deal with other cases, but would bet that it's out there somewhere. $\endgroup$ – j0equ1nn Nov 27 '18 at 20:40
0
$\begingroup$

I've seen two ideas similar to this used with quasiperiodic tilings. Nicholas De Bruijn described a construction called "pentagrids" or "multigrids", a set of lines whose intersections correspond to individual polygons in a Penrose tiling (or some other rhombus tiling). This is a sort of dual: to go from pentagrid to tiling, you rotate each line segment by 90 degrees, then reconnect so that the edges which formerly met at a vertex, now define the boundary of a new polygon. This preserves the angles and symmetry of the original tiling, but does not preserve distances. But it shows that in some cases at least, it is possible to define duality without reference to the center of the polygon.

This seems related to a concept called "mutual local derivability" that I've seen used on the Tilings Encyclopedia, which describes how two tilings can be transformed uniquely into each other via local rules. I haven't really done any background reading on this yet, so I will just drop a link to their definition: https://tilings.math.uni-bielefeld.de/glossary/mld/

Also, the markings you use remind me of what I've seen referred to as "Ammann Bars" or "Ammann Lines", a way of marking up tiles with lines such that the lines enforce quasiperiodic matching rules. I don't know if these have the 1:1 relationship that duals do, but they certainly can be used to describe or illuminate certain symmetrical aspects of a tiling. This article talks about Ammann bars in some depth-- if you're a visual thinker like me, the illustrations start on p.27: https://arxiv.org/pdf/1608.08215.pdf

$\endgroup$
0
$\begingroup$

In a way, any such periodic tiling of the Euclidean plane lives on a torus of some kind $(\mathbb{R}\oplus \mathbb{R})/(\mathbb{Z} \oplus \mathbb{Z}) \simeq S^1 \oplus S^1$ however, within those there is much variations. Once you have a partition of the Euclidean plane into convex polygons there's a dual tiling construction, for examply by connecting the centroids of each polygon.

enter image description here

The Wikipedia article on Regular Tesselations of the Euclidean plane, classifies them by Orbifold symbol. So there are two dual tilings with orbifold symbol *632 (triangle $\leftrightarrow$ hexagon) *442.

enter image description here

These uniform tilings and colorings have many dualities.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.