Entropy Bound for the Classical Capacity of a Quantum Channel Assisted by Classical Feedback

I Introduction

A famous result of Shannon is that a free feedback channel does not increase the capacity of a classical channel for communication [1]. That is, the feedback-assisted capacity is equal to the channel’s mutual information. Shannon’s result indicates that the mutual information formula for capacity is particularly robust, in the sense that, a priori, one might consider a feedback channel to be a strong resource for assisting communication.

With the rise of quantum information theory, several researchers have found variations and generalizations of Shannon’s aforementioned result, in the context of communication over quantum channels. For example, Bowen proved that the capacity of a quantum channel for sending classical messages, when assisted by a free quantum feedback channel, is equal to the channel’s entanglement-assisted capacity [2], which is in turn equal to the mutual information of a quantum channel [3, 4, 5]. This result indicates that the mutual information of a quantum channel is robust, in a sense similar to that mentioned above. The result also indicates that the best strategy, in the limit of many channel uses, is to use the quantum feedback channel once in order to establish sufficient shared entanglement between the sender and receiver, and to subsequently employ an entanglement-assisted communication protocol [3, 4, 5]. Bowen’s result was strengthened to a strong converse statement in [6, 7]. Bowen et al. proved that the capacity of an entanglement-breaking channel for sending classical messages is not increased by a free classical feedback channel [8], and this result was strengthened to a strong converse statement in [9]. Ref. [10] discussed several inequalities relating the classical capacity assisted by classical feedback to other capacities. At the same time, it is known that in general there can be an arbitrarily large gap between the unassisted classical capacity and the classical capacity assisted by classical feedback [11].

Our aim here is to go beyond [8] to establish an upper bound on the classical capacity of an arbitrary, not just entanglement-breaking, quantum channel assisted by a classical feedback channel. Due to the fact that a quantum feedback channel is a stronger resource than a classical feedback channel, an immediate consequence of Bowen’s result [2] is that the entanglement-assisted capacity is an upper bound on the classical capacity assisted by classical feedback. However, since a quantum channel can, in general, establish quantum entanglement [12, 13, 14] and entanglement can increase capacity [3, 4, 5], in such cases it may appear difficult to establish an upper bound on this capacity other than the entanglement-assisted capacity. Our main result is that this is actually possible: we prove here that the maximum output entropy of a quantum channel is an upper bound on its classical capacity assisted by classical feedback. As a generalization of this result, we find that the maximum average output entropy is an upper bound on the same capacity for a channel that is a probabilistic mixture of other channels.

The approach that we take for establishing the aforementioned bounds is similar in spirit to approaches used to bound other assisted capacities or protocols [15, 16, 17, 18]. We identify an information measure that has two key properties: 1) it does not increase under a free operation, which in this case is a one-way local operations and classical communication (1W-LOCC) channel from the receiver to the sender, and 2) a quantum channel from sender to receiver cannot increase the information measure by more than the maximum output entropy of the channel. This information measure can be understood as the sum of two terms, with one corresponding to classical correlation and the other to entanglement.

We organize the rest of the paper as follows. Section II provides a formal definition of a protocol for classical communication over a quantum channel assisted by classical feedback. Section III discusses explicitly how to purify such a protocol, which is an important conceptual step for our analysis. Section IV introduces our key information measure and several important supplementary lemmas regarding it. Section V then employs this information measure and the supplementary lemmas to establish the maximum output entropy bound for classical capacity assisted by classical feedback. We apply this bound to the erasure channel and pure-loss bosonic channel in Section VI. We conclude in Section VII.

Ii Protocol for classical communication over a quantum channel assisted by classical feedback

To begin with, let $n, M \in N$ , let $ε \in [0, 1]$ , and let $E \geq 0$ . Let $N_{A \to B}$ be a quantum channel, and let $H$ be a Hamiltonian acting on the input system $A$ of $N_{A \to B}$ . An $(n, M, H, E, ε)$ protocol for classical communication over a quantum channel $N_{A \to B}$ consists of $n$ uses of the quantum channel $N_{A \to B}$ , along with the assistance of a classical feedback channel from the receiver Bob to the sender Alice, in order for Alice to send one of $M$

messages to Bob such that the error probability is no larger than

ε

. Furthermore, the average state at the input of each channel use should have energy no larger than

E

, when taken with respect to the Hamiltonian

H

In more detail, the protocol consists of an initial classical–quantum state $σ_{F_{0} B_{1}^{'}}$ , with $F_{0}$ classical and $B_{1}^{'}$ quantum, of the form

σ_{F_{0} B_{1}^{'}} = \sum f_{0} p (f_{0}) | f_{0} ⟩ ⟨ f_{0} |_{F_{0}} \otimes σ_{B_{1}^{'}}^{f_{0}} .

(1)

It also involves $n$ encoding channels, with each one denoted by $E_{A_{i - 1}^{'} F_{i - 1} \to A_{i}^{'} A_{i}}^{i}$ for $i \in {1, \dots, n}$ , as well as $n$ decoding channels, with each of them denoted by $D_{B_{i} B_{i}^{'} \to F_{i} B_{i + 1}^{'}}^{i}$ for $i \in {1, \dots, n - 1}$ . Note that all $F$ systems are classical because the feedback channel is constrained to be a classical channel. So this means that each decoding channel is a quantum instrument. The final decoding is denoted by $D_{B_{n} B_{n}^{'} \to^W}^{n}$ .

We now detail the form of such a protocol. It begins with Alice preparing the following classical–quantum state:

ρ_{W A_{0}^{'}} \equiv \frac{1}{M} M \sum m = 1 | m ⟩ ⟨ m |_{W} \otimes ρ_{A_{0}^{'}}^{m},

(2)

for some set ${ρ_{A_{0}^{'}}^{m}}_{m}$ of quantum states. The global initial state is then $ρ_{W A_{0}^{'}} \otimes σ_{F_{0} B_{1}^{'}}$ . Alice then performs the encoding channel $E_{A_{0}^{'} F_{0} \to A_{1}^{'} A_{1}}^{1}$ and the state becomes as follows:

ω_{W A_{1}^{'} A_{1} B_{1}^{'}}^{(1)} \equiv E_{A_{0}^{'} F_{0} \to A_{1}^{'} A_{1}}^{1} (ρ_{W A_{0}^{'}} \otimes σ_{F_{0} B_{1}^{'}}) .

(3)

Alice transmits the $A_{1}$ system through the first use of the channel $N_{A_{1} \to B_{1}}$ , resulting in the following state:

ρ_{W A_{1}^{'} B_{1} B_{1}^{'}}^{(1)} \equiv N_{A_{1} \to B_{1}} (ω_{W A_{1}^{'} A_{1} B_{1}^{'}}^{(1)}) .

(4)

Bob processes his systems $B_{1} B_{1}^{'}$ with the decoding channel $D_{B_{1} B_{1}^{'} \to F_{1} B_{2}^{'}}^{1}$ and Alice acts with the encoding channel $E_{A_{1}^{'} F_{1} \to A_{2}^{'} A_{2}}^{2}$ , resulting in the state

ω_{W A_{2}^{'} A_{2} B_{2}^{'}}^{(2)} \equiv (E_{A_{1}^{'} F_{1} \to A_{2}^{'} A_{2}}^{2} \circ D_{B_{1} B_{1}^{'} \to F_{1} B_{2}^{'}}^{1}) (ρ_{W A_{1}^{'} B_{1} B_{1}^{'}}^{(1)}) .

(5)

This process iterates $n - 2$ more times, resulting in the following states:

ρ_{W A_{i}^{'} B_{i} B_{i}^{'}}^{(i)} \equiv N_{A_{i} \to B_{i}} (ω_{W A_{i}^{'} A_{i} B_{i}^{'}}^{(i)}),

(6)

ω_{W A_{i + 1}^{'} A_{i + 1} B_{i + 1}^{'}}^{(i + 1)} \equiv (E_{A_{i}^{'} F_{i} \to A_{i + 1}^{'} A_{i + 1}}^{i + 1} \circ D_{B_{i} B_{i}^{'} \to F_{i} B_{i + 1}^{'}}^{i}) (ρ_{W A_{i}^{'} B_{i} B_{i}^{'}}^{(i)}),

(7)

for $i \in {2, \dots, n - 1}$ . The final decoding (measurement) channel $D_{B_{n} B_{n}^{'} \to^W}^{n}$ results in the following state:

ρ_{W^W} \equiv ({Tr}_{A_{n}^{'}} \circ D_{B_{n} B_{n}^{'} \to^W}^{n}) (ρ_{W A_{n}^{'} B_{n} B_{n}^{'}}^{(n)}) .

(8)

Figure 1 depicts the above protocol for $n = 3$ .

Fig. 1: A protocol for classical communication over three uses of a quantum channel $N_{A \to B}$ , when assisted by a classical feedback channel.

For an $(n, M, H, E, ε)$ protocol, the following is satisfied

\frac{1}{2} {∥ ∥ {¯ ¯¯ ¯ Φ}_{W^W} - ρ_{W^W} ∥ ∥}_{1} \leq ε,

(9)

where ${¯ ¯¯ ¯ Φ}_{W^W} \equiv \frac{1}{M} \sum_{m = 1}^{M} | m ⟩ ⟨ m |_{W} \otimes | m ⟩ ⟨ m |_{^W}$ is the maximally classically correlated state. Note that $12∥∥¯¯¯¯ΦW^W−ρW^W∥∥1=Pr{^W≠W}$ , where $W$

here denotes the uniform random variable corresponding to the message choice and

^W

denotes the random variable corresponding to the classical value in the register

^W

of the state

ρ_{W^W}

. Furthermore, the following energy constraint applies as well:

Tr {H {¯ ¯ ¯ ω}_{A}} \leq E, {¯ ¯ ¯ ω}_{A} \equiv \frac{1}{n} n \sum i = 1 ω_{A_{i}}^{(i)},

(10)

which limits the energy of the average input state.

Iii Purified protocol

Our goal is to bound the rate of such a protocol. With this in mind, we can devise a protocol that simulates the above one. It consists of purifying each step of the above protocol and Bob keeping a copy of the classical feedback, such that at each time step, conditioned on the value of the message in $W$ and the feedback in the existing systems labeled by $F$ , the state is pure. To be clear, we go through the steps of the purified protocol. In order to simplify notation, we let $^A$ be a joint system throughout, referring to both the original $A^{'}$ system as well as a purifying system, and we take the same convention for $^B$ . The initial state of Alice is as follows:

ρ_{W {^A}_{0}} \equiv \frac{1}{M} M \sum m = 1 | m ⟩ ⟨ m |_{W} \otimes ψ_{{^A}_{0}}^{m},

(11)

where $ψ_{{^A}_{0}}^{m}$ is a purification of $ρ_{A_{0}^{'}}^{m}$ , such that tracing over a subsystem of $ψ_{{^A}_{0}}^{m}$ gives $ρ_{A_{0}^{'}}^{m}$ . The initial state of Bob is as follows:

σ_{F_{0} F_{0}^{'} {^B}_{1}} \equiv \sum f_{0} p (f_{0}) | f_{0} ⟩ ⟨ f_{0} |_{F_{0}} \otimes | f_{0} ⟩ ⟨ f_{0} |_{F_{0}^{'}} \otimes φ_{{^B}_{1}}^{f_{0}},

(12)

where $φ_{{^B}_{1}}^{f_{0}}$ is a purification of $σ_{B_{1}^{'}}^{f_{0}}$ , such that tracing over a subsystem of $φ_{{^B}_{1}}^{f_{0}}$ gives $σ_{B_{1}^{'}}^{f_{0}}$ , and he keeps an extra copy $F_{0}^{'}$ of the classical data. Let $U_{{^A}_{i - 1} F_{i - 1} \to {^A}_{i} A_{i}}^{i}$ denote an isometric channel extending the encoding channel $E_{A_{i - 1}^{'} F_{i - 1} \to A_{i}^{'} A_{i}}^{i}$ , for $i \in {1, \dots, n}$ . Since the system $F_{i}$ is classical, for $i \in {1, \dots, n - 1}$ , the decoding channel $D_{B_{i} B_{i}^{'} \to F_{i} B_{i + 1}^{'}}^{i}$ can be written explicitly as

D_{B_{i} B_{i}^{'} \to F_{i} B_{i + 1}^{'}}^{i} = \sum f_{i} D_{B_{i} B_{i}^{'} \to B_{i + 1}^{'}}^{i, f_{i}} \otimes | f_{i} ⟩ ⟨ f_{i} |_{F_{i}},

(13)

such that ${D_{B_{i} B_{i}^{'} \to B_{i + 1}^{'}}^{i, f_{i}}}_{f_{i}}$ is a collection of completely positive maps such that the sum map $\sum_{f_{i}} D_{B_{i} B_{i}^{'} \to B_{i + 1}^{'}}^{i, f_{i}}$ is trace preserving. Let $V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}}$ be a linear map such that tracing over a subsystem of $V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}} (\cdot) [V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}}]^{†}$ gives the original map $D_{B_{i} B_{i}^{'} \to B_{i + 1}^{'}}^{i, f_{i}}$ , and define the map

V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}} (τ_{B_{i} {^B}_{i}}) \equiv V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}} τ_{B_{i} {^B}_{i}} [V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}}]^{†} .

Then we define the enlarged decoding channel $V_{B_{i} {^B}_{i} \to F_{i} {^B}_{i + 1} F_{i}^{'}}^{i}$ as

V_{B_{i} {^B}_{i} \to F_{i} {^B}_{i + 1} F_{i}^{'}}^{i} \equiv \sum f_{i} V_{B_{i} {^B}_{i} \to {^B}_{i + 1}}^{i, f_{i}} \otimes | f_{i} ⟩ ⟨ f_{i} |_{F_{i}} \otimes | f_{i} ⟩ ⟨ f_{i} |_{F_{i}^{'}} .

Note that this enlarged decoding channel keeps an extra copy of the classical feedback value for Bob in the register $F_{i}^{'}$ . The final decoding channel in the original protocol is equivalent to a measurement channel, and thus can be written as

DnBnB′n→^W(τBnB′n)=∑wTr{ΛwBnB′nτBnB′n}|w⟩⟨w|^W,

where ${Λ_{B_{n} B_{n}^{'}}^{w}}_{w}$ is a POVM. We enlarge it as follows in the simulation protocol:

V_{B_{n} {^B}_{n} \to {^B}_{n + 1}^W}^{n} (τ_{B_{n} {^B}_{n}}) = \sum w \sqrt{Λ_{B_{n} B_{n}^{'}}^{w}} τ_{B_{n} {^B}_{n}} \sqrt{Λ_{B_{n} B_{n}^{'}}^{w}} \otimes | w ⟩ ⟨ w |_{^W},

(14)

where the meaning of the notation is that the map $\sqrt{Λ_{B_{n} B_{n}^{'}}^{w}} (\cdot) \sqrt{Λ_{B_{n} B_{n}^{'}}^{w}}$ acts nontrivially on the subsystems $B_{n} B_{n}^{'}$ in the original protocol and trivially on all other $B$ subsystems, while mapping all $B$ systems to a system ${^B}_{n + 1}$ large enough to accommodate all of them. In the simulation protocol, we also consider an isometric channel $U_{A \to B E}^{N}$ that simulates the original channel $N_{A \to B}$ as follows: $N_{A \to B} = {Tr}_{E} \circ U_{A \to B E}^{N}$ .

Thus, the various states involved in the purified protocol are as follows. The global initial state is $ρ_{W {^A}_{0}} \otimes σ_{F_{0} F_{0}^{'} {^B}_{1}}$ . Alice performs the enlarged encoding channel $U_{{^A}_{0} F_{0} \to {^A}_{1} A_{1}}^{1}$ and the state becomes as follows:

ω_{W {^A}_{1} A_{1} {^B}_{1} F_{0}^{'}}^{(1)} \equiv U_{{^A}_{0} F_{0} \to {^A}_{1} A_{1}}^{1} (ρ_{W {^A}_{0}} \otimes σ_{F_{0} F_{0}^{'} {^B}_{1}}) .

(15)

Alice transmits the $A_{1}$ system through the first use of the extended channel $U_{A_{1} \to B_{1} E_{1}}^{N}$ , resulting in the following state:

ρ_{W {^A}_{1} B_{1} {^B}_{1} E_{1} F_{0}^{'}}^{(1)} = U_{A_{1} \to B_{1} E_{1}}^{N} (ω_{W {^A}_{1} A_{1} {^B}_{1} F_{0}^{'}}^{(1)}) .

(16)

Bob processes his systems $B_{1} {^B}_{1}$ with the enlarged decoding channel $V_{B_{1} {^B}_{1} \to F_{1} F_{1}^{'} {^B}_{2}}^{1}$ and Alice acts with the enlarged encoding channel $U_{{^A}_{1} F_{1} \to {^A}_{2} A_{2}}^{2}$ , resulting in the state $ω_{W {^A}_{2} A_{2} {^B}_{2} E_{1} F_{0}^{'} F_{1}^{'}}^{(2)} \equiv (U_{{^A}_{1} F_{1} \to {^A}_{2} A_{2}}^{2} \circ V_{B_{1} {^B}_{1} \to F_{1} F_{1}^{'} {^B}_{2}}^{1}) (ρ_{W {^A}_{1} B_{1} {^B}_{1} E_{1} F_{0}^{'}}^{(1)})$ . This process iterates $n - 2$ more times, resulting in the following states:

ρ_{W {^A}_{i} B_{i} {^B}_{i} E_{1}^{i} [F_{0}^{i - 1}]^{'}}^{(i)} \equiv U_{A_{i} \to B_{i} E_{i}}^{N} (ω_{W {^A}_{i} A_{i} {^B}_{i} E_{1}^{i - 1} [F_{0}^{i - 1}]^{'}}^{(i)}),

ω_{W {^A}_{i + 1} A_{i + 1} {^B}_{i + 1} E_{1}^{i} [F_{0}^{i}]^{'}}^{(i + 1)} \equiv (U_{{^A}_{i} F_{i} \to {^A}_{i + 1} A_{i + 1}}^{i + 1} \circ V_{B_{i} {^B}_{i} \to F_{i} F_{i}^{'} {^B}_{i + 1}}^{i}) (ρ_{W {^A}_{i} B_{i} {^B}_{i} E_{1}^{i} [F_{0}^{i - 1}]^{'}}^{(i)}),

(17)

for $i \in {2, \dots, n - 1}$ . The final enlarged decoding channel $V_{B_{n} {^B}_{n} \to {^B}_{n + 1}^W}^{n}$ results in the following state: $ρ_{W {^A}_{n} {^B}_{n + 1}^W E_{1}^{n} [F_{0}^{n - 1}]^{'}} \equiv V_{B_{n} {^B}_{n} \to {^B}_{n + 1}^W}^{n} (ρ_{W {^A}_{n} B_{n} {^B}_{n} E_{1}^{n} [F_{0}^{n - 1}]^{'}}^{(n)})$ . Note that we recover each state of the original protocol from Section II by performing particular partial traces.

Iv Information measure for analysis of protocol

The key information measure that we use to analyze this protocol is as follows:

I (W; C F)_{τ} + S (C | W F)_{τ},

(18)

where $τ_{W F C}$ is a classical–quantum state of the form

τ_{W F C} = \sum w, f p (w, f) | w ⟩ ⟨ w |_{W} \otimes | f ⟩ ⟨ f |_{F} \otimes τ_{C}^{w, f} .

(19)

The first term in (18) represents the classical correlation between system $W$ and systems $C F$ , while the second term represents the average entanglement between the system $C$ of the state $τ_{C}^{w, f}$ and a purifying reference system.

We now establish some properties of the information measure in (18). Let us first recall the following lemma from [19]:

Lemma 1

Let $ϕ_{A B}$ be a pure bipartite state, and let ${p (x), φ_{A^{'} B^{'}}^{x}}$ be an ensemble of pure bipartite states obtained from $ϕ_{A B}$ by means of a 1W-LOCC channel of the form

\sum x U_{A \to A^{'}}^{x} \otimes V_{B \to B^{'}}^{x} \otimes | x ⟩ ⟨ x |_{X},

(20)

where ${V_{B \to B^{'}}^{x}}_{x}$ is a collection of completely positive trace non-increasing maps with $V_{B \to B^{'}}^{x} (\cdot) = V_{B \to B^{'}}^{x} (\cdot) [V_{B \to B^{'}}^{x}]^{†}$ and ${U_{A \to A^{'}}^{x}}_{x}$ is a collection of isometric channels, so that

	$φ_{A^{'} B^{'}}^{x}$	$\equiv \frac{1}{p (x)} (U_{A \to A^{'}}^{x} \otimes V_{B \to B^{'}}^{x}) (ϕ_{A B}),$		(21)
	$p (x)$	$\equiv Tr {(U_{A \to A^{'}}^{x} \otimes V_{B \to B^{'}}^{x}) (ϕ_{A B})} .$		(22)

Then the following inequality holds $S (B)_{ϕ} \geq S (B^{'} | X)_{τ},$ for $τ_{X A^{'} B^{'}} \equiv \sum_{x} p (x) | x ⟩ ⟨ x |_{X} \otimes φ_{A^{'} B^{'}}^{x}$ .

The above lemma leads to the following one, which is the statement that the quantity in (18) is monotone with respect to 1W-LOCC channels:

Lemma 2

Let $τ_{W F A B}$ be a classical–quantum state, with classical systems $W F$ and quantum systems $A B$ pure when conditioned on $W F$ , and let $M_{A B \to A^{'} B^{'} X}$ be a 1W-LOCC channel of the form in (20). Then the following holds

I (W; B F)_{τ} + S (B | W F)_{τ} \geq I (W; B^{'} F X)_{θ} + S (B^{'} | W F X)_{θ},

where $θ_{W F A^{'} B^{'} X} \equiv M_{A B \to A^{'} B^{'} X} (τ_{W F A B})$ .

Proof. The inequality $I (W; B F)_{τ} \geq I (W; B^{'} F X)_{θ}$ holds from data processing. In more detail, consider that $θ_{W F B^{'} X}$ is equal to

	$= {Tr}_{A^{'}} {\sum x (U_{A \to A^{'}}^{x} \otimes V_{B \to B^{'}}^{x}) (τ_{W F A B}) \otimes \| x ⟩ ⟨ x \|_{X}}$
	$= \sum x V_{B \to B^{'}}^{x} (τ_{W F B}) \otimes \| x ⟩ ⟨ x \|_{X},$		(23)

where the last equality follows because each map $U_{A \to A^{'}}^{x}$ is trace preserving. So the state $θ_{W F B^{'} X}$ can be understood as arising from the action of the quantum instrument $\sum_{x} V_{B \to B^{'}}^{x} \otimes | x ⟩ ⟨ x |_{X}$ on the state $τ_{W F B}$ , and since this is a channel from $B$ to $B^{'} X$ , the data processing inequality applies so that $I (W; B F)_{τ} \geq I (W; B^{'} F X)_{θ}$ . The inequality $S (B | W F)_{τ} \geq S (B^{'} | W F X)_{θ}$ follows from an application of Lemma 1, by conditioning on the classical systems $W F$ .

The following lemma places an entropic upper bound on the amount by which the quantity in (18) can increase by the action of a channel $N_{A \to B}$ :

Lemma 3

Let $τ_{W F A B^{'}}$ be a classical–quantum state of the following form:

τ_{W F A B^{'}} = \sum w, f p (w, f) | w ⟩ ⟨ w |_{W} \otimes | f ⟩ ⟨ f |_{F} \otimes τ_{A B^{'}}^{w, f} .

(24)

Then

I (W; B B^{'} F)_{ω} + S (B B^{'} | W F)_{ω} - [I (W; B^{'} F)_{τ} + S (B^{'} | W F)_{τ}] \leq S (B)_{ω},

(25)

where $ω_{W F B B^{'}} \equiv N_{A \to B} (τ_{W F A B^{'}})$ .

Proof. Consider that

	$I (W; B B^{'} F)_{ω} + S (B B^{'} \| W F)_{ω}$
	$- [I (W; B^{'} F)_{τ} + S (B^{'} \| W F)_{τ}]$
	$= I (W; B B^{'} F)_{ω} + S (B B^{'} \| W F)_{ω}$
	$- [I (W; B^{'} F)_{ω} + S (B^{'} \| W F)_{ω}]$		(26)
	$= I (W; B \| B^{'} F)_{ω} + S (B \| B^{'} W F)_{ω}$		(27)
	$= S (B \| B^{'} F)_{ω} - S (B \| B^{'} W F)_{ω} + S (B \| B^{'} W F)_{ω}$		(28)
	$= S (B \| B^{'} F)_{ω} \leq S (B)_{ω} .$		(29)

All inequalities follow from definitions and applying chain rules for mutual information and entropy. The final inequality follows because conditioning does not increase entropy.

V Maximum output entropy bound

Now that we have identified a quantity that does not increase under 1W-LOCC from Bob to Alice and cannot increase by more than the output entropy of a channel under its action, we can use these properties to establish the following upper bound on the rate of a feedback-assisted communication protocol:

Theorem 4

For an $(n, M, H, E, ε)$ protocol for classical communication over a quantum channel $N_{A \to B}$ assisted by classical feedback, of the form described in Section II, the following bound applies

(1 - ε) {log}_{2} M \leq n \cdot sup ρ : Tr {H ρ} \leq E S (N (ρ)) + h_{2} (ε) .

(30)

Proof. Let us consider the purified simulation of a given $(n, M, H, E, ε)$ protocol, as given in Section III. We start with

	${log}_{2} M$	$= I (W;^W)_{¯ ¯ ¯ Φ}$		(31)
		$\leq I (W;^W)_{ρ} + ε {log}_{2} M + h_{2} (ε),$		(32)

where we have applied the condition in (9) and standard entropy inequalities. Continuing, we find that

	$I (W;^W)_{ρ}$
	$\leq I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$		(33)
	$= I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$		(34)
	$= I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$
	$+ n \sum i = 2 I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}] .$

The first inequality follows from data processing and non-negativity of entropy. The first equality follows because $I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S ({^B}_{0} | F_{0}^{'} W)_{ω^{(1)}} = 0$ for the initial state $ω_{W {^A}_{1} A_{1} {^B}_{1} F_{0}^{'}}^{(1)}$ (there is no classical correlation between $W$ and ${^B}_{1} F_{0}^{'}$ , and the state on system ${^B}_{0}$ is pure when conditioned on $F_{0}^{'} W$ ). The last equality follows by adding and subtracting the same term. Continuing, we find that the quantity in the last line above is bounded as

	$\leq I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$
	$+ n \sum i = 2 I (W; B_{i - 1} {^B}_{i - 1} [F_{0}^{i - 2}]^{'})_{ρ^{(i - 1)}}$
	$+ S (B_{i - 1} {^B}_{i - 1} \| [F_{0}^{i - 2}]^{'} W)_{ρ^{(i - 1)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}]$
	$= n \sum i = 1 I (W; B_{i} {^B}_{i} [F_{0}^{i - 1}]^{'})_{ρ^{(i)}} + S (B_{i} {^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ρ^{(i)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}]$		(35)
	$\leq n \sum i = 1 S (B_{i})_{ρ^{(i)}} \leq n S (B)_{N (¯ ¯ ¯ ω)} \leq n sup ρ : Tr {H ρ} \leq E S (N (ρ)) .$		(36)

The first inequality follows from Lemma 2. The first equality follows by collecting terms. The second inequality follows from Lemma 3. The third inequality follows from concavity of entropy and the definition of ${¯ ¯ ¯ ω}_{A}$ in (10). The final inequality follows from the energy constraint in (10), and by optimizing over all input states that satisfy this energy constraint. By combining (31)–(32) and (33)–(36), we arrive at (30).

In Appendix A, we show how to extend this result to the maximum average output entropy:

Theorem 5

Let $N_{A \to B} = \sum_{x} p_{X} (x) N_{A \to B}^{x}$ , where $p_{X}$

is a probability distribution and

{N_{A \to B}^{x}}_{x}

is a set of channels. For an

(n, M, H, E, ε)

protocol for classical communication over the channel

N_{A \to B}

assisted by classical feedback, of the form described in Section II, the following bound applies

(1 - ε) {log}_{2} M \leq n \cdot sup ρ : Tr {H ρ} \leq E \sum x p_{X} (x) S (N^{x} (ρ)) + h_{2} (ε) .

Vi Examples

From the upper bound in Theorem 4, we conclude that the feedback-assisted capacity of a noiseless qudit channel of dimension $d$ is log $_{2} d$ .

Furthermore, consider a pure-loss bosonic channel [20] with transmissivity $η \in [0, 1]$ . Taking the Hamiltonian as the photon number operator and energy constraint $N_{S} \geq 0$ , it is known from [20] that this channel’s energy constrained classical capacity and maximum output entropy are equal to $g (η N_{S})$ , where $g (x) \equiv (x + 1) {log}_{2} (x + 1) - x {log}_{2} x$ . Applying these results and Theorem 4, we conclude that classical feedback does not increase the energy-constrained classical capacity of the pure-loss bosonic channel.

A quantum erasure channel is defined as $ρ \to (1 - p) ρ + p | e ⟩ ⟨ e |$ for $p \in [0, 1]$ , where $ρ$ is the state of a $d$ -dimensional input system and $| e ⟩ ⟨ e |$ is an erasure state orthogonal to all inputs. Applying Theorem 5, we conclude that the classical capacity of the erasure channel assisted by classical feedback is equal to $(1 - p) {log}_{2} d$ , so that classical feedback does not increase the classical capacity of the erasure channel.

Vii Conclusion

Our main result is that the maximum average output entropy of a quantum channel is an upper bound on its classical capacity assisted by classical feedback. Note that the bound is a weak converse bound. Going forward from here, it would be good to find strong converse and tighter bounds on the classical capacity assisted by classical feedback.

Acknowledgements. We acknowledge discussions with Xin Wang, Patrick Hayden, and Tsachy Weissman. DD is supported by a National Defense Science and Engineering Graduate Fellowship. YQ is supported by a Stanford Graduate Fellowship and a National University of Singapore Overseas Graduate Scholarship. PWS is supported by the NSF under Grant No. CCF-1525130 and through the NSF Science and Technology Center for Science of Information under Grant No. CCF0-939370. MMW acknowledges NSF grant no. 1350397. DD would like to thank God for all His provisions.

References

[1] C. Shannon, “The zero error capacity of a noisy channel,” IRE Transactions on Information Theory, vol. 2, no. 3, pp. 8–19, September 1956.
[2] G. Bowen, “Quantum feedback channels,” IEEE Transactions on Information Theory, vol. 50, no. 10, pp. 2429–2434, October 2004.
[3] C. H. Bennett, P. W. Shor, J. A. Smolin, and A. V. Thapliyal, “Entanglement-assisted classical capacity of noisy quantum channels,” Physical Review Letters, vol. 83, no. 15, pp. 3081–3084, October 1999.

	$I (W; B B^{'} F)_{ω} + S (B B^{'} \| W F)_{ω}$
	$- [I (W; B^{'} F)_{τ} + S (B^{'} \| W F)_{τ}]$
	$= I (W; B B^{'} F)_{ω} + S (B B^{'} \| W F)_{ω}$
	$- [I (W; B^{'} F)_{ω} + S (B^{'} \| W F)_{ω}]$		(26)
	$= I (W; B \| B^{'} F)_{ω} + S (B \| B^{'} W F)_{ω}$		(27)
	$= S (B \| B^{'} F)_{ω} - S (B \| B^{'} W F)_{ω} + S (B \| B^{'} W F)_{ω}$		(28)
	$= S (B \| B^{'} F)_{ω} \leq S (B)_{ω} .$		(29)

	$I (W;^W)_{ρ}$
	$\leq I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$		(33)
	$= I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$		(34)
	$= I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$
	$+ n \sum i = 2 I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}] .$

	$\leq I (W; B_{n} {^B}_{n} [F_{0}^{n - 1}]^{'})_{ρ^{(n)}} + S (B_{n} {^B}_{n} \| [F_{0}^{n - 1}]^{'} W)_{ρ^{(n)}}$
	$- [I (W; {^B}_{1} F_{0}^{'})_{ω^{(1)}} + S (^B_{0} \| F_{0}^{'} W)_{ω^{(1)}}]$
	$+ n \sum i = 2 I (W; B_{i - 1} {^B}_{i - 1} [F_{0}^{i - 2}]^{'})_{ρ^{(i - 1)}}$
	$+ S (B_{i - 1} {^B}_{i - 1} \| [F_{0}^{i - 2}]^{'} W)_{ρ^{(i - 1)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}]$
	$= n \sum i = 1 I (W; B_{i} {^B}_{i} [F_{0}^{i - 1}]^{'})_{ρ^{(i)}} + S (B_{i} {^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ρ^{(i)}}$
	$- [I (W; {^B}_{i} [F_{0}^{i - 1}]^{'})_{ω^{(i)}} + S ({^B}_{i} \| [F_{0}^{i - 1}]^{'} W)_{ω^{(i)}}]$		(35)
	$\leq n \sum i = 1 S (B_{i})_{ρ^{(i)}} \leq n S (B)_{N (¯ ¯ ¯ ω)} \leq n sup ρ : Tr {H ρ} \leq E S (N (ρ)) .$		(36)

Entropy Bound for the Classical Capacity of a Quantum Channel Assisted by Classical Feedback

Authors

New lower bounds to the output entropy of multi-mode quantum Gaussian channels

A Blahut-Arimoto Type Algorithm for Computing Classical-Quantum Channel Capacity

Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games

Well defined quantum key distribution using calibration, synchronization, and a programmable quantum channel

Quantum information theory and Fourier multipliers on quantum groups

Quantum Shockwave Communication

On entanglement assistance to a noiseless classical channel

I Introduction

Ii Protocol for classical communication over a quantum channel assisted by classical feedback

Iii Purified protocol

Iv Information measure for analysis of protocol

Lemma 1

Lemma 2

Lemma 3

V Maximum output entropy bound

Theorem 4

Theorem 5

Vi Examples

Vii Conclusion

References

Entropy Bound for the Classical Capacity of a Quantum Channel Assisted by Classical Feedback

Authors

Related Research

New lower bounds to the output entropy of multi-mode quantum Gaussian channels

A Blahut-Arimoto Type Algorithm for Computing Classical-Quantum Channel Capacity

Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games

Well defined quantum key distribution using calibration, synchronization, and a programmable quantum channel

Quantum information theory and Fourier multipliers on quantum groups

Quantum Shockwave Communication

On entanglement assistance to a noiseless classical channel

This week in AI

I Introduction

Ii Protocol for classical communication over a quantum channel assisted by classical feedback

Iii Purified protocol

Iv Information measure for analysis of protocol

Lemma 1

Lemma 2

Lemma 3

V Maximum output entropy bound

Theorem 4

Theorem 5

Vi Examples

Vii Conclusion

References