Projective characterization of higher-order quantum transformations

Abstract

Transformations of transformations, also called higher-order transformations, is a natural concept in information processing, which has recently attracted significant in terest in the study of quantum causal rela tions. In this work, a framework for char acterizing higher-order quantum transformations which relies on the use of superoperator projectors is presented. More pre cisely, working with projectors in the Choi Jamiołkowski picture is shown to provide a handy way of defining the characterization constraints on any class of higher-order transformations. The algebraic propertiesof these projectors are furthermore shown to obey rules similar to multiplicative additive linear logic (MALL), providing an intuitive way of comparing any two classes through their projectors. The main novelty of this work is the introduction to the algebra of the ‘prec’ connector. It is used for the characterization of maps that are no signaling from input to out put or the other way around. This allows to assess the possible signaling structure of any transformation characterized within the projective framework. The properties of the prec are moreover shown to yield a normal form for projective expressions. This hints towards a general way to compare different classes of higher-order transformations.