Almost-idempotent quantum channels and approximate CC^*-algebras

May 3, 2024
48 pages
e-Print:

Citations per year

20222023202401
Abstract: (arXiv)
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, Φ2Φcbη\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta, and construct an associated ε\varepsilon-CC^* algebra (of almost-invariant observables) for ε=O(η)\varepsilon=O(\eta). This type of structure has the axioms of a unital CC^* algebra but the associativity and other axioms involving the multiplication and the unit hold up to ε\varepsilon. We prove that any finite-dimensional ε\varepsilon-CC^* algebra AA is O(ε)O(\varepsilon)-isomorphic to some genuine CC^* algebra BB. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When AA comes from a finite-dimensional η\eta-idempotent UCP map Φ\Phi, the O(η)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 BB, and an encoding channel.
Note:
  • New in version 2: tensor extensions of epsilon-C* algebras and approximate factorization of almost idempotent channels. 48 pages, 1 figure