When a measurement is made on a quantum system in which classical information is encoded, the measurement reduces the observers average Shannon entropy for the encoding ensemble. This reduction, being the {\em mutual information}, is always non-negative. For efficient measurements the state is also purified; that is, on average, the observers von Neumann entropy for the state of the system is also reduced by a non-negative amount. Here we point out that by re-writing a bound derived by Hall [Phys. Rev. A {\bf 55}, 100 (1997)], which is dual to the Holevo bound, one finds that for efficient measurements, the mutual information is bounded by the reduction in the von Neumann entropy. We also show that this result, which provides a physical interpretation for Hall's bound, may be derived directly from the Schumacher-Westmoreland-Wootters theorem [Phys. Rev. Lett. {\bf 76}, 3452 (1996)]. We discuss these bounds, and their relationship to another bound, valid for efficient measurements on pure state ensembles, which involves the subentropy.
We introduce a measure of both quantum as well as classical correlations in a quantum state, the entanglement of purification. We show that the (regularized) entanglement of purification is equal to the entanglement cost of creating a state $ρ$ asymptotically from maximally entangled states, with negligible communication. We prove that the classical mutual information and the quantum mutual information divided by two are lower bounds for the regularized entanglement of purification. We present numerical results of the entanglement of purification for Werner states in ${\cal H}_2 \otimes {\cal …
In this note we introduce purification for a pair $(ρ,Φ),$ where $ρ$ is a quantum state and $Φ$ is a channel, which allows in particular a natural extension of the properties of related information quantities (such as mutual and coherent informations) to the channels with arbitrary input and output spaces.
We compute the entanglement of purification (EoP) in a 2d free scalar field theory with various masses. This quantity measures correlations between two subsystems and is reduced to the entanglement entropy when the total system is pure. We obtain explicit numerical values by assuming minimal gaussian wave functionals for the purified states. We find that when the distance between the subsystems is large, the EoP behaves like the mutual information. However, when the distance is small, the EoP shows a characteristic behavior which qualitatively agrees with the conjectured holographic computatio…
We introduce a new information-theoretic measure of multipartite quantum/classical correlations $Δ_P$, by generalizing the entanglement of purification to multipartite states. We provide proofs of its various properties, focusing on several entropic inequalities, in generic quantum systems. In particular, it turns out that the multipartite entanglement of purification gives an upper bound on multipartite mutual information, which is a generalization of quantum mutual information in the spirit of relative entropy. After that, motivated by a tensor network description of the AdS/CFT corresponden…
We derive lower bounds for the attainable fidelity of standard entanglement purification protocols when local operations and measurements are subjected to errors. We introduce an error parameter which measures the distance between the ideal completely positive map describing a purification step and the one in the presence of errors. We derive non--linear maps for a lower bound of the fidelity at each purification step in terms of this parameter.
We study the conjectured holographic duality between entanglement of purification and the entanglement wedge cross-section. We generalize both quantities and prove several information theoretic inequalities involving them. These include upper bounds on conditional mutual information and tripartite information, as well as a lower bound for tripartite information. These inequalities are proven both holographically and for general quantum states. In addition, we use the cyclic entropy inequalities to derive a new holographic inequality for the entanglement wedge cross-section, and provide numeric…
A method for producing an upper bound for all multipartite purification protocols is devised, based on knowing the optimal protocol for purifying bipartite states. When applied to a range of noise models, both local and correlated, the optimality of certain protocols can be demonstrated for a variety of graph and valence bond states.
In this paper, we place bounds on when it is impossible to purify a noisy two-qubit state if all the gates used in the purification protocol are subject to adversarial local, independent, noise. It is found that the gate operations must be subject to less than 5.3% error. An existing proof that purification is equivalent to error correction is used to show that this bound can also be applied to concatenated error correcting codes in the presence of noisy gates, and hence gives a limit to the tolerable error rate for a fault-tolerant quantum computer formed by concatenation. This is shown to ap…
Finding pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace is necessarily a challenging task. Nevertheless, such purifications play the key role in characterizing quantum information-theoretic properties of mixed states via entanglement and complexity of purifications. In this article, we analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories using, for the first time, the~most general Gaussian purifications. We provide a comprehensive comparison with existing results and identif…
Entanglement of purification was introduced by Terhal et al. for characterizing the bound of the generation of correlated states from maximally entangled states with sublinear size of classical communication. On the other hand, M. Horodecki obtained the optimal compression rate with a mixed states ensemble in the visible setting. In this paper, we prove that the optimal visible compression rate for mixed states is equal to the limit of the regularized entanglement of purification of the state corresponding to the given ensemble. This result gives a new interpretation to the entanglement of pur…
Area laws are a far-reaching consequence of the locality of physical interactions, and they are relevant in a range of systems, from black holes to quantum many-body systems. Typically, these laws concern the entanglement entropy or the quantum mutual information of a subsystem at a single time. However, when considering information propagating in spacetime, while carried by a physical system with local interactions, it is intuitive to expect area laws to hold for spacetime regions; in this work, we prove such a law in the case of quantum lattice systems. We consider a sequence of local quantu…
Chaotic transverse-field Ising model with measurements exhibits interesting purification dynamics. Ensemble of non-unitary dynamics of a chaotic many-body system with measurements exhibits a purification phase transition. We numerically find that the law of the increase dynamics of the purity changes by projective measurements in the model. In order to study this behavior in detail, we construct the formalism of the tripartite mutual information (TMI) for non-unitary time evolution operator by using the state-channel map. The numerical result of the saturation value of the TMI indicates the ex…
Tsinghua University（清华大学）；Freie Universität Berlin（柏林自由大学）；Helmholtz-Zentrum Berlin für Materialien und Energie（柏林亥姆霍兹材料与能源中心）；University of Oxford（牛津大学）
Entanglement purification takes a number of noisy EPR pairs and processes them to produce a smaller number of more reliable pairs. If this is done with only a forward classical side channel, the procedure is equivalent to using a quantum error-correcting code (QECC). We instead investigate entanglement purification protocols with two-way classical side channels (2-EPPs) for finite block sizes. In particular, we consider the analog of the minimum distance problem for QECCs, and show that 2-EPPs can exceed the quantum Hamming bound and the quantum Singleton bound. We also show that 2-EPPs can ac…
Quantifying entanglement properties of mixed states in quantum field theory via entanglement of purification and reflected entropy is a new and challenging subject. In this work, we study both quantities for two spherical subregions far away from each other in the vacuum of a conformal field theory in any number of dimensions. Using lattice techniques, we find an elementary proof that the decay of both, the entanglement of purification and reflected entropy, is enhanced with respect to the mutual information behaviour by a logarithm of the distance between the subregions. In the case of the Is…
Purification of mixed states in Quantum Mechanics, by which we mean the transformation into pure states, has been viewed as an {\it Operation} in the sense of Kraus et al and explicit {\it Kraus Operators} \cite{kra1,kra2,kra3} have been constructed for two seperate purification protocols. The first one, initially due to Schrodinger \cite{sch} and subsequently elaborated by Sudarshan et al \cite{sudar}, is based on the {\it preservation of probabilities}. We have constructed a second protocol here based on {\it optimization of fidelities}. Both purification protocols have been implemented on a…
The Shannon's bound for compression is one of the key restrictions for the compression of quantum information. Here we show that the unitarity of the compression operation imposes new bounds on the compression that are more limiting than Shannon's compression bound. This translates to a no-go theorem for the purification of quantum states. For a specific case of a two-qubit system, our results indicate that it is not possible to distill purity beyond the maximum of the individual purities. We show that this restriction results in the cooling limit of the heat-bath algorithmic cooling technique…
In this paper we have analysed in detail two different purification protocols. The first one, proposed by Sudarshan, is based on the preservation of probabilities.We have constructed a second protocol here based on optimisation of fidelities. We have considered both complete and partial measurements and have established bounds and inequalities for various fidelities. For every type of measurement, we have analysed post-measurement states based on the Maximum entropy principle as well as what we have proposed as unbiased states. We show that our purification protocol always leads to better stat…
We generalize previously proposed conditions each measure of entanglement has to satisfy. We present a class of entanglement measures that satisfy these conditions and show that the Quantum Relative Entropy and Bures Metric generate two measures of this class. We calculate the measures of entanglement for a number of mixed two spin 1/2 systems using the Quantum Relative Entropy, and provide an efficient numerical method to obtain the measures of entanglement in this case. In addition, we prove a number of properties of our entanglement measure which have important physical implications. We bri…
Record Loss Sets a Rare-Trajectory Limit on Quantum Purification
School of Instrumentation and Optoelectronic Engineering, Beihang University（北京航空航天大学仪器科学与光电工程学院）；Institute of Large-Scale Scientific Facility, Beihang University（北京航空航天大学大型科学装置研究院）；Hangzhou Institute of Extremely-Weak Magnetic Field Major National Science and Technology Infrastructure（杭州极弱磁场重大科技基础设施研究院）；Hangzhou Innovation Institute, Beihang University（北京航空航天大学杭州创新研究院）
Rapid-purification by feedback --- specifically, reducing the mean impurity faster than by measurement alone --- can be achieved by making the eigenbasis of the density matrix to be unbiased relative to the measurement basis. Here we further examine the protocol introduced by Combes and Jacobs [Phys.Rev.Lett. {\bf 96}, 010504 (2006)] involving continuous measurement of the observable $J_z$ for a $D$-dimensional system. We rigorously re-derive the lower bound $(2/3)(D+1)$ on the achievable speed-up factor, and also an upper bound, namely $D^2/2$, for all feedback protocols that use measurements…
Two separated observers, by applying local operations to a supply of not-too-impure entangled states ({\em e.g.} singlets shared through a noisy channel), can prepare a smaller number of entangled pairs of arbitrarily high purity ({\em e.g.} near-perfect singlets). These can then be used to faithfully teleport unknown quantum states from one observer to the other, thereby achieving faithful transfrom one observer to the other, thereby achieving faithful transmission of quantum information through a noisy channel. We give upper and lower bounds on the yield $D(M)$ of pure singlets ($\ket{Ψ^-}$)…
Continuously monitoring the environment of a quantum many-body system reduces the entropy of (purifies) the reduced density matrix of the system, conditional on the outcomes of the measurements. We show that, for mixed initial states, a balanced competition between measurements and entangling interactions within the system can result in a dynamical purification phase transition between (i) a phase that locally purifies at a constant system-size-independent rate, and (ii) a "mixed" phase where the purification time diverges exponentially in the system size. The residual entropy density in the m…
We investigate entanglement of purification in conformal field theory. By using Reeh-Schlieder theorem, we construct a set of the purification states for $ρ_{AB}$, where $ρ_{AB}$ is reduced density matrix for subregion $AB$ of a global state $ρ$. The set can be approximated by acting all the unitary observables,located in the complement of subregion $AB$, on the global state $ρ$, as long as the global state $ρ$ is \text{cyclic} for every local algebra, e.g., the vacuum state. Combining with the gravity explanation of unitary operations in the context of the so-called surface/state corresponden…
We prove tight entropic uncertainty relations for a large number of mutually unbiased measurements. In particular, we show that a bound derived from the result by Maassen and Uffink for 2 such measurements can in fact be tight for up to sqrt{d} measurements in mutually unbiased bases. We then show that using more mutually unbiased bases does not always lead to a better locking effect. We prove that the optimal bound for the accessible information using up to sqrt{d} specific mutually unbiased bases is log d/2, which is the same as can be achieved by using only two bases. Our result indicates t…
We define the entropic bounds, i.e minimal uncertainty for pairs of unitary testers in distinguishing between unitary transformations not unlike the well known entropic bounds for observables. We show that in the case of specific sets of testers which pairwise saturate the trivial zero bound, the testers are all equivalent in the sense their statistics are the same. On the other hand, when maximal bounds are saturated by such sets of testers, the unitary operators would form unitary bases which are mutually unbiased. This resembles very much the role of mutually unbiased bases in maximizing th…
The information encoded in a quantum system is generally spoiled by the influences of its environment, leading to a transition from pure to mixed states. Reducing the mixedness of a state is a fundamental step in the quest for a feasible implementation of quantum technologies. Here we show that it is impossible to "transfer" part of such mixedness to a "trash" system without losing some of the initial information. Such loss is lower-bounded by a value determined by the properties of the initial state to purify. We discuss this interesting phenomenon and its consequences for general quantum inf…
Intrinsic entanglement (IE) is a quantity which aims at quantifying bipartite entanglement carried by a quantum state as an optimal amount of the intrinsic information that can be extracted from the state by measurement. We investigate in detail the properties of a Gaussian version of IE, the so-called Gaussian intrinsic entanglement (GIE). We show explicitly how GIE simplifies to the mutual information of a distribution of outcomes of measurements on a conditional state obtained by a measurement on a purifying subsystem of the analyzed state, which is first minimized over all measurements on …
In this contribution we relate two different key concepts: mutually unbiased bases (MUBs) and entanglement; in particular we focus on bound entanglement, i.e. highly mixed states which cannot be distilled by local operations and classical communications. For a certain class of states --for which the state-space forms a "magic" simplex-- we analyze the set of bound entangled states detected by the MUB criterion for different dimensions d and number of particles n. We find that the geometry is similar for different d and n, consequently, the MUB criterion opens possibilities to investigate the t…
The Holevo bound is a bound on the mutual information for a given quantum encoding. In 1996 Schumacher, Westmoreland and Wootters [Schumacher, Westmoreland and Wootters, Phys. Rev. Lett. 76, 3452 (1996)] derived a bound which reduces to the Holevo bound for complete measurements, but which is tighter for incomplete measurements. The most general quantum operations may be both incomplete and inefficient. Here we show that the bound derived by SWW can be further extended to obtain one which is yet again tighter for inefficient measurements. This allows us in addition to obtain a generalization o…
The correlation distance quantifies the statistical independence of two classical or quantum systems, via the distance from their joint state to the product of the marginal states. Tight lower bounds are given for the mutual information between pairs of two-valued classical variables and quantum qubits, in terms of the corresponding classical and quantum correlation distances. These bounds are stronger than the Pinsker inequality (and refinements thereof) for relative entropy. The classical lower bound may be used to quantify properties of statistical models that violate Bell inequalities. Ent…
In this work, we consider an upper bound for the quantum mutual information in thermal states of a bipartite quantum system. This bound is related with the interaction energy and logarithm of the partition function of the system. We demonstrate the connection between this upper bound and the value of the mutual information for the bipartite system realized by two spin-1/2 particles in the external magnetic field with the XY-Heisenberg interaction.
In order to analyze an information theoretical derivation of Tsirelson's bound based on information causality, we introduce a generalized mutual information (GMI), defined as the optimal coding rate of a channel with classical inputs and general probabilistic outputs. In the case where the outputs are quantum, the GMI coincides with the quantum mutual information. In general, the GMI does not necessarily satisfy the chain rule. We prove that Tsirelson's bound can be derived by imposing the chain rule on the GMI. We formulate a principle, which we call the no-supersignalling condition, which st…
A complementary behavior between local mutual information and average output entanglement is derived for arbitrary bipartite ensembles. This leads to bounds on the yield of entanglement in distillation protocols that involve disinguishing. This bound is saturated in the hashing protocol for distillation, for Bell-diagonal states.
The concept of asymptotic correctability of Bell-diagonal quantum states is generalised to elementary quantum systems of higher dimensions. Based on these results basic properties of quantum state purification protocols are investigated which are capable of purifying tensor products of Bell-diagonal states and which are based on $B$-steps of the Gottesman-Lo-type with the subsequent application of a Calderbank-Shor-Steane quantum code. Consequences for maximum tolerable error rates of quantum cryptographic protocols are discussed.
We derive explicit bounds for the average entropy characterizing measurements of a pure quantum state of size $N$ in $L$ orthogonal bases. Lower bounds lead to novel entropic uncertainty relations, while upper bounds allow us to formulate universal certainty relations. For $L=2$ the maximal average entropy saturates at $\log N$ as there exists a mutually coherent state, but certainty relations are shown to be nontrivial for $L \ge 3$ measurements. In the case of a prime power dimension, $N=p^k$, and the number of measurements $L=N+1$, the upper bound for the average entropy becomes minimal for…
In order to be practically useful, quantum cryptography must not only provide a guarantee of secrecy, but it must provide this guarantee with a useful, sufficiently large throughput value. The standard result of generalized privacy amplification yields an upper bound only on the average value of the mutual information available to an eavesdropper. Unfortunately this result by itself is inadequate for cryptographic applications. A naive application of the standard result leads one to incorrectly conclude that an acceptable upper bound on the mutual information has been achieved. It is the point…
A detailed analysis has been made by R.Zavin and N.Moiseyev(2004 J. Phys. A: Math, Gen, \textbf{37} 4619) for the change of bound states into resonance states via coalescence of virtual states in a one-dimensional symmetric rectangular attractive potential as it becomes shallow, with convergent wave functions of virtual and resonance states by the complex scaling method. As a complement to such an analysis, we discuss some global features of the pole spectrum of the S-matrix by using a complex extension of the real potential $V^{(\mathrm{real})}$ to $e^{iα}V^{(\mathrm{real})}$ with a real phas…
From a practical perspective it is advantageous to develop methods that verify entanglement in quantum states with as few measurements as possible. In this paper we investigate the minimal number of mutually unbiased bases (MUBs) needed to detect bound entanglement in bipartite $(d\times d)$-dimensional states, i.e. entangled states that are positive under partial transposition. In particular, we show that a class of entanglement witnesses composed of mutually unbiased bases can detect bound entanglement if the number of measurements is greater than $d/2+1$. This is a substantial improvement o…
Using the relative entropy of total correlation, we derive an expression relating the mutual information of $n$-partite pure states to the sum of the mutual informations and entropies of its marginals and analyze some of its implications. Besides, by utilizing the extended strong subadditivity of von Neumann entropy, we obtain generalized monogamy relations for the total correlation in three-partite mixed states. These inequalities lead to a tight lower bound for this correlation in terms of the sum of the bipartite mutual informations. We use this bound to propose a measure for residual three…
Quantum-enhanced metrology can be achieved by entangling a probe with an auxiliary system, passing the probe through an interferometer, and subsequently making measurements on both the probe and auxiliary system. Conceptually, this corresponds to performing metrology with the purification of a (mixed) probe state. We demonstrate via the quantum Fisher information how to design mixed states whose purifications are an excellent metrological resource. In particular, we give examples of mixed states with purifications that allow (near) Heisenberg-limited metrology, and provide example entangling H…
Competition between unitary dynamics that scrambles quantum information non-locally and local measurements that probe and collapse the quantum state can result in a measurement-induced entanglement phase transition. Here we study this phenomenon in an analytically tractable all-to-all Brownian hybrid circuit model composed of qubits. The system is initially entangled with an equal sized reference, and the subsequent hybrid system dynamics either partially preserves or totally destroys this entanglement depending on the measurement rate. Our approach can access a variety of entropic observables…
We explore ways to quantify multipartite correlations, in quantum information and in holography. We focus on optimized correlation measures, linear combinations of entropies minimized over all possible purifications of a state that satisfy monotonicity conditions. These contain far more information about correlations than entanglement entropy alone. We present a procedure to derive such quantities, and construct a menagerie of symmetric optimized correlation measures on three parties. These include tripartite generalizations of the entanglement of purification, the squashed entanglement, and t…
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.
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…
Many practical sampling patterns for function approximation on the rotation group utilizes regular samples on the parameter axes. In this paper, we relate the mutual coherence analysis for sensing matrices that correspond to a class of regular patterns to angular momentum analysis in quantum mechanics and provide simple lower bounds for it. The products of Wigner d-functions, which appear in coherence analysis, arise in angular momentum analysis in quantum mechanics. We first represent the product as a linear combination of a single Wigner d-function and angular momentum coefficients, otherwis…
