Physical Traces: Quantum vs. Classical Information Processing
Abstract
Within the Geometry of Interaction (GoI) paradigm, we present a setting that enables qualitative differences between classical and quantum processes to be explored. The key construction is the physical interpretation/realization of the traced monoidal categories of finitedimensional vector spaces with tensor product as monoidal structure and of finite sets and relations with Cartesian product as monoidal structure, both of them providing a socalled wavestyle GoI. The developments in this paper reveal that envisioning state update due to quantum measurement as a process provides a powerful tool for developing highlevel approaches to quantum information processing.
 Publication:

arXiv eprints
 Pub Date:
 July 2002
 DOI:
 10.48550/arXiv.cs/0207057
 arXiv:
 arXiv:cs/0207057
 Bibcode:
 2002cs........7057A
 Keywords:

 Computer Science  Computational Geometry;
 Computer Science  Logic in Computer Science;
 Mathematics  Category Theory;
 Quantum Physics;
 F.1;
 F.2
 EPrint:
 The paper is written for a computer science journal, requires some knowledge on category theory but provides some basics on quantum theory