Topos Logic in Measurement-Based Quantum Computation

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 23, 2015
Accession Number
AD1051888

Entities

People

  • Leon Loveridge
  • Raouf Dridi
  • Robert Raussendorf

Organizations

  • University of Oxford

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algebra
  • Boolean Algebra
  • Computations
  • Computer Science
  • Construction
  • Equations
  • Hilbert Space
  • Language
  • Mathematics
  • Physical Theories
  • Physics
  • Quantum Algorithms
  • Quantum Computing
  • Quantum Mechanics
  • Set Theory
  • Theorems
  • Topoi

Fields of Study

  • Physics

Readers

  • Computer Engineering
  • Quantum spin resonance or Electron Paramagnetic Resonance spectroscopy.
  • Theoretical Analysis.

Technology Areas

  • Quantum Computing