Certifying Numerical Estimates of Spectral Gaps


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 assisted) proof that these groups have Kazhdan property (T). A software for such optimisation for other finitely presented groups is provided.

Groups Complexity Cryptology, Volume 10, Issue 1 (2018), p. 33-41

The description of replication details.

Marek Kaluba

My research interests include computational algebra, geometric group theory (in particular: property (T)) and (previously) surgery aspects of manifolds.