Quantifying the quantumness of ensembles via unitary similarity invariant norms
Xianfei Qi, Ting Gao, Fengli Yan

TL;DR
This paper introduces a new way to measure the quantumness of quantum ensembles using unitary similarity invariant norms of commutators, with proven desirable properties and practical applications.
Contribution
It proposes a novel class of quantumness measures based on invariant norms, extending the theoretical framework for analyzing quantum ensembles.
Findings
Measures satisfy positivity, invariance, concavity, convexity, and monotonicity properties.
Examples demonstrate the measures' effectiveness in quantum information analysis.
The approach provides a rigorous mathematical foundation for quantumness quantification.
Abstract
The quantification of the quantumness of a quantum ensemble has theoretical and practical significance in quantum information theory. We propose herein a class of measures of the quantumness of quantum ensembles using the unitary similarity invariant norms of the commutators of the constituent density operators of an ensemble. Rigorous proof shows that they share desirable properties for a measure of quantumness, such as positivity, unitary invariance, concavity under probabilistic union, convexity under state decomposition, decreasing under coarse graining, and increasing under fine graining. Several specific examples illustrate the applications of these measures of quantumness in studying quantum information.
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.
Taxonomy
TopicsQuantum Information and Cryptography · Quantum Mechanics and Applications · Quantum Computing Algorithms and Architecture
Quantifying the quantumness of ensembles via unitary similarity invariant norms
Xianfei Qi
Ting Gao
College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang 050024, China
Fengli Yan
College of Physics Science and Information Engineering, Hebei Normal University, Shijiazhuang 050024, China
Abstract
The quantification of the quantumness of a quantum ensemble has theoretical and practical significance in quantum information theory. We propose herein a class of measures of the quantumness of quantum ensembles using the unitary similarity invariant norms of the commutators of the constituent density operators of an ensemble. Rigorous proof shows that they share desirable properties for a measure of quantumness, such as positivity, unitary invariance, concavity under probabilistic union, convexity under state decomposition, decreasing under coarse graining, and increasing under fine graining. Several specific examples illustrate the applications of these measures of quantumness in studying quantum information.
pacs:
03.67.Mn, 03.65.Ud, 03.67.-a
I Introduction
In classical physics, the state space of a system is the phase space. The pure state of an individual system is described by the phase point, while the mixed state is described by a normalized distribution function. In quantum physics, the state space of a quantum system is a Hilbert space. The pure state of a quantum system is described by the state vector, which is a complex unit vector. The mixed state is described by the density operator, which is a trace-one semipositive operator QCI2010 ; QI2011 . A mixed quantum state can be prepared (or decomposed) as the mixture of a family of quantum states with probability . In the language of mathematics, it means that a quantum ensemble , which consists of a number of states ( is an index) with respective probabilities , is represented by a density operator.
A quantum ensemble naturally induces a unique density operator. However, a density operator generally induces many quantum ensembles because of the fact that a mixed quantum state can be prepared as the mixture of quantum states in many different ways (i.e., many ensemble decompositions exist for a density operator of a mixed state). Different ensembles may have different properties. For instance, an unknown state from ensemble consisting of orthogonal pure states could be perfectly cloned and determined without being disturbed, while a state from ensemble consisting of non-orthogonal states cannot be perfectly cloned and exactly determined PRL74.1259 . Intuitively, the quantum characteristics exhibited by ensemble are more than those of , which leads us to focus on the quantumness of ensembles. A question then naturally arises: how does one quantify the quantumness of a quantum ensemble?
Some studies have been conducted on the issue of quantifying the quantumness of quantum ensembles. In QCCM2002 ; QIC2003 ; 0302108 , as earlier researchers in this field, Fuchs et al. proposed the measures of the quantumness of an ensemble in terms of the difficulty of transmitting the states through a classical communication channel. They also discussed the potential applications of measures in quantum eavesdropping. A new measure IJQI2006 of quantumness of an ensemble was presented using the difference between the information content in one copy and the information content in two or more copies. The definition of trace distance and fidelity measure between quantum ensembles was given in PRA79.032336 , where the operational interpretations for measures were also presented. A measure of the quantumness of an ensemble was defined in PLA2011 based on the duality relation with a quantity characterizing how classical a quantum ensemble is. Accordingly, a measure for characterizing the quantumness of an ensemble was introduced from the perspective of studying the local indistinguishability problem of quantum states SR2014 . Luo et al. paid persistent efforts on this issue and proposed some measures of quantumness via the relative entropy between quantum ensembles PMH2009 through the disturbances induced by the von Neumann measurement QIP2010 and commutators TMP2011 ; PRA96.022132 .
The present study investigates the problem of quantifying the quantumness of quantum ensembles from a different perspective. Norms are useful mathematical tools in quantum information theory. For example, one can efficiently describe and quantify quantum discord PRL105.190502 and measure-induced nonlocality (MIN) PRL106.120401 ; NJP2015 using different norms. Moreover, notice that the constituent density operators of an ensemble do not generally commute with each other. Combining the two abovementioned points, we propose herein a class of measures of the quantumness of quantum ensembles by virtue of some special norms of the commutators of the constituent density operators of an ensemble. A detailed introduction of their applications in quantum information is then presented. For example, we find a relation between the measure of quantumness and the coherence measure for the qubit pure state. We also provide a relation between the quantumness measure and the entanglement concurrence for two-qubit pure states.
The remainder of this paper is organized as follows: Sec. II introduces the definition of the unitary similarity invariant norms (USINs) and lists several famous USINs, such as the Schatten -norms and Ky Fan -norms. We also define a class of measures of quantumness based on USINs and prove that they are valid measures of quantumness. Sec. III presents some applications in the quantum information of these measures. Sec. IV provides the conclusion.
II Quantumness measures based on the unitary similarity invariant norms
Before we state the main results, we will first introduce some necessary knowledge about norms that will be used in the subsequent sections. Throughout the paper, norms are defined on , where denotes the set of all -by- matrices over complex field . A norm on is said to be unitarily invariant if for all and all unitary Zhan.2013 . A norm on is said to be a unitary similarity invariant if for all and all unitary .
We list some important norms that are unitarily invariant and, thus, are unitary similarity invariant Zhan.2013 .
Schatten p-norms Schatten -norms are defined by
[TABLE]
where are singular values of A in a nonincreasing order. Here, is the trace norm, which can be expressed as . Meanwhile, is the Frobenius (or Hilbert–Schmidt) norm that can be expressed as: \|A\|_{F}=(\text{tr}A^{{\dagger}}A)^{1/2}=\big{(}\sum\limits_{i,j}|a_{ij}|^{2}\big{)}^{1/2}.
Ky Fan -norms Ky Fan -norms are defined by
[TABLE]
where are singular values of A in a nonincreasing order. Note that and , where is the spectral norm.
We propose
[TABLE]
as a class of measures of the quantumness of the ensemble , where denotes a unitary similarity invariant norm.
The constituent density operators of an ensemble do not generally commute with each other, and many quantum features are derived from the noncommutativity between the constituent density operators of an ensemble. Hence, naturally, the commutator of the quantum states should have a place in the definition of the measures of the quantumness of ensembles. Note that the square root of a probability distribution plays a more vital role than the probability distribution itself. Moreover, the unitary similarity invariant norms possess a desirable property, which will be reflected in the following proof of property 2. We establish these measures of quantumness based on the abovementioned ideas.
Next, we prove that these quantumness measures share the following desirable properties:
(1) (Positivity). for arbitrary quantum ensemble , and equality holds if and only if is a classical ensemble. Ensemble is called classical if all the states in the ensemble commute with each other. Its quantumness vanishes if the ensemble degenerates to a single state.
It follows immediately from the nonnegativity and positivity of the norm.
(2) (Unitary invariance). is invariant under unitary transformations. That is, for any unitary operator . Here, .
Clearly,
[TABLE]
(3) (Concavity under probabilistic union). does not decrease under the mixing of ensembles in the sense that
[TABLE]
Here, , , and for each , is a quantum ensemble, and is a probabilistic union of .
Proof: The probabilistic union of ensembles corresponds to a new ensemble
[TABLE]
we then have
[TABLE]
(4) (Convexity under state decomposition). does not increase under state decomposition with respect to each constituent state. More specifically, if a constituent state in quantum ensemble has the decomposition with and , this decomposition induces new ensembles,
[TABLE]
and there is
[TABLE]
Symbolically,
[TABLE]
Proof: Without loss of generality, we can choose as . By triangle inequality of the norm, we then obtain
[TABLE]
as required.
(5a) (Increasing under fine graining). increases under fine graining in the sense that . For each constituent state in ensemble , it can be decomposed into a new quantum ensemble , that is, , and is called the fine-grained ensemble of .
Proof: Proving the following is not difficult:
[TABLE]
(5b) (Decreasing under coarse graining). decreases under coarse graining in the sense that . Here , and is a partition of the index (i.e., is a collection of pairwise disjoint sets and the union ). We define , , and is called the coarse-grained ensemble of .
Proof: Note that ensemble is the fine-grained ensemble of ensemble , which directly follows from (5a).
III Applications
This section reveals the potential link between the quantumness of the ensembles and some branches of quantum information by considering the following examples:
Example 1 Consider the quantum ensemble () that consists of two qubit states. An arbitrary density matrix for a mixed qubit state may be written as , where with being Pauli matrices; and is the Bloch vector for state , which is a real three-dimensional vector such that . We obtain after the computation. Here, is the angle between vectors and .
Example 2 We can investigate the quantumness of ensemble , where is an input state, and is an output state, to study the decoherent capability of channel . We choose as the phase damping channel. The Kraus operators for the phase damping channel are expressed as , , while . If is any pure qubit state with the Bloch vector , the phase damping channel performs the transformation
[TABLE]
According to Example 1, we have . , which shows that the amount is an increasing function of and indicates that this measure can be viewed as a measure of the decoherent capability of the phase damping channel .
Example 3 For an ensemble consisting of two pure dimensional states with . Similar to the computation in SR2014 , we obtain . . if or . When , if (i.e., when the two states have an angle between them) QCCM2002 .
Example 4 Consider the quantum ensemble , where is a single qubit pure state, . Recall that a single qubit pure state can be written as ( are real numbers) by performing a unitary incoherent operation PRA93.032336 . According to Example 3, , where is a coherence measure based on the norm PRL113.140401 , and equals the coherence concurrence for the qubit case PRA92.022124 ; JPA50.285301 .
Example 5 Consider the quantum ensemble , where is a two-qubit pure state with the Schmidt decomposition , . According to Example 3, , where is the famous entanglement measure–concurrence PRL78.5022 ; PRL80.2245 .
Example 6 We define quantity for a classical-quantum state , which corresponds to ensemble . Evidently, is equivalent to (i.e., is a classically correlated state). denotes the quantum discord (with von Neumann measurements performed on subsystem ) PRL88.017901 ; JPA34.6899 . possesses the following properties: (1) it has positivity; (2) it vanishes for the classical–classical state; (3) it is invariant under local unitary transformations; and (4) it is non-increasing when an ancillary system is introduced. Consequently, the quantity may also be viewed as an easily computed measure of quantum correlation, which is different from the previous measures of quantum correlation. The previous measures are evidently hard to evaluate because a highly complicated optimization must be considered.
IV Conclusion
We proposed herein a class of measures using unitary similarity invariant norms of the commutators of the constituent density operators of a quantum ensemble to quantify the quantumness in a general quantum ensemble. These measures possessed desirable properties for a quantifier of the quantumness of an ensemble. We also revealed the rich applications of these measures of quantumness in different branches of quantum information theory by considering some concrete examples. For example, we established the relationship between quantumness of ensembles and quantum coherence, quantum entanglement, and quantum correlation in a simple quantum system. Our findings provide a new method of understanding these quantum resources from the viewpoint of quantumness of an ensemble. Therefore, further research on the potential link between them would be interesting and meaningful for a more complicated case. The issue of quantifying the quantumness of quantum ensembles plays a fundamental role in quantum foundations and quantum information. We hope that our results will be beneficial to the study of the quantumness of ensembles.
Acknowledgements.
This work was supported by the National Natural Science Foundation of China under grant nos. 11371005 and 11475054 and the Hebei Natural Science Foundation of China under grant nos. A2016205145 and A2018205125.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 2010).
- 2(2) L. Diósi, A Short Course in Quantum Information Theory: An Approach From Theoretical Physics , 2nd ed. (Springer-Verlag, Berlin Heidelberg, 2011).
- 3(3) S. Massar and S. Popescu, Optimal extraction of information from finite quantum ensembles, Phys. Rev. Lett. 74 , 1259 (1995). · doi ↗
- 4(4) C. A. Fuchs, Just two nonorthogonal quantum states, Quantum Communication, Computing, and Measurement 2 , 11-16 (Springer, Boston, MA, 2002).
- 5(5) C. A. Fuchs and M. Sasaki, Squeezing quantum information through a classical channel: measuring the quantumness of a set of quantum states, Quantum Inf. Comput. 3 , 377 (2003).
- 6(6) C. A. Fuchs and M. Sasaki, The quantumness of a set of quantum states, ar Xiv:quant-ph/0302108.
- 7(7) M. Horodecki, P. Horodecki, R. Horodecki, and M. Piani, Quantumness of ensemble from no-broadcasting principle, Int. J. Quantum Inform. 4 , 105 (2006). · doi ↗
- 8(8) O. Oreshkov and J. Calsamiglia, Distinguishability measures between ensembles of quantum states, Phys. Rev. A 79 , 032336 (2009). · doi ↗
