English

NP-hardness of computing PL geometric category in dimension 2

Computational Geometry 2023-03-31 v2 Geometric Topology

Abstract

The PL geometric category of a polyhedron PP, denoted plgcat(P)\hbox{plgcat}(P), provides a natural upper bound for the Lusternik--Schnirelmann category and it is defined as the minimum number of PL collapsible subpolyhedra of PP that cover PP. In dimension 2 the PL geometric category is at most~3. It is easy to characterize/recognize 22-polyhedra PP with plgcat(P)=1\hbox{plgcat}(P) = 1. Borghini provided a partial characterization of 22-polyhedra with plgcat(P)=2\hbox{plgcat}(P) = 2. We complement his result by showing that it is NP-hard to decide whether plgcat(P)2\hbox{plgcat}(P)\leq 2. Therefore, we should not expect much more than a partial characterization, at least in algorithmic sense. Our reduction is based on the observation that 2-dimensional polyhedra PP admitting a shellable subdivision satisfy plgcat(P)2\hbox{plgcat}(P) \leq 2 and a (nontrivial) modification of the reduction of Goaoc, Pat\'{a}k, Pat\'{a}kov\'{a}, Tancer and Wagner showing that shellability of 22-complexes is NP-hard.

Keywords

Cite

@article{arxiv.2204.13981,
  title  = {NP-hardness of computing PL geometric category in dimension 2},
  author = {Michael Skotnica and Martin Tancer},
  journal= {arXiv preprint arXiv:2204.13981},
  year   = {2023}
}

Comments

Version 2: 15 pages, 5 figures; typos corrected, a new figure explaining notions added