DocumentCode :
2346302
Title :
Chu spaces: automata with quantum aspects
Author :
Pratt, Vaughan R.
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear :
1994
fDate :
17-20 Nov 1994
Firstpage :
186
Lastpage :
195
Abstract :
Chu spaces are a model of concurrent computation extending automata theory to express branching time and true concurrency. They exhibit in a primitive form the quantum mechanical phenomena of complementarity and uncertainty. The complementarity arises as the duality of information and time, automata and schedules, and states and events. Uncertainty arises when we define a measurement to be a morphism and notice that increasing structure in the observed object reduces clarity of observation. For a Chu space this uncertainty can be calculated numerically in an attractively simple way directly from its form factor to yield the usual Heisenberg uncertainty relation. Chu spaces correspond to wavefunctions as vectors of Hilbert space, whose inner product operation is realized for Chu spaces as right residuation and whose quantum logic becomes Girard´s linear logic
Keywords :
Hilbert spaces; automata theory; complementarity; formal logic; Chu spaces; Heisenberg uncertainty relation; Hilbert space vectors; automata theory; branching time; complementarity; concurrent computation; events; inner product operation; linear logic; quantum aspects; quantum logic; quantum mechanical phenomena; schedules; states; uncertainty; wavefunctions; Automata; Bridges; Computer architecture; Computer science; Gravity; Logic; Physics; Quantum computing; Quantum mechanics; Uncertainty;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Physics and Computation, 1994. PhysComp '94, Proceedings., Workshop on
Conference_Location :
Dallas, TX
Print_ISBN :
0-8186-6715-X
Type :
conf
DOI :
10.1109/PHYCMP.1994.363682
Filename :
363682
Link To Document :
بازگشت