A geometrical framework for quantum incompatibility resources

Quantum incompatibility is a fundamental property in quantum physics and is considered as a resource in quantum information processing tasks. Here, we construct a framework based on the incompatibility witness originated from quantum state discrimination. In this framework, we discuss the geometrical properties of the witnesses with noisy mutually unbiased bases and construct a quantifier of quantum incompatibility associated with geometrical information. Furthermore, we explore the incompatibility of a pair of positive operator valued measurements, which only depends on the information of measurements, and discuss the incompatibility of measurements which can be discriminated by mutually unbiased bases. Finally, if we take a resource-theory perspective, the new-defined quantifier can characterize the resource of incompatibility. This geometrical framework gives the evidence that vectors can be utilized to describe resourceful incompatibility and make a step to explore geometrical features of quantum resources.


Introduction
Quantum incompatibility is a fundamental property in quantum physics, which is quite different from classical physics [1]. In quantum physics, some observables or measurements cannot commute with each other, which implies that we cannot acquire precise information from them simultaneously. Quantum incompatibility is considered as an important resource for quantum phenomena and information processing, including quantum nonlocality [2], measurement uncertainty relations [3,4], uncertain relation [4], contextuality [5,6], and quantum steering [7][8][9]. Therefore, it is important to witness and quantify quantum incompatibility as a resource for developing quantum applications.
In order to investigate incompatibility witnesses quantificationally, it is convenient to prepare two disjoint state ensembles as two sets of mutually unbiased bases (MUBs) under different noise levels. MUB measurements are among of the most representative incompatible measurements and have been applied in many quantum information protocols [23][24][25][26].
Recently, incompatibility witnesses based on hyperplanes have been established [16], linear incompatibility witnesses (LIWs) have been verified [18] and the robustness of incompatibility has been proposed [8]. However, the geometrical properties of the witnesses need to be discussed and the robustness of incompatibility is difficult to calculate. For example, it is difficult to find the optimal ensembles for practical QSD scenarios and contrast the incompatibility of two pairs of positive operator valued measurements (POVMs), which indicates a need for a framework to describe quantum incompatibility processes.
In this paper, we construct a geometrical framework for quantum incompatibility processes. Firstly, we discuss the incompatibility witness based on the gap of priorand post-measurement guessing probabilities in a twopart QSD scenario of noisy MUBs. Secondly, we discuss the unified and geometrical explanations for the witness and define a new quantifier associated with geometrical properties to quantify incompatibility. Furthermore, we explore the incompatibility of POVMs only using the information of given POVMs in the first application and the incompatibility of POVMs which can be discriminated by MUB. Finally, we show advantages of the framework in describing incompatibility and associate the quantifier with quantum resources.

Nonlinear witnesses based on quantum state discrimination tasks
In this section, we pave the way to a geometrical framework for incompatibility. Firstly, we introduce quantum state discrimination tasks, which are the basic physical process for the incompatibility witness. Secondly, we discuss the incompatibility witnessed based on noisy MUBs, where the geometrical properties of the witnesses appear, and discuss the witnesses varying with dimensions and three cases for detecting incompatibility.

Quantum state discrimination
Consider a pair of POVMs M and N labeled {M x } x and {N y } y , satisfying x M x = I and y N y = I with outcomes x and y, respectively. M and N are compatible if there exists a joint or parent measurement J labeled J x,y satisfying y J x,y = M x and x J x,y = N y . In a two-party QSD scenario, Alice prepares two ensembles of quantum states E X = {p(x), x } x and E Y = {p(y), y } y , where p(x) and p(y) are the probability distributions of states x and y , respectively. Then Bob receives a merged ensemble E with a proportion parameter q as follows: where q ∈ (0, 1]. Bob has two strategies to guess the label of the state sent from Alice. If the information of given ensemble E X or E Y is announced before the measurement, the guesser Bob will perform corresponding measurement M or N to detect the state from ensembles E X or E Y , respectively. The probability of guessing the correct label for one ensemble is P guess (E X ; M) = x p(x) Tr(M x x ). Then the total guessing probability with prior information can be written out as follows: In contrast, if the information of the given set E X or E Y is announced after the measurement, Bob has to use a fixed measurement J labeled with a cartesian product (X, Y ), which is the outcome of measuring two ensembles simultaneously, and adjust J after each round to match the optimal joint measurement. Then the post information guessing probability can be written out as follows:  [16]:

Incompatibility witnesses based on noisy MUBs
Here, we explore the incompatibility of d-dimension noisy MUB measurements (M, N) with corresponding ensembles (E X , E Y ) with noises: where i, j ∈ (1, 2, · · · , d) and s x , s y ∈ (0, 1]. Parameters s x and s y represent the sharpness of MUB measurements, and the corresponding ensembles under noise levels labeled (r x , r y ) are: where i, j ∈ (1, 2, · · · , d) and r x , r y ∈ (0, 1]. In this QSD task, we set a balanced proportion parameter q = 1 2 and the probability for every state in the ensembles is 1 d . The optimal joint measurement J(A, B) for a pair of MUBs is given in Ref. [27]: where b = 1 Here, we can give the mathematical forms of P post guess and P prior guess , which are detailed in Appendix A: Recalling Eq. (4), we can write out the incompatibility witness W, which represents the boundary between compatibility and incompatibility: In a mathematical perspective, this function is a nonlinear witness of four parameters (r x , r y , s x , s y ). When parameters (r x , r y ) are fixed, the function will become a linear function for (s x , s y ), which is the form of linear witnesses corresponding to the hyperplanes separating O com X,Y and O inc X,Y [18]. Note that the special case that W = 0 implies the boundary curve between compatibility and incompatibility in Fig. 1. According to Eq. (9), we can write out the coordinate of the boundary curve in Eq. (10), which we discuss detailly in the next section for the construction of the geometrical framework.
We discuss the properties of the boundary curve varying with dimensions in Fig. 1a. Intuitively, when the dimension increases, the incompatibility between two MUBs also increases [28]. The red point implies the same noise levels of MUB measurements show compatible or incompatible due to dimensions.
There are three possible cases in practical QSD scenario in Fig. 1b. 1. W < 0: Incompatibility is detected existent for this four parameters (r x , r y , s x , s y ), which corresponds to the orange point in Fig. 1b. 2. W = 0: P post guess = P prior guess , which is the boundary between compatibility and incompatibility. 3. W > 0: Compatibility is detected existent even though the joint measurement performed is not optimal, which corresponds to the olive and purple points in Fig. 1b.
In conclusion, we have discussed the properties of the nonlinear incompatibility witness (NLIW) with four parameters (r x , r y , s x , s y ). The boundary between compatibility and incompatibility for a pair of noisy MUB ensembles labeled with (r x , r y ) can be represented as a two-dimension convex curve, which implies geometrical properties in the model originated from incompatibility witnesses. Here, we name the model for convex model because the model is essentially originated from the convex combination of partitioned information. In the following contents, we will inspect the model and construct a more intuitive framework for its geometrical properties.

The geometrical framework for quantum incompatibility
In this section, we start to construct a framework for incompatibility. Firstly, we give unified and geometrical explanations for incompatibility witnesses in order to discuss the properties in a framework. Secondly, we construct a quantifier of incompatibility based on these explanations, which is associated with the geometrical properties in the framework. Thirdly, we discuss two applications to show the applicability of this framework. Finally, we confirmed that the new-defined quantifier can characterize the resource of incompatibility.

Unified and geometrical explanations for the witness
In practical QSD scenario, the function of NLIW has four parameters (r x , r y , s x , s y ), where four parameters (r x , r y , s x , s y ) can be adjusted independently. It is necessary for the four parameters to have a unified explanation. Recalling Eq. (5), the MUB part in measurements represents the incompatibility part and the white noise represents the compatibility part of POVMs. Recalling Eq. (6), the MUB part in ensembles represents distinguishing POVMs, which leads to the gap of guessing probability of different strategies, and the white noise represents no operation with outcomes of average probability distributions. In one word, (s x , s y ) labels POVMs and (r x , r y ) scales the incompatibility.
It is worth noting that the operators in Eq. (5) are positive if and only if s x , s y ∈ 1 1−d , 1 [16], while in the practical incompatibility framework, we restrict them to positive values s x , s y ∈ (0, 1] as noisy versions of the sharp measurements [29]. Then we start to discuss the geometrical explanation for the four parameters. In Fig. 1b, an arbitrary fixed (r x , r y ) corresponds to a fixed hyperplane, and all (r x , r y ) is supposed to draw corresponding hyperplanes which together form the convex curve. Therefore, we can write out the coordinate of the point on the boundary curve, which is detailed in Appendix B: where k = r x r y . The curve as a boundary on (s x , s y ) is a function of k and not directly relevant to the value of (r x , r y ). Obviously, a set of (s x , s y ) can be described by a point in the cartesian coordinate system, while a set of (r x , r y ) corresponds to a k. A fixed k in Eq. (10) can be seen as a point (s x 0 , s y 0 ) on the curve. The transformation from k to (s x 0 , s y 0 ) implies the optimal joint measurement can be replaced by two equivalent measurements (s x 0 , s y 0 ) geometrically.
Then the post-measurement guessing probability can be replaced by a point on the convex curve as P Post = P(s x 0 , s y 0 ) with (s x 0 , s y 0 ) satisfying Eq. (10). What's more, the prior-measurement guessing probability of partitioned measurements can replaced by a point (s x , s y ) as P Prior = P(s x , s y ). As a result, the four parameters are unified as points in the geometrical convex model.

Quantifying the degree of incompatibility
The degree of incompatibility has been characterized by the robustness of incompatibility and confirmed as a quantifier of incompatibility resources [8]. However, the geometrical property for four parameters disappears because the robustness is defined as the ability of the system to resist noises, which eliminates interaction information among the four parameters. Therefore, we start to construct a new quantifier of the degree of incompatibility in the QSD scenario. The new quantifier has two desirable properties: 1. It needs to be related or mapped to the geometrical property of the convex model. 2. It needs to be relevant to the noise levels of ensembles prepared by Alice and geometrical distance in the convex model, for example D = S × m, m = r x + r y , where D is the new quantifier, S represents the geometrical distance in the convex model and m is a function of (r x , r y ).
In Fig. 2, (s x , s y ) and (s x 0 , s y 0 ) represent prior-and postmeasurement guessing probabilities, respectively. If there exists a new definition of the degree of incompatibility as D, we hope D can satisfy D ∝ P(s x − s x 0 , s y − s y 0 ). In this way, we can convert D into a geometrical vector in a two-dimension cartesian coordinate system. Fortunately, considering Eq. (10), it is convenient to construct D satisfying the two requests above: We call Eq. (11) the vector form of D. In Fig. 2a, ( x , y ) represents the vector from P Post to P Prior .
Here we construct a linear map from geometrical space to the quantifier D with coefficients associated with (r x , r y ) and the dimension d. Moreover, using this form, we can  11) and (12). a The vector form of D is an effective tool to describe incompatibility by vector connecting equivalent optimal joint measurement (s x0 , s y0 ) and measurements (s x , s y ), which is also able to describe incompatibility between different measurements (s x , s y ) and (s x1 , s y1 ) in the case of (r x , r y ) fixed. S represents geometrical distance. b The distance form of D is a more intuitive tool to describe incompatibility by distance h between measurements implemented and linear witnesses. All measurements on the parallel of one linear witness have the same degree of incompatibility compare different (s x , s y ) under a common given ensembles (r x , r y ) by a vector from (s x , s y ) to (s x 1 , s y 1 ). In addition, if (s x , s y ) is exactly at the special point (s x 0 , s y 0 ), there appears an interesting phenomenon that compatibility always exists whatever the value of (r x , r y ) is, as long as its ratio k is fixed.
Further more, the value of D can be given as where h is the distance from (s x , s y ) to the tangent, which is tangent to the boundary curve in the point (s x 0 , s y 0 ). We call Eq. (12) the distance form of D, which represents the ordinary product of the function of (r x , r y ) and the geometrical distance h. In Fig. 2b, the red tangent is actually the LIW with a fixed (r x , r y ), and the direction of h represents whether it is incompatible or not. The value |h| can also be linearly mapped into the quantifier D with a coefficient related to the noise levels of ensembles.
Obviously, all points on one parallel of the tangent have a common D, which implies that different (s x , s y ) can achieve the same observation. Similarly, the tangent in the point (s x 0 , s y 0 ) is the special line, where all points on this line are detected compatible as long as (r x , r y ) maintains the fixed ratio k.
In Fig. 2, the region inside convex curve for (s x , s y ) represents the observation is compatible regardless of (r x , r y ), because no matter what k is, (s x , s y ) is always inside the linear witness. But if (s x , s y ) is in the region outside the convex curve, the specific question about whether incompatible or not should be considered as two cases of purple and orange points in Fig. 1b.

Two applications of this framework
The geometrical incompatibility framework provides good tools to describe incompatibility phenomena, which leads to two applications.
For the first application, we consider the case for one who does not care about ensembles in QSD scenario and wants to witness incompatibility between two POVMs. It implies a need to reduce four parameters (r x , r y , s x , s y ) to two parameters (s x , s y ), which label noisy MUB measurements and are not relevant to ensembles. In this case, we restrict (r x = s x , r y = s y ), which means one designs ensembles with the same noise levels as POVMs and in this situation detects incompatibility only depending on the information of given POVMs.
It is easy to prove that the line connecting (r x , r y ) and (0, 0) is exactly vertical to the corresponding tangent in Fig. 3, which is the LIW of (r x , r y ). If a pair of POVMs labeled with (s x , s y ) is given, we can obtain the corresponding optimal joint measurement (s x 0 , s y 0 ) and D via the following steps. Firstly, We need to draw a line connecting (s x , s y ) and (0, 0) and draw parallels of its vertical lines. Then, if we find one parallel which is tangent to the convex curve, it is exactly the LIW of (r x = s x , r y = s y ), and the tangent point will be the equivalent optimal joint measurement (s x 0 , s y 0 ). Finally, the value of D can be obtained via the linear map from (s x , s y ), h and d according to Eq. (12).
For the second application, we consider the case that POVMs are not noisy MUBs while the ensembles are noisy MUBs, which needs a change in the QSD protocol.
Recalling the protocol, there are three main ingredients for the incompatibility detecting process: (i) a pair of POVMs, whose incompatibility is to be detected, (ii) a pair In the case (r x = s x , r y = s y , s x , s y ), D can be worked out only using geometrical information from the picture, which is an effective and intuitive tool to detect and quantify incompatibility of a pair of POVMs. The olive line connects the (0, 0) and (r x , r y ). The red line and its parallel represent LIW and they are vertical to the olive line of ensembles, which are designed to obtain the guessing probability with prior information, and (iii) constructing the optimal joint measurement of ensembles to obtain the guessing probability with post information.
In one word, Alice are requested to design ensembles to obtain P prior guess and P post guess according to POVMs given by Bob. If the case P post guess < P prior guess occurs, we can claim that the incompatibility phenomena of the two POVMs appears under the designed ensembles.
If two POVMs E = {E i } i=1,···d and F = {F j } j=1,···d can recover the labels of two ensembles (A, B) as MUBs, or in another word, can be distinguished by two ensembles as MUBs, satisfying: Using MUBs as ensembles, we transfer the discrimination of states to the discrimination of POVMs. In this situation, Alice needs to send the information of not only the ensembles but also the labels of the state delivered. Bob does not care about what the density matrixes of (E, F) are but makes sure the probability distribution satisfies Eq. (13).
The prior-measurement guessing probability under ensembles as noisy MUBs is: While the post-measurement guessing probability only depends on the ensembles according to Eq. (8). It is natural to convert P prior guess of (E, F) to an equivalent form as P(s x , s y ), which is detailed in Appendix C: It is convenient for the POVMs to be rewritten as the form of P(s x , s y ), which implies the geometrical properties also apply for this kind of POVMs.
Here, we change the protocol for detecting the incompatibility of a pair of POVMs. This protocol provides a pair of ensembles as noisy MUB which constitute a convenient ensembles with geometrical information for POVMs to detect or contrast incompatibility. What's more, the measurements (s x , s y ) provide the equivalent P prior guess for (E, F), which implies the same advantage of incompatible POVMs (E, F) to ensembles (r x , r y ) as the gap between prior-measurement and post-measurement guessing probability. In this way, we construct a geometrical framework for a kind of POVMs which can be discriminated by MUBs.

The geometrical framework for quantum incompatibility resources
There are 3 main ingredients for a resource theory [30]: (i) a set of free or resourceless objects, (ii) a set of expensive or resourceful objects, and (iii) a set of allowed transformations between objects, which is supposed unable to create resourceful objects from resourceless objects. In the geometrical framework, compatible pairs of measurements correspond to the resourceless objects and incompatible pairs correspond to resourceful objects. Then, considering two forms of D, paths of vectors in the convex model carry the information of transformations of quantum incompatibility resources and are linearly mapped into the degree of incompatibility as a quantifier of incompatibility resources.
Obviously, for quantum incompatibility resources in practical QSD tasks, the quantifier D decreases when sharpness (r x , r y ) declines maintaining a fixed ratio k = r x r y . Moreover, for quantum incompatibility between two POVMs under ensembles satisfying (r x = s x , r y = s y ), when (s x , s y ) decreases and drops inside the convex curve as the olive point in Fig. 1b, the pair of POVMs (s x , s y ) is compatible and resourceless, which implies the transformation from expensive objects to free objects which is not able to observe incompatibility phenomena between resourceless objects. It can be seen that D satisfies the three ingredients, and captures the resource of incompatibility. This advantage of the new framework as a geometrical model is different from the robustness of incompatibility, but they can be linearly correlated with each other in QSD tasks. The robustness of incompatibility in the QSD scenario can be as follows: D can be proven portioned to the lower bound of R in the case of fixed (r x , r y ) [8,18].

Conclusion
We construct a geometrical framework for quantum incompatibility resources based on QSD tasks. This framework provides vectors to carry information of transformations for resources, which is also advantageous in describing the incompatibility processes geometrically. We have shown that for incompatible measurements, it is feasible to detect and quantify incompatibility under noisy MUBs with vectors. Furthermore, the geometrical properties in the convex model can be linearly mapped into the quantifier of incompatibility and thus the incompatibility processes, like two applications discussed, are able to be operated intuitively with corresponding vectors. Finally, these properties can be verified by QSD experiments requiring no entanglement.
Our characterization yields a geometrical interpretation of incompatibility resources: the process of incompatibility can be described with geometrical vectors with path information and D is demonstrated as a quantifier of incompatibility resource, which may have potential in other quantum information processes.
Einstein-Podolsky-Rosen steering is related to quantum incompatibility and able to be described in QSD tasks. If two ensembles are compatible, there must exist a localhidden-state model which implies no steering. And every set of incompatible measurements has the potential of generating EPR steering [8,31,32]. These modifications will be an interesting matter of investigation in the case of incompatibility witnesses.

Appendix A: Prior-and post-measurement guessing probability
In the two-party system, we have four MUBs labeled with (r x , r y , s x , s y ) defined in Eq. (6) and Eq. (5). We set the proportion parameter q = 1 2 and mean probability distribution p(x) = p(y) = We recall Eq. (7), and write the result as follows: If we set d = 3 and (s x , s y ) = (1, 1), the results both accord with the experiment result in Ref. [18].