验证频谱间隙的数值估计
Certifying numerical estimates of spectral gaps
摘要：
利用锥优化方法建立了特殊线性群上Laplace算子谱隙的下界。特别是，这提供了一个建设性的（但计算机辅助）证明，这些群体有Kazhdan性质（T）。提供了一种用于对其他非线性呈现的组进行这种优化的软件。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
