Download - Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea
![Page 1: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/1.jpg)
Obstructions to Compatible
Extensions of Mappings
Duke University
Joint with John Harer
Jose Perea
![Page 2: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/2.jpg)
June 1994
20 years!!
Monday(05/26/2014)
![Page 3: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/3.jpg)
June 1994
Incremental ‘s
Monday(05/26/2014)
![Page 4: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/4.jpg)
June 1994
Incremental ‘s
Monday(05/26/2014)
![Page 5: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/5.jpg)
June 1994
Incremental ‘s
2002Topological Persistence
Monday(05/26/2014)
![Page 6: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/6.jpg)
June 1994
Incremental ‘s
2002Topological Persistence
2005Computing
P.H.
Monday(05/26/2014)
![Page 7: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/7.jpg)
June 1994
Incremental ‘s
2002Topological Persistence
2005Computing
P.H.
2008Extended
Persistence
Monday(05/26/2014)
![Page 8: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/8.jpg)
June 1994
Incremental ‘s
2002Topological Persistence
2005Computing
P.H.
2008Extended
Persistence
2009Zig-Zag
Persistence
…
Monday(05/26/2014)
![Page 9: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/9.jpg)
June 1994 Monday(05/26/2014)
Incremental ‘s
2002Topological Persistence
2005Computing
P.H.
2008Extended
Persistence
2009Zig-Zag
Persistence
![Page 10: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/10.jpg)
![Page 11: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/11.jpg)
What have we learned?Study the whole multi-scale object at once
Is not directionality, but compatible choices
…
…
![Page 12: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/12.jpg)
For Point-cloud data:
1. Encode multi-scale information in a filtration-like object
2. Make compatible choices across scales
3. Rank significance of such choices
![Page 13: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/13.jpg)
To leverage the power of
the relative-lifting paradigm
and the language of obstruction theory
The Goal:
![Page 14: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/14.jpg)
To leverage the power of
the relative-lifting paradigm
and the language of obstruction theory
The Goal:
For data analysis!
![Page 15: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/15.jpg)
Why do we care?
![Page 16: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/16.jpg)
Useful concepts/invariants can be
interpreted this way:
1. The retraction problem:
2. Extending sections:
3. Characteristic classes.
![Page 17: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/17.jpg)
Back to Point-clouds:
Model fitting
![Page 18: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/18.jpg)
Example (model fitting):
(3-circle model)
(Klein bottle model)
Mumford Data
![Page 19: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/19.jpg)
Model fitting
Only birth-like events
![Page 20: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/20.jpg)
Local to global
Example: Compatible extensions of sections
![Page 21: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/21.jpg)
Local to global
Only death-like events
![Page 22: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/22.jpg)
Local to global
Model fitting
![Page 23: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/23.jpg)
Combine the two:
The compatible-extension problem
![Page 24: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/24.jpg)
How do we set it up?
![Page 25: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/25.jpg)
Definition : The diagram
Extends compatibly, if there exist
extensions
of the so that
.
![Page 26: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/26.jpg)
For instance :
![Page 27: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/27.jpg)
Let be the tangent bundle over , and fix classifying maps
If then , where
Thus,
Extend separately but
not compatibly
![Page 28: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/28.jpg)
Let be the tangent bundle over , and fix classifying maps
If then , where
Thus,
Extend separately but
not compatibly
![Page 29: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/29.jpg)
Let be the tangent bundle over , and fix classifying maps
If then , where
Thus,
Extend separately but
not compatibly
![Page 30: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/30.jpg)
Let be the tangent bundle over , and fix classifying maps
If then , where
Thus,
Extend separately but
not compatibly
![Page 31: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/31.jpg)
Observation:
Relative lifting problemup to homotopy rel
Compatible extension problem
![Page 32: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/32.jpg)
How do we solve it?
![Page 33: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/33.jpg)
Solving the classic extension problem:
The set-up Assume Want
![Page 34: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/34.jpg)
Solving the classic extension problem:
The set-up Assume Want
![Page 35: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/35.jpg)
Solving the classic extension problem:
The set-up Assume Want
![Page 36: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/36.jpg)
Solving the classic extension problem:
Assume Want
The obstruction cocycle
![Page 37: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/37.jpg)
is a cocycle, and
if and only if extends. Moreover, if for some
then there exists a map
so that on , and
Theorem
![Page 38: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/38.jpg)
is a cocycle, and
if and only if extends. Moreover, if for some
then there exists a map
so that on , and
Theorem
![Page 39: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/39.jpg)
Solving the compatible extension problem:
The set-up
Assume
![Page 40: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/40.jpg)
![Page 41: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/41.jpg)
![Page 42: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/42.jpg)
Let for some .
Then is a cocycle,
which is zero if and only if
Theorem I (Perea, Harer)
![Page 43: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/43.jpg)
Theorem II (Perea, Harer)
Let . If
for , then
and extend compatibly.
![Page 44: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/44.jpg)
The upshot:
Once we fix so that ,
then parametrizes the redefinitions of that
extend. Moreover, if a pair ,
satisfies then the redefinitions of and
via and , extend compatibly.
![Page 45: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/45.jpg)
The upshot:
Once we fix so that ,
then parametrizes the redefinitions of that
extend. Moreover, if a pair ,
satisfies then the redefinitions of and
via and , extend compatibly.
![Page 46: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/46.jpg)
Putting everything together
![Page 47: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/47.jpg)
![Page 48: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/48.jpg)
…
…
…
…
…
![Page 49: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/49.jpg)
Example
![Page 50: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/50.jpg)
![Page 51: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/51.jpg)
![Page 52: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/52.jpg)
![Page 53: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/53.jpg)
![Page 54: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/54.jpg)
![Page 55: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/55.jpg)
![Page 56: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/56.jpg)
Can we actually compute this thing?
![Page 57: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/57.jpg)
Can we actually compute this thing?
Yes!!!
![Page 58: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/58.jpg)
Can we actually compute this thing?
Yes!!!*
* Some times
![Page 59: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/59.jpg)
![Page 60: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/60.jpg)
Coming soon:
• Applications to database consistency
• Topological model fitting
• Bargaining/consensus in social networks
![Page 61: Obstructions to Compatible Extensions of Mappings Duke University Joint with John Harer Jose Perea](https://reader035.vdocuments.site/reader035/viewer/2022062318/551c0abb550346b24f8b50e5/html5/thumbnails/61.jpg)
Thanks!!