Results 1  10
of
36
The computational Complexity of Knot and Link Problems
 J. ACM
, 1999
"... We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without selfintersection so that it lies in a plane. We show that this problem, unknotting problem is in NP. We also consider the problem, unknotting pr ..."
Abstract

Cited by 55 (6 self)
 Add to MetaCart
We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without selfintersection so that it lies in a plane. We show that this problem, unknotting problem is in NP. We also consider the problem, unknotting problem of determining whether two or more such polygons can be split, or continuously deformed without selfintersection so that they occupy both sides of a plane without intersecting it. We show that it also is in NP. Finally, we show that the problem of determining the genus of a polygonal knot (a generalization of the problem of determining whether it is unknotted) is in PSPACE. We also give exponential worstcase running time bounds for deterministic algorithms to solve each of these problems. These algorithms are based on the use of normal surfaces and decision procedures due to W. Haken, with recent extensions by W. Jaco and J. L. Tollefson.
Isomorphism free lexicographic enumeration of triangulated surfaces and 3manifolds
, 2006
"... We present a fast enumeration algorithm for combinatorial 2 and 3manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3manifolds with 11 vertices. We further determine all equivelar maps on the nonorientable surface of genus 4 as well as a ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
We present a fast enumeration algorithm for combinatorial 2 and 3manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3manifolds with 11 vertices. We further determine all equivelar maps on the nonorientable surface of genus 4 as well as all equivelar triangulations of the orientable surface of genus 3 and the nonorientable surfaces of genus 5 and 6. 1
The computational complexity of knot genus and spanning area
 electronic), arXiv: math.GT/0205057. MR MR2219001
"... Abstract. We show that the problem of deciding whether a polygonal knot in a closed threedimensional manifold bounds a surface of genus at most g is NPcomplete. We also show that the problem of deciding whether a curve in a PL manifold bounds a surface of area less than a given constant C is NPha ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract. We show that the problem of deciding whether a polygonal knot in a closed threedimensional manifold bounds a surface of genus at most g is NPcomplete. We also show that the problem of deciding whether a curve in a PL manifold bounds a surface of area less than a given constant C is NPhard. 1.
L.: Holonomy and Skyrme’s model
 Comm. Math. Phys
"... In this paper we consider two generalizations of the Skyrme model. One is a variational problem for maps from a compact 3manifold to a compact Lie group. The other is a variational problem for flat connections. We describe the path components of the configuration spaces of smooth fields for each of ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
In this paper we consider two generalizations of the Skyrme model. One is a variational problem for maps from a compact 3manifold to a compact Lie group. The other is a variational problem for flat connections. We describe the path components of the configuration spaces of smooth fields for each of the variational problems. We prove that the invariants separating the path components are welldefined for (not necessarily smooth) fields with finite Skyrme energy. We prove that for every possible value of these invariants there exists a minimizer of the Skyrme functional. Throughout the paper we emphasize the importance of holonomy in the Skyrme model. Some of the results may be useful in other contexts. In particular, we define the holonomy of a distributionally flat L 2 loc connection; the local developing maps for such connections need not be continuous. 1
IDEAL TURAEV–VIRO INVARIANTS
, 2005
"... Abstract. A Turaev–Viro invariant is a state sum, i.e., a polynomial that can be read off from a special spine or a triangulation of a compact 3manifold. If the polynomial is evaluated at the solution of a certain system of polynomial equations (Biedenharn–Elliott equations) then the result is a ho ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. A Turaev–Viro invariant is a state sum, i.e., a polynomial that can be read off from a special spine or a triangulation of a compact 3manifold. If the polynomial is evaluated at the solution of a certain system of polynomial equations (Biedenharn–Elliott equations) then the result is a homeomorphism invariant of the manifold (“numerical TuraevViro invariant”). The equation system defines an ideal, and actually the coset of the polynomial with respect to that ideal is a homeomorphism invariant as well (“ideal Turaev–Viro invariant”). It is clear that ideal Turaev–Viro invariants are at least as strong as numerical Turaev–Viro invariants, and we show that there is reason to expect that they are strictly stronger. They offer a more unified approach, since many numerical Turaev–Viro invariants can be captured in a singly ideal Turaev–Viro invariant. Using computer algebra, we obtain computational results on some examples of ideal Turaev–Viro invariants. 1.
Triangulated Manifolds with Few Vertices: Geometric 3Manifolds.arXiv:math.GT/0311116
"... (without boundary) is with no doubt one of the most prominent tasks in topology ever since Poincaré’s fundamental work [88] on ≪l’analysis situs≫ appeared in 1904. There are various ways for constructing 3manifolds, some of which that are general enough to yield all 3manifolds (orientable or nonor ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
(without boundary) is with no doubt one of the most prominent tasks in topology ever since Poincaré’s fundamental work [88] on ≪l’analysis situs≫ appeared in 1904. There are various ways for constructing 3manifolds, some of which that are general enough to yield all 3manifolds (orientable or nonorientable) and some that produce only particular types or classes of examples. According to Moise [73], all 3manifolds can be triangulated. This implies that there are only countably many distinct combinatorial (and therefore at most so many different topological) types that result from gluing together tetrahedra. Another way to obtain 3manifolds is by starting with a solid 3dimensional polyhedron for which surface faces are pairwise identified (see, e.g., Seifert [98] and Weber and Seifert [118]). Both approaches are rather general and, on the first sight, do not give much control on the kind of manifold we can expect as an outcome. However, if we want to determine the topological type of some given triangulated 3manifold, then small or minimal triangulations
Manifold Aspects of the Novikov Conjecture
"... This article ignores completely connections with C ..."
POINTWISE PARTIAL HYPERBOLICITY IN 3DIMENSIONAL NILMANIFOLDS
"... Abstract. We show the existence of a family of manifolds on which all (pointwise or absolutely) partially hyperbolic systems are dynamically coherent. This family is the set of 3manifolds with nilpotent, nonabelian fundamental group. We further classify the partially hyperbolic systems on these ma ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. We show the existence of a family of manifolds on which all (pointwise or absolutely) partially hyperbolic systems are dynamically coherent. This family is the set of 3manifolds with nilpotent, nonabelian fundamental group. We further classify the partially hyperbolic systems on these manifolds up to leaf conjugacy. We also classify those systems on the 3torus which do not have an attracting or repelling periodic 2torus. These classification results allow us to prove some dynamical consequences, including existence and uniqueness results for measures of maximal entropy and quasiattractors.
NonRemovable Sets For Quasiconformal And Locally Bilipschitz Mappings In R³
, 1999
"... We give an example of a totally disconnected set E R 3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R 3 to itself which is quasiconformal o E, but not quasiconformal on all of R 3 . The set E may be taken with Hausdorff dimension 2. The construction a ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We give an example of a totally disconnected set E R 3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R 3 to itself which is quasiconformal o E, but not quasiconformal on all of R 3 . The set E may be taken with Hausdorff dimension 2. The construction also gives a nonremovable set for locally biLipschitz homeomorphisms.