KNOWPIA
WELCOME TO KNOWPIA

In three-dimensional hyperbolic geometry, an **ideal polyhedron** is a convex polyhedron all of whose vertices are ideal points, points "at infinity" rather than interior to three-dimensional hyperbolic space. It can be defined as the convex hull of a finite set of ideal points. An ideal polyhedron has ideal polygons as its faces, meeting along lines of the hyperbolic space.

The Platonic solids and Archimedean solids have ideal versions, with the same combinatorial structure as their more familiar Euclidean versions. Several uniform hyperbolic honeycombs divide hyperbolic space into cells of these shapes, much like the familiar division of Euclidean space into cubes. However, not all polyhedra can be represented as ideal polyhedra – a polyhedron can be ideal only when it can be represented in Euclidean geometry with all its vertices on a circumscribed sphere. Using linear programming, it is possible to test whether a polyhedron has an ideal version, in polynomial time.

Every two ideal polyhedra with the same number of vertices have the same surface area, and it is possible to calculate the volume of an ideal polyhedron using the Lobachevsky function. The surface of an ideal polyhedron forms a hyperbolic manifold, topologically equivalent to a punctured sphere, and every such manifold forms the surface of a unique ideal polyhedron.

An ideal polyhedron can be constructed as the convex hull of a finite set of ideal points of hyperbolic space, whenever the points do not all lie on a single plane. The resulting shape is the intersection of all closed half-spaces that have the given ideal points as limit points. Alternatively, any Euclidean convex polyhedron that has a circumscribed sphere can be reinterpreted as an ideal polyhedron by interpreting the interior of the sphere as a Klein model for hyperbolic space.^{[1]} In the Klein model, every Euclidean polyhedron enclosed by the sphere represents a hyperbolic polyhedron, and every Euclidean polyhedron with its vertices on the sphere represents an ideal polyhedron.^{[2]}

Every isogonal convex polyhedron (one with symmetries taking every vertex to every other vertex) can be represented as an ideal polyhedron, in a way that respects its symmetries, because it has a circumscribed sphere centered at the center of symmetry of the polyhedron.^{[3]} In particular, this implies that the Platonic solids and the Archimedean solids all have ideal forms. However, another highly symmetric class of polyhedra, the Catalan solids, do not all have ideal forms. The Catalan solids are the dual polyhedra to the Archimedean solids, and have symmetries taking any face to any other face. Catalan solids that cannot be ideal include the rhombic dodecahedron and the triakis tetrahedron.^{[4]}

Removing certain triples of vertices from the triakis tetrahedron separates the remaining vertices into multiple connected components. When no such three-vertex separation exists, a polyhedron is said to be 4-connected. Every 4-connected polyhedron has a representation as an ideal polyhedron; for instance this is true of the tetrakis hexahedron, another Catalan solid.^{[5]}

Truncating a single vertex from a cube produces a simple polyhedron (one with three edges per vertex) that cannot be realized as an ideal polyhedron: by Miquel's six circles theorem, if seven of the eight vertices of a cube are ideal, the eighth vertex is also ideal, and so the vertices created by truncating it cannot be ideal. There also exist polyhedra with four edges per vertex that cannot be realized as ideal polyhedra.^{[6]} If a simplicial polyhedron (one with all faces triangles) has all vertex degrees between four and six (inclusive) then it has an ideal representation, but the triakis tetrahedron is simplicial and non-ideal, and the 4-regular non-ideal example above shows that for non-simplicial polyhedra, having all degrees in this range does not guarantee an ideal realization.^{[7]}

Every ideal polyhedron with vertices has a surface that can be subdivided into ideal triangles,^{[8]} each with area .^{[9]} Therefore, the surface area is exactly .

In an ideal polyhedron, all face angles and all solid angles at vertices are zero. However, the dihedral angles on the edges of an ideal polyhedron are nonzero. At each vertex, the supplementary angles of the dihedral angles incident to that vertex sum to exactly .^{[2]} This fact can be used to calculate the dihedral angles themselves for a regular or edge-symmetric ideal polyhedron (in which all these angles are equal), by counting how many edges meet at each vertex: an ideal regular tetrahedron, cube or dodecahedron, with three edges per vertex, has dihedral angles , an ideal regular octahedron or cuboctahedron, with four edges per vertex, has dihedral angles , and an ideal regular icosahedron, with five edges per vertex, has dihedral angles .^{[10]}

The volume of an ideal tetrahedron can be expressed in terms of the Clausen function or Lobachevsky function of its dihedral angles, and the volume of an arbitrary ideal polyhedron can then be found by partitioning it into tetrahedra and summing the volumes of the tetrahedra.^{[11]}

The Dehn invariant of a polyhedron is normally found by combining the edge lengths and dihedral angles of the polyhedron, but in the case of an ideal polyhedron the edge lengths are infinite. This difficulty can be avoided by using a horosphere to truncate each vertex, leaving a finite length along each edge. The resulting shape is not itself a polyhedron because the truncated faces are not flat, but it has finite edge lengths, and its Dehn invariant can be calculated in the normal way, ignoring the new edges where the truncated faces meet the original faces of the polyhedron. Because of the way the Dehn invariant is defined, and the constraints on the dihedral angles meeting at a single vertex of an ideal polyhedron, the result of this calculation does not depend on the choice of horospheres used to truncate the vertices.^{[12]}

As Ernst Steinitz (1928) proved, the maximum independent set of any ideal polyhedron (the largest possible subset of non-adjacent vertices) must have at most half of the vertices of the polyhedron. It can have exactly half only when the vertices can be partitioned into two equal-size independent sets, so that the graph of the polyhedron is a balanced bipartite graph, as it is for an ideal cube.^{[13]} More strongly, the graph of any ideal polyhedron is 1-tough, meaning that, for any , removing vertices from the graph leaves at most connected components.^{[14]} For example, the rhombic dodecahedron is bipartite, but has an independent set with more than half of its vertices, and the triakis tetrahedron has an independent set of exactly half the vertices but is not bipartite, so neither can be realized as an ideal polyhedron.^{[13]}

Not all convex polyhedra are combinatorially equivalent to ideal polyhedra. The geometric characterization of inscribed polyhedra was attempted, unsuccessfully, by René Descartes in his c.1630 manuscript *De solidorum elementis*.^{[15]} The question of finding a combinatorial characterization of the ideal polyhedra, analogous to Steinitz's theorem characterizing the Euclidean convex polyhedra, was raised by Jakob Steiner (1832); a numerical (rather than combinatorial) characterization was provided by Hodgson, Rivin & Smith (1992). Their characterization is based on the fact that the dihedral angles of an ideal polyhedron, incident to a single ideal vertex, must have supplementary angles that sum to exactly , while the supplementary angles crossed by any Jordan curve on the surface of the polyhedron that has more than one vertex on both of its sides must be larger. For instance, for the ideal cube, the dihedral angles are and their supplements are . The three supplementary angles at a single vertex sum to but the four angles crossed by a curve midway between two opposite faces sum to , and other curves cross even more of these angles with even larger sums. Hodgson, Rivin & Smith (1992) show that a convex polyhedron is equivalent to an ideal polyhedron if and only if it is possible to assign numbers to its edges with the same properties: these numbers all lie between and , they add up to at each vertex, and they add up to more than on each non-facial cycle of the dual graph. When such an assignment exists, there is a unique ideal polyhedron whose dihedral angles are supplementary to these numbers. As a consequence of this characterization, realizability as an ideal polyhedron can be expressed as a linear program with exponentially many constraints (one for each non-facial cycle), and tested in polynomial time using the ellipsoid algorithm.^{[16]}

A more combinatorial characterization was provided by Dillencourt & Smith (1995) for the special case of simple polyhedra, polyhedra with only three faces and three edges meeting at each (ideal) vertex. According to their characterization, a simple polyhedron is ideal or inscribable if and only if one of two conditions is met: either the graph of the polyhedron is a bipartite graph and its dual graph is 4-connected, or it is a 1-supertough graph. In this condition, being 1-supertough is a variation of graph toughness; it means that, for every set of more than one vertex of the graph, the removal of from the graph leaves a number of connected components that is strictly smaller than . Based on this characterization they found a linear time combinatorial algorithm for testing realizability of simple polyhedra as ideal polyhedra.^{[17]}

Honeycombs of ideal regular polyhedra

Because the ideal regular tetrahedron, cube, octahedron, and dodecahedron all have dihedral angles that are integer fractions of , they can all tile hyperbolic space, forming a regular honeycomb.^{[18]} In this they differ from the Euclidean regular solids, among which only the cube can tile space.^{[18]} The ideal tetrahedron, cube, octahedron, and dodecahedron form respectively the order-6 tetrahedral honeycomb, order-6 cubic honeycomb, order-4 octahedral honeycomb, and order-6 dodecahedral honeycomb; here the order refers to the number of cells meeting at each edge. However, the ideal icosahedron does not tile space in the same way.^{[18]}

The Epstein–Penner decomposition, a construction of D. B. A. Epstein and R. C. Penner (1988), can be used to decompose any cusped hyperbolic 3-manifold into ideal polyhedra, and to represent the manifold as the result of gluing together these ideal polyhedra.^{[19]} Each manifold that can be represented in this way has a finite number of representations.^{[20]} The universal cover of the manifold inherits the same decomposition, which forms a honeycomb of ideal polyhedra. Examples of cusped manifolds, leading to honeycombs in this way, arise naturally as the knot complements of hyperbolic links, which have a cusp for each component of the link. For example, the complement of the figure-eight knot is associated in this way with the order-6 tetrahedral honeycomb,^{[21]} and the complement of the Borromean rings is associated in the same way with the order-4 octahedral honeycomb.^{[22]} These two honeycombs, and three others using the ideal cuboctahedron, triangular prism, and truncated tetrahedron, arise in the study of the Bianchi groups, and come from cusped manifolds formed as quotients of hyperbolic space by subgroups of Bianchi groups. The same manifolds can also be interpreted as link complements.^{[23]}

The surface of an ideal polyhedron (not including its vertices) forms a manifold, topologically equivalent to a punctured sphere, with a uniform two-dimensional hyperbolic geometry; the folds of the surface in its embedding into hyperbolic space are not detectable as folds in the intrinsic geometry of the surface. Because this surface can be partitioned into ideal triangles, its total area is finite. Conversely, and analogously to Alexandrov's uniqueness theorem, every two-dimensional manifold with uniform hyperbolic geometry and finite area, combinatorially equivalent to a finitely-punctured sphere, can be realized as the surface of an ideal polyhedron. (As with Alexandrov's theorem, such surfaces must be allowed to include ideal dihedra.)^{[24]} From this point of view, the theory of ideal polyhedra has close connections with discrete approximations to conformal maps.^{[25]}

Surfaces of ideal polyhedra may also be considered more abstractly as topological spaces formed by gluing together ideal triangles by isometry along their edges. For every such surface, and every closed curve which does not merely wrap around a single vertex of the polyhedron (one or more times) without separating any others, there is a unique geodesic on the surface that is homotopic to the given curve. In this respect, ideal polyhedra are different from Euclidean polyhedra (and from their Euclidean Klein models): for instance, on a Euclidean cube, any geodesic can cross at most two edges incident to a single vertex consecutively, before crossing a non-incident edge, but geodesics on the ideal cube are not limited in this way.^{[26]}

- Canonical polyhedron, a polyhedron in which each edge is tangent to a common sphere
- Angle of parallelism

**^**Thurston (1997), Example 3.3.7 (the figure-eight knot complement), p. 128.- ^
^{a}^{b}Hodgson, Rivin & Smith (1992). **^**Leopold (2014), p. 3.**^**Padrol & Ziegler (2016); see § Combinatorial structure.**^**Dillencourt & Smith (1996).**^**Dillencourt & Eppstein (2003).**^**Dillencourt & Smith (1996); Padrol & Ziegler (2016) quote this result, but incorrectly omit the qualifier that it holds only for simplicial polyhedra.**^**See, e.g., p. 272 of Fejes Tóth (1981).**^**Thurston (1997), Proposition 2.4.12, p. 83.**^**Coxeter (1956).**^**Cho & Kim (1999).**^**Dupont & Sah (1982); Coulson et al. (2000). Dupont and Sah credit this construction to William Thurston.- ^
^{a}^{b}Steinitz (1928); Padrol & Ziegler (2016). **^**Dillencourt (1990); Padrol & Ziegler (2016).**^**Federico (1982), p. 52.**^**Hodgson, Rivin & Smith (1992); Rivin (1996); Guéritaud (2004).**^**Dillencourt & Smith (1995).- ^
^{a}^{b}^{c}Coxeter (1956); Epstein & Penner (1988); Nelson & Segerman (2017). **^**Epstein & Penner (1988).**^**Akiyoshi (2001).**^**Hatcher (1983); Epstein & Penner (1988).**^**Hatcher (1983); Abbott (1997).**^**Hatcher (1983).**^**Rivin (1994); Springborn (2020).**^**Bobenko, Pinkall & Springborn (2015).**^**Charitos (1996).

- Abbott, Steve (July 1997), "Review of
*Not Knot*and*Supplement to Not Knot*",*The Mathematical Gazette*,**81**(491): 340–342, doi:10.2307/3619248, JSTOR 3619248, S2CID 64589738 - Akiyoshi, Hirotaka (2001), "Finiteness of polyhedral decompositions of cusped hyperbolic manifolds obtained by the Epstein–Penner's method",
*Proceedings of the American Mathematical Society*,**129**(8): 2431–2439, doi:10.1090/S0002-9939-00-05829-9, MR 1823928 - Bobenko, Alexander I.; Pinkall, Ulrich; Springborn, Boris A. (2015), "Discrete conformal maps and ideal hyperbolic polyhedra",
*Geometry & Topology*,**19**(4): 2155–2215, arXiv:1005.2698, doi:10.2140/gt.2015.19.2155, MR 3375525 - Charitos, C. (1996), "Closed geodesics on ideal polyhedra of dimension 2",
*Rocky Mountain Journal of Mathematics*,**26**(2): 507–521, doi:10.1216/rmjm/1181072071, MR 1406493 - Cho, Yunhi; Kim, Hyuk (1999), "On the volume formula for hyperbolic tetrahedra",
*Discrete & Computational Geometry*,**22**(3): 347–366, doi:10.1007/PL00009465, MR 1706606 - Coulson, David; Goodman, Oliver A.; Hodgson, Craig D.; Neumann, Walter D. (2000), "Computing arithmetic invariants of 3-manifolds",
*Experimental Mathematics*,**9**(1): 127–152, doi:10.1080/10586458.2000.10504641, MR 1758805, S2CID 1313215 - Coxeter, H. S. M. (1956), "Regular honeycombs in hyperbolic space",
*Proceedings of the International Congress of Mathematicians, 1954, Amsterdam, vol. III*, Amsterdam: North-Holland, pp. 155–169, MR 0087114 - Dillencourt, Michael B. (1990), "Toughness and Delaunay triangulations",
*Discrete & Computational Geometry*,**5**(6): 575–601, doi:10.1007/BF02187810, MR 1067787 - Dillencourt, Michael B.; Eppstein, David (2003), "Uninscribable 4-regular polyhedron",
*Electronic Geometry Models*, Model No. 2003.08.001 - Dillencourt, Michael B.; Smith, Warren D. (1995), "A linear-time algorithm for testing the inscribability of trivalent polyhedra",
*International Journal of Computational Geometry & Applications*,**5**(1–2): 21–36, doi:10.1142/S0218195995000039, MR 1331174 - Dillencourt, Michael B.; Smith, Warren D. (1996), "Graph-theoretical conditions for inscribability and Delaunay realizability",
*Discrete Mathematics*,**161**(1–3): 63–77, doi:10.1016/0012-365X(95)00276-3, MR 1420521, S2CID 16382428 - Dupont, Johan L.; Sah, Chih Han (1982), "Scissors congruences. II",
*Journal of Pure and Applied Algebra*,**25**(2): 159–195, doi:10.1016/0022-4049(82)90035-4, MR 0662760 - Epstein, D. B. A.; Penner, R. C. (1988), "Euclidean decompositions of noncompact hyperbolic manifolds",
*Journal of Differential Geometry*,**27**(1): 67–80, doi:10.4310/jdg/1214441650, MR 0918457 - Federico, Pasquale Joseph (1982),
*Descartes on Polyhedra: A Study of the "De solidorum elementis"*, Sources in the History of Mathematics and Physical Sciences, vol. 4, Springer - Fejes Tóth, L. (1981), "Some Researches Inspired by H. S. M. Coxeter", in Davis, Chandler; Grünbaum, Branko; Sherk, F. A. (eds.),
*The Geometric Vein: The Coxeter Festschrift*, New York: Springer, pp. 271–277, doi:10.1007/978-1-4612-5648-9_18, ISBN 978-1-4612-5650-2 - Guéritaud, François (2004), "On an elementary proof of Rivin's characterization of convex ideal hyperbolic polyhedra by their dihedral angles",
*Geometriae Dedicata*,**108**: 111–124, doi:10.1007/s10711-004-3180-y, MR 2112668, S2CID 122106334 - Hatcher, Allen (1983), "Hyperbolic structures of arithmetic type on some link complements",
*Journal of the London Mathematical Society*, Second Series,**27**(2): 345–355, doi:10.1112/jlms/s2-27.2.345, MR 0692540 - Hodgson, Craig D.; Rivin, Igor; Smith, Warren D. (1992), "A characterization of convex hyperbolic polyhedra and of convex polyhedra inscribed in the sphere",
*Bulletin of the American Mathematical Society*, New Series,**27**(2): 246–251, arXiv:math/9210218, doi:10.1090/S0273-0979-1992-00303-8, MR 1149872 - Leopold, Undine (2014),
*Vertex-transitive polyhedra in three-space*, Doctoral dissertation, Northeastern University, hdl:2047/d20005074 - Nelson, Roice; Segerman, Henry (January 2017), "Visualizing hyperbolic honeycombs",
*Journal of Mathematics and the Arts*,**11**(1): 4–39, arXiv:1511.02851, doi:10.1080/17513472.2016.1263789, S2CID 119164821 - Padrol, Arnau; Ziegler, Günter M. (2016), "Six topics on inscribable polytopes", in Bobenko, Alexander I. (ed.),
*Advances in Discrete Differential Geometry*, Springer Open, pp. 407–419, arXiv:1511.03458, doi:10.1007/978-3-662-50447-5_13, ISBN 978-3-662-50446-8 - Rivin, Igor (1994), "Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space",
*Analysis, algebra, and computers in mathematical research (Luleå, 1992)*, Lecture Notes in Pure and Applied Mathematics, vol. 156, New York: Dekker, pp. 275–291, MR 1280952 - Rivin, Igor (1996), "A characterization of ideal polyhedra in hyperbolic 3-space",
*Annals of Mathematics*, Second Series,**143**(1): 51–70, doi:10.2307/2118652, JSTOR 2118652, MR 1370757 - Springborn, Boris (2020), "Ideal hyperbolic polyhedra and discrete uniformization",
*Discrete & Computational Geometry*,**64**(1): 63–108, doi:10.1007/s00454-019-00132-8, MR 4110530, S2CID 203035718 - Steiner, Jakob (1832), "Question 77",
*Systematische Entwicklung der Abhängigkeit geometrischer Gestalten von einander*(in German), Berlin: G. Fincke, p. 316 - Steinitz, Ernst (1928), "Über isoperimetrische Probleme bei konvexen Polyedern",
*Journal für die reine und angewandte Mathematik*,**1928**(159): 133–143, doi:10.1515/crll.1928.159.133, S2CID 199546274 - Thurston, William P. (1997),
*Three-dimensional geometry and topology. Vol. 1*, Princeton Mathematical Series, vol. 35, Princeton University Press, Princeton, NJ, ISBN 0-691-08304-5, MR 1435975