Related papers: Undecidability of the Spectral Gap (full version)
In quantum many-body systems, the existence of a spectral gap above the ground state has far-reaching consequences. In this paper, we discuss "finite-size" criteria for having a spectral gap in frustration-free spin systems and their…
Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on…
We establish a connection between gaps problems in Diophantine approximation and the frequency spectrum of patches in cut and project sets with special windows. Our theorems provide bounds for the number of distinct frequencies of patches…
We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We present a class of such systems and a class of safety…
In this work, we show that very natural, apparently simple problems in quantum measurement theory can be undecidable even if their classical analogues are decidable. Undecidability hence appears as a genuine quantum property here. Formally,…
Hastings established exponential decay of correlations for ground states of gapped quantum many-body systems. A ground state of a (geometrically) local Hamiltonian with spectral gap $\epsilon$ has correlation length $\xi$ upper bounded as…
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…
We study the semigroup of the symmetric $\alpha$-stable process in bounded domains in $\R^2$. We obtain a variational formula for the spectral gap, i.e. the difference between two first eigenvalues of the generator of this semigroup. This…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
The emptiness and containment problems for probabilistic automata are natural quantitative generalisations of the classical language emptiness and inclusion problems for Boolean automata. It is well known that both problems are undecidable.…
For a class of Hamiltonians of $XXZ$ spin chains in a uniform external magnetic field that are small quantum perturbations of an Ising Hamiltonian, it is shown that the spectral gap above the ground-state energy remains strictly positive…
A longstanding challenge in the foundations of quantum mechanics is the verification of alternative collapse theories despite their mathematical similarity to decoherence. To this end, we suggest a novel method based on dynamical…
Central D-dimensional Hamiltonians $H = p^2 + a |\vec{r}|^2 + b |\vec{r}|^4 + >... + z |\vec{r}|^{4q+2}$ (where z=1) are considered in the limit $D \to \infty$ where numerical experiments revealed recently a new class of q-parametric…
The objective of this work is to examine the integrability of Hamiltonian systems in $2D$ spaces with variable curvature of certain types. Based on the differential Galois theory, we announce the necessary conditions of the integrability.…
Let $H$ be a frustration-free Hamiltonian describing a 2D grid of qudits with local interactions, a unique ground state, and local spectral gap lower bounded by a positive constant. For any bipartition defined by a vertical cut of length…
We upper- and lower-bound the optimal precision with which one can estimate an unknown Hamiltonian parameter via measurements of Gibbs thermal states with a known temperature. The bounds depend on the uncertainty in the Hamiltonian term…
Let $\Gamma < G := \operatorname{SO}(d+1, 1)$ for $d \geq 1$ be a Zariski dense, geometrically finite, discrete subgroup with critical exponent strictly greater than $d/2$. We show that $L^2(\Gamma\backslash G)$ admits a strong spectral…
Consider a quantum particle trapped between a curved layer of constant width built over a complete, non-compact, $\mathcal C^2$ smooth surface embedded in $\mathbb{R}^3$. We assume that the surface is asymptotically flat in the sense that…
Proving that the parent Hamiltonian of a Projected Entangled Pair State (PEPS) is gapped remains an important open problem. We take a step forward in solving this problem by showing two results: first, we identify an approximate…
We establish spectral rigidity for spherically symmetric manifolds with boundary and interior interfaces determined by discontinuities in the metric under certain conditions. Rather than a single metric, we allow two distinct metrics in…