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

08/29/2018
by   Mikael Vejdemo-Johansson, et al.
0

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, statistical considerations of multiple testing quickly arise. In this paper, we propose several statistical approaches to finding obstructions: through a persistent nerve lemma, through simulation testing, and using a parametric refinement of simulation tests. We suggest Certified Mapper -- a method built from these approaches to generate certificates of non-obstruction, or identify specific obstructions to the nerve lemma -- and we give recommendations for which statistical approaches are most appropriate for the task.

READ FULL TEXT

page 11

page 12

research
05/09/2019

Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Matlab/Simulink is a development and simulation language that is widely ...
research
05/28/2019

Can we disregard the whole model? Omnibus non-inferiority testing for R^2 in multivariable linear regression and ^2 in ANOVA

Determining a lack of association between an outcome variable and a numb...
research
03/23/2019

On testing pseudorandom generators via statistical tests based on the arcsine law

Testing the quality of pseudorandom number generators is an important is...
research
06/07/2022

A novel statistical approach for two-sample testing based on the overlap coefficient

Here we propose a new nonparametric framework for two-sample testing, na...
research
09/13/2022

Inline Tests

Unit tests are widely used to check source code quality, but they can be...
research
09/17/2021

A Note on Occur-Check

Most known results on avoiding the occur-check are based on the notion o...

Please sign up or login with your details

Forgot password? Click here to reset