63
SIAM Conf. on Math for Industry, Oct. SIAM Conf. on Math for Industry, Oct. 10, 2009 10, 2009 Modeling Knots for Aesthetics and Simulations Carlo H. Séquin U.C. Berkeley Modeling, Analysis, Design …

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 …

  • View
    217

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 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 …

SIAM Conf. on Math for Industry, Oct. 10, 2009SIAM Conf. on Math for Industry, Oct. 10, 2009

Modeling Knots for Aesthetics and Simulations

Carlo H. Séquin

U.C. Berkeley

Modeling, Analysis, Design …

Page 2: 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 Knots in Clothing

Page 3: 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 …

Knotted Appliances Knotted Appliances

Garden hose Power cable

Page 4: 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 …

Intricate Knots in the Realm of . . .Intricate Knots in the Realm of . . .

Boats Horses

Page 5: 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 ArtKnots in Art

Macrame Sculpture

Page 6: 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 …

Knotted PlantsKnotted Plants

Kelp Lianas

Page 7: 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 …

Knotted Building Blocks of LifeKnotted Building Blocks of Life

Knotted DNAModel of the most complex knotted protein (MIT 2006)

Page 8: 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 …

Mathematicians’ KnotsMathematicians’ Knots

Closed, non-self-intersecting curves in 3D space

0 3 4 6

Tabulated by their crossing-number :

= The minimal number of crossings visible after any deformation and projection

unknot

Page 9: 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 …

Various UnknotsVarious Unknots

Page 10: 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 …

3D Hilbert Curve (3D Hilbert Curve (SSééquin 2006quin 2006))

Page 11: 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 …

Pax Mundi II (Pax Mundi II (20072007))

Brent Collins, Steve Reinmuth, Carlo Séquin

Page 12: 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 …

The Simplest Real Knot: The TrefoilThe Simplest Real Knot: The Trefoil

José de Rivera, Construction #35

M. C. Escher, Knots (1965)

Page 13: 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 …

Complex, Symmetrical KnotsComplex, Symmetrical Knots

Page 14: 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 …

Tight “Braided” KnotsTight “Braided” Knots

Page 15: 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 …

Composite Knots Composite Knots

Knots can be “opened” at their periphery and then connected to each other.

Page 16: 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 …

Links and Linked KnotsLinks and Linked Knots

A link: comprises a set of loops

– possibly knotted and tangled together.

Page 17: 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 …

Two Linked Tori: Link 2Two Linked Tori: Link 22211

John Robinson, John Robinson, Bonds of Friendship (1979)Bonds of Friendship (1979)

Page 18: 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 …

Borromean Rings: Link 6Borromean Rings: Link 63322

John Robinson

Page 19: 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 …

Tetra Trefoil TanglesTetra Trefoil Tangles

Simple linking (1) -- Complex linking (2)

{over-over-under-under} {over-under-over-under}

Page 20: 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 …

Tetrahedral Trefoil Tangle Tetrahedral Trefoil Tangle (FDM)(FDM)

Page 21: 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 …

A Loose Tangle of TrefoilsA Loose Tangle of Trefoils

Page 22: 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 …

Dodecahedral Pentafoil ClusterDodecahedral Pentafoil Cluster

Page 23: 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 …

Realization: Extrude Hone - ProMetalRealization: Extrude Hone - ProMetal

Metal sintering and infiltration process

Page 24: 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 …

A Split TrefoilA Split Trefoil

To open: Rotate around z-axis

Page 25: 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 …

Split Trefoil (side view, closed)Split Trefoil (side view, closed)

Page 26: 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 …

Split Trefoil (side view, open)Split Trefoil (side view, open)

Page 27: 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 …

Splitting Moebius BandsSplitting Moebius Bands

Litho by FDM-model FDM-modelM.C.Escher thin, colored thick

Page 28: 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 …

Split Moebius Trefoil (SSplit Moebius Trefoil (Sééquin, 2003)quin, 2003)

Page 29: 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 …

““Knot DividedKnot Divided” Breckenridge, 2005” Breckenridge, 2005

Page 30: 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 …

Knotty ProblemKnotty Problem

How many crossings

does this “Not-Divided” Knot have ?

Page 31: 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 …

2.5D Celtic Knots – Basic Step2.5D Celtic Knots – Basic Step

Page 32: 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 …

Celtic Knot – Denser ConfigurationCeltic Knot – Denser Configuration

Page 33: 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 …

Celtic Knot – Second IterationCeltic Knot – Second Iteration

Page 34: 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 …

Recursive 9-Crossing KnotRecursive 9-Crossing Knot

Is this really a 81-crossing knot ?

9 crossings

Page 35: 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 …

Knot ClassificationKnot 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.

Page 36: 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 …

Project: “Beauty of Knots” Project: “Beauty of Knots”

Find maximal symmetry in 3D for simple knots.

Knot 41 and Knot 61

Page 37: 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 …

Computer Representation of KnotsComputer Representation of Knots

Spline representation via its control polygon.

String of piecewise-linear line segments.

But . . .

Page 38: 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 …

Is the Control Polygon Representative?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 !

Page 39: 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 …

Unknot With Knotted Control-PolygonUnknot With Knotted Control-Polygon

Composite of two cubic Bézier curves

Page 40: 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 …

Highly Knotted Control-PolygonsHighly Knotted Control-Polygons

Use the previous configuration as a building block.

Cut open lower left joint between the 2 Bézier segments.

Small changes will keep the control polygons knotted.

Assemble several such constructs in a cyclic compound.

Page 41: 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 …

Highly Knotted Control-PolygonsHighly Knotted Control-Polygons

The Result:

Control polygon has 12 crossings.

Compound Bézier curve is still the unknot!

Page 42: 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 …

An Intriguing Question:An Intriguing Question:

Can an un-knotted control polygon

produce a knotted spline curve ?

First guess: Probably NOT

Variation-diminishing property of Bézier curvesimplies that a spline cannot “wiggle”

more than its control polygon.

Page 43: 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 …

Cubic BCubic Béézier and Its Control Polygonzier 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

Page 44: 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 …

Two “Entangled” Bezier Segments “in 3D”Two “Entangled” Bezier Segments “in 3D”

NOTE: The 2 control polygons are NOT entangled!

Page 45: 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 …

The Building BlockThe Building Block

Two “entangled” curves

With “non-entangled” control polygons

Page 46: 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 …

Combining 4 such Entangled UnitsCombining 4 such Entangled Units

Use several units …

Page 47: 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 …

Control Polygons Are NOT Entangled …Control Polygons Are NOT Entangled …

Use several units …

Page 48: 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 …

Can Be Reduced to the ChordsCan Be Reduced to the Chords

Page 49: 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 …

This Is NOT a Knot !This Is NOT a Knot !

Page 50: 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 …

But This Is a Knot ! But This Is a Knot !

Knot 72

Page 51: 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 …

The ProblemThe Problem

When can we use the control polygon to make reliable predictions about the curve ?

Thus we have a true spline knotwhose control polygon is the unknot !

Page 52: 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 …

Tubular NeighborhoodsTubular 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.)

Page 53: 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 …

Ambient IsotopyAmbient Isotopy

If both the curve and its control polygon lie in the same tubular neighborhood,they have the same topological surroundingsand thus have the same knotted-ness.

( Tom Peters et al.)

subdivided control polygon

Page 54: 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 …

A “Safe” Tubular NeighborhoodA “Safe” Tubular Neighborhood

A tube of uniform diameter equal to the minimum separation of any two branches

Page 55: 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 …

More Efficient Neighborhoods?More Efficient Neighborhoods?

Tube diameter is determined by tightest bottleneck

Inefficient!

Make tube diameter variable along the knot curve(s)

Difficult!

Page 56: 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 …

Another “Neighborhood”Another “Neighborhood”

The notion of the “control ribbon”:

control polygon

spline curve

controlribbon

A ruled surface, that connects points with equal parameter values on the spline and on the control polygon

Page 57: 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 and Their Control RibbonsKnots and Their Control Ribbons

K31: “Trefoil” and K940: “Chinese Button Knot”

Page 58: 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 …

Crucial Test on Control RibbonCrucial Test on Control Ribbon

Any self-intersections ?

Page 59: 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 …

Does a Line Pass thru Control Ribbon?Does a Line Pass thru Control Ribbon?

Look at the “crossings”formed by close approaches betweenquery line (green)and the edges ofthe control ribbon.

If the two “crossings” have the same sign,line stabs the ribbon.

Page 60: 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 …

Current FocusCurrent Focus

Find out how this can be done most efficiently:

Find the occurrences of all “close approaches”

Determine the signs of the relevant “crossings”

Page 61: 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 …

ConclusionConclusion

Knots appear in many domains, in many different forms, and with highly varying degrees of complexity.

CAD tools have only tangentially addressed efficient modeling and analysis of knotted structures.

Suitable abstractions of knots, coupled with some topological guarantees, offer promise for computationally efficient solutions.

The “quest” has only just begun!

Page 62: 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 …

AcknowledgementsAcknowledgements

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-0225610 (ITR)).

Page 63: 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 …

Q U E S T I O N S ?Q U E S T I O N S ?

Granny-Knot-Lattice (SGranny-Knot-Lattice (Séquin, 1981)quin, 1981)