I Fully quantum AVC and random codes
We consider a simple, fully quantum model of arbitrarily varying channel (QAVC). Namely, we have three agents, Alice (sender), Bob (receiver) and Jamie (jammer), each controlling a quantum system , and , respectively. The channel is simply a completely positive and trace preserving (cptp) map , and we assume it to be memoryless on blocks of length , i.e. , with (
times), etc. However, crucially, neither Alice’s nor Jamie’s input states need to be tensor product or even separable states. We shall assume throughout that all three Hilbert spaces
, and have finite dimension, , , . The previously introduced AVQC model of Ahlswede and Blinovsky [5], and more generally Ahlswede et al. [4], is obtained by channels that first dephase the input in a fixed basis, so that the choices of the jammer are effectively reduced to basis states of and their convex combinations. Note that this generalises the classical AVC, which is simply a channel with input alphabet and output alphabet, given by transition probabilities
, and such a channel can always be interpreted as a cptp map. This model has been considered in [19, 20], however in those works principally from the point of view that Jamie is helping Alice and Bob, passively, by providing a suitable input state to . Contrary to the classical AVC and the AVQC considered in [5, 4], where the jammer effectively always selects a tensor product channel between Alice and Bob, the fact that we allow general quantum inputs on , including entangled states, permits Jamie to induce non-classical correlations between the different channel systems. These correlations, as was observed in [19, 20], are not only highly nontrivial, but can also have a profound impact on the communication capacity of the channel between Alice and Bob. In the present context, however, Jamie is fundamentally an adversary.Define a (deterministic) classical code for of block length as a collection of states and POVM elements acting on , such that . Its rate is defined as
, the number of bits encoded per channel use. Its error probability is defined as the average over uniformly distributed messages and with respect to a state
on :For the transmission of quantum information, define a (deterministic) quantum code for of block length as a pair of cptp maps and . Its rate is
, the number of qubits encoded per channel use, and the error is quantified, with respect to a state
on , as the “infidelity”with the maximally entangled state . Here, we have introduced the channels defined by fixing the jammer’s state to , .
Note that we use the language of “deterministic” code, although in quantum information this is indistinguishable from stochastic encoders; it is meant to differentiate from “random” codes, which use shared correlation: A random classical [quantum] code for of block length
consists of a random variable
with a well-defined distribution and a family of deterministic codes []. The error probability if , always with respect to a state on , is simply the expectation over , i.e. . The error of the random quantum code is similarly .The operational interpretation of the random code model is that Alice and Bob share knowledge of the random variable , and use accordingly, but that Jamie is ignorant of it. This shared randomness is thus a valuable resource, which for random codes is considered freely available, whose amount, however, we would like to control at the same time.
The capacities associated to these code concepts are defined as usual, as the maximum achievable rate as block length goes to infinity and the error goes to zero:
If in the above error maximisations Jamie is restricted to tensor power states , the QAVC model becomes a compound channel: , . Its classical and quantum capacities are denoted and , respectively.
Ii Random coding capacities:
from QAVC to its compound channel
By definition, (see also [7, 8] and [4])
(1) |
Here, we show that for the random capacity, the rightmost inequalities are identities, by proving bounds in the opposite direction. For the quantum capacity, this was done in [19, Appendix A]. To present the argument, define the permutation operator acting on the tensor power as permuting the subsystems, for a permutation :
which extends uniquely by linearity. This is a unitary representation of the symmetric group, which is defined for any Hilbert space. The quantum channel obtained by the conjugation action of is denoted .
Proposition 1
Let be a quantum code for the compound channel at block length of size and with fidelity , i.e. for all ,
Then, the random quantum code with a uniformly distributed random permutation of , defined by
has infidelity for the QAVC .
Proposition 2
Let be a code of block length for the compound channel with error probability , i.e. for all ,
Then, the random code with a uniformly distributed random permutation of , defined by
has error probability for the QAVC .
Proof.
We only prove Proposition 2, since Proposition 1 has been argued in [19, Appendix A], with analogous proofs. For an arbitrary state on , the error probability of the random code can be written as
(2) |
where in the last line we have exploited the -covariance of the tensor product channel . The crucial feature of the last expression is that it shows that the error probability that the jammer can achieve with is the same as that of the state
This is, by its construction, a permutation-symmetric state, and we can apply the de Finetti reduction from [13]:
with a universal probability measure on the states of , whose detailed structure is given in [13], but which is not going to be important for us.
Indeed, inserting this into the last line of eq. (II), and using complete positivity of , we obtain the upper bound
where in the last step we have used the assumption that for every jammer state of the form , the error probability is bounded by .
Iii Capacity dichotomy:
Elimination of correlation from random codes
For classical AVCs or AVQCs with classical jammer, the observations of Ahlswede [2] show that the random coding capacity can always be attained using at most bits of shared randomness. This is done by i.i.d. sampling the shared random variable , thus approximating, for each channel state , by an empirical mean over realisations of , except with probability exponentially small in . Then, the union bound can be used because the jammer has “only” exponential in many choices. On the face of it, this strategy looks little promising for QAVCs: the jammer’s choices form a continuum, and even if we realise that we can discretise , any net of states is exponentially large in the dimension [6], i.e. doubly exponentially large in , resulting in a naive bound of for the shared randomness required. However, the linearity of the quantum formalism comes to our rescue.
Observation 4
From the point of view of the jammer, the error probability of a classical code is an observable, , with a POVM element depending in a systematic way on the code. Likewise, the infidelity of a quantum code can be written for a POVM element .
Proof.
Indeed, using the Heisenberg picture (adjoint map) ,
so that which is manifestly a POVM element, i.e. .
Likewise, for the infidelity,
with
Obviously, for a random classical code , the expected error probability is
with the POVM elements associated to each code . Likewise for a random quantum code.
For a random classical code , the jammer’s goal is to maximise the error probability, choosing in the worst possible way. But from the present perspective that the error probability is an observable for Jamie, it is clear that
is simply the maximum eigenvalue of
.We say, following general convention, that a random classical or quantum code or has error (without reference to any specific state of the jammer) if
respectively. By the above discussion is equivalent to
(3) |
in the sense of the operator order. This is an extremely useful way of characterising that the random code has a given error.
Our goal now is to select a “small” number of ’s, say , such that
(4) |
ensuring that the random code , with uniformly distributed , has error probability . This is precisely the situation for which the matrix tail bounds in [3] were developed. Indeed, quoting [3, Thm. 19], for i.i.d. ,
with the binary relative entropy , which can be lower bounded by Pinsker’s inequality, . Note that both the logarithm () and the exponential () are understood to base .
Thus, for , the right hand probability bound above is less than , so that there exist with (4). The number of bits needed to be shared between Alice and Bob to achieve this, is , which we may choose to be , which is not zero, but has zero rate as . Exactly the same argument applies to a random quantum code . We record this as a quotable statement.
Proposition 5
Let be a random classical code of block length for the QAVC , with error probability . Then for , there exist , with , such that the random code has error probability .
For a random quantum code , with infidelity , we similarly have that the random code has infidelity .
Remark We have discussed here from the beginning the version of the capacity with average probability of error (and arbitrary encodings). Following Ahlswede [2] and the generalisation of his method above, investing another bits of shared randomness, or loosing bits from the code, we can convert any code with error into one with maximum error . We omit the details of this argument, as it is exactly as in [2].
Proposition 5 allows us to assess the leftmost inequalities in the capacity order from eq. (1). Because the randomness needed is so little, it can be generated by a channel code loosing no rate. Hence, in a certain sense, they are also identities, except in the somewhat singular case the deterministic classical capacity vanishes:
Corollary 6
The classical capacity of a QAVC is either or, if it is positive, it equals the random coding capacity:
Similarly, for the quantum capacity:
Iv Discussion and Outlook
We have shown that in a fully quantum jammer channel model (QAVC), the random coding capacity, for both quantum and classical transmission, can be reduced to the capacity of a corresponding compound channel; furthermore, by extension of the “elimination of correlation” technique, that the shared randomness required has zero rate, thus implying dichotomy theorems for the deterministic classical and quantum capacities. Since the derandamisation leaves so little randomness, we can apply the results also to say something about the identification capacity of QAVCs: Either the ID-capacity vanishes, or it equals the random coding capacity .
Our work leaves two important open questions: First, to give necessary and sufficient conditions for vanishing classical capacity. For classical AVCs this is the co-called “symmetrizability” [17, 14]. But what is the analogue of this condition for quantum channels?
Second, both parts of our reasoning relied on the finite dimensionality of the jammer system . It is not so clear how to deal with infinite dimension of , on the other hand. A priori we have a problem already in Proposition 2, since the de Finetti reduction has an upper bound depending on the dimension . However, one can prove the random coding capacity theorem directly from first principles, without recourse to de Finetti reductions.
Then, we have the problem again in the derandomisation step, which requires bounded to apply the matrix tail bound. We need some kind of quantum net argument to be able to go to a finite dimensional subspace that somehow approximates the relevant features of up to error and block length . Classically, the finiteness of the alphabet of channel states is irrelevant, as long as we have finite sender and receiver alphabets. The reason is that for each block length we can choose a subset of channel states of size polynomial in , corresponding to an -net of channels realised by the jammer, for any fixed . Indeed, for the QAVC with classical jammer, which may be described by a state set , the following statements are easily obtained by standard methods.
Lemma 7
By applying this lemma with , the “telescoping trick” and the triangle inequality to bound for and , we obtain then:
Lemma 8
For every and integer , there exists a subset of cardinality , such that
for any random code . Similar for the infidelity of random quantum codes.
Since we need to entangle both the ’s and the ’s, it seems that the most natural approach is to answer the following question.
Question 9
Let be a cptp map with finite dimensional and , and . Is it possible to find a subspace of dimension bounded by some polynomial in , with the following property?
For every Hilbert space and state on , there exists another state on such that .
Here, and are channels from to , defined by inserting the respective state into the jammer register:
We can reduce this to the more elementary question of approximating the output of the “Choi channel” , with , defined by , mapping each to the Choi state of the channel : Namely, the question is whether for every Hilbert space and state on , does there exist a state on such that
We now show that a positive answer to Question 9, with deviation , could be used to replace the environments of in steps each by a finite dimensional approximation. In this way, we would be able to find, for every state on , another state on , with
(5) |
Proof.
Set ; we shall define a sequence of approximants on (), as follows:
To obtain , we apply Question 9 with (the last of the -systems) to obtain
where the notation indicates application of the channel to the -th system in . Proceeding inductively, assume that we already have constructed a state on , Question 9 applied to (i.e. all the systems and the last of the ’s) gives us a state on such that
Since the diamond norm is contractive under composition with cptp maps, we obtain for all that
and via the triangle inequality we arrive at eq. (5), by letting and recalling .
This would mean that any behaviour that the jammer can effect by choosing states on , can be approximated up to (on block length ) by choices from , analogously to Lemma 8, which actually provides a positive answer to Question 9 in the case of a classical jammer. Since is bounded polynomially in , we could apply now Proposition 5 and incur an additional term of in the shared randomness required, in particular it will still be of zero rate.
A third complex of questions concerns the extension of the present results to other quantum channel capacities. This is easy along the above lines for cases like the entanglement-assisted capacity (cf. [11, 16]), but challenging for others, such as the private capacity [12, 15]. This is interesting because the error criterion (of decodability and privacy) does not seem to correspond to an observable on the jammer system. We leave this and the other open problems for future investigation.
Acknowledgments. HB and CD were supported by the German BMBF through grants 16KIS0118K and 16KIS0117K. JN was supported by the German BMWi and ESF, grant 03EFHSN102. AW was supported by the ERC Advanced Grant IRQUAT, the Spanish MINECO, projects no. FIS2013-
40627-P and FIS2016-86681-P, and the Generalitat de Catalunya, CIRIT project 2014-SGR-966.
References
- [1] D. Aharonov, A. Kitaev and N. Nisan, “Quantum circuits with mixed states”, in: Proc. 30th STOC, pp. 20-30, ACM Press, 1998; arXiv:quant-ph/9806029.
- [2] R. Ahlswede, “Elimination of correlation in random codes for arbitrarily varying channels”, Z. Wahrsch. Verw. Gebiete 44(2):159-175 (1978).
- [3] R. Ahlswede and A. Winter, “Strong Converse for Identification via Quantum Channels”, IEEE Trans. Inf. Theory 48(3):569-579 (2002); arXiv:quant-ph/0012127.
- [4] R. Ahlswede, I. Bjelaković, H. Boche and J. Nötzel, “Quantum Capacity under Adversarial Quantum Noise: Arbitrarily Varying Quantum Channels”, Commun. Math. Phys. 317:103-156 (2013); arXiv[quant-ph]:1010.0418.
- [5] R. Ahlswede and V. Blinovsky, “Classical Capacity of Classical-Quantum Arbitrarily Varying Channels”, IEEE Trans. Inf. Theory 53(2):526-533 (2007).
- [6] G. Aubrun and S. Szarek, Alice and Bob Meet Banach – The Interface of Asymptotic Geometric Analysis and Quantum Information Theory, Amer. Math. Soc. Math. Surveys & Monographs, vol. 223, Providence RI, 2017.
- [7] I. Bjelaković and H. Boche, “Classical capacities of compound and averaged quantum channels”, IEEE Trans. Inf. Theory 55(7):3360-3374 (2009); arXiv[quant-ph]:0710.3027.
- [8] I. Bjelaković, H. Boche and J. Nötzel, “Entanglement Transmission and Generation under Channel Uncertainty: Universal Quantum Channel Coding”, Commun. Math. Phys. 292(1):55-97 (2009). Erratum: Commun. Math. Phys. 317(1):99-102 (2013).
- [9] I. Bjelaković, H. Boche, G. Janßen and J. Nötzel, “Arbitrarily varying and compound classical-quantum channels and a note on quantum zero-error capacities”, in: Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede (H. Aydinian, F. Cicalese, C. Deppe, eds.), LNCS 7777, pp. 247-283, Springer Verlag, Berlin Heidelberg, 2013; arXiv[quant-ph]:1209.6325v2.
- [10] V. Blinovsky and M. Cai, “Classical-Quantum Arbitrarily Varying Wiretap Channel”, Information Theory, Combinatorics, and Search Theory: In Memory of Rudolf Ahlswede (H. Aydinian, F. Cicalese, C. Deppe, eds.), LNCS 7777, pp. 234-246, 2013; arXiv[cs.IT]:1208.1151.
- [11] H. Boche, G. Janßen and S. Kaltenstadler, “Entanglement-assisted classical capacities of compound and arbitrarily varying quantum channels”, arXiv[quant-ph]:1606.09314 (2016).
- [12] N. Cai, A. Winter and R. W. Yeung, “Quantum Privacy and Quantum Wiretap Channels”, Problems Inf. Transm. 40(4):318-336 (2004).
- [13] M. Christandl, R. König and R. Renner, “Postselection Technique for Quantum Channels with Applications to Quantum Cryptography”, Phys. Rev. Lett. 102:020504 (2009); arXiv[quant-ph]:0809.3019.
- [14] I. Csiszár and P. Narayan, “The capacity of the arbitrarily varying channel revisited: positivity, constraints”, IEEE Trans. Inf. Theory 34(2):181-193 (1988).
- [15] I. Devetak, “The private classical information capacity and quantum information capacity of a quantum channel”, IEEE Trans. Inf. Theory 51(1):44-55 (2005); arXiv:quant-ph/0304127.
- [16] R. Duan, S. Severini and A. Winter, “On Zero-Error Communication via Quantum Channels in the Presence of Noiseless Feedback”, IEEE Trans. Inf. Theory 62(9):5260-5277 (2016); arXiv[quant-ph]:1502.02987.
- [17] T. Ericson, “Exponential error bounds for random codes in the arbitrarily varying channel”, IEEE Trans. Inf. Theory 31(1):42-48 (1985).
- [18] P. Hayden, D. Leung, P. W. Shor and A. Winter, “Randomising Quantum States: Constructions and Applications”, Commun. Math. Phys. 250:371-391 (2004); arXiv:quant-ph/0307104.
- [19] S. Karumanchi, S. Mancini, A. Winter and D. Yang, “Quantum Channel Capacities with Passive Environment Assistance” IEEE Trans. Inf. Theory 62(4):1733-1747 (2016); arXiv[quant-ph]:1407.8160v2.
- [20] S. Karumanchi, S. Mancini, A. Winter and D. Yang, “Classical capacities of quantum channels with environment assistance”, Problems Inf. Transm. 52(3):214-238 (2016); arXiv[quant-ph]:1602.02036v2.
- [21] M. Mosonyi, “Coding Theorems for Compound Problems via Quantum Rényi Divergences”, IEEE Trans. Inf. Theory 61(6):2997-3012 (2015); arXiv[quant-ph]:1310.7525.
- [22] J. Watrous, “Semidefinite Programs for Completely Bounded Norms”, Theory of Computing 5(11):217-238 (2009); arXiv[quant-ph]:0901.4709.