Bimodal behavior of post-measured entropy and one-way quantum deficit for two-qubit X states
M.A. Yurischev

TL;DR
This paper develops a method to analyze the bimodal behavior of post-measured entropy in two-qubit X states, revealing phase transitions in the one-way quantum deficit and identifying subregions with variable optimal measurement angles.
Contribution
It introduces a new approach for calculating the one-way quantum deficit and uncovers bimodal entropy behavior leading to phase boundary identification in X states.
Findings
Bimodal entropy behavior with two interior extrema in certain X states.
Phase boundaries characterized by finite jumps in optimal measurement angles.
Subregions with variable optimal angles occupy about 1% of the state space, with high fidelity.
Abstract
A method for calculating the one-way quantum deficit is developed. It involves a careful study of post-measured entropy shapes. We discovered that in some regions of X-state space the post-measured entropy as a function of measurement angle exhibits a bimodal behavior inside the open interval , i.e., it has two interior extrema: one minimum and one maximum. Furthermore, cases are found when the interior minimum of such a bimodal function is less than that one at the endpoint or . This leads to the formation of a boundary between the phases of one-way quantum deficit via {\em finite} jumps of optimal measured angle from the endpoint to the interior minimum. Phase diagram is built up for a two-parameter family of X states. The subregions with variable optimal measured angle are around 1 of the…
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 · Advanced Thermodynamics and Statistical Mechanics · Quantum Computing Algorithms and Architecture
∎
11institutetext: M. A. Yurischev 22institutetext: Institute of Problems of Chemical Physics, Russian Academy of Sciences, Chernogolovka, Moscow Region, Russia 142432
22email: [email protected]
Bimodal behavior of post-measured entropy and one-way quantum deficit for two-qubit X states
M.A.Yurischev
(Received:)
Abstract
A method for calculating the one-way quantum deficit is developed. It involves a careful study of post-measured entropy shapes. We discovered that in some regions of X-state space the post-measured entropy as a function of measurement angle exhibits a bimodal behavior inside the open interval , i.e., it has two interior extrema: one minimum and one maximum. Furthermore, cases are found when the interior minimum of such a bimodal function is less than that one at the endpoint or . This leads to the formation of a boundary between the phases of one-way quantum deficit via finite jumps of optimal measured angle from the endpoint to the interior minimum. Phase diagram is built up for a two-parameter family of X states. The subregions with variable optimal measured angle are around 1 of the total region, with their relative linear sizes achieving , and the fidelity between the states of those subregions can be reduced to . In addition, a correction to the one-way deficit due to the interior minimum can achieve . Such conditions are favorable to detect the subregions with variable optimal measured angle of one-way quantum deficit in an experiment.
Keywords:
X density matrix Post-measured entropy Unimodal and bimodal functions One-way quantum deficit
1 Introduction
Quantum correlation is a key feature of quantum mechanics and it lies at the heart of quantum information science. Besides the quantum entanglement and discord, the one-way quantum deficit is one of the most important measures of quantum correlation MBCPV12 ; Str15 ; ABC16 ; BDSRSS17 . The entanglement is identical to the discord and one-way deficit for the pure quantum states, whereas the discord and one-way deficit coincide in considerably more general cases — they are the same for the Bell-diagonal states and even for the X states with zero Bloch vector for one qubit (i.e., with a single maximally mixed marginal) if the local measurements are performed on this qubit YF16 .
Definitions of quantum discord and one-way quantum deficit involve the minimization procedure to obtain the optimal measurement performed on one part of bipartite system. This procedure for the two-qubit systems with X density matrix is reduced to the minimization problem on one variable – the polar angle (see Refs. CRC10 ; VR12 ; JY16 ; WJFWCF15 ). Moreover, a formula for the quantum discord is presented in a partially analytic (piecewise-analytical-numerical) form Y14 ; Y14a ; Y15 ,
[TABLE]
Here, the subfunctions (branches) and are the analytical expressions (corresponding to the discord with optimal measurement angles equaling zero and , respectively) and only the third branch requires to perform numerical minimization to obtain state-dependent minimizing angle if, of course, the interior minimum exists. Equations for 0- and -boundaries separating respectively the and regions with the one can be written as Y14 ; Y14a ; Y15
[TABLE]
Here and are the second derivatives of the measurement-dependent discord function with respect to at the endpoints and , correspondingly. The equations (2) are based on the unimodality hypothesis for the function which is confirmed for different classes of X states Y15 ; Y17 . Notice that Eqs. (2) reflect the bifurcation mechanism of appearance of the minimum inside the interval .
On the other hand, as mentioned above, there is a close connection between the one-way quantum deficit and quantum discord. Therefore it would be tempting to propose that similar properties are valid for the measurement-dependent one-way quantum deficit function , where is the pre-measurement entropy.
Recently, the authors YWF16 have claimed the result which is reduced to the statement that the one-way quantum deficit for the general X states is given by
[TABLE]
If the function is monotonic or has single extremum inside the interval this conclusion takes place.
In the present paper we show that the post-measured entropy and consequently the measurement-dependent one-way quantum deficit can display more general behavior which refutes the relation (3). We discuss the difficulties arisen from a new type of behavior and propose, instead of Eq. (3), the method giving the correct calculation of one-way deficit for two-qubit X states.
2 Results and discussion
Let us consider a two-parameter family of X states
[TABLE]
where . This family generalizes the class of special X states from Ref. YWF16 which corresponds to the case .
The density matrix (4) in open form is given as
[TABLE]
Eigenvalues of this matrix equal
[TABLE]
Owing to the non-negativity requirement for any density matrix, one obtains that the domain of definition for the parameters (arguments) and is restricted by conditions
[TABLE]
Thus, the domain in plane is the triangle which is shown in Fig. 1.
One-way quantum deficit (quantum work deficit) for a bipartite state is defined as the minimal increase of entropy after a von Neumann measurement on one party (without loss of generality, say, ) SKB11 ; CPBSS15 ; CDSPSS15
[TABLE]
where
[TABLE]
is the weighted average of post-measured states and means the von Neumann entropy. In Eqs. (8) and (9), () are the general orthogonal projectors
[TABLE]
where and transformations belong to the special unitary group . Rotations may by parametrized by two angles and (polar and azimuthal, respectively):
[TABLE]
with and .
Using Eq. (6) one gets the pre-measured entropy
[TABLE]
Eigenvalues of the matrix are equal to
[TABLE]
It is seen that the azimuthal angle has dropped out from the given expressions. This is due to the fact that one pair of non-diagonal entries of the density matrix (5) vanishes. Using Eqs. (2) we arrive at the post-measured entropy (entropy after measurement)
[TABLE]
where with additional condition is the quaternary entropy function.
Notice that function of argument is invariant under the transformation therefore it is enough to restrict oneself by values of . Moreover, the pre- and post-measured entropies and , as functions of and , are symmetric under the exchange .
Equations (12)–(14) define the measurement-dependent one-way deficit function . Direct calculations show that for every choice of model parameters the function and hence possess an important property, namely their first derivatives with respect to identically equal zero at both endpoints and :
[TABLE]
From Eqs. (2) and (14) we get the expressions for the post-measurement entropy at the endpoint ,
[TABLE]
and at the second endpoint :
[TABLE]
where is the Shannon binary entropy function. Together with Eq. (12) they supply us with explicit expressions for the one-way deficit at the endpoints: and . In particular, if or equals zero then , where .
Solving the transcendental equation
[TABLE]
or, the same, we find the subregions in the plane , where (restricted in Fig. 1 by dotted curves 1 and 1*′* and corresponding Cartesian axes and ) and where, v.v., (marked in Fig. 1 by symbol ). The curve 1 has two endpoints on the axis : at and . Analogously for the curve 1*′* (see Fig. 1).
The 0- and -boundaries, i.e., where respectively the second derivatives
[TABLE]
or, the same, and , will be needed below. As calculations yield,
[TABLE]
where
[TABLE]
On the other hand, calculations show that the second derivative with respect to is finite at only when :
[TABLE]
where again . The roots of equation are 1/2 and 1. Thus, the bifurcation 0-boundary exists only if or, inversely, (that is, only at two points on each of the Cartesian axes and ). The corresponding 0-boundaries , when , and , when are shown in Fig. 1 by the crosses.
The results of numerical solution of the equation are presented in Fig. 1 by solid lines 2 and 2*′. The endpoints for the curve 2 on the axis are and . The curves 1 and 2 intersect at the point with coordinates and (). Analogously for the curves 1′* and 2*′* with, of course, permutation of and (see again Fig. 1).
Let us consider the behavior of post-measured entropy and non-minimized one-way deficit by moving along different trajectories (paths) in the triangle .
Start with the passing along the leg of triangle . Figure 2 shows the evolution of shape of the post-measured entropy with changing the parameter . The curve has the monotonically increasing behavior when the argument varies from to ; see Fig. 2(a). At the point a bifurcation of the minimum at occurs. Then, when increases from 0.5 to 0.67515, the curve has, as shown in Figs. 2(b) and (c), the interior minimum, with the function being here unimodal. So, the region with variable optimal angle takes up a part on the section of axis and the fidelity of states at points and is equal to 111 Note for comparison that in two-photon experiments one achieves now the values of fidelity BSPBG13 and Guo16 . . The position of such a local minimum smoothly increases from zero to ; see again the curves in Figs. 2(b) and (c). The values of and become equal at the point ( bit, hence bit) and the depth of interior minimum is 0.01397 bit what gives a relative correction to the one-way deficit equaled . Then, at the value of , the system experiences a new sudden transition – from the branch, which is characterized by the continuously changing optimal angle in the full interval (from 0 to ), to the branch with constant optimal measurement angle equaled . After this the curves of post-measured entropy exhibit monotonically decreasing behavior as illustrated in Fig. 2(d). One should emphasize here that the minimized one-way quantum deficit, , vs the model parameter is continuous and smooth. Nevertheless, the function has nonanalyticities at the points and 0.67515 which manifest themselves in higher derivatives.
Consider now the behavior of post-measurement entropy and measurement-dependent one-way deficit in the bulk area of . We can inspect the total domain taking all possible straight-line trajectories . The behavior of the system is, obviously, symmetric relative to the middle of such trajectories. Take, for instance, the trajectory which is shown in Fig. 1 by the straight line 3. The shape of the curve has the monotonically increasing type in the middle of this trajectory (). However, with the increase of the value of parameter , the birth of a pair of extrema from an inflection point occurs inside the interval ; the situation is illustrated in Fig. 3. This phenomenon happens at the value of . According to the definition (see, e.g., Ref. V86 ) a function having two extrema in some interval is called bimodal on this interval.
With further increase of the value a qualitatively new effect is observed. We demonstrate it by the curves shown in Fig. 4.
When the parameter achieves the value of 0.72159, the position of global minimum suddenly jumps through a finite step from zero to (see Fig. 4). As a result, the fracture is arisen on the continuous curve of minimized one-way quantum deficit . The position of the fracture point is determined from the equation or
[TABLE]
After this the interior minimum lies lower than another minimum located at the endpoint . Notice that behavior of curve 3 in Fig. 4 leads to a contradiction with Eq. (3), i.e., the equation is incorrect for general X states.
With further increasing the interior minimum smoothly moves to the point and disappears at when the trajectory crosses the curve 2, i.e., the -boundary (see Fig. 1). The dynamics of corresponding deformations of is depicted in Fig. 5. After crossing the -boundary, the behavior of undergoes to the branch up to the point of contact of trajectory with the Cartesian axis, i.e., up to , where the interior maximum of disappears at the endpoint . This happens through a new non-bifurcation (and non-inflection) mechanism. Since the second derivative at diverges out of the Cartesian axes we will call this mechanism the singular one.
As a result, the one-way quantum deficit is obtained from the final equation
[TABLE]
where and are known in closed analytical forms and is found numerically. The behavior of one-way deficit along the trajectory is shown in Fig. 6.
Either totally or partially similar behavior takes place for other trajectories which go lower the intersection point of curves defined by equations and , i.e, when . For example, in the case of trajectory , the bimodality appears at and a jump of optimal measurement angle from zero happens at . Values of jump angles in different cases are collected in Table 1.
A set of points where the optimal measurement angle discontinuously changes from zero to a finite value gives the jumping (or hopping) boundary; it serves instead of the absent ordinary 0-boundary (see Fig. 7).
Between this boundary and the -one, there exists an intermediate phase (fraction) with state-dependent optimal measurement angle which smoothly varies from some nonzero value to . The flat of two subregions with variable optimal angle, , is near of the one of total domain .
When (i.e., when the trajectories lie above the black circle shown in Fig. 7), the situation is different. With increasing from middle values to the endpoint on the axis the curves or are deformed from monotonically increasing shape to the shape with a single interior maximum (which is born at the point, where ) and then a sudden transition occurs at the boundary defined by the relation (line 3 in Fig. 7). Here, there is no intermediate region and the transition is characterized visually by a fracture on the curve . Typical behavior of one-way deficit is shown in Fig. 8 along the trajectory .
So, the presented method to calculate the one-way quantum deficit of X states is reduced first of all to careful analyzing of the shapes of post-measured entropy or measurement-dependent one-way deficit curves. One should also solve equations for the boundaries between three possible phases (branches): Eqs. (18), (19), and (23). After this the one-way quantum deficit is obtained from the piecewise-analytical-numerical formula (24).
3 Summary and concluding remarks
In this paper we have found that besides the monotonic and unimodal behavior the post-measured entropy and hence the measurement-dependent one-way quantum deficit upon the measurement angle can have a new kind of behavior. Namely, these functions can exhibit the bimodal shape in the open interval for different regions in the space of X state parameters. This expands the variety of behavior for the one-way quantum deficit . In particular, a new state-dependent phase (fraction) which is characterized by a partial interval of optimal measured angles has been found. Instead of smooth conjugation of the branches and this leads to a fracture on the curve of one-way deficit.
New mechanism of a boundary arising between the phases via jumping the optimal measured angle on a finite step has been discovered. Instead of bifurcation conditions (19) the boundary is now determined by a relation like (23). The study of post-measured entropy shapes is the general way to determine the correct one-way quantum deficit.
This is in contrast with the behavior of conditional entropy and, consequently, measurement-dependent quantum discord in the same regions of parameter space: their behavior is restricted by monotonic and unimodal types. In any case, this rather simple and therefore attractive picture is valid for the different specific cases and subclasses of X states Y14 ; Y15 ; Y17 . In particular, such a behavior of conditional entropy is confirmed for the symmetric XXZ states Y17 those may be written in an equivalent form as
[TABLE]
with .
An intriguing question remains: are there any more general shapes of curves for the post-measured entropy of X states? For instance, can this entropy have trimodal and, maybe, multimodal dependence? The answer to these and other questions should come from the future investigations of post-measurement entropy shapes in the full five-parameter X-state space.
Acknowledgment The work was supported by the Russian Foundation for Basic Research.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) Modi, K., Brodutch, A., Cable, H., Paterek, T., Vedral, V.: The classical-quantum boundary for correlations: discord and related measures. Rev. Mod. Phys. 84 , 1655 (2012)
- 2(2) Streltsov, A.: Quantum correlations beyond entanglement and their role in quantum information theory. Springer Briefs in Physics. Springer, Berlin (2015); ar Xiv:1411.3208 v 1 [quant-ph]
- 3(3) Adesso, G., Bromiey, T.R., Cianciaruso, M.: Measures and applications of quantum correlations. J. Phys. A: Math. Theor. 49 , 473001 (2016)
- 4(4) Bera, A., Das, T., Sadhukhan, D., Roy, S.S., Sen(De), A., Sen, U.: Quantum discord and its allies: a review. Ar Xiv:1703.10542 v 1 [quant-ph]
- 5(5) Ye, B.-L., Fei, S.-M.: A note on one-way quantum deficit and quantum discord. Quantum Inf. Process. 15 , 279 (2016)
- 6(6) Ciliberti, L., Rossignoli, R., Canosa, N.: Quantum discord in finite X Y 𝑋 𝑌 XY chains. Phys. Rev. A 82 , 042316 (2010)
- 7(7) Vinjanampathy, S., Rau, A.R.P.: Quantum discord for qubit-qudit systems. J. Phys. A: Math. Theor. 45 , 095303 (2012)
- 8(8) Jing, N., Yu, B.: Quantum discord of X 𝑋 X -states as optimization of a one variable function. J. Phys. A: Math. Theor. 49 , 385302 (2016)
