Logical paradoxes in quantum computation

DOI10.1145/3209108.3209123MaRDI QIDQ5145307zbMATH OpenOpenAlexWikidataFDO

Authors Nadish de Silva

Publication date 20 January 2021

Published in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.00013

Mathematics Subject Classification ID

Quantum computation (81P68) General and philosophical questions in quantum theory (81P05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Abstract: While quantum computers are expected to yield considerable advantages over classical devices, the precise features of quantum theory enabling these advantages remain unclear. Contextuality--the denial of a notion of classical physical reality--has emerged as a promising hypothesis. Magic states are quantum resources critical for practically achieving universal quantum computation. They exhibit the standard form of contextuality that is known to enable probabilistic advantages in a variety of computational and communicational tasks. Strong contextuality is an extremal form of contextuality describing systems that exhibit logically paradoxical behaviour. Here, we consider special magic states that deterministically enable quantum computation. After introducing number-theoretic techniques for constructing exotic quantum paradoxes, we present large classes of strongly contextual magic states that enable deterministic implementation of gates from the Clifford hierarchy. These surprising discoveries bolster a refinement of the resource theory of contextuality that emphasises the computational power of logical paradoxes.

Recommendations

• Logical pre- and post-selection paradoxes are proofs of contextuality
• Topos logic in measurement-based quantum computation
• Contextuality, Cohomology and Paradox
• Preface
• The weirdness theorem and the origin of quantum paradoxes

Cited in

(10)

• scientific article; zbMATH DE number 6003196 (Why is no real title available?)
• Topos logic in measurement-based quantum computation
• Non-locality, contextuality and valuation algebras: a general theory of disagreement
• Characterising semi-Clifford gates using algebraic sets
• Hierarchies of resources for measurement-based quantum computation
• Preface
• Paraconsistent ideas in quantum logic
• Closing Bell boxing black box simulations in the resource theory of contextuality
• The weirdness theorem and the origin of quantum paradoxes
• Logical pre- and post-selection paradoxes are proofs of contextuality

This page was built for publication: Logical paradoxes in quantum computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145307)