2014/12/30 by Giulio Chiribella
Physics and Astronomy · Computer Science · #quant-ph #cs.LO
paper · pdf · doi:10.4204/eptcs.172.1
published as EPTCS 172, 2014, pp. 1-14 · In Proceedings QPL 2014, arXiv:1412.8102
arxiv created 2014/12/30 · arxiv updated 2014/12/31
This paper provides a concise summary of the framework of operational-probabilistic theories, aimed at emphasizing the interaction between category-theoretic and probabilistic structures. Within this framework, we review an operational version of the GNS construction, expressed by the so-called purification principle, which under mild hypotheses leads to an operational version of Stinespring's theorem.