No Arabic abstract
In our previous two papers, we studied (positive) 3D gadgets in origami extrusions which create a top face parallel to the ambient paper and two side faces sharing a ridge with two simple outgoing pleats. Then a natural problem comes up whether it is possible to construct a `negative 3D gadget from any positive one having the same net without changing the outgoing pleats, that is, to sink the top and two side faces of any positive 3D gadget to the reverse side without changing the outgoing pleats. Of course, simply sinking the faces causes a tear of the paper, and thus we have to modify the crease pattern. There are two known constructions of negative 3D gadgets before ours, but they do not solve this problem because their outgoing pleats are different from positive ones. In the present paper we give an affirmative solution to the above problem. For this purpose, we present three constructions of negative 3D gadgets with a supporting triangle on the back side, which are based on our previous ones of positive 3D gadgets. The first two are an extension of those presented in our previous paper, and the third is new. We prove that our first and third constructions solve the problem. Our solutions enable us to deal with positive and negative 3D gadgets on the same basis, so that we can construct from an origami extrusion constructed with 3D gadgets its negative using the same pleats if there are no interferences among the 3D gadgets. We also treat repetition/division of negative 3D gadgets under certain conditions, which reduces their interferences with others.
An origami extrusion is a folding of a 3D object in the middle of a flat piece of paper, using 3D gadgets which create faces with solid angles. Our main concern is to make origami extrusions of polyhedrons using 3D gadgets with simple outgoing pleats, where a simple pleat is a pair of a mountain fold and a valley fold which are parallel to each other. In this paper we present a new type of 3D gadgets with simple outgoing pleats in origami extrusions and their construction. Our 3D gadgets are downward compatible with the conventional pyramid-supported gadgets developed by Calros Natan as a generalization of the cube gadget, in the sense that in many cases we can replace the conventional gadgets with the new ones with the same outgoing pleats while the converse is not always possible. We can also change angles of the outgoing pleats under certain conditions. Unlike the conventional pyramid-supported 3D gadgets, the new ones have flat back sides above the ambient paper, and thus we can make flat-foldable origami extrusions. Furthermore, since our new 3D gadgets are less interfering with adjacent gadgets than the conventional ones, we can use wider pleats at one time to make the extrusion higher. For example, we prove that the maximal height of the prism of any convex polygon (resp. any triangle) that can be extruded with our new gadgets is more than 4/3 times (resp. $sqrt{2}$ times) of that with the conventional ones. We also present explicit constructions of division/repetition and negati
An origami extrusion is a folding of a 3D object in the middle of a flat piece of paper, using 3D gadgets which create faces with solid angles. In this paper we focus on 3D gadgets which create a top face parallel to the ambient paper and two side faces sharing a ridge, with two outgoing simple pleats, where a simple pleat is a pair of a mountain fold and a valley fold. There are two such types of 3D gadgets. One is the conventional type of 3D gadgets with a triangular pyramid supporting the two side faces from inside. The other is the newer type of 3D gadgets presented in our previous paper, which improve the conventional ones in several respects: They have flat back sides above the ambient paper and no gap between the side faces; they are less interfering with adjacent gadgets so that we can make the extrusion higher at one time; they are downward compatible with conventional ones if constructible; they have a modified flat-back gadget used for repetition which does not interfere with adjacent gadgets; the angles of their outgoing pleats can be changed under certain conditions. However, there are cases where we can apply the conventional gadgets while we cannot our previous ones. The purpose of this paper is to improve our previous 3D gadgets to be completely downward compatible with the conventional ones, in the sense that any conventional gadget can be replaced by our improved one with the same outgoing pleats, but the converse is not always possible. To be more precise, we prove that for any given conventional 3D gadget there are an infinite number of improved 3D gadgets which are compatible with it, and the conventional 3D gadget can be replaced with any of these 3D gadgets without affecting any other conventional 3D gadget. Also, we see that our improved 3D gadget keep all of the above advantages over the conventional ones.
The Hausdorff distance, the Gromov-Hausdorff, the Frechet and the natural pseudo-distances are instances of dissimilarity measures widely used in shape comparison. We show that they share the property of being defined as $inf_rho F(rho)$ where $F$ is a suitable functional and $rho$ varies in a set of correspondences containing the set of homeomorphisms. Our main result states that the set of homeomorphisms cannot be enlarged to a metric space $mathcal{K}$, in such a way that the composition in $mathcal{K}$ (extending the composition of homeomorphisms) passes to the limit and, at the same time, $mathcal{K}$ is compact.
This paper introduces three sets of sufficient conditions, for generating bijective simplicial mappings of manifold meshes. A necessary condition for a simplicial mapping of a mesh to be injective is that it either maintains the orientation of all elements or flips all the elements. However, these conditions are known to be insufficient for injectivity of a simplicial map. In this paper we provide additional simple conditions that, together with the above mentioned necessary conditions guarantee injectivity of the simplicial map. The first set of conditions generalizes classical global inversion theorems to the mesh (piecewise-linear) case. That is, proves that in case the boundary simplicial map is bijective and the necessary condition holds then the map is injective and onto the target domain. The second set of conditions is concerned with mapping of a mesh to a polytope and replaces the (often hard) requirement of a bijective boundary map with a collection of linear constraints and guarantees that the resulting map is injective over the interior of the mesh and onto. These linear conditions provide a practical tool for optimizing a map of the mesh onto a given polytope while allowing the boundary map to adjust freely and keeping the injectivity property in the interior of the mesh. The third set of conditions adds to the second set the requirement that the boundary maps are orientation preserving as-well (with a proper definition of boundary map orientation). This set of conditions guarantees that the map is injective on the boundary of the mesh as-well as its interior. Several experiments using the sufficient conditions are shown for mapping triangular meshes. A secondary goal of this paper is to advocate and develop the tool of degree in the context of mesh processing.
A terrain is an $x$-monotone polygon whose lower boundary is a single line segment. We present an algorithm to find in a terrain a triangle of largest area in $O(n log n)$ time, where $n$ is the number of vertices defining the terrain. The best previous algorithm for this problem has a running time of $O(n^2)$.