(Probably) Concave Graph Matching Haggai Maron and Yaron Lipman - - PowerPoint PPT Presentation

β–Ά
probably concave graph matching
SMART_READER_LITE
LIVE PREVIEW

(Probably) Concave Graph Matching Haggai Maron and Yaron Lipman - - PowerPoint PPT Presentation

(Probably) Concave Graph Matching Haggai Maron and Yaron Lipman Weizmann Institute of Science Graph Matching n tr( ) min Graph Matching n tr( ) min DS Previous Work


slide-1
SLIDE 1

(Probably) Concave Graph Matching

Haggai Maron and Yaron Lipman Weizmann Institute of Science

slide-2
SLIDE 2

Graph Matching

min

π‘ŒβˆˆΞ n βˆ’tr(π‘©π‘Œπ‘ͺπ‘Œπ‘ˆ)

slide-3
SLIDE 3

Graph Matching

min

π‘ŒβˆˆΞ n βˆ’tr(π‘©π‘Œπ‘ͺπ‘Œπ‘ˆ) DS

slide-4
SLIDE 4

Previous Work

  • Superiority of the indefinite relaxation
  • [Lyzinski et al. PAMI 2016]
  • Efficient graph matching via concave energies
  • [Vestner et al. CVPR 2017, Boyarski et al. 3DV 2017]
slide-5
SLIDE 5

Advantages of Concave Relaxations

  • All local minima are permutation matrices

πΉπ‘œπ‘“π‘ π‘•π‘§ πΈπ‘π‘›π‘π‘—π‘œ

slide-6
SLIDE 6

Many important graph matching problems are concave!

slide-7
SLIDE 7

Which 𝐡, 𝐢 give rise to concave relaxations?

slide-8
SLIDE 8

Concavity of Indefinite Relaxation

  • Theorem: It is sufficient that

𝐡 = Ξ¦ 𝑦𝑗 βˆ’ π‘¦π‘˜ , 𝐢 = Ξ¨(𝑧𝑗 βˆ’ π‘§π‘˜) where Ξ¦, Ξ¨ are positive definite functions of order one.

slide-9
SLIDE 9

Concavity of Indefinite Relaxation

  • Theorem: It is sufficient that

𝐡 = Ξ¦ 𝑦𝑗 βˆ’ π‘¦π‘˜ , 𝐢 = Ξ¨(𝑧𝑗 βˆ’ π‘§π‘˜) where Ξ¦, Ξ¨ are positive definite functions of order one.

slide-10
SLIDE 10

Concave Energies

Euclidean distance in any dimension

  • Mahalanobis distances
  • Spectral graph distances
  • Matching objects with deep descriptors

Spherical distance in any dimension [bogomolny, 2007]

π΅π‘—π‘˜ = ||𝑦𝑗 βˆ’ π‘¦π‘˜||2 π΅π‘—π‘˜ = π‘’π‘‡π‘œ (𝑦𝑗, π‘¦π‘˜)

slide-11
SLIDE 11

Do we really need a concave relaxation?

slide-12
SLIDE 12

Do we really need a concave relaxation?

Image taken from Crane et al. 2017

slide-13
SLIDE 13

Probably Concave Energies

  • Theorem (upper bound on the probability of convex restriction)

Let 𝑁 ∈ ℝ𝑛×𝑛 and 𝐸 ≀ ℝ𝑛 a uniformly sampled 𝑒-dimensional subspace, then: 𝑄𝑠 𝑁

𝐸 ≻ 0 ≀ min 𝑒 𝑗=1 π‘œ

1 βˆ’ 2π‘’πœ‡π‘— βˆ’π‘’/2

slide-14
SLIDE 14

Probably Concave Energies

  • Theorem (upper bound on the probability of convex restriction)

Let 𝑁 ∈ ℝ𝑛×𝑛 and 𝐸 ≀ ℝ𝑛 a uniformly sampled 𝑒-dimensional subspace, then: 𝑄𝑠 𝑁

𝐸 ≻ 0 ≀ min 𝑒 𝑗=1 π‘œ

1 βˆ’ 2π‘’πœ‡π‘— βˆ’π‘’/2

slide-15
SLIDE 15

Applications

slide-16
SLIDE 16

Conclusion

  • A large family of concave or probably concave relaxations
  • Checking probable concavity with eigenvalue bound
  • Extension of [Lyzinsky et al. 2016] to practical matching problems
slide-17
SLIDE 17

The End

  • Support
  • ERC Grant (LiftMatch)
  • Israel Science Foundation
  • Thanks for listening!