Skip to main content

Questions tagged [tiling]

For questions about mathematical tiling.

Filter by
Sorted by
Tagged with
1 vote
0 answers
59 views

On cutting tetrahedrons into mutually congruent pieces

Simple observations: A regular tetrahedron can be cut into 2 mutually congruent pieces (in 3 obvious ways which are all basically the same way, giving one and same pair of congruent pieces). The ...
Nandakumar R's user avatar
  • 5,571
0 votes
0 answers
63 views

Are there triangles that can be cut into 7 mutually congruent connected polygons?

First question below had appeared in a note at Triangles that can be cut into mutually congruent and non-convex polygons Following the results of Beeson quoted in the answer at Subdivision of ...
Nandakumar R's user avatar
  • 5,571
8 votes
1 answer
488 views

Tracking a reference: "Karl Scherer, A Puzzling Journey to the Reptiles and Related Animals"

I linked a paper by James Schmerl in a recent question which cites Karl Scherer, A Puzzling Journey to the Reptiles and Related Animals, Privately Published, 1987. I have had difficulty finding any ...
Kepler's Triangle's user avatar
15 votes
1 answer
453 views

Dividing a polyhedron into two similar copies

The paper Dividing a polygon into two similar polygons proves that there are only three families of polygons that are irrep-2-tiles (can be subdivided into similar copies of the original). Right ...
Kepler's Triangle's user avatar
1 vote
0 answers
50 views

'Self-similar and perfect' partitions of planar regions

Definition: A partition of a planar figure into finitely many pieces that are all similar to itself and also mutually non-congruent may be called a self-similar perfect partition. A classical example ...
Nandakumar R's user avatar
  • 5,571
4 votes
1 answer
407 views

Perfect squaring of rectangles

A perfect squaring of a rectangle may be defined as a partition of the rectangle into finitely many squares all of which are mutually non-congruent. https://en.wikipedia.org/wiki/Squaring_the_square ...
Nandakumar R's user avatar
  • 5,571
0 votes
0 answers
39 views

Trying to extend a theorem on Tiling with mutually non-congruent triangles

In the light of Cubing the cube - as 'perfectly' as possible, We try to slightly 'relax' the main theorem proved by Kupaavski, Pach and Tardos here: https://arxiv.org/pdf/1711.04504.pdf ...
Nandakumar R's user avatar
  • 5,571
4 votes
0 answers
88 views

Non-monotileable amenable groups

This is crossposted from MSE. We say a subset $A$ of a group $G$ is a monotile for $G$ if $G$ is a disjoint union of right translates of $A$. In his article Monotileable Amenable Groups, B. Weiss ...
Saúl RM's user avatar
  • 8,636
7 votes
0 answers
142 views

Cubing the cube - as 'perfectly' as possible

Ref: https://en.wikipedia.org/wiki/Squaring_the_square A perfect cubing of a cube is a partition of the cube into some finite number of smaller cubes that are pair-wise non-congruent. The above page ...
Nandakumar R's user avatar
  • 5,571
5 votes
0 answers
152 views

A puzzle with magic Egyptian tilings

Background I've recently been devising a puzzle that incorporates elements from Egyptian fractions, magic squares, and tilings. The objective of the puzzle is to tessellate a square with sides of ...
Max Muller's user avatar
  • 4,595
4 votes
0 answers
116 views

Hyponontiling Wang tiles

Call a finite collection of tiles that can tile the plane if we have to use each tile at least once tiling. Is there a collection of at least 3 tiles that is not tiling, but such that after removing ...
domotorp's user avatar
  • 18.3k
11 votes
1 answer
436 views

Examples of games developed purposely to analyze players' strategies for mathematics research

Background This question is about games that were created, developed, deployed and popularized1 by researchers because they wanted to learn more about some mathematical structure, and did so by ...
Max Muller's user avatar
  • 4,595
1 vote
1 answer
89 views

To place copies of a planar convex region such that number of 'contacts' among them is maximized

A contact between two planar convex regions obviously happens either along a line segment or at a single point. Question: Given a planar convex region $C$ and a number $n$, we need to lay out $n$ ...
Nandakumar R's user avatar
  • 5,571
1 vote
0 answers
92 views

Can a square be cut into non-right triangles that are mutually similar and pair-wise noncongruent?

We add a bit to Tiling the plane with pair-wise non-congruent and mutually similar triangles and Cutting polygons into mutually similar and non-congruent pieces A (non square) rectangle can obviously ...
Nandakumar R's user avatar
  • 5,571
4 votes
0 answers
171 views

Can a square be partitioned into mutually non-congruent triangles all of same area and perimeter?

It is known that the plane cannot be tiled by pair-wise non-congruent triangles all having same area and same perimeter (https://arxiv.org/abs/1711.04504). Question: Can a square be partitioned into ...
Nandakumar R's user avatar
  • 5,571
1 vote
0 answers
77 views

To tile the plane with mutually non-congruent rational triangles of equal area

We add a little to Tiling the plane with pairwise non-congruent rational triangles Question: Can the plane be tiled by pair-wise non-congruent rational triangles all of which have same area? If "...
Nandakumar R's user avatar
  • 5,571
2 votes
0 answers
64 views

Is this an actual solution for centroidal Voronoi tiling, or just a visual approximation? [closed]

For the capstone project at the end of my graduate Data Science studies in late 2022, I needed an algorithm that would converge to something close to centroidal Voronoi tiling, while tiling contiguous ...
Florin Andrei's user avatar
1 vote
0 answers
48 views

Does a substitution tiling being FLC depend on starting seed?

I've been trying to understand more on "geometric" substitutions rather than just symbolic ones. As symbolic substitutions always yield FLC tilings, I wanted to know whether a tiling coming ...
Keen-ameteur's user avatar
1 vote
1 answer
111 views

Recognizability/unique composition property for substitution tiling

This may be a very basic question, but I have not found an answer to it so far in my search. The question is whether there is an "algorithmic" way to check unique-composition/recognizability ...
Keen-ameteur's user avatar
12 votes
0 answers
162 views

Can the optimal packing density in $\mathbb{Z}^d$ be irrational?

For a finite $S \subset \mathbb{Z}^d$, let $d_p(S)$ be its optimal packing density. That is, the maximal lower asymptotic density of $A+S$, where $A \subset \mathbb{Z}^d$ is such that $(a_1+S)\cap (...
Arsenii Sagdeev's user avatar
2 votes
0 answers
93 views

Aperiodic SFT equal to a substitution subshift

I was wondering whether there are primitive symbolic substitutions over $\mathbb{Z}^d$ and alphabet $\mathcal{A}$ whose associated subshift is equal to an aperiodic SFT. By SFT here I mean a subshift ...
Keen-ameteur's user avatar
5 votes
0 answers
132 views

What is the tiling semigroup for an Einstein "hat" tiling?

My undergraduate dissertation was on inverse semigroups and the key text I used for it was Lawson's, "Inverse Semigroups: The Theory of Partial Symmetries". In said book, Lawson describes ...
Shaun's user avatar
  • 379
0 votes
0 answers
138 views

Chains in tilings with the aperiodic monotile

This is starting with any given infinite tiling of the plane by the aperiodic "hat" monotile, where chains of similarly oriented tiles are colored as in Figure 2.2 on p. 10 in the original ...
Wolfgang's user avatar
  • 13.2k
7 votes
1 answer
239 views

Decidability of completing Penrose tilings

Is the following problem known to be un/decidable? Problem: Given a finite configuration of Penrose tiles in the plane, determine if there is an extension of the configuration tiling the whole plane.
interstice's user avatar
0 votes
1 answer
209 views

Does $\mathbb{Z}\times\mathbb{Z}$ have an aperiodic monotile?

For any set $S\subseteq \mathbb{Z}\times\mathbb{Z}= \mathbb{Z}^2$ and $a\in \mathbb{Z}^2$, we set $a+S = \{a+s: s\in S\}$, where $+$ is the componentwise addition in $\mathbb{Z}^2$. Moreover, for any ...
Dominic van der Zypen's user avatar
4 votes
0 answers
69 views

Draw an arbitrary line on a Penrose tiling. Determine a sequence of tiles can it intersect

Let us consider a Penrose tiling of $\mathbb R^2$. Starting with an arbitrary point on the tiling, draw an arbitrary straight line. Assume that this straight line never overlaps perfectly with a ...
Darren Ong's user avatar
0 votes
1 answer
94 views

Tiling the plane with quadrilaterals that are mutually non-congruent and affine equivalent

Question: Can the plane be tiled with convex quadrilaterals that are (1) mutually non-congruent in a Euclidean sense and (2) mutually affine-equivalent? Remark: Every trapezoid is affine equivalent to ...
Nandakumar R's user avatar
  • 5,571
4 votes
0 answers
287 views

References and upper bounds for the SONNAT tiling game?

Introduction In a video released about a month ago, Pembesita describes1 a tiling game called SONNAT: Same Orientation Neighbour Not Allowed, Tiling. In the single-player game2, the player may employ ...
Max Muller's user avatar
  • 4,595
1 vote
0 answers
77 views

Periodic tilings in finite type tiling spaces and substitution tiling spaces

I was reviewing the following statement from a survey by E. Arthur Robinson about tilings in $\mathbb{R}^d$ to better understand geometric tiling rather than tilings over symbols. I consider the ...
Keen-ameteur's user avatar
0 votes
0 answers
39 views

Local complexity of tilings under substitutions

I am trying to read this survey of E. Arthur Robinson, about tilings of $\mathbb{R}^d$. I have some familiarity with 'symbolic' tilings, but I don't think I have a good intuition on 'geometric' ...
Keen-ameteur's user avatar
1 vote
0 answers
57 views

Counting problem, tiling rectangle with two types right isosceles triangle

How many ways are there to tile a rectangle of size $m\times n$ with two types of isosceles triangle, type 1 having area $\frac{1}{2}$ and type 2 having area 1? I know with only type 1 there are $2^{...
mendalan lor's user avatar
1 vote
0 answers
96 views

Tiling the plane with pair-wise non-congruent and mutually similar triangles

Question: Is it possible to tile the plane with triangles that are (1) mutually similar, (2) pairwise non-congruent and (3)non-right? No other constraints. Note 1: Reg requirement 3 above: since any ...
Nandakumar R's user avatar
  • 5,571
9 votes
4 answers
1k views

Tiling the plane with pairwise non-congruent rational triangles

A rational triangle is one in which all side lengths are rational numbers. Question: Can we tile the Euclidean plane with rational triangles that are pairwise non-congruent? No further requirements on ...
Nandakumar R's user avatar
  • 5,571
6 votes
2 answers
647 views

Is there an L-system for aperiodic tilings of the plane with the "hat" monotile?

Most aperiodic tilings of the plane, except possibly for spiral tilings like the Voderberg tiling, exhibit a fractal pattern of self-similarity. This is no exception for the recently discovered "...
Wolfgang's user avatar
  • 13.2k
1 vote
1 answer
153 views

Tiling the hyperbolic plane by non-regular quadrilaterals

We add a bit to Which polygons tessellate the hyperbolic plane?. Question: Are there hyperbolic quadrilaterals with all angles different (not necessarily irrational fractions of π) that tile the ...
Nandakumar R's user avatar
  • 5,571
5 votes
1 answer
412 views

On the aperiodic monotile

One of the more mind-boggling aspects of the Penrose tiles is that there are uncountably many distinct tilings of the plane, but every tiling contains every finite region that appears in another ...
Jim Conant's user avatar
  • 4,838
22 votes
1 answer
1k views

Aperiodic monotile without reflections?

The recently discovered amazing aperiodic monotile (or "einstein") of David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss tiles the plane only if reflections of the ...
Timothy Chow's user avatar
  • 79.3k
17 votes
1 answer
568 views

Aperiodic monotile in $\mathbb{R}$

Motivation. Recently a group of researchers found an aperiodic monotile in $\mathbb{R}^2$, answering a long-standing question. There are many results in higher dimensions, so let's explore the lower ...
Dominic van der Zypen's user avatar
14 votes
5 answers
2k views

How can one construct a four-coloring of a tiling of the plane with Smith, Myers, Kaplan, and Goodman-Strauss's aperiodic monotile?

This is motivated by the new paper of Smith, Myers, Kaplan, and Goodman-Strauss, wherein they define the existence of an aperiodic monotile. Clearly their tiling is not three-colorable, so we have ...
Lucas Blakeslee's user avatar
10 votes
0 answers
864 views

Are aperiodic monotiles generalizable to higher dimensions?

This question is motivated by a recently released paper written by David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss. It constructs the first topological disk that tiles the ...
Nicholas James's user avatar
34 votes
1 answer
3k views

Can we three-color a tiling of the plane with Smith, Meyers, Kaplan, and Goodman-Strauss's einstein?

The tiling world is a bit aflutter recently with the drop of Smith, Meyers, Kaplan, and Goodman-Strauss's paper showing an einstein - a simply-connected polygon - that must aperiodically tile the ...
Mark S's user avatar
  • 2,133
2 votes
2 answers
108 views

Reference request: Cut-and-project method gives rise to a fiber bundle over the torus

I apologize in advance for how vague this request is. A few weeks ago, I came upon a paper that (if I recall correctly) proves that the hull of a cut-and-project tiling is a fiber bundle over a torus. ...
Kyle's user avatar
  • 243
3 votes
2 answers
388 views

An "incomplete" tiling?

Given an $m\times n$ chess board, we place $p$ $2\times 1$ dominoes on the board so that they don't overlap. How many ways can we place them? When each square of the board is covered by a domino this ...
Jiyuan Zhang's user avatar
1 vote
1 answer
67 views

Computing admissible patches of a substitution

I have been recently trying to look at substitution tilings with finite local complexity by examining their admissible patch\pattern atlas, which is sometimes called their language. I have also seen ...
Keen-ameteur's user avatar
1 vote
0 answers
95 views

What is the example of a circle being filled with congruent tiles (not pie slices), with no overlap of the tiles and and no space left?

I think I read somewhere that at one time it was thought the only way to lay tiles that would fill a circle with no overlap of the tiles and no exposed space in the cirlce, was to lay pieces that ...
Peter's user avatar
  • 11
1 vote
0 answers
37 views

Tiling the hyperbolic plane with mutually-non congruent equal area triangles

This post continues On tiling the plane with non-congruent, equal area triangles with each edge having a unique length Can the hyperbolic plane be tiled by pair-wise non-congruent equal area ...
Nandakumar R's user avatar
  • 5,571
1 vote
0 answers
46 views

Kissing behavior of planar regions

This post reworks a question that was stated in a slightly different form at Convex region $C$ with least kissing number of copies of $C$. Background: Given a 2D region $C$ (not necessarily convex), ...
Nandakumar R's user avatar
  • 5,571
8 votes
1 answer
239 views

For which $n$ does a y-formed $n$-polyomino tile a $n \times n \times n$-cube?

I got from my children as a gift a puzzle consisting of 25 y-shaped 5-polyominoes that form a $5 \times 5 \times 5$-cube (see picture). I'm wondering for which $n$ does a y-formed $n$-polyomino tile a ...
Andreas Rüdinger's user avatar
1 vote
2 answers
92 views

A variation of domino tiling problem with fusions

I know several specific variations of the domino tiling problem has been determined to be decidable or undecidable, such as the seed domino problem. I have a variation which I have not been able to ...
Keen-ameteur's user avatar
2 votes
1 answer
117 views

Reference on relation between SFTs and Wang-tiles

I've been looking at several papers which allude to a relation between SFTs. Namely, given an SFT $\Omega \subseteq \mathcal{A}^{\mathbb{Z}^2}$ with allowed patches $\mathcal{F}$, we can associate a ...
Keen-ameteur's user avatar

1
2 3 4 5 6