Computing and Processing Correspondences with Functional Maps - - PowerPoint PPT Presentation

computing and processing correspondences with functional
SMART_READER_LITE
LIVE PREVIEW

Computing and Processing Correspondences with Functional Maps - - PowerPoint PPT Presentation

Computing and Processing Correspondences with Functional Maps SIGGRAPH 2017 course Maks Ovsjanikov , Etienne Corman, Michael Bronstein, Emanuele Rodol, Mirela BenChen , Leonidas Guibas, Frederic Chazal, Alex Bronstein Functional Vector Fields


slide-1
SLIDE 1

Computing and Processing Correspondences with Functional Maps

Maks Ovsjanikov, Etienne Corman, Michael Bronstein, Emanuele Rodolà, Mirela Ben‐Chen, Leonidas Guibas, Frederic Chazal, Alex Bronstein

SIGGRAPH 2017 course

slide-2
SLIDE 2

Functional Vector Fields

Mirela Ben‐Chen Technion, Israel Institute of Technology

ERC Project 714776 (OPREP)

slide-3
SLIDE 3

So far

Computing and analyzing FMAPs Using FMAPs for function transfer

3

[Ovsjanikov, BC, Solomon, Butscher, Guibas, SIGGRAPH 2012]

slide-4
SLIDE 4

This part

Computing FMAPs using vector fields Using FMAPs for vector field transfer

4

[Azencot, BC, Chazal, Ovsjanikov, SGP 2013]

slide-5
SLIDE 5

What are vector fields?

  • Smooth assignment of “arrow”

per point

  • Only tangent vector fields
  • Visualize with texture
  • Can see direction but not length

5

slide-6
SLIDE 6

Vector fields and maps – symbiosis

Fluid Simulation Quad remeshing Map Improvement

Azencot, Corman, BC, Ovsjanikov, SIGGRAPH 2017 Corman, Ovsjanikov, Chambolle, SGP 2015 Azencot, Vantzos, Wardetzky, Rumpf, BC, SCA 2015

slide-7
SLIDE 7

Transporting data with point‐to‐point maps

Mapping scalars Mapping vectors

7

∈ ∈

  • ?
  • Tangent plane of at
slide-8
SLIDE 8

The Map Differential

  • Start a curve from with

tangent

  • Map the curve to
  • is the tangent of the mapped

curve at

8

slide-9
SLIDE 9

Transporting data with point‐to‐point maps

Mapping scalars Mapping vectors

9

∈ ∈

  • Tangent plane of at
slide-10
SLIDE 10

Transporting data with functional maps

Mapping functions Mapping vector fields

10

: → : →

slide-11
SLIDE 11

The Map Differential

11

  • : 0,1 →

: 0,1 → .5 1 .5 1

slide-12
SLIDE 12

The functional Map Differential

12

  • : 0,1 →

: 0,1 → .5 1 .5 1

slide-13
SLIDE 13

The functional Map Differential

13

slide-14
SLIDE 14

The functional Map Differential

14

: →

slide-15
SLIDE 15

The functional Map Differential

15

: → : →

slide-16
SLIDE 16

The functional Map Differential

16

: → : →

  • 0 0

′0 〈 , 〉 ′0 〈 , 〉

, 〈 , 〉

slide-17
SLIDE 17

The functional Map Differential

slide-18
SLIDE 18

Corresponding vector fields

18

  • For all
slide-19
SLIDE 19

Corresponding vector fields

19

  • For all
slide-20
SLIDE 20

Functional Vector Fields

20

Linear Complete*

slide-21
SLIDE 21

Corresponding FVFs

21

  • , 〈, 〉
slide-22
SLIDE 22

Corresponding FVFs commute with FMap

22

slide-23
SLIDE 23

Application – Joint vector field design

23

  • constraints

smoothness map consistency

slide-24
SLIDE 24

Application – Joint vector field design

24

constraints + smoothness + consistency

slide-25
SLIDE 25

Application ‐ Joint Quad‐remeshing

25

Wed 9am, Room 152

[Azencot, Corman, BC, Ovsjanikov, SIGGRAPH 2017]

slide-26
SLIDE 26

Map “animation”

27

∈ ∈

  • One map

Map sequence

1 .5

slide-27
SLIDE 27

A 1‐parameter family of maps

28

slide-28
SLIDE 28

Back to vector fields

29

slide-29
SLIDE 29

Back to vector fields, self maps

30

.5 ∈

slide-30
SLIDE 30

Back to vector fields, self maps

31

slide-31
SLIDE 31

From maps to vector fields

32

∈ ,

slide-32
SLIDE 32

From vector fields to trajectories

  • We know: map → vector fields
  • How to do: vector fields → map?
  • Given solve for such that

33

The flow PDE

slide-33
SLIDE 33

From vector fields to functional trajectories

  • Given (stationary) ,

solve for such that

34

  • The flow:

The functional flow:

slide-34
SLIDE 34

The functional flow

35

slide-35
SLIDE 35

The functional flow

36

〈 , 〉

slide-36
SLIDE 36

The discrete functional flow

  • The surface is a triangle mesh
  • The function is represented using a linear basis , e.g. hat basis
  • is a vector, is a matrix
  • A matrix ODE

37

slide-37
SLIDE 37

The discrete functional flow

  • A matrix ODE
  • Closed form solution

38

slide-38
SLIDE 38

Implementation

  • Mesh : vertices, faces.
  • Represent

in the hat basis ‐ ∈

  • Represent in the hat basis – a sparse matrix ∈
  • Compute t expmv, ,
  • expmv: https://www.mathworks.com/matlabcentral/fileexchange/29576‐matrix‐exponential‐times‐a‐vector?focused=5172371&tab=function

Interpolate to vertices vector per face gradient operator

slide-39
SLIDE 39

Applications

Maps from vector fields

40

[Azencot, Vantzos, BC, SGP 2016]

slide-40
SLIDE 40

Applications

Incompressible flow on surfaces

  • Numerically simulate the equation
  • Vector field changes, more complicated
  • Total vorticity conserved by construction

41

  • [Azencot, Weißmann, Ovsjanikov, Wardetzky, BC, SGP 2014]
slide-41
SLIDE 41

Applications

Incompressible flow on surfaces

42

slide-42
SLIDE 42

Applications

Viscous thin films on surfaces Total volume of fluid conserved by construction

43

[Azencot, Vantzos, Wardetzky, Rumpf, BC, SCA 2015]

slide-43
SLIDE 43

Applications

Inferring vector fields

44

is distance preserving commutes with Δ

  • , ,
  • ||Δ Δ||
  • commutes with Δ

||Δ Δ||

  • [Azencot, BC, Chazal, Ovsjanikov, SGP 2013]
slide-44
SLIDE 44

Applications

Inferring vector fields

is area preserving is orthogonal is a rotation in functional space

  • is anti‐symmetric

is divergence free

slide-45
SLIDE 45

(some) conclusions

  • Vector fields and maps relate through tangents to trajectories
  • Can be used to transport vector fields with maps or

to compute maps from vector fields

  • The functional approach allows to use linear algebra instead of

geometric tracing for trajectory related problems

46

slide-46
SLIDE 46

References

  • Ovsjanikov, BC, Solomon, Butscher, Guibas, SIGGRAPH 2012, “Functional Maps: A

Flexible Representation of Maps Between Shapes”

  • Azencot, BC, Chazal, Ovsjanikov, SGP 2013, “An Operator Approach to Tangent

Vector Field Processing”

  • Azencot*, Weißmann*, Ovsjanikov, Wardetzky, BC, SGP 2014, “Functional Fluids
  • n Surfaces”
  • Corman, Ovsjanikov, Chambolle, SGP 2015, “Continuous Matching via Vector Field

Flow”

  • Azencot, Vantzos, Wardetzky, Rumpf, BC, SCA 2015, “Functional Thin Films on

Surfaces”

  • Azencot, Vantzos, BC, SGP 2016, “Advection‐Based Function Matching on

Surfaces”

  • Azencot, Corman, BC, Ovsjanikov, SIGGRAPH 2017, “Consistent Functional Cross

Field Design for Mesh Quadrangulation”

47