Kleetope

Last updated

In geometry and polyhedral combinatorics, the Kleetope of a polyhedron or higher-dimensional convex polytope P is another polyhedron or polytope PK formed by replacing each facet of P with a pyramid. [1] In some cases, the pyramid is chosen to have regular sides, often producing a non-convex polytope; alternatively, by using sufficiently shallow pyramids, the results may remain convex. Kleetopes are named after Victor Klee, [2] although the same concept was known under other names long before the work of Klee. [3]

Contents

Examples

Tetrakishexahedron.jpg
Triakisicosahedron.jpg
Disdyakisdodecahedron.jpg
StellaTripentakisIcosidodecahedron.png
Some examples of Kleetope: tetrakis hexahedron, triakis icosahedron, disdyakis dodecahedron, and tripentakis icosidodecahedron.

In each of these cases, the Kleetope is formed by attaching pyramids onto each face of the original polyhedron. These examples can be seen from the Platonic solids:

The base polyhedron of a Kleetope does not need to be a Platonic solid. For instance, the disdyakis dodecahedron is the Kleetope of the rhombic dodecahedron, formed by replacing each rhombus face of the dodecahedron with a rhombic pyramid, and the disdyakis triacontahedron is the Kleetope of the rhombic triacontahedron. In fact, the base polyhedron of a Kleetope does not need to be face-transitive, as can be seen from the tripentakis icosidodecahedron above.

Definitions

One method of forming the Kleetope of a polytope P is to place a new vertex outside P, near the centroid of each facet. If all of these new vertices are placed close enough to the corresponding centroids, then the only other vertices visible to them will be the vertices of the facets from which they are defined. In this case, the Kleetope of P is the convex hull of the union of the vertices of P and the set of new vertices. [5]

Alternatively, the Kleetope may be defined by duality and its dual operation, truncation: the Kleetope of P is the dual polyhedron of the truncation of the dual of P.

Properties and applications

If P has enough vertices relative to its dimension, then the Kleetope of P is dimensionally unambiguous: the graph formed by its edges and vertices is not the graph of a different polyhedron or polytope with a different dimension. More specifically, if the number of vertices of a d-dimensional polytope P is at least d2/2, then PK is dimensionally unambiguous. [6]

If every i-dimensional face of a d-dimensional polytope P is a simplex, and if id 2, then every (i + 1)-dimensional face of PK is also a simplex. In particular, the Kleetope of any three-dimensional polyhedron is a simplicial polyhedron, a polyhedron in which all facets are triangles.

Kleetopes may be used to generate polyhedra that do not have any Hamiltonian cycles: any path through one of the vertices added in the Kleetope construction must go into and out of the vertex through its neighbors in the original polyhedron, and if there are more new vertices than original vertices then there are not enough neighbors to go around. In particular, the Goldner–Harary graph, the Kleetope of the triangular bipyramid, has six vertices added in the Kleetope construction and only five in the bipyramid from which it was formed, so it is non-Hamiltonian; it is the simplest possible non-Hamiltonian simplicial polyhedron. [7] If a polyhedron with n vertices is formed by repeating the Kleetope construction some number of times, starting from a tetrahedron, then its longest path has length O(nlog3 2); that is, the shortness exponent of these graphs is log3 2, approximately 0.630930. The same technique shows that in any higher dimension d, there exist simplicial polytopes with shortness exponent logd 2. [8] Similarly, Plummer (1992) used the Kleetope construction to provide an infinite family of examples of simplicial polyhedra with an even number of vertices that have no perfect matching. [9]

Kleetopes also have some extreme properties related to their vertex degrees: if each edge in a planar graph is incident to at least seven other edges, then there must exist a vertex of degree at most five all but one of whose neighbors have degree 20 or more, and the Kleetope of the Kleetope of the icosahedron provides an example in which the high-degree vertices have degree exactly 20. [10]

Notes

  1. Grünbaum ( 1963 , 1967 ).
  2. Malkevitch, Joseph, People Making a Difference, American Mathematical Society .
  3. 1 2 Brigaglia, Palladino & Vaccaro (2018).
  4. Çolak & Gelişgen (2015).
  5. Grünbaum (1967), p. 217.
  6. Grünbaum (1963); Grünbaum (1967), p. 227.
  7. Grünbaum (1967), p. 357; Goldner & Harary (1975).
  8. Moon & Moser (1963).
  9. Plummer (1992).
  10. Jendro'l & Madaras (2005).

Related Research Articles

<span class="mw-page-title-main">Dual polyhedron</span> Polyhedron associated with another by swapping vertices for faces

In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all can also be constructed as geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.

<span class="mw-page-title-main">Regular icosahedron</span> Convex polyhedron with 20 triangular faces

In geometry, the regular icosahedron is a convex polyhedron that can be constructed from pentagonal antiprism by attaching two pentagonal pyramids with regular faces to each of its pentagonal faces, or by putting points onto the cube. The resulting polyhedron has 20 equilateral triangles as its faces, 30 edges, and 12 vertices. It is an example of a Platonic solid and of a deltahedron. The icosahedral graph represents the skeleton of a regular icosahedron.

<span class="mw-page-title-main">Kepler–Poinsot polyhedron</span> Any of 4 regular star polyhedra

In geometry, a Kepler–Poinsot polyhedron is any of four regular star polyhedra.

In geometry, an octahedron is a polyhedron with eight faces. An octahedron can be considered as a square bipyramid. When the edges of a square bipyramid are all equal in length, it produces a regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. It is also an example of a deltahedron. An octahedron is the three-dimensional case of the more general concept of a cross polytope.

<span class="mw-page-title-main">Polyhedron</span> 3D shape with flat faces, straight edges and sharp corners

In geometry, a polyhedron is a three-dimensional figure with flat polygonal faces, straight edges and sharp corners or vertices.

<span class="mw-page-title-main">Stellation</span> Extending the elements of a polytope to form a new figure

In geometry, stellation is the process of extending a polygon in two dimensions, a polyhedron in three dimensions, or, in general, a polytope in n dimensions to form a new figure. Starting with an original figure, the process extends specific elements such as its edges or face planes, usually in a symmetrical way, until they meet each other again to form the closed boundary of a new figure. The new figure is a stellation of the original. The word stellation comes from the Latin stellātus, "starred", which in turn comes from the Latin stella, "star". Stellation is the reciprocal or dual process to faceting.

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

<span class="mw-page-title-main">Regular polytope</span> Polytope with highest degree of symmetry

In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. In particular, all its elements or j-faces — cells, faces and so on — are also transitive on the symmetries of the polytope, and are themselves regular polytopes of dimension jn.

In geometry, a zonohedron is a convex polyhedron that is centrally symmetric, every face of which is a polygon that is centrally symmetric. Any zonohedron may equivalently be described as the Minkowski sum of a set of line segments in three-dimensional space, or as a three-dimensional projection of a hypercube. Zonohedra were originally defined and studied by E. S. Fedorove, a Russian crystallographer. More generally, in any dimension, the Minkowski sum of line segments forms a polytope known as a zonotope.

<span class="mw-page-title-main">Triakis icosahedron</span> Catalan solid with 60 faces

In geometry, the triakis icosahedron is an Archimedean dual solid, or a Catalan solid, with 60 isosceles triangle faces. Its dual is the truncated dodecahedron. It has also been called the kisicosahedron. It was first depicted, in a non-convex form with equilateral triangle faces, by Leonardo da Vinci in Luca Pacioli's Divina proportione, where it was named the icosahedron elevatum. The capsid of the Hepatitis A virus has the shape of a triakis icosahedron.

<span class="mw-page-title-main">Regular dodecahedron</span> Convex polyhedron with 12 regular pentagonal faces

A regular dodecahedron or pentagonal dodecahedron is a dodecahedron composed of regular pentagonal faces, three meeting at each vertex. It is an example of Platonic solids, described as cosmic stellation by Plato in his dialogues, and it was used as part of Solar System proposed by Johannes Kepler. However, the regular dodecahedron, including the other Platonic solids, has already been described by other philosophers since antiquity.

<span class="mw-page-title-main">Simple polytope</span> N-dimensional polytope with vertices adjacent to N facets

In geometry, a d-dimensional simple polytope is a d-dimensional polytope each of whose vertices are adjacent to exactly d edges (also d facets). The vertex figure of a simple d-polytope is a (d – 1)-simplex.

<span class="mw-page-title-main">Simplicial polytope</span> Polytope whose facets are all simplices

In geometry, a simplicial polytope is a polytope whose facets are all simplices. For example, a simplicial polyhedron in three dimensions contains only triangular faces and corresponds via Steinitz's theorem to a maximal planar graph.

In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.

<span class="mw-page-title-main">Polyhedral graph</span> Graph made from vertices and edges of a convex polyhedron

In geometric graph theory, a branch of mathematics, a polyhedral graph is the undirected graph formed from the vertices and edges of a convex polyhedron. Alternatively, in purely graph-theoretic terms, the polyhedral graphs are the 3-vertex-connected, planar graphs.

<span class="mw-page-title-main">Herschel graph</span> Bipartite non-Hamiltonian polyhedral graph

In graph theory, a branch of mathematics, the Herschel graph is a bipartite undirected graph with 11 vertices and 18 edges. It is a polyhedral graph, and is the smallest polyhedral graph that does not have a Hamiltonian cycle, a cycle passing through all its vertices. It is named after British astronomer Alexander Stewart Herschel, because of Herschel's studies of Hamiltonian cycles in polyhedral graphs.

<span class="mw-page-title-main">Goldner–Harary graph</span> Undirected graph with 11 nodes and 27 edges

In the mathematical field of graph theory, the Goldner–Harary graph is a simple undirected graph with 11 vertices and 27 edges. It is named after A. Goldner and Frank Harary, who proved in 1975 that it was the smallest non-Hamiltonian maximal planar graph. The same graph had already been given as an example of a non-Hamiltonian simplicial polyhedron by Branko Grünbaum in 1967.

<span class="mw-page-title-main">Enneahedron</span> Polyhedron with 9 faces

In geometry, an enneahedron is a polyhedron with nine faces. There are 2606 types of convex enneahedron, each having a different pattern of vertex, edge, and face connections. None of them are regular.

In polyhedral combinatorics, a stacked polytope is a polytope formed from a simplex by repeatedly gluing another simplex onto one of its facets.

<span class="mw-page-title-main">Ideal polyhedron</span> Shape in hyperbolic geometry

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.

References