Explicit construction of optimal witnesses for input-output correlations attainable by quantum channels

TL;DR

This paper develops explicit methods to construct optimal witnesses for the classical channels achievable through a quantum channel, using communication games to characterize quantum-to-classical transformations.

Contribution

It introduces a framework for explicitly constructing optimal witnesses for input-output correlations attainable by quantum channels, with closed-form solutions for various classes.

Findings

Closed-form expressions for optimal witness values

Explicit construction of witnesses for different quantum channels

Characterization of classical noisy channels from quantum channels

Abstract

Given a quantum channel -- that is, a completely positive trace-preserving linear map -- as the only communication resource available between two parties, we consider the problem of characterizing the set of classical noisy channels that can be obtained from it by means of suitable classical-quantum encodings and quantum-classical decodings, respectively, on the sender's and the receiver's side. We consider various classes of linear witnesses and compute their optimum values in closed form for several classes of quantum channels. The witnesses that we consider here are formulated as communication games, in which Alice's aim is to exploit a single use of a given quantum channel to help Bob guess some information she has received from an external referee.