View source for Binary tiling

{{Short description|Tiling of the hyperbolic plane}}
{{good article}}
{{Use dmy dates|cs1-dates=ly|date=September 2024}}
{{Use list-defined references|date=September 2024}}
{{CS1 config|mode=cs1}}
[[File:Hyperbolic binary tiling.png|alt=Binary tiling on Poincare disk|thumb|A binary tiling in the [[Poincaré disk model]] of the [[hyperbolic plane]]. Each tile edge lies on a [[horocycle]] (shown as circles interior to the disk) or a hyperbolic line (arcs perpendicular to the disk boundary). The horocycles and lines are asymptotic to an [[ideal point]] located at the right side of the Poincaré disk.]]

In [[geometry]], a '''binary tiling''' (sometimes called a '''Böröczky tiling'''){{r|df}} is a [[tiling of the hyperbolic plane]], resembling a [[quadtree]] over the [[Poincaré half-plane model]] of the hyperbolic plane. The tiles are congruent, each adjoining five others. They may be convex [[pentagon]]s, or non-convex shapes with four sides, alternatingly line segments and [[horocycle|horocyclic]] arcs, meeting at four right angles.

There are uncountably many distinct binary tilings for a given shape of tile. They are all weakly [[aperiodic tiling|aperiodic]], which means that they can have a one-dimensional [[symmetry group]] but not a two-dimensional family of symmetries. There exist binary tilings with tiles of arbitrarily small area.

Binary tilings were first studied mathematically in 1974 by {{ill|Károly Böröczky|hu|Böröczky Károly (matematikus, 1964)}}. Closely related tilings have been used since the late 1930s in the [[Smith chart]] for radio engineering, and appear in a 1957 print by [[M. C. Escher]].

==Tiles==
[[File:1rm60rt0t rtbcwh.jpg|thumb|upright|Square tiles in a bathroom]]
A [[Tessellation|tiling]] of a [[surface]] is a covering of the surface by [[geometric shape]]s, called tiles, with no overlaps and no gaps. An example is the familiar tiling of the [[Euclidean plane]] by [[square]]s, meeting edge-to-edge,{{r|adams}} as seen for instance in many bathrooms.{{sfnp|Adams|2022|p=232}} When all the tiles have the same shape and size (they are all [[Congruence (geometry)|congruent]]), the tiling is called a [[monohedral tiling]], and the shape of the tiles is called the [[prototile]] of the tiling.{{r|adams}} The binary tilings are monohedral tilings of the [[hyperbolic plane]], a kind of [[non-Euclidean geometry]] with different notions of length, area, congruence, and symmetry than the Euclidean plane.{{r|radin}}

Two common models for the hyperbolic plane are the [[Poincaré disk model]] and [[Poincaré half-plane model]]. In these, the points of the hyperbolic plane are modeled by points in the Euclidean plane, in an open disk or the half-plane above a horizontal line respectively. Hyperbolic lines are modeled by those Euclidean circles and lines that cross the model's boundary [[perpendicular]]ly. The boundary points of the model are called [[ideal point]]s, and a hyperbolic line through an ideal point is said to be ''asymptotic'' to it. The half-plane model has one more ideal point, the [[point at infinity]], asymptotic to all vertical lines. Another important class of hyperbolic curves, called [[horocycle]]s, are modeled as circles that are tangent to the boundary of the model, or as horizontal lines in the half-plane model. Horocycles are asymptotic to their point of tangency, or to the point at infinity if they have none.{{r|rr|stahl}}

In one version of binary tiling, each tile is a shape bounded by two hyperbolic lines and two horocycles. These four curves should be asymptotic to the same ideal point, with the two horocycles at hyperbolic distance <math>\log 2</math> from each other. With these choices, the tile has four right angles, like a rectangle, with its sides alternating between segments of hyperbolic lines and arcs of horocycles. The choice of <math>\log 2</math> as the distance between the two horocycles causes one of the two arcs of horocycles (the one farther from the asymptotic point) to have twice the hyperbolic length of the opposite arc. Copies of this shape, meeting edge-to-edge along their line segment sides, can tile the slab or crescent shaped region between two horocycles. A nested family of these slabs or crescents can then tile the entire hyperbolic plane, lined up so that the long arc of each tile in one slab is covered by the short arcs of two tiles in the next slab. The result is a binary tiling.{{r|df}}

[[File:Binary Tiling.png|thumb|A portion of a binary tiling displayed in the [[Poincaré half-plane model]]. The horizontal lines correspond to horocycles in the hyperbolic plane, and the vertical line segments correspond to hyperbolic lines.]]
In the [[Poincaré half-plane model]] of hyperbolic geometry, each tile can be modeled as an axis-parallel square or rectangle.{{r|radin|fg}} In this model, rays through the vertical sides of a tile model hyperbolic lines, asymptotic to the point at infinity, and lines through the horizontal sides of a tile model horocycles, asymptotic to the same point.{{r|rr}} The hyperbolic length of an arc of a horizontal horocycle is its Euclidean length divided by its <math>y</math>-coordinate, while the hyperbolic distance between points with the same <math>x</math>-coordinate is the [[logarithm]] of the ratio of their <math>y</math>-coordinates.{{r|stahl}} From these facts one can calculate that successive horocycles of a binary tiling, at hyperbolic distance <math>\ln 2</math>, are modeled by horizontal lines whose Euclidean distance from the <math>x</math>-axis doubles at each step, and that the two bottom half-arcs of a binary tile each equal the top arc.

[[File:Binary tiling straight.svg|thumb|Binary tiling with [[pentagonal tiling|convex pentagon tiles]], in the Poincaré half-plane model.]]
An alternative and combinatorially equivalent version of the tiling places its vertices at the same points, but connects them by hyperbolic line segments instead of arcs of horocycles, so that each tile becomes a hyperbolic convex pentagon. This makes the tiling a proper [[pentagonal tiling]].{{r|fg|kari}} The hyperbolic lines through the non-vertical sides of these tiles are modeled in the half-plane model by semicircles centered on the <math>x</math>-axis, and the sides form arcs of these semicircles.{{r|stahl}}
{{-}}

==Enumeration and aperiodicity==
[[File:Binary-tiling-asymmetry.svg|thumb|No symmetry of the binary tiling takes the blue tile (in a middle position relative to the yellow tile two levels above it) to the red tile (in an outer position).]]
In the square tiling of the Euclidean plane, every two tiles are positioned in the same way: there is a symmetry of the whole tiling (a [[translation (geometry)|translation]]) that takes one tile to the other. But a binary tiling does not have symmetries that take every tile to every other tile. For instance, for the four tiles two levels below any given tile, no symmetry takes a middle tile to an outer tile. Further, there is only one way of tiling the Euclidean plane by square tiles that meet edge-to-edge, but there are uncountably many edge-to-edge binary tilings.{{r|df}} The prototile of the binary tiling can be modified to force the tiling to be edge-to-edge, by adding small protrusions to some sides and matching indentations to others.{{r|radin}}

Some binary tilings have a one-dimensional infinite symmetry group. For instance, when a binary tiling is viewed in the half-plane model, it may be possible to [[Scaling (geometry)|scale]] the model by any [[power of two]] without changing the tiling. When this is possible, the tiling has infinitely many symmetries, one for each power of two.{{r|df}} However, no binary tiling has a two-dimensional symmetry group. This can be expressed mathematically by saying that it is not possible to find a finite set of tiles such that all tiles can be mapped to the finite set by a symmetry of the tiling. More technically, no binary tiling has a [[Cocompact group action|cocompact]] symmetry group.{{r|radin}}

As a tile all of whose tilings are not fully periodic, the [[prototile]] of a binary tiling solves an analogue of the {{not a typo|<!-- lowercase is intentional -->[[einstein problem]]}} in the hyperbolic plane. This problem asks for a single prototile that tiles only aperiodically; long after the discovery of the binary tilings, it was solved in the Euclidean plane by the discovery of the "hat" and "spectre" tilings. However, the binary tilings are only ''weakly aperiodic'', meaning that no tiling has a two-dimensional group of symmetries. Because they can have one-dimensional symmetries, the binary tilings are not ''strongly aperiodic''.{{r|einstein}}

In binary tilings, more strongly than having all tiles the same shape, all [[Heesch's problem|first coronas]] of tiles have the same shape (possibly after a reflection). The first corona is the set of tiles touching a single central tile. Here, coronas are considered the same if they are reflections of each other. For tilings of the Euclidean plane, having all first coronas the same implies that the tiling is periodic and [[isohedral tiling|isohedral]], meaning that all tiles are symmetric to each other. The binary tilings show that, in the hyperbolic plane, a tiling can have congruent coronas without being isohedral.{{r|ds}}

[[File:Binary-tiling-dual.svg|thumb|A binary tiling (red outline) and its dual tiling (yellow curved triangles and blue and green curved quadrilaterals)]]
The [[dual tiling]]s of the binary tilings are formed by choosing a reference point within each tile of a binary tiling, and connecting pairs of reference points of tiles that share an edge with each other. They are not monohedral: the binary tilings have vertices where three or four tiles meet, and correspondingly the dual tilings have some tiles that are triangles and some tiles that are quadrilaterals. The fact that the binary tilings are non-periodic but monohedral (having only one tile shape) translates an equivalent fact about the dual tilings: they are non-periodic but ''monocoronal'', having the same pattern of tiles surrounding each vertex.{{r|fg}}
{{-}}

==Applications==
[[File:Binary tiling density.svg|thumb|upright=1.1|Is the average number of red points per tile 1/3 (left) or 2/3 (right)?]]
Binary tilings were first studied mathematically in 1974 by {{ill|Károly Böröczky|hu|Böröczky Károly (matematikus, 1964)}}.{{r|radin|agol|bor}} Böröczky was investigating the density of a discrete planar point set, the average number of points per unit area. This quantity is used, for instance, to study [[Danzer set]]s. For points placed one per tile in a [[monohedral tiling]] of the Euclidean plane, the density is inverse to the tile area. But for the hyperbolic plane, paradoxical issues ensue.{{r|radin|bor}} The tiles of a binary tiling can be grouped into three-tile subunits, with each subunit consisting of one tile above two more (as viewed in the Poincaré half-plane model). Points centered within the upper tile of each subunit have one point per subunit, for an apparent density equal to one third of the area of a binary tile. However, the same points and the same binary tiling can be regrouped in a different way, with two points per subunit, centered in the two lower tiles of each subunit, with two times the apparent density. This example shows that it is not possible to determine the density of a hyperbolic point set from tilings in this way.{{r|bor|bowen}}

Another application involves the area of tiles in a monohedral tiling.
In defining the binary tilings, there is a free parameter, the distance between the vertical sides of the tiles. All tiles in a single tiling have equal hyperbolic areas, but if this distance changes, the (equal) area of all the tiles will also change, in proportion. Choosing this distance to be arbitrarily small shows that the hyperbolic plane has tilings by congruent tiles of arbitrarily small area.{{r|agol}}

[[Jarkko Kari]] has used a system of colorings of tiles from a binary tiling, analogous to [[Wang tile]]s, to prove that determining whether a given system of hyperbolic [[prototile]]s can tile the hyperbolic plane is an [[undecidable problem]].{{r|kari}} Subdivisions of a binary tiling that replace each tile by a [[grid graph]] have been used to obtain tight bounds on the [[Fine-grained reduction|fine-grained complexity]] of [[graph algorithm]]s.{{r|kmvww}} Recursive [[data structure]]s resembling quadtrees, based on binary tiling, have been used for approximate [[nearest neighbor problem|nearest neighbor queries]] in the hyperbolic plane.{{r|kbvw}}

==Related patterns==
{{multiple image|total_width=540
|image1=Escher RDP6 analysis.svg|caption1=Structure of [[M. C. Escher|Escher's]] ''Regular Division of the Plane VI''
|image2=Smith chart gen.svg|thumb|caption2=A [[Smith chart]]
|image3=Baumslag-Solitar Cayley 3D.svg|caption3=Four sheets from the [[Cayley graph]] of the [[Baumslag–Solitar group]] <math>BS(1,2)</math>
}}
A 1957 print by [[M. C. Escher]], ''Regular Division of the Plane VI'', has this tiling as its underlying structure, with each square tile of a binary tiling (as seen in its quadtree form) subdivided into three [[isosceles right triangle]]s.{{r|escher}} It is one of several Escher prints based on the half-plane model of the hyperbolic plane.{{r|dunham}} The print itself replaces each triangle by a stylized lizard.{{r|escher}}

The [[Smith chart]], a graphical method of visualizing parameters in [[radio engineering]], resembles a binary tiling on the [[Poincaré disk model]] of the hyperbolic plane, and has been analyzed for its connections to hyperbolic geometry and to Escher's hyperbolic tilings.{{r|gupta}} It was first developed in the late 1930s by Tōsaku Mizuhashi,{{r|mizu}} [[Phillip Hagar Smith]],{{r|smith}} and Amiel R. Volpert.{{r|volpert}}

The [[Cayley graph]] of the [[Baumslag–Solitar group]] <math>BS(1,2)</math>, has the group elements as vertices, connected by edges representing multiplication by this group's standard generating elements. This graph can be decomposed into "sheets", whose vertices and edges form a binary tiling. At each level of a binary tiling, there are two choices for how to continue the tiling at the next higher level. Any two sheets will coincide for some number of levels until separating from each other by following different choices at one of these levels, giving the sheets the structure of an infinite binary tree.{{r|cfm|as}}

[[File:H2-I-3-dual.svg|thumb|Each face in this [[order-3 apeirogonal tiling]] (shown in the Poincaré disk model) can be replaced by part of a binary tiling as modified by Radin.{{r|radin}}]]
A related tiling of the hyperbolic plane by [[Roger Penrose]] can be interpreted as being formed by adjacent pairs of binary tiles, one above the other, whose unions form L-shaped tiles. Like binary tiling, it is weakly aperiodic.{{r|penrose}} [[Charles Radin]] describes another modification to the binary tiling in which an angular bump is added to the two lower sides of each tile, with a matching indentation cut from the upper side of each tile. These modified tiles can form the usual binary tilings, but they can also be used to form different tilings that replace each face of an [[apeirogonal tiling]] by the subset of a binary tiling that lies inside a horocycle. (For horizontal horocycles in the Poincaré half-plane, the inside is above the horocycle.) These mixed binary and apeirogonal tilings avoid the density paradoxes of the binary tiling.{{r|radin}}

The [[dual graph]] of a binary tiling has a vertex for each tile, and an edge for each pair of tiles that share an edge. It takes the form of an infinite [[binary tree]] (extending infinitely both upwards and downwards, without a root) with added side-to-side connections between tree nodes at the same level as each other.{{r|df}} An analogous structure for finite [[complete binary tree]]s, with the side-to-side connections at each level extended from paths to cycles, has been studied as a [[network topology]] in [[parallel computing]], the ''ringed tree''.{{r|xtree}} Ringed trees have also been studied in terms of their [[Hyperbolic metric space|hyperbolic metric properties]] in connection with [[small-world network]]s.{{r|cfhm}}
Omitting the side-to-side connections gives an embedding of an infinite binary tree as a [[hyperbolic tree]].{{r|kbvw}}
{{-}}

==See also==
*[[Tetrapentagonal tiling]], a periodic tiling of the hyperbolic plane by pentagons

== References ==
{{reflist|refs=

<ref name=adams>{{cite book|title=The Tiling Book: An Introduction to the Mathematical Theory of Tilings|first=Colin|last=Adams|publisher=American Mathematical Society|year=2022|isbn=9781470468972|pages=[https://books.google.com/books?id=LvGGEAAAQBAJ&pg=PA21 21–23]}}</ref>

<ref name=agol>{{cite web|first=Ian|last=Agol|authorlink=Ian Agol|title=Smallest tile to tessellate the hyperbolic plane|url=https://mathoverflow.net/q/291453|work=[[MathOverflow]]|date=January 26, 2018}}</ref>

<ref name=as>{{cite journal
 | last1 = Aubrun | first1 = Nathalie
 | last2 = Schraudner | first2 = Michael
 | arxiv = 2012.11037
 | journal = Comptes Rendus Mathématique Acad. Sci. Paris
 | mr = 4753921
 | pages = 553–580
 | title = Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups <math>BS(1,2)</math>
 | volume = 362
 | year = 2024| doi = 10.5802/crmath.571
 }}</ref>

<ref name=bor>{{cite journal
| last = Böröczky | first = Károly | journal = Matematikai Lapok | pages = 265–306 | title = Gömbkitöltések állandó görbületű terekben I | volume = 25 | year = 1974 |language=hu | url=http://real-j.mtak.hu/9373/}} As cited by Radin.</ref>

<ref name=bowen>{{cite thesis
 | last = Bowen | first = Lewis Phylip
 | publisher = University of Texas at Austin
 | title = Density in hyperbolic spaces
 | type = Ph.D. thesis
 | hdl = 2152/10916
 | year = 2002}} See section 1.2.4, "Böröczky’s packing", pp. 14–19.</ref>

<ref name=cfhm>{{cite journal
 | last1 = Chen | first1 = Wei
 | last2 = Fang | first2 = Wenjie
 | last3 = Hu | first3 = Guangda
 | last4 = Mahoney | first4 = Michael W.
 | arxiv = 1201.1717
 | doi = 10.1080/15427951.2013.828336
 | issue = 4
 | journal = Internet Mathematics
 | mr = 3173786
 | pages = 434–491
 | title = On the hyperbolicity of small-world and treelike random graphs
 | volume = 9
 | year = 2013}}</ref>

<ref name=cfm>{{cite journal
 | last1 = Cook | first1 = Briana
 | last2 = Freden | first2 = Eric M.
 | last3 = McCann | first3 = Alisha
 | doi = 10.1007/s10711-004-2304-3
 | journal = [[Geometriae Dedicata]]
 | mr = 2112672
 | pages = 153–162
 | title = A simple proof of a theorem of Whyte
 | volume = 108
 | year = 2004}}</ref>

<ref name=df>{{Cite journal|last1=Dolbilin|first1=Nikolai|last2=Frettlöh|first2=Dirk|title=Properties of Böröczky tilings in high-dimensional hyperbolic spaces|url=https://www.math.uni-bielefeld.de/baake/frettloe/papers/hyp-art-final.pdf|journal=[[European Journal of Combinatorics]]|date=2010 |volume=31|issue=4|pages=1181–1195|doi=10.1016/j.ejc.2009.11.016|arxiv=0705.0291}}</ref>

<ref name=ds>{{cite journal
 | last1 = Dolbilin | first1 = Nikolai
 | last2 = Schulte | first2 = Egon
 | date = June 2004
 | doi = 10.37236/1864
 | issue = 2
 | journal = Electronic Journal of Combinatorics
 | mr = 2120102
 | at = Research Paper 7
 | title = The local theorem for monotypic tilings
 | volume = 11| doi-access = free
 }}</ref>

<ref name=dunham>{{cite conference
 | last = Dunham | first = Douglas
 | editor-last = Bruter | editor-first = Claude
 | contribution = M. C. Escher's use of the Poincaré models of hyperbolic geometry
 | contribution-url = https://www.math-art.eu/Documents/pdfs/Dunham.pdf
 | doi = 10.1007/978-3-642-24497-1_7
 | isbn = 9783642244971
 | pages = 69–77
 | publisher = Springer
 | title = Mathematics and Modern Art: Proceedings of the First ESMA Conference, held in Paris, July 19–22, 2010
 | series = Springer Proceedings in Mathematics
 | year = 2012| volume = 18
 }}</ref>

<ref name=einstein>{{cite journal
 | last1 = Smith | first1 = David | author1-link = David Smith (amateur mathematician)
 | last2 = Myers | first2 = Joseph Samuel
 | last3 = Kaplan | first3 = Craig S. | author3-link = Craig S. Kaplan
 | last4 = Goodman-Strauss | first4 = Chaim | author4-link = Chaim Goodman-Strauss
 | arxiv = 2303.10798
 | issue = 1
 | journal = [[Combinatorial Theory (journal)|Combinatorial Theory]]
 | mr = 4770585
 | article-number = 6
 | title = An aperiodic monotile
 | volume = 4
 | year = 2024| doi = 10.5070/C64163843 }}</ref>

<ref name=escher>{{cite book|title=Escher on Escher: Exploring the Infinite|first=M. C.|last=Escher|author-link=M. C. Escher|year=1989|publisher=Harry N. Abrams Inc.|translator-first=Karin|translator-last=Ford|isbn=0-8109-2414-5|contribution=The regular division of the plane|pages=90–122}} See especially text describing ''Regular Division of the Plane VI'', pp. 112 & 114, schematic diagram, p. 116, and reproduction of the print, p. 117.</ref>

<ref name=fg>{{cite journal
 | last1 = Frettlöh | first1 = Dirk
 | last2 = Garber | first2 = Alexey
 | arxiv = 1402.4658
 | doi = 10.46298/dmtcs.2142
 | issue = 2
 | journal = [[Discrete Mathematics & Theoretical Computer Science]]
 | mr = 3411398
 | pages = 203–234
 | title = Symmetries of monocoronal tilings
 | volume = 17
 | year = 2015}}</ref>

<ref name=gupta>{{cite journal
 | last = Gupta | first = Madhu S.
 | date = October 2006
 | doi = 10.1109/mw-m.2006.247916
 | issue = 5
 | journal = IEEE Microwave Magazine
 | pages = 66–76
 | title = Escher's art, Smith chart, and hyperbolic geometry
 | volume = 7}}</ref>

<ref name=kari>{{cite conference
 | last = Kari | first = Jarkko | author-link = Jarkko Kari
 | editor1-last = Durand-Lose | editor1-first = Jérôme Olivier
 | editor2-last = Margenstern | editor2-first = Maurice
 | contribution = The tiling problem revisited (extended abstract)
 | doi = 10.1007/978-3-540-74593-8_6
 | pages = 72–79
 | publisher = Springer
 | series = Lecture Notes in Computer Science
 | title = Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10–13, 2007, Proceedings
 | volume = 4664
 | year = 2007| isbn = 978-3-540-74592-1 }}</ref>

<ref name=kbvw>{{cite conference
 | last1 = Kisfaludi-Bak | first1 = Sándor
 | last2 = van Wordragen | first2 = Geert
 | editor1-last = Mulzer | editor1-first = Wolfgang
 | editor2-last = Phillips | editor2-first = Jeff M.
 | arxiv = 2305.01356
 | contribution = A quadtree, a Steiner spanner, and approximate nearest neighbours in hyperbolic space
 | doi = 10.4230/LIPICS.SOCG.2024.68
 | pages = 68:1–68:15
 | publisher = Schloss Dagstuhl – Leibniz-Zentrum für Informatik
 | series = LIPIcs
 | title = 40th International Symposium on Computational Geometry, SoCG 2024, June 11–14, 2024, Athens, Greece
 | volume = 293
 | year = 2024| doi-access = free
 }}</ref>

<ref name=kmvww>{{citation
 | last1 = Kisfaludi-Bak | first1 = Sándor
 | last2 = Masaríková | first2 = Jana
 | last3 = van Leeuwen | first3 = Erik Jan
 | last4 = Walczak | first4 = Bartosz
 | last5 = Wegrzycki | first5 = Karol
 | editor1-last = Mulzer | editor1-first = Wolfgang
 | editor2-last = Phillips | editor2-first = Jeff M.
 | arxiv = 2310.11283
 | contribution = Separator theorem and algorithms for planar hyperbolic graphs
 | doi = 10.4230/LIPIcs.SoCG.2024.67
 | pages = 67:1–67:17
 | publisher = Schloss Dagstuhl - Leibniz-Zentrum für Informatik
 | series = LIPIcs
 | title = 40th International Symposium on Computational Geometry, SoCG 2024, June 11-14, 2024, Athens, Greece
 | volume = 293
 | year = 2024| doi-access = free
 }}</ref>

<ref name=mizu>{{cite journal
 | last = Mizuhashi | first = Tōsaku
 | date = December 1937
 | issue = 12
 | journal = J. Inst. Electrical Communication Eng. Japan
 | pages = 1053–1058
 | title = Sì duānzǐ huílù no inpīdansu hensei to seigō kairo no riron
 | volume = 1937}}</ref>

<ref name=penrose>{{cite journal | last = Penrose | first = R. | authorlink = Roger Penrose | doi = 10.1007/BF03024384 | issue = 1 | journal = [[The Mathematical Intelligencer]] | mr = 558670 | pages = 32–37 | title = Pentaplexity: a class of nonperiodic tilings of the plane | volume = 2 | date = March 1979}}</ref>

<ref name="radin">{{Cite journal|last=Radin|first=Charles|authorlink=Charles Radin|date=2004|title=Orbits of Orbs: Sphere Packing Meets Penrose Tilings|jstor=4145214|journal=[[American Mathematical Monthly]]|volume=111|issue=2|pages=137–149|doi=10.2307/4145214|url=http://www.ma.utexas.edu/users/radin/papers/18.pdf}}</ref>

<ref name=rr>{{cite book|last1=Ramsay|first1=Arlan|last2=Richtmyer|first2=Robert D.|title=Introduction to hyperbolic geometry|date=1995|publisher=Springer-Verlag|location=New York|isbn=0387943390|page=212|doi=10.1007/978-1-4757-5585-5}}</ref>

<ref name=smith>{{cite journal
 | last = Smith | first = P. H.
 | date = January 1939
 | issue = 1
 | journal = Electronics
 | pages = 29–31
 | title = Transmission line calculator
 | url = https://worldradiohistory.com/Archive-Electronics/30s/Electronics-1939-01.pdf
 | volume = 12}}</ref>

<ref name=stahl>{{cite book
 | last = Stahl | first = Saul
 | isbn = 0-86720-298-X
 | location = Boston
 | mr = 1217085
 | pages = 64–67
 | publisher = Jones and Bartlett Publishers
 | title = The Poincaré Half-Plane: A Gateway to Modern Geometry
 | url = https://books.google.com/books?id=TABicHVMQhMC&pg=PA64
 | year = 1993}}</ref>

<ref name=volpert>{{cite journal
 | last = Volpert | first = Amiel Rafailovich
 | date = February 1940
 | issue = 2
 | journal = Proizvodstvenno-tekhnicheskiy Byulleten
 | pages = 14–18
 | title = Nomogramma dlya rascheta dlinnykh liniy
 | volume = 1940}}</ref>

<ref name=xtree>{{cite conference
 | last1 = Despain | first1 = Alvin M.
 | last2 = Patterson | first2 = David A. | author2-link = David Patterson (computer scientist)
 | contribution = X-Tree: A Tree Structured Multi-Processor Computer Architecture
 | doi = 10.1145/800094.803041
 | pages = 144–151
 | publisher = Association for Computing Machinery
 | title = Proceedings of the 5th Annual Symposium on Computer Architecture, Palo Alto, CA, USA, April 1978
 | year = 1978}}</ref>

}}

{{Tessellation}}

[[Category:Aperiodic tilings]]
[[Category:Hyperbolic tilings]]
[[Category:Pentagonal tilings]]
[[Category:Binary trees]]