Related papers: Certifying numerical estimates of spectral gaps

In 2010, Invent. Math., Ershov and Jaikin-Zapirain proved Kazhdan's property (T) for elementary groups. This expository article focuses on presenting an alternative simpler proof of that. Unlike the original one, our proof supplies no…

Let $\Lambda$ be a non-elementary convex co-compact fuchsian group which is a subgroup of an arithmetic fuchsian group. We prove that the Laplace operator of the hyperbolic surface $X=\Lambda \backslash\H$ has infinitely many resonances in…

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

Let G be a real Lie group and H a lattice or, more generally, a closed subgroup of finite covolume in G. We show that the unitary representation lambda_{G/H} of G on L^2(G/H) has a spectral gap, that is, the restriction of lambda_{G/H} to…

The goal of this paper is to provide sharp spectral gap estimates for problems involving higher-order operators (including both the clamped and buckling plate problems) on Cartan-Hadamard manifolds. The proofs are symmetrization-free --…

We show that the semidefinite programs involved in the computer proofs for Kazhdan's property (T) satisfy strong duality and that the dual programs have a geometric interpretation in terms of harmonic cocycles. By dualizing geometric…

A lower bound estimate \lambda_2 - \lambda_1 \ge c \lambda_1^{-d / \alpha} (\diam D)^{-d - \alpha} for the spectral gap of the Dirichlet fractional Laplacian on arbitrary bounded domain D is proved. This follows from a variational formula…

Let $G$ be a locally compact group and $\mu$ a probability measure on $G,$ which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $(\pi, \cal H)$ of $G,$ we study spectral properties of…

Differential positivity and K-cooperativity, a special case of differential positivity, extend differential approaches to control to nonlinear systems with multiple equilibria, such as switches or multi-agent consensus. To apply this…

Optimization problems with convex quadratic cost and polyhedral constraints are ubiquitous in signal processing, automatic control and decision-making. We consider here an enlarged problem class that allows to encode logical conditions and…

We investigate spectral properties of the Laplace operator on a class of non-compact Riemannian manifolds. For a given number $N$ we construct periodic (i.e. covering) manifolds such that the essential spectrum of the corresponding…

An extended multi-hadron operator is developed to extract the spectra of irreducible representations in the finite volume. The irreducible representations of the cubic group are projected using a coordinate-space operator. The correlation…

The design and implementation of large sets of spatially-extended, gauge-invariant operators for use in determining the spectrum of baryons in lattice QCD computations are described. Group-theoretical projections onto the irreducible…

This paper is devoted to a general min-max characterization of the eigenvalues in a gap of the essential spectrum of a self-adjoint unbounded operator. We prove an abstract theorem, then we apply it to the case of Dirac operators with a…

We derive quantitative bounds for eigenvalues of complex perturbations of the indefinite Laplacian on the real line. Our results substantially improve existing results even for real-valued potentials. For $L^1$-potentials, we obtain optimal…

In this paper, we study linearly constrained optimization problems (LCP). After applying Hadamard parametrization, the feasible set of the parametrized problem (LCPH) becomes an algebraic variety, with conducive geometric properties which…

We give a formula relating the $L^2$-isoperimetric profile to the spectral distribution of the Laplace operator associated to a finitely generated group $\Gamma$ or a Riemannian manifold with a cocompact, isometric $\Gamma$-action. As a…

For every $c\geq 1$, we define a strengthening of Kazhdan's Property (T) by considering uniformly bounded representations $\pi$ with fixed bound $|\pi|\leq c$. We carry out a systematic study of this property and show that it can be…

This paper presents rigorous forward error bounds for linear conic optimization problems. The error bounds are formulated in a quite general framework; the underlying vector spaces are not required to be finite-dimensional, and the convex…

We give a simple definition of property T for discrete quantum groups. We prove the basic expected properties: discrete quantum groups with property T are finitely generated and unimodular. Moreover we show that, for "I.C.C." discrete…