365 citations
- California Institute of TechnologyUS4 papers
- University of BristolGB3 papers
- Vrije Universiteit BrusselBE3 papers
- Berkeley CollegeUS2 papers
- Moscow Institute of Thermal TechnologyRU2 papers
- Perimeter InstituteCA2 papers
- Université de MontréalCA2 papers
- Brown UniversityUS1 paper
- Centre d’Immunologie de Marseille-LuminyFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Cornell UniversityUS1 paper
- Davidson CollegeUS1 paper
12 papers · 1 filter
Symmetric measurements attaining the accessible information
Thomas Decker
A theorem of Davies states that for symmetric quantum states there exists a symmetric POVM maximizing the mutual information. To apply this theorem the representation of the symmet…
Reasoning about quantum knowledge
Ellie D'Hondt, Prakash Panangaden
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, w…
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…
Random subspaces for encryption based on a private shared Cartesian frame
Stephen D. Bartlett, Patrick Hayden, Robert W. Spekkens
A private shared Cartesian frame is a novel form of private shared correlation that allows for both private classical and quantum communication. Cryptography using a private shared…
Approximate Quantum Error-Correcting Codes and Secret Sharing Schemes
Claude Crepeau, Daniel Gottesman, Adam Smith
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding a…
Quantum Weakest Preconditions
Ellie D'Hondt, Prakash Panangaden
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between t…