1 July 1997 Perspective on quantum computation from topos and sheaf theory
Author Affiliations +
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.
© (1997) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
William David Miller, William David Miller, } "Perspective on quantum computation from topos and sheaf theory", Proc. SPIE 3076, Photonic Quantum Computing, (1 July 1997); doi: 10.1117/12.277647; https://doi.org/10.1117/12.277647


Computer control system based on fuzzy control for boilers
Proceedings of SPIE (October 10 2000)
Nonclassical logics for quantum computations
Proceedings of SPIE (July 01 1997)
Prolegomena to the field
Proceedings of SPIE (March 01 1994)
Foundations of fuzzy neural networks
Proceedings of SPIE (December 22 1993)
Research on fuzzy PID control to electronic speed regulator
Proceedings of SPIE (January 07 2008)

Back to Top