CS 468, spring 2012 - Research | MIT...

57
http://alice.loria.fr/publications/papers/2008/ManifoldHarmonics//photo/dragon_mhb.png Justin Solomon MIT, Spring 2019

Transcript of CS 468, spring 2012 - Research | MIT...

Page 1: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

http://alice.loria.fr/publications/papers/2008/ManifoldHarmonics//photo/dragon_mhb.png

Justin SolomonMIT, Spring 2019

Page 2: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

The Laplacian

Page 3: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Wave equation:

Page 4: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 5: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Laplacian is a differentialoperator!

Page 6: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Finite element method (FEM)

http://www.stressebook.com/wp-content/uploads/2014/08/Airbus_A320_k.jpg

First-order Galerkin

Page 7: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

https://xkcd.com/1201/

Page 8: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Laplacian (second derivative)

Gradient(first derivative)

Page 9: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

One derivative, one integral

Gradient(first derivative)

Kinda-sorta cancels out?

Page 10: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 11: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 12: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Which basis?

Page 13: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Not the only wayto approximate the Laplacian operator.

Divided differences Higher-order elements Boundary element methods Discrete exterior calculus …

Page 14: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

“Test function”

Page 15: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Can recover function from dual

Page 16: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Use Laplacian without evaluating it!

Space of test functions (no boundary!):

Page 17: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Choose one of each:

Function space

Test functionsOften the same!

Page 18: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 19: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Image courtesy K. Crane, CMU

One “hat function” per vertex

Page 20: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 21: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Linear combination of hats(piecewise linear)

Page 22: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

One vector per face

Page 23: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

One scalar per face

Page 24: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Sum scalars per facemultiplied by face areas

Page 25: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Linear along edges

Page 26: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Linear along edges

Page 27: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 28: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Length of e23 cancels“base” in A

Page 29: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 30: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 31: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 32: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Case 1: Same vertex

Page 33: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Case 2: Different vertices

Page 34: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 35: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 36: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

THE COTANGENT LAPLACIAN

Page 37: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

http://nylander.wordpress.com/2006/05/24/finite-element-method-fem-solution-to-poisson%E2%80%99s-equation-on-triangular-mesh/

Page 38: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 39: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 40: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Multiply by Laplacian matrix!

Page 41: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Product of hats is quadratic

Page 42: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Just do the integral“Consistent” approach

Approximate some more

Redefine g

Page 43: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Just do the integral“Consistent” approach

Approximate some more

Redefine g

Page 44: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Diagonal elements:Norm of 𝒉𝒊

Off-diagonal elements:Overlap between 𝒉𝒊 and 𝒉𝒋

Page 45: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 46: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 47: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Rows sum to one ring area / 3

Involves only vertex and its neighbors

Partitions surface area

Issue: Not diagonal!

Page 48: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to
Page 49: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Approximate with diagonal matrixhttp://users.led-inc.eu/~phk/mesh-dualmesh.html

Won’t make big difference for smooth functions

Page 50: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Area/3 to each vertexhttp://www.alecjacobson.com/weblog/?p=1146

Page 51: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Cotangent Laplacian LPer-vertex function to integral of its Laplacian against each hat

Area weights AIntegrals of pairwise products of hats(or approximation thereof)

Page 52: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Must integrate to zero

Determined up to constant

Page 53: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

Strong form

Weak form

Page 54: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

2 3 4 5 6 7 8 9 10

1005025

On board: FEM approach?

Page 55: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

https://www.femtable.org/

Page 56: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

“Laplacian Eigenmaps for Dimensionality Reduction and Data Representation”Belkin & Niyogi 2003

Tricky parameter to choose

Page 57: CS 468, spring 2012 - Research | MIT CSAILgroups.csail.mit.edu/gdpgroup/assets/6838_spring_2019/9... · 2019. 3. 21. · Kinda-sorta cancels out? Which basis? Not the only way to

http://alice.loria.fr/publications/papers/2008/ManifoldHarmonics//photo/dragon_mhb.png

Justin SolomonMIT, Spring 2019