Quantum states that possess negative conditional von Neumann entropy provide quantum advantage in several information-theoretic protocols including superdense coding, state merging, distributed private randomness distillation and one-way entanglement distillation. While entanglement is an important resource, only a subset of entangled states have negative conditional von Neumann entropy. Despite this utility, a proper resource theory for conditional von Neumann entropy has not been developed, unlike that of entanglement. We pave the way for such a resource theory by characterizing the class of free states (density matrices having non-negative conditional von Neumann entropy) as convex and compact. This allows us to prove the existence of a Hermitian operator (a witness) for the detection of states having negative conditional entropy for bipartite systems in arbitrary dimensions. We construct a family of such witnesses and prove that the expectation value of any of them in a state is an upper bound to the conditional entropy of the state. We pose the problem of obtaining a tight upper bound to the set of conditional entropies of states in which an operator gives the same expectation value as a convex optimization problem. We solve it numerically for a two qubit case and find that this enhances the usefulness of our witnesses. We also find that for a particular witness, the estimated tight upper bound matches the value of conditional entropy for Werner states. We explicate the utility of our work in the detection of useful states in the above-mentioned protocols.
In this work, we show that while all measures of mixedness may be used to witness entanglement, all such entangled states must have a negative partial transpose (NPT). Though computing the negativity of the partial transpose scales well at high dimension, it relies on knowing the complete quantum state, which does not. To address this, we compare different measures of mixedness over uniform ensembles of joint quantum states at varying dimension to gauge their relative success in witnessing entanglement. In doing so, we find that comparing joint and marginal purities is overwhelmingly more succ…
Efficient witnessing and testing of magic in mixed quantum states
Technology Innovation Institute（技术创新研究所）；Technical University of Munich（慕尼黑工业大学）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与工程中心）
We investigate macroscopic entanglement in an infinite XX spin-1/2 chain with staggered magnetic field, B_l=B+e^{-iπl}b. Using single-site entropy and by constructing an entanglement witness, we search for the existence of entanglement when the system is at absolute zero, as well as in thermal equilibrium. Although the role of the alternating magnetic field b is, in general, to suppress entanglement as do B and T, we find that when T=0, introducing b allows the existence of entanglement even when the uniform magnetic field B is arbitrarily large. We find that the region and the amount of entan…
We review the geometric features of negative conditional entropy and the properties of the conditional amplitude operator proposed by Cerf and Adami for two qubit states in comparison with entanglement and nonlocality of the states. We identify the region of negative conditional entropy in the tetrahedron of locally maximally mixed two-qubit states. Within this set of states, negative conditional entropy implies nonlocality and entanglement, but not vice versa, and we show that the Cerf-Adami conditional amplitude operator provides an entanglement witness equivalent to the Peres-Horodecki crit…
We define a quantum entropy conditioned on post-selection which has the von Neumann entropy of pure states as a special case. This conditional entropy can take negative values which is consistent with part of a quantum system containing less information than the whole which can be in a pure state. The definition is based on generalised density operators for postselected ensembles. The corresponding density operators are consistent with the quantum generalisation of classical conditional probabilities following Dirac s formalism of quasiprobability distributions.
It has been shown that the conditional probability distributions obtained by performing measurements on an uncharacterized physical system can be used to infer its underlying dimension in a device-independent way both in the classical and quantum setting. We analyze several aspects of the structure of the sets of probability distributions corresponding to a certain dimension taking into account whether shared randomness is available as a resource or not. We first consider the so-called prepare-and-measure scenario. We show that quantumness and shared randomness are not comparable resources. Th…
We propose a generalization of the quantum entropy power inequality involving conditional entropies. For the special case of Gaussian states, we give a proof based on perturbation theory for symplectic spectra. We discuss some implications for entanglement-assisted classical communication over additive bosonic noise channels.
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…
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 …
In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices $ρ$ and $σ$ on a finite dimensional Hilbert space and with $S(ρ)=-\trρ\lnρ$ being the usual von Neumann entropy, this quantity $S(ρ|σ)$ is concave in $ρ$ and satisfies $0\le S(ρ|σ)\le S(ρ)$, a quantum analogue of Shannon's famous inequality. Thus we view $S(ρ|σ)$ as the entropy of $ρ$ conditioned by $σ$.
The Renyi entropy plays an essential role in quantum information theory. We study the continuity estimation of the Renyi entropy. An inequality relating the Renyi entropy difference of two quantum states to their trace norm distance is derived. This inequality is shown to be tight in the sense that equality can be attained for every prescribed value of the trace norm distance. It includes the sharp Fannes inequality for von Neumann entropy as a special case.
We employ conditional Tsallis q entropies to study the separability of symmetric one parameter W and GHZ multiqubit mixed states. The strongest limitation on separability is realized in the limit q-->infinity, and is found to be much superior to the condition obtained using the von Neumann conditional entropy (q=1 case). Except for the example of two qubit and three qubit symmetric states of GHZ family, the $q$-conditional entropy method leads to sufficient - but not necessary - conditions on separability.
Based on the form invariance of the structures given by Khinchin's axiomatic foundations of information theory and the pseudoadditivity of the Tsallis entropy indexed by q, the concept of conditional entropy is generalized to the case of nonadditive (nonextensive) composite systems. The proposed nonadditive conditional entropy is classically nonnegative but can be negative in the quantum context, indicating its utility for characterizing quantum entanglement. A criterion deduced from it for separability of density matrices for validity of local realism is examined in detail by employing a bipa…
The quantum relative Renyi entropy of two density matrices was recently extended when the two do not commute, from which a conditional entropy is identified. This is here extended to the corresponding Tsallis relative entropy and to its conditional form. This new expression of Tsallis conditional entropy is shown to witness entanglement beyond the method based on global and local spectra of composite quantum states. When the reduced density matrix happens to be a maximally mixed state, this conditional entropy coincides with the expression in terms of Tsallis entropies derived earlier by Abe a…
We employ the conditional version of sandwiched Tsallis relative entropy to determine 1:N-1 separability range in the noisy one-parameter families of pseudopure and Werner-like N-qubit W, GHZ states. The range of the noisy parameter, for which the conditional sandwiched Tsallis relative entropy is positive, reveals perfect agreement with the necessary and sufficient criteria for the separability in the 1:N-1 partition of these one parameter noisy states.
We propose an extension of the quantum entropy power inequality for finite dimensional quantum systems, and prove a conditional quantum entropy power inequality by using the majorization relation as well as the concavity of entropic functions also given by Audenaert, Datta, and Ozols [J. Math. Phys. 57, 052202 (2016)]. Here, we make particular use of the fact that a specific local measurement after a partial swap operation (or partial swap quantum channel) acting only on finite dimensional bipartite subsystems does not affect the majorization relation for the conditional output states when a s…
The conditional version of sandwiched Tsallis relative entropy (CSTRE) is employed to study the bipartite separability of one parameter family of N-qudit Werner- Popescu states in their 1 : N-1 partition. For all N, the strongest limitation on bipartite separability is realized in the limit q tending to infinity and is found to match exactly with the separability range obtained using an algebraic method which is both necessary and sufficient. The theoretical superiority of using CSTRE criterion to find the bipartite separability range over the one using Abe- Rajagopal (AR) q-conditional entrop…
Bipartite separability of one parameter families of states using conditional quantum relative Tsallis entropy
Kuvempu University（库韦姆普大学）；Inspire Institute Inc.（Inspire研究所）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）；Institute of Mathematical Sciences（数学科学研究所）；Bangalore University（班加罗尔大学）
We derive a general approximate solution to the problem of minimizing the conditional entropy of a qudit-qubit system resulting from a local projective measurement on the qubit, which is valid for general entropic forms and becomes exact in the limit of weak correlations. This entropy measures the average conditional mixedness of the post-measurement state of the qudit, and its minimum among all local measurements represents a generalized entanglement of formation. In the case of the von Neumann entropy, it is directly related to the quantum discord. It is shown that at the lowest non-trivial …
For the XXZ subclass of symmetric two-qubit X states, we study the behavior of quantum conditional entropy S_{cond} as a function of measurement angle θ\in[0,π/2]. Numerical calculations show that the function S_{cond}(θ) for X states can have at most one local extremum in the open interval from zero to π/2 (unimodality property). If the extremum is a minimum the quantum discord displays region with variable (state-dependent) optimal measurement angle θ^*. Such θ-regions (phases, fractions) are very tiny in the space of X state parameters. We also discover the cases when the conditional entrop…
We examine, in correlated mixed states of qudit-qubit systems, the set of all conditional qubit states that can be reached after local measurements at the qudit based on rank-1 projectors. While for a similar measurement at the qubit, the conditional post-measurement qudit states lie on the surface of an ellipsoid, for a measurement at the qudit we show that the set of post-measurement qubit states can form more complex solid regions. In particular, we show the emergence, for some classes of mixed states, of sets which are the convex hull of solid ellipsoids and which may lead to cone-like and…
Quantum steering is an asymmetric correlation which occupies a place between entanglement and Bell nonlocality. In the paradigmatic scenario involving the protagonists Alice and Bob, the entangled state shared between them, is said to be steerable from Alice to Bob if the steering assemblage on Bob's side do not admit a local hidden state (LHS) description. Quantum conditional entropies, on the other hand provide for another characterization of quantum correlations. Contrary to our common intuition conditional entropies for some entangled states can be negative, marking a significant departure…
We analyze, for a general concave entropic form, the associated conditional entropy of a quantum system A+B, obtained as a result of a local measurement on one of the systems (B). This quantity is a measure of the average mixedness of A after such measurement, and its minimum over all local measurements is shown to be the associated entanglement of formation between A and a purifying third system C. In the case of the von Neumann entropy, this minimum determines also the quantum discord. For classically correlated states and mixtures of a pure state with the maximally mixed state, we show that…
Quantum coherence characterizes the non-classical feature of a single party system with respect to a local basis. Based on a recently introduced resource framework, coherence can be regarded as a resource and be systematically manipulated and quantified. Operationally, considering the projective measurement of the state in the computational basis, coherence quantifies the intrinsic randomness of the measurement outcome conditioned on all the other quantum systems. However, such a relation is only proven when randomness is characterized by the Von-Neumann entropy. In this work, we consider seve…
Sufficient conditions for (the non-violation of) the Bell-CHSH inequalities in a mixed state of a two-qubit system are: 1) The linear entropy of the state is not smaller than 0.5, 2) The sum of the conditional linear entropies is non-negative, 3) The von Neumann entropy is not smaller than 0.833, 4) The sum of the conditional von Neumann entropies is not smaller than 0.280.
In this paper a general definition of quantum conditional entropy for infinite-dimensional systems is given based on recent work of Holevo and Shirokov arXiv:1004.2495 devoted to quantum mutual and coherent informations in the infinite-dimensional case. The properties of the conditional entropy such as monotonicity, concavity and subadditivity are also generalized to the infinite-dimensional case.
We introduce an axiomatic approach for characterizing quantum conditional entropy. Our approach relies on two physically motivated axioms: monotonicity under conditional majorization and additivity. We show that these two axioms provide sufficient structure that enable us to derive several key properties applicable to all quantum conditional entropies studied in the literature. Specifically, we prove that any quantum conditional entropy must be negative on certain entangled states and must equal -log(d) on dxd maximally entangled states. We also prove the non-negativity of conditional entropy …
We use the structure of conditionally independent states to analyze the stability of topological entanglement entropy. For the ground state of quantum double or Levin-Wen model, we obtain a bound on the first order perturbation of topological entanglement entropy in terms of its energy gap and subsystem size. The bound decreases superpolynomially with the size of the subsystem, provided the energy gap is nonzero. We also study the finite temperature stability of stabilizer models, for which we prove a stronger statement than the strong subadditivity of entropy. Using this statement and assumin…
We give two strengthenings of an inequality for the quantum conditional mutual information of a tripartite quantum state recently proved by Fawzi and Renner, connecting it with the ability to reconstruct the state from its bipartite reductions. Namely we show that the conditional mutual information is an upper bound on the regularised relative entropy distance between the quantum state and its reconstructed version. It is also an upper bound for the measured relative entropy distance of the state to its reconstructed version. The main ingredient of the proof is the fact that the conditional mu…
Recently a new quantum generalization of the Renyi divergence and the corresponding conditional Renyi entropies was proposed. Here we report on a surprising relation between conditional Renyi entropies based on this new generalization and conditional Renyi entropies based on the quantum relative Renyi entropy that was used in previous literature. Our result generalizes the well-known duality relation H(A|B) + H(A|C) = 0 of the conditional von Neumann entropy for tripartite pure states to Renyi entropies of two different kinds. As a direct application, we prove a collection of inequalities that…
We study quantum conditional entropy production, which quantifies the irreversibility of system-environment evolution from the perspective of a third system, called the reference. The reference is initially correlated with the system. We show that the quantum unconditional entropy production with respect to the system is less than the conditional entropy production with respect to the reference, where the latter includes a reference-induced dissipative information. The dissipative information pinpoints the distributive correlation established between the environment and the reference, even tho…
We prove a tight uniform continuity bound for Arimoto's version of the conditional $α$-Rényi entropy, for the range $α\in [0, 1)$. This definition of the conditional Rényi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the associated reduction in uncertainty cannot exceed the information gained by conditioning. Furthermore, it has found interesting applications in various information theoretic tasks such as guessing with sid…
We prove the conditional Entropy Power Inequality for Gaussian quantum systems. This fundamental inequality determines the minimum quantum conditional von Neumann entropy of the output of the beam-splitter or of the squeezing among all the input states where the two inputs are conditionally independent given the memory and have given quantum conditional entropies. We also prove that, for any couple of values of the quantum conditional entropies of the two inputs, the minimum of the quantum conditional entropy of the output given by the conditional Entropy Power Inequality is asymptotically ach…
We put forth a unifying formalism for the description of the thermodynamics of continuously monitored systems, where measurements are only performed on the environment connected to a system. We show, in particular, that the conditional and unconditional entropy production, which quantify the degree of irreversibility of the open system's dynamics, are related to each other by the Holevo quantity. This, in turn, can be further split into an information gain rate and loss rate, which provide conditions for the existence of informational steady-states (ISSs), i.e. stationary states of a condition…
We prove a simple uniform continuity bound for the sandwiched Rényi conditional entropy for $α\in [1/2, 1) \cup (1, \infty]$, which is independent of the dimension of the conditioning system.
We prove the quantum conditional Entropy Power Inequality for quantum additive noise channels. This inequality lower bounds the quantum conditional entropy of the output of an additive noise channel in terms of the quantum conditional entropies of the input state and the noise when they are conditionally independent given the memory. We also show that this conditional Entropy Power Inequality is optimal in the sense that we can achieve equality asymptotically by choosing a suitable sequence of Gaussian input states. We apply the conditional Entropy Power Inequality to find an array of informat…
We use a novel form of quantum conditional probability to define new measures of quantum information in a dynamical context. We explore relationships between our new quantities and standard measures of quantum information, such as von Neumann entropy. These quantities allow us to find new proofs of some standard results in quantum information theory, such as the concavity of von Neumann entropy and Holevo's theorem. The existence of an underlying probability distribution helps shed light on the conceptual underpinnings of these results.
The existence of a positive log-Sobolev constant implies a bound on the mixing time of a quantum dissipative evolution under the Markov approximation. For classical spin systems, such constant was proven to exist, under the assumption of a mixing condition in the Gibbs measure associated to their dynamics, via a quasi-factorization of the entropy in terms of the conditional entropy in some sub-$σ$-algebras. In this work we analyze analogous quasi-factorization results in the quantum case. For that, we define the quantum conditional relative entropy and prove several quasi-factorization results…
The conditional entropy power inequality is a fundamental inequality in information theory, stating that the conditional entropy of the sum of two conditionally independent vector-valued random variables each with an assigned conditional entropy is minimum when the random variables are Gaussian. We prove the conditional entropy power inequality in the scenario where the conditioning system is quantum. The proof is based on the heat semigroup and on a generalization of the Stam inequality in the presence of quantum conditioning. The entropy power inequality with quantum conditioning will be a k…
In this short note, I show how a recent result of Alhejji and Smith [arXiv:1909.00787] regarding an optimal uniform continuity bound for classical conditional entropy leads to an optimal uniform continuity bound for quantum conditional entropy of classical--quantum states. The bound is optimal in the sense that there always exists a pair of classical--quantum states saturating the bound, and so no further improvements are possible. An immediate application is a uniform continuity bound for entanglement of formation that improves upon the one previously given by Winter in [arXiv:1507.07775]. Tw…
The act of measuring a system has profound consequences of dynamical and thermodynamic nature. In particular, the degree of irreversibility ensuing from a non-equilibrium process is strongly affected by measurements aimed at acquiring information on the state of a system of interest: the conditional and unconditional entropy production, which quantify the degree of irreversibility of the open system's dynamics, are related to each other by clearly interpreted informational quantities. Building on a recently proposed collisional-model framework [G. T. Landi {\it et al.}, arXiv:2103.06247], we i…
An exact canonical master equation of the Lindblad form is derived for a central spin interacting uniformly with a sea of completely unpolarized spins. The Kraus operators for the dynamical map are also derived. The non-Markovianity of the dynamics in terms of the divisibility breaking of the dynamical map and increase of the trace distance fidelity between quantum states is shown. Moreover, it is observed that the irreversible entropy production rate is always negative (for a fixed initial state) whenever the dynamics exhibits non-Markovian behavior. In continuation with the study of witnessi…
In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. The latter inequality, which we call approximate tensorization of the relative entropy, can be expressed as a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive co…
Randomness extraction against side information is the art of distilling from a given source a key which is almost uniform conditioned on the side information. This paper provides randomness extraction against quantum side information whose extractable key length is given by a quantum generalization of the collision entropy, which is smoothed and conditioned differently from how this is done in existing schemes. Based on the fact that the collision entropy is not subadditive, its optimization with respect to additional side information is introduced, and is shown to be asymptotically optimal. T…
Quantum states can be subjected to classical measurements, whose incompatibility, or uncertainty, can be quantified by a comparison of certain entropies. There is a long history of such entropy inequalities between position and momentum. Recently these inequalities have been generalized to the tensor product of several Hilbert spaces and we show here how their derivations can be shortened to a few lines and how they can be generalized. All the recently derived uncertainty relations utilize the strong subadditivity (SSA) theorem; our contribution relies on directly utilizing the proof technique…
We consider a family of quantum conditional entropies based on the concept of quantum $f$-divergences. First, we explicitly formulate conditions under which the notion of quantum conditional entropy is well defined in this way. In particular, we demand that the value of conditional entropy be independent of any extension of the principal Hilbert space. Using fundamental properties of the quantum $f$-divergences, several interesting relations for such conditional entropies are formulated. We separately examine an especially important case of quantum conditional entropies related to the Tsallis …
Recently, Anshu et al. introduced "partially" smoothed information measures and used them to derive tighter bounds for several information-processing tasks, including quantum state merging and privacy amplification against quantum adversaries [arXiv:1807.05630 [quant-ph]]. Yet, a tight second-order asymptotic expansion of the partially smoothed conditional min-entropy in the i.i.d. setting remains an open question. Here we establish the second-order term in the expansion for pure states, and find that it differs from that of the original "globally" smoothed conditional min-entropy. Remarkably,…
We present a bouquet of continuity bounds for quantum entropies, falling broadly into two classes: First, a tight analysis of the Alicki-Fannes continuity bounds for the conditional von Neumann entropy, reaching almost the best possible form that depends only on the system dimension and the trace distance of the states. Almost the same proof can be used to derive similar continuity bounds for the relative entropy distance from a convex set of states or positive operators. As applications we give new proofs, with tighter bounds, of the asymptotic continuity of the relative entropy of entangleme…
