Topos logic in measurement-based quantum computation

DOI10.1098/RSPA.2014.0716MaRDI QIDQ5362399zbMATH OpenOpenAlexFDO

Authors Leon Loveridge, Raouf Dridi, R. Raussendorf

Publication date 29 September 2017

Published in Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Quantum computation (81P68)

Abstract: We report first steps towards elucidating the relationship between contextuality, measurement-based quantum computation (MBQC) and the non-classical logic of a topos associated with the computation. We show that, in a class of MBQC, classical universality requires non-classical logic, which is 'consumed' during the course of the computation, thereby pinpointing another potential quantum computational resource.

Recommendations

• Measurement-based quantum computation and undecidable logic
• Hierarchies of resources for measurement-based quantum computation
• The Role of Classical Computation in Measurement-Based Quantum Computation
• Extended measurement calculus
• Logical paradoxes in quantum computation

Cited in

(7)

• Topos-based logic for quantum systems and bi-Heyting algebras
• scientific article; zbMATH DE number 125869 (Why is no real title available?)
• scientific article; zbMATH DE number 4114625 (Why is no real title available?)
• Topological features of good resources for measurement-based quantum computation
• Logical paradoxes in quantum computation
• Hierarchies of resources for measurement-based quantum computation
• Measurement-based quantum computation and undecidable logic

This page was built for publication: Topos logic in measurement-based quantum computation

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