Quantum non-Markovianity in tripartite quantum states ρABC represents a correlation between systems A and C when conditioned on the system B and is known to have both classical and quantum contributions. However, a systematic characterization of the latter is missing. To address this, we propose a faithful measure for non-Markovianity of genuine quantum origin called squashed quantum non-Markovianity (sQNM). It is based on the quantum conditional mutual information and is defined by the left-over non-Markovianity after squashing out all non-quantum contributions. It is lower bounded by the squashed entanglement between non-conditioning systems in the reduced state and is delimited by the extendibility of either of the non-conditioning systems. We show that the sQNM is monogamous, asymptotically continuous, convex, additive on tensor-product states, and generally super-additive. We characterize genuine quantum non-Markovianity as a resource via a convex resource theory after identifying free states with vanishing sQNM and free operations that do not increase sQNM in states. We use our resource-theoretic framework to bound the rate of state transformations under free operations and to study state transformation under non-free operations; in particular, we find the quantum communication cost from Bob ( B ) to Alice ( A ) or Charlie ( C ) is lower bounded by the change in sQNM in the states. The sQNM finds operational meaning; in particular, the optimal rate of private communication in a variant of conditional one-time pad protocol is twice the sQNM. Also, the minimum deconstruction cost for a variant of quantum deconstruction protocol is given twice the sQNM of the state.
Quantum non-Markovianity in tripartite quantum states ρABC represents a correlation between systems A and C when conditioned on the system B and is known to have both classical and quantum contributions. However, a systematic characterization of the latter is missing. To address this, we propose a faithful measure for non-Markovianity of genuine quantum origin called squashed quantum non-Markovianity (sQNM). It is based on the quantum conditional mutual information and is defined by the left-over non-Markovianity after squashing out all non-quantum contributions. It is lower bounded by the squashed entanglement between non-conditioning systems in the reduced state and is delimited by the extendibility of either of the non-conditioning systems. We show that the sQNM is monogamous, asymptotically continuous, convex, additive on tensor-product states, and generally super-additive. We characterize genuine quantum non-Markovianity as a resource via a convex resource theory after identifying free states with vanishing sQNM and free operations that do not increase sQNM in states. We use our resource-theoretic framework to bound the rate of state transformations under free operations and to study state transformation under non-free operations; in particular, we find the quantum communication cost from Bob ( B ) to Alice ( A ) or Charlie ( C ) is lower bounded by the change in sQNM in the states. The sQNM finds operational meaning; in particular, the optimal rate of private communication in a variant of conditional one-time pad protocol is twice the sQNM. Also, the minimum deconstruction cost for a variant of quantum deconstruction protocol is given twice the sQNM of the state.
To quantify non-Markovianity of tripartite quantum states from an operational viewpoint, we introduce a class Ω° of operations performed by three distant parties. A tripartite quantum state is a free state under Ω° if and only if it is a quantum Markov chain. We introduce a function of tripartite quantum states that we call the non-Markovianity of formation, and prove that it is a faithful measure of non-Markovianity, which is continuous and monotonically nonincreasing under a subclass Ω of Ω°. We consider a task in which the three parties generate a non-Markov state from scratch by operations in Ω, assisted with quantum communication from the third party to the others, which does not belong to Ω. We prove that the minimum cost of quantum communication required therein is asymptotically equal to the regularized non-Markovianity of formation. Based on this result, we provide a direct operational meaning to a measure of bipartite entanglement called the c-squashed entanglement.
Entanglement in many-body quantum systems is distributed across spatial regions, where its structure often dictates the information-processing capabilities of the state. Yet, characterizing the entanglement structure, especially for mixed states, remains a challenge. In this work, we propose hysteretic squashed entanglement Tsq, a conditional entanglement monotone that measures the genuine quantum correlations between two subregions, conditioned on a third region, in a many-body quantum state. Tsq is upper bounded by the convex-roof extension of quantum conditional mutual information and exhibits several desirable properties like monogamy, convexity, asymptotic continuity, faithfulness, and additivity for tensor-product states. We study the conditional entanglement generation in a one-dimensional transverse-field Ising model under quench, where we show that Tsq effectively squashes classical contributions and can detect genuine quantum correlations across both adjacent and long-range subsystems. We elucidate the utility of this measure as a robust quantifier of topological entanglement entropy for mixed states. This opens new operational resource-theoretic avenues for probing topological order and criticality.
In order to analyze non-Markovianity of tripartite quantum states from a resource theoretical viewpoint, we introduce a class of quantum operations performed by three distant parties, and investigate an operational resource theory (ORT) induced it. A tripartite state is a free state if and only if it is a quantum Markov chain. We prove monotonicity of functions such as the conditional quantum mutual information, intrinsic information, squashed entanglement, a generalization of entanglement of purification, and the relative entropy of recovery. The ORT has five bound sets, each of which corresponds to one of the monotone functions. We introduce a task of "non-Markovianity dilution", and prove that the optimal rate for the task, namely the "non-Markovianity cost", is bounded from above by entanglement of purification in the case of pure states. We also propose a classical resource theory of non-Markovianity.
In this paper, we present a new entanglement monotone for bipartite quantum states. Its definition is inspired by the so-called intrinsic information of classical cryptography and is given by the halved minimum quantum conditional mutual information over all tripartite state extensions. We derive certain properties of the new measure which we call “squashed entanglement”: it is a lower bound on entanglement of formation and an upper bound on distillable entanglement. Furthermore, it is convex, additive on tensor products, and superadditive in general. Continuity in the state is the only property of our entanglement measure which we cannot provide a proof for. We present some evidence, however, that our quantity has this property, the strongest indication being a conjectured Fannes-type inequality for the conditional von Neumann entropy. This inequality is proved in the classical case.
This paper defines the fidelity of recovery of a tripartite quantum state on systems A,B, and C as a measure of how well one can recover the full state on all three systems if system A is lost and a recovery operation is performed on system C alone. The surprisal of the fidelity of recovery (its negative logarithm) is an information quantity which obeys nearly all of the properties of the conditional quantum mutual information I(A;B∣C), including non-negativity, monotonicity with respect to local operations, duality, invariance with respect to local isometries, a dimension bound, and continuity. We then define a (pseudo) entanglement measure based on this quantity, which we call the ``geometric squashed entanglement.'' We prove that the geometric squashed entanglement is a 1-LOCC monotone (i.e., monotone nonincreasing with respect to local operations and classical communication from Bob to Alice), that it vanishes if and only if the state on which it is evaluated is unentangled, and that it reduces to the geometric measure of entanglement if the state is pure. We also show that it is invariant with respect to local isometries, subadditive, continuous, and normalized on maximally entangled states. We next define the surprisal of measurement recoverability, which is an information quantity in the spirit of quantum discord, characterizing how well one can recover a share of a bipartite state if it is measured. We prove that this discordlike quantity satisfies several properties, including non-negativity, faithfulness on classical-quantum states, invariance with respect to local isometries, a dimension bound, and normalization on maximally entangled states. This quantity, combined with a recent breakthrough of Fawzi and Renner, makes it possible to characterize states with discord nearly equal to zero as being approximate fixed points of entanglement-breaking channels (equivalently, they are recoverable from the state of a measuring apparatus). Finally, we discuss a multipartite fidelity of recovery and several of its properties.
The squashed entanglement quantifies the amount of entanglement in a bipartite quantum state, and it satisfies all of the axioms desired for an entanglement measure. The quantum discord is a measure of quantum correlations that are different from those due to entanglement. What these two measures have in common is that they are both based upon the conditional quantum mutual information. In Berta et al (2015 J. Math. Phys. 56 022205), we recently proposed Rényi generalizations of the conditional quantum mutual information of a tripartite state on ABC (with C being the conditioning system), which were shown to satisfy some properties that hold for the original quantity, such as non-negativity, duality, and monotonicity with respect to local operations on the system B (with it being left open to show that the Rényi quantity is monotone with respect to local operations on system A). Here we define a Rényi squashed entanglement and a Rényi quantum discord based on a Rényi conditional quantum mutual information and investigate these quantities in detail. Taking as a conjecture that the Rényi conditional quantum mutual information is monotone with respect to local operations on both systems A and B, we prove that the Rényi squashed entanglement and the Rényi quantum discord satisfy many of the properties of the respective original von Neumann entropy based quantities. In our prior work (Berta et al 2015 Phys. Rev. A 91 022333), we also detailed a procedure to obtain Rényi generalizations of any quantum information measure that is equal to a linear combination of von Neumann entropies with coefficients chosen from the set . Here, we extend this procedure to include differences of relative entropies. Using the extended procedure and a conjectured monotonicity of the Rényi generalizations in the Rényi parameter, we discuss potential remainder terms for well known inequalities such as monotonicity of the relative entropy, joint convexity of the relative entropy, and the Holevo bound.