Showing 1–50 of 87 results for author: O'Rourke, J

Super Guarding and Dark Rays in Art Galleries

Authors: MIT CompGeom Group, Hugo A. Akitaya, Erik D. Demaine, Adam Hesterberg, Anna Lubiw, Jayson Lynch, Joseph O'Rourke, Frederick Stock

Abstract: We explore an Art Gallery variant where each point of a polygon must be seen by k guards, and guards cannot see through other guards. Surprisingly, even covering convex polygons under this variant is not straightforward. For example, covering every point in a triangle k=4 times (a 4-cover) requires 5 guards, and achieving a 10-cover requires 12 guards. Our main result is tight bounds on k-covering… ▽ More We explore an Art Gallery variant where each point of a polygon must be seen by k guards, and guards cannot see through other guards. Surprisingly, even covering convex polygons under this variant is not straightforward. For example, covering every point in a triangle k=4 times (a 4-cover) requires 5 guards, and achieving a 10-cover requires 12 guards. Our main result is tight bounds on k-covering a convex polygon of n vertices, for all k and n. The proofs of both upper and lower bounds are nontrivial. We also obtain bounds for simple polygons, leaving tight bounds an open problem. △ Less

Submitted 9 April, 2024; v1 submitted 6 April, 2024; originally announced April 2024.

Comments: 23 pages, 16 figures, 9 references

MSC Class: 52C99 ACM Class: F.2.2; G.2.2

Skeletal Cut Loci on Convex Polyhedra

Authors: Joseph O'Rourke, Costin Vilcu

Abstract: On a convex polyhedron P, the cut locus C(x) with respect to a point x is a tree of geodesic segments (shortest paths) on P that includes every vertex. We say that P has a skeletal cut locus if there is some x in P such that C(x) is a subset of Sk(P), where Sk(P) is the 1-skeleton of P . At a first glance, there seems to be very little relation between the cut locus and the 1-skeleton, as the firs… ▽ More On a convex polyhedron P, the cut locus C(x) with respect to a point x is a tree of geodesic segments (shortest paths) on P that includes every vertex. We say that P has a skeletal cut locus if there is some x in P such that C(x) is a subset of Sk(P), where Sk(P) is the 1-skeleton of P . At a first glance, there seems to be very little relation between the cut locus and the 1-skeleton, as the first one is an intrinsic geometry notion, and the second one specifies the combinatorics of P. In this paper we study skeletal cut loci, obtaining four main results. First, given any combinatorial tree T without degree-2 nodes, there exists a convex polyhedron P and a point x in P with a cut locus that lies in Sk(P), and whose combinatorics match T. Second, any (non-degenerate) polyhedron P has at most a finite number of points x for which C(x) is a subset of Sk(P). Third, we show that almost all polyhedra have no skeletal cut locus. Fourth, we provide a combinatorial restriction to the existence of skeletal cut loci. Because the source unfolding of P with respect to x is always a non-overlap** net for P, and because the boundary of the source unfolding is the (unfolded) cut locus, source unfoldings of polyhedra with skeletal cut loci are edge-unfoldings, and moreover "blooming," avoiding self-intersection during an unfolding process. △ Less

Submitted 29 February, 2024; v1 submitted 3 December, 2023; originally announced December 2023.

Comments: 20 pages, 12 figures, 9 references. v2: Many minor improvements

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Polar Zonohedra Edge-Unfold to Nets

Authors: Joseph O'Rourke

Abstract: This note proves that every polar zonohedron has an edge-unfolding to a non-overlap** net. This note proves that every polar zonohedron has an edge-unfolding to a non-overlap** net. △ Less

Submitted 16 February, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: 22 pages, 16 figures, 7 references. v2 added a figure

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Every Combinatorial Polyhedron Can Unfold with Overlap

Authors: Joseph O'Rourke

Abstract: Ghomi proved that every convex polyhedron could be stretched via an affine transformation so that it has an edge-unfolding to a net [Gho14]. A net is a simple planar polygon; in particular, it does not self-overlap. One can view his result as establishing that every combinatorial polyhedron has a metric realization that allows unfolding to a net. Joseph Malkevitch asked if the reverse holds (in… ▽ More Ghomi proved that every convex polyhedron could be stretched via an affine transformation so that it has an edge-unfolding to a net [Gho14]. A net is a simple planar polygon; in particular, it does not self-overlap. One can view his result as establishing that every combinatorial polyhedron has a metric realization that allows unfolding to a net. Joseph Malkevitch asked if the reverse holds (in some sense of ``reverse"): Is there a combinatorial polyhedron such that, for every metric realization P in R^3, and for every spanning cut-tree T, P cut by T unfolds to a net? In this note we prove the answer is NO: every combinatorial polyhedron has a realization and a cut-tree that unfolds the polyhedron with overlap. △ Less

Submitted 15 February, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: 15 pages, 12 figures, 12 references. v2: minor clarifications

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Hamiltonian Quasigeodesics yield Nets

Authors: Joseph O'Rourke

Abstract: This note establishes that every polyhedron that has a Hamiltonian quasigeodesic can be edge-unfolded to a net. This note establishes that every polyhedron that has a Hamiltonian quasigeodesic can be edge-unfolded to a net. △ Less

Submitted 10 June, 2022; originally announced June 2022.

Comments: 6 pages, 3 figures, 5 references

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Simple Closed Quasigeodesics on Tetrahedra

Authors: Joseph O'Rourke, Costin Vilcu

Abstract: Pogorelov proved in 1949 that every every convex polyhedron has at least three simple closed quasigeodesics. Whereas a geodesic has exactly pi surface angle to either side at each point, a quasigeodesic has at most pi surface angle to either side at each point. Pogorelov's existence proof did not suggest a way to identify the three quasigeodesics, and it is only recently that a finite algorithm ha… ▽ More Pogorelov proved in 1949 that every every convex polyhedron has at least three simple closed quasigeodesics. Whereas a geodesic has exactly pi surface angle to either side at each point, a quasigeodesic has at most pi surface angle to either side at each point. Pogorelov's existence proof did not suggest a way to identify the three quasigeodesics, and it is only recently that a finite algorithm has been proposed. Here we identify three simple closed quasigeodesics on any tetrahedron: at least one through 1 vertex, at least one through 2 vertices, and at least one through 3 vertices. The only exception is that isosceles tetrahedra have simple closed geodesics but do not have a 1-vertex quasigeodesic. We also identify an infinite class of tetrahedra that each have at least 34 simple closed quasigeodesics. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 34 pages, 17 figures, 16 references. Incorporates arXiv:2109.07444 in Section 5

MSC Class: 51M20; 52B05; 52B10 ACM Class: F.2.2; G.2.2

Resha** Convex Polyhedra

Authors: Joseph O'Rourke, Costin Vilcu

Abstract: Given a convex polyhedral surface P, we define a tailoring as excising from P a simple polygonal domain that contains one vertex v, and whose boundary can be sutured closed to a new convex polyhedron via Alexandrov's Gluing Theorem. In particular, a digon-tailoring cuts off from P a digon containing v, a subset of P bounded by two equal-length geodesic segments that share endpoints, and can then z… ▽ More Given a convex polyhedral surface P, we define a tailoring as excising from P a simple polygonal domain that contains one vertex v, and whose boundary can be sutured closed to a new convex polyhedron via Alexandrov's Gluing Theorem. In particular, a digon-tailoring cuts off from P a digon containing v, a subset of P bounded by two equal-length geodesic segments that share endpoints, and can then zip closed. In the first part of this monograph, we primarily study properties of the tailoring operation on convex polyhedra. We show that P can be reshaped to any polyhedral convex surface Q a subset of conv(P) by a sequence of tailorings. This investigation uncovered previously unexplored topics, including a notion of unfolding of Q onto P--cutting up Q into pieces pasted non-overlap** onto P, and to continuously folding P onto Q. In the second part of this monograph, we study vertex-merging processes on convex polyhedra (each vertex-merge being in a sense the reverse of a digon-tailoring), creating embeddings of P into enlarged surfaces. We aim to produce non-overlap** polyhedral and planar unfoldings, which led us to develop an apparently new theory of convex sets, and of minimal length enclosing polygons, on convex polyhedra. All our theorem proofs are constructive, implying polynomial-time algorithms. △ Less

Submitted 21 May, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: Research monograph. 236 pages, 107 figures, 60 references. arXiv admin note: text overlap with arXiv:2008.01759. v2 adds a new section 9.3 P Continuously Folding onto Q

MSC Class: 52A15; 52B10; 52C45; 53C45; 68U05 (Primary); 52-02; 52-08; 52A37; 52C99 (Secondary) ACM Class: F.2.2; G.2.2

Cut Locus Realizations on Convex Polyhedra

Authors: Joseph O'Rourke, Costin Vîlcu

Abstract: We prove that every positively-weighted tree T can be realized as the cut locus C(x) of a point x on a convex polyhedron P, with T weights matching C(x) lengths. If T has n leaves, P has (in general) n+1 vertices. We show there are in fact a continuum of polyhedra P each realizing T for some x on P. Three main tools in the proof are properties of the star unfolding of P, Alexandrov's gluing theore… ▽ More We prove that every positively-weighted tree T can be realized as the cut locus C(x) of a point x on a convex polyhedron P, with T weights matching C(x) lengths. If T has n leaves, P has (in general) n+1 vertices. We show there are in fact a continuum of polyhedra P each realizing T for some x on P. Three main tools in the proof are properties of the star unfolding of P, Alexandrov's gluing theorem, and a cut-locus partition lemma. The construction of P from T is surprisingly simple. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: 16 pages, 7 figures, 16 references

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Tailoring for Every Body: Resha** Convex Polyhedra

Authors: Joseph O'Rourke, Costin Vilcu

Abstract: Given any two convex polyhedra P and Q, we prove as one of our main results that the surface of P can be reshaped to a homothet of Q by a finite sequence of "tailoring" steps. Each tailoring excises a digon surrounding a single vertex and sutures the digon closed. One phrasing of this result is that, if Q can be "sculpted" from P by a series of slices with planes, then Q can be tailored from P. An… ▽ More Given any two convex polyhedra P and Q, we prove as one of our main results that the surface of P can be reshaped to a homothet of Q by a finite sequence of "tailoring" steps. Each tailoring excises a digon surrounding a single vertex and sutures the digon closed. One phrasing of this result is that, if Q can be "sculpted" from P by a series of slices with planes, then Q can be tailored from P. And there is a sense in which tailoring is finer than sculpting in that P may be tailored to polyhedra that are not achievable by sculpting P. It is an easy corollary that, if S is the surface of any convex body, then any convex polyhedron P may be tailored to approximate a homothet of S as closely as desired. So P can be "whittled" to e.g., a sphere S. Another main result achieves the same resha**, but by excising more complicated shapes we call "crests," still each enclosing one vertex. Reversing either digon-tailoring or crest-tailoring leads to proofs that any Q inside P can be enlarged to P by cutting Q and inserting and sealing surface patches. One surprising corollary of these results is that, for Q a subset of P, we can cut-up Q into pieces and paste them non-overlap** onto an isometric subset of P. This can be viewed as a form of "unfolding" Q onto P. All our proofs are constructive, and lead to polynomial-time algorithms. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 62 pages, 28 figures, 24 references

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

A Note on Unbounded Polyhedra Derived from Convex Caps

Authors: Joseph O'Rourke

Abstract: The construction of an unbounded polyhedron from a "jagged'' convex cap is described, and several of its properties discussed, including its relation to Alexandrov's "limit angle." The construction of an unbounded polyhedron from a "jagged'' convex cap is described, and several of its properties discussed, including its relation to Alexandrov's "limit angle." △ Less

Submitted 15 February, 2020; originally announced February 2020.

Comments: 9 pages, 6 figures, 5 references

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Unfolding Polyhedra

Authors: Joseph O'Rourke

Abstract: Starting with the unsolved "Dürer's problem" of edge-unfolding a convex polyhedron to a net, we specialize and generalize (a) the types of cuts permitted, and (b) the polyhedra shapes, to highlight both advances established and which problems remain open. Starting with the unsolved "Dürer's problem" of edge-unfolding a convex polyhedron to a net, we specialize and generalize (a) the types of cuts permitted, and (b) the polyhedra shapes, to highlight both advances established and which problems remain open. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: Proceedings 31st Canadian Conference on Computational Geometry, Aug 2019, Edmonton, Alberta. pp. 85-86. The arXiv version updates the proceedings version by citing a recent result that not every polycube can be edge-unzipped

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Some Polycubes Have No Edge Zipper Unfolding

Authors: Erik D. Demaine, Martin L. Demaine, David Eppstein, Joseph O'Rourke

Abstract: It is unknown whether every polycube (polyhedron constructed by gluing cubes face-to-face) has an edge unfolding, that is, cuts along edges of the cubes that unfolds the polycube to a single nonoverlap** polygon in the plane. Here we construct polycubes that have no *edge zipper unfolding* where the cut edges are further restricted to form a path. It is unknown whether every polycube (polyhedron constructed by gluing cubes face-to-face) has an edge unfolding, that is, cuts along edges of the cubes that unfolds the polycube to a single nonoverlap** polygon in the plane. Here we construct polycubes that have no *edge zipper unfolding* where the cut edges are further restricted to form a path. △ Less

Submitted 22 July, 2020; v1 submitted 19 July, 2019; originally announced July 2019.

Comments: 11 pages, 10 figures, 9 references. Updated to match the version that will appear in the Canad. Conf. Comput. Geom., Aug. 2020

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Journal ref: Geombinatorics, Vol. XXXI, Issue 3 (Jan 2022), pp.101-109

Un-unzippable Convex Caps

Authors: Joseph O'Rourke

Abstract: An unzip** of a polyhedron P is a cut-path through its vertices that unfolds P to a non-overlap** shape in the plane. It is an open problem to decide if every convex P has an unzip**. Here we show that there are nearly flat convex caps that have no unzip**. A convex cap is a "top" portion of a convex polyhedron; it has a boundary, i.e., it is not closed by a base. An unzip** of a polyhedron P is a cut-path through its vertices that unfolds P to a non-overlap** shape in the plane. It is an open problem to decide if every convex P has an unzip**. Here we show that there are nearly flat convex caps that have no unzip**. A convex cap is a "top" portion of a convex polyhedron; it has a boundary, i.e., it is not closed by a base. △ Less

Submitted 5 February, 2018; originally announced February 2018.

Comments: 14 pages, 14 figures, 10 references

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Threadable Curves

Authors: Joseph O'Rourke, Emmely Rogers

Abstract: We define a plane curve to be threadable if it can rigidly pass through a point-hole in a line L without otherwise touching L. Threadable curves are in a sense generalizations of monotone curves. We have two main results. The first is a linear-time algorithm for deciding whether a polygonal curve is threadable---O(n) for a curve of n vertices---and if threadable, finding a sequence of rigid motion… ▽ More We define a plane curve to be threadable if it can rigidly pass through a point-hole in a line L without otherwise touching L. Threadable curves are in a sense generalizations of monotone curves. We have two main results. The first is a linear-time algorithm for deciding whether a polygonal curve is threadable---O(n) for a curve of n vertices---and if threadable, finding a sequence of rigid motions to thread it through a hole. We also sketch an argument that shows that the threadability of algebraic curves can be decided in time polynomial in the degree of the curve. The second main result is an O(n polylog n)-time algorithm for deciding whether a 3D polygonal curve can thread through hole in a plane in R^3, and if so, providing a description of the rigid motions that achieve the threading. △ Less

Submitted 22 March, 2018; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 16 pages, 12 figures, 12 references. v2: Revised with brief addendum after Mikkel Abrahamsen pointed us to a relevant reference on "sweepable polygons." v3: Major revision

MSC Class: 52C25 ACM Class: F.2.2; G.2.2

Addendum to: Edge-Unfolding Nearly Flat Convex Caps

Authors: Joseph O'Rourke

Abstract: This addendum to [O'R17] establishes that a nearly flat acutely triangulated convex cap in the sense of that paper can be edge-unfolded even if closed to a polyhedron by adding the convex polygonal base under the cap. This addendum to [O'R17] establishes that a nearly flat acutely triangulated convex cap in the sense of that paper can be edge-unfolded even if closed to a polyhedron by adding the convex polygonal base under the cap. △ Less

Submitted 2 September, 2017; originally announced September 2017.

Comments: 11 pages, 8 figures, 3 references. Eventually will be incorporated into [O'R17]: arXiv:1707.01006 [cs.CG]

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Edge-Unfolding Nearly Flat Convex Caps

Authors: Joseph O'Rourke

Abstract: The main result of this paper is a proof that a nearly flat, acutely triangulated convex cap C in R^3 has an edge-unfolding to a non-overlap** polygon in the plane. A convex cap is the intersection of the surface of a convex polyhedron and a halfspace. "Nearly flat" means that every outer face normal forms a sufficiently small angle phi < Phi with the z-axis orthogonal to the halfspace bounding… ▽ More The main result of this paper is a proof that a nearly flat, acutely triangulated convex cap C in R^3 has an edge-unfolding to a non-overlap** polygon in the plane. A convex cap is the intersection of the surface of a convex polyhedron and a halfspace. "Nearly flat" means that every outer face normal forms a sufficiently small angle phi < Phi with the z-axis orthogonal to the halfspace bounding plane. The size of Phi depends on the acuteness gap alpha: if every triangle angle is at most pi/2-alpha, then Phi ~= 0.36 sqrt(alpha) suffices; e.g., for alpha ~= 3deg, Phi = 5deg. Even if C is closed to a polyhedron by adding the convex polygonal base under C, this polyhedron can be edge-unfolded without overlap. The proof employs the recent concepts of angle-monotone and radially monotone curves. The proof is constructive, leading to a polynomial-time algorithm for finding the edge-cuts, at worst O(n^2); a version has been implemented. △ Less

Submitted 5 January, 2021; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: 34 pages, 28 figures, 16 references. Version 2 shortened the proof of Lemma 3 and added fewest nets to the Discussion section. Version 3 was a significant revision, the full version of a conference paper, reflecting corrections and suggestions from four referees. Version 4 clarifies the proof of Theorem 9 on p.11, and adds Figure 21 (p.26) to better illustrate that proof

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Angle-monotone Paths in Non-obtuse Triangulations

Authors: Anna Lubiw, Joseph O'Rourke

Abstract: We reprove a result of Dehkordi, Frati, and Gudmundsson: every two vertices in a non-obtuse triangulation of a point set are connected by an angle-monotone path--an xy-monotone path in an appropriately rotated coordinate system. We show that this result cannot be extended to angle-monotone spanning trees, but can be extended to boundary-rooted spanning forests. The latter leads to a conjectural ed… ▽ More We reprove a result of Dehkordi, Frati, and Gudmundsson: every two vertices in a non-obtuse triangulation of a point set are connected by an angle-monotone path--an xy-monotone path in an appropriately rotated coordinate system. We show that this result cannot be extended to angle-monotone spanning trees, but can be extended to boundary-rooted spanning forests. The latter leads to a conjectural edge-unfolding of sufficiently shallow polyhedral convex caps. △ Less

Submitted 1 July, 2017; originally announced July 2017.

Comments: 6 pages, 9 figures, 6 references. To appear in the *Canadian Conference on Computational Geometry*, July 2017

MSC Class: 52B10; 52C99 ACM Class: F.2.2; G.2.2

Unfolding Genus-2 Orthogonal Polyhedra with Linear Refinement

Authors: Mirela Damian, Erik Demaine, Robin Flatland, Joseph O'Rourke

Abstract: We show that every orthogonal polyhedron of genus at most 2 can be unfolded without overlap while using only a linear number of orthogonal cuts (parallel to the polyhedron edges). This is the first result on unfolding general orthogonal polyhedra beyond genus-0. Our unfolding algorithm relies on the existence of at most 2 special leaves in what we call the "unfolding tree" (which ties back to the… ▽ More We show that every orthogonal polyhedron of genus at most 2 can be unfolded without overlap while using only a linear number of orthogonal cuts (parallel to the polyhedron edges). This is the first result on unfolding general orthogonal polyhedra beyond genus-0. Our unfolding algorithm relies on the existence of at most 2 special leaves in what we call the "unfolding tree" (which ties back to the genus), so unfolding polyhedra of genus 3 and beyond requires new techniques. △ Less

Submitted 31 October, 2016; originally announced November 2016.

Comments: 22 pages, 10 figures

ACM Class: F.2.2; G.2.2

Unfolding Convex Polyhedra via Radially Monotone Cut Trees

Authors: Joseph O'Rourke

Abstract: A notion of "radially monotone" cut paths is introduced as an effective choice for finding a non-overlap** edge-unfolding of a convex polyhedron. These paths have the property that the two sides of the cut avoid overlap locally as the cut is infinitesimally opened by the curvature at the vertices along the path. It is shown that a class of planar, triangulated convex domains always have a radial… ▽ More A notion of "radially monotone" cut paths is introduced as an effective choice for finding a non-overlap** edge-unfolding of a convex polyhedron. These paths have the property that the two sides of the cut avoid overlap locally as the cut is infinitesimally opened by the curvature at the vertices along the path. It is shown that a class of planar, triangulated convex domains always have a radially monotone spanning forest, a forest that can be found by an essentially greedy algorithm. This algorithm can be mimicked in 3D and applied to polyhedra inscribed in a sphere. Although the algorithm does not provably find a radially monotone cut tree, it in fact does find such a tree with high frequency, and after cutting unfolds without overlap. This performance of a greedy algorithm leads to the conjecture that spherical polyhedra always have a radially monotone cut tree and unfold without overlap. △ Less

Submitted 29 July, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: 41 pages, 39 figures. V2 updated to cite in an addendum work on "self-approaching curves."

MSC Class: 52B10 ACM Class: F.2.2

Hypercube Unfoldings that Tile R^3 and R^2

Authors: Giovanna Diaz, Joseph O'Rourke

Abstract: We show that the hypercube has a face-unfolding that tiles space, and that unfolding has an edge-unfolding that tiles the plane. So the hypercube is a "dimension-descending tiler." We also show that the hypercube cross unfolding made famous by Dali tiles space, but we leave open the question of whether or not it has an edge-unfolding that tiles the plane. We show that the hypercube has a face-unfolding that tiles space, and that unfolding has an edge-unfolding that tiles the plane. So the hypercube is a "dimension-descending tiler." We also show that the hypercube cross unfolding made famous by Dali tiles space, but we leave open the question of whether or not it has an edge-unfolding that tiles the plane. △ Less

Submitted 8 December, 2015; v1 submitted 7 December, 2015; originally announced December 2015.

Comments: 20 pages, 18 figures, 10 refs. Version 2: Corrected a typo, added a reference

MSC Class: 51F; 52C20 ACM Class: F.2.2; G.2

Spiral Unfoldings of Convex Polyhedra

Authors: Joseph O'Rourke

Abstract: The notion of a spiral unfolding of a convex polyhedron, resulting by flattening a special type of Hamiltonian cut-path, is explored. The Platonic and Archimedian solids all have nonoverlap** spiral unfoldings, although among generic polyhedra, overlap is more the rule than the exception. The structure of spiral unfoldings is investigated, primarily by analyzing one particular class, the polyhed… ▽ More The notion of a spiral unfolding of a convex polyhedron, resulting by flattening a special type of Hamiltonian cut-path, is explored. The Platonic and Archimedian solids all have nonoverlap** spiral unfoldings, although among generic polyhedra, overlap is more the rule than the exception. The structure of spiral unfoldings is investigated, primarily by analyzing one particular class, the polyhedra of revolution. △ Less

Submitted 19 October, 2015; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 22 pages, 36 figures, 4 references. Version 2 added a conjecture in a final section

MSC Class: 52B10 ACM Class: F.2.2; I.3.5

A 2-chain can interlock with an open 10-chain

Authors: Bin Lu, Joseph O'Rourke, Jianyuan K. Zhong

Abstract: It is an open problem, posed in \cite{SoCG}, to determine the minimal $k$ such that an open flexible $k$-chain can interlock with a flexible 2-chain. It was first established in \cite{GLOSZ} that there is an open 16-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in \cite{GLOZ} to establish interlocking between a 2-chain and an open 11-chain. Here we improve t… ▽ More It is an open problem, posed in \cite{SoCG}, to determine the minimal $k$ such that an open flexible $k$-chain can interlock with a flexible 2-chain. It was first established in \cite{GLOSZ} that there is an open 16-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in \cite{GLOZ} to establish interlocking between a 2-chain and an open 11-chain. Here we improve that result once more, establishing interlocking between a 2-chain and a 10-chain. We present arguments that indicate that 10 is likely the minimum. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: 9 pages, 6 figures

New and Improved Spanning Ratios for Yao Graphs

Authors: Luis Barba, Prosenjit Bose, Mirela Damian, Rolf Fagerberg, Wah Loon Keng, Joseph O'Rourke, André van Renssen, Perouz Taslakian, Sander Verdonschot, Ge Xia

Abstract: For a set of points in the plane and a fixed integer $k > 0$, the Yao graph $Y_k$ partitions the space around each point into $k$ equiangular cones of angle $θ=2π/k$, and connects each point to a nearest neighbor in each cone. It is known for all Yao graphs, with the sole exception of $Y_5$, whether or not they are geometric spanners. In this paper we close this gap by showing that for odd… ▽ More For a set of points in the plane and a fixed integer $k > 0$, the Yao graph $Y_k$ partitions the space around each point into $k$ equiangular cones of angle $θ=2π/k$, and connects each point to a nearest neighbor in each cone. It is known for all Yao graphs, with the sole exception of $Y_5$, whether or not they are geometric spanners. In this paper we close this gap by showing that for odd $k \geq 5$, the spanning ratio of $Y_k$ is at most $1/(1-2\sin(3θ/8))$, which gives the first constant upper bound for $Y_5$, and is an improvement over the previous bound of $1/(1-2\sin(θ/2))$ for odd $k \geq 7$. We further reduce the upper bound on the spanning ratio for $Y_5$ from $10.9$ to $2+\sqrt{3} \approx 3.74$, which falls slightly below the lower bound of $3.79$ established for the spanning ratio of $Θ_5$ ($Θ$-graphs differ from Yao graphs only in the way they select the closest neighbor in each cone). This is the first such separation between a Yao and $Θ$-graph with the same number of cones. We also give a lower bound of $2.87$ on the spanning ratio of $Y_5$. Finally, we revisit the $Y_6$ graph, which plays a particularly important role as the transition between the graphs ($k > 6$) for which simple inductive proofs are known, and the graphs ($k \le 6$) whose best spanning ratios have been established by complex arguments. Here we reduce the known spanning ratio of $Y_6$ from $17.6$ to $5.8$, getting closer to the spanning ratio of 2 established for $Θ_6$. △ Less

Submitted 14 March, 2019; v1 submitted 22 July, 2013; originally announced July 2013.

Comments: 35 pages. This version includes a correction to Lemma 13 in the journal version. We are grateful to Davood Bakhshesh for making us aware of the error

Journal ref: Journal of Computational Geometry, 6(2):19-53, 2015. Special issue for SoCG 2014

From Pop-Up Cards to Coffee-Cup Caustics: The Knight's Visor

Authors: Stephanie Jakus, Joseph O'Rourke

Abstract: As a pedagogical exercise, we derive the shape of a particularly elegant pop-up card design, and show that it connects to a classically studied plane curve that is (among other interpretations) a caustic of a circle. As a pedagogical exercise, we derive the shape of a particularly elegant pop-up card design, and show that it connects to a classically studied plane curve that is (among other interpretations) a caustic of a circle. △ Less

Submitted 6 June, 2012; originally announced June 2012.

Comments: 12 pages, 13 figures

MSC Class: 51N20; 53A04 ACM Class: F.2.2

Unfolding Prismatoids as Convex Patches: Counterexamples and Positive Results

Authors: Joseph O'Rourke

Abstract: We address the unsolved problem of unfolding prismatoids in a new context, viewing a "topless prismatoid" as a convex patch---a polyhedral subset of the surface of a convex polyhedron homeomorphic to a disk. We show that several natural strategies for unfolding a prismatoid can fail, but obtain a positive result for "petal unfolding" topless prismatoids. We also show that the natural extension to… ▽ More We address the unsolved problem of unfolding prismatoids in a new context, viewing a "topless prismatoid" as a convex patch---a polyhedral subset of the surface of a convex polyhedron homeomorphic to a disk. We show that several natural strategies for unfolding a prismatoid can fail, but obtain a positive result for "petal unfolding" topless prismatoids. We also show that the natural extension to a convex patch consisting of a face of a polyhedron and all its incident faces, does not always have a nonoverlap** petal unfolding. However, we obtain a positive result by excluding the problematical patches. This then leads a positive result for restricted prismatoids. Finally, we suggest suggest studying the unfolding of convex patches in general, and offer some possible lines of investigation. △ Less

Submitted 9 May, 2012; originally announced May 2012.

Comments: This paper was prepared for but never submitted to CCCG'12. 12 two-column pages. 27 figures

MSC Class: 52B10 ACM Class: F.2.2; G.2

Source Unfoldings of Convex Polyhedra via Certain Closed Curves

Authors: **-ichi Itoh, Joseph O'Rourke, Costin Vilcu

Abstract: We extend the notion of a source unfolding of a convex polyhedron P to be based on a closed polygonal curve Q in a particular class rather than based on a point. The class requires that Q "lives on a cone" to both sides; it includes simple, closed quasigeodesics. Cutting a particular subset of the cut locus of Q (in P) leads to a non-overlap** unfolding of the polyhedron. This gives a new genera… ▽ More We extend the notion of a source unfolding of a convex polyhedron P to be based on a closed polygonal curve Q in a particular class rather than based on a point. The class requires that Q "lives on a cone" to both sides; it includes simple, closed quasigeodesics. Cutting a particular subset of the cut locus of Q (in P) leads to a non-overlap** unfolding of the polyhedron. This gives a new general method to unfold the surface of any convex polyhedron to a simple, planar polygon. △ Less

Submitted 4 May, 2012; originally announced May 2012.

Comments: A preliminary abstract appeared EuroCG: Proc. 25th European Workshop Comput. Geom., pages 61--64, March 2009. This full version is 19 pages long, with 9 figures

MSC Class: 52B10 ACM Class: F.2.2; G.2

Common Edge-Unzip**s for Tetrahedra

Authors: Joseph O'Rourke

Abstract: It is shown that there are examples of distinct polyhedra, each with a Hamiltonian path of edges, which when cut, unfolds the surfaces to a common net. In particular, it is established for infinite classes of triples of tetrahedra. It is shown that there are examples of distinct polyhedra, each with a Hamiltonian path of edges, which when cut, unfolds the surfaces to a common net. In particular, it is established for infinite classes of triples of tetrahedra. △ Less

Submitted 8 June, 2011; v1 submitted 26 May, 2011; originally announced May 2011.

Comments: 9 pages, 4 figures. Version 2 simplifies one proof

ACM Class: F.2.2

Conical Existence of Closed Curves on Convex Polyhedra

Authors: Joseph O'Rourke, Costin Vilcu

Abstract: Let C be a simple, closed, directed curve on the surface of a convex polyhedron P. We identify several classes of curves C that "live on a cone," in the sense that C and a neighborhood to one side may be isometrically embedded on the surface of a cone Lambda, with the apex a of Lambda enclosed inside (the image of) C; we also prove that each point of C is "visible to" a. In particular, we obtain t… ▽ More Let C be a simple, closed, directed curve on the surface of a convex polyhedron P. We identify several classes of curves C that "live on a cone," in the sense that C and a neighborhood to one side may be isometrically embedded on the surface of a cone Lambda, with the apex a of Lambda enclosed inside (the image of) C; we also prove that each point of C is "visible to" a. In particular, we obtain that these curves have non-self-intersecting developments in the plane. Moreover, the curves we identify that live on cones to both sides support a new type of "source unfolding" of the entire surface of P to one non-overlap** piece, as reported in a companion paper. △ Less

Submitted 14 February, 2011; v1 submitted 3 February, 2011; originally announced February 2011.

Comments: 24 pages, 15 figures, 6 references. Version 2 includes a solution to one of the open problems posed in Version 1, concerning quasigeodesic loops

MSC Class: 52B10 ACM Class: F.2.2

Convex Polyhedra Realizing Given Face Areas

Authors: Joseph O'Rourke

Abstract: Given n >= 4 positive real numbers, we prove in this note that they are the face areas of a convex polyhedron if and only if the largest number is not more than the sum of the others. Given n >= 4 positive real numbers, we prove in this note that they are the face areas of a convex polyhedron if and only if the largest number is not more than the sum of the others. △ Less

Submitted 4 January, 2011; originally announced January 2011.

Comments: 6 pages, 3 figures

ACM Class: F.2.2

A Note on Solid Coloring of Pure Simplicial Complexes

Authors: Joseph O'Rourke

Abstract: We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in R^d may be colored with d+1 colors so that no two simplices that share a (d-1)-facet have the same color. In R^2 this says that any planar map all of whose faces are triangles may be 3-colored, and in R^3 it says that tetrahedra in a collection may be "solid 4-colored" so that no tw… ▽ More We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in R^d may be colored with d+1 colors so that no two simplices that share a (d-1)-facet have the same color. In R^2 this says that any planar map all of whose faces are triangles may be 3-colored, and in R^3 it says that tetrahedra in a collection may be "solid 4-colored" so that no two glued face-to-face receive the same color. △ Less

Submitted 17 December, 2010; originally announced December 2010.

Comments: 11 pages, 6 figures

ACM Class: G.2.2

Flat Zipper-Unfolding Pairs for Platonic Solids

Authors: Joseph O'Rourke

Abstract: We show that four of the five Platonic solids' surfaces may be cut open with a Hamiltonian path along edges and unfolded to a polygonal net each of which can "zipper-refold" to a flat doubly covered parallelogram, forming a rather compact representation of the surface. Thus these regular polyhedra have particular flat "zipper pairs." No such zipper pair exists for a dodecahedron, whose Hamiltonian… ▽ More We show that four of the five Platonic solids' surfaces may be cut open with a Hamiltonian path along edges and unfolded to a polygonal net each of which can "zipper-refold" to a flat doubly covered parallelogram, forming a rather compact representation of the surface. Thus these regular polyhedra have particular flat "zipper pairs." No such zipper pair exists for a dodecahedron, whose Hamiltonian unfoldings are "zip-rigid." This report is primarily an inventory of the possibilities, and raises more questions than it answers. △ Less

Submitted 19 October, 2010; v1 submitted 12 October, 2010; originally announced October 2010.

Comments: 15 pages, 14 figures, 8 references. v2: Added one new figure. v3: Replaced Fig. 13 to remove a duplicate unfolding, reducing from 21 to 20 the distinct unfoldings. v4: Replaced Fig. 13 again, 18 distinct unfoldings

MSC Class: 52B10 ACM Class: F.2.2

On Folding a Polygon to a Polyhedron

Authors: Joseph O'Rourke

Abstract: We show that the open problem presented in "Geometric Folding Algorithms: Linkages, Origami, Polyhedra" [DO07] is solved by a theorem of Burago and Zalgaller [BZ96] from more than a decade earlier. We show that the open problem presented in "Geometric Folding Algorithms: Linkages, Origami, Polyhedra" [DO07] is solved by a theorem of Burago and Zalgaller [BZ96] from more than a decade earlier. △ Less

Submitted 19 July, 2010; originally announced July 2010.

Comments: 6 pages, 1 figure

ACM Class: F.2.2; G.2

On Flat Polyhedra deriving from Alexandrov's Theorem

Authors: Joseph O'Rourke

Abstract: We show that there is a straightforward algorithm to determine if the polyhedron guaranteed to exist by Alexandrov's gluing theorem is a degenerate flat polyhedron, and to reconstruct it from the gluing instructions. The algorithm runs in O(n^3) time for polygons whose gluings are specified by n labels. We show that there is a straightforward algorithm to determine if the polyhedron guaranteed to exist by Alexandrov's gluing theorem is a degenerate flat polyhedron, and to reconstruct it from the gluing instructions. The algorithm runs in O(n^3) time for polygons whose gluings are specified by n labels. △ Less

Submitted 9 September, 2015; v1 submitted 12 July, 2010; originally announced July 2010.

Comments: 8 pages, 3 figures, 10 references. This is a revision of the 2010 note, to clarify the meaning of 'n' in the complexity claim. Previously n was the number of vertices of the polygons, but n should be the complexity of the gluing instructions, which could be arbitrarily larger than the number of polygon vertices

MSC Class: 51M20 ACM Class: F.2.2; G.2

Towards automated high-throughput screening of C. elegans on agar

Authors: Mayank Kabra, Annie L. Conery, Eyleen J. O'Rourke, Xin Xie, Vebjorn Ljosa, Thouis R. Jones, Frederick M. Ausubel, Gary Ruvkun, Anne E. Carpenter, Yoav Freund

Abstract: High-throughput screening (HTS) using model organisms is a promising method to identify a small number of genes or drugs potentially relevant to human biology or disease. In HTS experiments, robots and computers do a significant portion of the experimental work. However, one remaining major bottleneck is the manual analysis of experimental results, which is commonly in the form of microscopy image… ▽ More High-throughput screening (HTS) using model organisms is a promising method to identify a small number of genes or drugs potentially relevant to human biology or disease. In HTS experiments, robots and computers do a significant portion of the experimental work. However, one remaining major bottleneck is the manual analysis of experimental results, which is commonly in the form of microscopy images. This manual inspection is labor intensive, slow and subjective. Here we report our progress towards applying computer vision and machine learning methods to analyze HTS experiments that use Caenorhabditis elegans (C. elegans) worms grown on agar. Our main contribution is a robust segmentation algorithm for separating the worms from the background using brightfield images. We also show that by combining the output of this segmentation algorithm with an algorithm to detect the fluorescent dye, Nile Red, we can reliably distinguish different fluorescence-based phenotypes even though the visual differences are subtle. The accuracy of our method is similar to that of expert human analysts. This new capability is a significant step towards fully automated HTS experiments using C. elegans. △ Less

Submitted 22 March, 2010; originally announced March 2010.

The Yao Graph Y_6 is a Spanner

Authors: Joseph O'Rourke

Abstract: We prove that Y_6 is a spanner. Y_6 is the Yao graph on a set of planar points, which has an edge from each point x to a closest point y within each of the six angular cones of 60 deg surrounding x. We prove that Y_6 is a spanner. Y_6 is the Yao graph on a set of planar points, which has an edge from each point x to a closest point y within each of the six angular cones of 60 deg surrounding x. △ Less

Submitted 1 June, 2010; v1 submitted 19 March, 2010; originally announced March 2010.

Comments: 12 pages, 11 figures, 2 references, unpublished. A subcase of Case(2) of Theorem 1 was overlooked, and I withdraw the paper until that gap is filled.

ACM Class: F.2.2; G.2

Pi/2-Angle Yao Graphs are Spanners

Authors: Prosenjit Bose, Mirela Damian, Karim Douieb, Joseph O'Rourke, Ben Seamone, Michiel Smid, Stefanie Wuhrer

Abstract: We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. We show that the Yao graph Y4 in the L2 metric is a spanner with stretch factor 8(29+23sqrt(2)). Enroute to this, we also show that the Yao graph Y4 in the Linf metric is a planar spanner with stretch factor 8. △ Less

Submitted 17 January, 2010; originally announced January 2010.

Comments: 20 pages, 9 figures

ACM Class: F.2.2

Journal ref: International Journal of Computational Geometry & Applications, 22(1):61-82, 2012

Continuous Blooming of Convex Polyhedra

Authors: Erik D. Demaine, Martin L. Demaine, Vi Hart, John Iacono, Stefan Langerman, Joseph O'Rourke

Abstract: We construct the first two continuous bloomings of all convex polyhedra. First, the source unfolding can be continuously bloomed. Second, any unfolding of a convex polyhedron can be refined (further cut, by a linear number of cuts) to have a continuous blooming. We construct the first two continuous bloomings of all convex polyhedra. First, the source unfolding can be continuously bloomed. Second, any unfolding of a convex polyhedron can be refined (further cut, by a linear number of cuts) to have a continuous blooming. △ Less

Submitted 13 June, 2009; originally announced June 2009.

Comments: 13 pages, 6 figures

ACM Class: I.3.5; F.2.2

Some Properties of Yao Y4 Subgraphs

Authors: Joseph O'Rourke

Abstract: The Yao graph for k=4, Y4, is naturally partitioned into four subgraphs, one per quadrant. We show that the subgraphs for one quadrant differ from the subgraphs for two adjacent quadrants in three properties: planarity, connectedness, and whether the directed graphs are spanners. The Yao graph for k=4, Y4, is naturally partitioned into four subgraphs, one per quadrant. We show that the subgraphs for one quadrant differ from the subgraphs for two adjacent quadrants in three properties: planarity, connectedness, and whether the directed graphs are spanners. △ Less

Submitted 14 May, 2009; originally announced May 2009.

Comments: 7 pages, 6 figures

Report number: Smith Technical Report 093 ACM Class: F.2.2

Unfolding Convex Polyhedra via Quasigeodesic Star Unfoldings

Authors: **-ichi Itoh, Joseph O'Rourke, Costin Vîlcu

Abstract: We extend the notion of a star unfolding to be based on a simple quasigeodesic loop Q rather than on a point. This gives a new general method to unfold the surface of any convex polyhedron P to a simple, planar polygon: shortest paths from all vertices of P to Q are cut, and all but one segment of Q is cut. We extend the notion of a star unfolding to be based on a simple quasigeodesic loop Q rather than on a point. This gives a new general method to unfold the surface of any convex polyhedron P to a simple, planar polygon: shortest paths from all vertices of P to Q are cut, and all but one segment of Q is cut. △ Less

Submitted 12 December, 2008; originally announced December 2008.

Comments: 18 pages, 10 figures

Report number: Smith 091 ACM Class: F.2.2

Highway Hull Revisited

Authors: Greg Aloupis, Jean Cardinal, Sebastien Collette, Ferran Hurtado, Stefan Langerman, Joseph O'Rourke, Belen Palop

Abstract: A highway H is a line in the plane on which one can travel at a greater speed than in the remaining plane. One can choose to enter and exit H at any point. The highway time distance between a pair of points is the minimum time required to move from one point to the other, with optional use of H. The highway hull HH(S,H) of a point set S is the minimal set containing S as well as the shortest p… ▽ More A highway H is a line in the plane on which one can travel at a greater speed than in the remaining plane. One can choose to enter and exit H at any point. The highway time distance between a pair of points is the minimum time required to move from one point to the other, with optional use of H. The highway hull HH(S,H) of a point set S is the minimal set containing S as well as the shortest paths between all pairs of points in HH(S,H), using the highway time distance. We provide a Theta(n log n) worst-case time algorithm to find the highway hull under the L_1 metric, as well as an O(n log^2 n) time algorithm for the L_2 metric which improves the best known result of O(n^2). We also define and construct the useful region of the plane: the region that a highway must intersect in order that the shortest path between at least one pair of points uses the highway. △ Less

Submitted 22 April, 2009; v1 submitted 9 June, 2008; originally announced June 2008.

Morphing of Triangular Meshes in Shape Space

Authors: Stefanie Wuhrer, Prosenjit Bose, Chang Shu, Joseph O'Rourke, Alan Brunton

Abstract: We present a novel approach to morph between two isometric poses of the same non-rigid object given as triangular meshes. We model the morphs as linear interpolations in a suitable shape space $\mathcal{S}$. For triangulated 3D polygons, we prove that interpolating linearly in this shape space corresponds to the most isometric morph in $\mathbb{R}^3$. We then extend this shape space to arbitrary… ▽ More We present a novel approach to morph between two isometric poses of the same non-rigid object given as triangular meshes. We model the morphs as linear interpolations in a suitable shape space $\mathcal{S}$. For triangulated 3D polygons, we prove that interpolating linearly in this shape space corresponds to the most isometric morph in $\mathbb{R}^3$. We then extend this shape space to arbitrary triangulations in 3D using a heuristic approach and show the practical use of the approach using experiments. Furthermore, we discuss a modified shape space that is useful for isometric skeleton morphing. All of the newly presented approaches solve the morphing problem without the need to solve a minimization problem. △ Less

Submitted 2 June, 2008; v1 submitted 1 May, 2008; originally announced May 2008.

Comments: Improved experimental results

Journal ref: International Journal of Shape Modeling, 16(1-2):195-212, 2010

Cauchy's Arm Lemma on a Growing Sphere

Authors: Zachary Abel, David Charlton, Sebastien Collette, Erik D. Demaine, Martin L. Demaine, Stefan Langerman, Joseph O'Rourke, Val Pinciu, Godfried Toussaint

Abstract: We propose a variant of Cauchy's Lemma, proving that when a convex chain on one sphere is redrawn (with the same lengths and angles) on a larger sphere, the distance between its endpoints increases. The main focus of this work is a comparison of three alternate proofs, to show the links between Toponogov's Comparison Theorem, Legendre's Theorem and Cauchy's Arm Lemma. We propose a variant of Cauchy's Lemma, proving that when a convex chain on one sphere is redrawn (with the same lengths and angles) on a larger sphere, the distance between its endpoints increases. The main focus of this work is a comparison of three alternate proofs, to show the links between Toponogov's Comparison Theorem, Legendre's Theorem and Cauchy's Arm Lemma. △ Less

Submitted 7 April, 2008; originally announced April 2008.

A Class of Convex Polyhedra with Few Edge Unfoldings

Authors: Alex Benton, Joseph O'Rourke

Abstract: We construct a sequence of convex polyhedra on n vertices with the property that, as n -> infinity, the fraction of its edge unfoldings that avoid overlap approaches 0, and so the fraction that overlap approaches 1. Nevertheless, each does have (several) nonoverlap** edge unfoldings. We construct a sequence of convex polyhedra on n vertices with the property that, as n -> infinity, the fraction of its edge unfoldings that avoid overlap approaches 0, and so the fraction that overlap approaches 1. Nevertheless, each does have (several) nonoverlap** edge unfoldings. △ Less

Submitted 25 January, 2008; originally announced January 2008.

Comments: 12 pages, 9 figures

Report number: Smith Computer Science 088 ACM Class: F.2.2

On the Maximum Span of Fixed-Angle Chains

Authors: Nadia Benbernou, Joseph O'Rourke

Abstract: Soss proved that it is NP-hard to find the maximum 2D span of a fixed-angle polygonal chain: the largest distance achievable between the endpoints in a planar embedding. These fixed-angle chains can serve as models of protein backbones. The corresponding problem in 3D is open. We show that three special cases of particular relevance to the protein model are solvable in polynomial time. When all… ▽ More Soss proved that it is NP-hard to find the maximum 2D span of a fixed-angle polygonal chain: the largest distance achievable between the endpoints in a planar embedding. These fixed-angle chains can serve as models of protein backbones. The corresponding problem in 3D is open. We show that three special cases of particular relevance to the protein model are solvable in polynomial time. When all link lengths and all angles are equal, the maximum 3D span is achieved in a flat configuration and can be computed in constant time. When all angles are equal and the chain is simple (non-self-crossing), the maximum flat span can be found in linear time. In 3D, when all angles are equal to 90 deg (but the link lengths arbitrary), the maximum 3D span is in general nonplanar but can be found in quadratic time. △ Less

Submitted 2 June, 2010; v1 submitted 31 December, 2007; originally announced January 2008.

Comments: 28 pages, 21 figures. Preliminary version appeared in Proc. 18th Canad. Conf. Comput. Geom., pages 93-96, 2006. This paper has been withdrawn by the authors. Lemma 15 as stated is incorrect, and although we believe the main theorems following (Thms. 17 & 18) are true, the proofs relying on Lem.15 are not valid

Report number: Smith Computer Science 088 ACM Class: F.2.2

Band Unfoldings and Prismatoids: A Counterexample

Authors: Joseph O'Rourke

Abstract: This note shows that the hope expressed in [ADL+07]--that the new algorithm for edge-unfolding any polyhedral band without overlap might lead to an algorithm for unfolding any prismatoid without overlap--cannot be realized. A prismatoid is constructed whose sides constitute a nested polyhedral band, with the property that every placement of the prismatoid top face overlaps with the band unfoldin… ▽ More This note shows that the hope expressed in [ADL+07]--that the new algorithm for edge-unfolding any polyhedral band without overlap might lead to an algorithm for unfolding any prismatoid without overlap--cannot be realized. A prismatoid is constructed whose sides constitute a nested polyhedral band, with the property that every placement of the prismatoid top face overlaps with the band unfolding. △ Less

Submitted 4 October, 2007; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: 5 pages, 3 figures. v2 replaced Fig.1(b) and Fig.3 to illustrate the angles delta=(1/2)epsilon (rather than delta=epsilon)

Report number: Smith Computer Science 086 ACM Class: F.2.2

A New Lower Bound on Guard Placement for Wireless Localization

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke, Suneeta Ramaswami

Abstract: The problem of wireless localization asks to place and orient stations in the plane, each of which broadcasts a unique key within a fixed angular range, so that each point in the plane can determine whether it is inside or outside a given polygonal region. The primary goal is to minimize the number of stations. In this paper we establish a lower bound of 2n/3 - 1 stations for polygons in general… ▽ More The problem of wireless localization asks to place and orient stations in the plane, each of which broadcasts a unique key within a fixed angular range, so that each point in the plane can determine whether it is inside or outside a given polygonal region. The primary goal is to minimize the number of stations. In this paper we establish a lower bound of 2n/3 - 1 stations for polygons in general position, for the case in which the placement of stations is restricted to polygon vertices, improving upon the existing n/2 lower bound. △ Less

Submitted 21 September, 2007; originally announced September 2007.

Comments: 4 pages, 3 figures

ACM Class: F.2.2

Connecting Polygonizations via Stretches and Twangs

Authors: Mirela Damian, Robin Flatland, Joseph O'Rourke, Suneeta Ramaswami

Abstract: We show that the space of polygonizations of a fixed planar point set S of n points is connected by O(n^2) ``moves'' between simple polygons. Each move is composed of a sequence of atomic moves called ``stretches'' and ``twangs''. These atomic moves walk between weakly simple ``polygonal wraps'' of S. These moves show promise to serve as a basis for generating random polygons. We show that the space of polygonizations of a fixed planar point set S of n points is connected by O(n^2) ``moves'' between simple polygons. Each move is composed of a sequence of atomic moves called ``stretches'' and ``twangs''. These atomic moves walk between weakly simple ``polygonal wraps'' of S. These moves show promise to serve as a basis for generating random polygons. △ Less

Submitted 12 September, 2007; originally announced September 2007.

Comments: 15 pages, 14 figures, 3 appendices

ACM Class: F.2.2; G.2

Unfolding Restricted Convex Caps

Authors: Joseph O'Rourke

Abstract: This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restrictions: the cap's faces are quadrilaterals, with vertices over an underlying integer lattice, and such that the cap convexity is ``radially monotone,'' a type of smoothness constraint. Extensions of Cauchy's arm lemma a… ▽ More This paper details an algorithm for unfolding a class of convex polyhedra, where each polyhedron in the class consists of a convex cap over a rectangular base, with several restrictions: the cap's faces are quadrilaterals, with vertices over an underlying integer lattice, and such that the cap convexity is ``radially monotone,'' a type of smoothness constraint. Extensions of Cauchy's arm lemma are used in the proof of non-overlap. △ Less

Submitted 11 September, 2007; originally announced September 2007.

Report number: Smith Computer Science 086 ACM Class: F.2.2

Star Unfolding Convex Polyhedra via Quasigeodesic Loops

Authors: **-ichi Itoh, Joseph O'Rourke, Costin Vîlcu

Abstract: We extend the notion of star unfolding to be based on a quasigeodesic loop Q rather than on a point. This gives a new general method to unfold the surface of any convex polyhedron P to a simple (non-overlap**), planar polygon: cut along one shortest path from each vertex of P to Q, and cut all but one segment of Q. We extend the notion of star unfolding to be based on a quasigeodesic loop Q rather than on a point. This gives a new general method to unfold the surface of any convex polyhedron P to a simple (non-overlap**), planar polygon: cut along one shortest path from each vertex of P to Q, and cut all but one segment of Q. △ Less

Submitted 24 June, 2009; v1 submitted 28 July, 2007; originally announced July 2007.

Comments: 10 pages, 7 figures. v2 improves the description of cut locus, and adds references. v3 improves two figures and their captions. New version v4 offers a completely different proof of non-overlap in the quasigeodesic loop case, and contains several other substantive improvements. This version is 23 pages long, with 15 figures

Report number: Smith College Computer Science Technical Report 084 ACM Class: F.2.2

Unfolding Orthogonal Terrains

Authors: Joseph O'Rourke

Abstract: It is shown that every orthogonal terrain, i.e., an orthogonal (right-angled) polyhedron based on a rectangle that meets every vertical line in a segment, has a grid unfolding: its surface may be unfolded to a single non-overlap** piece by cutting along grid edges defined by coordinate planes through every vertex. It is shown that every orthogonal terrain, i.e., an orthogonal (right-angled) polyhedron based on a rectangle that meets every vertical line in a segment, has a grid unfolding: its surface may be unfolded to a single non-overlap** piece by cutting along grid edges defined by coordinate planes through every vertex. △ Less

Submitted 12 July, 2007; v1 submitted 4 July, 2007; originally announced July 2007.

Comments: 7 pages, 7 figures, 5 references. First revision adds Figure 7, and improves Figure 6. Second revision further improves Figure 7, and adds one clarifying sentence. Third corrects label in Figure 7. Fourth revision corrects a sentence in the conclusion about the class of shapes now known to be grid-unfoldable

Report number: Smith Technical Report 084 ACM Class: F.2.2