#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2008

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Dorit Aharonov, Lior Eldar
- 2011 IEEE 52nd Annual Symposium on Foundations of…
- 2011

The local Hamiltonian problem plays the equivalent role of SAT in quantum complexity theory. Understanding the complexity of the intermediate case in which the constraints are quantum but all local terms in the Hamiltonian commute, is of importance for conceptual, physical and computational complexity reasons. Bravyi and Vyalyi showed in 2003, using a… (More)

- Lior Eldar, Oded Regev
- ICALP
- 2008

We show that the quantum SAT problem is QMA 1-complete when restricted to interactions between a three-dimensional particle and a five-dimensional particle. The best previously known result is for particles of dimensions 4 and 9. The main novel ingredient of our proof is a certain Hamiltonian construction named the Triangle Hamiltonian. It allows to verify… (More)

- Michael Ben-Or, Lior Eldar
- ArXiv
- 2013

Recent results by Harrow et. al. [2], and by Ta-Shma [5], suggest that quantum computers may have an exponential advantage in solving a wealth of linear algebraic problems, over classical algorithms. Building on the quantum intuition of these results, we step back into the classical domain, and explore its usefulness in designing classical algorithms. We… (More)

- Dorit Aharonov, Lior Eldar
- Quantum Information Processing
- 2015

- Dorit Aharonov, Lior Eldar
- SIAM J. Comput.
- 2015

We initiate the study of quantum Locally Testable Codes (qLTCs). We provide a definition together with a simplification, denoted sLTCs, for the special case of stabilizer codes, and provide some basic results using those definitions. The most crucial parameter of such codes is their sound-ness, R(δ), namely, the probability that a randomly chosen constraint… (More)

- Michael Ben-Or, Lior Eldar
- ArXiv
- 2015

- Lior Eldar, Peter W. Shor
- ArXiv
- 2016

We introduce a new canonical form of lattices called the systematic normal form (SNF). We show that for every lattice there is an efficiently computable " nearby " SNF lattice, such that for any lattice one can solve lattice problems on its " nearby " SNF lattice, and translate the solutions back efficiently to the original lattice. The SNF provides direct… (More)

- ‹
- 1
- ›