Physics
Scientific paper
Nov 2011
adsabs.harvard.edu/cgi-bin/nph-data_query?bibcode=2011njph...13k3043a&link_type=abstract
New Journal of Physics, Volume 13, Issue 11, pp. 113043 (2011).
Physics
Scientific paper
Quantum Hamiltonian complexity, an emerging area at the intersection of condensed matter physics and quantum complexity theory, studies the properties of local Hamiltonians and their ground states. In this paper we focus on a seemingly specialized technical tool, the detectability lemma (DL), introduced in the context of the quantum PCP challenge (Aharonov et al 2009 arXiv:0811.3412), which is a major open question in quantum Hamiltonian complexity. We show that a reformulated version of the lemma is a versatile tool that can be used in place of the celebrated Lieb-Robinson (LR) bound to prove several important results in quantum Hamiltonian complexity. The resulting proofs are much simpler, more combinatorial and provide a plausible path toward tackling some fundamental open questions in Hamiltonian complexity. We provide an alternative simpler proof of the DL that removes a key restriction in the original statement (Aharonov et al 2009 arXiv:0811.3412), making it more suitable for the broader context of quantum Hamiltonian complexity. Specifically, we first use the DL to provide a one-page proof of Hastings' result that the correlations in the ground states of gapped Hamiltonians decay exponentially with distance (Hastings 2004 Phys. Rev. B 69 104431). We then apply the DL to derive a simpler and more intuitive proof of Hastings' seminal one-dimensional (1D) area law (Hastings 2007 J. Stat. Mech. (2007) P8024) (both these proofs are restricted to frustration-free systems). Proving the area law for two and higher dimensions is one of the most important open questions in the field of Hamiltonian complexity, and the combinatorial nature of the DL-based proof holds out hope for a possible generalization. Indeed, soon after the first publication of the methods presented here, they were applied to derive exponential improvements to Hastings' result (Arad et al 2011, Aharonov et al 2011) in the case of frustration-free 1D systems. Finally, we also provide a more general explanation of how the DL can be used to replace the LR bound.
Aharonov Dorit
Arad Itai
Landau Zeph
Vazirani Umesh
No associations
LandOfFree
The detectability lemma and its applications to quantum Hamiltonian complexity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The detectability lemma and its applications to quantum Hamiltonian complexity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The detectability lemma and its applications to quantum Hamiltonian complexity will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-749332