Results 1  10
of
42
Interactive Topological Drawing
, 1998
"... The research presented here examines topological drawing, a new mode of constructing and interacting with mathematical objects in threedimensional space. In topological drawing, issues such as adjacency and connectedness, which are topological in nature, take precedence over purely geometric issues ..."
Abstract

Cited by 18 (1 self)
 Add to MetaCart
The research presented here examines topological drawing, a new mode of constructing and interacting with mathematical objects in threedimensional 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 threedimensional 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 selfintersections. 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
RealTime Knot Tying Simulation
"... While rope is arguably a simpler system to simulate than cloth, the realtime 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 sim ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
While rope is arguably a simpler system to simulate than cloth, the realtime 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 realtime. 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 realtime. This work was motivated by surgical suturing, but simulation in other domains, such as sailing and rock climbing, could benefit from it.
Estimating Jones polynomials is a complete problem for one clean qubit, http://arxiv.org/abs/0707.2831
"... It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQPcomplete 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 ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQPcomplete 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
The size of spanning disks for polygonal curves
 Discrete Comput. Geom
"... 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 PiecewiseLinear triangulated disk spanning the curve contains at least 2 n−1 triangles. 1. Introduction. Let K be a closed polygonal curve in R3 consi ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
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 PiecewiseLinear 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 PiecewiseLinear (PL) spanning disk of K? The main result, Theorem 1 below,
The disjoint curve property
, 2004
"... A Heegaard splitting of a closed, orientable threemanifold satisfies the disjoint curve property if the splitting surface contains an essential simple closed curve and each handlebody contains an essential disk disjoint from this curve [Thompson, 1999]. A splitting is full if it does not have the d ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
A Heegaard splitting of a closed, orientable threemanifold satisfies the disjoint curve property if the splitting surface contains an essential simple closed curve and each handlebody contains an essential disk disjoint from this curve [Thompson, 1999]. A splitting is full if it does not have the disjoint curve property. This paper shows that in a closed, orientable threemanifold all splittings of sufficiently large genus have the disjoint curve property. From this and a solution to the generalized Waldhausen conjecture it would follow that any closed, orientable three manifold contains only finitely many full splittings.
Protein similarity from knot theory and geometric convolution
 J Comput Biol
, 2004
"... interpreted as representing the official policies, either expressed or implied, of the Pennsylvania Department ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
interpreted as representing the official policies, either expressed or implied, of the Pennsylvania Department
Almost Normal Heegaard Splittings
, 2001
"... The study of threemanifolds 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... ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
The study of threemanifolds 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...
Computing Linking Numbers of a Filtration
 In Algorithms in Bioinformatics (LNCS 2149
, 2001
"... 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 nontrivial tangling in biomolecules, modeled as alpha complexes. ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
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 nontrivial tangling in biomolecules, modeled as alpha complexes.
Motion Planning for Knot Untangling
 Int. J. of Robotics Research
, 2002
"... 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 a ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
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.