15
$\begingroup$

You have a grid of regular hexagons.

The aim of the game is to have each hex contain the numbers 1-6 on its edges.

Each edge must also be connected to another edge that has a value one higher and one lower than the value of itself, with 6's wrapping to 1's. The other two edges can be any number as long as the first rule isn't broken.

Below, I have completed a small section by hand as an example:

Complete hex flower

Can this pattern propagate to a hex grid of infinite size and does it repeat?

In this example I started with a hex labeled 1-6 going anti-clockwise from the top however this is not a requirement.

$\endgroup$
9
  • $\begingroup$ The periodic part of the question is equivalent to asking for a similar tiling by flat hexagons on a flat torus (flat here just means each vertex should be the intersection of exactly $3$ edges). If such a tiling existed, I think one should be able to then say something about the $\mathbb{Z}/6\mathbb{Z}$ $1$-cochain that such an edge assignment corresponds to so you might be able to turn this into a question about the cohomology of the torus. $\endgroup$
    – Dan Rust
    Jan 13 '15 at 20:17
  • 2
    $\begingroup$ Expanding out from that seed (image provided in question), you reach a dead end (or clash) within 2 hexes. Perhaps it is possible with a different start, but the pattern given above can't continue indefinitely. $\endgroup$
    – user208038
    Jan 15 '15 at 6:49
  • $\begingroup$ @Joffan: What do you mean? Andre's answer hints a direction to start researching. It doesn't yet give a clear answer one way or the other. $\endgroup$ Jan 22 '15 at 6:37
  • $\begingroup$ According to your example all numbers from $2$ to $6$ are regarded to be larger as well as smaller than $1$. Right? $\endgroup$
    – epi163sqrt
    Jan 22 '15 at 8:32
  • $\begingroup$ @oxinabox sorry, I had an answer but it is currently deleted to fix up errors (if possible) - I'd forgotten about the comment $\endgroup$
    – Joffan
    Jan 22 '15 at 13:22
11
+50
$\begingroup$

My computer graphics are not up to scratch, so please bear with me.

Here are 8 basic hexagons:

$$A=\matrix{&1&\cr6&&2\cr5&&3\cr&4&\cr};\quad B=\matrix{&4&\cr3&&5\cr2&&6\cr&1&\cr};\quad C=\matrix{&4&\cr5&&3\cr6&&2\cr&1&\cr};\quad D=\matrix{&1&\cr2&&6\cr3&&5\cr&4&\cr}$$

$$E=\matrix{&4&\cr6&&3\cr2&&5\cr&1&\cr};\quad F=\matrix{&1&\cr3&&6\cr5&&2\cr&4&\cr};\quad G=\matrix{&1&\cr5&&2\cr3&&6\cr&4&\cr};\quad H=\matrix{&4&\cr2&&5\cr6&&3\cr&1&\cr}$$

and they get put together in this pattern: $$\matrix{A&&C&&A&&C&\cr&F&&H&&F&&H\cr B&&D&&B&&D&\cr&E&&G&&E&&G\cr A&&C&&A&&C&\cr&F&&H&&F&&H\cr B&&D&&B&&D&\cr&E&&G&&E&&G\cr}$$

So, for example, $E$ shares an edge 6 with $B$, 4 with $F$ above it, 3 with $D$, 5 with $C$, 1 with $F$ below it, and 2 with $A$.

$\endgroup$
9
  • $\begingroup$ As much as I like deus ex machina responses, I'm afraid I have to ask: Did you run a computer program, did you have some sudden $($or not so sudden$)$ flash of insight, or maybe a bit of both, or were you just inspired by the Holy Spirit ? $($Or did Cleo hijack your MSE account $?)$ $\endgroup$
    – Lucian
    Jan 27 '15 at 23:04
  • $\begingroup$ @Luc, none of the above. I tried something (pen & paper, no computing), it didn't work, tried a few more things, got a better idea of how hard the problem was and just where the difficulties were, and eventually found a way to do it (although it would be nice to have someone confirm that what I've done works). $\endgroup$ Jan 28 '15 at 1:28
  • 1
    $\begingroup$ @GerryMyerson: Nice answer and even without using graphical tools a visually pleasing and informative representation! :-) +1 $\endgroup$
    – epi163sqrt
    Jan 28 '15 at 17:34
  • 1
    $\begingroup$ @GerryMyerson: Hi, I've added an answer as supplement to your answer. It might be of interest for you. Best regards, $\endgroup$
    – epi163sqrt
    Jan 28 '15 at 20:50
  • 2
    $\begingroup$ I just thought I would confirm your answer with a few pictures. The first is the fundamental domain of the tiling. The second is an idealised version of this labeling edge identifications. The third is what we get by cutting and pasting, leaving us with a parallelogram which closes in the usual way to a torus. $\endgroup$
    – Dan Rust
    Feb 3 '15 at 16:14
6
$\begingroup$

The following is a supplement to the nice answer of @GerryMyerson. It was inspired by the visually pleasing and inspiring representation of his solution.

When looking at his solution we can analyse

  • the $8$ hexagons with respect to symmetry
  • the tesselation with respect to the relationship between hexagons and their neighbours

We start with

Hexagons: Some symmetry considerations

Let's assume a hexagon $A$ is labelled as follows \begin{align*} A= \begin{matrix} &a&\\ b&&f\\ c&&e\\ &d&\\ \end{matrix} \end{align*} We want to analyse it with respect to certain symmetries. We can reflect it on a centered horizontal axis or on a centered vertical axis. Let's introduce corresponding operators $T_x$ and $T_y$. Applying these operators, we get \begin{align*} T_xA= \begin{matrix} &d&\\ c&&e\\ b&&f\\ &a&\\ \end{matrix}\qquad\qquad T_yA= \begin{matrix} &a&\\ f&&b\\ e&&c\\ &d&\\ \end{matrix}\qquad\qquad T_xT_yA= \begin{matrix} &d&\\ e&&c\\ f&&b\\ &a&\\ \end{matrix} \end{align*}

It's easy to see that other combinations of $T_x$ and $T_y$ provide no more information:

The following is valid: \begin{align*} T_xT_x=Id,\qquad T_yT_y=Id,\qquad T_xT_y=T_yT_x \end{align*} with $Id$ the identity operator $Id(A)=A$

Applying these operators to \begin{align*} A= \begin{matrix} &1&\\ 6&&2\\ 5&&3\\ &4&\\ \end{matrix} \end{align*} we obtain \begin{align*} T_xA= \begin{matrix} &4&\\ 5&&3\\ 6&&2\\ &1&\\ \end{matrix} =C\qquad\qquad T_yA= \begin{matrix} &1&\\ 2&&6\\ 3&&5\\ &4&\\ \end{matrix} =D\qquad\qquad T_xT_yA= \begin{matrix} &4&\\ 3&&5\\ 2&&6\\ &1&\\ \end{matrix} =B \end{align*} Similarly completing the $8$ hexagons of @GeryMyersons solution we get \begin{align*} E= \begin{matrix} &4&\\ 6&&3\\ 2&&5\\ &1&\\ \end{matrix} \qquad\qquad T_xT_yE= \begin{matrix} &4&\\ 2&&5\\ 6&&3\\ &1&\\ \end{matrix} =G\qquad\qquad \end{align*} and \begin{align*} F= \begin{matrix} &1&\\ 3&&6\\ 5&&2\\ &4&\\ \end{matrix} \qquad\qquad T_xT_yF= \begin{matrix} &4&\\ 2&&5\\ 6&&3\\ &1&\\ \end{matrix} =H\qquad\qquad \end{align*}

We conclude:

  • With respect to the reflection operators $T_x$ and $T_y$ there are three basis elements $A,E$ and $F$ and all other elements can be generated by applying $T_x$ resp. $T_y$ to them.

  • $A$ is the generator of four heaxagons, while $E$ and $F$ are the generators of two hexagons.

Summary: The eight hexagons are: \begin{align*} \begin{array}{llll} A,\qquad&B=T_xT_yA,\qquad&C=T_xA,\qquad&D=T_yA;\\ \\ E,\qquad&G=T_xT_yE;\qquad&F,\qquad&H=T_xT_yF\\ \end{array} \end{align*}

We proceed now with:

Tesselation: Analysing the neighbours of a hexagon

Let's start with the tesselation provided by @GerryMyerson and let's put the focus on the hexagon $E$ and its neighbours.

\begin{align*} \begin{matrix} A\quad&&C\quad&&A\quad&&C\\ &\color{blue}{\mathbf{F}}\quad&&H\quad&&\color{blue}{\mathbf{F}}\quad&&H\\ \color{blue}{\mathbf{B}}\quad&&\color{blue}{\mathbf{D}}\quad&&\color{blue}{\mathbf{B}}\quad&&\color{blue}{\mathbf{D}}\\ &\mathbf{E}\quad&&G\quad&&\mathbf{E}\quad&&G\\ \color{blue}{\mathbf{A}}\quad&&\color{blue}{\mathbf{C}}\quad&&\color{blue}{\mathbf{A}}\quad&&\color{blue}{\mathbf{C}}\\ &\color{blue}{\mathbf{F}}\quad&&H\quad&&\color{blue}{\mathbf{F}}\quad&&H\\ B\quad&&D\quad&&B\quad&&D\\ &E\quad&&G\quad&&E\quad&&G\\ \end{matrix} \end{align*}

The central hexagon $E$ and its surrounding hexagons are written in boldface, the surrounding also in color ${\color{blue}{\mathbb{\text{blue}}}}$. Observe, that the hexagons $G$ and $H$ are not neighbours of $E$. We now write the same pattern using the reflection operators $T_x$ and $T_y$ and check if we can see some relationship.

\begin{align*} \begin{matrix} A\quad&&T_xA\quad&&A\quad&&T_xA\\ &\color{blue}{\mathbf{F}}\quad&&T_xT_yF\quad&&\color{blue}{\mathbf{F}}\quad&&T_xT_yF\\ \color{blue}{\mathbf{T_xT_yA}}\quad&&\color{blue}{\mathbf{T_yA}}\quad&&\color{blue}{\mathbf{T_xT_yA}}\quad&&\color{blue}{\mathbf{T_yA}}\\ &\mathbf{E}\quad&&T_xT_yE\quad&&\mathbf{E}\quad&&T_xT_yE\\ \color{blue}{\mathbf{A}}\quad&&\color{blue}{\mathbf{T_xA}}\quad&&\color{blue}{\mathbf{A}}\quad&&\color{blue}{\mathbf{T_xA}}\\ &\color{blue}{\mathbf{F}}\quad&&T_xT_yF\quad&&\color{blue}{\mathbf{F}}\quad&&T_xT_yF\\ T_xT_yA\quad&&T_yA\quad&&T_xT_yA\quad&&T_yA\\ &E\quad&&T_xT_yE\quad&&E\quad&&T_xT_yE\\ \end{matrix} \end{align*}

So, what do we see?

  • The central hexagon $E$ is surrounded by all four hexagons $A,T_xA,T_yA$ and $T_xT_yA$ generated by $A$.
  • $E$ is connected to the other base element $F$ twice
  • $E$ is not connected to the element $G=T_xT_yE$ and so it's not connected to any element generated by $E$ itself.

Further questions which could be of interest:

  • Putting the other hexagons as center. What is the structure of the surrounding hexagons with respect to the reflection operators?

  • Do all possible tesselations need three base elements like $A,E$ and $F$ as it is used within this solution?

  • Is the partitioning of generated elements by the base elements always $(4,2,2)$?

  • Formulated the other way round: Can we easily generate new solutions by taking one center $\widetilde{A}$ and look for four surrounding neighbours $\widetilde{B},T_x\widetilde{B},T_y\widetilde{B}$ and $T_xT_y\widetilde{B}$ and add one other hexagon $\widetilde{C}$?

  • Is it reasonable to introduce additional operators besides $T_x$ and $T_y$ in order to reduce the number of base hexagons?


Note: OPs tessalation which is according to a comment from @RowanAshwin not expandable ad infinitum has the central hexagon \begin{align*} \begin{matrix} &1&\\ 2&&6\\ 3&&5\\ &4&\\ \end{matrix} \end{align*}

The six surrounding hexagons have top/bottom edges labelled with $$(2,6), (3,5), (4,2), (4,3), (5,1) \text{ and }(6,1).$$ Since the operator $T_x$ exchange top with bottom and $T_y$ leaves them unchanged we observe that all six surrounding hexagons and the central one are independent base elements.

Maybe this lack of symmetry is the reason that the tessalation cannot be expanded to the whole plane.

$\endgroup$
2
  • $\begingroup$ It seems to me that we use $A$ and its transforms a great deal because it contains more of the required numerical adjacency than any other arrangement. To get a more balanced usage of different forms it might be worth avoiding the hexagon with complete cyclic order - perhaps having just one switch from that order? $\endgroup$
    – Joffan
    Feb 5 '15 at 18:21
  • 1
    $\begingroup$ @Joffan: Your argument sounds reasonable. I've tried to address this aspect with my third question. A symmetric partitioning with respect to the base elements, e.g. $(3,3,3)$ suggests a labelling in direction to your proposal. Despite this vague opinion of mine, my visualsation capabilities for hex structures are absurdly weak. I'm trained to think in walks of typical lattice pathes, so adjacency props of hexagons are hard for me to imagine. My conclusion: A more systematic approach is necessary to cope with this problem. :-) $\endgroup$
    – epi163sqrt
    Feb 5 '15 at 19:52
2
$\begingroup$

This isn't so much a geometric problem about a hexagonal grid, this is very much a topological problem, specially a graph theory problem, involving an (infinite) graph, where the nodes are the vertices of the hexagonal grid and the edges are the edges.

The problem you present reminds me very much of edge colouring (http://en.wikipedia.org/wiki/Edge_coloring), except whereas colours have no particular order or structure, your "colours" (i.e. numbers) come from Z_6 ( i.e. the integers modulo 6 , i.e. the quotient group Z/6Z , i.e. {0, 1, 2, 3, 4, 5} with 5+1=0 ), and there are added restrictions of the "colouring" based on this group structure.

In fact, your problem isn't even restricted to tesselations in the plane. It can be abstracted to all "generalised polyhedra", which also includes such "tilings of polygons" as Euclidean polyhedra and hyperbolic tesselations. For instance, you could also ask the same question about the tiling of triangles on an icosahedron, or a tiling of pentagons where 4 pentagons meet at each vertex, even though such a regular tiling is impossible in the Euclidean plane. (http://en.wikipedia.org/wiki/List_of_regular_polytopes#Hyperbolic_tilings)

Perhaps this is the way to approach it, by looking at tesselations in this way, and starting at the simplest case and working out how to expand it into more complex ones.

Anyway way, that's just my initial thoughts. :)

$\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.