Related papers: A simple proof of the detectability lemma and spec…
Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a…
The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive…
Quantum Hamiltonian complexity studies computational complexity aspects of local Hamiltonians and ground states; these questions can be viewed as generalizations of classical computational complexity problems related to local constraint…
Knabe's theorem lower bounds the spectral gap of a one dimensional frustration-free local hamiltonian in terms of the local spectral gaps of finite regions. It also provides a local spectral gap threshold for hamiltonians that are gapless…
We improve Knabe's spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the spectral gap of a size-$m$ chain with…
We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining…
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…
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…
We prove that generic quantum local Hamiltonians are gapless. In fact, we prove that there is a continuous density of states above the ground state. The Hamiltonian can be on a lattice in any spatial dimension or on a graph with a bounded…
The field of quantum Hamiltonian complexity lies at the intersection of quantum many-body physics and computational complexity theory, with deep implications to both fields. The main object of study is the LocalHamiltonian problem, which is…
We prove that the entanglement entropy of the ground state of a locally gapped frustration-free 2D lattice spin system satisfies an area law with respect to a vertical bipartition of the lattice into left and right regions. We first…
We study harmonic measure in finite graphs with an emphasis on expanders, that is, positive spectral gap. It is shown that if the spectral gap is positive then for all sets that are not too large the harmonic measure from a uniform starting…
Based on the symmetry properties of graphene lattice, we derive the effective Hamiltonian of graphene under spatially non-uniform acoustic and optical strains. We show that with the proper selection of the parameters, the obtained…
In high-contrast composites, the electric (or stress) field may exhibit significant amplification in the narrow region between inclusions. The behavior of the solution depends on the distance $\epsilon$ between the inclusions, which tends…
We consider quantum spin systems defined on finite sets $V$ equipped with a metric. In typical examples, $V$ is a large, but finite subset of Z^d. For finite range Hamiltonians with uniformly bounded interaction terms and a unique, gapped…
In this paper the local iterative Lie-Schwinger block-diagonalization method, introduced in [FP], [DFPR1], and [DFPR2] for quantum chains, is extended to higher-dimensional quantum lattice systems with Hamiltonians that can be written as…
We consider systems of weakly interacting fermions on a lattice. The corresponding free fermionic system is assumed to have a ground state separated by a gap from the rest of the spectrum. We prove that, if both the interaction and the free…
We present a new proof for the 1D area law for frustration-free systems with a constant gap, which exponentially improves the entropy bound in Hastings' 1D area law, and which is tight to within a polynomial factor. For particles of…
Pick a formal system. Any formal system. Whatever your favourite formal system is, as long as it's capable of reasoning about elementary arithmetic. The First Spectral Gap Incompleteness Theorem of [CPGW15] proved that there exist…
For every Matrix Product State (MPS) one can always construct a so-called parent Hamiltonian. This is a local, frustration free, Hamiltonian which has the MPS as ground state and is gapped. Whenever that parent Hamiltonian has a degenerate…