Abstract:We initiate the study of zero-error communication via quantum channels when the receiver and sender have at their disposal a noiseless feedback channel of unlimited quantum capacity, generalizing Shannon's zero-error communication theory with instantaneous feedback. We first show that this capacity is a function only of the linear span of Choi-Kraus operators of the channel, which generalizes the bipartite equivocation graph of a classical channel, and which we dub "non-commutative bipartite graph". Then we go on to show that the feedback-assisted capacity is non-zero (with constant activating noiseless communication) if and only if the non-commutative bipartite graph is non-trivial, and give a number of equivalent characterizations. This result involves a far-reaching extension of the "conclusive exclusion" of quantum states [Pusey/Barrett/Rudolph, Nature Phys. 8:475-478]. We then present an upper bound on the feedback-assisted zero-error capacity, motivated by a conjecture originally made by Shannon and proved later by Ahlswede. We demonstrate this bound to have many good properties, including being additive and given by a minimax formula. We also prove that this quantity is the entanglement-assisted capacity against an adversarially chosen channel from the set of all channels with the same Choi-Kraus span, which can also be interpreted as the feedback-assisted unambiguous capacity. The proof relies on a generalization of the "Postselection Lemma" [Christandl/Koenig/Renner, PRL 102:020504] that allows to reflect additional constraints, and which we believe to be of independent interest. We illustrate our ideas with a number of examples, including classical-quantum channels and Weyl diagonal channels, and close with an extensive discussion of open questions.

The adaptive zero-error capacity for a class of channels with noisy feedback

On the Zero-Error Capacity of the Modulo-Additive Noise Channel with Help

Balancing forward and feedback error correction for erasure channels with unreliable feedback

The zero-error capacity of binary channels with 2-memories

On zero-error communication via quantum channels in the presence of noiseless feedback

Bounds for the capacity error function for unidirectional channels with noiseless feedback

Computability of the Zero-Error Capacity of Noisy Channels

On the Zero-Error Capacity of Semantic Channels with Input and Output Memories

The Information Flow and Capacity of Channels with Noisy Feedback

On The Reliability Function of Discrete Memoryless Multiple-Access Channel with Feedback

The Duality Upper Bound for Finite-State Channels with Feedback

Capacity of Noisy Permutation Channels

Achieving near-Capacity on Large Discrete Memoryless Channels

Nonlocality-Assisted Enhancement of Error-Free Communication in Noisy Classical Channels

On the Capacity of Memoryless Channels with Synchronization Errors

On Zero-Error Source Coding with Feedback

Bounds on Covert Capacity in the Sub-Exponential Slotted Asynchronous Regime

Capacity-Maximizing Input Symbol Selection for Discrete Memoryless Channels

Activation of zero-error classical capacity in low-dimensional quantum systems

On Zero-Error Capacity of Graphs with One Edge

The capacity of low-density parity-check codes under message-passing decoding