434 citations
- Rutgers, The State University of New JerseyUS14 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Hungarian Academy of SciencesHU8 papers
- University of ChicagoUS8 papers
- Bar-Ilan UniversityIL6 papers
- University of California, BerkeleyUS6 papers
- University of WashingtonUS5 papers
- Weizmann Institute of ScienceIL5 papers
- Ben-Gurion University of the NegevIL4 papers
- Hebrew CollegeUS4 papers
- Laboratoire Aimé CottonFR4 papers
- Tel Aviv UniversityIL4 papers
14 papers · 1 filter
The Detectability Lemma and Quantum Gap Amplification
Dorit Aharonov, Itai Arad, Zeph Landau +1
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 en…
Interactive Proofs For Quantum Computations
Dorit Aharonov, Michael Ben-Or, Elad Eban
The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers might already be too large to be simulated classically…
Protecting coherence in Optimal Control Theory: State dependent constraint approach
Jose P. Palao, Ronnie Kosloff, Christiane P. Koch
Optimal control theory is developed for the task of obtaining a primary objective in a subspace of the Hilbert space while avoiding other subspaces of the Hilbert space. The primar…
Quantic Superpositions and the Geometry of Complex Hilbert Spaces
Daniel Lehmann
The concept of a superposition is a revolutionary novelty introduced by Quantum Mechanics. If a system may be in any one of two pure states x and y, we must consider that it may al…
A presentation of Quantum Logic based on an "and then" connective
Daniel Lehmann
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is comb…
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projec…