Quantum conditional mutual information and approximate Markov chains
Omar Fawzi, Renato Renner
备注：
v3: 31 pages, corrected error in dimension factor for the application to squashed entanglement (Corollary D.3) and added some clarifications and remarks. v2: 30 pages, improved introduction and added application to squashed entanglement
A state on a tripartite quantum system $A \otimes B \otimes C$ forms a Markov chain if it can be reconstructed from its marginal on $A \otimes B$ by a quantum operation from $B$ to $B \otimes C$. We show that the quantum conditional mutual information $I(A: C | B)$ of an arbitrary state is an upper bound on its distance to the closest reconstructed state. It thus quantifies how well the Markov chain property is approximated.
In previous papers, we expressed the Entanglement of Formation in terms of Conditional Mutual Information (CMI). In this brief paper, we express the Entanglement of Distillation in terms of CMI.
We study the classical, classical-quantum, and quantum parts of conditional mutual information in the ``system-environment-ancilla'' setting of open quantum systems. We perform the separation of conditional mutual information by generalizing the classification of correlations of quantum states. The condition for identifying the classical part of conditional mutual information is given by adapting the no-local-broadcasting theorem to this setting, while the condition for classical-quantum part of conditional mutual information is obtained by considering the multipartite quantum discord and the …
In this paper, we study measures of quantum non-Markovianity based on the conditional mutual information. We obtain such measures by considering multiple parts of the total environment such that the conditional mutual information can be defined in this multipartite setup. The benefit of this approach is that the conditional mutual information is closely related to recovery maps and Markov chains; we also point out its relations with the change of distinguishability. We study along the way the properties of leaked information which is the conditional mutual information that can be back flowed, …
We study the relation between the quantum conditional mutual information and the quantum $α$-Rényi divergences. Considering the totally antisymmetric state we show that it is not possible to attain a proper generalization of the quantum conditional mutual information by optimizing the distance in terms of quantum $α$-Rényi divergences over the set of all Markov states. The failure of the approach considered arises from the observation that a small quantum conditional mutual information does not imply that the state is close to a quantum Markov state.
Based on the monogamy of entanglement, we develop the technique of quantum conditioning to build an {\it additive} entanglement measure: the conditional entanglement of mutual information. Its {\it operational} meaning is elaborated to be the minimal net "flow of qubits" in the process of partial state merging. The result and conclusion can also be generalized to multipartite entanglement cases.
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…
We introduce a new concept called as the mutual uncertainty between two observables in a given quantum state which enjoys similar features like the mutual information for two random variables. Further, we define the conditional uncertainty as well as conditional variance and show that conditioning on more observable reduces the uncertainty. Given three observables, we prove a 'strong sub-additivity' relation for the conditional uncertainty under certain condition. As an application, we show that using the conditional variance one can detect bipartite higher dimensional entangled states. The ef…
Quantum steering has recently been formalized in the framework of a resource theory of steering, and several quantifiers have already been introduced. Here, we propose an information-theoretic quantifier for steering called intrinsic steerability, which uses conditional mutual information to measure the deviation of a given assemblage from one having a local hidden-state model. We thus relate conditional mutual information to quantum steering and introduce monotones that satisfy certain desirable properties. The idea behind the quantifier is to suppress the correlations that can be explained b…
We discuss the notions of mutual information and conditional information for noncomposite systems, classical and quantum; both the mutual information and the conditional information are associated with the presence of hidden correlations in the state of a single qudit. We consider analogs of the entanglement phenomena in the systems without subsystems related to strong hidden quantum correlations.
The connection between quantum state recovery and quantum conditional mutual information (QCMI) is studied for the class of purely generated finitely correlated states (pgFCS) of one-dimensional quantum spin chains. For a tripartition of the chain into two subsystems separated by a buffer region, it is shown that a pgFCS is an approximate quantum Markov chain, and stronger, may be approximated by a quantum Markov chain in trace distance, with an error exponentially small in the buffer size. This implies that, (1) a locally corrupted state can be approximately recovered by action of a quantum c…
We investigate the dynamics of information among the parties of tripartite systems. We start by proving two results concerning the monogamy of mutual information. The first one states that mutual information is monogamous for generic tripartite pure states. The second shows that in general mutual information is monogamous only if the amount of genuine tripartite correlations is large enough. Then, we analyze the internal dynamics of tripartite systems whose parties do not exchange energy. In particular, we allow for one of the subsystems to play the role of a finite thermal bath. As a result, …
For classical Markovian stochastic systems, past and future events become statistically independent when conditioned to a given state at the present time. Memory non-Markovian effects break this condition, inducing a non-vanishing conditional past-future correlation. Here, this classical memory indicator is extended to a quantum regime, which provides an operational definition of quantum non-Markovianity based on a minimal set of three time-ordered quantum system measurements and post-selection. The detection of memory effects through the measurement scheme is univocally related to departures …
Memory effects can be studied through a conditional past-future correlation, which measures departure with respect to a conditional past-future independence valid in a memoryless Markovian regime. In a quantum regime this property leads to an operational definition of quantum non-Markovianity based on three consecutive system measurement processes and postselection [Budini, Phys. Rev. Lett. 121, 240401 (2018)]. Here, we study the conditional past-future correlation for a qubit system coupled to different dephasing environments. Exact solutions are obtained for a quantum spin bath as well as fo…
We show that the separability of states in quantum mechanics has a close counterpart in classical physics, and that conditional mutual information (a.k.a. conditional information transmission) is a very useful quantity in the study of both quantum and classical separabilities. We also show how to define entanglement of formation in terms of conditional mutual information. This paper lays the theoretical foundations for a sequel paper which will present a computer program that can calculate a decomposition of any separable quantum or classical state.
If the conditional information of a classical probability distribution of three random variables is zero, then it obeys a Markov chain condition. If the conditional information is close to zero, then it is known that the distance (minimum relative entropy) of the distribution to the nearest Markov chain distribution is precisely the conditional information. We prove here that this simple situation does not obtain for quantum conditional information. We show that for tri-partite quantum states the quantum conditional information is always a lower bound for the minimum relative entropy distance …
A simpler approach to the characterization of vanishing conditional mutual information is presented. Some remarks are given as well. More specifically, relating the conditional mutual information to a commutator is a very promising approach towards the approximate version of SSA. That is, it is conjectured that small conditional mutual information implies small perturbation of quantum Markov chain.
In this paper, a lower bound of quantum conditional mutual information is obtained by employing the Peierls-Bogoliubov inequality and Golden Thompson inequality. Comparison with the bounds obtained by other researchers indicates that our result is independent of any measurements. It may give some new insights over squashed entanglement and perturbations of Markov chain states.
In [Berta 2014 Entanglement], uncertainty relations in the presence of quantum memory was formulated for mutually unbiased bases using conditional collision entropy. In this paper, we generalize their results to the mutually unbiased measurements. Our primary result is an equality between the amount of uncertainty for a set of measurements and the amount of entanglement of the measured state, both of which are quantified by the conditional collision entropy. Implications of this equality relation are discussed. We further show that similar equality relation can be obtained for generalized symm…
We prove that the quantum Gibbs states of spin systems above a certain threshold temperature are approximate quantum Markov networks, meaning that the conditional mutual information decays rapidly with distance. We demonstrate the exponential decay for short-ranged interacting systems and power-law decay for long-ranged interacting systems. Consequently, we establish the efficiency of quantum Gibbs sampling algorithms, a strong version of the area law, the quasi-locality of effective Hamiltonians on subsystems, a clustering theorem for mutual information, and a polynomial-time algorithm for cl…
Quantum conditional mutual information and channel capacity
Institute of Theoretical Physics, Chinese Academy of Sciences（中国科学院理论物理研究所）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）
It is well known that the quantum mutual information and its conditional version do not increase under local channels. I this paper we show that the recently established lower semicontinuity of the quantum conditional mutual information implies (in fact, is equivalent to) the lower semicontinuity of the loss of the quantum (conditional) mutual information under local channels considered as a function on the Cartesian product of the set of all states of a composite system and the sets of all local channels (equipped with the strong convergence). Some applications of this property are considered…
A prominent tool to study the dynamics of open quantum systems is the reduced density matrix. Yet, approaching open quantum systems by means of state vectors has well known computational advantages. In this respect, the physical meaning of the so-called conditional states in Markovian and non-Markovian scenarios has been a topic of recent debate in the construction of stochastic Schrödinger equations. We shed light on this discussion by acknowledging the Bohmian conditional wavefunction as the proper mathematical object to represent, in terms of state vectors, an arbitrary subset of degrees of…
The conditional quantum mutual information $I(A;B|C)$ of a tripartite state $ρ_{ABC}$ is an information quantity which lies at the center of many problems in quantum information theory. Three of its main properties are that it is non-negative for any tripartite state, that it decreases under local operations applied to systems $A$ and $B$, and that it obeys the duality relation $I(A;B|C)=I(A;B|D)$ for a four-party pure state on systems $ABCD$. The conditional mutual information also underlies the squashed entanglement, an entanglement measure that satisfies all of the axioms desired for an ent…
In this paper we consider the problem of extracting secret key from an eavesdropped source $p_{XYZ}$ at a rate given by the conditional mutual information. We investigate this question under three different scenarios: (i) Alice ($X$) and Bob ($Y$) are unable to communicate but share common randomness with the eavesdropper Eve ($Z$), (ii) Alice and Bob are allowed one-way public communication, and (iii) Alice and Bob are allowed two-way public communication. Distributions having a key rate of the conditional mutual information are precisely those in which a "helping" Eve offers Alice and Bob no…
The conditional mutual information (CMI) $\mathcal{I}(A\! : \! C|B)$ quantifies the amount of correlations shared between $A$ and $C$ \emph{given} $B$. It therefore functions as a more general quantifier of bipartite correlations in multipartite scenarios, playing an important role in the theory of quantum Markov chains. In this paper we carry out a detailed study on the behavior of the CMI in non-equilibrium steady-states (NESS) of a quantum chain placed between two baths at different temperatures. These results are used to shed light on the mechanisms behind ballistic and diffusive transport…
Univ. Grenoble Alpes, CNRS, Grenoble INP, LIG（格勒诺布尔阿尔卑斯大学、法国国家科学研究中心、格勒诺布尔理工学院、信息学实验室）；Department of Mathematics, Technische Universität München（慕尼黑工业大学数学系）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）；Mathematical Institute, Slovak Academy of Sciences（斯洛伐克科学院数学研究所）
Renormalization group and long-range conditional mutual information in hierarchical models
University of California at San Diego（圣地亚哥加利福尼亚大学）；Kavli Institute for Theoretical Physics, University of California, Santa Barbara（加州大学圣巴巴拉分校卡弗里理论物理研究所）
We prove that any one-dimensional (1D) quantum state with small quantum conditional mutual information in all certain tripartite splits of the system, which we call a quantum approximate Markov chain, can be well-approximated by a Gibbs state of a short-range quantum Hamiltonian. Conversely, we also derive an upper bound on the (quantum) conditional mutual information of Gibbs states of 1D short-range quantum Hamiltonians. We show that the conditional mutual information between two regions A and C conditioned on the middle region B decays exponentially with the square root of the length of B. …
Graphical models of probabilistic dependencies have been extensively investigated in the context of classical uncertainty. However, in some domains (most notably, in computational physics and quantum computing) the nature of the relevant uncertainty is non-classical, and the laws of classical probability theory are superseded by those of quantum mechanics. In this paper we introduce Markovian Entanglement Networks (MEN), a novel class of graphical representations of quantum-mechanical dependencies in the context of such non-classical systems. MEN are the quantum-mechanical analogue of Markovia…
We revisit the problem of asymmetric binary hypothesis testing against a composite alternative hypothesis. We introduce a general framework to treat such problems when the alternative hypothesis adheres to certain axioms. In this case we find the threshold rate, the optimal error and strong converse exponents (at large deviations from the threshold) and the second order asymptotics (at small deviations from the threshold). We apply our results to find operational interpretations of various Renyi information measures. In case the alternative hypothesis is comprised of bipartite product distribu…
We consider universal methods for obtaining (uniform) continuity bounds for characteristics of multipartite quantum systems. We pay a special attention to infinite-dimensional multipartite quantum systems under the energy constraints. By these methods we obtain continuity bounds for several important characteristics of a multipartite quantum state: the quantum (conditional) mutual information, the squashed entanglement, the c-squashed entanglement and the conditional entanglement of mutual information. The continuity bounds for the multipartite quantum mutual information are asymptotically tig…
One way to diagnose chaos in bipartite unitary channels is via the tripartite information of the corresponding Choi state, which for certain choices of the subsystems reduces to the negative conditional mutual information (CMI). We study this quantity from a quantum information-theoretic perspective to clarify its role in diagnosing scrambling. When the CMI is zero, we find that the channel has a special normal form consisting of local channels between individual inputs and outputs. However, we find that arbitrarily low CMI does not imply arbitrary proximity to a channel of this form, although…
An extension of the conditional expectations (those under a given subalgebra of events and not the simple ones under a single event) from the classical to the quantum case is presented. In the classical case, the conditional expectations always exist; in the quantum case, however, they exist only if a certain weak compatibility criterion is satisfied. This compatibility criterion was introduced among others in a recent paper by the author. Then, state-independent conditional expectations and quantum Markov processes are studied. A classical Markov process is a probability measure, together wit…
A variety of new measures of quantum Renyi mutual information and quantum Renyi conditional entropy have recently been proposed, and some of their mathematical properties explored. Here, we show that the Renyi mutual information attains operational meaning in the context of composite hypothesis testing, when the null hypothesis is a fixed bipartite state and the alternate hypothesis consists of all product states that share one marginal with the null hypothesis. This hypothesis testing problem occurs naturally in channel coding, where it corresponds to testing whether a state is the output of …
We start with Fannes' type and Winter's type tight continuity bounds for the quantum conditional mutual information and their specifications for states of special types. Then we analyse continuity of the Holevo quantity with respect to nonequivalent metrics on the set of discrete ensembles of quantum states. We show that the Holevo quantity is continuous on the set of all ensembles of m states with respect to all the metrics if either m or the dimension of underlying Hilbert space is finite and obtain Fannes' type tight continuity bounds for the Holevo quantity in this case. In general case co…
Quantum information measures such as the entropy and the mutual information find applications in physics, e.g., as correlation measures. Generalizing such measures based on the Rényi entropies is expected to enhance their scope in applications. We prescribe Rényi generalizations for any quantum information measure which consists of a linear combination of von Neumann entropies with coefficients chosen from the set {-1,0,1}. As examples, we describe Rényi generalizations of the conditional quantum mutual information, some quantum multipartite information measures, and the topological entangleme…
