Showing 1–24 of 24 results for author: Sedgwick, E

Spiraling and Folding: The Topological View

Authors: Jan Kynčl, Marcus Schaefer, Eric Sedgwick, Daniel Štefankovič

Abstract: For every $n$, we construct two curves in the plane that intersect at least $n$ times and do not form spirals. The construction is in three stages: we first exhibit closed curves on the torus that do not form double spirals, then arcs on the torus that do not form spirals, and finally pairs of planar arcs that do not form spirals. These curves provide a counterexample to a proof of Pach and Tóth c… ▽ More For every $n$, we construct two curves in the plane that intersect at least $n$ times and do not form spirals. The construction is in three stages: we first exhibit closed curves on the torus that do not form double spirals, then arcs on the torus that do not form spirals, and finally pairs of planar arcs that do not form spirals. These curves provide a counterexample to a proof of Pach and Tóth concerning string graphs. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Comments: 23 pages, 18 figures

MSC Class: 57M15; 57M50; 57N35; 68R10; 68U05

Journal ref: Discrete and Computational Geometry 72 (2024), no. 1, 246-268

Hard Diagrams of the Unknot

Authors: Benjamin A. Burton, Hsien-Chih Chang, Maarten Löffler, Arnaud de Mesmay, Clément Maria, Saul Schleimer, Eric Sedgwick, Jonathan Spreer

Abstract: We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard un… ▽ More We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard unknot diagram requires more than one extra crossing for Reidemeister moves in $\mathbb{S}^2$. △ Less

Submitted 28 April, 2021; originally announced April 2021.

Comments: 11 pages + appendix, 7 figures

MSC Class: 57K10; 05C12

Link Crossing Number is NP-hard

Authors: Arnaud de Mesmay, Marcus Schaefer, Eric Sedgwick

Abstract: We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness. We show that determining the crossing number of a link is NP-hard. For some weaker notions of link equivalence, we also show NP-completeness. △ Less

Submitted 12 August, 2019; originally announced August 2019.

The unbearable hardness of unknotting

Authors: Arnaud de Mesmay, Yo'av Rieck, Eric Sedgwick, Martin Tancer

Abstract: We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ components, computing the unlinking number of a link, and computing a variety of link in… ▽ More We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ components, computing the unlinking number of a link, and computing a variety of link invariants related to four-dimensional topology (such as the $4$-ball Euler characteristic, the slicing number, and the $4$-dimensional clasp number). △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 36 pages, 21 figures

On the tree-width of knot diagrams

Authors: Arnaud de Mesmay, Jessica Purcell, Saul Schleimer, Eric Sedgwick

Abstract: We show that a small tree-decomposition of a knot diagram induces a small sphere-decomposition of the corresponding knot. This, in turn, implies that the knot admits a small essential planar meridional surface or a small bridge sphere. We use this to give the first examples of knots where any diagram has high tree-width. This answers a question of Burton and of Makowsky and Mariño. We show that a small tree-decomposition of a knot diagram induces a small sphere-decomposition of the corresponding knot. This, in turn, implies that the knot admits a small essential planar meridional surface or a small bridge sphere. We use this to give the first examples of knots where any diagram has high tree-width. This answers a question of Burton and of Makowsky and Mariño. △ Less

Submitted 22 May, 2019; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 14 pages, 6 figures. V2: Minor updates to exposition

MSC Class: 05C10; 57M25; 57M27; 57M15

Embeddability in $\mathbb{R}^3$ is NP-hard

Authors: Arnaud de Mesmay, Yo'av Rieck, Eric Sedgwick, Martin Tancer

Abstract: We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$ filling is NP-hard. The former stands in contrast with the lower dimensional cases which can be solved in linear time,and the latter with a variety of computational… ▽ More We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$ filling is NP-hard. The former stands in contrast with the lower dimensional cases which can be solved in linear time,and the latter with a variety of computational problems in 3-manifold topology (for example, unknot or 3-sphere recognition, which are in NP and co-NP assuming the Generalized Riemann Hypothesis). Our reduction encodes a satisfiability instance into the embeddability problem of a 3-manifold with boundary tori, and relies extensively on techniques from low-dimensional topology, most importantly Dehn fillings on link complements. △ Less

Submitted 22 August, 2018; v1 submitted 25 August, 2017; originally announced August 2017.

Computing Heegaard genus is NP-hard

Authors: David Bachman, Ryan Derby-Talbot, Eric Sedgwick

Abstract: We show that {\sc Heegaard Genus $\leq g$}, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$, is NP-hard. The result follows from a quadratic time reduction of the NP-complete problem {\sc CNF-SAT} to {\sc Heegaard Genus $\leq g$}. We show that {\sc Heegaard Genus $\leq g$}, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$, is NP-hard. The result follows from a quadratic time reduction of the NP-complete problem {\sc CNF-SAT} to {\sc Heegaard Genus $\leq g$}. △ Less

Submitted 28 November, 2016; v1 submitted 5 June, 2016; originally announced June 2016.

Comments: Version for publication. To appear in the collection of papers "A Journey through Discrete Mathematics. A Tribute to Jiri Matousek" edited by Martin Loebl, Jaroslav Nesetril and Robin Thomas, to be published by Springer

MSC Class: 57N10; 57M99; 68Q17

Locally Helical Surfaces have bounded twisting

Authors: David Bachman, Ryan Derby-Talbot, Eric Sedgwick

Abstract: A topologically minimal surface may be isotoped into a normal form with respect to a fixed triangulation. If the intersection with each tetrahedron is simply connected, then the pieces of this normal form are triangles, quadrilaterals, and helicoids. Helical pieces can have any number of positive or negative twists. We show here that the net twisting of the helical pieces of any such surface in a… ▽ More A topologically minimal surface may be isotoped into a normal form with respect to a fixed triangulation. If the intersection with each tetrahedron is simply connected, then the pieces of this normal form are triangles, quadrilaterals, and helicoids. Helical pieces can have any number of positive or negative twists. We show here that the net twisting of the helical pieces of any such surface in a given triangulated 3-manifold is bounded. △ Less

Submitted 19 February, 2015; originally announced February 2015.

Comments: 17 pages, 11 figures

MSC Class: 57M99; 53A10

Journal ref: Pacific J. Math. 292 (2018) 257-272

Computing the flip distance between triangulations

Authors: Iyad Kanj, Eric Sedgwick, Ge Xia

Abstract: Let ${\cal T}$ be a triangulation of a set ${\cal P}$ of $n$ points in the plane, and let $e$ be an edge shared by two triangles in ${\cal T}$ such that the quadrilateral $Q$ formed by these two triangles is convex. A {\em flip} of $e$ is the operation of replacing $e$ by the other diagonal of $Q$ to obtain a new triangulation of ${\cal P}$ from ${\cal T}$. The {\em flip distance} between two tria… ▽ More Let ${\cal T}$ be a triangulation of a set ${\cal P}$ of $n$ points in the plane, and let $e$ be an edge shared by two triangles in ${\cal T}$ such that the quadrilateral $Q$ formed by these two triangles is convex. A {\em flip} of $e$ is the operation of replacing $e$ by the other diagonal of $Q$ to obtain a new triangulation of ${\cal P}$ from ${\cal T}$. The {\em flip distance} between two triangulations of ${\cal P}$ is the minimum number of flips needed to transform one triangulation into the other. The Flip Distance problem asks if the flip distance between two given triangulations of ${\cal P}$ is at most $k$, for some given $k \in N$. It is a fundamental and a challenging problem. We present an algorithm for the {\sc Flip Distance} problem that runs in time $O(n + k \cdot c^{k})$, for a constant $c \leq 2 \cdot 14^{11}$, which implies that the problem is fixed-parameter tractable. We extend our results to triangulations of polygonal regions with holes, and to labeled triangulated graphs. △ Less

Submitted 3 October, 2016; v1 submitted 6 July, 2014; originally announced July 2014.

Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto

Authors: Jonathan Spreer, Uli Wagner, Benjamin A. Burton, Satoshi Murai, Eric Sedgwick, Henry Segerman

Abstract: This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology com… ▽ More This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community. Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused. To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques. We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions. △ Less

Submitted 2 June, 2014; originally announced June 2014.

Comments: 4 x 6 page extended abstracts. The workshop was held as part of CG-Week 2014 at Kyoto University. June 10th, 2014

MSC Class: 57M50; 57N35; 57Q35; 57N10; 57Q15; 68Q17; 68U05; 52B05; ACM Class: F.1.3; F.4.1; G.2.1; G.2.2; I.3.5

Embeddability in the 3-sphere is decidable

Authors: Jiří Matoušek, Eric Sedgwick, Martin Tancer, Uli Wagner

Abstract: We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$. The main step, which allows us to simplify $X$ and recurse, is in proving that… ▽ More We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$. The main step, which allows us to simplify $X$ and recurse, is in proving that if $X$ can be embedded in $S^3$, then there is also an embedding in which $X$ has a short meridian, i.e., an essential curve in the boundary of $X$ bounding a disk in $S^3\setminus X$ with length bounded by a computable function of the number of tetrahedra of $X$. △ Less

Submitted 5 February, 2014; v1 submitted 4 February, 2014; originally announced February 2014.

Comments: 54 pages, 26 figures; few faulty references to figures in the first version fixed

MSC Class: 57N10 (57M27; 57Q35; 05E45; 68U05; 68W99)

Untangling two systems of noncrossing curves

Authors: Jiří Matoušek, Eric Sedgwick, Martin Tancer, Uli Wagner

Abstract: We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a se… ▽ More We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$; more precisely, we seek a homeomorphism $φ:M\rightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $φ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds. We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$), which is asymptotically tight, as an easy lower bound shows. In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$, we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$. The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov. △ Less

Submitted 7 March, 2014; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: 30 pages, 20 figures; the proof of the existence of a suitable orientation-enabling cycle was simplified by several pages (the homology based argument was replaced with a local orientation argument following a suggestion of an anonymous referee)

MSC Class: 57N05; 52C45

Almost normal surfaces with boundary

Authors: David Bachman, Ryan Derby-Talbot, Eric Sedgwick

Abstract: We show that a strongly irreducible and boundary-strongly irreducible surface can be isotoped to be almost normal in a triangulated 3-manifold. We show that a strongly irreducible and boundary-strongly irreducible surface can be isotoped to be almost normal in a triangulated 3-manifold. △ Less

Submitted 12 February, 2013; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: Incorporates changes suggested by referee. This version will appear in the volume "Geometry & Topology Down Under," published in the AMS series Contemporary Mathematics

MSC Class: 57M99

Surfaces that become isotopic after Dehn filling

Authors: David Bachman, Ryan Derby-Talbot, Eric Sedgwick

Abstract: We show that after generic filling along a torus boundary component of a 3-manifold, no two closed, 2-sided, essential surfaces become isotopic, and no closed, 2-sided, essential surface becomes inessential. That is, the set of essential surfaces (considered up to isotopy) survives unchanged in all suitably generic Dehn fillings. Furthermore, for all but finitely many non-generic fillings, we show… ▽ More We show that after generic filling along a torus boundary component of a 3-manifold, no two closed, 2-sided, essential surfaces become isotopic, and no closed, 2-sided, essential surface becomes inessential. That is, the set of essential surfaces (considered up to isotopy) survives unchanged in all suitably generic Dehn fillings. Furthermore, for all but finitely many non-generic fillings, we show that two essential surfaces can only become isotopic in a constrained way. △ Less

Submitted 27 February, 2013; v1 submitted 24 January, 2010; originally announced January 2010.

Comments: Revised version, incorporates updated references and improved exposition

MSC Class: 57M99

Heegaard structure respects complicated JSJ decompositions

Authors: David Bachman, Ryan Derby-Talbot, Eric Sedgwick

Abstract: Let $M$ be a 3-manifold with torus boundary components $T_1$ and $T_2$. Let $φ\colon T_1 \to T_2$ be a homeomorphism, $M_φ$ the manifold obtained from $M$ by gluing $T_1$ to $T_2$ via the map $φ$, and $T$ the image of $T_1$ in $M_φ$. We show that if $φ$ is "sufficiently complicated" then any incompressible or strongly irreducible surface in $M_φ$ can be isotoped to be disjoint from $T$. It follows… ▽ More Let $M$ be a 3-manifold with torus boundary components $T_1$ and $T_2$. Let $φ\colon T_1 \to T_2$ be a homeomorphism, $M_φ$ the manifold obtained from $M$ by gluing $T_1$ to $T_2$ via the map $φ$, and $T$ the image of $T_1$ in $M_φ$. We show that if $φ$ is "sufficiently complicated" then any incompressible or strongly irreducible surface in $M_φ$ can be isotoped to be disjoint from $T$. It follows that every Heegaard splitting of a 3-manifold admitting a "sufficiently complicated" JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition. △ Less

Submitted 6 March, 2013; v1 submitted 27 November, 2009; originally announced November 2009.

Comments: Incorporates updated references and improved exposition

MSC Class: 57M99

Heegaard Splittings of Twisted Torus Knots

Authors: Yoav Moriah, Eric Sedgwick

Abstract: Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infini… ▽ More Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain "twisted torus knots" originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. We also conjecture that these manifolds possess irreducible yet weakly reducible splittings of genus three. There are no known examples of such Heegaard splittings. △ Less

Submitted 31 January, 2008; v1 submitted 14 September, 2007; originally announced September 2007.

Comments: 4 pages 8 figures

MSC Class: 57M25; 57M99

The Heegaard structure of Dehn filled manifolds

Authors: Yoav Moriah, Eric Sedgwick

Abstract: We expect manifolds obtained by Dehn filling to inherit properties from the knot manifold. To what extent does that hold true for the Heegaard structure? We study four changes to the Heegaard structure that may occur after filling: (1) Heegaard genus decreases, (2) a new Heegaard surface is created, (3) a non-stabilized Heegaard surface destabilizes, and (4) two or more non-isotopic Heegaard sur… ▽ More We expect manifolds obtained by Dehn filling to inherit properties from the knot manifold. To what extent does that hold true for the Heegaard structure? We study four changes to the Heegaard structure that may occur after filling: (1) Heegaard genus decreases, (2) a new Heegaard surface is created, (3) a non-stabilized Heegaard surface destabilizes, and (4) two or more non-isotopic Heegaard surfaces become isotopic. We survey general results that give quite satisfactory restrictions to phenomena (1) and (2) and, in a parallel thread, give a complete classification of when all four phenomena occur when filling most torus knot exteriors. This latter thread yields sufficient (and perhaps necessary) conditions for the occurrence of phenomena (3) and (4). △ Less

Submitted 31 March, 2009; v1 submitted 13 June, 2007; originally announced June 2007.

Comments: This is the version published by Geometry & Topology Monographs on 3 December 2007

MSC Class: 57N10; 57M27

Journal ref: Geom. Topol. Monogr. 12 (2007) 233-263

Finding planar surfaces in knot- and link-manifolds

Authors: William Jaco, J. Hyam Rubinstein, Eric Sedgwick

Abstract: It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bo… ▽ More It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangulations and especially triangulated Dehn fillings are central to our methods. We also use an average length estimate for boundary curves of embedded normal surfaces; a version of the average length estimate with boundary conditions also is derived. An algorithm is given to construct precisely those slopes on the boundary of a given link-manifold that bound an embedded punctured-disk in the link-manifold. △ Less

Submitted 28 August, 2006; originally announced August 2006.

Comments: 44 pages, 9 figures

MSC Class: Primary 57N10; 57M99; Secondary 57M50

Sweepouts of amalgamated 3-manifolds

Authors: David Bachman, Saul Schleimer, Eric Sedgwick

Abstract: We show that if two 3-manifolds with toroidal boundary are glued via a `sufficiently complicated' map then every Heegaard splitting of the resulting 3-manifold is weakly reducible. Additionally, if Z is a manifold obtained by gluing X and Y, two connected small manifolds with incompressible boundary, along a closed surface F. Then the genus g(Z) of Z is greater than or equal to 1/2(g(X)+g(Y)-2g(… ▽ More We show that if two 3-manifolds with toroidal boundary are glued via a `sufficiently complicated' map then every Heegaard splitting of the resulting 3-manifold is weakly reducible. Additionally, if Z is a manifold obtained by gluing X and Y, two connected small manifolds with incompressible boundary, along a closed surface F. Then the genus g(Z) of Z is greater than or equal to 1/2(g(X)+g(Y)-2g(F)). Both results follow from a new technique to simplify the intersection between an incompressible surface and a strongly irreducible Heegaard splitting. △ Less

Submitted 26 February, 2009; v1 submitted 25 July, 2005; originally announced July 2005.

Comments: This is the version published by Algebraic & Geometric Topology on 24 February 2006

MSC Class: 57M99; 57N10; 57M27

Journal ref: Algebr. Geom. Topol. 6 (2006) 171-194

Heegaard splittings of the form H + nK

Authors: Yoav Moriah, Saul Schleimer, Eric Sedgwick

Abstract: Suppose that a three-manifold M contains infinitely many distinct strongly irreducible Heegaard splittings H + nK, obtained by Haken summing the surface H with n copies of the surface K. We show that K is incompressible. All known examples, of manifolds containing infinitely many irreducible Heegaard splittings, are of this form. We also give new examples of such manifolds. Suppose that a three-manifold M contains infinitely many distinct strongly irreducible Heegaard splittings H + nK, obtained by Haken summing the surface H with n copies of the surface K. We show that K is incompressible. All known examples, of manifolds containing infinitely many irreducible Heegaard splittings, are of this form. We also give new examples of such manifolds. △ Less

Submitted 30 July, 2004; originally announced August 2004.

Comments: 30 pages, 22 figures

MSC Class: 57M99

Thin position for a connected sum of small knots

Authors: Yo'av Rieck, Eric Sedgwick

Abstract: We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below. We show that every thin position for a connected sum of small knots is obtained in an obvious way: place each summand in thin position so that no two summands intersect the same level surface, then connect the lowest minimum of each summand to the highest maximum of the adjacent summand below. △ Less

Submitted 12 May, 2002; originally announced May 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-14.abs.html

MSC Class: 57M25; 57M27

Journal ref: Algebr. Geom. Topol. 2 (2002) 297-309

Emerging Challenges in Computational Topology

Authors: Marshall Bern, David Eppstein, Pankaj K. Agarwal, Nina Amenta, Paul Chew, Tamal Dey, David P. Dobkin, Herbert Edelsbrunner, Cindy Grimm, Leonidas J. Guibas, John Harer, Joel Hass, Andrew Hicks, Carroll K. Johnson, Gilad Lerman, David Letscher, Paul Plassmann, Eric Sedgwick, Jack Snoeyink, Jeff Weeks, Chee Yap, Denis Zorin

Abstract: Here we present the results of the NSF-funded Workshop on Computational Topology, which met on June 11 and 12 in Miami Beach, Florida. This report identifies important problems involving both computation and topology. Here we present the results of the NSF-funded Workshop on Computational Topology, which met on June 11 and 12 in Miami Beach, Florida. This report identifies important problems involving both computation and topology. △ Less

Submitted 1 September, 1999; originally announced September 1999.

Comments: 20 pages

ACM Class: F.2.2; I.2.9; I.2.10; I.3.5; J.2

Decision problems in the space of Dehn fillings

Authors: William Jaco, Eric Sedgwick

Abstract: In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a one-vertex triangulation of that knot-manifold. This is combined with existence theorems for normal and almost normal surfaces to construct algorithms to determ… ▽ More In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a one-vertex triangulation of that knot-manifold. This is combined with existence theorems for normal and almost normal surfaces to construct algorithms to determine precisely which manifolds obtained by Dehn filling: 1) are reducible, 2) contain two--sided incompressible surfaces, 3) are Haken, 4) fiber over the circle, 5) are the 3--sphere, and 6) are a lens space. Each of these algorithms is a finite computation. Moreover, in the case of essential surfaces, we show that the topology of the filled manifolds is strongly reflected in the triangulation of the knot-manifold. If a filled manifold contains an essential surface then the knot-manifold contains an essential vertex solution that caps off to an essential surface of the same type in the filled manifold. (Vertex solutions are the premier class of normal surface and are computable.) △ Less

Submitted 5 November, 1998; originally announced November 1998.

Comments: 70 pages, 24 figures

MSC Class: 57M99

Genus two 3-manifolds are built from handle number one pieces

Authors: Eric Sedgwick

Abstract: Let M be a closed, irreducible, genus two 3-manifold, and F a maximal collection of pairwise disjoint, closed, orientable, incompressible surfaces embedded in M. Then each component manifold M_i of M-F has handle number at most one, i.e. admits a Heegaard splitting obtained by attaching a single 1-handle to one or two components of boundary M_i. This result also holds for a decomposition of M al… ▽ More Let M be a closed, irreducible, genus two 3-manifold, and F a maximal collection of pairwise disjoint, closed, orientable, incompressible surfaces embedded in M. Then each component manifold M_i of M-F has handle number at most one, i.e. admits a Heegaard splitting obtained by attaching a single 1-handle to one or two components of boundary M_i. This result also holds for a decomposition of M along a maximal collection of incompressible tori. △ Less

Submitted 31 December, 2001; v1 submitted 5 November, 1998; originally announced November 1998.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol1/agt-1-38.abs.html

MSC Class: 57M99

Journal ref: Algebr. Geom. Topol. 1 (2001) 763-790