A Critique of Topos Logic in Measurement-Based Quantum Computation

Title

A Critique of Topos Logic in Measurement-Based Quantum Computation

 Author

Diephuis, S. (TU Delft Electrical Engineering, Mathematics and Computer Science; TU Delft Applied Sciences)

Contributor

Hart, K.P. (mentor)
Elkouss Coronas, D. (graduation committee)
Coplakova, E. (graduation committee)
Blaauboer, M. (graduation committee)

Degree granting institution

Delft University of Technology

 Programme

Applied Mathematics

 Date

2020-07-08

 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.

 Subject

Quantum computation
Category theory
Topos theory
Intuitionistic logic

 To reference this document use:

http://resolver.tudelft.nl/uuid:207838f1-7f72-48c1-a2eb-27e57871ea1c

 Part of collection

Student theses

 Document type

bachelor thesis

 Rights

© 2020 S. Diephuis
Files
PDF Bachelor_Thesis_Storm_Diephuis.pdf 460.31 KB
Close viewer