Accessible Coherence and Coherence Distribution
Teng Ma, Ming-Jing Zhao, Hai-Jun Zhang, Shao-Ming Fei, and Gui-Lu Long

TL;DR
This paper introduces the concept of accessible coherence in bipartite quantum systems, analyzing how coherence can be distributed and accessed through local measurements and classical communication.
Contribution
It defines accessible coherence, derives formulas for local accessible and remaining coherence, and explores their distribution in bipartite systems for different coherence measures.
Findings
Accessible coherence can exceed local coherence via measurements and communication.
Formulas for accessible and remaining coherence are derived.
Distribution patterns of coherence are illustrated with examples.
Abstract
The definition of accessible coherence is proposed. Through local measurement on the other subsystem and one way classical communication, a subsystem can access more coherence than the coherence of its density matrix. Based on the local accessible coherence, the part that can not be locally accessed is also studied, which we call it remaining coherence. We study how the bipartite coherence is distributed by partition for both l1 norm coherence and relative entropy coherence, and the expressions for local accessible coherence and remaining coherence are derived. we also study some examples to illustrate the distribution.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Accessible Coherence and Coherence Distribution
Teng Ma1
Ming-Jing Zhao2
Hai-Jun Zhang3,4
Shao-Ming Fei4,5
Gui-Lu Long1
1State Key Laboratory of Low-Dimensional Quantum Physics and Department of Physics, Tsinghua University, Beijing 100084, China
2School of Science, Beijing Information Science and Technology University, Beijing, 100192, China
3College of the Science, China University of Petroleum, Qingdao, 266580, China
4School of Mathematical Sciences, Capital Normal University, Beijing 100048, China
5Max-Planck-Institute for Mathematics in the Sciences, 04103 Leipzig, Germany
Abstract
The definition of accessible coherence is proposed. Through local measurement on the other subsystem and one way classical communication, a subsystem can access more coherence than the coherence of its density matrix. Based on the local accessible coherence, the part that can not be locally accessed is also studied, which we call it remaining coherence. We study how the bipartite coherence is distributed by partition for both norm coherence and relative entropy coherence, and the expressions for local accessible coherence and remaining coherence are derived. we also study some examples to illustrate the distribution.
pacs:
03.65.Ud, 03.67.-a
I Introduction
Quantum coherence is one of the key features of the quantum world. It is the origin of many quantum phenomena such as the interference of light, the laser mandel , superconductivity london , and quantum thermodynamics oppenheim . Recent researches show that quantum coherence also increases the efficiency of photosynthetic light-harvesting complexes yccheng ; mohan . Coherence is also the key ingredient in quantum computation and quantum information processing nielsen . Recently, quantifying coherence as a resource in the context of quantum information science has been extensively investigated Baumgratz . Many different coherence measures have been proposed and their properties have been studied napoli ; jiajunma ; yrzhang ; shumingcheng ; uttam ; rana . The relations between coherence and quantum correlations like quantum entanglement horodecki and quantum discord discordo ; discord are also a research hot spot chitambar1 ; streltsov1 ; killoran ; chitambar ; streltsov ; mateng ; zhengjunxi .
The quantum entanglement and quantum discord characterize the correlations between quantum systems. Basically these correlations are due to the superposition of quantum states, i.e., the quantum coherence. Nevertheless, the quantum coherence exists in a single quantum system. In this sense, quantum coherence is more fundamental. As quantum correlations like entanglement satisfy trade-off relations among multipartite systems monogamy , it is also natural to ask how coherence is distributed among the subsystems.
In this paper, we study the distribution of coherence for bipartite systems. Different from the point of radhakri , which regards the entanglement as the intrinsic coherence between subsystems, we study the distribution of coherence from the point of view of local accessible coherence. As an illustration, let us consider a bipartite state with and . This bipartite state has nonzero coherence under local computational basis. However, the reduced density matrices of the state are both identities: both subsystems have no coherence. The non-zero coherence of the whole system is due to the states and in the first system. However, the coherence is eliminated in the reduced state of the first system. We show that contributing to the coherence of the whole bipartite system are the coherence of the subsystems and the ‘accessible’ coherence of the subsystems, together with the ‘remaining’ coherence. We first propose the concept of accessible coherence, and analyze the property of accessible coherence. Then we study the property of the ‘remaining’ coherence, the part that besides all the coherence and accessible coherence of the subsystems. At last, we illustrate how bipartite coherence is distributed by computing the accessible coherence and remaining coherence in detailed examples.
Throughout our paper, we take the reference basis to be the local computational basis and two important coherence measures, the relative entropy coherence and the norm coherence Baumgratz will be used. The norm coherence of a quantum state is defined by the sum of the absolute value of the density matrix’s off-diagonal elements,
[TABLE]
where is the absolute value of entry of the density matrix under the reference basis. The relative entropy coherence is defined by , where is the relative entropy of states and , denotes the set of incoherent states. has a simple form,
[TABLE]
where is the von Neumann entropy of , and is the matrix of eliminating all the off-diagonal elements.
II Accessible coherence
Consider a quantum system with state , we define the accessible coherence of as the difference between the maximum average coherence of its state ensemble and the coherence of the state,
[TABLE]
where the maximization is taken over all state decompositions of . The accessible coherence is always positive since coherence measure is nonincreasing under mixing of quantum states Baumgratz , i.e., . Hence the coherence for a state is always smaller than or equal to the minimal value of the state’s average coherence, and the accessible coherence quantifies the maximum extra coherence one can gain when one knows the corresponding ensemble of the state.
Due to the convexity of the coherence measure and the compact convexity of the density matrix set, the maximum in (3) can actually be achieved by taking over all pure-state decompositions, i.e., , with . Then the accessible coherence of actually equals to its coherence of assistance chitambar1 minus its coherence, and achieves its minimum, zero, when the state is pure. Note that the coherence of assistance is not a bonafide measure of quantum coherence for a single system streltsov-review , neither is the accessible coherence then. Take a zero coherence state, , with and , for example, it is easy to see that the state’s accessible coherence and the coherence of assistance are all nonzero, which violates the conditions for a bonafide measure of coherence Baumgratz . However, the accessible coherence reveals the difference between a state’s coherence of assistance and the quantum coherence itself.
We have defined the accessible coherence in (3) with a maximization over all ensembles of a state decompositions. For a specific ensemble of , we denote
[TABLE]
the accessible coherence for the specific ensemble. Under the relative entropy measure, the accessible coherence is tightly connected to the Holevo quantity for the accessible information nielsen .
Suppose there is a sender, Alice, who prepares states with probabilities . Through a channel, she sends these states to a receiver, Bob, who performs a POVM measurement to distinguish these states to get as much information as he can. If there is no noise in the channel, the mutual information between Alice and Bob is bounded by the Holevo quantity:
[TABLE]
where . If Alice sends the states through a decoherence channel , then the Holevo quantity decreases to
[TABLE]
where . Using (2), (4), and , we get
[TABLE]
from (5) and (6). Hence we see that the accessible coherence with respect to the information source’s ensemble equals to the decrease of Holevo quantity due to the channel’s decoherence. This relation holds also for .
The accessible coherence plays roles in the distribution of coherence. As the accessible coherence with respect to a specific ensemble comes from the information of the ensemble, for a bipartite system AB, one way to gain the ensemble of system A is to measure system B and communicate each measurement outcome to A yuchangshui ; wootters . In this way, the system A can gain an averaged coherence which is lager than the coherence of its density matrix, denoting as , and the extra part is the accessible coherence of system A, denoting as . The similar analysis also holds for system B. In the following we consider the local measurement under the reference basis.
From the analysis above, the coherence contained in system A (B) are given by and ( and ). The total coherence of the whole system AB is from and some ‘remaining’ coherence, denoting as , between A and B. represents the part that can not be locally accessed under local reference basis measurement and one way classical communication. Hence from the point of view of local accessible coherence, we have the partition for the bipartite coherence of ,
[TABLE]
Later, we will show that the remaining coherence is always non-negative for relative entropy coherence and norm coherence measures. Basically is due to correlations between systems A and B. In the following we investigate and calculate the quantities , , , and in detail.
III Coherence distribution with relative entropy measure
The first thing we notice is the connection between coherence and the measurement dependent quantum discord discord with the measurement basis being the local reference basis. Here is distinguished from the original discord discordo ; discord . The unilateral quantum discord with respect to the local projective measurement on system B is defined to be the difference of mutual information and the mutual information after the measurement on B discord ,
[TABLE]
where ‘←’ means that the measurement takes on system B, denotes the von Neumann entropy of the system and denotes the measurement on system . Similarly, we have unilateral discord and bilateral discord , where ‘→’ and ‘↔’ denote the measurements on system A and both systems AB respectively.
The unilateral and bilateral (bipartite) coherence jiajunma is defined as
[TABLE]
which correspond to the measurements on system A, system B, and both systems AB respectively. From (2), (9) and , we have unilateral coherence with respect to the measurement on B, . If , which means that the state is a quantum-incoherent state streltsov ; bromley , i.e., , the coherence of system B is zero, and there is no right side quantum correlation between A and B. Similarly, we have unilateral coherence with respect to the measurement on A, . Following the above steps we also have the coherence with respect to bipartite local measurements,
[TABLE]
From equations (8) and (10), we see that the local accessible coherence and the remaining coherence are related to the quantum discord,
[TABLE]
Next, we find out the expressions for , , , and their relations with the quantum correlations and coherence . Note that in (9) is actually the classical correlation discordo ; discord (the Holevo quantity for system A), which can be reexpressed as
[TABLE]
where the state with probability corresponds to system B’s measurement outcome . If one applies measurement on system A too, one gets the bilateral classical correlation,
[TABLE]
which corresponds to the bilateral discord . Equations (12) and (13) give rise to
[TABLE]
From (4), (11) and (14) we have , and similarly . From the definition (9) and the relation (14), we have the expression of the local accessible coherence for system A,
[TABLE]
Similarly, for system B we also have
[TABLE]
Next we compute the remaining coherence in terms of the relative entropy measure of coherence and discuss its physical implications. From the definition (9), the bilateral discord can be split into two parts, . Therefore we have the following expression for the remaining coherence,
[TABLE]
Since the quantum discord quantifies the change of mutual information induced by measurement, equation (17) indicates that the remaining coherence quantifies a kind of decrease of quantum discord: The quantum discord, i.e., the amount of mutual information revealed by a measurement on system A, , decreases if another measurement on system B has already revealed some mutual information.
The remaining coherence, , is always non-negative. From (17) we have
[TABLE]
where the second equality is due to the fact that for projective operator and matrices and , , and the inequality is due to that the relative entropy is contractive under any completely positive trace preserving map lindblad ; Wehrl .
Moreover, for any incoherent-incoherent, quantum-incoherent and incoherent-quantum state streltsov ; bromley , . An open question is whether the incoherent-incoherent, quantum-incoherent and incoherent-quantum states are the necessary and sufficient conditions such that the equality in (18) holds. Note that the remaining coherence is different from the intrinsic coherence in radhakri , which actually is the entanglement. It can be shown that only for some states the remaining coherence is equal to the entanglement (see state (25) in examples).
IV Coherence distribution with norm measure
Let us first analyze the coherence of a bipartite state in terms of its entries under local reference basis,
[TABLE]
The entries contribute the coherence for the system A only. However, the coherence induced by may be canceled when we only consider the marginal state , since there may exist some entries such that . This indicates that the coherence induced by the entries can be divided into two parts: The first part is not canceled and still lives in the density matrix after tracing over the subsystem B, and the second part is canceled in . As we will show, the first part actually is the norm coherence of , denoting as , and the second part actually is the local accessible coherence of system A, denoting as . The same analysis also holds for entries , which correspond to the coherence partition for the system B. Hence the above analysis of the entries of density matrix also shows that, for a subsystem, there are some accessible coherence besides the coherence of the subsystem’s density matrix.
Next we find out the expressions for , , and . For the state (19), we have the bipartite coherence for norm measure,
[TABLE]
Under local measurement on system B, the state of system A is given by , with probability . For the middle term of the right hand side of (20), from (4) it is easy to check
[TABLE]
The above equation means that, for the norm coherence, the total coherence induced only by system A’s basis, , equals to the average coherence of A, which is the summation of coherence and accessible coherence of system A. This result is in consist with our former analysis according to the entries of density matrix. From (21) we get the expression of accessible coherence for system A,
[TABLE]
Similarly, we have that the average coherence of B equals to the summation of coherence and accessible coherence of system B. And the expression of accessible coherence for system B is given by
[TABLE]
The remaining coherence can be obtained from (8), (20), (22), and (23),
[TABLE]
Obviously, is always non-negative. Since the entries with and represent the correlation between the two subsystems, the remaining coherence quantifies all the correlation induced by these entries. However, is different from the entanglement in general, although it equals to entanglement for some states (see examples).
Note that the zero points of the remaining coherence for the relative entropy measure and norm measure may be different. For states which do not contain entries with and , , but possibly .
V Examples
We now consider some examples for the partition of coherence in bipartite systems, and show how the local accessible coherence and the remaining coherence are distributed for both relative entropy coherence and norm coherence. First let us consider the Schmidt correlated state rains ,
[TABLE]
The marginal states of (25) are all diagonal, thus the local coherence . Since the state becomes diagonal under local measurement on systems A or B, its local accessible coherences are also zero, . The remaining coherence and , which are actually the entanglement under negativity measure and relative entropy measure, respectively zhao . Hence for the state (25), the total coherence is contributed by the remaining coherence, here the entanglement between A and B.
For another example we consider the ground state of Ising model described by the Hamiltonian radhakri ,
[TABLE]
where are the coupling parameters and is the symmetry-breaking term. The ground state approaches to the Bell state for and the product state for . The distribution for both retaliative entropy coherence and norm coherence are shown in Fig. 1.
VI Conclusions
We have proposed the concept of accessible coherence for a single quantum system and studied the properties of accessible coherence. The accessible coherence with respect to any given specific ensemble of a state has been shown to be connected to the decrease of the Holevo quantity due to the channel’s decoherence. The accessible coherence also shows its role in the coherence distribution in bipartite systems. The local accessible coherence of system A can be gained by measuring the system B and communicating the measurement results to A. We have studied the local accessible coherence and the unaccessible remaining coherence, for both relative entropy coherence and norm coherence. Their explicit expressions have been derived analytically. Under the local reference basis measurement, for both relative entropy coherence and norm coherence, we found that the local average coherence over all the measurement outcomes is the summation of local accessible coherence and coherence of the local reduced density matrix. We have shown that the remaining coherence in terms of relative entropy coherence quantifies the decrease of the basis dependent discord due to a local decoherence measurement. While the remaining coherence with norm measure equals to the sum of absolute values of the density matrix’s entries with different subscripts for both parties. We finally studied how the bipartite coherence are distributed into local coherence, local accessible coherence and remaining coherence through some examples. The results give us an informational picture of coherence distributions in bipartite systems.
Acknowledgments We thank Zhen Wang and Bao-Zhi Sun for useful discussions. This work is supported by the NSFC under numbers 11401032, 11675113, 11175094 and 91221205, and the National Basic Research Program of China (2015CB921002).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) L. Mandel and E. Wolf, Optical Coherence and Quantum Optics (Cambridge University Press, Cambridge, England, 1995).
- 2(2) F. London and H. London, Proc. R. Soc. A 149 , 71 (1935).
- 3(3) P. Ćwikliński, M. Studziński, M. Horodecki, and J. Oppenheim, Phys. Rev. Lett. 115 , 210403 (2015).
- 4(4) Y. C. Cheng and G. R. Fleming, Annu. Rev. Phys. Chem. 60 , 241 (2009).
- 5(5) M. Sarovar, A. Ishizaki, G. R. Fleming, and K. B. Whaley, Nat. Phys. 6 , 462 (2010).
- 6(6) M. A. Nielsen and L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 2000).
- 7(7) T. Baumgratz, M. Cramer, and M. B. Plenio, Phys. Rev. Lett. 113 , 140401 (2014).
- 8(8) C. Napoli, T. R. Bromley, M. Cianciaruso, M. Piani, N. Johnston, and G. Adesso, Phys. Rev. Lett. 116 , 150502 (2016).
