Certified Mapper: Repeated testing for acyclicity and obstructions to the nerve lemma

Mikael Vejdemo-Johansson, Alisa Leshchenko

The Mapper algorithm does not include a check for whether the cover produced conforms to the requirements of the nerve lemma. To perform a check for obstructions to the nerve lemma…