the persistence lattice
play

The Persistence Lattice Jo ao Pita Costa z (in a joint work with - PowerPoint PPT Presentation

Oct 11, 2022 •240 likes •1.65k views

The Persistence Lattice Jo ao Pita Costa z (in a joint work with Primo Skraba) Jo zef Stefan Institute Ljubljana, Slovenia Novi Sad Algebra Conference, June 8, 2013 Motivation & Background Order Structure Algebraic

  1. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence The Missing Data Problem G. Carlsson and A. Zomorodian, The theory of multidimensional persistence. Discrete Comput Geom (2007) JPC :: NSAC 2013 The Persistence Lattice

  2. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence The Missing Data Problem G. Carlsson and A. Zomorodian, The theory of multidimensional persistence. Discrete Comput Geom (2007) JPC :: NSAC 2013 The Persistence Lattice

  3. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Partially ordered sets What can the order tell us? JPC :: NSAC 2013 The Persistence Lattice

  4. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Varieties Of Lattices Boolean algebras Persistence lattices Heyting algebras vector lattices totally ordered sets metric lattices distributive lattices subspace lattices projective lattices modular lattices geometric lattices partition lattices semi-modular lattices lattices skew lattices partially ordered sets JPC :: NSAC 2013 The Persistence Lattice

  5. ❍ ✐❀❥ ✄ ✭ ✮ ❂ ✐♠✭❍ ✄ ✭ ✐ ✮ ✦ ❍ ✄ ✭ ❥ ✮✮ ■ ❍ ✄ ✭ ✐ ✮ ❴ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠❛①✭ ✐❀❥ ✮ ✮ ■ ❍ ✄ ✭ ✐ ✮ ❫ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠✐♥✭ ✐❀❥ ✮ ✮ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Standard Persistence ❳ ◆ A Morse-filtration is a partial order on the parameter ❳ ◆ � ✶ ❳ ☛ ✒ ❳ ☞ ✮ ☛ ❁ ☞ . . . ❳ ✷ ❳ ✶ JPC :: NSAC 2013 The Persistence Lattice

  6. ❍ ✐❀❥ ✄ ✭ ✮ ❂ ✐♠✭❍ ✄ ✭ ✐ ✮ ✦ ❍ ✄ ✭ ❥ ✮✮ ■ ❍ ✄ ✭ ✐ ✮ ❴ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠❛①✭ ✐❀❥ ✮ ✮ ■ ❍ ✄ ✭ ✐ ✮ ❫ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠✐♥✭ ✐❀❥ ✮ ✮ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Standard Persistence ❳ ◆ A Morse-filtration is a partial order on the parameter ❳ ◆ � ✶ ❳ ☛ ✒ ❳ ☞ ✮ ☛ ❁ ☞ . . . ❳ ✷ ❳ ✶ JPC :: NSAC 2013 The Persistence Lattice

  7. ■ ❍ ✄ ✭ ✐ ✮ ❴ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠❛①✭ ✐❀❥ ✮ ✮ ■ ❍ ✄ ✭ ✐ ✮ ❫ ❍ ✄ ✭ ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠✐♥✭ ✐❀❥ ✮ ✮ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Standard Persistence ❳ ◆ A Morse-filtration is a partial order on the parameter ❳ ◆ � ✶ ❳ ☛ ✒ ❳ ☞ ✮ ☛ ❁ ☞ . . Persistent homology classes . ❍ ✐❀❥ ✄ ✭ X ✮ ❂ ✐♠✭❍ ✄ ✭ X ✐ ✮ ✦ ❍ ✄ ✭ X ❥ ✮✮ ❳ ✷ ❳ ✶ JPC :: NSAC 2013 The Persistence Lattice

  8. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Standard Persistence ❳ ◆ A Morse-filtration is a partial order on the parameter ❳ ◆ � ✶ ❳ ☛ ✒ ❳ ☞ ✮ ☛ ❁ ☞ . . Persistent homology classes . ❍ ✐❀❥ ✄ ✭ X ✮ ❂ ✐♠✭❍ ✄ ✭ X ✐ ✮ ✦ ❍ ✄ ✭ X ❥ ✮✮ ❳ ✷ ❳ ✶ ■ ❍ ✄ ✭ X ✐ ✮ ❴ ❍ ✄ ✭ X ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠❛①✭ ✐❀❥ ✮ ✮ ■ ❍ ✄ ✭ X ✐ ✮ ❫ ❍ ✄ ✭ X ❥ ✮ ❂ ❍ ✄ ✭ ❳ ♠✐♥✭ ✐❀❥ ✮ ✮ JPC :: NSAC 2013 The Persistence Lattice

  9. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Standard Persistence ❳ ◆ A Morse-filtration is a partial order on the parameter ❳ ◆ � ✶ ❳ ☛ ✒ ❳ ☞ ✮ ☛ ❁ ☞ . . Persistent homology classes . ❍ ✐❀❥ ✄ ✭ X ✮ ❂ ✐♠✭❍ ✄ ✭ X ✐ ✮ ✦ ❍ ✄ ✭ X ❥ ✮✮ ❳ ✷ ❳ ✶ Definition For any two elements ❍ ✄ ✭ X ✐ ✮ and ❍ ✄ ✭ X ❥ ✮ , the rank of the persistent homology classes is ✐♠✭❍ ✄ ✭ X ✐ ❫ X ❥ ✮ ✦ ❍ ✄ ✭ X ✐ ❴ X ❥ ✮✮ . JPC :: NSAC 2013 The Persistence Lattice

  10. ✐❥ ❫ ❦❵ ✮ ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ ②③ ✐❥ ❴ ❦❵ ✮ ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ ②③ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ JPC :: NSAC 2013 The Persistence Lattice

  11. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ Set: X ✐❥ ❫ X ❦❵ ✮ X ②③ , with ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ X ✐❥ ❴ X ❦❵ ✮ X ②③ , with ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ JPC :: NSAC 2013 The Persistence Lattice

  12. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ Set: X ✐❥ ❫ X ❦❵ ✮ X ②③ , with ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ X ✐❥ ❴ X ❦❵ ✮ X ②③ , with ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ JPC :: NSAC 2013 The Persistence Lattice

  13. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ Set: X ✐❥ ❫ X ❦❵ ✮ X ②③ , with ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ X ✐❥ ❴ X ❦❵ ✮ X ②③ , with ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ JPC :: NSAC 2013 The Persistence Lattice

  14. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ Set: X ✐❥ ❫ X ❦❵ ✮ X ②③ , with ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ X ✐❥ ❴ X ❦❵ ✮ X ②③ , with ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ JPC :: NSAC 2013 The Persistence Lattice

  15. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Multidimensional Persistence X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ Set: X ✐❥ ❫ X ❦❵ ✮ X ②③ , with ② ❂ ♠✐♥✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠✐♥✭ ❥❀ ❵ ✮ X ✐❥ ❴ X ❦❵ ✮ X ②③ , with ② ❂ ♠❛①✭ ✐❀ ❦ ✮ ❀ ③ ❂ ♠❛①✭ ❥❀ ❵ ✮ JPC :: NSAC 2013 The Persistence Lattice

  16. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications General Diagrams? X ✷ X ✼ X ✶ X ✹ X ✽ X ✵ X ✸ X ✻ X ✺ JPC :: NSAC 2013 The Persistence Lattice

  17. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications General Diagrams? X ✷ X ✼ X ✶ X ✹ X ✽ X ✵ X ✸ X ✻ X ✺ X ✵ ❫ X ✺ JPC :: NSAC 2013 The Persistence Lattice

  18. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications General Diagrams? X ✷ ❴ X ✼ X ✷ X ✼ X ✶ X ✹ X ✽ X ✵ X ✸ X ✻ X ✺ X ✵ ❫ X ✺ JPC :: NSAC 2013 The Persistence Lattice

  19. ❆ ❇ ❆ ✔ ❇ ❢ ✿ ❆ ✦ ❇✿ ✐❞ ❆ ✐❞ ❇ ❢ ❆ ❇ ❣ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Diagrams of Spaces Requirements Diagram is commutative and connected. JPC :: NSAC 2013 The Persistence Lattice

  20. ❆ ❇ ❆ ✔ ❇ ❢ ✿ ❆ ✦ ❇✿ ✐❞ ❆ ✐❞ ❇ ❢ ❆ ❇ ❣ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Diagrams of Spaces Requirements Diagram is commutative and connected. the reverse maps exist in the case of isomorphisms. JPC :: NSAC 2013 The Persistence Lattice

  21. ❆ ❇ ❆ ✔ ❇ ❢ ✿ ❆ ✦ ❇✿ ✐❞ ❆ ✐❞ ❇ ❢ ❆ ❇ ❣ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Diagrams of Spaces Requirements Diagram is commutative and connected. the reverse maps exist in the case of isomorphisms. the composition will not commute with identity unless the map is an isomorphism. JPC :: NSAC 2013 The Persistence Lattice

  22. ✐❞ ❆ ✐❞ ❇ ❢ ❆ ❇ ❣ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Diagrams of Spaces Requirements Diagram is commutative and connected. the reverse maps exist in the case of isomorphisms. Partial order of vector spaces For all vector spaces ❆ and ❇ , ❆ ✔ ❇ if there exists a linear map ❢ ✿ ❆ ✦ ❇✿ JPC :: NSAC 2013 The Persistence Lattice

  23. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Diagrams of Spaces Requirements Diagram is commutative and connected. the reverse maps exist in the case of isomorphisms. Partial order of vector spaces For all vector spaces ❆ and ❇ , ❆ ✔ ❇ if there exists a linear map ❢ ✿ ❆ ✦ ❇✿ ✐❞ ❆ ✐❞ ❇ ❢ ❆ ❇ ❣ JPC :: NSAC 2013 The Persistence Lattice

  24. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Equalizers f ❆ ❈ g JPC :: NSAC 2013 The Persistence Lattice

  25. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Equalizers e f ❊ ❆ ❈ g JPC :: NSAC 2013 The Persistence Lattice

  26. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Equalizers e f ❊ ❆ ❈ g e’ ❊ ✵ JPC :: NSAC 2013 The Persistence Lattice

  27. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Equalizers e f ❊ ❆ ❈ g e’ ✣ ❊ ✵ JPC :: NSAC 2013 The Persistence Lattice

  28. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Equalizers e f ❊ ❆ ❈ g e’ ✣ ❊ ✵ The kernel set is ❊ ❂ ❢ ① ✷ ❳ ❥ ❢ ✭ ① ✮ ❂ ❣ ✭ ① ✮ ❣ ❂ ❦❡r ✭ ❢ � ❣ ✮ JPC :: NSAC 2013 The Persistence Lattice

  29. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers Coequalizers ❢ h ❉ ❈ ❍ ❣ ✣ h’ ❍ ✵ ❍ is the quotient of ❨ by the equivalence ❤ ✭ ❢ ✭ ① ✮ ❀ ❣ ✭ ① ✮✮ ❥ ① ✷ ❳ ✐ , i.e., ❍ ❂ ❈❂✐♠ ✭ ❢ � ❣ ✮ ❂ ❝♦❦❡r ✭ ❢ � ❣ ✮ JPC :: NSAC 2013 The Persistence Lattice

  30. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers ❢ ✐ e ❊ ❆ ✟ ❇ ❈ ❢ ❥ ❈ ❆ ✟ ❇ ❆ ❇ JPC :: NSAC 2013 The Persistence Lattice

  31. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers ❣ ✐ h ❆ ✟ ❇ ❉ ❍ ❣ ❥ ❆ ✟ ❇ ❆ ❇ ❉ JPC :: NSAC 2013 The Persistence Lattice

  32. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers ❢ ✐ e ❆ ✟ ❇ ❈ ✶ ❀ ❈ ✷ ❊ ❢ ❥ ❈ ✷ ❈ ✶ ❆ ❇ JPC :: NSAC 2013 The Persistence Lattice

  33. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers ❢ ✐ e ❆ ✟ ❇ ❈ ✶ ✟ ❈ ✷ ❊ ❢ ❥ ❈ ✶ ✟ ❈ ✷ ❆ ❇ JPC :: NSAC 2013 The Persistence Lattice

  34. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers f h ❉ ✶ ❀ ❉ ✷ ❆ ✟ ❇ ❍ g ❆ ❇ ❉ ✶ ❉ ✷ JPC :: NSAC 2013 The Persistence Lattice

  35. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Equalizers and Coequalizers f h ❉ ✶ ✟ ❉ ✷ ❆ ✟ ❇ ❍ g ❆ ❇ ❉ ✶ ✟ ❉ ✷ JPC :: NSAC 2013 The Persistence Lattice

  36. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Formal Definition Meet Operation The join of two elements ❆ and ❇ is the equalizer of ❆ ❫ ❇ ✦ ❆ ✟ ❇ ✓ ❈ ❦ given by: ❆ ❫ ❇ ❂ ❢ ① ✷ ❆ ✟ ❇ ❥ ❢ ✐ ✭ ① ✮ ❂ ❢ ❥ ✭ ① ✮ , for all ✐❀ ❥ ✷ ■ ❣ Join Operation The meet of two elements ❆ and ❇ is the coequalizer of ❉ ❦ ✓ ❆ ✟ ❇ ✦ ❆ ❴ ❇ given by: ❆ ❴ ❇ ❂ ❆ ✟ ❇❂ ❤ ❣ ✐ ✭ ① ✮ ✘ ❣ ❥ ✭ ① ✮ ❥ ① ✷ ❉ ❦ , for all ✐❀ ❥ ✷ ■ ✐ JPC :: NSAC 2013 The Persistence Lattice

  37. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Intuition ❆ ❇ JPC :: NSAC 2013 The Persistence Lattice

  38. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Intuition ❆ ❇ ❆ ❫ ❇ JPC :: NSAC 2013 The Persistence Lattice

  39. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Intuition ❆ ❴ ❇ ❆ ❇ JPC :: NSAC 2013 The Persistence Lattice

  40. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Intuition ❆ ❴ ❇ ❆ ❇ ❆ ❫ ❇ JPC :: NSAC 2013 The Persistence Lattice

  41. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Completness Theorem (JPC & P ˇ S 2013) The persistence lattice is a complete lattice with ❫ ❆ ❦ ❂ ❢ ① ✷ ✟ ❦ ❆ ❦ ✿ ❢ ❆ ✐ ✭ ① ✮ ❂ ❢ ❆ ❥ ✭ ① ✮ ❣ ❀ ❴ ❬ ❆ ❦ ❂ ✭ ✟ ❦ ❆ ❦ ✮ ❂ ❤ ✒ ❆ ✐ ❆ ❥ ✐ ✿ ❦ where ✒ ❆ ✐ ❆ ❥ ❂ ❤ ✭ ❢ ❆ ✐ ✭ ① ✮ ❀ ❢ ❆ ❥ ✭ ① ✮✮ ✐ JPC :: NSAC 2013 The Persistence Lattice

  42. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties What lattice do we get? JPC :: NSAC 2013 The Persistence Lattice

  43. ❢ ✿ ❆ ❫ ❇ ✦ ❆ ✟ ❇ ❣ ✿ ❆ ✟ ❇ ✦ ❆ ❴ ❇ ✐♠ ❢ ❂ ❦❡r ❣ ❆ ❴ ❇ ✘ ❂ ❆ ✟ ❇❂❢ ✭ ❆ ❫ ❇ ✮ ✿ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Theorem (JPC & P ˇ S 2013) Let ❆ and ❇ be vector spaces. Then, ✵ ✦ ❆ ❫ ❇ ✦ ❆ ✟ ❇ ✦ ❆ ❴ ❇ ✦ ✵ is a short exact sequence. JPC :: NSAC 2013 The Persistence Lattice

  44. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Theorem (JPC & P ˇ S 2013) Let ❆ and ❇ be vector spaces. Then, ✵ ✦ ❆ ❫ ❇ ✦ ❆ ✟ ❇ ✦ ❆ ❴ ❇ ✦ ✵ is a short exact sequence. Sketch of the Proof. The equalizer map ❢ ✿ ❆ ❫ ❇ ✦ ❆ ✟ ❇ is injective. The coequalizer map ❣ ✿ ❆ ✟ ❇ ✦ ❆ ❴ ❇ is surjective. Moreover ✐♠ ❢ ❂ ❦❡r ❣ so that ❆ ❴ ❇ ✘ ❂ ❆ ✟ ❇❂❢ ✭ ❆ ❫ ❇ ✮ ✿ JPC :: NSAC 2013 The Persistence Lattice

  45. ❆ ❇ ❳ ❳ ❴ ❆ ❂ ❳ ❴ ❇ ❆ ✘ ❳ ❫ ❆ ❂ ❳ ❫ ❇ ❂ ❇ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Theorem (JPC & P ˇ S 2013) The persistence lattice of a given persistence diagram is distributive. JPC :: NSAC 2013 The Persistence Lattice

  46. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Theorem (JPC & P ˇ S 2013) The persistence lattice of a given persistence diagram is distributive. Proof. Let ❆ , ❇ and ❳ be vector spaces such that ❳ ❴ ❆ ❂ ❳ ❴ ❇ and ❳ ❫ ❆ ❂ ❳ ❫ ❇ in order to show that ❆ ✘ ❂ ❇ . JPC :: NSAC 2013 The Persistence Lattice

  47. ❆ ❇ ❳ ✤ ✣ ❆ ✣ ❳ ❳ ❫ ❆ ❳ ❭ ❬ ✜ ❳ ■ ❯ ✮ ❱ ❂ ✐♥t ✭✭ ❳ � ❯ ✮ ❬ ❱ ✮ ① ✮ ② ❂ ❲ ❢ ③ ✿ ① ❫ ③ ✔ ② ❣ ■ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Definition A bounded distributive lattice ▲ is a Heyting algebra if, for all ❆❀ ❇ ✷ ▲ , ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✔ ❇ , i.e., JPC :: NSAC 2013 The Persistence Lattice

  48. ❳ ❭ ❬ ✜ ❳ ■ ❯ ✮ ❱ ❂ ✐♥t ✭✭ ❳ � ❯ ✮ ❬ ❱ ✮ ① ✮ ② ❂ ❲ ❢ ③ ✿ ① ❫ ③ ✔ ② ❣ ■ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Definition A bounded distributive lattice ▲ is a Heyting algebra if, for all ❆❀ ❇ ✷ ▲ , ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✔ ❇ , i.e., ❆ ❇ ❳ ✤ ✣ ❆ ✣ ❳ ❳ ❫ ❆ JPC :: NSAC 2013 The Persistence Lattice

  49. ❳ ❭ ❬ ✜ ❳ ■ ❯ ✮ ❱ ❂ ✐♥t ✭✭ ❳ � ❯ ✮ ❬ ❱ ✮ ① ✮ ② ❂ ❲ ❢ ③ ✿ ① ❫ ③ ✔ ② ❣ ■ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Definition A bounded distributive lattice ▲ is a Heyting algebra if, for all ❆❀ ❇ ✷ ▲ , ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✔ ❇ , i.e., ❆ ❇ ❳ ✤ ✣ ❆ ✣ ❳ ❳ ❫ ❆ JPC :: NSAC 2013 The Persistence Lattice

  50. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Definition A bounded distributive lattice ▲ is a Heyting algebra if, for all ❆❀ ❇ ✷ ▲ , ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✔ ❇ , i.e., ❆ ❇ ❳ ✤ ✣ ❆ ✣ ❳ ❳ ❫ ❆ Example ■ The open sets of any top space ❳ under ❭ , ❬ , ✜ , ❳ and ❯ ✮ ❱ ❂ ✐♥t ✭✭ ❳ � ❯ ✮ ❬ ❱ ✮ ■ Complete distributive lattices with ① ✮ ② ❂ ❲ ❢ ③ ✿ ① ❫ ③ ✔ ② ❣ JPC :: NSAC 2013 The Persistence Lattice

  51. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Theorem (JPC & P ˇ S 2013) The persistence lattice of a given persistence diagram is distributive, complete and bounded. It is completely distributive thus constituting a complete Heyting algebra . JPC :: NSAC 2013 The Persistence Lattice

  52. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Arrow Operation for standard persistence ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✦ ❇ . . . ❳ ✐ ❇ ✭ ❇❀ if ❇ ✔ ❆ ❆ ✮ ❇ ❂ ❆ ✶ ❀ if ❆ ✔ ❇ ❳ ❥ . . . JPC :: NSAC 2013 The Persistence Lattice

  53. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Arrow operation for multidimensional persistence ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✦ ❇ X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ JPC :: NSAC 2013 The Persistence Lattice

  54. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Arrow operation for multidimensional persistence ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✦ ❇ X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ JPC :: NSAC 2013 The Persistence Lattice

  55. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Arrow operation for multidimensional persistence ❆ ✮ ❇ is the biggest ❳ such that ❆ ❫ ❳ ✦ ❇ X ✵✸ X ✶✸ X ✷✸ X ✸✸ X ✵✷ X ✶✷ X ✷✷ X ✸✷ X ✵✶ X ✶✶ X ✷✶ X ✸✶ X ✵✵ X ✶✵ X ✷✵ X ✸✵ JPC :: NSAC 2013 The Persistence Lattice

  56. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Stability ❆ ❇ ❈ ❉ JPC :: NSAC 2013 The Persistence Lattice

  57. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Stability ❆ ❴ ❇ ❈ ❴ ❉ ❆ ❇ ❈ ❉ ❆ ❫ ❇ ❈ ❫ ❉ JPC :: NSAC 2013 The Persistence Lattice

  58. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Stability ✭ ❆ ❴ ❈ ✮ ❴ ✭ ❇ ❴ ❉ ✮ ❆ ❴ ❈ ❇ ❴ ❉ ✭ ❆ ❴ ❈ ✮ ❫ ✭ ❇ ❴ ❉ ✮ ❆ ❴ ❇ ❈ ❴ ❉ ❆ ❇ ❈ ❉ ❆ ❫ ❇ ❈ ❫ ❉ ✭ ❆ ❫ ❈ ✮ ❴ ✭ ❇ ❫ ❉ ✮ ❆ ❫ ❈ ❇ ❫ ❉ ✭ ❆ ❫ ❈ ✮ ❫ ✭ ❇ ❫ ❉ ✮ JPC :: NSAC 2013 The Persistence Lattice

  59. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algebraic Properties Stability ✭ ❆ ❴ ❈ ✮ ❴ ✭ ❇ ❴ ❉ ✮ ❆ ❴ ❈ ❇ ❴ ❉ ✭ ❆ ❴ ❈ ✮ ❫ ✭ ❇ ❴ ❉ ✮ ❆ ❴ ❇ ❈ ❴ ❉ ❆ ❇ ❈ ❉ ❆ ❫ ❇ ❈ ❫ ❉ ✭ ❆ ❫ ❈ ✮ ❴ ✭ ❇ ❫ ❉ ✮ ❆ ❫ ❈ ❇ ❫ ❉ ✭ ❆ ❫ ❈ ✮ ❫ ✭ ❇ ❫ ❉ ✮ JPC :: NSAC 2013 The Persistence Lattice

  60. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications (Other) Open Problems ■ Other views on stability ■ General decompositions and diagrams ■ New algorithms and analysis ■ Impact of the Heyting algebra structure ■ Study of the dual space JPC :: NSAC 2013 The Persistence Lattice

  61. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications HVALA JPC :: NSAC 2013 The Persistence Lattice

  62. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications HVALA THANK YOU JPC :: NSAC 2013 The Persistence Lattice

  63. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications HVALA THANK YOU OBRIGADO JPC :: NSAC 2013 The Persistence Lattice

  64. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications THE B-SIDES JPC :: NSAC 2013 The Persistence Lattice

  65. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Implementation Implementing pullbacks and pushouts JPC :: NSAC 2013 The Persistence Lattice

  66. ✭ ❢❀❣ ✮ ❦❡r✭ ❆ ✟ ❇ � � � ✦ ❈ ✮ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Pullback ❆ ❢ ❇ ❈ ❣ JPC :: NSAC 2013 The Persistence Lattice

  67. ✭ ❢❀❣ ✮ ❦❡r✭ ❆ ✟ ❇ � � � ✦ ❈ ✮ Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Pullback P ❆ ❢ ❇ ❈ ❣ JPC :: NSAC 2013 The Persistence Lattice

  68. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Pullback P ❆ ❢ ❇ ❈ ❣ ✭ ❢❀❣ ✮ Compute ❦❡r✭ ❆ ✟ ❇ � � � ✦ ❈ ✮ JPC :: NSAC 2013 The Persistence Lattice

  69. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algorithm We start out with two maps ❢❀ ❣ represented by matrices ❋❀ ● . To compute the pullback of f and g, we construct the matrix corresponding to ✭ ❢❀ � ❣ ✮ : � ● ❋ JPC :: NSAC 2013 The Persistence Lattice

  70. Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications Algorithm We start out with two maps ❢❀ ❣ represented by matrices ❋❀ ● . To ■ compute the pullback of f and g, we construct the matrix ■ corresponding to ✭ ❢❀ � ❣ ✮ : Compute kernel � ● ❋ JPC :: NSAC 2013 The Persistence Lattice

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Java Technologies Java Persistence API (JPA) Persistence Layer The Persistence Layer is used by

Java Technologies Java Persistence API (JPA) Persistence Layer The Persistence Layer is used by

Java Technologies Java Persistence API (JPA) Persistence Layer The Persistence Layer is used by an application in order to persist its state, that is to store and retrieve information using some sort of database management system. Presentation

633 views • 60 slides
Databases SWEN-250 Persistence First a detour Persistence is the key to solving most

Databases SWEN-250 Persistence First a detour Persistence is the key to solving most

Databases SWEN-250 Persistence First a detour Persistence is the key to solving most mysteries. Christopher Pike, Black Blood Persistence when you are stuck on a piece of new code is hardly ever a virtue. Try redesigning the

619 views • 25 slides
Keep Persistence Simple, Stupid A possible future for Java Persistence Robert Brutigam adidas

Keep Persistence Simple, Stupid A possible future for Java Persistence Robert Brutigam adidas

Keep Persistence Simple, Stupid A possible future for Java Persistence Robert Brutigam adidas AG The KISS principle. Herbstcampus 2010 Keep Persistence Simple, Stupid 2 Complexity Cost Functions (Lower) Cost (Higher) Complexity

211 views • 17 slides
Success in Exploration and Development; the value of persistence Development; the value of

Success in Exploration and Development; the value of persistence Development; the value of

EPC: TSX-V Success in Exploration and Development; the value of persistence Development; the value of persistence Empire Mining Corporation david@empireminingcorp.com 1090 Hamilton Street Vancouver, BC V6B 2R9 CANADA June 2012

532 views • 30 slides
Lattice gas simulations Tony Kim Spring 2007 18.354 Project 1) Introducing the lattice gas;

Lattice gas simulations Tony Kim Spring 2007 18.354 Project 1) Introducing the lattice gas;

Lattice gas simulations Tony Kim Spring 2007 18.354 Project 1) Introducing the lattice gas; ntroducing the lattice gas; 2) Analytic description of the lattice gas; 3) Program objectives; 4) How to implement it (efficiently); 5)

321 views • 28 slides
Graph Databases for Polyglot Persistence with NotaQL 2017-03-08 Johannes Schildgen

Graph Databases for Polyglot Persistence with NotaQL 2017-03-08 Johannes Schildgen

Transformations on Graph Databases for Polyglot Persistence with NotaQL 2017-03-08 Johannes Schildgen schildgen@cs.uni-kl.de Yannick Krck Stefan Deloch Polyglot Persistence 3 Polyglot Persistence db.product.insert ({})

626 views • 50 slides
Java Object/Relational Persistence with Hibernate David Lucek 11 Jan 2005 Object Relational

Java Object/Relational Persistence with Hibernate David Lucek 11 Jan 2005 Object Relational

Java Object/Relational Persistence with Hibernate David Lucek 11 Jan 2005 Object Relational Persistence Maps objects in your Model to a datastore, normally a relational database. Why? EJB Container Managed Persistence (CMP) is Dead.

443 views • 20 slides
Session 14 DB Persistence (JPA) Preliminary Slide Set JPA is now referred to as Jakarta

Session 14 DB Persistence (JPA) Preliminary Slide Set JPA is now referred to as Jakarta

Session 14 DB Persistence Session 14 DB Persistence (JPA) Preliminary Slide Set JPA is now referred to as Jakarta Persistence Reading Reading Java EE 7 Tutorial chapters 37-39 NetBeans/Derby Tutorial

309 views • 27 slides
PERSISTENCE PLUS JOHN Implementation with BURTON Beyond the Safety Net Cohort ADVOCATES FOR

PERSISTENCE PLUS JOHN Implementation with BURTON Beyond the Safety Net Cohort ADVOCATES FOR

PERSISTENCE PLUS JOHN Implementation with BURTON Beyond the Safety Net Cohort ADVOCATES FOR YOUTH November 9, 2017 www.jbaforyouth.org Todays Presenters Cecilia Le, Director of Strategic Engagement PERSISTENCE PLUS Christopher Dech,

444 views • 25 slides
Partnership with Persistence ao Ramos Tomasz Sadzik Jo Abstract We study a

Partnership with Persistence ao Ramos Tomasz Sadzik Jo Abstract We study a

Partnership with Persistence ao Ramos Tomasz Sadzik Jo Abstract We study a continuous-time model of partnership, with persistence and imper- fect state monitoring. Partners exert private efforts to shape the stock of fundamen- tals,

992 views • 67 slides
Lattice QCD Outline 1. Lattice QCD (why and what) 2. Precision flavour physics 3. (g-2) on

Lattice QCD Outline 1. Lattice QCD (why and what) 2. Precision flavour physics 3. (g-2) on

Birmingham High Energy Physics Group - Particle Physics Seminar, University of Birmingham, 08.06.2016 Andreas Jttner Lattice QCD Outline 1. Lattice QCD (why and what) 2. Precision flavour physics 3. (g-2) on the lattice 4. Pushing

713 views • 52 slides
Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg

Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg

Lattice Points in Polytopes Richard P. Stanley U. Miami & M.I.T. A lattice polygon Georg Alexander Pick (18591942) P : lattice polygon in R 2 (vertices Z 2 , no self-intersections) Boundary and interior lattice points Picks

1.4k views • 120 slides
PERSISTENCE IN POPULATION BIOLOGY MODELS INGEMAR N ASELL This note contains copies of

PERSISTENCE IN POPULATION BIOLOGY MODELS INGEMAR N ASELL This note contains copies of

PERSISTENCE IN POPULATION BIOLOGY MODELS INGEMAR N ASELL This note contains copies of illustrations used in the Large Deviations Conference, Ann Arbor, June 2007. Overview Quasi-stationarity and persistence The SIS model: Asymptotic

800 views • 8 slides
Lattice Methods in Field Theory Contents 1. Motivation 2. BasicsEuclidean quantisation 3.

Lattice Methods in Field Theory Contents 1. Motivation 2. BasicsEuclidean quantisation 3.

Lattice Methods in Field Theory Contents 1. Motivation 2. BasicsEuclidean quantisation 3. Lattice gauge fields Jonathan Flynn 4. Lattice fermions University of Southampton 5. Lattice QCD 6. Numerical simulations BUSSTEPP 2002

550 views • 22 slides
When is the lattice of closure operators on a subgroup lattice again a subgroup lattice? Martha

When is the lattice of closure operators on a subgroup lattice again a subgroup lattice? Martha

When is the lattice of closure operators on a subgroup lattice again a subgroup lattice? Martha Kilpack 1 and Arturo Magidin 2 1 Brigham Young University 2 University of Louisiana at Lafayette Groups St Andrews 2017 Martha Kilpack and Arturo

1.43k views • 77 slides
Increasing Increasing Enrollment and Enrollment and Persistence for Persistence for First Gen

Increasing Increasing Enrollment and Enrollment and Persistence for Persistence for First Gen

Increasing Increasing Enrollment and Enrollment and Persistence for Persistence for First Gen Students First Gen Students P a rt 1: A Cu ltu ra lly Re le va n t P e d a g og y for Sch ool Se le ction May, 2019 1 Your Presenters Your

686 views • 47 slides
5. e + e Leptons and Quarks Or: Why We Believe in Things We Dont See References: [PRSZR

5. e + e Leptons and Quarks Or: Why We Believe in Things We Dont See References: [PRSZR

PHYS 6610: Graduate Nuclear and Particle Physics I H. W. Griehammer INS Institute for Nuclear Studies The George Washington University Institute for Nuclear Studies Spring 2018 II. Phenomena 5. e + e Leptons and Quarks Or: Why We

256 views • 21 slides
Study of radiative decays (1S) + - and (1S)K - K + Evgeny Kozyrev on behalf of

Study of radiative decays (1S) + - and (1S)K - K + Evgeny Kozyrev on behalf of

Study of radiative decays (1S) + - and (1S)K - K + Evgeny Kozyrev on behalf of BaBar collaboration Novosibirsk State University Budker INP SB RAS, Novosibirsk, Russia 25 May, 2018 Novosibirsk, Russia Outline 2

658 views • 26 slides
Hybrid refinement of heterogeneous conformational ensembles using spectroscopic data

Hybrid refinement of heterogeneous conformational ensembles using spectroscopic data

Hybrid refinement of heterogeneous conformational ensembles using spectroscopic data Conformational ensemble estimate Jennifer M. Hays University of Virginia Blue Waters Symposium 2019 x 2 x 1 x N Proteins exhibit a broad range of

411 views • 12 slides
Cyber-Physical Systems Introduction IECE 553/453 Fall 2019 Prof. Dola Saha 1 Introductions

Cyber-Physical Systems Introduction IECE 553/453 Fall 2019 Prof. Dola Saha 1 Introductions

Cyber-Physical Systems Introduction IECE 553/453 Fall 2019 Prof. Dola Saha 1 Introductions Instructor Prof. Dola Saha, PhD University of Colorado Boulder http://www.albany.edu/faculty/dsaha/

735 views • 38 slides
Exo$c quarkonium states in CMS Leonardo Cristella (on behalf of the Collabora$on)

Exo$c quarkonium states in CMS Leonardo Cristella (on behalf of the Collabora$on)

Exo$c quarkonium states in CMS Leonardo Cristella (on behalf of the Collabora$on) UNIVERSITA DEGLI STUDI DI BARI ALDO MORO & I.N.F.N. SEZIONE DI BARI 25 29 January, 2016 / 54 th International Winter Meeting on Nuclear

498 views • 37 slides
Contributions of Lattice Theory to the Study of Computational Topology Jo ao Pita Costa in a

Contributions of Lattice Theory to the Study of Computational Topology Jo ao Pita Costa in a

Contributions of Lattice Theory to the Study of Computational Topology Jo ao Pita Costa in a joint work with z Mikael Vejdemo-Johansson and Primo Skraba AAA88 Conference , Warsaw, June 20, 2014 www.joaopitacosta.com/aaa88

715 views • 44 slides
Outline Recap DifferenCal privacy ensures adversary cant

Outline Recap DifferenCal privacy ensures adversary cant

No Free Lunch & Pufferfish Framework CompSci 590.03 Instructor: Ashwin Machanavajjhala Lecture 11: 590.03 Fall 13 1 Outline Recap DifferenCal

752 views • 46 slides
Work with the top students around the world (2000+ schools, across 5 countries) 13 key study

Work with the top students around the world (2000+ schools, across 5 countries) 13 key study

Research: Why do the top students get the top results? Work with the top students around the world (2000+ schools, across 5 countries) 13 key study habits Belief Goals Stress Post Environment Exam Memory Team skills Success Results

407 views • 17 slides

More recommend