Exact computation for existence of a knot counterexample

MaRDI QIDQ5742237zbMATH OpenFDO

Authors K. Marinelli, T. J. Peters

Publication date 17 May 2019

Full work available at URL https://arxiv.org/abs/1711.10276, https://polipapers.upv.es/index.php/AGT/article/view/10928

zbMATH Keywords

isotopyknot theoryparametric curve

Mathematics Subject Classification ID

Knot theory (57K10) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Abstract: Previously, numerical evidence was presented of a self-intersecting Bezier curve having the unknot for its control polygon. This numerical demonstration resolved open questions in scientific visualization, but did not provide a formal proof of self-intersection. An example with a formal existence proof is given, even while the exact self-intersection point remains undetermined.

Recommendations

• Computational topology counterexamples with 3D visualization of Bézier curves
• Unknots with highly knotted control polygons
• Selfintersection of composite curves and surfaces
• Computing intersections of planar spline curves using knot insertion
• Preserving computational topology by subdivision of quadratic and cubic Bézier curves

Cites work

• A condition for isotopic approximation
• A Theoretical Development for the Computer Generation and Display of Piecewise Polynomial Surfaces
• Backward Error Analysis in Computational Geometry
• Bézier curves: Topological convergence of the control polygon
• Classroom examples of robustness problems in geometric computations
• Computational topology counterexamples with 3D visualization of Bézier curves
• Computational topology: Ambient isotopic approximation of 2-manifolds.
• Erratum: ``Isotopic convergence theorem
• Exact computation of the medial axis of a polyhedron
• scientific article; zbMATH DE number 981250 (Why is no real title available?)
• scientific article; zbMATH DE number 3850090 (Why is no real title available?)
• scientific article; zbMATH DE number 3812514 (Why is no real title available?)
• scientific article; zbMATH DE number 194260 (Why is no real title available?)
• scientific article; zbMATH DE number 1032051 (Why is no real title available?)
• scientific article; zbMATH DE number 2064520 (Why is no real title available?)
• Isotopic equivalence by Bézier curve subdivision for application to high performance computing
• Modeling time and topology for animation and visualization with examples on parametric geometry
• Polyhedral perturbations that preserve topological form
• Selfintersection of composite curves and surfaces
• Unknots with highly knotted control polygons

Cited in

(2)

• Computational topology counterexamples with 3D visualization of Bézier curves
• Unknots with highly knotted control polygons

This page was built for publication: Exact computation for existence of a knot counterexample

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5742237)