In strongly compact closed category with biproducts many crucial features of quantum computing in Hilbert spaces have been recently recasted: the additive level describes the irreversible process of measure and allows to model the classical information flow during a quantum information protocol. In this paper we suggest to grasp the different situations occurring in quantum information theory where the input output systems of an information channel can be either quantum or classical only on the base of the multiplicative level of the category. The aim of our approach is not restricted to a formalization of the standard Hilbert space point of view, but intends to gain a more operational meaning. More precisely, we analyze the conditions on the monoids of the category which allow to recover a categorical version of the notion of C*-algebras acting on a Hilbert space and which will be subject to a precise valutation regarding the no-cloning principle. We find that the elements of the monoid invariant with respect to the action of the cloning form exactly a commutative subalgebra, the categorical structure for a classical object.

Un approccio categoriale ai flussi di informazione quantistica / G. Conte - In: La ricerca logica in Italia : studi in onore di Corrado Mangione : Milano, 10-11 settembre 2009 / [a cura di] E. Ballo, C. Cellucci. - Milano : Cisalpino, 2011 Mar. - ISBN 978-88-205-1021-3. (( convegno La Ricerca Logica in Italia, Convegno in onore di Corrado Mangione tenutosi a Milano nel 2009.

Un approccio categoriale ai flussi di informazione quantistica

G. Conte
Primo
2011

Abstract

In strongly compact closed category with biproducts many crucial features of quantum computing in Hilbert spaces have been recently recasted: the additive level describes the irreversible process of measure and allows to model the classical information flow during a quantum information protocol. In this paper we suggest to grasp the different situations occurring in quantum information theory where the input output systems of an information channel can be either quantum or classical only on the base of the multiplicative level of the category. The aim of our approach is not restricted to a formalization of the standard Hilbert space point of view, but intends to gain a more operational meaning. More precisely, we analyze the conditions on the monoids of the category which allow to recover a categorical version of the notion of C*-algebras acting on a Hilbert space and which will be subject to a precise valutation regarding the no-cloning principle. We find that the elements of the monoid invariant with respect to the action of the cloning form exactly a commutative subalgebra, the categorical structure for a classical object.
Settore M-FIL/02 - Logica e Filosofia della Scienza
mar-2011
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/169178
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact