Related papers: Computing Heegaard genus is NP-hard

The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev…

We prove that if a fibered knot $K$ with genus greater than one in a three-manifold $M$ has a sufficiently complicated monodromy, then $K$ induces a minimal genus Heegaard splitting $P$ that is unique up to isotopy, and small genus Heegaard…

We construct families of manifolds that have pairs of genus $g$ Heegaard splittings that must be stabilized roughly $g$ times to become equivalent. We also show that when two unstabilized, boundary-unstabilized Heegaard splittings are…

For each g greater than one there is a 3-manifold with two genus g Heegaard splittings that require g stabilizations to become equivalent. Previously known examples required at most one stabilization. Control of families of Heegaard…

In this paper, we prove that (1) For any integers $n\geq 1$ and $g\geq 2$, there is a closed 3-manifold $M_{g}^{n}$ which admits a distance $n$ Heegaard splitting of genus $g$ except that the pair of $(g, n)$ is $(2, 1)$. Furthermore,…

We show that three natural decision problems about links and 3-manifolds are computationally hard, assuming some conjectures in complexity theory. The first problem is determining whether a link in the 3-sphere bounds a Seifert surface with…

The Heegaard genus of a 3-manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3-manifold. This note shows that…

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

We define a trisection of a closed, orientable three dimensional manifold into three handlebodies, and a notion of stabilization for these trisections. Several examples of trisections are described in detail. We define the trisection genus…

We show that every p-fold strictly-cyclic branched covering of a b-bridge link in $S^3$ admits a p-symmetric Heegaard splitting - in the sense of Birman and Hilden - of genus $g=(b-1)(p-1)$. This gives a complete converse of one of the…

In this paper, we will prove that a problem deciding whether there is an upper-triangular coordinate in which a character is not in the state of a Hilbert point is NP-hard. This problem is related to the GIT-semistability of a Hilbert…

We show that for any two Heegaard splittings of genus $p$ and $q$ for the same closed 3-manifold, there is a common stabilization of genus at most 3/2 p + 2q - 1. One may compare this to recent examples of Heegaard splittings whose smallest…

We study complexities of 3-manifolds defined from triangulations, Heegaard splittings, and surgery presentations. We show that these complexities are related by linear inequalities, by presenting explicit geometric constructions. We also…

Non-isotopic Heegaard splittings of non-minimal genus were known previously only for very special 3-manifolds. We show in this paper that they are in fact a wide spread phenomenon in 3-manifold theory: We exhibit a large class of knots and…

For a boundary-reducible $3$-manifold $M$ with $\partial M$ a genus $g$ surface, we show that if $M$ admits a genus $g+1$ Heegaard surface $S$, then the disk complex of $S$ is simply connected. Also we consider the connectedness of the…

We introduce a new technique for finding lower bounds on the Heegaard genus of a 3-manifold obtained by gluing a pair of 3-manifolds together along an incompressible torus or annulus. We deduce a number of inequalities, including one which…

Let $M$ be a compact orientable irreducible 3-manifold and $H$ be an unstabilized genus three Heegaard splitting of $M$. In this article, we will define a simplicial complex of weak reducing pairs for $H$ and find several properties of this…

Given a 3-manifold M containing an incompressible surface Q, we obtain an inequality relating the Heegaard genus of M and the Heegaard genera of the components of M - Q. Here the sum of the genera of the components of M - Q is bounded above…

We show that the problem of deciding whether a closed three-manifold admits an elliptic structure lies in NP. Furthermore, determining the homeomorphism type of an elliptic manifold lies in the complexity class FNP. These are both…

Interpreting three-leaf binary trees or {\em rooted triples} as constraints yields an entailment relation, whereby binary trees satisfying some rooted triples must also thus satisfy others, and thence a closure operator, which is known to…