Hyperbolic polyforms

Higher-dimensional geometry (previously "Polyshapes").

Hyperbolic polyforms

Postby Marek14 » Wed Dec 19, 2018 8:56 am

Recently, I have accidentally found a technique how to search for isohedral polyform tilings (i.e. tilings that look identical from the point of view of each tile). The technique is robust enough to work not only in Euclidean space but also in hyperbolic tilings.

But I found something weird when exploring the polyforms in {3,7}. Shapes made out of two, four or six triangles in that tiling don't seem to be capable of tiling the whole hyperbolic plane. Shapes made from ODD number of triangles, on the other hand, work. I can't figure out why that would be.

To make it even weirder, I have found ONE exception to this: if you join two triangles together, and then add one more triangle to each exposed face, the resulting shape CAN tile the plane... but it's impossible to orient them consistently.

By this I mean, that for these tilings in general, even if the tile itself is symmetrical, you can pick a particular orientation for each one and the tiling will stay isohedral even after these choices are made -- the tiles can be treated as asymmetrical, even if they are actually not. Not here.

The tiling in question is attached -- as you can see, it's isomorphic to {4,7}.
Attachments
3-7-hexaform.png
(694.3 KiB) Not downloaded yet
Marek14
Pentonian
 
Posts: 1131
Joined: Sat Jul 16, 2005 6:40 pm

Re: Hyperbolic polyforms

Postby wendy » Fri Dec 21, 2018 9:17 am

In tilings of the form {3,3p}, it is possible to construct polycells of any given size, because {3,3p} divides into a tiling of triangle-stripes, where there is an unbroken Petrie zigzag in every stripe. Thus a tiling containing exactly 3 or 5 or 7 etc triangles is possible. Such cells are convex.

A similar result would befall something like {4,6}, where strips of opposite squares would form a convex region, with three of these cells at a corner.

It should be noted that the tiling of pentimos is not exactly a match for what we might call a regular tiling.
The dream you dream alone is only a dream
the dream we dream together is reality.

\(Latex\) at https://greasyfork.org/en/users/188714-wendy-krieger
User avatar
wendy
Pentonian
 
Posts: 1896
Joined: Tue Jan 18, 2005 12:42 pm
Location: Brisbane, Australia

Re: Hyperbolic polyforms

Postby ubersketch » Sun Jan 06, 2019 2:57 am

That’s actually kinda weird. Perhaps there is a generalization to all regular hyperbolic tilings? Also I see you’re having fun with HyperRogue.
User avatar
ubersketch
Trionian
 
Posts: 143
Joined: Thu Nov 30, 2017 12:00 am

Re: Hyperbolic polyforms

Postby Marek14 » Sun Jan 06, 2019 5:59 am

ubersketch wrote:That’s actually kinda weird. Perhaps there is a generalization to all regular hyperbolic tilings? Also I see you’re having fun with HyperRogue.


Well, yeah. It has some neat research tools.
Marek14
Pentonian
 
Posts: 1131
Joined: Sat Jul 16, 2005 6:40 pm

Re: Hyperbolic polyforms

Postby ubersketch » Tue Jan 08, 2019 11:55 pm

Marek14 wrote:
ubersketch wrote:That’s actually kinda weird. Perhaps there is a generalization to all regular hyperbolic tilings? Also I see you’re having fun with HyperRogue.


Well, yeah. It has some neat research tools.

Haven't got around to playing with it yet. Of course I have played the main game which is one of my favorite roguelikes. (even if it wasn't roguelike it'd still be really unique)
User avatar
ubersketch
Trionian
 
Posts: 143
Joined: Thu Nov 30, 2017 12:00 am

Re: Hyperbolic polyforms

Postby Marek14 » Tue Jul 23, 2019 11:58 am

I'm experimenting with a notation for "abstract polyforms" -- a way to specify a polyform made out of regular polygons in arbitrary {p,q} tiling. It looks like this:

A polyform is a sequence of numbers. A single triangle is 1,1,1. A single square is 1,1,1,1, a single polygon in general is n 1's.

Adding another n-gon is equivalent to "increase two adjacent numbers in the sequence by 1, then add (n-2) 1's between them".

A polyform is a cyclic sequence of numbers, so by moving the numbers around and/or reflecting the sequence, we can reach the lexicographically minimal sequence; this makes it easy to check whether two polyforms are identical.

Finally, there's the operation of "closing" a vertex. This occurs if number q appears in a sequence that is supposed to be in a {p,q} tiling. In this situation, the number is erased and both adjacent numbers are replaced by a single number that is their sum (which can trigger another closing operation). Polyforms with closed vertices are no longer abstract; they can now exist only in a single tiling.

One thing that this notation can't deal with are polyforms with holes, and I'd like to extend the notation there, but since I want to use it primarily to tile the Euclidean or hyperbolic plane with polyforms and shapes with holes cannot really work as tiles, it doesn't seem too bad.
Marek14
Pentonian
 
Posts: 1131
Joined: Sat Jul 16, 2005 6:40 pm

Re: Hyperbolic polyforms

Postby Marek14 » Thu Jul 25, 2019 11:11 am

So, this is interesting.

In {3,7}, there are many possible uniform coverings that use polyforms made out of 3, 5, or 7 triangles. There's only one with 6, and now, as it turns out, there is only one with 8-triangle polyform. Just look at it -- there seems to be no logical reason why this shape works and none of the others does.
Attachments
37-8-B1123111131cm_half.jpg
(163.42 KiB) Not downloaded yet
Marek14
Pentonian
 
Posts: 1131
Joined: Sat Jul 16, 2005 6:40 pm

Re: Hyperbolic polyforms

Postby Marek14 » Tue Aug 06, 2019 7:50 am

I made some more complex checks and I now have results for Catalan tilings of all possible triangular polyforms up to 8 triangles and squares up to 5 in tilings {3,q} and {4,q} for q<=20.
Marek14
Pentonian
 
Posts: 1131
Joined: Sat Jul 16, 2005 6:40 pm


Return to Other Geometry

Who is online

Users browsing this forum: No registered users and 1 guest