In this paper, we develop the first method for finding strong converse bounds in quantum network information theory. The general scheme relies on a recently obtained result in the field of non-commutative functional inequalities, namely the tensorization property of quantum reverse hypercontractivity for the quantum depolarizing semigroup. We develop a novel technique to employ this result to find both finite blocklength and exponential strong converse bounds for the tasks of quantum source coding with compressed classical side information, and distributed quantum hypothesis testing with communication constraints for a classical-quantum state. In the classical setting, these two problems can be reformulated in a unified framework in terms of the so-called image-size characterization problem, which we extend to the classical-quantum setting. We also use this technique to establish analogous strong converse bounds in broadcast communication scenarios. In particular, we consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. In establishing this last result, we prove a second-order Fano-type inequality, which is of independent interest. Our method to study strong converses has potential applications in other important tasks of quantum network information theory.
In this paper, we develop the first method for finding strong converse bounds in quantum network information theory. The general scheme relies on a recently obtained result in the field of non-commutative functional inequalities, namely the tensorization property of quantum reverse hypercontractivity for the quantum depolarizing semigroup. We develop a novel technique to employ this result to find both finite blocklength and exponential strong converse bounds for the tasks of quantum source coding with compressed classical side information, and distributed quantum hypothesis testing with communication constraints for a classical-quantum state. In the classical setting, these two problems can be reformulated in a unified framework in terms of the so-called image-size characterization problem, which we extend to the classical-quantum setting. We also use this technique to establish analogous strong converse bounds in broadcast communication scenarios. In particular, we consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. In establishing this last result, we prove a second-order Fano-type inequality, which is of independent interest. Our method to study strong converses has potential applications in other important tasks of quantum network information theory.
We develop the first method for finding strong converse bounds in quantum network information theory. The general scheme relies on a recently obtained result in the field of non-commutative functional inequalities, namely the tensorization property of quantum reverse hypercontractivity for the quantum depolarizing semigroup, and properties of the projectively measured Rényi relative entropies. We develop a novel technique to employ this result to find both finite blocklength and exponential strong converse bounds for the tasks of distributed quantum hypothesis testing with communication constraints for a classical-quantum state, quantum source coding with compressed classical side information, and classical-quantum degraded broadcast channel coding. A full version of this paper is accessible at: arXiv:1905.00873 and arXiv:1905.00874.
We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the Stein exponent for this problem is given by a regularized quantum relative entropy. The latter reduces to a single letter formula when the alternative hypothesis consists of the products of the marginals of the null hypothesis, and there is no rate constraint imposed on Bob. Our proof relies on certain properties of the so-called quantum information bottleneck function. The second part of this paper concerns the general problem of finding finite blocklength strong converse bounds in quantum network information theory. In the classical case, the analogue of this problem has been reformulated in terms of the so-called image size characterization problem. Here, we extend this problem to the classical-quantum setting and prove a second order strong converse bound for it. As a by-product, we obtain a similar bound for the Stein exponent for distributed hypothesis testing in the special case in which the bipartite system is a classical-quantum system, as well as for the task of quantum source coding with compressed classical side information. Our proofs use a recently developed tool from quantum functional inequalities, namely, the tensorization property of reverse hypercontractivity for the quantum depolarizing semigroup.
We consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. Yard et al. proved that the capacity region of such a channel is contained in a region characterized by certain entropic quantities. We prove that this region satisfies the strong converse property, that is, the maximal probability of error incurred in transmitting information at rates lying outside this region converges to one exponentially in the number of uses of the channel. In establishing this result, we prove a second-order Fano-type inequality, which might be of independent interest. A powerful analytical tool which we employ in our proofs is the tensorization property of the quantum reverse hypercontractivity for the quantum depolarizing semigroup.
An important part of the information theory folklore had been about the output statistics of codes that achieve the capacity and how the empirical distributions compare to the output distributions induced by the optimal input in the channel capacity problem. Results for a variety of such empirical output distributions of good codes have been known in the literature, such as the comparison of the output distribution of the code to the optimal output distribution in vanishing and non-vanishing error probability cases. Motivated by these, we aim to achieve similar results for the quantum codes that are used for classical communication, that is the setting in which the classical messages are communicated through quantum codewords that pass through a noisy quantum channel. We first show the uniqueness of the optimal output distribution, to be able to talk more concretely about the optimal output distribution. Then, we extend the vanishing error probability results to the quantum case, by using techniques that are close in spirit to the classical case. We also extend non-vanishing error probability results to the quantum case on block codes, by using the second-order converses for such codes based on hypercontractivity results for the quantum generalized depolarizing semi-groups.
We use a Rényi entropy method to prove strong converse theorems for certain information-theoretic tasks which involve local operations and quantum (or classical) communication between two parties. These include state redistribution, coherent state merging, quantum state splitting, measurement compression with quantum side information, randomness extraction against quantum side information, and data compression with quantum side information. The method we employ in proving these results extends ideas developed by Sharma [preprint arXiv:1404.5940 [quant-ph] (2014)], which he used to give a new proof of the strong converse theorem for state merging. For state redistribution, we prove the strong converse property for the boundary of the entire achievable rate region in the (e, q)-plane, where e and q denote the entanglement cost and quantum communication cost, respectively. In the case of measurement compression with quantum side information, we prove a strong converse theorem for the classical communication cost, which is a new result extending the previously known weak converse. For the remaining tasks, we provide new proofs for strong converse theorems previously established using smooth entropies. For each task, we obtain the strong converse theorem from explicit bounds on the figure of merit of the task in terms of a Rényi generalization of the optimal rate. Hence, we identify candidates for the strong converse exponents for each task discussed in this paper. To prove our results, we establish various new entropic inequalities, which might be of independent interest. These involve conditional entropies and mutual information derived from the sandwiched Rényi divergence. In particular, we obtain novel bounds relating these quantities, as well as the Rényi conditional mutual information, to the fidelity of two quantum states.
We explore the classical communication over quantum channels with one sender and two receivers, or with two senders and one receiver, First, for the quantum broadcast channel (QBC) and the quantum multi-access channel (QMAC), we study the classical communication assisted by non-signalling and positive-partial-transpose-preserving codes, and obtain efficiently computable one-shot bounds to assess the performance of classical communication. Second, we consider the asymptotic communication capability of communication over the QBC and QMAC. We derive an efficiently computable strong converse bound for the capacity region, which behaves better than the previous semidefinite programming strong converse bound for point-to-point channels. Third, we obtain a converse bound on the one-shot capacity region based on the hypothesis testing divergence between the given channel and a certain class of subchannels. As applications, we analyze the communication performance for some basic network channels, including the classical broadcast channels and a specific class of quantum broadcast channels.