![Page 1: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/1.jpg)
The Persistence Lattice
Joao Pita Costa(in a joint work with Primoz Skraba)
Jozef Stefan InstituteLjubljana, Slovenia
Novi Sad Algebra Conference,June 8, 2013
![Page 2: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/2.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Motivations
Applied Topology
PersistenceLattice
AlgebraicTopology
ComputationalGeometry
Data Analysis
JPC :: NSAC 2013 The Persistence Lattice
![Page 3: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/3.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Topological Data Analysis
JPC :: NSAC 2013 The Persistence Lattice
![Page 4: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/4.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Topological Data Analysis
JPC :: NSAC 2013 The Persistence Lattice
![Page 5: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/5.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Topological Data Analysis
JPC :: NSAC 2013 The Persistence Lattice
![Page 6: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/6.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 7: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/7.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 8: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/8.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 9: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/9.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 10: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/10.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 11: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/11.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 12: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/12.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Recovering the Space
JPC :: NSAC 2013 The Persistence Lattice
![Page 13: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/13.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Persistent Homology
Persistence of H0 of sublevel-sets of a real function.
Mikael Vejdemo-Johansson, Sketches of a platypus: persistence homology and its foundations. arXiv:1212.5398v1 (2013)
JPC :: NSAC 2013 The Persistence Lattice
![Page 14: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/14.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Persistent Homology
Persistence of H0 of sublevel-sets by the height functionwith six critical points on a topological sphere.
H. Edelsbrunner and Dmitry Morozov, Persistent Homology: theory and practice. 6th European Congress of Mathematics (2012), to appear.
JPC :: NSAC 2013 The Persistence Lattice
![Page 15: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/15.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.
Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 16: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/16.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 17: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/17.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�
; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 18: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/18.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�
; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 19: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/19.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�
; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 20: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/20.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Filtrations & Barcodes
General Setting: X space and f : X ! R.Filtration: sequence of sub-level sets f�1((�1; �])
X� � X�
; = X0 � X1 � X2 � : : : � XN�1 � XN = X
We get: a diagram of vector spaces and linear maps.
H(X0) H(X1) H(X2) H(X3) H(X4)
JPC :: NSAC 2013 The Persistence Lattice
![Page 21: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/21.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Persistent Homology
Stability of the Persistence Diagram.
D Cohen-Steiner, H Edelsbrunner, and J Harer, Stability of persistence diagrams. Discrete Comput Geom (2005)
JPC :: NSAC 2013 The Persistence Lattice
![Page 22: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/22.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
What if we have more than one parameter?
JPC :: NSAC 2013 The Persistence Lattice
![Page 23: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/23.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
A bifiltration parametrized along curvature k and radious �
G. Carlsson and A. Zomorodian, The theory of multidimensional persistence. Discrete Comput Geom (2007)
JPC :: NSAC 2013 The Persistence Lattice
![Page 24: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/24.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
X40
X41
X42
X43
JPC :: NSAC 2013 The Persistence Lattice
![Page 25: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/25.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
X40
X41
X42
X43
JPC :: NSAC 2013 The Persistence Lattice
![Page 26: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/26.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
X40
X41
X42
X43
JPC :: NSAC 2013 The Persistence Lattice
![Page 27: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/27.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
X40
X41
X42
X43
JPC :: NSAC 2013 The Persistence Lattice
![Page 28: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/28.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
X40
X41
X42
X43
JPC :: NSAC 2013 The Persistence Lattice
![Page 29: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/29.jpg)
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
![Page 30: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/30.jpg)
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
![Page 31: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/31.jpg)
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
![Page 32: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/32.jpg)
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
![Page 33: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/33.jpg)
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
![Page 34: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/34.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Varieties Of Lattices
Boolean algebrasPersistence lattices
Heyting algebrasvector latticestotally ordered sets
distributive lattices subspace lattices
modular lattices
semi-modular latticespartition lattices
lattices
skew latticespartially ordered sets
metric lattices
geometric lattices
projective lattices
JPC :: NSAC 2013 The Persistence Lattice
![Page 35: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/35.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Standard Persistence
A Morse-filtration is a partial order on theparameter
X� � X� ) � < �
Persistent homology classes
Hi;j�(X) = im(H�(Xi)! H�(Xj))
XN
XN�1
...
X2
X1
I H�(Xi) _ H�(Xj) = H�(Xmax(i;j))
I H�(Xi) ^ H�(Xj) = H�(Xmin(i;j))
JPC :: NSAC 2013 The Persistence Lattice
![Page 36: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/36.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Standard Persistence
A Morse-filtration is a partial order on theparameter
X� � X� ) � < �
Persistent homology classes
Hi;j�(X) = im(H�(Xi)! H�(Xj))
XN
XN�1
...
X2
X1
I H�(Xi) _ H�(Xj) = H�(Xmax(i;j))
I H�(Xi) ^ H�(Xj) = H�(Xmin(i;j))
JPC :: NSAC 2013 The Persistence Lattice
![Page 37: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/37.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Standard Persistence
A Morse-filtration is a partial order on theparameter
X� � X� ) � < �
Persistent homology classes
Hi;j�(X) = im(H�(Xi)! H�(Xj))
XN
XN�1
...
X2
X1
I H�(Xi) _ H�(Xj) = H�(Xmax(i;j))
I H�(Xi) ^ H�(Xj) = H�(Xmin(i;j))
JPC :: NSAC 2013 The Persistence Lattice
![Page 38: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/38.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Standard Persistence
A Morse-filtration is a partial order on theparameter
X� � X� ) � < �
Persistent homology classes
Hi;j�(X) = im(H�(Xi)! H�(Xj))
XN
XN�1
...
X2
X1
I H�(Xi) _ H�(Xj) = H�(Xmax(i;j))
I H�(Xi) ^ H�(Xj) = H�(Xmin(i;j))
JPC :: NSAC 2013 The Persistence Lattice
![Page 39: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/39.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Standard Persistence
A Morse-filtration is a partial order on theparameter
X� � X� ) � < �
Persistent homology classes
Hi;j�(X) = im(H�(Xi)! H�(Xj))
XN
XN�1
...
X2
X1
DefinitionFor any two elements H�(Xi) and H�(Xj), the rank of the persistenthomology classes is im(H�(Xi ^ Xj)! H�(Xi _ Xj)).
JPC :: NSAC 2013 The Persistence Lattice
![Page 40: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/40.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 41: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/41.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 42: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/42.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 43: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/43.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 44: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/44.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 45: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/45.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Multidimensional Persistence
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
Set:Xij ^ Xk` ) Xyz, with y = min(i; k); z = min(j; `)
Xij _ Xk` ) Xyz, with y = max(i; k); z = max(j; `)
JPC :: NSAC 2013 The Persistence Lattice
![Page 46: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/46.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
General Diagrams?
X0
X1
X2
X3
X4
X5
X6
X7
X8
JPC :: NSAC 2013 The Persistence Lattice
![Page 47: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/47.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
General Diagrams?
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
JPC :: NSAC 2013 The Persistence Lattice
![Page 48: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/48.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
General Diagrams?
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
JPC :: NSAC 2013 The Persistence Lattice
![Page 49: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/49.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Diagrams of Spaces
RequirementsDiagram is commutative and connected.
the reverse maps exist in the case of isomorphisms.the composition will not commute with identity unless the map is anisomorphism.
Partial order of vector spacesFor all vector spaces A and B,
A � B if there exists a linear map f : A! B:
A B
f
g
idBidA
JPC :: NSAC 2013 The Persistence Lattice
![Page 50: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/50.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Diagrams of Spaces
RequirementsDiagram is commutative and connected.
the reverse maps exist in the case of isomorphisms.
the composition will not commute with identity unless the map is anisomorphism.
Partial order of vector spacesFor all vector spaces A and B,
A � B if there exists a linear map f : A! B:
A B
f
g
idBidA
JPC :: NSAC 2013 The Persistence Lattice
![Page 51: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/51.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Diagrams of Spaces
RequirementsDiagram is commutative and connected.
the reverse maps exist in the case of isomorphisms.the composition will not commute with identity unless the map is anisomorphism.
Partial order of vector spacesFor all vector spaces A and B,
A � B if there exists a linear map f : A! B:
A B
f
g
idBidA
JPC :: NSAC 2013 The Persistence Lattice
![Page 52: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/52.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Diagrams of Spaces
RequirementsDiagram is commutative and connected.
the reverse maps exist in the case of isomorphisms.
the composition will not commute with identity unless the map is anisomorphism.
Partial order of vector spacesFor all vector spaces A and B,
A � B if there exists a linear map f : A! B:
A B
f
g
idBidA
JPC :: NSAC 2013 The Persistence Lattice
![Page 53: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/53.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Diagrams of Spaces
RequirementsDiagram is commutative and connected.
the reverse maps exist in the case of isomorphisms.
the composition will not commute with identity unless the map is anisomorphism.
Partial order of vector spacesFor all vector spaces A and B,
A � B if there exists a linear map f : A! B:
A B
f
g
idBidA
JPC :: NSAC 2013 The Persistence Lattice
![Page 54: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/54.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Equalizers
A Cfg
JPC :: NSAC 2013 The Persistence Lattice
![Page 55: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/55.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Equalizers
E A Ce f
g
JPC :: NSAC 2013 The Persistence Lattice
![Page 56: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/56.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Equalizers
E A C
E0
e
e’
fg
JPC :: NSAC 2013 The Persistence Lattice
![Page 57: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/57.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Equalizers
E A C
E0
e
e’�
fg
JPC :: NSAC 2013 The Persistence Lattice
![Page 58: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/58.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Equalizers
E A C
E0
e
e’�
fg
The kernel set is E = fx 2 X j f(x) = g(x) g = ker(f � g)
JPC :: NSAC 2013 The Persistence Lattice
![Page 59: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/59.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
Coequalizers
HD C
H 0
h
h’ �
f
g
H is the quotient of Y by the equivalence h(f(x); g(x))jx 2 Xi, i.e.,
H = C=im(f � g) = coker(f � g)
JPC :: NSAC 2013 The Persistence Lattice
![Page 60: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/60.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
E A�B Ce fi
fj
A B
A�B
C
JPC :: NSAC 2013 The Persistence Lattice
![Page 61: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/61.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
HD A�Bhgi
gj
A B
A�B
D
JPC :: NSAC 2013 The Persistence Lattice
![Page 62: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/62.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
E A�B C1; C2e fi
fj
A B
C1
C2
JPC :: NSAC 2013 The Persistence Lattice
![Page 63: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/63.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
E A�B C1 � C2e fi
fj
A B
C1 � C2
JPC :: NSAC 2013 The Persistence Lattice
![Page 64: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/64.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
HD1; D2 A�Bhf
g
A B
D1
D2
JPC :: NSAC 2013 The Persistence Lattice
![Page 65: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/65.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Equalizers and Coequalizers
HD1 �D2 A�Bhf
g
A B
D1 �D2
JPC :: NSAC 2013 The Persistence Lattice
![Page 66: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/66.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Formal Definition
Meet OperationThe join of two elements A and B is the equalizer ofA ^B ! A�B � Ck given by:
A ^B = fx 2 A�Bjfi(x) = fj(x), for all i; j 2 Ig
Join OperationThe meet of two elements A and B is the coequalizer ofDk � A�B ! A _B given by:
A _B = A�B=hgi(x) � gj(x) j x 2 Dk, for all i; j 2 Ii
JPC :: NSAC 2013 The Persistence Lattice
![Page 67: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/67.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Intuition
A B
JPC :: NSAC 2013 The Persistence Lattice
![Page 68: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/68.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Intuition
A B
A ^B
JPC :: NSAC 2013 The Persistence Lattice
![Page 69: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/69.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Intuition
A B
A _B
JPC :: NSAC 2013 The Persistence Lattice
![Page 70: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/70.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Intuition
A B
A ^B
A _B
JPC :: NSAC 2013 The Persistence Lattice
![Page 71: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/71.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Completness
Theorem (JPC & PS 2013)The persistence lattice is a complete lattice with
^Ak = fx 2 �kAk : fAi
(x) = fAj(x) g;
_k
Ak = (�kAk)=h[
�AiAji:
where �AiAj= h(fAi
(x); fAj(x))i
JPC :: NSAC 2013 The Persistence Lattice
![Page 72: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/72.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
What lattice do we get?
JPC :: NSAC 2013 The Persistence Lattice
![Page 73: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/73.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Theorem (JPC & PS 2013)Let A and B be vector spaces. Then,
0! A ^B ! A�B ! A _B ! 0
is a short exact sequence.
Sketch of the Proof.The equalizer map f : A ^B ! A�B is injective.The coequalizer map g : A�B ! A _B is surjective.Moreover imf = ker g so that
A _B �= A�B=f(A ^B):
JPC :: NSAC 2013 The Persistence Lattice
![Page 74: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/74.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Theorem (JPC & PS 2013)Let A and B be vector spaces. Then,
0! A ^B ! A�B ! A _B ! 0
is a short exact sequence.
Sketch of the Proof.The equalizer map f : A ^B ! A�B is injective.The coequalizer map g : A�B ! A _B is surjective.Moreover imf = ker g so that
A _B �= A�B=f(A ^B):
JPC :: NSAC 2013 The Persistence Lattice
![Page 75: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/75.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Theorem (JPC & PS 2013)The persistence lattice of a given persistence diagram is distributive.
Proof.Let A, B and X be vector spaces such that X _ A = X _B andX ^ A = X ^B in order to show that A �= B.
JPC :: NSAC 2013 The Persistence Lattice
![Page 76: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/76.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Theorem (JPC & PS 2013)The persistence lattice of a given persistence diagram is distributive.
Proof.Let A, B and X be vector spaces such that X _ A = X _B andX ^ A = X ^B in order to show that A �= B.
JPC :: NSAC 2013 The Persistence Lattice
![Page 77: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/77.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
DefinitionA bounded distributive lattice L is a Heyting algebra if, for allA;B 2 L, A) B is the biggest X such that A ^X � B, i.e.,
X ^ A
A XB
�A �X�
Example
I The open sets of any top space X under \, [, �, X andU ) V = int((X � U) [ V )
I Complete distributive lattices with x) y =Wf z : x ^ z � y g
JPC :: NSAC 2013 The Persistence Lattice
![Page 78: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/78.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
DefinitionA bounded distributive lattice L is a Heyting algebra if, for allA;B 2 L, A) B is the biggest X such that A ^X � B, i.e.,
X ^ A
A XB
�A �X�
Example
I The open sets of any top space X under \, [, �, X andU ) V = int((X � U) [ V )
I Complete distributive lattices with x) y =Wf z : x ^ z � y g
JPC :: NSAC 2013 The Persistence Lattice
![Page 79: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/79.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
DefinitionA bounded distributive lattice L is a Heyting algebra if, for allA;B 2 L, A) B is the biggest X such that A ^X � B, i.e.,
X ^ A
A XB
�A �X�
Example
I The open sets of any top space X under \, [, �, X andU ) V = int((X � U) [ V )
I Complete distributive lattices with x) y =Wf z : x ^ z � y g
JPC :: NSAC 2013 The Persistence Lattice
![Page 80: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/80.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
DefinitionA bounded distributive lattice L is a Heyting algebra if, for allA;B 2 L, A) B is the biggest X such that A ^X � B, i.e.,
X ^ A
A XB
�A �X�
Example
I The open sets of any top space X under \, [, �, X andU ) V = int((X � U) [ V )
I Complete distributive lattices with x) y =Wf z : x ^ z � y g
JPC :: NSAC 2013 The Persistence Lattice
![Page 81: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/81.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Theorem (JPC & PS 2013)The persistence lattice of a given persistence diagram is distributive,complete and bounded. It is completely distributive thus constituting acomplete Heyting algebra.
JPC :: NSAC 2013 The Persistence Lattice
![Page 82: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/82.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Arrow Operation for standard persistenceA) B is the biggest X such that A ^X ! B
...
Xi
B
A
Xj
...
A) B =
(B; if B � A
1; if A � B
JPC :: NSAC 2013 The Persistence Lattice
![Page 83: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/83.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Arrow operation for multidimensional persistenceA) B is the biggest X such that A ^X ! B
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
JPC :: NSAC 2013 The Persistence Lattice
![Page 84: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/84.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Arrow operation for multidimensional persistenceA) B is the biggest X such that A ^X ! B
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
JPC :: NSAC 2013 The Persistence Lattice
![Page 85: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/85.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Arrow operation for multidimensional persistenceA) B is the biggest X such that A ^X ! B
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
JPC :: NSAC 2013 The Persistence Lattice
![Page 86: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/86.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Stability
A B C D
JPC :: NSAC 2013 The Persistence Lattice
![Page 87: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/87.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Stability
A _B
A B
A ^B
C _D
C D
C ^D
JPC :: NSAC 2013 The Persistence Lattice
![Page 88: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/88.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Stability
(A _ C) _ (B _D)
A _ C B _D
(A _ C) ^ (B _D)
A _B
A B
A ^B
C _D
C D
C ^D
(A ^ C) _ (B ^D)
A ^ C B ^D
(A ^ C) ^ (B ^D)
JPC :: NSAC 2013 The Persistence Lattice
![Page 89: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/89.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Stability
(A _ C) _ (B _D)
A _ C B _D
(A _ C) ^ (B _D)
A _B
A B
A ^B
C _D
C D
C ^D
(A ^ C) _ (B ^D)
A ^ C B ^D
(A ^ C) ^ (B ^D)
JPC :: NSAC 2013 The Persistence Lattice
![Page 90: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/90.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
(Other) Open Problems
I Other views on stabilityI General decompositions and diagramsI New algorithms and analysisI Impact of the Heyting algebra structureI Study of the dual space
JPC :: NSAC 2013 The Persistence Lattice
![Page 91: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/91.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
HVALA
THANK YOUOBRIGADO
JPC :: NSAC 2013 The Persistence Lattice
![Page 92: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/92.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
HVALATHANK YOU
OBRIGADO
JPC :: NSAC 2013 The Persistence Lattice
![Page 93: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/93.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
HVALATHANK YOUOBRIGADO
JPC :: NSAC 2013 The Persistence Lattice
![Page 94: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/94.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
THE B-SIDES
JPC :: NSAC 2013 The Persistence Lattice
![Page 95: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/95.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Implementation
Implementing pullbacks and pushouts
JPC :: NSAC 2013 The Persistence Lattice
![Page 96: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/96.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pullback
A
B C
f
g
Compute ker(A�B(f;g)���! C)
JPC :: NSAC 2013 The Persistence Lattice
![Page 97: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/97.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pullback
P A
B C
f
g
Compute ker(A�B(f;g)���! C)
JPC :: NSAC 2013 The Persistence Lattice
![Page 98: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/98.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pullback
P A
B C
f
g
Compute ker(A�B(f;g)���! C)
JPC :: NSAC 2013 The Persistence Lattice
![Page 99: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/99.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithm
We start out with two maps f; grepresented by matrices F;G. Tocompute the pullback of f and g,we construct the matrixcorresponding to (f;�g):
Compute kernel
F �G
JPC :: NSAC 2013 The Persistence Lattice
![Page 100: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/100.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithm
We start out with two maps f; grepresented by matrices F;G. Tocompute the pullback of f and g,we construct the matrixcorresponding to (f;�g):Compute kernel
F �G
I
I
JPC :: NSAC 2013 The Persistence Lattice
![Page 101: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/101.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithm
We start out with two maps f; grepresented by matrices F;G. Tocompute the pullback of f and g,we construct the matrixcorresponding to (f;�g):Compute kernel
JPC :: NSAC 2013 The Persistence Lattice
![Page 102: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/102.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithm
Computing the pullback
P. Skraba and M. Vejdemo-Johansson, Persistence modules: algebra and algorithms. Mathematics of Computation (submitted, 2013)
JPC :: NSAC 2013 The Persistence Lattice
![Page 103: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/103.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithm
Computing the pullback
P. Skraba and M. Vejdemo-Johansson, Persistence modules: algebra and algorithms. Mathematics of Computation (submitted, 2013)
JPC :: NSAC 2013 The Persistence Lattice
![Page 104: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/104.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pushout
A
B
Df
g
Compute coker(D(f;g)���! A�B)
JPC :: NSAC 2013 The Persistence Lattice
![Page 105: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/105.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pushout
Q
A
B
Df
g
Compute coker(D(f;g)���! A�B)
JPC :: NSAC 2013 The Persistence Lattice
![Page 106: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/106.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Pushout
Q
A
B
Df
g
Compute coker(D(f;g)���! A�B)
JPC :: NSAC 2013 The Persistence Lattice
![Page 107: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/107.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Esakia Duality
Using a duality for Heyting algebras
JPC :: NSAC 2013 The Persistence Lattice
![Page 108: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/108.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
HA := Heyting algebras �= Esa := Esakia Spacesand homomorphisms and homeomorphisms
JPC :: NSAC 2013 The Persistence Lattice
![Page 109: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/109.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Esakia Spaces
An Esakia Space (X;� � ) is a set X equipped with a partial order �and a topology � such that:
I (X; � ) is compact;I x � y implies 9 U of X st. x 2 U and y =2 U ;I for each clopen C of (X; � ), the ideal # C is clopen.
Esakia spaces are Hausdorff and zero-dimensional, constitutingStone spaces.
JPC :: NSAC 2013 The Persistence Lattice
![Page 110: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/110.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Esakia Duality for Standard Persistence
join-irreducibles: allnonzero elements
basic opens: Na =
f I prime ideal j a 2 I g
� = hNa; X �Na j a 2 Xi
1
...
X3
X2
X1
X0
JPC :: NSAC 2013 The Persistence Lattice
![Page 111: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/111.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algebraic Properties
Esakia Duality for Multidimensional Persistence
join-irreducibles: X0i andXj0 with i 6= j
basic opens: Na =
f I prime ideal j a 2 I g
� = hNa; X �Na j a 2 Xi
X22
X12 X21
X02 X11 X20
X01 X10
X00
JPC :: NSAC 2013 The Persistence Lattice
![Page 112: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/112.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Other applications
Other applications in the framework
JPC :: NSAC 2013 The Persistence Lattice
![Page 113: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/113.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
The Largest Injective
X1 X2 X3
X4 X5 X6
im (H�(Xi) ^ H�(Xj)! H�(Xi) _ H�(Xj)) 8i; j
JPC :: NSAC 2013 The Persistence Lattice
![Page 114: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/114.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
The Largest Injective
X1 X2 X3
X4 X5 X6
X7 X8
X9
X10
im (H�(Xi) ^ H�(Xj)! H�(Xi) _ H�(Xj)) 8i; j
JPC :: NSAC 2013 The Persistence Lattice
![Page 115: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/115.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
The Largest Injective
X1 X2 X3
X4 X5 X6
X7 X8
X9
X10
im
^i
H�(Xj)!_i
H�(Xi)
!
JPC :: NSAC 2013 The Persistence Lattice
![Page 116: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/116.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
The Largest Injective
X1 X2 X3
X4 X5 X6
X7 X8
X9
X10
im
0@ ^
i2sources
H�(Xj)!_
j2sinks
H�(Xj)
1A
JPC :: NSAC 2013 The Persistence Lattice
![Page 117: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/117.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: associativity.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
JPC :: NSAC 2013 The Persistence Lattice
![Page 118: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/118.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: associativity.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
^
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 119: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/119.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: associativity.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
^
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 120: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/120.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: associativity.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
^
_
^
_
^
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 121: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/121.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: associativity.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
^
_
^
_
^
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 122: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/122.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
Bifiltrations: sections.
X00
X01
X02
X03
X10
X11
X12
X13
X20
X21
X22
X23
X30
X31
X32
X33
^
_
^
_
^
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 123: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/123.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: common features.
X0
X1
X2
X3
X4
X5
X6
X7
X8
JPC :: NSAC 2013 The Persistence Lattice
![Page 124: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/124.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: common features.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
JPC :: NSAC 2013 The Persistence Lattice
![Page 125: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/125.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: common features.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
JPC :: NSAC 2013 The Persistence Lattice
![Page 126: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/126.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: associativity.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
X0 ^ X5
X2 _ X7
JPC :: NSAC 2013 The Persistence Lattice
![Page 127: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/127.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: associativity.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
X0 ^ X5
X2 _ X7
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 128: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/128.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: associativity.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
X0 ^ X5
X2 _ X7
_ _
JPC :: NSAC 2013 The Persistence Lattice
![Page 129: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/129.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Algorithmic Applications
General Diagrams: associativity.
X0
X1
X2
X3
X4
X5
X6
X7
X8
X0 ^ X5
X2 _ X7
X0 ^ X5
X2 _ X7
_ _
_
JPC :: NSAC 2013 The Persistence Lattice
![Page 130: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/130.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability Teorems
JPC :: NSAC 2013 The Persistence Lattice
![Page 131: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/131.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability of the Persistence Diagram.
D Cohen-Steiner, H Edelsbrunner, and J Harer, Stability of persistence diagrams. Discrete Comput Geom (2005)
JPC :: NSAC 2013 The Persistence Lattice
![Page 132: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/132.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A ^B
A B
C
JPC :: NSAC 2013 The Persistence Lattice
![Page 133: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/133.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A _B
A ^B
A B
C
JPC :: NSAC 2013 The Persistence Lattice
![Page 134: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/134.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A _ C
A ^ C
A C
B ^D
B D
B _D
JPC :: NSAC 2013 The Persistence Lattice
![Page 135: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/135.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A _ C
A ^ C
A C
B ^D
B D
B _D
JPC :: NSAC 2013 The Persistence Lattice
![Page 136: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/136.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A _ C
A ^ C
A C
B ^D
B D
B _D
JPC :: NSAC 2013 The Persistence Lattice
![Page 137: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/137.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A B C D
JPC :: NSAC 2013 The Persistence Lattice
![Page 138: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/138.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
A _B
A B
A ^B
C _D
C D
C ^D
JPC :: NSAC 2013 The Persistence Lattice
![Page 139: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/139.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
(A _ C) _ (B _D)
A _ C B _D
(A _ C) ^ (B _D)
A _B
A B
A ^B
C _D
C D
C ^D
(A ^ C) _ (B ^D)
A ^ C B ^D
(A ^ C) ^ (B ^D)
JPC :: NSAC 2013 The Persistence Lattice
![Page 140: The Persistence Lattice - University of Novi SadThe Persistence Lattice Joao Pita Costa˜ (in a joint work with Primozˇ Skraba)ˇ Joˇzef Stefan Institute Ljubljana, Slovenia Novi](https://reader033.vdocuments.us/reader033/viewer/2022050601/5fa8227339650815a22ed803/html5/thumbnails/140.jpg)
Motivation & Background Order Structure Algebraic Constructions The Persistence Lattice Further Applications
Stability
Stability
(A _ C) _ (B _D)
A _ C B _D
(A _ C) ^ (B _D)
A _B
A B
A ^B
C _D
C D
C ^D
(A ^ C) _ (B ^D)
A ^ C B ^D
(A ^ C) ^ (B ^D)
JPC :: NSAC 2013 The Persistence Lattice