Related papers: Certifying numerical estimates of spectral gaps
Let $G$ be a connected, linear, real reductive Lie group with compact centre. Let $K<G$ be maximal compact. For a tempered representation $\pi$ of $G$, we realise the restriction $\pi|_K$ as the $K$-equivariant index of a Dirac operator on…
We establish an error estimate for counting lattice points in Euclidean norm balls (associated to an arbitrary irreducible linear representation) for lattices in simple Lie groups of real rank at least two. Our approach utilizes refined…
On a fairly general class of Riemannian manifolds M, we prove lower estimates in terms of the Ricci curvature for the spectral bound (when M has infinite volume) and for the spectral gap (when M has finite volume) for the Laplace-Beltrami…
We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric…
Computational approaches to PDE-constrained optimization under uncertainty may involve finite-dimensional approximations of control and state spaces, sample average approximations of measures of risk and reliability, smooth approximations…
Recent general results on Hamiltonian reductions under polar group actions are applied to study some reductions of the free particle governed by the Laplace-Beltrami operator of a compact, connected, simple Lie group. The reduced systems…
It is shown that eigenvalues of Laplace-Beltrami operators on compact Riemannian manifolds can be determined as limits of eigenvalues of certain finite-dimensional operators in spaces of polyharmonic functions with singularities. In…
We consider the spectral definition of the fractional Laplace operator and study a basic linear problem involving this operator and singular forcing. In two dimensions, we introduce an appropriate weak formulation in fractional Sobolev…
We consider the problem of geometric optimization of the lowest eigenvalue for the Laplacian on a compact, simply-connected two-dimensional manifold with boundary subject to an attractive Robin boundary condition. We prove that in the…
We give a method to describe all congruence images of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n, \mathbb{Z})$. The method is applied to obtain efficient algorithms for solving this problem in odd prime degree $n$; if…
We perform a systematic investigation of Kazhdan's relative Property (T) for pairs (G,X), where G a locally compact group and X is any subset. When G is a connected Lie group or a p-adic algebraic group, we provide an explicit…
We prove that every sofic approximation of a property (T) group is approximately isomorphic to one having geometric property (T), and more generally, a box space of graphs which has boundary geometric property (T) is approximately…
A computer-assisted proof is proposed for the Laplacian eigenvalue minimization problems over triangular domains under diameter constraints. The proof utilizes recently developed guaranteed computation methods for both eigenvalues and…
In this work we explore the fidelity of numerical approximations to the analytic spectra of hyperbolic partial differential equation systems with variable coefficients. We are particularly interested in the ability of discrete methods to…
The aim of this paper is to develop a constraint algorithm for singular classical field theories in the framework of $k$-cosymplectic geometry. Since these field theories are singular, we need to introduce the notion of $k$-precosymplectic…
We prove that every semidefinite moment relaxation of a polynomial optimization problem (POP) with a ball constraint can be reformulated as a semidefinite program involving a matrix with constant trace property (CTP). As a result such…
We establish two results concerning the Quantum Limits (QLs) of some sub-Laplacians. First, under a commutativity assumption on the vector fields involved in the definition of the sub- Laplacian, we prove that it is possible to split any QL…
The theory of imprecise Markov chains has achieved significant progress in recent years. Its applicability, however, is still very much limited, due in large part to the lack of efficient computational methods for calculating…
The technique of inducing spectral gaps for cohomological Laplacians in degree zero was used by Kaluba, Kielak and Nowak to prove property (T) for $\operatorname{SAut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$. In this paper, we adapt…
We consider periodic Jacobi operators and obtain upper and lower estimates on the sizes of the spectral bands. Our proofs are based on estimates on the logarithmic capacities and connections between the Chebyshev polynomials and logarithmic…