SLIDE 1 Weaving Geodesic Foliations
Etienne Vouga
University of Texas at Austin
With: Josh Vekhter, Jiacheng Zhuo, Luisa Gil Fandino, Qixing Huang
SLIDE 2
design simulation
masonry deployables growth cloth, shells crumpling, swelling
Research Overview
weaves contact, friction
SLIDE 3
Why Study Discrete Geometry?
What is the relevance to machine learning?
SLIDE 4 Why Study Discrete Geometry?
What is the relevance to machine learning? In computer graphics, we have developed a deep understanding
- f 3D shape
- how to reason about it, discretize
it, compute with it
SLIDE 5 Why Study Discrete Geometry?
Differential geometry is the language of:
- shape
- deformation
- physics
- symmetries and mappings
SLIDE 6 Why Study Discrete Geometry?
Differential geometry is the language of:
- shape
- deformation
- physics
- symmetries and mappings
Yet the use of differential geometry in ML is still naive
SLIDE 7 Geometry in Machine Learning
Voxelization
- curse of dimensionality
- no surface geometry
SLIDE 8 Geometry in Machine Learning
Voxelization
- curse of dimensionality
- no surface geometry
Projection onto planes
SLIDE 9
ML Grand Challenge
How can we learn 3D shape, motion, deformation?
SLIDE 10
ML Grand Challenge
How can we learn 3D shape, motion, deformation? Groundbreaking new techniques for learning 3D shape must use the vocabulary of shape: discrete differential geometry
SLIDE 11
This Talk: Key Topics
Discrete vector fields and integrability Discrete foliations Discrete geodesics and geodesic fields Branched covering spaces
SLIDE 12 Martin Puryear
Alison Grace Martin
Nature Nanochemistry
“Quantum Spin Liquids” - Physics
LVIS/LVIS Jr. stents,
- J. NeuroInterventional Surgery 2015
Woven Structures: From Small Scale…
SLIDE 13 …to architectural
Centre Pompidou-Metz MINIMA | MAXIMA World Expo Pavillion
SLIDE 14
Can achieve wide array of shapes, using a wide array of materials.
Elastic Ribbons Woven Triaxially
SLIDE 15
Our Goal
Given a surface, figure out how to weave it
SLIDE 16 Our Goal
Given a surface, figure out how to weave it Will attack this problem in two parts:
- 1. How do you lay out a single family of
ribbons on a surface in a “nice” way?
SLIDE 17 Our Goal
Given a surface, figure out how to weave it Will attack this problem in two parts:
- 1. How do you lay out a single family of
ribbons on a surface in a “nice” way?
- 2. How do we extend to triaxial
weaves?
SLIDE 18 Physics of Ribbons
ribbon behaves as Eulerian beam
- small resistance to out-of-
plane bending
- small resistance to twist
- large resistance to in-
plane bending
SLIDE 19 Physics of Ribbons
ribbon behaves as Eulerian beam
- small resistance to out-of-
plane bending
- small resistance to twist
- large resistance to in-
plane bending
SLIDE 20 Physics of Ribbons
ribbon behaves as Eulerian beam
- small resistance to out-of-
plane bending
- small resistance to twist
- large resistance to in-
plane bending
SLIDE 21 Physics of Ribbons
ribbon behaves as Eulerian beam
- small resistance to out-of-
plane bending
- small resistance to twist
- large resistance to in-
plane bending ribbons must follow geodesics curves on the surface
SLIDE 22 Geodesics Fundamentally Global
Geodesic segments determined by 3 degrees of freedom:
- Start point
- Direction
- Distance
SLIDE 23
Geodesic Layout Challenge
Tracing one geodesic for a long time “mummifies” the target surface We want to “evenly” cover a surface with non-intersecting geodesics
SLIDE 24 Foliations
A decomposition of a surface into a union of submanifolds, called leaves Or, a submersion
[Palmer. ‘15]
SLIDE 25
Geodesic Foliations: Two Views
submersion with geodesic isolines
SLIDE 26
Geodesic Foliations: Two Views
submersion with geodesic isolines complete vector field with closed geodesic integral curves
SLIDE 27
Geodesic Foliations: Two Views
submersion with geodesic isolines complete vector field with closed geodesic integral curves (easier for applications)
SLIDE 28
Geodesic Foliation Relaxations
Issue: geodesic foliations usually don’t exist (e.g. on the round sphere)
SLIDE 29
Geodesic Foliation Relaxations
Issue: geodesic foliations usually don’t exist (e.g. on the round sphere) Allow geodesic almost-foliations: can delete singularities from surface
SLIDE 30 Geodesic Foliation Relaxations
Issue: geodesic foliations usually don’t exist (e.g. on the round sphere) Allow geodesic almost-foliations: can delete singularities from surface
example: gradient
function from any point
SLIDE 31
Problem Overview
Ultimate goal: given (discrete) surface, find geodesic almost- foliation
SLIDE 32
Problem Overview
Ultimate goal: given (discrete) surface, find geodesic almost- foliation This is too hard: we don’t know how to discretize the isoline constraint
SLIDE 33 Problem Overview
Ultimate goal: given (discrete) surface, find geodesic almost- foliation Our steps:
- 1. Find vector field that has
geodesic integral curves
- 2. Recover by integrating the field:
SLIDE 34 Problem Overview
Ultimate goal: given (discrete) surface, find geodesic almost- foliation Our steps:
- 1. Find vector field that has
geodesic integral curves
- 2. Recover by integrating the field:
isolines and integral curves parallel ban trivial solution
SLIDE 35
Geodesic Vector Fields
How can we tell if a discrete vector field “has geodesic integral curves”?
SLIDE 36
Geodesic Vector Fields
How can we tell if a discrete vector field “has geodesic integral curves”? geodesic equation?
SLIDE 37
Geodesic Singularities
Singularities are topologically necessary on surfaces of non-zero genus
SLIDE 38 Geodesic Singularities
Singularities are topologically necessary on surfaces of non-zero genus Only some singularities are acceptable:
geodesic almost everywhere not geodesic
SLIDE 39
Geodesic Singularities
Singularities are topologically necessary on surfaces of non-zero genus Only some singularities are acceptable Need a definition of discrete geodesic field that is well-defined at “good” singularities
SLIDE 40
Vector Field Integrability
A vector field is integrable if it is the gradient of a potential function
SLIDE 41
Vector Field Integrability
A vector field is integrable if it is the gradient of a potential function Discrete integrability: per-edge condition
SLIDE 42
Vector Field Integrability
A vector field is integrable if it is the gradient of a potential function Discrete integrability: per-edge condition
SLIDE 43
Vector Field Integrability
A vector field is integrable if it is the gradient of a potential function Discrete integrability: per-edge condition
SLIDE 44
Discrete Curl
A vector field is integrable if it is the gradient of a potential function (locally equivalent condition: )
SLIDE 45
Discrete Curl
A vector field is integrable if it is the gradient of a potential function (locally equivalent condition: ) Discrete curl:
SLIDE 46
Discrete Curl: Who Cares?
Geodesic condition can be written in terms of vector curl:
SLIDE 47
Discrete Curl: Who Cares?
Geodesic condition can be written in terms of vector curl: Discrete curl does not “see” good singularities!
SLIDE 48 Discrete Geodesic Fields
In the smooth setting: there are many curl-free unit fields Problem: discretization
SLIDE 49 Discrete Geodesic Fields
In the smooth setting: there are many curl-free unit fields Problem: discretization
SLIDE 50
Discrete Geodesic Fields
We define a (discrete, approximately) geodesic field as any solution to: We show: in the smooth setting, solutions are exactly those with
SLIDE 51 Discrete Geodesic Fields
We define a (discrete, approximately) geodesic field as any solution to:
smooth setting discrete setting discrete geodesics
SLIDE 52 Geodesic Field Design
- 1. Start with initial unit field
- 2. Descend using energy
SLIDE 53 Geodesic Field Design
- 1. Start with initial unit field
- 2. Descend using energy
trades off smoothness and geodesic-ness
SLIDE 54
Results on Disk
For random initial field:
SLIDE 55 Geodesic Field Design
- 1. Start with initial unit field
- 2. For
- fix , compute
SLIDE 56 Geodesic Field Design
- 1. Start with initial unit field
- 2. For
- fix , compute
- set
SLIDE 57
Effect of Smoothness Term
SLIDE 58
Results in 3D
SLIDE 59
Extracting Integral Curves
Once we have the vector field, how to trace out the integral curves? Usual approach: find scalar function
SLIDE 60
Extracting Integral Curves
Once we have the vector field, how to trace out the integral curves? Usual approach: find scalar function
SLIDE 61
Extracting Integral Curves
Once we have the vector field, how to trace out the integral curves? Usual approach: find scalar function
SLIDE 62
Extracting Integral Curves
Once we have the vector field, how to trace out the integral curves? Usual approach: find scalar function Extract level sets of
SLIDE 63 Extracting Integral Curves
Two possible obstructions:
- local: failure of to be curl-free
SLIDE 64 Extracting Integral Curves
Two possible obstructions:
- local: failure of to be curl-free
- global:
SLIDE 65
Extracting Integral Curves
Sometimes no solution:
flat 2x2 torus constant vector field
SLIDE 66
Fixing Local Integrability Failure
Main idea: we care only about the direction of the geodesic field, not the magnitude
SLIDE 67
Fixing Local Integrability Failure
Main idea: we care only about the direction of the geodesic field, not the magnitude Find a scalar function with
SLIDE 68
Fixing Local Integrability Failure
Reuse idea from geodesic field design:
SLIDE 69
Fixing Local Integrability Failure
Reuse idea from geodesic field design: must bar the trivial solution:
SLIDE 70
Fixing Local Integrability Failure
Reuse idea from geodesic field design: must bar the trivial solution: Turns into generalized eigenvector problem
SLIDE 71
Fixing Local Integrability Failure
SLIDE 72
Fixing Local Integrability Failure
SLIDE 73 Fixing Global Integrability Failure
Very challenging; no fully satisfying solution exists We use global nonlinear
initialized with
Knöppel et al
SLIDE 74
Integrated Vector Fields
SLIDE 75 Fixing Global Integrability Failure
Very challenging; no fully satisfying solution exists We use global nonlinear
initialized with
Knöppel et al
Result: function whose isolines are the designed geodesics
SLIDE 76 Back to Basketweaving
In a triaxial weave ribbons are laid
- ut in three near-parallel families
SLIDE 77 Topological Weave Singularities
http://images.math.cnrs.fr/Visualiser-la-courbure.html
SLIDE 78
Topological Weave Singularities
Circulating around singularity permutes the six weave families
SLIDE 79
Triaxial Weave Design
Design single geodesic foliation on sixfold cover of original surface
SLIDE 80
Triaxial Weave Design
Then extract isolines, polish with sim
SLIDE 81
More Results
SLIDE 82
A Real Design File
SLIDE 83
Fabricated Examples
SLIDE 84
SLIDE 85