The good news and the really bad news
The good news and the really bad news about discrete Morse Theory Parameterized Complexity of Discrete Morse Theory B. Burton, J. Spreer, J. Paixão, T. Lewiner University of Queensland PUC- Rio de Janeiro
Motivation Smooth Discrete Optimal description
Collapsing
Collapsing
Collapsing
No free faces!
Erase (Remove)
Critical triangle
Example
Collapse
No free faces
Remove
Collapse
Keep collapsing
No free faces
Remove
Collaspe away
Collapse the graph
Spanning tree
One critical vertex left
Main Theorem of Discrete Morse Theory Take home message: only critical simplicies matter!
Torus example Smooth Discrete (Cell complex) Goal: Minimize number of critical cells Optimal description (CW complex) 1 critical vertex 2 critical edges 1 critical face
Collapsing surfaces is easy! Primal spanning tree Dual spanning tree Tree-cotree decomposition [von Staudt 1847; Eppstein 2003; Lewiner 2003] Images from J. Erickson 2011
Collapsing non-surfaces is hard! • • NP-hard Reduction to Set Cover Try every set of critical simplicies O(nk) Can we do better than O(nk)?
How hard is Collapsibility? k-Collapsibility is at least as hard as k-Set Cover If W[1]=FPT then there is something better than brute force for 3 -
How many hard gates? (remove slide ? ) Independent set is W[1]-complete
W-hierarchy (remove slide? ) Dominating set is W[2]-complete
Axiom Set Implications Statements A B D B and E => A C E A and B and C => D C and E => B • Choose k statements to be the axioms • Make every other statement true
Axiom Set Implications 2 Axioms B and E => A C E A and B and C => D C and E => B • Choose k statements to be the axioms • Make every other statement true
Axiom Set Implications 2 Axioms B and E => A B C E A and B and C => D C and E => B • Choose k statements to be the axioms • Make every other statement true
Axiom Set Implications 2 Axioms A B B and E => A C E A and B and C => D C and E => B • Choose k statements to be the axioms • Make every other statement true
Axiom Set Implications 2 Axioms A B D B and E => A C E A and B and C => D C and E => B • Choose k statements to be the axioms • Make every other statement true
Axiom set reduces to Erasability A and B and C => D D C B A
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget
Implication gadget • Lemma: White sphere is collapsible if and only if every other sphere is collapsed.
Combining the gadgets
Really Bad News • When parameter K = # of critical triangles • Erasability is W[P]-complete “All bad news must be accepted calmly, as if one already knew and didn't care. ” Michael Korda
Treewidth • Tree-width of a graph measures its similarity to a tree TW(G) = 3 Other examples: TW(tree) = 1 TW(cycle) =2
Graphs • Adjacency graph of 2 • Dual graph of 3 complex manifold • Triangles and edges of 2 • Tetrahedra of 3 -complex are vertices of manifold are vertices of adjacency graph dual graph • Triangles of 3 -manifold are edges if dual graph
Good news before the coffee break • If adjacency graph of the 2 -complex is a k-tree, then HALF-COLLAPSIBILITY is polynomial • If dual graph of 3 -manifold is a k-tree, then COLLAPSIBILITY is polynomial “The good news is it’s curable, the bad news is you can’t afford it. ” Doctor to patient
Future Directions • Improve on f(k) • If the graph is planar is still NP-complete or W[P]-complete? • Topological restriction Forbidden Minors • What topological restriction makes the problems NP-complete • Can you always triangulate a 3 -manifold such that the dual graph has bounded treewidth?
- Slides: 50