Complete Positivity for Mixed Unitary Categories

TL;DR

This paper extends the ${\sf CP}$-infinity construction from dagger monoidal categories to mixed unitary categories, enabling a categorical semantics for higher-order quantum programming with arbitrary dimensional processes.

Contribution

It generalizes the ${\sf CP}$-infinity construction to mixed unitary categories, broadening its applicability to quantum processes without losing dual objects.

Findings

Generalization of the ${\sf CP}$-infinity construction to mixed unitary categories

Introduction of environment structures for these categories

Characterization of the construction via environment structures

Abstract

Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article generalizes the ${\sf CP}$-infinity construction of dagger monoidal categories to mixed unitary categories. Mixed unitary categories, on the one hand, generalize the (compact) dagger monoidal categories, and on the other hand, accommodate arbitrary dimensional quantum processes, both without sacrificing the notion of dual objects. This means that the ${\sf CP}$-infinity construction for mixed unitary categories provides a suitable semantics for higher-order quantum programming languages which employ arbitrary dimensional structures. The existing results for the ${\sf CP}$-infinity construction are shown to generalize to the new setting. In particular, the notion of environment structures generalizes to mixed unitary categories and it is shown that the ${\sf CP}$-infinity construction for mixed unitary categories is characterized by this generalized environment structure.