-
Nonlinear Kinematics of Recursive Origami Inspired by the Spidron
Authors:
Rinki Imada,
Thomas C. Hull,
Jason S. Ku,
Tomohiro Tachi
Abstract:
Non-periodic folding of periodic crease patterns paves the way to novel nonlinear phenomena that cannot be feasible through periodic folding. This paper focuses on the non-periodic folding of recursive crease patterns generalized from Spidron. Although it is known that the Spidron has a $1$-DOF isotropic rigid folding motion, its general kinematics and dependence on the crease pattern remain uncle…
▽ More
Non-periodic folding of periodic crease patterns paves the way to novel nonlinear phenomena that cannot be feasible through periodic folding. This paper focuses on the non-periodic folding of recursive crease patterns generalized from Spidron. Although it is known that the Spidron has a $1$-DOF isotropic rigid folding motion, its general kinematics and dependence on the crease pattern remain unclear. Using the kinematics of a single unit cell of the Spidron and the recursive construction of the folded state of multiple unit cells, we consider the folding of the Spidron that is not necessarily isotropic. We found that as the number of unit cells increases, the non-periodic folding is restricted and the isotropic folding becomes dominant. Then, we analyze the three kinds of isotropic folding modes by constructing $1$-dimensional dynamical systems governing each of them. We show that these systems can possess different recursive natures depending on folding modes even in an identical crease pattern. Furthermore, we show their novel nonlinear nature, including the period-doubling cascade leading to the emergence of chaos.
△ Less
Submitted 10 May, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
Explicit kinematic equations for degree-4 rigid origami vertices, Euclidean and non-Euclidean
Authors:
Riccardo Foschi,
Thomas C. Hull,
Jason S. Ku
Abstract:
We derive new algebraic equations for the folding angle relationships in completely general degree-four rigid-foldable origami vertices, including both Euclidean (developable) and non-Euclidean cases. These equations in turn lead to novel, elegant equations for the general developable degree-four case. We compare our equations to previous results in the literature and provide two examples of how t…
▽ More
We derive new algebraic equations for the folding angle relationships in completely general degree-four rigid-foldable origami vertices, including both Euclidean (developable) and non-Euclidean cases. These equations in turn lead to novel, elegant equations for the general developable degree-four case. We compare our equations to previous results in the literature and provide two examples of how the equations can be used: In analyzing a family of square twist pouches with discrete configuration spaces, and for proving that a new folding table design made with hyperbolic vertices has a single folding mode.
△ Less
Submitted 6 November, 2022; v1 submitted 25 June, 2022;
originally announced June 2022.
-
Finding Closed Quasigeodesics on Convex Polyhedra
Authors:
Erik D. Demaine,
Adam C. Hesterberg,
Jason S. Ku
Abstract:
A closed quasigeodesic is a closed curve on the surface of a polyhedron with at most $180^\circ$ of surface on both sides at all points; such curves can be locally unfolded straight. In 1949, Pogorelov proved that every convex polyhedron has at least three (non-self-intersecting) closed quasigeodesics, but the proof relies on a nonconstructive topological argument. We present the first finite algo…
▽ More
A closed quasigeodesic is a closed curve on the surface of a polyhedron with at most $180^\circ$ of surface on both sides at all points; such curves can be locally unfolded straight. In 1949, Pogorelov proved that every convex polyhedron has at least three (non-self-intersecting) closed quasigeodesics, but the proof relies on a nonconstructive topological argument. We present the first finite algorithm to find a closed quasigeodesic on a given convex polyhedron, which is the first positive progress on a 1990 open problem by O'Rourke and Wyman. The algorithm establishes for the first time a quasipolynomial upper bound on the total number of visits to faces (number of line segments), namely, $O\left(\frac{n \, L^3}{ε^2 \, \ell^3}\right)$ where $n$ is the number of vertices of the polyhedron, $ε$ is the minimum curvature of a vertex, $L$ is the length of the longest edge, and $\ell$ is the smallest distance within a face between a vertex and a nonincident edge (minimum feature size of any face). On the real RAM, the algorithm's running time is also pseudopolynomial, namely $O\left(\frac{n \, L^3}{ε^2 \, \ell^3} \log n\right)$. On a word RAM, the running time grows to $O\left(b^2 \cdot \frac{n^8 \log n}{ε^8} \cdot \frac{L^{21}}{\ell^{21}}\cdot 2^{O(|Λ|)}\right)$, where $|Λ|$ is the number of distinct edge lengths in the polyhedron, assuming its intrinsic or extrinsic geometry is given by rational coordinates each with at most $b$ bits. This time bound remains pseudopolynomial for polyhedra with $O(\log n)$ distinct edges lengths, but is exponential in the worst case. Along the way, we introduce the expression RAM model of computation, formalizing a connection between the real RAM and word RAM hinted at by past work on exact geometric computation.
△ Less
Submitted 9 August, 2023; v1 submitted 2 August, 2020;
originally announced August 2020.
-
Escaping a Polygon
Authors:
Zachary Abel,
Hugo Akitaya,
Erik D. Demaine,
Martin L. Demaine,
Adam Hesterberg,
Jason S. Ku,
Jayson Lynch
Abstract:
Suppose an "escaping" player moves continuously at maximum speed 1 in the interior of a region, while a "pursuing" player moves continuously at maximum speed $r$ outside the region. For what $r$ can the first player escape the region, that is, reach the boundary a positive distance away from the pursuing player, assuming optimal play by both players? We formalize a model for this infinitesimally a…
▽ More
Suppose an "escaping" player moves continuously at maximum speed 1 in the interior of a region, while a "pursuing" player moves continuously at maximum speed $r$ outside the region. For what $r$ can the first player escape the region, that is, reach the boundary a positive distance away from the pursuing player, assuming optimal play by both players? We formalize a model for this infinitesimally alternating 2-player game that we prove has a unique winner in any region with locally rectifiable boundary, avoiding pathological behaviors (where both players can have "winning strategies") previously identified for pursuit-evasion games such as the Lion and Man problem in certain metric spaces. For some regions, including both equilateral triangle and square, we give exact results for the critical speed ratio, above which the pursuing player can win and below which the escaping player can win (and at which the pursuing player can win). For simple polygons, we give a simple formula and polynomial-time algorithm that is guaranteed to give a 10.89898-approximation to the critical speed ratio, and we give a pseudopolynomial-time approximation scheme for arbitrarily approximating the critical speed ratio. On the negative side, we prove NP-hardness of the problem for polyhedral domains in 3D, and prove stronger results (PSPACE-hardness and NP-hardness even to approximate) for generalizations to multiple escaping and pursuing players.
△ Less
Submitted 11 March, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Rigid Foldability is NP-Hard
Authors:
Hugo Akitaya,
Erik D. Demaine,
Takashi Horiyama,
Thomas C. Hull,
Jason S. Ku,
Tomohiro Tachi
Abstract:
In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer orde…
▽ More
In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer ordering and possible self-intersection of the material, rigid foldability from a planar state is hard even though there is no potential self-intersection. In fact, the complexity comes from the combinatorial behavior of the different possible rigid folding configurations at each vertex. The results underpin the fact that it is harder to fold from an unfolded sheet of paper than to unfold a folded state back to a plane, frequently encountered problem when realizing folding-based systems such as self-folding matter and reconfigurable robots.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Rigid Origami Vertices: Conditions and Forcing Sets
Authors:
Zachary Abel,
Jason Cantarella,
Erik D. Demaine,
David Eppstein,
Thomas C. Hull,
Jason S. Ku,
Robert J. Lang,
Tomohiro Tachi
Abstract:
We develop an intrinsic necessary and sufficient condition for single-vertex origami crease patterns to be able to fold rigidly. We classify such patterns in the case where the creases are pre-assigned to be mountains and valleys as well as in the unassigned case. We also illustrate the utility of this result by applying it to the new concept of minimal forcing sets for rigid origami models, which…
▽ More
We develop an intrinsic necessary and sufficient condition for single-vertex origami crease patterns to be able to fold rigidly. We classify such patterns in the case where the creases are pre-assigned to be mountains and valleys as well as in the unassigned case. We also illustrate the utility of this result by applying it to the new concept of minimal forcing sets for rigid origami models, which are the smallest collection of creases that, when folded, will force all the other creases to fold in a prescribed way.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
