A Critique of Topos Logic in Measurement-Based Quantum Computation

More Info
expand_more

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.