Quantum computational complexity
J Watrous - ar** topic: the theory of quantum
computing. It begins with the basics of classical theory of computation: Turing machines …
computing. It begins with the basics of classical theory of computation: Turing machines …
Quantum algorithmic measurement
There has been recent promising experimental and theoretical evidence that quantum
computational tools might enhance the precision and efficiency of physical experiments …
computational tools might enhance the precision and efficiency of physical experiments …
Classically verifiable quantum advantage from a computational Bell test
Existing experimental demonstrations of quantum computational advantage have had the
limitation that verifying the correctness of the quantum device requires exponentially costly …
limitation that verifying the correctness of the quantum device requires exponentially costly …
The complexity of quantum states and transformations: from quantum money to black holes
S Aaronson - arxiv preprint arxiv:1607.05256, 2016 - arxiv.org
These are lecture notes from a weeklong course in quantum complexity theory taught at the
Bellairs Research Institute in Barbados, February 21-25, 2016. The focus is quantum circuit …
Bellairs Research Institute in Barbados, February 21-25, 2016. The focus is quantum circuit …
Quantum arthur–merlin games
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which
Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum …
Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum …
Zero-knowledge against quantum attacks
J Watrous - Proceedings of the thirty-eighth annual ACM …, 2006 - dl.acm.org
This paper proves that several interactive proof systems are zero-knowledge against
general quantum attacks. This includes the well-known Goldreich-Micali-Wigderson …
general quantum attacks. This includes the well-known Goldreich-Micali-Wigderson …
Variational quantum algorithms for trace distance and fidelity estimation
Estimating the difference between quantum data is crucial in quantum computing. However,
as typical characterizations of quantum data similarity, the trace distance and quantum …
as typical characterizations of quantum data similarity, the trace distance and quantum …
Quantum computing for future real-time building HVAC controls
Buildings contribute to more than 70% of overall US electricity usage and greenhouse gas
(GHG) emissions. HVAC systems in buildings often consume more than 40% of the total …
(GHG) emissions. HVAC systems in buildings often consume more than 40% of the total …
Semidefinite programs for completely bounded norms
J Watrous - arxiv preprint arxiv:0901.4709, 2009 - arxiv.org
The completely bounded trace and spectral norms in finite dimensions are shown to be
expressible by semidefinite programs. This provides an efficient method by which these …
expressible by semidefinite programs. This provides an efficient method by which these …