Related papers: Computing Heegaard genus is NP-hard
Let $M=W\cup_T V$ be an amalgamation of two compact 3-manifolds along a torus, where $W$ is the exterior of a knot in a homology sphere. Let $N$ be the manifold obtained by replacing $W$ with a solid torus such that the boundary of a…
The earlier article tried to construct an algorithm to compute the Heegaard Floer homology \hat{HF}(Y) for a 3-manifold Y. However there is an error in a proof which the author, as of now, is unable to fix.
Let $M=H_{+}\cup_{S} H_{-}$ be a genus $g$ Heegaard splitting with Heegaard distance $n\geq \kappa+2$: (1) Let $c_{1}$, $c_{2}$ be two slopes in the same component of $\partial_{-}H_{-}$, such that the natural Heegaard splitting…
The regular number of a graph G denoted by reg(G) is the minimum number of subsets into which the edge set of G can be partitioned so that the subgraph induced by each subset is regular. In this work we answer to the problem posed as an…
We show that sub-surfaces of a Heegaard surface for which the relative Hempel distance of the splitting is sufficiently high have to appear in any Heegaard surface of genus bounded by half that distance.
A Heegaard splitting which admits a unique pair of disjoint compression disks on distinct sides is said to be keen weakly reducible. This paper provides an construction of keen weakly reducible Heegaard splittings of arbitrary genus except…
It was shown by Bonahon-Otal and Hodgson-Rubinstein that any two genus-one Heegaard splittings of the same 3-manifold (typically a lens space) are isotopic. On the other hand, it was shown by Boileau, Collins and Zieschang that certain…
While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, Guruswami, and H\r{a}stad roved a result known as "$(2+\varepsilon)$-SAT is NP-hard" [FOCS'14/SICOMP'17]. They showed that the problem of distinguishing k-CNF formulas…
We show that the number of stabilizations needed to interchange the handlebodies of a Heegaard splitting of a closed 3-manifold by an isotopy is bounded below by the smaller of twice its genus or half its Hempel distance. This is a…
Let M_1 and M_2 be compact, orientable 3-manifolds, and M the manifold obtained by gluing some component F of \bdy M_1 to some component of \bdy M_2 by a homeomorphism \phi. We show that when \phi is "sufficiently complicated" then (1) the…
The problem of finding a triangulation of a convex three-dimensional polytope with few tetrahedra is proved to be NP-hard. We discuss other related complexity results.
There are many fundamental algorithmic problems on triangulated 3-manifolds whose complexities are unknown. Here we study the problem of finding a taut angle structure on a 3-manifold triangulation, whose existence has implications for both…
Let (V,W;F) be a weakly reducible, unstabilized, genus three Heegaard splitting in an orientable, irreducible 3-manifold M. In this article, we prove that either the disk complex D(F) is contractible or F is critical. Hence, the topological…
We show that linearly constrained linear optimization over a Stiefel or Grassmann manifold is NP-hard in general. We show that the same is true for unconstrained quadratic optimization over a Stiefel manifold. We will show that unless…
A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed…
We show that it is $\mathsf{NP}$-hard to approximate the hyperspherical radius of a triangulated manifold up to an almost-polynomial factor.
We prove that computing an evolutionary ordering of a family of sets, i.e. an ordering where each set intersects with --but is not included in-- the union earlier sets, is NP-hard.
We give a necessary and sufficient condition for a simple closed curve on the boundary of a genus two handlebody to decompose the handlebody into (torus with one boundary component times [0,1]. We use this condition to decide whether a…
It is well-known that Heegaard genus is additive under connected sum of 3-manifolds. We show that Heegaard genus of contact 3-manifolds is not necessarily additive under contact connected sum. We also prove some basic properties of the…
Every surface bundle with genus $g$ fiber has a canonical Heegaard splitting of genus $2g+1$. We classify the mapping class groups of such Heegaard splittings in the case when the surface bundle has a sufficiently complicated monodromy map.