arXiv subjects

Eric Sedgwick

Publications and source records attributed to Eric Sedgwick.

At least 19 recordsLinked to original sources

arXiv2025

A Practical Algorithm for Knot Factorisation

We present an algorithm for computing the prime factorisation of a knot, which is practical in the following sense: using Regina, we give an implementation that works well for inputs of reasonable size, including prime knots from the $19$-crossing census. The main new ingredient in this work is an object that we call an "edge-ideal triangulation", which is what our algorithm uses to represent knots. As other applications, we give an alternative proof that prime knot recognition is in coNP, and present some new complexity results for triangulations. Beyond knots, our work showcases edge-ideal triangulations as a tool for potential applications in $3$-manifold topology.

math.GT↗

arXiv2022

Spiraling and Folding: The Topological View

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\'{o}th concerning string graphs.

math.CO↗

arXiv2021

Hard Diagrams of the Unknot

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$.

math.GT↗

arXiv2019

Link Crossing Number is NP-hard

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.

cs.CG↗

arXiv2019

On the tree-width of knot diagrams

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.

math.GT↗

arXiv2018

The unbearable hardness of unknotting

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).

math.GT↗

arXiv2018

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

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.

math.GT↗

arXiv2016

Computing Heegaard genus is NP-hard

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$}.

math.GT↗

arXiv2016

Computing the flip distance between triangulations

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.

cs.DS↗

arXiv2015

Locally Helical Surfaces have bounded twisting

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.

math.GT↗

arXiv2014

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

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.

cs.CG↗

arXiv2014

Untangling two systems of noncrossing curves

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.

math.CO↗

arXiv2014

Embeddability in the 3-sphere is decidable

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$.

math.GT↗

arXiv2013

Heegaard structure respects complicated JSJ decompositions

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.

math.GT↗

arXiv2013

Surfaces that become isotopic after Dehn filling

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.

math.GT↗

arXiv2013

Almost normal surfaces with boundary

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

math.GT↗

arXiv2009

The Heegaard structure of Dehn filled manifolds

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).

math.GT↗

arXiv2009

Sweepouts of amalgamated 3-manifolds

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.

math.GT↗