Share Email Print

Proceedings Paper

Perspective on quantum computation from topos and sheaf theory
Author(s): William David Miller
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

The forcing process from mathematical logic offers a promising framework for studying the feasibility of quantum computation on a practical scale, since decoherence is a serious concern and, so far, questions of control, communication, and the implementation of operations that are important for a working computational system have received less attention than mathematical research on algorithms and basic physical investigations of creating simple gates and storing mixed states. Using forcing in this way is a new application of areas of model theory in which propositions and predicates take values in a lattice. Takeuti develops set theory for any universe built on a Boolean algebra generated by commutable projection operators on a Hilbert space, each such universe being a elementary topos of set- valued sheaves on the algebra, which thus is the lattice of truth values for the topos. Since it has a natural numbers object, it thus supports the general forcing method of Scedrov, but the idea of forcing is demonstrated by an example in the simpler context of partially ordered sets. Stout's lamination construction assembles toposes into objects with truth-value lattices that are orthomodular, like the lattice of all projection operators on Hilbert space, and clarifies some difficulties identified by Takeuti in the case where truth values are noncommutable operators. A substantial body of existing sheaf and topos theory thus is potentially relevant to quantum computation, and further work may provide guidance for system development.

Paper Details

Date Published: 1 July 1997
PDF: 10 pages
Proc. SPIE 3076, Photonic Quantum Computing, (1 July 1997); doi: 10.1117/12.277647
Show Author Affiliations
William David Miller, Consultant (United States)

Published in SPIE Proceedings Vol. 3076:
Photonic Quantum Computing
Steven P. Hotaling; Andrew R. Pirich, Editor(s)

© SPIE. Terms of Use
Back to Top