Mathematical Foundations of Information Flow
About this Volume
Edited by: Samson Abramsky, University of Oxford, Oxford, United Kingdom and Michael Mislove, Tulane University, New Orleans, LA
2012: Volume: 71
ISBNs: 978-0-8218-4923-1 (print); 978-0-8218-9006-6 (online)
This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and Logic and Computation, held March 12–15, 2008, at Tulane University in New Orleans, Louisiana.
The varying perspectives of the researchers are evident in the topics represented in the volume, including mathematics, computer science, quantum physics and classical and quantum information. A number of the articles address fundamental questions in quantum information and related topics in quantum physics, using abstract categorical and domain-theoretic models for quantum physics to reason about such systems and to model spacetime.
Readers can expect to gain added insight into the notion of information flow and how it can be understood in many settings. They also can learn about new approaches to modeling quantum mechanics that provide simpler and more accessible explanations of quantum phenomena, which don't require the arcane aspects of Hilbert spaces and the cumbersome notation of bras and kets.
Graduate students and research mathematicians interested in computer science, classical and quantum information theory, and the related mathematics and physics.
Table of Contents
- Samson Abramsky and Chris Heunen – $H*$-algebras and nonunital Frobenius algebras: First steps in infinite-dimensional categorical quantum mechanics
- Howard Barnum, Jonathan Barrett, Matthew Leifer and Alexander Wilce – Teleportation in general probabilistic theories
- Adam Brandenburger, Amanda Friedenberg and H. Jerome Keisler – Fixed points in epistemic game theory
- Bob Coecke and Bill Edwards – Spekkens’s toy theory as a category of processes
- Peter Hines and Philip Scott – Categorical traces from single-photon linear optics
- Karl H. Hofmann and Michael Mislove – Compact affine monoids, harmonic analysis and information theory
- Keye Martin – The scope of a quantum channel
- Keye Martin and Prakash Panangaden – Spacetime geometry from causal structure and a measurement
- Dusko Pavlovic – Geometry of abstraction in quantum computation