Almost-idempotent quantum channels and approximate $C^*$-algebras

TL;DR

This paper introduces a framework for approximate $C^*$-algebras derived from almost-idempotent quantum channels, providing bounds and isomorphisms that facilitate quantum channel factorization.

Contribution

It constructs approximate $C^*$-algebras from $ frac{ ext{cb}}{ ext{cb}}$-close idempotent maps and proves their near-isomorphism to genuine $C^*$-algebras with universal bounds.

Findings

Universal bounds for approximate $C^*$-algebras independent of dimension

Approximate factorization of quantum channels into encoding and decoding maps

Construction of almost-invariant observables for $ frac{ ext{cb}}{ ext{cb}}$-close maps

Abstract

Let $\Phi$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $\Phi$ is $\eta$-idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(\eta)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $\eta$-idempotent UCP map $\Phi$, the $O(\eta)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $\Phi^*$ into a decoding channel, producing a state on $B$, and an encoding channel.