Certifying numerical estimates of spectral gaps

Marek Kaluba, Piotr Nowak

We establish a lower bound on the spectral gap of the Laplace operator on special linear groups using conic optimisation. In particular, this provides a constructive (but computer…