Blooming (geometry)

Last updated
Blooming a regular dodecahedron Net of dodecahedron.gif
Blooming a regular dodecahedron

In the geometry of convex polyhedra, blooming or continuous blooming is a continuous three-dimensional motion of the surface of the polyhedron, cut to form a polyhedral net, from the polyhedron into a flat and non-self-overlapping placement of the net in a plane. As in rigid origami, the polygons of the net must remain individually flat throughout the motion, and are not allowed to intersect or cross through each other. A blooming, reversed to go from the flat net to a polyhedron, can be thought of intuitively as a way to fold the polyhedron from a paper net without bending the paper except at its designated creases.

An early work on blooming by Biedl, Lubiw, and Sun from 1999 showed that some nets for non-convex but topologically spherical polyhedra have no blooming. [1]

The question of whether every convex polyhedron admits a net with a blooming was posed by Robert Connelly, and came to be known as Connelly’s blooming conjecture. [2] More specifically, Miller and Pak suggested in 2003 that the source unfolding, a net that cuts the polyhedral surface at points with more than one shortest geodesic to a designated source point (including cuts across faces of the polyhedron), always has a blooming. This was proven in 2009 by Demaine et al., who showed in addition that every convex polyhedral net whose polygons are connected in a single path has a blooming, and that every net can be refined to a path-connected net. [3] It is unknown whether every net of a convex polyhedron has a blooming, and Miller and Pak were unwilling to make a conjecture in either direction on this question. [2]

Unsolved problem in mathematics:

Does every net of a convex polyhedron have a blooming?

Because it is unknown whether every convex polyhedron has a net that cuts only edges of the polyhedron, and not across its faces ("Dürer's conjecture"), it is also unknown whether every convex polyhedron has a blooming that cuts only edges. In an unpublished manuscript from 2009, Igor Pak and Rom Pinchasi have claimed that this is indeed possible for every Archimedean solid. [4]

The problem of finding a blooming for a polyhedral net has also been approached computationally, as a problem in motion planning. [5] [6] [7]

Related Research Articles

<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 shape with flat polygonal faces, straight edges and sharp corners or vertices.

<span class="mw-page-title-main">Net (polyhedron)</span> Edge-joined polygons which fold into a polyhedron

In geometry, a net of a polyhedron is an arrangement of non-overlapping edge-joined polygons in the plane which can be folded to become the faces of the polyhedron. Polyhedral nets are a useful aid to the study of polyhedra and solid geometry in general, as they allow for physical models of polyhedra to be constructed from material such as thin cardboard.

The carpenter's rule problem is a discrete geometry problem, which can be stated in the following manner: Can a simple planar polygon be moved continuously to a position where all its vertices are in convex position, so that the edge lengths and simplicity are preserved along the way? A closely related problem is to show that any non-self-crossing polygonal chain can be straightened, again by a continuous transformation that preserves edge distances and avoids crossings.

<span class="mw-page-title-main">Straight skeleton</span> Method in geometry for representing a polygon by a topological skeleton

In geometry, a straight skeleton is a method of representing a polygon by a topological skeleton. It is similar in some ways to the medial axis but differs in that the skeleton is composed of straight line segments, while the medial axis of a polygon may involve parabolic curves. However, both are homotopy-equivalent to the underlying polygon.

Cauchy's theorem is a theorem in geometry, named after Augustin Cauchy. It states that convex polytopes in three dimensions with congruent corresponding faces must be congruent to each other. That is, any polyhedral net formed by unfolding the faces of the polyhedron onto a flat surface, together with gluing instructions describing which faces should be connected to each other, uniquely determines the shape of the original polyhedron. For instance, if six squares are connected in the pattern of a cube, then they must form a cube: there is no convex polyhedron with six square faces connected in the same way that does not have the same shape.

<span class="mw-page-title-main">Flexible polyhedron</span>

In geometry, a flexible polyhedron is a polyhedral surface without any boundary edges, whose shape can be continuously changed while keeping the shapes of all of its faces unchanged. The Cauchy rigidity theorem shows that in dimension 3 such a polyhedron cannot be convex.

<span class="mw-page-title-main">Bricard octahedron</span> Self-crossing 8-sided flexible polyhedron

In geometry, a Bricard octahedron is a member of a family of flexible polyhedra constructed by Raoul Bricard in 1897. The overall shape of one of these polyhedron may change in a continuous motion, without any changes to the lengths of its edges nor to the shapes of its faces. These octahedra were the first flexible polyhedra to be discovered.

<span class="mw-page-title-main">Halin graph</span> Mathematical tree with cycle through leaves

In graph theory, a Halin graph is a type of planar graph, constructed by connecting the leaves of a tree into a cycle. The tree must have at least four vertices, none of which has exactly two neighbors; it should be drawn in the plane so none of its edges cross, and the cycle connects the leaves in their clockwise ordering in this embedding. Thus, the cycle forms the outer face of the Halin graph, with the tree inside it.

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">Rigid origami</span>

Rigid origami is a branch of origami which is concerned with folding structures using flat rigid sheets joined by hinges. That is, unlike in traditional origami, the panels of the paper cannot be bent during the folding process; they must remain flat at all times, and the paper only folded along its hinges. A rigid origami model would still be foldable if it was made from glass sheets with hinges in place of its crease lines.

<span class="mw-page-title-main">Schönhardt polyhedron</span> Non-convex polyhedron with no triangulation

In geometry, the Schönhardt polyhedron is the simplest non-convex polyhedron that cannot be triangulated into tetrahedra without adding new vertices. It is named after German mathematician Erich Schönhardt, who described it in 1928. The same polyhedra have also been studied in connection with Cauchy's rigidity theorem as an example where polyhedra with two different shapes have faces of the same shapes.

<span class="mw-page-title-main">Jessen's icosahedron</span> Right-angled non-convex polyhedron

Jessen's icosahedron, sometimes called Jessen's orthogonal icosahedron, is a non-convex polyhedron with the same numbers of vertices, edges, and faces as the regular icosahedron. It is named for Børge Jessen, who studied it in 1967. In 1971, a family of nonconvex polyhedra including this shape was independently discovered and studied by Adrien Douady under the name six-beakedshaddock; later authors have applied variants of this name more specifically to Jessen's icosahedron.

<span class="mw-page-title-main">Monostatic polytope</span>

In geometry, a monostatic polytope is a d-polytope which "can stand on only one face". They were described in 1969 by J. H. Conway, M. Goldberg, R. K. Guy and K. C. Knowlton. The monostatic polytope in 3-space constructed independently by Guy and Knowlton has 19 faces. In 2012, Andras Bezdek discovered an 18-face solution, and in 2014, Alex Reshetov published a 14-face object.

The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each other also have distinct metric spaces of surface distances, and it characterizes the metric spaces that come from the surface distances on polyhedra. It is named after Soviet mathematician Aleksandr Danilovich Aleksandrov, who published it in the 1940s.

In geometry, Kalai's 3d conjecture is a conjecture on the polyhedral combinatorics of centrally symmetric polytopes, made by Gil Kalai in 1989. It states that every d-dimensional centrally symmetric polytope has at least 3d nonempty faces.

In differential geometry the theorem of the three geodesics, also known as Lyusternik–Schnirelmann theorem, states that every Riemannian manifold with the topology of a sphere has at least three simple closed geodesics. The result can also be extended to quasigeodesics on a convex polyhedron, and to closed geodesics of reversible Finsler 2-spheres. The theorem is sharp: although every Riemannian 2-sphere contains infinitely many distinct closed geodesics, only three of them are guaranteed to have no self-intersections. For example, by a result of Morse if the lengths of three principal axes of an ellipsoid are distinct, but sufficiently close to each other, then the ellipsoid has only three simple closed geodesics.

In geometric graph theory, and the theory of structural rigidity, a parallel redrawing of a graph drawing with straight edges in the Euclidean plane or higher-dimensional Euclidean space is another drawing of the same graph such that all edges of the second drawing are parallel to their corresponding edges in the first drawing. A parallel morph of a graph is a continuous family of drawings, all parallel redrawings of each other.

Geometric Folding Algorithms: Linkages, Origami, Polyhedra is a monograph on the mathematics and computational geometry of mechanical linkages, paper folding, and polyhedral nets, by Erik Demaine and Joseph O'Rourke. It was published in 2007 by Cambridge University Press (ISBN 978-0-521-85757-4). A Japanese-language translation by Ryuhei Uehara was published in 2009 by the Modern Science Company (ISBN 978-4-7649-0377-7).

In computational geometry, the star unfolding of a convex polyhedron is a net obtained by cutting the polyhedron along geodesics through its faces. It has also been called the inward layout of the polyhedron, or the Alexandrov unfolding after Aleksandr Danilovich Aleksandrov, who first considered it.

In computational geometry, the source unfolding of a convex polyhedron is a net obtained by cutting the polyhedron along the cut locus of a point on the surface of the polyhedron. The cut locus of a point consists of all points on the surface that have two or more shortest geodesics to . For every convex polyhedron, and every choice of the point on its surface, cutting the polyhedron on the cut locus will produce a result that can be unfolded into a flat plane, producing the source unfolding. The resulting net may, however, cut across some of the faces of the polyhedron rather than only cutting along its edges.

References

  1. Biedl, Therese; Lubiw, Anna; Sun, Julie (2005), "When can a net fold to a polyhedron?", Computational Geometry , 31 (3): 207–218, doi: 10.1016/j.comgeo.2004.12.004 , MR   2143321 . Announced at the Canadian Conference on Computational Geometry, 1999.
  2. 1 2 Miller, Ezra; Pak, Igor (2008), "Metric combinatorics of convex polyhedra: Cut loci and nonoverlapping unfoldings", Discrete & Computational Geometry , 39 (1–3): 339–388, doi: 10.1007/s00454-008-9052-3 , MR   2383765 . Announced in 2003.
  3. Demaine, Erik D.; Demaine, Martin L.; Hart, Vi; Iacono, John; Langerman, Stefan; O'Rourke, Joseph (2011), "Continuous blooming of convex polyhedra", Graphs and Combinatorics , 27 (3): 363–376, doi:10.1007/s00373-011-1024-3, MR   2787423, S2CID   82408 . Announced at the Japan Conference on Computational Geometry and Graphs, 2009.
  4. Pak, Igor; Pinchasi, Rom (2009), How to cut out a convex polyhedron (PDF), archived from the original (PDF) on 2021-01-20, retrieved 2021-06-21. As cited by Demaine et al. (2011).
  5. Song, Guang; Amato, N. M. (February 2004), "A motion-planning approach to folding: From paper craft to protein folding", IEEE Transactions on Robotics and Automation, 20 (1): 60–71, doi:10.1109/tra.2003.820926, S2CID   9636
  6. Xi, Zhonghua; Lien, Jyh-Ming (September 2015), "Continuous unfolding of polyhedra – a motion planning approach", 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, doi:10.1109/iros.2015.7353828, S2CID   14376277
  7. Hao, Yue; Kim, Yun-hyeong; Lien, Jyh-Ming (June 2018), "Synthesis of fast and collision-free folding of polyhedral nets", Proceedings of the 2nd ACM Symposium on Computational Fabrication, ACM, doi: 10.1145/3213512.3213517