A Critique of Topos Logic in Measurement-Based Quantum Computation

Bachelor thesis (2020)

Authors

S. Diephuis Electrical Engineering, Mathematics and Computer Science

Contributors

K.P. Hart Analysis - EEMCS (mentor)
D. Elkouss Coronas Quantum Information and Software - EEMCS (graduation committee member)
E. Coplakova Mathematical Physics - EEMCS (graduation committee member)
M. Blaauboer QN/Blaauboer Group - AS (graduation committee member)
Faculty
Applied Sciences, Applied Sciences
Copyright: © 2020 S. Diephuis
More Info
expand_more

Published Date

08-07-2020

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Applied Sciences

Abstract

Topos theory and quantum mechanics are both known for having a logic that is different from ordinary logic. With this in mind, much work has been done on unifying these two fields. Loveridge, Dridi and Raussendorf apply this unification to measurement-based quantum computation [14], revealing links between computation, contextuality and the failure of the law of excluded middle in the topoi associated with each computation. We review their work, fill in gaps, follow their research suggestion and have some criticism. Our main original finding is a formula, in the formal language of the topos associated with a computation, that expresses that the computation is deterministic.