On Inverse Problems in TDA
|
|
- Cameron Day
- 5 years ago
- Views:
Transcription
1 Abel Symposium Geiranger, June 2018 On Inverse Problems in TDA Steve Oudot joint work with E. Solomon (Brown Math.) arxiv:
2 Features Data Rn The preimage problem in the data Sciences feature design or learning bag of words, word2vec shape contexts, heat kernels node2vec, Laplacian fact., rand. walks dim. reduction, auto-encoders, etc. 1
3 Features Data Rn The preimage problem in the data Sciences feature design or learning? Can the feature map be inverted? bag of words, word2vec s an important trend in AI research, and one - Right inverse ( current preimage): interpretable AI that is particularly difficult on graphs, time shape contexts, heat kernels - Left inverse (! preimage): reliable interpretation node2vec, Laplacian fact., rand. walks Scenarios: dictionaries, deep layers, stats, etc. dim. reduction, auto-encoders, etc. 1
4 Features Data Rn The preimage problem in the data Sciences feature design or learning? Can the feature map be inverted? bag of words, word2vec s an important trend in AI research, and one - Right inverse ( current preimage): interpretable AI that is particularly difficult on graphs, time shape contexts, heat kernels - Left inverse (! preimage): reliable interpretation node2vec, Laplacian fact., rand. walks Scenarios: dictionaries, deep layers, stats, etc. dim. reduction, auto-encoders, etc. 1
5 Features Data Rn The preimage problem in the data Sciences feature design or learning? Can the feature map be inverted? bag of words, word2vec s an important trend in AI research, and one - Right inverse ( current preimage): interpretable AI that is particularly difficult on graphs, time shape contexts, heat kernels - Left inverse (! preimage): reliable interpretation node2vec, Laplacian fact., rand. walks Scenarios: dictionaries, deep layers, stats, etc. dim. reduction, auto-encoders, etc. 1
6 TDA and the preimage problem (in Model (sampling) fer en ce) (decoding) Data Descriptor (TDA) 2
7 TDA and the preimage problem Mathematical abstraction: (in Model (sampling) fer en - compact metric spaces modulo isometries ce) - Gromov-Hausdorff distance (decoding) Data Descriptor (TDA) Lipschitz operator right inverse: realize barcode as the PH of some isom. class subsequent questions, e.g. can we infer the model from the descriptor of a finite compact metric space left inverse: characterize isom. class uniquely 2
8 TDA and the preimage problem Mathematical abstraction: (in Model (sampling) fer en - compact metric spaces modulo isometries ce) - Gromov-Hausdorff distance (decoding) Data Descriptor (TDA) Lipschitz operator right inverse: realize barcode as the PH of some isom. class subsequent questions, e.g. can we infer the model from the descriptor of a finite compact metric space left inverse: characterize isom. class uniquely 2
9 Right inverses for TDA Fact: [Folklore] Any (graded) persistence module R vect k can be realized as the (graded) P H of a piecewise-constant function on a bouquet of spheres. decomposes as a direct sum of interval modules, each of which is realized as the PH of a consta 3
10 Right inverses for TDA Fact: [Folklore] Any (graded) persistence module R vect k can be realized as the (graded) P H of a piecewise-constant function on a bouquet of spheres. decomposes as a direct sum of interval modules, each of which is realized as the PH of a consta Thm: [Curry, Reiss] [Botnan, Fluhr] Any (graded) barcode can be realized as the level-set P H of some stratified map on some stratified space. 3
11 Right inverses (local) for TDA point cloud Čech / Rips filtration barcode u R nd note: v bars R 2n 1 are ordered Thm: [Gameiro, Hiraoka, Obayashi] (i) Generic point cloud Ω u in R nd over which the correspondence u v can be extended to a map f : Ω R 2n 1 computing persistence barcodes. (ii) For Ω small enough, f is of class C. Observation: pairing given by order of distances is constant in small enough O. 4
12 Right inverses (local) for TDA point cloud Čech / Rips filtration barcode u R nd note: v bars R 2n 1 are ordered Thm: [Gameiro, Hiraoka, Obayashi] (i) Generic point cloud Ω u in R nd over which the correspondence u v can be extended to a map f : Ω R 2n 1 computing persistence barcodes. (ii) For Ω small enough, f is of class C. adapt Newton-Raphson continuation method to build right inverse of f in f(ω) (Jacobian matrix of f can be singular use pseudo-inverse) 4
13 Left inverses? Unions of (open) balls Čech/Rips/Delaunay filtrations 1 1 α π/2 dgm C(P, l 2 ) = {(0, + )} {(0, 1 2 )} {(0, 1 2 )} dgm R(P, l 2 ) = {(0, + )} {(0, 1)} {(0, 1)} diagrams for different values of α are indistinguishable 5
14 Left inverses? Unions of (open) balls Čech/Rips/Delaunay filtrations Prop: [Folklore] For any metric tree (X, d X ): dgm R(X, d X ) = dgm C(X, d X ) = {(0, + )} no information on the metric X is 0-hyperbolic metric balls are convex geodesic triangles are tripods 5
15 Left inverses? Unions of (open) balls Čech/Rips/Delaunay filtrations Reeb graphs Reeb graphs are indistinguishable from their diagrams 5
16 Left inverses? Unions of (open) balls Čech/Rips/Delaunay filtrations Reeb graphs Real-valued functions Prop: [Folklore] Given f : X R and h : Y X homeomorphism, dgm f h = dgm f Too large a group of transformations... 5
17 Left inverses? Unions of (open) balls Čech/Rips/Delaunay filtrations Reeb graphs Real-valued functions possible solutions: richer topological invariants (e.g. persistent homotopy) use multiple filter functions (aggregation vs multipersistence) 5
18 Persistent Homology Transform (PHT) (X, d X ) (compact) implicit: PHT(X)={dgm = PHT(X, f w w F) W } PHT(X) F = {f w } w W note: here, as dgm before, f w dgm f cont R (diagrams, d b ) 6
19 Persistent Homology Transform (PHT) (X, d X ) (compact) implicit: PHT(X)={dgm = PHT(X, f w w F) W } PHT(X) F = {f w } w W note: here, as dgm before, f w dgm f cont R (diagrams, d b ) Thm: [Boyer, Curry, Mukherjee, Turner 2014, 2018] [Ghrist, Levanger, Mai 2018] Let F = {, w } w S d 1, where d is fixed. Then, PHT is injective on the class of semialgebraic sets in R d. tes: - semialgebraic sets are finite unions of solution sets of systems of polynomial w Still true for a fixed finite set of directions (of size exponential in d). [Curry, Mukherjee, Turner] X S d 1 6
20 Persistent Homology Transform (PHT) (X, d X ) (compact) implicit: PHT(X)={dgm = PHT(X, f w w F) W } PHT(X) F = {f w } w W note: here, as dgm before, f w dgm f cont R (diagrams, d b ) Thm: [Boyer, Curry, Mukherjee, Turner 2014, 2018] [Ghrist, Levanger, Mai 2018] Let F = {, w } w S d 1, where d is fixed. Then, PHT is injective on the class of semialgebraic sets in R d. S d 1 tes: - semialgebraic sets are finite unions of solution sets of systems of polynomial w Still Corollary: true for PHT a fixed is a finite sufficient set of statistic directions for such sets (of size parametric exponential inference d). [Curry, Mukherjee, Turner] X 6
21 PHT for length spaces Given a compact length space (X, d X ), take F = {d X (, x)} x X 7
22 PHT for length spaces Given a compact length space (X, d X ), take F = {d X (, x)} x X this construction Thm (localholds stability): for general [Carrière, metric O., spaces, Ovsjanikov however 2015] it makes sense mostly for comp Let (X, d X ) and (Y, d Y ) be compact length spaces with positive convexity radius (ϱ(x), ϱ(y ) > 0). Let x X and y Y. If d GH ((X, x), (Y, y)) 1 min{ϱ(x), ϱ(y )}, then 20 d b (dgm d X (, x), dgm d Y (, y)) 20 d GH ((X, x), (Y, y)). 7
23 PHT for length spaces Given a compact length space (X, d X ), take F = {d X (, x)} x X Corollary (local stability of PHT): Let (X, d X ) and (Y, d Y ) be compact length spaces with positive convexity radius (ϱ(x), ϱ(y ) > 0). If d GH (X, Y ) 1 min{ϱ(x), ϱ(y )}, then 20 d H (PHT(X), PHT(Y )) 20 d GH ((X, x), (Y, y)). this construction Thm (localholds stability): for general [Carrière, metric O., spaces, Ovsjanikov however 2015] it makes sense mostly for comp Let (X, d X ) and (Y, d Y ) be compact length spaces with positive convexity radius (ϱ(x), ϱ(y ) > 0). Let x X and y Y. If d GH ((X, x), (Y, y)) 1 min{ϱ(x), ϱ(y )}, then 20 d b (dgm d X (, x), dgm d Y (, y)) 20 d GH ((X, x), (Y, y)). 7
24 PHT for length spaces Given a compact length space (X, d X ), take F = {d X (, x)} x X Corollary (local stability of PHT): Let (X, d X ) and (Y, d Y ) be compact length spaces with positive convexity radius (ϱ(x), ϱ(y ) > 0). If d GH (X, Y ) 1 min{ϱ(x), ϱ(y )}, then 20 d H (PHT(X), PHT(Y )) 20 d GH ((X, x), (Y, y)). a b b d GH (T, X) #X 0 d H (PHT 2 (T ), PHT 2 (X)) is bounded away from 0 a 7
25 PHT for metric graphs fromfocus: now oncompact we will focus metric ongraphs compact (1-dimensional metric graphs, stratified which are length length spaces) spaces that adm PHT: F = {d X (, x)} x X, dgm = extended persistence diagram Thm (global stability): [Dey, Shi, Wang 2015] For any compact metric graphs X, Y, ote: this result does not extend to the class of compact length spaces. Indeed, a graph d H (PHT(X), PHT(Y )) 18 d GH (X, Y ). Thm (density): [Gromov] Compact metric graphs are GH-dense among the compact length spaces. 8
26 PHT for metric graphs fromfocus: now oncompact we will focus metric ongraphs compact (1-dimensional metric graphs, stratified which are length length spaces) spaces that adm PHT: F = {d X (, x)} x X, dgm = extended persistence diagram Thm (global stability): [Dey, Shi, Wang 2015] For any compact metric graphs X, Y, ote: this result does not extend to the class of compact length spaces. Indeed, a graph d H (PHT(X), PHT(Y )) 18 d GH (X, Y ). Thm (density): [Gromov] Compact metric graphs are GH-dense among the compact length spaces. Q: injectivity of PHT on metric graphs? 8
27 PHT for metric graphs Bad news: PHT is not injective on all compact metric graphs X Y PHT(X) = PHT(Y ) while X Y 8
28 PHT for metric graphs Bad news: PHT is not injective on all compact metric graphs X Y PHT(X) = PHT(Y ) while X Y Note: Aut(X) is non-trivial, hence Ψ X : x dgm d X (, x) is not injective So, maybe there is a connection between Ψ X being injective and PHTitself being injective... this is precisely what our results show 8
29 PHT for metric graphs Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs p 10 q Note: Ψ X injective Thus, Inj Ψ is a strict subset of the graphs with trivial automorphism group Aut(X) trivial 6 dgm d X (, p) = dgm d X (, q)
30 PHT for metric graphs Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} + Gromov s density result Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs. Corollary: There is a GH-dense subset of the compact length spaces on which PHT is injective p 10 q Note: Ψ X injective Thus, Inj Ψ is a strict subset of the graphs with trivial automorphism group Aut(X) trivial 6 dgm d X (, p) = dgm d X (, q)
31 PHT for metric graphs Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} + Gromov s density result Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs. Corollary: There is a GH-dense subset of the compact length spaces on which PHT is injective. Thm 3: PHT is GH-locally injective on compact metric graphs. 8
32 Generic injectivity Generative model: metric graph combinatorial graph (V, E) + edge weights E R + this is a countable mixture space (for proba. eachmass fixed function numbers of, proba. vertices measure and edges withthere density are only R E finitely ) ma
33 Generic injectivity Generative model: metric graph combinatorial graph (V, E) + edge weights E R + this is a countable mixture space (for proba. eachmass fixed function numbers of, proba. vertices measure and edges withthere density are only R E finitely ) ma + Thm 4: Under this model, there is a full-measure subset of the metric graphs on which PHT is injective. 9
34 Generic injectivity Generative model: metric graph combinatorial graph (V, E) + edge weights E R + this is a countable mixture space (for proba. eachmass fixed function numbers of, proba. vertices measure and edges withthere density are only R E finitely ) ma + Thm 4: Under this model, there is a full-measure subset of the metric graphs on which PHT is injective. Questions: is PHT a sufficient statistic for metric graphs? are finitely many basepoints enough? algorithm? what about higher-dimensional stratified spaces? 9
35 Proof outline for Thm 1 Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} + Gromov s density result Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs. Corollary: There is a GH-dense subset of the compact length spaces on which PHT is injective. Thm 3: PHT is GH-locally injective on compact metric graphs. 10
36 Proof outline for Thm 1 Prop: hen X is topologically a circle, every point gives rise to the same barcode and therefore the ima If X is not a circle, then Ψ X is a local isometry: x U x y U x d X (x, y) = d b (Ψ X (x), Ψ X (y)) U x x (X, d X ) Ψ X (diagrams, d b ) 10
37 Proof outline for Thm 1 Prop: hen X is topologically a circle, every point gives rise to the same barcode and therefore the ima If X is not a circle, then Ψ X is a local isometry: x U x y U x d X (x, y) = d b (Ψ X (x), Ψ X (y)) Corollary: If Ψ X is injective, then Ψ X is a (global) isometry from (X, d X ) to (PHT(X), ˆd b ). n both sides, distances are given by shortest path lengths, and we can subdivide the paths enoug (X, d X ) Ψ X (diagrams, d b ) 10
38 Proof outline for Thm 2 Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} + Gromov s density result Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs. Corollary: There is a GH-dense subset of the compact length spaces on which PHT is injective. Thm 3: PHT is GH-locally injective on compact metric graphs. 11
39 Proof outline for Thm 2 Given (X, d X ), for any ε > 0 build an ε-approximation (X ε, d Xε ) in d GH Break symmetries by cactification: subdivide edges add hanging branches (thorns) with distinct lengths X ε X 11
40 Proof outline for Thm 2 Given (X, d X ), for any ε > 0 build an ε-approximation (X ε, d Xε ) in d GH Break symmetries by cactification: subdivide edges add hanging branches (thorns) with distinct lengths (X ε, d Xε ) parametrized by distances to thorn bases and tips X ε X these distances appear in the persistence diagrams 11
41 Proof outline for Thm 3 Let Inj Ψ = {X compact metric graph s.t. Ψ X is injective} + Gromov s density result Thm 1: PHT is injective on Inj Ψ. Thm 2: Inj Ψ is GH-dense among the compact metric graphs. Corollary: There is a GH-dense subset of the compact length spaces on which PHT is injective. Thm 3: PHT is GH-locally injective on compact metric graphs. 12
42 Proof outline for Thm 3 Prop: The map (X, d X, x) R dx (,x) is injective. d X (, x) x (X, d X ) x 12
43 Proof outline for Thm 3 Prop: The map (X, d X, x) R dx (,x) is injective. Thm: [Carrière, O. 2017] The map R f dgm f is GH-locally injective. 12
44 Generic injectivity Generative model: metric graph combinatorial graph (V, E) + edge weights E R + this is a countable mixture space (for proba. eachmass fixed function numbers of, proba. vertices measure and edges withthere density are only R E finitely ) ma + Thm 4: Under this model, there is a full-measure subset of the metric graphs on which PHT is injective. Proof outline: - for (almost) any fixed combinatorial graph G, Ψ G indeed, is generically the lack injective. of injectivity in - deal with exceptions (e.g. linear graphs) explicitly for these, the PHT has an image with a specific shape 13
45 Features Data Rn The preimage problem in the data Sciences feature design or learning? bag of words, word2vec shape contexts, heat kernels node2vec, Laplacian fact., rand. walks dim. reduction, auto-encoders, etc. 14
Some Topics in Computational Topology. Yusu Wang. AMS Short Course 2014
Some Topics in Computational Topology Yusu Wang AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g, the theory of persistence
More informationSome Topics in Computational Topology
Some Topics in Computational Topology Yusu Wang Ohio State University AMS Short Course 2014 Introduction Much recent developments in computational topology Both in theory and in their applications E.g,
More informationGeometric Inference on Kernel Density Estimates
Geometric Inference on Kernel Density Estimates Bei Wang 1 Jeff M. Phillips 2 Yan Zheng 2 1 Scientific Computing and Imaging Institute, University of Utah 2 School of Computing, University of Utah Feb
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationSPHERES IN THE CURVE COMPLEX
SPHERES IN THE CURVE COMPLEX SPENCER DOWDALL, MOON DUCHIN, AND HOWARD MASUR 1. Introduction The curve graph (or curve complex) C(S) associated to a surface S of finite type is a locally infinite combinatorial
More informationA Distance on Outer Space
GROUPS007 CIRM MARSEILLE Weak 2 Outer space and Teichmuller Space A Distance on Outer Space Stefano Francaviglia Joint work with Armando Martino 13/02/2007 Abstract.We introduce a metric on Outer space
More informationPersistent Homology of Data, Groups, Function Spaces, and Landscapes.
Persistent Homology of Data, Groups, Function Spaces, and Landscapes. Shmuel Weinberger Department of Mathematics University of Chicago William Benter Lecture City University of Hong Kong Liu Bie Ju Centre
More informationMath General Topology Fall 2012 Homework 6 Solutions
Math 535 - General Topology Fall 202 Homework 6 Solutions Problem. Let F be the field R or C of real or complex numbers. Let n and denote by F[x, x 2,..., x n ] the set of all polynomials in n variables
More informationMA4H4 - GEOMETRIC GROUP THEORY. Contents of the Lectures
MA4H4 - GEOMETRIC GROUP THEORY Contents of the Lectures 1. Week 1 Introduction, free groups, ping-pong, fundamental group and covering spaces. Lecture 1 - Jan. 6 (1) Introduction (2) List of topics: basics,
More informationHomology through Interleaving
Notes by Tamal K. Dey, OSU 91 Homology through Interleaving 32 Concept of interleaving A discrete set P R k is assumed to be a sample of a set X R k, if it lies near to it which we can quantify with the
More informationMetrics on Persistence Modules and an Application to Neuroscience
Metrics on Persistence Modules and an Application to Neuroscience Magnus Bakke Botnan NTNU November 28, 2014 Part 1: Basics The Study of Sublevel Sets A pair (M, f ) where M is a topological space and
More informationGromov-Hausdorff stable signatures for shapes using persistence
Gromov-Hausdorff stable signatures for shapes using persistence joint with F. Chazal, D. Cohen-Steiner, L. Guibas and S. Oudot Facundo Mémoli memoli@math.stanford.edu l 1 Goal Shape discrimination is a
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationBending deformation of quasi-fuchsian groups
Bending deformation of quasi-fuchsian groups Yuichi Kabaya (Osaka University) Meiji University, 30 Nov 2013 1 Outline The shape of the set of discrete faithful representations in the character variety
More informationTwo-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationMath 205C - Topology Midterm
Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationRandom Walks on Hyperbolic Groups III
Random Walks on Hyperbolic Groups III Steve Lalley University of Chicago January 2014 Hyperbolic Groups Definition, Examples Geometric Boundary Ledrappier-Kaimanovich Formula Martin Boundary of FRRW on
More informationA NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE
A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE KOJI FUJIWARA AND KEVIN WHYTE Abstract. Let X be a geodesic metric space with H 1(X) uniformly generated. If X has asymptotic dimension one then X is quasi-isometric
More informationMultiplicity of singularities is not a bi-lipschitz invariant
Multiplicity of singularities is not a bi-lipschitz invariant Misha Verbitsky Joint work with L. Birbrair, A. Fernandes, J. E. Sampaio Geometry and Dynamics Seminar Tel-Aviv University, 12.12.2018 1 Zariski
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationarxiv: v2 [math.pr] 15 May 2016
MAXIMALLY PERSISTENT CYCLES IN RANDOM GEOMETRIC COMPLEXES OMER BOBROWSKI, MATTHEW KAHLE, AND PRIMOZ SKRABA arxiv:1509.04347v2 [math.pr] 15 May 2016 Abstract. We initiate the study of persistent homology
More information1 Spaces and operations Continuity and metric spaces Topological spaces Compactness... 3
Compact course notes Topology I Fall 2011 Professor: A. Penskoi transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Spaces and operations 2 1.1 Continuity and metric
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationGroups up to quasi-isometry
OSU November 29, 2007 1 Introduction 2 3 Topological methods in group theory via the fundamental group. group theory topology group Γ, a topological space X with π 1 (X) = Γ. Γ acts on the universal cover
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationMATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics.
MATH 614 Dynamical Systems and Chaos Lecture 6: Symbolic dynamics. Metric space Definition. Given a nonempty set X, a metric (or distance function) on X is a function d : X X R that satisfies the following
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationSelf-similar fractals as boundaries of networks
Self-similar fractals as boundaries of networks Erin P. J. Pearse ep@ou.edu University of Oklahoma 4th Cornell Conference on Analysis, Probability, and Mathematical Physics on Fractals AMS Eastern Sectional
More informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationThe Brownian map A continuous limit for large random planar maps
The Brownian map A continuous limit for large random planar maps Jean-François Le Gall Université Paris-Sud Orsay and Institut universitaire de France Seminar on Stochastic Processes 0 Jean-François Le
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationGenericity of contracting elements in groups
Genericity of contracting elements in groups Wenyuan Yang (Peking University) 2018 workshop on Algebraic and Geometric Topology July 29, 2018 Southwest Jiaotong University, Chengdu Wenyuan Yang Genericity
More informationInterleaving Distance between Merge Trees
Noname manuscript No. (will be inserted by the editor) Interleaving Distance between Merge Trees Dmitriy Morozov Kenes Beketayev Gunther H. Weber the date of receipt and acceptance should be inserted later
More information7. Homotopy and the Fundamental Group
7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have
More informationSmooth flows with fractional entropy dimension
Smooth flows with fractional entropy dimension Steve Hurder MCA Montreal, July 27, 2017 University of Illinois at Chicago www.math.uic.edu/ hurder Theorem (K. Kuperberg, 1994) Let M be a closed, orientable
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationReeb Graphs: Approximation and Persistence
Reeb Graphs: Approximation and Persistence Tamal K. Dey Yusu Wang Abstract Given a continuous function f : X IR on a topological space X, its level set f 1 (a) changes continuously as the real value a
More informationarxiv: v4 [cs.cg] 2 Feb 2015
The Theory of the Interleaving Distance on Multidimensional Persistence Modules Michael Lesnick Institute for Mathematics and its Applications arxiv:1106.5305v4 [cs.cg] 2 Feb 2015 Abstract In 2009, Chazal
More informationarxiv: v1 [math.na] 10 Jun 2015
Continuation of Point Clouds via Persistence Diagrams Marcio Gameiro a, Yasuaki Hiraoka b, Ippei Obayashi b a Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, Caixa Postal
More informationPersistent Local Homology: Theory, Applications, Algorithms
Persistent Local Homology: Theory, Applications, Algorithms Paul Bendich Duke University Feb. 4, 2014 Basic Goal: stratification learning Q: Given a point cloud sampled from a stratified space, how do
More informationGromov s Proof of Mostow Rigidity
Gromov s Proof of Mostow Rigidity Mostow Rigidity is a theorem about invariants. An invariant assigns a label to whatever mathematical object I am studying that is well-defined up to the appropriate equivalence.
More informationThe topology of positive scalar curvature ICM Section Topology Seoul, August 2014
The topology of positive scalar curvature ICM Section Topology Seoul, August 2014 Thomas Schick Georg-August-Universität Göttingen ICM Seoul, August 2014 All pictures from wikimedia. Scalar curvature My
More informationFoliation dynamics, shape and classification
Foliation dynamics, shape and classification Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Theorem: [Denjoy, 1932] There exist a C 1 -foliation F of codimension-1 with an exceptional
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationINTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS
INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,
More information8.8. Codimension one isoperimetric inequalities Distortion of a subgroup in a group 283
Contents Preface xiii Chapter 1. Geometry and topology 1 1.1. Set-theoretic preliminaries 1 1.1.1. General notation 1 1.1.2. Growth rates of functions 2 1.1.3. Jensen s inequality 3 1.2. Measure and integral
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationSmall cancellation theory and Burnside problem.
Small cancellation theory and Burnside problem. Rémi Coulon February 27, 2013 Abstract In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationDefinable Extension Theorems in O-minimal Structures. Matthias Aschenbrenner University of California, Los Angeles
Definable Extension Theorems in O-minimal Structures Matthias Aschenbrenner University of California, Los Angeles 1 O-minimality Basic definitions and examples Geometry of definable sets Why o-minimal
More informationA Higher-Dimensional Homologically Persistent Skeleton
A Higher-Dimensional Homologically Persistent Skeleton Sara Kališnik Verovšek, Vitaliy Kurlin, Davorin Lešnik 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Abstract A data set is often given as a point cloud,
More informationAssignment #10 Morgan Schreffler 1 of 7
Assignment #10 Morgan Schreffler 1 of 7 Lee, Chapter 4 Exercise 10 Let S be the square I I with the order topology generated by the dictionary topology. (a) Show that S has the least uppper bound property.
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More informationTransport Continuity Property
On Riemannian manifolds satisfying the Transport Continuity Property Université de Nice - Sophia Antipolis (Joint work with A. Figalli and C. Villani) I. Statement of the problem Optimal transport on Riemannian
More informationarxiv: v4 [math.dg] 18 Jun 2015
SMOOTHING 3-DIMENSIONAL POLYHEDRAL SPACES NINA LEBEDEVA, VLADIMIR MATVEEV, ANTON PETRUNIN, AND VSEVOLOD SHEVCHISHIN arxiv:1411.0307v4 [math.dg] 18 Jun 2015 Abstract. We show that 3-dimensional polyhedral
More information1.3 Group Actions. Exercise Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag.
Exercise 1.2.6. Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag. 1.3 Group Actions Definition 1.3.1. Let X be a metric space, and let λ : X X be an isometry. The displacement
More informationarxiv:math/ v2 [math.mg] 29 Nov 2006
A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE arxiv:math/0610391v2 [math.mg] 29 Nov 2006 KOJI FUJIWARA AND KEVIN WHYTE Abstract. Let X be a geodesic metric space with H 1(X) uniformly generated. If X has
More informationSupplement. The Extended Complex Plane
The Extended Complex Plane 1 Supplement. The Extended Complex Plane Note. In section I.6, The Extended Plane and Its Spherical Representation, we introduced the extended complex plane, C = C { }. We defined
More informationPatrizio Frosini. Department of Mathematics and ARCES, University of Bologna
An observer-oriented approach to topological data analysis Part 2: The algebra of group invariant non-expansive operators and its application in the project GIPHOD - Group Invariant Persistent Homology
More informationTopological Data Analysis - II. Afra Zomorodian Department of Computer Science Dartmouth College
Topological Data Analysis - II Afra Zomorodian Department of Computer Science Dartmouth College September 4, 2007 1 Plan Yesterday: Motivation Topology Simplicial Complexes Invariants Homology Algebraic
More informationGeodesic Delaunay Triangulations in Bounded Planar Domains
Geodesic Delaunay Triangulations in Bounded Planar Domains Leonidas J. Guibas Dept. of Computer Science Stanford University Stanford, CA guibas@cs.stanford.edu Jie Gao Dept. of Computer Science Stony Brook
More informationarxiv: v2 [math.ds] 19 Jul 2012
arxiv:1107.2430v2 [math.ds] 19 Jul 2012 An algorithm to identify automorphisms which arise from self-induced interval exchange transformations Yann Jullian Abstract We give an algorithm to determine if
More informationGraph Induced Complex: A Data Sparsifier for Homology Inference
Graph Induced Complex: A Data Sparsifier for Homology Inference Tamal K. Dey Fengtao Fan Yusu Wang Department of Computer Science and Engineering The Ohio State University October, 2013 Space, Sample and
More informationStabilizing the unstable output of persistent homology computations
Stabilizing the unstable output of persistent homology computations Peter Bubenik with Paul Bendich (Duke) and Alex Wagner (Florida) May 5, 2017 Conference on Applied and Computational Algebraic Topology
More informationREFINMENTS OF HOMOLOGY. Homological spectral package.
REFINMENTS OF HOMOLOGY (homological spectral package). Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH In analogy with linear algebra over C we propose REFINEMENTS of the simplest
More informationSelf-similar fractals as boundaries of networks
Self-similar fractals as boundaries of networks Erin P. J. Pearse ep@ou.edu University of Oklahoma 4th Cornell Conference on Analysis, Probability, and Mathematical Physics on Fractals AMS Eastern Sectional
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationSimBa: An Efficient Tool for Approximating Rips-filtration Persistence via Simplicial Batch-collapse
SimBa: An Efficient Tool for Approximating Rips-filtration Persistence via Simplicial Batch-collapse Tamal K. Dey Department of Computer Science and Engineering The Ohio State University 2016 Joint work
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationMetric shape comparison via multidimensional persistent homology
Metric shape comparison via multidimensional persistent homology Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University of Bologna,
More informationSOLUTIONS TO THE FINAL EXAM
SOLUTIONS TO THE FINAL EXAM Short questions 1 point each) Give a brief definition for each of the following six concepts: 1) normal for topological spaces) 2) path connected 3) homeomorphism 4) covering
More informationNote: all spaces are assumed to be path connected and locally path connected.
Homework 2 Note: all spaces are assumed to be path connected and locally path connected. 1: Let X be the figure 8 space. Precisely define a space X and a map p : X X which is the universal cover. Check
More informationON THE SPHERICITY OF SCALING LIMITS OF RANDOM PLANAR QUADRANGULATIONS
Elect. Comm. in Probab. 13 (2008), 248 257 ELECTRONIC COMMUNICATIONS in PROBABILITY ON THE SPHERICITY OF SCALING LIMITS OF RANDOM PLANAR QUADRANGULATIONS GRÉGORY MIERMONT1 Université Pierre et Marie Curie,
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The Hopkins-Miller Theorem
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationRandom Walks on Hyperbolic Groups IV
Random Walks on Hyperbolic Groups IV Steve Lalley University of Chicago January 2014 Automatic Structure Thermodynamic Formalism Local Limit Theorem Final Challenge: Excursions I. Automatic Structure of
More informationPOINT SET TOPOLOGY. Definition 2 A set with a topological structure is a topological space (X, O)
POINT SET TOPOLOGY Definition 1 A topological structure on a set X is a family O P(X) called open sets and satisfying (O 1 ) O is closed for arbitrary unions (O 2 ) O is closed for finite intersections.
More informationBeyond Kuperberg Flows
Beyond Kuperberg Flows Steve Hurder & Ana Rechtman University of Illinois at Chicago www.math.uic.edu/ hurder A plug P R 3 is a 3-manifold with boundary, with a non-vanishing vector field that agrees with
More informationInvariance Principle for Variable Speed Random Walks on Trees
Invariance Principle for Variable Speed Random Walks on Trees Wolfgang Löhr, University of Duisburg-Essen joint work with Siva Athreya and Anita Winter Stochastic Analysis and Applications Thoku University,
More informationMetric Thickenings of Euclidean Submanifolds
Metric Thickenings of Euclidean Submanifolds Advisor: Dr. Henry Adams Committe: Dr. Chris Peterson, Dr. Daniel Cooley Joshua Mirth Masters Thesis Defense October 3, 2017 Introduction Motivation Can we
More informationApplications of Persistent Homology to Time-Varying Systems
Applications of Persistent Homology to Time-Varying Systems Elizabeth Munch Duke University :: Dept of Mathematics March 28, 2013 Time Death Radius Birth Radius Liz Munch (Duke) PhD Defense March 28, 2013
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationMath 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014
Math 90: Fall 04 Homework 4 Solutions Due 5:00pm on Friday /7/04 Problem : Recall that S n denotes the n-dimensional unit sphere: S n = {(x 0, x,..., x n ) R n+ : x 0 + x + + x n = }. Let N S n denote
More informationWe will outline two proofs of the main theorem:
Chapter 4 Higher Genus Surfaces 4.1 The Main Result We will outline two proofs of the main theorem: Theorem 4.1.1. Let Σ be a closed oriented surface of genus g > 1. Then every homotopy class of homeomorphisms
More information