hard problems in 3 manifold topology
play

Hard Problems in 3-Manifold Topology School on Low-Dimensional - PowerPoint PPT Presentation

Nov 09, 2023 •520 likes •1.37k views

Hard Problems in 3-Manifold Topology School on Low-Dimensional Geometry and Topology: Discrete and Algorithmic Aspects Arnaud de Mesmay 1 Yoav Rieck 2 Eric Sedgwick 3 Martin Tancer 4 1 CNRS, GIPSA-Lab 2 University of Arkansas 3 DePaul

  1. Hard Problems in 3-Manifold Topology School on Low-Dimensional Geometry and Topology: Discrete and Algorithmic Aspects Arnaud de Mesmay 1 Yo’av Rieck 2 Eric Sedgwick 3 Martin Tancer 4 1 CNRS, GIPSA-Lab 2 University of Arkansas 3 DePaul University 4 Charles University Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 1 / 40

  2. Some NP -Hard Problems in 3-Manifold Topology Jones Polynomial (# P -hard) - unoriented classical link - Jaeger, Vertigan, Welsh - 1990 Lackenby - 2016 Witten, Reshetikhin, Turaev Heegaard Genus - Bachman, Invariant τ 4 (# P -hard) - Kirby, Derby-Talbot, Sedgwick - 2016 Melvin - 2004 Non Orientable Surface 3-Manifold Knot Genus - Agol, Embeddability - Burton, Hass, Thurston - 2006 de Mesmay, Wagner - 2017 Taut Angle Structure - Burton, Embed 2 → 3 , Embed 3 → 3 , 3-Manifold Embeds in S 3 - Spreer - 2013 de Mesmay, Rieck, Sedgwick, Tancer Turaev-Viro invariants (# P -hard) - - 2017 Burton, Maria, Spreer - 2015 Trivial Sub-Link , Unlinking Immersibility - Burton, Colin de Number , Reidemeister Verdi` ere, de Mesmay - 2016 Distance/Defect, 4-Ball Euler Sublink, Upper Bound for the Char 0 - de Mesmay, Rieck, Thurston complexity of an Sedgwick, Tancer - 2018 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 2 / 40

  3. Embeddings in R d Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 3 / 40

  4. Embed k → d Problem: Embed k → d Given a k -dimensional simplicial complex, does it admit a piecewise linear embedding in R d ? Embed 1 → 2 is Graph Planarity Embed 2 → 3 : does this 2-complex embed in R 3 ? Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 4 / 40

  5. Does it embed? Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 5 / 40

  6. Does it embed? Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 6 / 40

  7. Does it embed? Yes, but must change the embedding of yellow/green torus from the previous picture. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 6 / 40

  8. Embed k → d d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 3 k 4 5 never 6 embeds 7 Polynomially decidable - Hopcroft, Tarjan 1971 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 7 / 40

  9. Embed k → d d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 3 k 4 5 never 6 embeds ? ? 7 Polynomially decidable - Hopcroft, Tarjan 1971 ; ˇ Cadek, Krˇ c´ al, Matouˇ sek, Sergeraert, Vokˇ r´ ınek, Wagner 2013-2017 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 7 / 40

  10. Embed k → d d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 3 k 4 5 never 6 embeds ? ? 7 Polynomially decidable - Hopcroft, Tarjan 1971 ; ˇ Cadek, Krˇ c´ al, Matouˇ sek, Sergeraert, Vokˇ r´ ınek, Wagner 2013-2017 NP-hard - Matouˇ sek, Tancer, Wagner ’11 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 7 / 40

  11. Embed k → d d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 3 k 4 5 never 6 embeds ? ? 7 Polynomially decidable - Hopcroft, Tarjan 1971 ; ˇ Cadek, Krˇ c´ al, Matouˇ sek, Sergeraert, Vokˇ r´ ınek, Wagner 2013-2017 NP-hard - Matouˇ sek, Tancer, Wagner ’11 Undecidable - Matouˇ sek, Tancer, Wagner ’11 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 7 / 40

  12. Embed k → 3 d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 3 k 4 5 never 6 embeds ? ? 7 Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 8 / 40

  13. Embed k → 3 d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 D D 3 k 4 5 never 6 embeds ? ? 7 Theorem (Matouˇ sek, S’, Tancer, Wagner 2014) The following problems are decidable : Embed 2 → 3 , Embed 3 → 3 , and 3-Manifold Embeds in S 3 (or R 3 ) . Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 8 / 40

  14. Embed k → 3 d 2 3 4 5 6 7 8 9 10 11 12 13 14 1 always embeds 2 D D 3 k 4 5 never 6 embeds ? ? 7 Theorem (de Mesmay, Rieck, S’, Tancer 2017) The following problems are NP-hard : Embed 2 → 3 , Embed 3 → 3 , and 3-Manifold Embeds in S 3 (or R 3 ) . Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 9 / 40

  15. Knots and Links Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 10 / 40

  16. A link diagram Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 11 / 40

  17. Reidemeister moves Reidemeister (1927) Any two diagrams of a link are related by a sequence of 3 moves (shown to the right). Question: Reidemeister Distance How many moves are needed? Note: May need to increase number of crossings. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 12 / 40

  18. Unlinking Number Crossing Changes: Any link diagram can be made into a diagram of an unlink (trivial) by changing some number of crossings. Unlinking Number: The minimum number of crossings in some diagram that need to be changed to produce an unlink. Warning: Minimum number may not be in the given diagram, so may need Reidemeister moves too. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 13 / 40

  19. Unlinking Number Crossing Changes: Any link diagram can be made into a diagram of an unlink (trivial) by changing some number of crossings. Unlinking Number: The minimum number of crossings in some diagram that need to be changed to produce an unlink. Warning: Minimum number may not be in the given diagram, so may need Reidemeister moves too. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 13 / 40

  20. Given a link diagram, 3 Questions: Triviality Is it trivial? Can Reidemeister moves produce a diagram with no crossings? Trivial Sub-link Does it have a trivial sub-link? How many components? Unlinking Number What is the unlinking number? How many crossing changes must be made to produce an unlink? Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 14 / 40

  21. Hopf link Triviality Doesn’t seem trivial, but how do you prove it? Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 15 / 40

  22. Linking number for two components: choose red and blue and orient them for crossings of red over blue linking number is the sum of +1’s and − 1’s. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 16 / 40

  23. Linking number A crossing change Reidemeister moves changes the linking number don’t change the linking by ± 1 number! Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 17 / 40

  24. Hopf Link Triviality Not trivial. Linking number is not zero. Trivial Sub-link Maximal trivial sub-link has one component. Unlinking Number Unlinking number 1. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 18 / 40

  25. Borromean Rings Triviality Not trivial. (But harder to prove, linking numbers are 0.) Trivial Sub-link Maximal trivial sub-link has two components. Unlinking Number Unlinking number 2. (Must show that it is greater than 1.) Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 19 / 40

  26. Borromean Rings Triviality Not trivial. (But harder to prove, linking numbers are 0.) Trivial Sub-link Maximal trivial sub-link has two components. Unlinking Number Unlinking number 2. (Must show that it is greater than 1.) Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 19 / 40

  27. Whitehead Double of the Hopf Link Triviality Not trivial. (Requires proof, linking numbers are 0.) Trivial Sub-link Maximal trivial sub-link has one component. Unlinking Number Unlinking number 1. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 20 / 40

  28. Whitehead Double of the Borromean Rings Triviality Not trivial. (Requires proof, linking numbers are 0.) Trivial Sub-link Maximal trivial sub-link has two components. Unlinking Number Unlinking number 1. Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 21 / 40

  29. Reidemeister Distance/Defect Reidemeister Distance Given two diagrams of the same link, let the Reidemeister distance be the number of Reidemeister moves required to get from one to the other. Special Case: Reidemeister Defect Given a diagram of a unlink, how many moves are required to remove all crossings? Measure the defect , the number of extra moves required: Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 22 / 40

  30. Reidemeister Distance/Defect Reidemeister Distance Given two diagrams of the same link, let the Reidemeister distance be the number of Reidemeister moves required to get from one to the other. Special Case: Reidemeister Defect Given a diagram of a unlink, how many moves are required to remove all crossings? Measure the defect , the number of extra moves required: # moves ≥ 1 / 2 crossings Eric Sedgwick (DePaul University) 3-Manifold Topology IHP Paris - June 2018 22 / 40

Recommend

Hard Problems in 3-Manifold Topology Einstein Workshop on Discrete Geometry and Topology Arnaud de

Hard Problems in 3-Manifold Topology Einstein Workshop on Discrete Geometry and Topology Arnaud de

Hard Problems in 3-Manifold Topology Einstein Workshop on Discrete Geometry and Topology Arnaud de Mesmay 1 Yoav Rieck 2 Eric Sedgwick 3 Martin Tancer 4 1 CNRS, GIPSA-Lab 2 University of Arkansas 3 DePaul University 4 Charles University Eric

862 views • 60 slides
HIGH DIMENSIONAL MANIFOLD TOPOLOGY THEN AND NOW Andrew Ranicki (Edinburgh)

HIGH DIMENSIONAL MANIFOLD TOPOLOGY THEN AND NOW Andrew Ranicki (Edinburgh)

1 HIGH DIMENSIONAL MANIFOLD TOPOLOGY THEN AND NOW Andrew Ranicki (Edinburgh) http://www.maths.ed.ac.uk/ aar Orsay 7,8,9 December 2005 An n -dimensional topological manifold M is a paracompact Hausdorff topological space which is locally

1.17k views • 71 slides
Hard Problems Some problems are hard to solve. No polynomial time algorithm is known.

Hard Problems Some problems are hard to solve. No polynomial time algorithm is known.

Hard Problems Some problems are hard to solve. No polynomial time algorithm is known. E.g., NP-hard problems such as machine scheduling, bin packing, 0/1 knapsack. Is this necessarily bad? Data encryption relies on difficult

721 views • 15 slides
HydroCare HC-44 HydroCare HC-44 Hard Water Problems Hard Water Problems Hard Water Costs You

HydroCare HC-44 HydroCare HC-44 Hard Water Problems Hard Water Problems Hard Water Costs You

HydroCare HC-44 HydroCare HC-44 Hard Water Problems Hard Water Problems Hard Water Costs You Money! Hard Water Costs You Money! Limescale originates in the components of the waters carbonic rigidity-calcium carbonate (lime), magnesium

614 views • 8 slides
topology and data topological data analysis and manifold learning what is dimensionality

topology and data topological data analysis and manifold learning what is dimensionality

by Joshua Tan, for Ufora & NYU Capstone, 12/16/2014 a library for topology and data topological data analysis and manifold learning what is dimensionality reduction Given some input space X and a sample set S , dimensionality

955 views • 16 slides
Cryptography Hard Problems encryption message encryption key algorithm Some problems are

Cryptography Hard Problems encryption message encryption key algorithm Some problems are

Cryptography Hard Problems encryption message encryption key algorithm Some problems are hard to solve. No polynomial time algorithm is known. Transmission E.g., NP-hard problems such as machine scheduling, Channel bin packing,

445 views • 5 slides
Cryptography Hard Problems encryption message encryption key algorithm Some problems are

Cryptography Hard Problems encryption message encryption key algorithm Some problems are

Cryptography Hard Problems encryption message encryption key algorithm Some problems are hard to solve. No polynomial time algorithm is known. Transmission E.g., NP-hard problems such as machine scheduling, Channel bin packing,

516 views • 8 slides
Lefschetz pencils and the symplectic topology of complex surfaces Denis AUROUX Massachusetts

Lefschetz pencils and the symplectic topology of complex surfaces Denis AUROUX Massachusetts

Lefschetz pencils and the symplectic topology of complex surfaces Denis AUROUX Massachusetts Institute of Technology Symplectic 4-manifolds A (compact) symplectic 4-manifold ( M 4 , ) is a smooth 4-manifold with a sym- plectic form

352 views • 10 slides
Using Python to Solve Computationally Hard Problems Using Python to Solve Computationally Hard

Using Python to Solve Computationally Hard Problems Using Python to Solve Computationally Hard

Using Python to Solve Computationally Hard Problems Using Python to Solve Computationally Hard Problems Rachael Madsen Optimal Design Software LLC BS in Mathematics Software Engineer & Architect Python programmer

872 views • 46 slides
More NP-Complete Problems NP-Hard Problems Tautology Problem Node Cover Knapsack 1 Next Steps

More NP-Complete Problems NP-Hard Problems Tautology Problem Node Cover Knapsack 1 Next Steps

More NP-Complete Problems NP-Hard Problems Tautology Problem Node Cover Knapsack 1 Next Steps We can now reduce 3SAT to a large number of problems, either directly or indirectly. Each reduction must be polytime. Usually we focus

871 views • 49 slides
Computational complexity homeomorphic to S n ? of problems in 3-dimensional topology Thm

Computational complexity homeomorphic to S n ? of problems in 3-dimensional topology Thm

[Novikov 1962] For n 5 , there does not exist an algorithm which solves: I S S PHERE : Given a triangulated M n is it Computational complexity homeomorphic to S n ? of problems in 3-dimensional topology Thm (Geometrization + many results)

260 views • 10 slides
Manifold learning with random errors and inverse problems Matti Lassas in collaboration with

Manifold learning with random errors and inverse problems Matti Lassas in collaboration with

Manifold learning with random errors and inverse problems Matti Lassas in collaboration with Charles Fefferman, Sergei Ivanov, Hariharan Narayanan Finnish Centre of Excellence in Inverse Modelling and Imaging 2018-2025 2018-2025 Outline:

808 views • 37 slides
Manifold Regularization Lorenzo Rosasco MIT, 9.520 L. Rosasco Manifold Regularization About

Manifold Regularization Lorenzo Rosasco MIT, 9.520 L. Rosasco Manifold Regularization About

Manifold Regularization Lorenzo Rosasco MIT, 9.520 L. Rosasco Manifold Regularization About this class Goal To analyze the limits of learning from examples in high dimensional spaces. To introduce the semi-supervised setting and the use of

437 views • 31 slides
Support Vector Manifold Learning for Solving Regression Problems via Clustering Marcin Orchel

Support Vector Manifold Learning for Solving Regression Problems via Clustering Marcin Orchel

Support Vector Manifold Learning for Solving Regression Problems via Clustering Marcin Orchel AGH University of Science and Technology in Poland 1 / 29 2 / 29 1.0 y -1.0 1.0 x (a) 3 / 29 new kernel c )) T ( ( ( ( x i ) +

878 views • 29 slides
Linear Manifold Clustering Robert Haralick and Rave Harpaz Outline Background The linear

Linear Manifold Clustering Robert Haralick and Rave Harpaz Outline Background The linear

Linear Manifold Clustering Robert Haralick and Rave Harpaz Outline Background The linear manifold cluster model The Linear manifold clustering algorithm Linear manifold modeling Linear manifold subspace correlation clustering Conclusion

677 views • 67 slides
Charting the Right Manifold: Manifold Mixup for Few-Shot Learning Puneet Mangla 1,2* , Mayank

Charting the Right Manifold: Manifold Mixup for Few-Shot Learning Puneet Mangla 1,2* , Mayank

Charting the Right Manifold: Manifold Mixup for Few-Shot Learning Puneet Mangla 1,2* , Mayank Singh 1* , Abhishek Sinha 1* , Nupur Kumari 1* , Balaji Krishnamurthy 1 , Vineeth N Balasubramanian 2 1 Media and Data Science Research, Adobe Inc. Noida,

1.22k views • 14 slides
Manifold Learning: Applications in Neuroimaging Robin Wolz 23/09/2011 Overview Manifold

Manifold Learning: Applications in Neuroimaging Robin Wolz 23/09/2011 Overview Manifold

Your own logo here Manifold Learning: Applications in Neuroimaging Robin Wolz 23/09/2011 Overview Manifold learning for Atlas Propagation Multi-atlas segmentation Challenges LEAP Manifold learning for classification

466 views • 29 slides
Supposedly Hard Problems In Multivariate Cryptography Charles Bouillaguet Universit de

Supposedly Hard Problems In Multivariate Cryptography Charles Bouillaguet Universit de

Introduction The MQ Problem Polynomial Equivalence Problems Supposedly Hard Problems In Multivariate Cryptography Charles Bouillaguet Universit de Versailles Saint-Quentin Versailles, France Sminaire CARAMEL 20 janvier 2012

721 views • 59 slides
Optimal Metrics, Curvature Functionals, and the Differential Topology of Four-Manifolds Claude

Optimal Metrics, Curvature Functionals, and the Differential Topology of Four-Manifolds Claude

Optimal Metrics, Curvature Functionals, and the Differential Topology of Four-Manifolds Claude LeBrun SUNY Stony Brook Does every smooth compact manifold admit a best metric ? Ren e Thom, c. 1960 Does every smooth compact

1.81k views • 170 slides
Automatic Algorithm Configuration Thomas St utzle Optimization problems arise everywhere!

Automatic Algorithm Configuration Thomas St utzle Optimization problems arise everywhere!

HEURISTIC OPTIMIZATION Automatic Algorithm Configuration Thomas St utzle Optimization problems arise everywhere! Most such problems are computationally very hard (NP-hard!) Heuristic Optimization 2015 2 The algorithmic solution of hard

342 views • 19 slides
CS 4803 to find some building blocks - hard problems (assumptions about hardness of some

CS 4803 to find some building blocks - hard problems (assumptions about hardness of some

As no encryption scheme besides the OneTimePad is unconditionally secure, we need CS 4803 to find some building blocks - hard problems (assumptions about hardness of some Computer and Network Security problems) to base security of our new

553 views • 3 slides
WHAT DO WE KNOW ABOUT THE TOPOLOGY? WHAT DO WE KNOW ABOUT THE TOPOLOGY? Number of nodes and

WHAT DO WE KNOW ABOUT THE TOPOLOGY? WHAT DO WE KNOW ABOUT THE TOPOLOGY? Number of nodes and

TxProbe: Discovering Bitcoins Network Topology Using Orphan Transactions Sergi Delgado-Segura , Surya Bakshi, Cristina Prez-Sol, James Litton, Andrew Pachulski, Andrew Miller and Bobby Bhattacharjee sr_gi WHAT DO WE KNOW ABOUT THE TOPOLOGY?

1.84k views • 162 slides
Family History Technology: A Survey of 10 Hard Problems Dr.

Family History Technology: A Survey of 10 Hard Problems Dr.

Family History Technology: A Survey of 10 Hard Problems Dr. Doran Wilde Brigham Young University Dept. Electrical and Computer Engineering Family

613 views • 22 slides
Manifold Regularization Lorenzo Rosasco 9.520 Class 10 March 6, 2011 L. Rosasco Manifold

Manifold Regularization Lorenzo Rosasco 9.520 Class 10 March 6, 2011 L. Rosasco Manifold

Manifold Regularization Lorenzo Rosasco 9.520 Class 10 March 6, 2011 L. Rosasco Manifold Regularization About this class Goal To analyze the limits of learning from examples in high dimensional spaces. To introduce the semi-supervised

1.16k views • 31 slides

More recommend