arXiv++ Combinatorics

The present paper is a new version of the arXiv paper revisiting the proof given in a previous paper of the author published in 2008 proving that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean plane, initially proved by Robert Berger in 1966. The present construction improves that of the recent arXiv paper. It also strongly reduces the number of prototiles.

In this third paper, we revisit the question to which extent the properties of the trees associated to the tilings $\{p,4\}$ of the hyperbolic plane are still true if we consider a finitely generated tree by the same rules but rooted at a black node? What happens if, considering the same distinction between black and white nodes but changing the place of the black son in the rules. What happens if we change the representation of the numbers by another set of digits? We tackle all of these questions in the paper. The present paper is an extension of the previous papers arXiv:1904.12135 and arXiv:1907.04677.

In this second paper, we look at the following question: are the properties of the trees associated to the tilings $\{p,4\}$ and $\{p$+$2,3\}$ of the hyperbolic plane still true if we consider a finitely generated tree by the same rules but rooted at a black node? The direct answer is no, but new properties arise, no more complex than in the case of a tree rooted at a white node, and worth of interest. The present paper is an extension of the previous paper: arXiv:1904.12135.