Abstract not found

The research presented here examines topological drawing, a new mode of constructing and interacting with mathematical objects in three-dimensional space. In topological drawing, issues such as adjacency and connectedness, which are topological in nature, take precedence over purely geometric issues. Because the domain of application is mathematics, topological drawing is also concerned with the correct representation and display of these objects on a computer. By correctness we mean that the essential topological features of objects are maintained during interaction. We have chosen to limit the scope of topological drawing to knot theory, a domain that consists essentially of one class of object (embedded circles in three-dimensional space) yet is rich enough to contain a wide variety of difficult problems of research interest. In knot theory, two embedded circles (knots) are considered equivalent if one may be smoothly deformed into the other without any cuts or self-intersections. This notion of equivalence may be thought of as the heart of knot theory. We present methods for the computer construction and interactive manipulation of a

While rope is arguably a simpler system to simulate than cloth, the real-time simulation of rope, and knot tying in particular, raise unique and difficult issues in contact detection and management. Some practical knots can only be achieved by complicated crossings of the rope, yielding multiple simultaneous contacts, especially when the rope is pulled tight. This paper describes a simulator allowing a user to grasp and smoothly manipulate a virtual rope and to tie arbitrary knots, including knots around other objects, in real-time. One component of the simulator precisely detects selfcollisions in the rope, as well as collisions with other objects. Another component manages collisions to prevent penetration, while making the rope slide with some friction along itself and other objects, so that knots can be pulled tight in believable manner. An additional module uses recent results from knot theory to identify which topological knots have been tied, also in real-time. This work was motivated by surgical suturing, but simulation in other domains, such as sailing and rock climbing, could benefit from it.

The study of three-manifolds via their Heegaard splittings was initiated by Poul Heegaard in 1898 in his thesis. Our approach to the subject is through almost normal surfaces, as introduced by Hyam Rubinstein [28] and distance, as introduced by John Hempel [12]. Among the results presented...

It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQP-complete problem. That is, this problem exactly captures the power of the quantum circuit model[12, 3, 1]. The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker than standard quantum computers, but still capable of solving some classically intractable problems [20]. Here we show that evaluating a certain approximation to the Jones polynomial at a fifth root of unity for the trace closure of a braid is a complete problem for the one clean qubit complexity class. That is, a one clean qubit computer can approximate these Jones polynomials in time polynomial in both the number of strands and number of crossings, and the problem of simulating a one clean qubit computer is reducible to approximating the Jones polynomial of the trace closure of a braid. 1 One Clean Qubit The one clean qubit model of quantum computation originated as an idealized model of quantum computation on highly mixed initial states, such as appear in NMR implementations[20, 4]. In this model, one is given an initial quantum state consisting of a single qubit in the pure state |0〉, and n qubits in the maximally mixed

We develop fast algorithms for computing the linking number of a simplicial complex within a filtration. We give experimental results in applying our work toward the detection of non-trivial tangling in biomolecules, modeled as alpha complexes.

interpreted as representing the official policies, either expressed or implied, of the Pennsylvania Department

Abstract. For each integer n ≥ 0, there is a closed, unknotted, polygonal curve Kn in R 3 having less than 10n + 9 edges, with the property that any Piecewise-Linear triangulated disk spanning the curve contains at least 2 n−1 triangles. 1. Introduction. Let K be a closed polygonal curve in R3 consisting of n line segments. Assume that K is unknotted, so that it is the boundary of an embedded disk in R3. This paper considers the question: How many triangles are needed to triangulate a Piecewise-Linear (PL) spanning disk of K? The main result, Theorem 1 below,

When given a very tangled but unknotted circular piece of string it is usually quite easy to move it around and tug on parts of it until it untangles. However solving this problem by computer, either exactly or heuristically, is challenging. Various approaches have been tried, employing ideas from algebra, geometry, topology and optimization. This paper investigates the application of motion planning techniques to the untangling of mathematical knots. Such an approach brings together robotics and knotting at the intersection of these fields: rational manipulation of a physical model. In the past, simulated annealing and other energy minimization methods have been used to find knot untangling paths for physical models. Using a probabilistic planner, we have untangled some standard benchmarks described by over four hundred variables much more quickly than has been achieved with minimization. We also show how to produce candidates with minimal number of segments for a given knot. We discuss novel motion planning techniques that were used in our algorithm and some possible applications of our untangling planner in computational topology and in the study of DNA rings.

Abstract. We show that the problem of deciding whether a polygonal knot in a closed three-dimensional manifold bounds a surface of genus at most g is NP-complete. 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 NP-hard. 1.