Logical paradoxes in quantum computation

DOI10.1145/3209108.3209123zbMATH Open1452.81077arXiv1709.00013OpenAlexW2964303759WikidataQ130920947 ScholiaQ130920947MaRDI QIDQ5145307FDOQ5145307

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)

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.

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

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

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)

Cited In (10)

• Topos logic in measurement-based quantum computation
• Title not available (Why is that?)
• 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
• Closing Bell boxing black box simulations in the resource theory of contextuality
• Paraconsistent ideas in quantum logic
• 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)