Continuity properties of the output entropy of positive linear maps between Banach spaces of trace class operators are investigated with the special attention to the classes of quantum channels and operations. It is shown that finiteness of the output entropy of a positive map on the whole input state space implies its continuity. Sufficient conditions for this property expressed in terms of the Kraus representation of quantum channels and operations are presented. The characterization of a positive map "preserving continuity of the entropy" (in the sense that continuity of the entropy on a set of input states implies continuity of its output entropy on this set) is obtained and its applications to the class of quantum operations are considered. The special relation between continuity properties of the output entropies of complementary quantum operations is established and its corollaries are discussed. Continuity conditions for the output entropy of positive maps considered as a function of a pair (map, input state) are also obtained. Several applications to the quantum information theory are presented in the last part of the paper.
We show that the minimum von-Neumann entropy output of a quantum channel is locally additive. Hasting's counterexample for the additivity conjecture, makes this result quite surprising. In particular, it indicates that the non-additivity of the minimum entropy output is a global effect of quantum channels.
We obtained the estimation from below for the output entropy of a tensor product of the quantum phase-damping channel with an arbitrary channel. It is shown that from this estimation immediately follows that the strong superadditivity of the output entropy holds for this channel as well as for the quantum depolarizing channel.
The continuity properties of the convex closure of the output entropy of infinite dimensional channels and their applications to the additivity problem are considered. The main result of this paper is the statement that the superadditivity of the convex closure of the output entropy for all finite dimensional channels implies the superadditivity of the convex closure of the output entropy for all infinite dimensional channels, which provides the analogous statements for the strong superadditivity of the EoF and for the additivity of the minimal output entropy. The above result also provides in…
We present a constructive example of violation of additivity of minimum output Rényi entropy for each p>2. The example is provided by antisymmetric subspace of a suitable dimension. We discuss possibility of extension of the result to go beyond p>2 and obtain additivity for p=0 for a class of entanglement breaking channels.
A constructive violation of additivity of minimum output von Neumann entropy
Joint Quantum Institute, Department of Physics, NIST/University of Maryland（量子联合研究所，物理系，美国国家标准与技术研究院/马里兰大学）；Joint Center for Quantum Information and Computer Science, NIST/University of Maryland（量子信息与计算科学联合中心，美国国家标准与技术研究院/马里兰大学）
We describe the class (semigroup) of quantum channels mapping states with finite entropy into states with finite entropy. We show, in particular, that this class is naturally decomposed into three convex subclasses, two of them are closed under concatenations and tensor products. We obtain asymptotically tight universal continuity bounds for the output entropy of two types of quantum channels: channels with finite output entropy and energy-constrained channels preserving finiteness of the entropy.
We show that the minimum Renyi entropy output of a quantum channel is locally additive for Renyi parameter alpha>1. While our work extends the results of [10] (in which local additivity was proven for alpha=1), it is based on several new techniques that incorporate the multiplicative nature of p-norms, in contrast to the additivity property of the von-Neumann entropy. Our results demonstrate that the counterexamples to the Renyi additivity conjectures exhibit global effects of quantum channels. Interestingly, the approach presented here can not be extended to Renyi entropies with parameter alp…
We consider sequences of random quantum channels defined using the Stinespring formula with Haar-distributed random orthogonal matrices. For any fixed sequence of input states, we study the asymptotic eigenvalue distribution of the outputs through tensor powers of random channels. We show that the input states achieving minimum output entropy are tensor products of maximally entangled states (Bell states) when the tensor power is even. This phenomenon is completely different from the one for random quantum channels constructed from Haar-distributed random unitary matrices, which leads us to fo…
For a given quantum state $ρ$ and two quantum operations $Φ$ and $Ψ$, the information encoded in the quantum state $ρ$ is quantified by its von Neumann entropy $§(ρ)$. By the famous Choi-Jamiołkowski isomorphism, the quantum operation $Φ$ can be transformed into a bipartite state, the von Neumann entropy $§^{\mathrm{map}}(Φ)$ of the bipartite state describes the decoherence induced by $Φ$. In this Letter, we characterize not only the pairs $(Φ, ρ)$ which satisfy $§(Φ(ρ))=§(ρ)$, but also the pairs $(Φ, Ψ)$ which satisfy $§^{\mathrm{map}}(Φ\circΨ) = §^{\mathrm{map}}(Ψ)$.
The von Neumann entropy at the output of a bosonic channel with thermal noise is analyzed. Coherent-state inputs are conjectured to minimize this output entropy. Physical and mathematical evidence in support of the conjecture is provided. A stronger conjecture--that output states resulting from coherent-state inputs majorize the output states from other inputs--is also discussed.
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 prove that Gaussian thermal input states minimize the output von Neumann entropy of the one-mode Gaussian quantum-limited attenuator for fixed input entropy. The Gaussian quantum-limited attenuator models the attenuation of an electromagnetic signal in the quantum regime. The Shannon entropy of an attenuated real-valued classical signal is a simple function of the entropy of the original signal. A striking consequence of energy quantization is that the output von Neumann entropy of the quantum-limited attenuator is no more a function of the input entropy alone. The proof starts from the maj…
Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output $p-$Rényi entropy is non-additive for $p\in(0,p_0)\cup(1-p_0,1)$ where $p_0\approx 0.2855$.
A formulation of the generalized minimal output entropy conjecture for Gaussian channels is presented. It asserts that, for states with fixed input entropy, the minimal value of the output entropy of the channel (i.e. the minimal output entropy increment for fixed input entropy) is achieved by Gaussian states. In the case of centered channels (i.e. channels which do not add squeezing to the input state) this implies that the minimum is obtained by thermal (Gibbs) inputs. The conjecture is proved to be valid in some special cases.
Additivity of minimal entropy output is proven for the class of quantum channels $Λ_t (A):=t A^{T}+(1-t)τ(A)$ in the parameter range $-2/(d^2-2)\le t \le 1/(d+1)$.
We give a direct proof of the additivity of the minimum output entropy of a particular quantum channel which breaks the multiplicativity conjecture. This yields additivity of the classical capacity of this channel, a result obtained by a different method by Matsumoto and Yura [quant-ph/0306009]. Our proof relies heavily upon certain concavity properties of the output entropy which are of independent interest.
We prove that quantum thermal Gaussian input states minimize the output entropy of the multi-mode quantum Gaussian attenuators and amplifiers that are entanglement breaking and of the multi-mode quantum Gaussian phase contravariant channels among all the input states with a given entropy. This is the first time that this property is proven for a multi-mode channel without restrictions on the input states. A striking consequence of this result is a new lower bound on the output entropy of all the multi-mode quantum Gaussian attenuators and amplifiers in terms of the input entropy. We apply this…
In a previous paper, we proved that the limit of the collection of possible eigenvalues of output states of a random quantum channel is a deterministic, compact set K_{k,t}. We also showed that the set K_{k,t} is obtained, up to an intersection, as the unit ball of the dual of a free compression norm. In this paper, we identify the maximum of l^p norms on the set K_{k,t} and prove that the maximum is attained on a vector of shape (a,b,...,b) where a > b. In particular, we compute the precise limit value of the minimum output entropy of a single random quantum channel. As a corollary, we show t…
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,…
We introduce a model of non-Gaussian quantum channel that stems from the combination of two physically relevant processes occurring in open quantum systems, namely amplitude damping and dephasing. For it we find input states approaching zero output entropy, while respecting the input energy constraint. These states fully exploit the infinite dimensionality of the Hilbert space. Upon truncation of the latter, the minimum output entropy remains finite and optimal input states for such a case are conjectured thanks to numerical evidences.
We consider the image of some classes of bipartite quantum states under a tensor product of random quantum channels. Depending on natural assumptions that we make on the states, the eigenvalues of their outputs have new properties which we describe. Our motivation is provided by the additivity questions in quantum information theory, and we build on the idea that a Bell state sent through a product of conjugated random channels has at least one large eigenvalue. We generalize this setting in two directions. First, we investigate general entangled pure inputs and show that that Bell states give…
The goal of the present paper is to derive some conditions on saturation of (strong) subadditivity inequality for the stochastic matrices. The notion of relative entropy of stochastic matrices is introduced by mimicking quantum relative entropy. Some properties of this concept are listed and the connection between the entropy of the stochastic quantum operations and that of stochastic matrices are discussed.
In this paper we find, for a class of bipartite quantum states, a nontrivial lower bound on the entropy gain resulting from the action of a tensor product of identity channel with an arbitrary channel. By means of that we then estimate (from below) the output entropy of the tensor product of dephasing channel with an arbitrary channel. Finally, we provide a characterization of all phase-damping channels resulting as particular cases of dephasing channels.
For all 1 < p < 2, we demonstrate the existence of quantum channels with non-multiplicative maximal p-norms. Equivalently, the minimum output Renyi entropy of order p of a quantum channel is not additive for all 1 < p < 2. The violations found are large. As p approaches 1, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot …
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 prove the longstanding conjecture stating that Gaussian thermal input states minimize the output von Neumann entropy of one-mode phase-covariant quantum Gaussian channels among all the input states with a given entropy. Phase-covariant quantum Gaussian channels model the attenuation and the noise that affect any electromagnetic signal in the quantum regime. Our result is crucial to prove the converse theorems for both the triple trade-off region and the capacity region for broadcast communication of the Gaussian quantum-limited amplifier. Our result extends to the quantum regime the Entropy…
We review some properties of the convex roof extension, a construction used, e.g., in the definition of the entanglement of formation. Especially we consider the use of symmetries of channels and states for the construction of the convex roof. As an application we study the entanglement entropy of the diagonal map for permutation symmetric real N=3 states $ω(z)$ and solve the case $z<0$ where $z$ is the non-diagonal entry in the density matrix. We also report a surprising result about the behaviour of the output entropy of the diagonal map for arbitrary dimensions $N$; showing a bifurcation at…
In this paper, we study the behaviour of the output of pure entangled states after being transformed by a product of conjugate random unitary channels. This study is motivated by the counterexamples by Hastings and Hayden-Winter to the additivity problems. In particular, we study in depth the difference of behaviour between random unitary channels and generic random channels. In the case where the number of unitary operators is fixed, we compute the limiting eigenvalues of the output states. In the case where the number of unitary operators grows linearly with the dimension of the input space,…
Spectral properties of an arbitrary matrix can be characterized by the entropy of its rescaled singular values. Any quantum operation can be described by the associated dynamical matrix or by the corresponding superoperator. The entropy of the dynamical matrix describes the degree of decoherence introduced by the map, while the entropy of the superoperator characterizes the a priori knowledge of the receiver of the outcome of a quantum channel Phi. We prove that for any map acting on a N--dimensional quantum system the sum of both entropies is not smaller than ln N. For any bistochastic map th…
We study subadditivity of the minimum output entropy ($H_{min}$) of quantum multiple access channels (MACs). We provide an example of violation of the additivity theorem for $H_{min}$ known in classical information theory. Our result is based on a fundamental property of $MACs$ i.e. independence of each sender. The channels used in the example can be constructed explicitly. On the basis of subadditivity of $H_{min}$ we also provide an example of extremal superadditivity (super activation) of the classical capacity region of MACs.
We consider a line with noise in the simplest case. Loss does not add noise. Amplification via phase insensitive amplifiers do add noise. A lower bound of this capacity is the quantum analog to the Shannon capacity of a linear channel with additive white Gaussian noise, namely the difference of the Von Neumann entropy of the signal plus noise at the output of the line and the entropy of the noise alone. We show that this expression is indeed the capacity for the case of an amplifier with infinitesimal gain $G = 1+ε$, and for a cascade of an amplifier with arbitrary gain and a large loss, such …
According to the first and second laws of thermodynamics and the definitions of work and heat, microscopic expressions for the non-equilibrium entropy production have been achieved. Recently, a redefinition of heat has been presented in [\href{Nature Communicationsvolume 8, Article number: 2180 (2017)}{Nat. Commun. 8, 2180 (2017)}]. We are going to determine how this redefinition of heat could affect the expression of the entropy production. Utilizing this new definition of heat, it could be found out that there is a new expression for the entropy production for thermal operations. It could be…
Recently de Palma et al. [IEEE Trans. Inf. Theory 63, 728 (2017)] proved---using Lagrange multiplier techniques---that under a non-zero input entropy constraint, a thermal state input minimizes the output entropy of a pure-loss bosonic channel. In this note, we present our attempt to generalize this result to all single-mode gauge-covariant Gaussian channels by using similar techniques. Unlike the case of the pure-loss channel, we cannot prove that the thermal input state is the only local extremum of the optimization problem. %It is unclear to us why the same techniques do not lead to a proof…
We investigate decoherence induced by a quantum channel in terms of minimal output entropy and of map entropy. The latter is the von Neumann entropy of the Jamiolkowski state of the channel. Both quantities admit q-Renyi versions. We prove additivity of the map entropy for all q. For the case q = 2, we show that the depolarizing channel has the smallest map entropy among all channels with a given minimal output Renyi entropy of order two. This allows us to characterize pairs of channels such that the output entropy of their tensor product acting on a maximally entangled input state is larger t…
Conditional von Neumann entropy is an intriguing concept in quantum information theory. In the present work, we examine the effect of global unitary operations on the conditional entropy of the system. We start with the set containing states with non-negative conditional entropy and find that some states preserve the non-negativity under unitary operations on the composite system. We call this class of states as Absolute Conditional von Neumann entropy Non Negative class (\textbf{ACVENN}). We are able to characterize such states for $2\otimes 2$ dimensional systems. On a different perspective …
Hastings recently reported a randomized construction of channels violating the minimum output entropy additivity conjecture. Here we revisit his argument, presenting a simplified proof. In particular, we do not resort to the exact probability distribution of the Schmidt coefficients of a random bipartite pure state, as in the original proof, but rather derive the necessary large deviation bounds by a concentration of measure argument. Furthermore, we prove non-additivity for the overwhelming majority of channels consisting of a Haar random isometry followed by partial trace over the environmen…
We show that a positive linear map preserves local continuity (convergence) of the entropy if and only if it preserves finiteness of the entropy, i.e. transforms operators with finite entropy to operators with finite entropy. The last property is equivalent to the boundedness of the output entropy of a map on the set of pure states.
We show that the minimum output entropy for all single-mode Gaussian channels is additive and is attained for Gaussian inputs. This allows the derivation of the channel capacity for a number of Gaussian channels, including that of the channel with linear loss, thermal noise, and linear amplification.
We study the regularized average Renyi output entropy $\bar{S}_{r}^{\reg}$ of quantum channels. This quantity gives information about the average noisiness of the channel output arising from a typical, highly entangled input state in the limit of infinite dimensions. We find a closed expression for $β_{r}^{\reg}$, a quantity which we conjecture to be equal to $\Srreg$. We find an explicit form for $β_{r}^{\reg}$ for some entanglement-breaking channels, and also for the qubit depolarizing channel $Δ_λ$ as a function of the parameter $λ$. We prove equality of the two quantities in some cases, in…
We consider the density matrices derived from combinatorial laplacian matrix of graphs. Specifically, the star-relevant graph, which means adding certain edges on peripheral vertices of star graph, is the focus of this paper. Initially, we provide the spectrum of the density matrices corresponding to star-like graph(i.e., adding an edge on star graph) and present that the Von Neumann entropy will increase under the graph operation(adding an edge on star graph) and the graph operation cannot simulated by local operation and classical communication (LOCC). Subsequently, we illustrate the spectru…
The entropy of a quantum operation, defined as the von Neumann entropy of the corresponding Choi-Jamiołkowski state, characterizes the coupling of the principal system with the environment. For any quantum channel $Φ$ acting on a state of size $N$ one defines the complementary channel $\tilde Φ$, which sends the input state into the state of the environment after the operation. Making use of subadditivity of entropy we show that for any dimension $N$ the sum of both entropies, $S(Φ)+ S(\tilde Φ)$, is bounded from below. This result characterizes the trade-off between the information on the ini…
We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capacity of a communication channel subject to thermal noise. Our strategy detects input thermal ensembles as possible solutions for the optimal encoding of the channel, lending support to the conjecture.…
We prove in the multimode scenario a fundamental relation between the Wehrl and the von Neumann entropy, stating that the minimum Wehrl entropy among all the quantum states with a given von Neumann entropy is achieved by thermal Gaussian states. We also prove that thermal Gaussian input states minimize the output von Neumann entropy of multimode quantum Gaussian attenuators, amplifiers and phase-contravariant channels among all the input states diagonal in some product basis and with a given entropy. This result constitutes a major step towards the proof of the same property for generic input …
We investigate the nonlinear scattering theory for quantum systems with strong Seebeck and Peltier effects, and consider their use as heat-engines and refrigerators with finite power outputs. This article gives detailed derivations of the results summarized in Phys. Rev. Lett. 112, 130601 (2014). It shows how to use the scattering theory to find (i) the quantum thermoelectric with maximum possible power output, and (ii) the quantum thermoelectric with maximum efficiency at given power output. The latter corresponds to a minimal entropy production at that power output. These quantities are of q…
Negative quantum conditional entropy states are key ingredients for information theoretic tasks such as superdense coding, state merging and one-way entanglement distillation. In this work, we ask: how does one detect if a channel is useful in preparing negative conditional entropy states? We answer this question by introducing the class of A-unital channels, which we show are the largest class of conditional entropy non-decreasing channels. We also prove that A-unital channels are precisely the completely free operations for the class of states with non-negative conditional entropy. Furthermo…
Previous work on the classical information capacities of bosonic channels has established the capacity of the single-user pure-loss channel, bounded the capacity of the single-user thermal-noise channel, and bounded the capacity region of the multiple-access channel. The latter is a multi-user scenario in which several transmitters seek to simultaneously and independently communicate to a single receiver. We study the capacity region of the bosonic broadcast channel, in which a single transmitter seeks to simultaneously and independently communicate to two different receivers. It is known that…
The minimum entropy output is computed for rotationally invariant quantum channels acting on spin-1/2 and spin-1 systems. For the case of two parallel such channels and initial entangled (singlet) state the entropy of the output is higher then the doubled minimal entropy output of the single channel. This gives a certain moral support to the additivity hypothesis. Another related simple function of the channel (minimum entropy gain) is shown to be additive in general.
Based on the problem of quantum data compression in a lossless way, we present here an operational interpretation for the family of quantum Rényi entropies. In order to do this, we appeal to a very general quantum encoding scheme that satisfies a quantum version of the Kraft-McMillan inequality. Then, in the standard situation, where one is intended to minimize the usual average length of the quantum codewords, we recover the known results, namely that the von Neumann entropy of the source bounds the average length of the optimal codes. Otherwise, we show that by invoking an exponential averag…
Complementing recent progress on the additivity conjecture of quantum information theory, showing that the minimum output p-Renyi entropies of channels are not generally additive for p>1, we demonstrate here by a careful random selection argument that also at p=0, and consequently for sufficiently small p, there exist counterexamples. An explicit construction of two channels from 4 to 3 dimensions is given, which have non-multiplicative minimum output rank; for this pair of channels, numerics strongly suggest that the p-Renyi entropy is non-additive for all p < 0.11. We conjecture however that…
For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be pro…
Almost One Bit Violation of Minimum-Output Rényi Entropy Additivity Simultaneously at All Orders
The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州））；QudeLeap Research（量子跃迁研究）；Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area（粤港澳大湾区量子科学中心）
