Parametrized Complexity of Expansion Height

Ulrich Bauer, Abhishek Rathod, Jonathan Spreer

Deciding whether two simplicial complexes are homotopy equivalent is a fundamental problem in topology, which is famously undecidable. There exists a combinatorial refinement of th…