Projective characterization of higher-order quantum transformations

TL;DR

This paper introduces a projector-based framework for characterizing higher-order quantum transformations, revealing algebraic structures and a new 'prec' connector to analyze signaling properties and compare transformation classes.

Contribution

It presents a novel projector-based approach using superoperators in the Choi-Jamiolkowski picture, including the algebra of the 'prec' connector for signaling analysis.

Findings

Framework effectively characterizes higher-order transformations.

Algebraic properties follow rules similar to MALL logic.

Normal form for projective expressions enables comparison of transformation classes.

Abstract

Transformations of transformations, also called higher-order transformations, is a natural concept in information processing, which has recently attracted significant interest in the study of quantum causal relations. In this work, a framework for characterizing higher-order quantum transformations which relies on the use of superoperator projectors is presented. More precisely, working with projectors in the Choi-Jamiolkowski picture is shown to provide a handy way of defining the characterization constraints on any class of higher-order transformations. The algebraic properties of 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 output 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.