Supermaps between channels of any type

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Allen, Robert, Verdon, Dominic
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912055485792256
author Allen, Robert
Verdon, Dominic
author_facet Allen, Robert
Verdon, Dominic
contents Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.
format Preprint
id arxiv_https___arxiv_org_abs_2410_01389
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Supermaps between channels of any type
Allen, Robert
Verdon, Dominic
Quantum Physics
Category Theory
Operator Algebras
81P47 (Primary) 18N10, 18M30, 47C15 (Secondary)
Supermaps between quantum channels (completely positive trace-preserving (CPTP) maps of matrix algebras) were introduced in [Chiribella et al., EPL 83(3) (2008)]. In this work we generalise to supermaps between channels of any type; by channels we mean CPTP maps of finite-dimensional C*-algebras. Channels include POVMs, quantum instruments, classically controlled families of quantum channels, classical channels, quantum multimeters, and more. We show that deterministic supermaps between channels of any type can be realised using simple circuits, recovering the previous realisation theorems of [Chiribella et al., EPL 83(3) (2008)] (for deterministic supermaps between quantum channels) and [Bluhm et al. (2024)] (for deterministic supermaps between quantum multimeters) as special cases. To prove this realisation theorem we use the graphical calculus of the 2-category of finite-dimensional 2-Hilbert spaces; the paper includes an accessible and elementary introduction to this graphical calculus, and no prior knowledge of category theory is expected of the reader.
title Supermaps between channels of any type
topic Quantum Physics
Category Theory
Operator Algebras
81P47 (Primary) 18N10, 18M30, 47C15 (Secondary)
url https://arxiv.org/abs/2410.01389