It is easy to verify the equivalence of the quantum Markov property and the strong additivity of entropy for graded quantum systems as well. However, the structure of Markov states for graded systems is different from that for tensor product systems. For three-composed graded systems there are U(1)-gauge invariant Markov states whose restriction to the pair of marginal subsystems is non-separable.
The proof of additivity of entanglement of formation for some special cases is given. The strong concavity of von Neumann entropy due to strong subadditivity of von Neumann entropy is presented. Some general relations concerning about the entanglement of formation are proposed.
Let ${\mathcal M}$ be a von Neumann algebra with no central summands of type I$_1$. It is shown that every nonlinear $ξ-$Lie derivation ($ξ\neq 1$) on $\mathcal M$ is an additive derivation.
Does the sum of correlations in subsystems constitute the correlation in the total system? Such a concept can be expressed by an additivity relationship of correlations. From a strong subadditivity condition of von Neumann entropy, four different additivity relations in total correlation are derived and quantified. Based upon the classification of the additivity in total correlation, we identify the corresponding additive relationships in entanglement. It is also discussed that similar relationships are satisfied for quantum discord of pure states, but it is not always true for mixed states.
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（量子信息与计算科学联合中心，美国国家标准与技术研究院/马里兰大学）
The goal of this note is to show that Hastings' counterexample to the additivity of minimal output von Neumann entropy can be readily deduced from a sharp version of Dvoretzky's theorem on almost spherical sections of convex bodies.
We show that the respective oversights in the von Neumann's general theorem against all hidden variable theories and Bell's theorem against their local-realistic counterparts are homologous. Both theorems unjustifiably assume the additivity of expectation values within hidden variable theories to derive their respective conclusions. However, for non-commuting observables, the equivalence of a sum of expectation values and the expectation value of the sum of measurement results, although respected within quantum mechanics, need not hold for hidden variable theories, regardless of specific chara…
When can noiseless quantum information be sent across noisy quantum devices? And at what maximum rate? These questions lie at the heart of quantum technology, but remain unanswered because of non-additivity -- a fundamental synergy which allows quantum devices (aka quantum channels) to send more information than expected. Previously, non-additivity was known to occur in very noisy channels with coherent information much smaller than that of a perfect channel; but, our work shows non-additivity in a simple low-noise channel. Our results extend even further. We prove a general theorem concerning…
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.
From Permutation Symmetry to Communication Bounds and Additivity
Perimeter Institute for Theoretical Physics（Perimeter理论物理研究所）；University of Waterloo（滑铁卢大学）；Institute for Quantum Computing, University of Waterloo（滑铁卢大学量子计算研究所）
Monotonicity under coarse-graining is a crucial property of the quantum relative entropy. The aim of this paper is to investigate the condition of equality in the monotonicity theorem and in its consequences such as the strong sub-additivity of the von Neumann entropy, the Golden-Thompson trace inequality and the monotonicity of the Holevo quantity.The relation to quantum Markovian states is briefly indicated.
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…
Regarding the strange properties of quantum entropy and entanglement, e.g., the negative quantum conditional entropy, we revisited the foundations of quantum entropy, namely, von Neumann entropy, and raised the new method of quantum fine-grained entropy. With the applications in entanglement theory, quantum information processing, and quantum thermodynamics, we demonstrated the capability of quantum fine-grained entropy to resolve some notable confusions and problems, including the measure of entanglement and quantumness, the additivity conjecture of entanglement of formation etc, and the defi…
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…
We give a survey of the two remarkable analytical problems of quantum information theory. The main part is a detailed report of the recent (partial) solution of the quantum Gaussian optimizers problem which establishes an optimal property of Glauber's coherent states -- a particular instance of pure quantum Gaussian states. We elaborate on the notion of quantum Gaussian channel as a noncommutative generalization of Gaussian kernel to show that the coherent states, and under certain conditions only they, minimize a broad class of the concave functionals of the output of a Gaussian channel. Thus…
Using the graphical calculus and integration techniques introduced by the authors, we study the statistical properties of outputs of products of random quantum channels for entangled inputs. In particular, we revisit and generalize models of relevance for the recent counterexamples to the minimum output entropy additivity problems. Our main result is a classification of regimes for which the von Neumann entropy is lower on average than the elementary bounds that can be obtained with linear algebra techniques.
Within the unified framework of exploiting the relative entropy as a distance measure of quantum correlations, we make explicit the hierarchical structure of quantum coherence, quantum discord and quantum entanglement in multipartite systems. On this basis, we introduce a new measure of quantum coherence, the basis-free quantum coherence and prove that this quantity is exactly equivalent to quantum discord. Furthermore, since the original relative entropy of coherence is a basis-dependent quantity, we investigate the local and nonlocal unitary creation of quantum coherence, focusing on the two…
The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell's severe criticism of Neumann's proof and the explicit (counter) example of a hidden variable model for the measurement of a quantum spin are considered by most researchers, though not all, as the definitive demonstration that Neumann's proof is inadequate. Despite being an argument of mathematical physics, an …
We calculate an achievable secret key rate for quantum key distribution with a finite number of signals, by evaluating the min-entropy explicitly. The min-entropy can be expressed in terms of the guessing probability, which we calculate for d-dimensional systems. We compare these key rates to previous approaches using the von Neumann entropy and find non-zero key rates for a smaller number of signals. Furthermore, we improve the secret key rates by modifying the parameter estimation step. Both improvements taken together lead to non-zero key rates for only 10^4-10^5 signals. An interesting con…
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 …
Gibbs paradox in the context of statistical mechanics addresses the issue of additivity of entropy of mixing gases. The usual discussion attributes the paradoxical situation to classical distinguishability of identical particles and credits quantum theory for enabling indistinguishability of identical particles to solve the problem. We argue that indistinguishability of identical particles is already a feature in classical mechanics and this is clearly brought out when the problem is treated in the language of information and associated entropy. We pinpoint the physical criteria for indistingu…
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…
