5,085 research outputs found
Short lists with short programs in short time - a short proof
Bauwens, Mahklin, Vereshchagin and Zimand [ECCC TR13-007] and Teutsch
[arxiv:1212.6104] have shown that given a string x it is possible to construct
in polynomial time a list containing a short description of it. We simplify
their technique and present a shorter proof of this result
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\~no.Comment: 14 pages, 6 figures. V2: Minor updates to expositio
Heegaard gradient and virtual fibers
We show that if a closed hyperbolic 3-manifold has infinitely many finite
covers of bounded Heegaard genus, then it is virtually fibered. This
generalizes a theorem of Lackenby, removing restrictions needed about the
regularity of the covers. Furthermore, we can replace the assumption that the
covers have bounded Heegaard genus with the weaker hypotheses that the Heegaard
splittings for the covers have Heegaard gradient zero, and also bounded width,
in the sense of Scharlemann-Thompson thin position for Heegaard splittings.Comment: Published by Geometry and Topology at
http://www.maths.warwick.ac.uk/gt/GTVol9/paper51.abs.htm
- …