Related papers: Certifying numerical estimates of spectral gaps

Kazhdan constants of discrete groups are hard to compute and the actual constants are known only for several classes of groups. By solving a semidefinite programming problem by a computer, we obtain a lower bound of the Kazhdan constant of…

We establish vanishing results for limits of characters in various discrete groups, most notably irreducible lattices in higher rank semisimple Lie groups. As an application, we show that any sequence of finite-dimensional representations…

Let $\Lambda$ be a subgroup of an arithmetic lattice in SO(n+1,1). The quotient $\mathbb{H}^{n+1} / \Lambda$ has a natural family of congruence covers corresponding to primes in some ring of integers. We establish a super-strong…

Following an idea of Ozawa, we give a new proof of Kazhdan's property (T) for ${\rm SL}(3,\mathbb Z)$, by showing that $\Delta^2- \frac{1}{6} \Delta$ is a hermitian sum of squares in the group algebra, where $\Delta$ is the unnormalized…

It is well-known that a finitely generated group $\Gamma$ has Kazhdan's property (T) if and only if the Laplacian element $\Delta$ in ${\mathbb R}[\Gamma]$ has a spectral gap. In this paper, we prove that this phenomenon is witnessed in…

We reformulate and extend the geometric method for proving Kazhdan property T developed by Dymara and Januszkiewicz and used by Ershov and Jaikin. The main result says that a group G, generated by finite subgroups G_i, has property T if the…

We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The…

Notions of higher Kazhdan property can be defined in terms of vanishing of unitary group cohomology in higher degrees. Garland's theorem for simple groups over non-archimedean fields provides the first examples of a higher Kazhdan property.…

We introduce a notion of topological property (T) for \'etale groupoids. This simultaneously generalizes Kazhdan's property (T) for groups and geometric property (T) for coarse spaces. One main goal is to use this property (T) to prove the…

For a second order operator on a compact manifold satisfying the strong H\"ormander condition, we give a bound for the spectral gap analogous to the Lichnerowicz estimate for the Laplacian of a Riemannian manifold. We consider a wide class…

We establish a new spectral criterion for Kazhdan's property $(T)$ which is applicable to a large class of discrete groups defined by generators and relations. As the main application, we prove property $(T)$ for the groups $EL_n(R)$, where…

We construct first examples of infinite groups having property (T) whose Kazhdan constants admit a lower bound independent of the choice of a finite generating set.

We establish a general spectral gap theorem for actions of products of groups which may replace Kazhdan's property (T) in various situations. As a main application, we prove that a confined subgroup of an irreducible lattice in a higher…

We prove sharp upper bounds for sums of eigenvalues (and other spectral functionals) of Laplace-like operators, including bi-Laplacian and fractional Laplacian. We show that among linear images of a highly symmetric domain, our spectral…

We describe a conjectural approach to obtaining canonical bases of the Hecke algebra at $q=1$ via continuous quadratic optimization. We focus on Specht modules $S^\lambda$ and proper cones inside $S^\lambda$ that are invariant under the…

Estimating spectral gaps of quantum many-body Hamiltonians is a highly challenging computational task, even under assumptions of locality and translation-invariance. Yet, the quest for rigorous gap certificates is motivated by their broad…

Spectral gaps play a fundamental role in many areas of mathematics, computer science, and physics. In quantum mechanics, the spectral gap of Schr\"odinger operators has a long history of study due to its physical relevance, while in quantum…

We prove Berezin--Li--Yau-type lower bounds with additional term for the eigenvalues of the Stokes operator and improve the previously known estimates for the Laplace operator. Generalizations to higher-order operators are given.

In this note we provide bounds on the spectral gap for the Dirichlet sub-Laplacians on $H$-type groups. We use probabilistic techniques and in particular small deviations of the corresponding hypoelliptic Brownian motion.

We propose an algorithm for general nonlinear conic programming which does not require the knowledge of the full cone, but rather a simpler, more tractable, approximation of it. We prove that the algorithm satisfies a strong global…