Approximate simulation of quantum channels

TL;DR

This paper explores a duality in quantum channel optimization problems, providing new proofs, generalizations, and applications to error correction and state discrimination, enhancing understanding of approximate quantum error correction.

Contribution

It offers detailed proofs of a duality theorem, generalizes it under constraints, and applies it to quantum error correction and state discrimination problems.

Findings

Duality simplifies approximate quantum channel optimization.

Near-optimal correction channels can be explicitly constructed.

Any epsilon-correctable channel is close to an exactly correctable one.

Abstract

In Ref. [1], we proved a duality between two optimizations problems. The primary one is, given two quantum channels M and N, to find a quantum channel R such that RN is optimally close to M as measured by the worst-case entanglement fidelity. The dual problem involves the information obtained by the environment through the so-called complementary channels M* and N*, and consists in finding a quantum channel R' such that R'M* is optimally close to N*. It turns out to be easier to find an approximate solution to the dual problem in certain important situations, notably when M is the identity channel---the problem of quantum error correction---yielding a good near-optimal worst-case entanglement fidelity as well as the corresponding near-optimal correcting channel. Here we provide more detailed proofs of these results. In addition, we generalize the main theorem to the case where there are certain constraints on the implementation of R, namely on the number of Kraus operators. We also offer a simple algebraic form for the near-optimal correction channel in the case M=id. For approximate error correction, we show that any epsilon-correctable channel is, up to appending an ancilla, epsilon-close to an exactly correctable one. We also demonstrate an application of our theorem to the problem of minimax state discrimination.