We give an elementary self-contained proof that the minimal entropy output of arbitrary products of channels $ρ\mapsto \frac{1}{d-1}(1-ρ^T)$ is additive.
We study the multiplicativity of the output 2-norm for depolarized Werner-Holevo channels and show that multiplicativity holds for a product of two identical channels in this class. Moreover, it shown that the depolarized Werner-Holevo channels do not satisfy the entrywise positivity condition introduced by C. King and M.B. Ruskai, which suggests that the main result is non-trivial.
Recently, King and Ruskai [1] conjectured that the maximal p-norm of the Werner--Holevo channel is multiplicative for all $1\le p \le 2$. In this paper we prove this conjecture. Our proof relies on certain convexity and monotonicity properties of the p--norm.
Werner states have a host of interesting properties, which often serve to illuminate the unusual properties of quantum information. Starting from these states, one may define a family of quantum channels, known as the Holevo-Werner channels, which themselves afford several unusual properties. In this paper we use the teleportation covariance of these channels to upper bound their two-way assisted quantum and secret-key capacities. This bound may be expressed in terms of relative entropy distances, such as the relative entropy of entanglement, and also in terms of the squashed entanglement. Mos…
The class of quantum states known as Werner states have several interesting properties, which often serve to illuminate unusual properties of quantum information. Closely related to these states are the Holevo-Werner channels whose Choi matrices are Werner states. Exploiting the fact that these channels are teleportation covariant, and therefore simulable by teleportation, we compute the ultimate precision in the adaptive estimation of their channel-defining parameter. Similarly, we bound the minimum error probability affecting the adaptive discrimination of any two of these channels. In this …
The purpose of these notes is to discuss the relation between the additivity questions regarding the quantities (Holevo) capacity of a quantum channel T and entanglement of formation of a given bipartite state. In particular, using the Stinespring dilation theorem, we give a formula for the channel capacity involving entanglement of formation. This can be used to show that additivity of the latter for some states can be inferred from the additivity of capacity for certain channels. We demonstrate this connection for a family of group--covariant channels, allowing us to calculate the entangleme…
We realize Landau-Streater (LS) and Werner-Holevo (WH) quantum channels for qutrits on the IBM quantum computers. These channels correspond to interaction between the qutrit and its environment that result in the globally unitarily covariant qutrit transformation violating multiplicativity of the maximal $p$-norm. Our realization of LS and WH channels is based on embedding qutrit states into states of two qubits and using single-qubit and two-qubit CNOT gates to implement the specific interaction. We employ the standard quantum gates hence the developed algorithm suits any quantum computer. We…
Additivity of the Holevo capacity is proved for product channels, under the condition that one of the channels is in a certain class of unital qubit channels, with the other completely arbitrary. This qubit class includes the depolarizing channel. As a byproduct this proves that the Holevo bound is the ultimate information capacity of such qubit channels (assuming no prior entanglement between sender and receiver). Additivity of minimal entropy and multiplicativity of p-norms are also proved under the same assumptions.
The notion of the Holevo capacity for arbitrarily constrained infinite dimensional quantum channels is introduced. It is shown that despite nonexistence of an optimal ensemble in this case it is possible to define the notion of the output optimal average state for such a channel. The characterization of the output optimal average state and a "minimax" expression for the Holevo capacity are obtained. This makes it possible to prove equivalence of several additivity properties for infinite dimensional quantum channels. The notion of the $χ$-function for an infinite dimensional channel is conside…
The relative entropy description of Holevo-Schumacher-Westmoreland (HSW) classical channel capacity is applied to single qubit channels. A simple formula for the relative entropy of qubit density matrices in the Bloch sphere representation is derived. This formula is combined with the King-Ruskai-Szarek-Werner qubit channel ellipsoid picture to analyze several unital and non-unital qubit channels in detail. An alternate proof that the optimal HSW signalling states for single qubit unital channels are those states with the minimum channel output entropy is presented. The derivation is based on …
We prove additivity of the minimum output entropy and the Holevo capacity for rotationally invariant quantum channels acting on spin-1/2 and spin-1 systems. The physical significance of these channels and their relations to other known channels is also discussed.
Recently Shor proved equivalence of several open (sub)additivity problems related to the Holevo capacity and the entanglement of formation [15]. In our previous note [6] equivalence of these to the additivity of the Holevo capacity for channels with arbitrary linear constraints was shown. This note is the development of the previous one in the direction of channels with general constraints. Introducing input constraints provides greater flexibility in the treatment of the additivity conjecture. The Holevo capacity of arbitrarily constrained channel is considered and the characteristic property…
It is conjectured that the Holevo capacity of a product channel Ω\otimes Φis achieved when product states are used as input. Amosov, Holevo and Werner have also conjectured that the maximal p-norm of a product channel is achieved with product input states. In this paper we establish both of these conjectures in the case that Ωis arbitrary and Φis a CQ or QC channel (as defined by Holevo). We also establish the Amosov, Holevo and Werner conjecture when Ωis arbitrary and either Φis a qubit channel and p=2, or Φis a unital qubit channel and p is integer. Our proofs involve a new conjecture for th…
We study quantum channels that are close to another channel with weakly additive Holevo information and derive upper bounds on their classical capacity. Examples of channels with weakly additive Holevo information are entanglement-breaking channels, unital qubit channels, and Hadamard channels. Related to the method of approximate degradability, we define approximation parameters for each class above that measure how close an arbitrary channel is to satisfying the respective property. This gives us upper bounds on the classical capacity in terms of functions of the approximation parameters, as…
The Amosov-Holevo-Werner conjecture implies the additivity of the minimum Re'nyi entropies at the output of a channel. The conjecture is proven true for all Re'nyi entropies of integer order greater than two in a class of Gaussian bosonic channel where the input signal is randomly displaced or where it is coupled linearly to an external environment.
It is known that the additivity conjecture of Holevo capacity, output minimum entoropy, and the entanglement of formation (EoF), are equivalent with each other. Among them, the output minimum entropy is simplest, and hence many researchers are focusing on this quantity. Here, we suggest yet another entanglement measure, whose strong superadditivity and additivity are equivalent to the additivity of the quantities mentioned above. This quantity is as simple as the output minimum entropy, and in existing proofs of additivity conjecture of the output minimum entropy for the specific examples, the…
Non-Multiplicativity of the Holevo Barycenter of Quantum Channels
Universität zu Köln(科隆大学);University of Camerino(卡梅里诺大学);Istituto Nazionale di Fisica Nucleare, Sezione di Perugia(意大利国家核物理研究所佩鲁吉亚分部);Universitat Autònoma de Barcelona(巴塞罗那自治大学)
We prove multiplicativity of maximal output $p$ norm of classical noise channels and thermal noise channels of arbitrary modes for all $p>1$ under the assumption that the input signal states are Gaussian states. As a direct consequence, we also show the additivity of the minimal output entropy and that of the energy-constrained Holevo capacity for those Gaussian channels under Gaussian inputs. To the best of our knowledge, newly discovered majorization relation on symplectic eigenvalues, which is also of independent interest, plays a central role in the proof.
We show that for the tensor product of an entanglement-breaking quantum channel with an arbitrary quantum channel, both the minimum entropy of an output of the channel and the Holevo-Schumacher-Westmoreland capacity are additive. In addition, for the tensor product of two arbitrary quantum channels, we give a bound involving entanglement of formation for the amount of subadditivity (for minimum entropy output) or superadditivity (for channel capacity) that can occur.
We point out a contrasting role the entanglement plays in communication and estimation scenarios. In the first case it brings noticeable benefits at the measurement stage (output super-additivity), whereas in the latter it is the entanglement of the input probes that enables significant performance enhancement (input super-additivity). We identify a weak estimation regime where a strong connection between concepts crucial to the two fields is demonstrated; the accessible information and the Holevo quantity on one side and the quantum Fisher information related quantities on the other. This all…
We prove that the minimal Renyi entropy of order 2 (RE2) output of a positive-partial-transpose(PPT)-inducing channel joint to an arbitrary other channel is equal to the sum of the minimal RE2 output of the individual channels. PPT-inducing channels are channels with a Choi matrix which is bound entangled or separable. The techniques used can be easily recycled to prove additivity for some non-PPT-inducing channels such as the depolarizing and transpose depolarizing channels, though not all known additive channels. We explicitly make the calculations for generalized Werner-Holevo channels as a…
An example is given of a qubit quantum channel which requires four inputs to maximize the Holevo capacity. The example is one of a family of channels which are related to 3-state channels. The capacity of the product channel is studied and numerical evidence presented which strongly suggests additivity. The numerical evidence also supports a conjecture about the concavity of output entropy as a function of entanglement parameters. However, an example is presented which shows that for some channels this conjecture does not hold for all input states. A numerical algorithm for finding the capacit…
Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. In the present paper we give the multimode extension of the result of [11], including sufficient conditions under which the coherent states are the only optimizers. We also discuss direct implications of…
We study classical capacities of quantum multi-access channels in geometric terms revealing breaking of additivity of Holevo-like capacity. This effect is purely quantum since, as one points out, any classical multi-access channels have their regions additive. The observed non-additivity in quantum version presented here seems to be the first effect of this type with no additional resources like side classical or quantum information (or entanglement) involved. The simplicity of quantum channels involved resembles butterfly effect in case of classical channel with two senders and two receivers.
We reduce the number of open additivity problems in quantum information theory by showing that four of them are equivalent. We show that the conjectures of additivity of the minimum output entropy of a quantum channel, additivity of the Holevo expression for the classical capacity of a quantum channel, additivity of the entanglement of formation, and strong superadditivity of the entanglement of formation, are either all true or all false.
There are various ways to quantify the communication capabilities of a quantum channel. In this work we study the communication value (cv) of channel, which describes the optimal success probability of transmitting a randomly selected classical message over the channel. The cv also offers a dual interpretation as the classical communication cost for zero-error channel simulation using non-signaling resources. We first provide an entropic characterization of the cv as a generalized conditional min-entropy over the cone of separable operators. Additionally, the logarithm of a channel's cv is sho…
We study a natural generalization of the additivity problem in quantum information theory: given a pair of quantum channels, then what is the set of convex trace functions that attain their maximum on unentangled inputs, if they are applied to the corresponding output state? We prove several results on the structure of the set of those convex functions that are "additive" in this more general sense. In particular, we show that all operator convex functions are additive for the Werner-Holevo channel in 3x3 dimensions, which contains the well-known additivity results for this channel as special …
We begin this thesis by expanding the technique of teleportation simulation, which adds noise to the entangled resource state to mimic channel effects. By introducing classical noise in the communication step, we show it is possible to simulate more than just Pauli channels using teleportation. This new class is characterised, and studied in detail for a particular resource state, leading to a family of simulable channels named "Pauli-Damping channels" whose properties are analysed. Also introduced are a new family of quantum states, "phase Werner" states, whose entanglement properties relate …
Quantum channels, also called quantum operations, are linear, trace preserving and completely positive transformations in the space of quantum states. Such operations describe discrete time evolution of an open quantum system interacting with an environment. The thesis contains an analysis of properties of quantum channels and different entropies used to quantify the decoherence introduced into the system by a given operation. Part I of the thesis provides a general introduction to the subject. In Part II, the action of a quantum channel is treated as a process of preparation of a quantum ense…
We introduce an infinite sequence of quantum channels for which the Holevo capacity is additive. The channel series is closely related to the quantum channels arising from universal quantum cloning machines. The additivity proof is motivated by a special property the studied channels enjoy: the property of conjugate degradability. As a consequence of the announced proof, we also provide an easy way of proving the additivity of the Holevo capacity for the original Unruh channel for which the quantum capacity is already known. Consequently, we present not only an infinite series of finite-dimens…
We demonstrate the convexity of the difference between the regularized entanglement of purification and the entropy, as a function of the state. This is proved by means of a new asymptotic protocol to prepare a state from pre-shared entanglement and by local operations only. We go on to employ this convexity property in an investigation of the additivity of the (single-copy) entanglement of purification: using numerical results for two-qubit Werner states we find strong evidence that the entanglement of purification is different from its regularization, hence that entanglement of purification …
In a breakthrough, Hastings' showed that there exist quantum channels whose classical capacity is superadditive i.e. more classical information can be transmitted by quantum encoding strategies entangled across multiple channel uses as compared to unentangled quantum encoding strategies. Hastings' proof used Haar random unitaries to exhibit superadditivity. In this paper we show that a unitary chosen uniformly at random from an approximate $n^{2/3}$-design gives rise to a quantum channel with superadditive classical Holevo capacity, where $n$ is the dimension of the unitary exhibiting the Stin…
We prove additivity violation of minimum output entropy of quantum channels by straightforward application of ε-net argument and Lévy's lemma. The additivity conjecture was disproved initially by Hastings. Later, a proof via asymptotic geometric analysis was presented by Aubrun, Szarek and Werner, which uses Dudley's bound on Gaussian process (or Dvoretzky's theorem with Schechtman's improvement). In this paper, we develop another proof along Dvoretzky's theorem in Milman's view showing additivity violation in broader regimes than the existing proofs. Importantly, Dvoretzky's theorem works wel…
We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy. We also show that the Holevo capacity need not equal log d - the minimal entropy as one might expect for a convex combination of unitary conjugations. Conversely, we give examples for which this conditio…
In this paper we consider the $χ$-function (the Holevo capacity of constrained channel) and the convex closure of the output entropy for arbitrary infinite dimensional channel. It is shown that the $χ$-function of an arbitrary channel is a concave lower semicontinuous function on the whole state space, having continuous restriction to any set of continuity of the output entropy. The explicit representation for the convex closure of the output entropy is obtained and its properties are explored. It is shown that the convex closure of the output entropy coincides with the convex hull of the outp…
We investigate minimum output (Rényi) entropy of qubit channels and unital quantum channels. We obtain an exact formula for the minimum output entropy of qubit channels, and bounds for unital quantum channels. Interestingly, our bounds depend only on the operator norm of the matrix representation of the channels on the space of trace-less Hermitian operators. Moreover, since these bounds respect tensor products, we get bounds for the capacity of unital quantum channels, which is saturated by the Werner-Holevo channel. Furthermore, we construct an orthonormal basis, besides the Gell-Mann basis,…
In this paper, we consider the minimal entropy of qubit states transmitted through two uses of a noisy quantum channel, which is modeled by the action of a completely positive trace-preserving (or stochastic) map. We provide strong support for the conjecture that this minimal entropy is additive, namely that the minimum entropy can be achieved when product states are transmitted. Explicitly, we prove that for a tensor product of two unital stochastic maps on qubit states, using an entanglement that involves only states which emerge with minimal entropy cannot decrease the entropy below the min…