SIAM Conf. on Math for Industry, Oct. 10, 2009 Modeling Knots for Aesthetics and Simulations Carlo H. Séquin U.C. Berkeley Modeling, Analysis, Design …
Knots in Clothing
Knotted Appliances Garden hose Power cable
Intricate Knots in the Realm of... Boats Horses
Knots in Art Macrame Sculpture
Knotted Plants Kelp Lianas
Knotted Building Blocks of Life Knotted DNA Model of the most complex knotted protein (MIT 2006)
Mathematicians’ Knots Closed, non-self-intersecting curves in 3D space Tabulated by their crossing-number : = The minimal number of crossings visible after any deformation and projection unknot
Various Unknots
3D Hilbert Curve ( Séquin 2006 )
Pax Mundi II ( 2007 ) Brent Collins, Steve Reinmuth, Carlo Séquin
The Simplest Real Knot: The Trefoil José de Rivera, Construction #35 M. C. Escher, Knots (1965)
Complex, Symmetrical Knots
Tight “Braided” Knots
Composite Knots Knots can be “opened” at their periphery and then connected to each other.
Links and Linked Knots A link: comprises a set of loops – possibly knotted and tangled together.
Two Linked Tori: Link John Robinson, Bonds of Friendship (1979)
Borromean Rings: Link John Robinson
Tetra Trefoil Tangles Simple linking (1) -- Complex linking (2) {over-over-under-under} {over-under-over-under}
Tetrahedral Trefoil Tangle (FDM)
A Loose Tangle of Trefoils
Dodecahedral Pentafoil Cluster
Realization: Extrude Hone - ProMetal Metal sintering and infiltration process
A Split Trefoil To open: Rotate around z-axis
Split Trefoil (side view, closed)
Split Trefoil (side view, open)
Splitting Moebius Bands Litho by FDM-model FDM-model M.C.Escher thin, colored thick
Split Moebius Trefoil (Séquin, 2003)
“Knot Divided” Breckenridge, 2005
Knotty Problem How many crossings does this “Not-Divided” Knot have ?
2.5D Celtic Knots – Basic Step
Celtic Knot – Denser Configuration
Celtic Knot – Second Iteration
Recursive 9-Crossing Knot Is this really a 81-crossing knot ? 9 crossings
Knot Classification What kind of knot is this ? Can you just look it up in the knot tables ? How do you find a projection that yields the minimum number of crossings ? There is still no completely safe method to assure that two knots are the same.
Project: “Beauty of Knots” Find maximal symmetry in 3D for simple knots. Knot 4 1 and Knot 6 1
Computer Representation of Knots Spline representation via its control polygon. String of piecewise-linear line segments. But...
Is the Control Polygon Representative? A Problem: You may construct a nice knotted control polygon, and then find that the spline curve it defines is not knotted at all !
Unknot With Knotted Control-Polygon Composite of two cubic Bézier curves
Highly Knotted Control-Polygons u Use the previous configuration as a building block. u Cut open lower left joint between the 2 Bézier segments. u Small changes will keep the control polygons knotted. u Assemble several such constructs in a cyclic compound.
Highly Knotted Control-Polygons The Result: Control polygon has 12 crossings. Compound Bézier curve is still the unknot!
An Intriguing Question: Can an un-knotted control polygon produce a knotted spline curve ? First guess: Probably NOT Variation-diminishing property of Bézier curves implies that a spline cannot “wiggle” more than its control polygon.
Cubic Bézier and Its Control Polygon Cubic Bézier curve Region where curve is “outside” of control polygon Two “entangled” curves With “non-entangled” control polygons Convex hull of control polygon
Two “Entangled” Bezier Segments “in 3D” NOTE: The 2 control polygons are NOT entangled!
The Building Block Two “entangled” curves With “non-entangled” control polygons
Combining 4 such Entangled Units Use several units …
Control Polygons Are NOT Entangled … Use several units …
Can Be Reduced to the Chords
This Is NOT a Knot !
But This Is a Knot ! Knot 7 2
The Problem When can we use the control polygon to make reliable predictions about the curve ? Thus we have a true spline knot whose control polygon is the unknot !
Tubular Neighborhoods A tubular neighborhood of a submanifold of a smooth manifold is an open set around it resembling the normal bundle. (Wikipedia) ( Tom Peters et al.)
Ambient Isotopy If both the curve and its control polygon lie in the same tubular neighborhood, they have the same topological surroundings and thus have the same knotted-ness. ( Tom Peters et al.) subdivided control polygon
A “Safe” Tubular Neighborhood A tube of uniform diameter equal to the minimum separation of any two branches
More Efficient Neighborhoods? Tube diameter is determined by tightest bottleneck Inefficient! Make tube diameter variable along the knot curve(s) Difficult!
Another “Neighborhood” The notion of the “control ribbon”: control polygon spline curve control ribbon A ruled surface, that connects points with equal parameter values on the spline and on the control polygon
Knots and Their Control Ribbons K3 1 : “Trefoil” and K9 40 : “Chinese Button Knot”
Crucial Test on Control Ribbon Any self-intersections ?
Does a Line Pass thru Control Ribbon? Look at the “crossings” formed by close approaches between query line (green) and the edges of the control ribbon. If the two “crossings” have the same sign, line stabs the ribbon.
Current Focus Find out how this can be done most efficiently: u Find the occurrences of all “close approaches” u Determine the signs of the relevant “crossings”
Conclusion u Knots appear in many domains, in many different forms, and with highly varying degrees of complexity. u CAD tools have only tangentially addressed efficient modeling and analysis of knotted structures. u Suitable abstractions of knots, coupled with some topological guarantees, offer promise for computationally efficient solutions. u The “quest” has only just begun!
Acknowledgements Thanks to Tom Peters for many fruitful discussions! This work is being supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF award #CCR (ITR)).
Q U E S T I O N S ? Granny-Knot-Lattice (Squin, 1981) Granny-Knot-Lattice (Séquin, 1981)