Discrete Quantum Causal Dynamics

Discrete Quantum Causal Dynamics (2003)

Cached

Download Links

by Richard F. Blute , Ivan T. Ivanov , Prakash Panangaden

Venue:	International Journal of Theoretical Physics
Citations:	8 - 4 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Discrete Quantum Causal Dynamics	user correction - Legacy Corrections
AUTHOR NAME	Richard F. Blute	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Mathematics; and Statistics; University of Ottawa; Ottawa, Ontario	SVM HeaderParse 0.2
AUTHOR ADDR	Canada	SVM HeaderParse 0.1
AUTHOR NAME	Ivan T. Ivanov	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Mathematics; and Statistics; University of Ottawa; Ottawa, Ontario	SVM HeaderParse 0.2
AUTHOR ADDR	Canada	SVM HeaderParse 0.1
AUTHOR NAME	Prakash Panangaden	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; McGill University	SVM HeaderParse 0.2
AUTHOR ADDR	Montreal, Quebec, Canada	SVM HeaderParse 0.1
ABSTRACT	We give a mathematical framework to describe the evolution of an open quantum systems subjected to nitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems which evolve independently but may also interact. This evolution, driven both by unitary operators and measurements, is coded in a precise mathematical structure in such a way that the crucial properties of causality, covariance and entanglement are faithfully represented. We show how our framework may be expressed using the language of (poly)categories and functors. Remarkably, important physical consequences - such as covariance - follow directly from the functoriality of our axioms. We establish strong links between the physical picture we propose and linear logic. Specifically we show that the rened logical connectives of linear logic can be used to describe the entanglements of subsystems in a precise way. Furthermore, we show that there is a precise correspondence between the evolution of a given system and deductions in a certain formal logical system based on the rules of linear logic. This framework generalizes and enriches both causal posets and the histories approach to quantum mechanics. 1	user correction - Legacy Corrections
YEAR	2003	INFERENCE
VENUE	International Journal of Theoretical Physics	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
VOLUME	2003	INFERENCE
CITATIONS	31 found	ParsCit 1.0