Related papers: The periodic domino problem is undecidable in the …
This article, written for undergraduate mathematics students, provides an accessible introduction to a few key problems in tiling theory: Heesch's problem, the isohedral number problem, and the existence of an aperiodic monotile. I…
Here are two problems. First, understand the dynamics of a tiling billiard in a cyclic quadrilateral periodic tiling. Second, describe the topology of connected components of plane sections of a centrally symmetric subsurface $S \subset…
Aperiodic tilings are non-periodic tilings defined by local rules. They are widely used to model quasicrystals, and a central question is to understand which of the non-periodic tilings are actually aperiodic. Among tilings, those by rhombi…
We study overdetermined problems for fully nonlinear elliptic equations in subdomains $\O$ of the Euclidean sphere $\mathbb{S}^{N}$ and the hyperbolic space $\mathbb{H}^{N}$. We prove, the existence of a classical solution to the underlined…
The hexagon is the least-perimeter tile in the Euclidean plane for any given area. On hyperbolic surfaces, this "isoperimetric" problem differs for every given area, as solutions do not scale. Cox conjectured that a regular $k$-gonal tile…
In the paper Planarity and Hyperbolicity in Graphs, the authors present the following conjecture: every tessellation of the Euclidean plane with convex tiles induces a non-hyperbolic graph. It is natural to think that this statement holds…
We prove, for every non-virtually free hyperbolic group $G$, that there is no algorithm that, given a finite collection of dominoes, determines whether the Cayley graph of $G$ may be edge-covered by these dominoes so that colours match at…
We construct nontrivial unbounded domains $\Omega$ in the hyperbolic space $\mathbb{H}^N$, $N \in \{2,3,4\}$, bifurcating from the complement of a ball, such that the overdetermined elliptic problem \begin{equation} -\Delta_{\mathbb{H}^N}…
In this study, the existence and uniqueness of the unpredictable solution for a non-homogeneous linear system of ordinary differential equations is considered. The hyperbolic case is under discussion. New properties of unpredictable…
We say that a tiling separates discs of a packing in the Euclidean plane, if each tile contains exactly one member of the packing. It is a known elementary geometric problem to show that for each locally finite packing of circular discs,…
In our article in MCU'2013 we state the the Domino problem is undecidable for all Baumslag-Solitar groups $BS(m,n)$, and claim that the proof is a direct adaptation of the construction of a weakly aperiodic subshift of finite type for…
Altenbernd, Thomas and W\"ohrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the B\"uchi and Muller ones [1]. It was proved…
We describe a method to classify crystallographic tilings of the Euclidean and hyperbolic planes by tiles whose stabiliser group contains translation isometries or whose topology is not that of a closed disk. We tackle this problem from two…
The paper is devoted to some extremal problems, related to convex polygons in the Euclidean plane and their perimeters. We present a number of results that have simple formulations, but rather intricate proofs. Related and still unsolved…
Tilings of a surface of negative Euler characteristic by n-gons with n\ge 7 is a finite problem. We develop the algorithm for finding all the tilings for fixed number of tiles and present the calculation for tilings of surfaces of small…
We prove the existence of nontrivial unbounded domains $\O$ in the Euclidean space $\R^d$ for which the Dirichlet eigenvalue problem for the Laplacian on $\Omega$ admits sign-changing eigenfunctions with constant Neumann values on $\partial…
Motivated by a model for the perception of textures by the visual cortex in primates, we analyse the bifurcation of periodic patterns for nonlinear equations describing the state of a system defined on the space of structure tensors, when…
Can the entire plane be paved with a single tile that forces aperiodicity? This is known as the ein Stein problem (in German, ein Stein means one tile). This paper presents an aperiodic monotile for the tiler. It is based on the monotile…
To study the fixed parameter undecidability of tiling problem for a set of Wang tiles, Jeandel and Rolin show that the tiling problem for a set of 44 Wang bars is undecidable. In this paper, we improve their result by proving that whether a…
We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems…