Abstract
Quantum steering is a central resource for onesided deviceindependent quantum information. It is manipulated via oneway local operations and classical communication, such as local filtering on the trusted party. Here, we provide a necessary and sufficient condition for a steering assemblage to be transformable into another via local filtering. We characterize the equivalence classes with respect to filters in terms of the steering equivalent observables (SEO), first proposed to connect the problem of steerability and measurement incompatibility. We provide an efficient method to compute the extractable steerability that is maximal via local filters and show that it coincides with the incompatibility of the SEO. Moreover, we show that there always exists a bipartite state that provides an assemblage with steerability equal to the incompatibility of the measurements on the untrusted party. Finally, we investigate the optimal success probability and rates for transformation protocols (distillation and dilution) in the singleshot scenario together with examples.
Similar content being viewed by others
Introduction
EinsteinPodolskyRosen steering^{1,2,3} is a quantum correlation intermediate between entanglement^{4} and Bell nonlocality^{5,6}. A steering experiment consists of a remote state preparation where one party (Alice) prepares a local state for a distant party (Bob) by performing local measurements on her half of a bipartite entangled state and postselecting the outcome, which is communicated to Bob. As an interpretation in terms of classically postselected shared states is impossible, Alice seems to remotely steer the state of Bob.
In addition to being of foundational interest^{7,8,9,10,11,12,13,14}, due to the fact that only Bob is characterized, steering is at the core of onesided (1S) deviceindependent (DI) quantum information processing^{15,16,17,18}. A resource theory of steering was developed^{19} to make sense of the manipulation of such resources, i.e., steerable state assemblages, for 1SDI quantum information processing. A central open question is which state assemblages can be transformed into one another via the free operations allowed by resource theory, namely, oneway (1W) local operations and classical communication (LOCC). To date, this problem has been solved only for purequbit assemblages, which, in particular, has shown that there exist infinitely many equivalence classes and no measureindependent maximally steerable assemblage^{19}. To make a parallel, this is a central problem in entanglement theory, where, e.g., entanglement distillation protocols were devised^{20,21,22}, and more generally, one is interested in the equivalence classes of entangled states reachable using stochastic LOCC, or local filtering^{22,23,24,25,26,27}. This classification is already nontrivial in the threequbit case, where two different classes arise^{28}, and infinitely many classes arise in multipartite settings with sufficiently high local dimension^{29,30}.
Recently, the steering distillation problem was theoretically and experimentally addressed by Nery et al.^{31}. They showed how to transform via local filtering a purequbit assemblage arising from measurements of X and Z on a partially entangled pure twoqubit state into another purequbit assemblage, arising from the same measurements on a maximally entangled bipartite state.
Quite surprisingly, a key ingredient to solve the steering assemblage classification problem is given by the notion of measurement incompatibility. Intuitively, measurement incompatibility refers to the impossibility of measuring certain physical quantities simultaneously, such as the position and momentum of a quantum particle (e.g., see refs. 32,33). This property is at the foundation of many quantum phenomena, such as uncertainty relations^{34}, quantum contextuality^{35,36,37}, Bell nonlocality^{38,39}, and steering^{40,41,42}. In particular, it has been shown that a state assemblage is unsteerable if and only if a collection of measurements, called steeringequivalentobservable measurement assemblage (SEO), is jointly measurable^{43,44}.
In this work, we provide an even stronger quantitative connection: (1) the SEO defines the equivalence classes of state assemblages and their transformations via local filtering and (2) its incompatibility is the maximal steerability over a class. With the concept of the equivalence classes and Alice’s given measurements, a proper bipartite state ρ_{AB} can be constructed such that the steerability of the resulting assemblage is the same as the incompatibility of such measurements. Finally, we provide an efficient method to compute the filter, analyse the success probability, and estimate the rate of the state assemblage transformation in the singleshot scenario.
Results
Quantum steering, measurement incompatibility, and steeringequivalent observables
We start with a brief summary of quantum steering, measurement incompatibility, and their relation. Given a bipartite state ρ_{AB} shared between Alice and Bob, in each round of the steering protocol, Alice performs a measurement, labeled by x, on her half of the state and obtains a measurement result labeled by a (see Fig. 1). The classical information (x, a) is sent to Bob, who assigns this label to his state in that round. In quantum theory, each of Alice’s measurements is represented by a positiveoperator valued measure (POVM) \({\{{A}_{ax}\}}_{a}\), where A_{a∣x} ≥ 0 and \({\sum }_{a}{A}_{ax}={\mathbb{I}}\)^{45}. Bob’s state in each round can be computed as \({\sigma }_{ax}/{{{{{{{\rm{tr}}}}}}}}({\sigma }_{ax})\), where \({\sigma }_{ax}:\!\!={{{{{{{{\rm{tr}}}}}}}}}_{{{{{{{{\rm{A}}}}}}}}}\left[({A}_{ax}\otimes {\mathbb{I}}){\rho }_{{{{{{{{\rm{AB}}}}}}}}}\right]\). The collection of \({{{{{{{\boldsymbol{\sigma }}}}}}}}={\{{\sigma }_{ax}\}}_{a,x}\) is called the state assemblage. Similarly, the collection of POVMs \({{{{{{{\boldsymbol{A}}}}}}}}={\{{A}_{ax}\}}_{a,x}\) is called the measurement assemblage.
A state assemblage σ admits a localhiddenstate (LHS) model when it can be written as σ_{a∣x} = ∑_{λ}p(λ)p(a∣x, λ)ρ_{λ}; that is, it is obtained by postprocessing {p(a∣x, λ)} on a fixed collection of states {ρ_{λ}} according to the distributions {p(λ)}. We denote the set of state assemblages admitting an LHS model as \({\mathbb{LHS}}\). State assemblages in \({\mathbb{LHS}}\) are called unsteerable, and steerable otherwise. Steering can be quantified via the steering robustness^{46} defined as \({{{{{{{\rm{SR}}}}}}}}({{{{{{\sigma }}}}}}){:}=\min \{t\ge 0\\ \exists {{{{{{{\boldsymbol{\xi }}}}}}}}\,\,{{{{{{\rm{assemblage}}}}}}}\; {{{{{{\rm{and}}}}}}}\,\,{{{{{{{\boldsymbol{\tau }}}}}}}}\in {\mathbb{LHS}}\,\,{{\mbox{s.t.}}}\,\,({\sigma }_{ax}+t{\xi }_{ax})/(1+t)={\tau }_{ax}\forall a,\, x\}\), and efficiently computed via semidefinite programming (SDP)^{47}.
Similar notions arise in the context of quantum measurements. Given a measurement assemblage \({\{{A}_{ax}\}}_{a,x}\), it is said to be jointly measurable (JM) when all measurement effects can be interpreted as classical postprocessing of a single POVM \({\{{G}_{\lambda }\}}_{\lambda }\), namely A_{a∣x} = ∑_{λ}p(a∣x, λ)G_{λ}. If that is not the case, it is said to be incompatible. A measure of incompatibility, the incompatibility robustness^{43,48,49}, can be defined as \({{{{{{{\rm{IR}}}}}}}}({{{{{{{\boldsymbol{A}}}}}}}})=\min \{t\ge 0\\ \exists {{{{{{{\boldsymbol{N}}}}}}}}\,\,{{{{{{\rm{measurement}}}}}}}\; {{{{{{\rm{assemblage}}}}}}}\; {{{{{{\rm{and}}}}}}}\,\,{{{{{{{\boldsymbol{D}}}}}}}}\in {\mathbb{JM}}\,\,{{\mbox{s.t.}}}({A}_{ax}+t{N}_{ax})/(1+t)={D}_{ax}\,\forall \,a,x\}\), where \({\mathbb{JM}}\) denotes the set of jointly measurable measurement assemblages.
These similarities are not accidental: It has been shown that there exists a strong connection between steerability and incompatibility^{40,41} and even that there is a onetoone mapping between the two mathematical problems^{43} (see ref. 44 for the infinitedimensional case). The mathematical equivalence is introduced via the notion of steeringequivalentobservable measurement assemblage (SEO)^{43}: a state assemblage σ is steerable if and only if the measurement assemblage of its SEO B is incompatible. To define SEO B, we need to restrict the reduced state ρ_{B} : = ∑_{a}σ_{a∣x} to its range \({{{{{{{\mathscr{K}}}}}}}}{:}={{{{{{{\rm{ran}}}}}}}}({\rho }_{{{{{{{{\rm{B}}}}}}}}})\) via the projection \({\Pi }_{{{{{{{{\rm{B}}}}}}}}}:{{{{{{{{\mathscr{H}}}}}}}}}_{{{{{{{{\rm{B}}}}}}}}}\to {{{{{{{\mathscr{K}}}}}}}}\), where \({\Pi }_{{{{{{{{\rm{B}}}}}}}}}{\Pi }_{{{{{{{{\rm{B}}}}}}}}}^{*}={{\mathbb{I}}}_{{{{{{{{\mathscr{K}}}}}}}}}\) and \({\Pi }_{{{{{{{{\rm{B}}}}}}}}}^{*}{\Pi }_{{{{{{{{\rm{B}}}}}}}}}\) is a Hermitian projector in \({{{{{{{\mathcal{L}}}}}}}}({{{{{{{{\mathscr{H}}}}}}}}}_{{{{{{{{\rm{B}}}}}}}}})\). Then, we define the reduced state and state assemblage restricted to \({{{{{{{\mathscr{K}}}}}}}}\) as, respectively, \({\tilde{\rho}}_{{{{{{{{\rm{B}}}}}}}}}{:}={\Pi }_{{{{{{{{\rm{B}}}}}}}}}{\rho }_{{{{{{{{\rm{B}}}}}}}}}{\Pi }_{{{{{{{{\rm{B}}}}}}}}}^{*}\) and \({\tilde{\sigma }}_{ax}{:}={\Pi }_{{{{{{{{\rm{B}}}}}}}}}{\sigma }_{ax}{\Pi }_{{{{{{{{\rm{B}}}}}}}}}^{*}\), respectively. In the following, we use the notation \(\sim\) to denote an assemblage restricted to the range of the corresponding reduced state.
Then, B is defined as
This allows the SEO to be welldefined even when ρ_{B} is not fullrank^{43}. With a slight abuse of notation, we write \({\rho }_{{{{{{{{\rm{B}}}}}}}}}^{\frac{1}{2}}{:}={{\tilde{\rho }}_{{{{{{{{\rm{B}}}}}}}}}}^{\frac{1}{2}} \oplus {0}_{{{{{{{{{\mathscr{K}}}}}}}}}^{\perp }}\), to denote the embedding into the original space \({{{{{{{{\mathscr{H}}}}}}}}}_{{{{{{{{\rm{B}}}}}}}}}={{{{{{{\mathscr{K}}}}}}}} \oplus {{{{{{{{\mathscr{K}}}}}}}}}^{\perp }\), where ^{⊥} is the orthogonal complement.
Transforming state assemblages via local filters
First, we introduce an equivalence relation between two state assemblages, σ^{(1)} and σ^{(2)}, based on their SEOs. We define the equivalence relation ~_{SEO} as follows:
where \({{{\mathscr{K}}}}_{\!\!(i)}{:}={{{{{{{\rm{ran}}}}}}}}({\rho }_{{{{{{{{\rm{B}}}}}}}}}^{(i)})\) for i = 1, 2, and U is a unitary operator acting on \({{{{{{{{\mathscr{H}}}}}}}}}_{{{{{{{{\rm{B}}}}}}}}}\). This definition requires that \({{{{{{{{\mathscr{K}}}}}}}}}_{(1)}\) and \({{{{{{{{\mathscr{K}}}}}}}}}_{(2)}\) are isomorphic and that the two SEOs B^{(1)} and B^{(2)} are the same up to a local change of basis. It is straightforward to see that ~_{SEO} is an equivalence relation, namely, it is reflexive, symmetric, and transitive. Hence, it gives rise to equivalence classes, which we denote by [σ].
We now introduce another type of steering class based on transformation by local filters. Local filters on Bob’s side are modeled via the map
where K satisfies \({K}^{{{{\dagger}}} }K\le {\mathbb{I}}\) and \({p}_{{{{{{{{\rm{succ}}}}}}}}}{:}={{{{{{{\rm{tr}}}}}}}}[{\sum }_{a}{\sigma }_{ax}{K}^{{{{\dagger}}} }K]\). In the case p_{succ} = 0, one could define the output of the map as the operator 0. Of course, the transformation makes sense only if p_{succ} > 0, otherwise the transformation is simply impossible. This corresponds to making a local measurement and postselecting a specific outcome. In the language of the oneway (1W) stochastic (S) local operations and classical communication (LOCC), or 1WSLOCC operations^{19,50}, these are the most general local filters, which are denoted as LF_{1} to emphasize that they contain only one Kraus operator. See Supplementary Note 1 for a selfcontained summary. In addition, 1WSLOCC also contains a classical pre and postprocessing on Alice’s side, which is not considered here (also see Supplemental Note 1).
It is convenient to introduce some notation to denote the existence of such a transformation, we write
Similar to SEO, LF_{1} filters define an equivalence relation. We define \({ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}\) as
Clearly, this is an equivalence relation, i.e., reflexive, symmetric, and transitive. Hence, it gives rise to another set of equivalence classes. We can now connect these two notions through the following theorem:
Theorem 1
Consider two assemblages σ^{(1)} and σ^{(2)}. Denote their reduced states as \({\rho }^{(i)}{:}={\sum }_{a}{\sigma }_{ax}^{(i)}\), their ranges as \({{{{{{{{\mathscr{K}}}}}}}}}_{\!\!i}{:}={{{{{{{\rm{ran}}}}}}}}({\rho }^{(i)})\), and the dimensions as \({d}_{i}:\!\!=\dim ({{{{{{{{\mathscr{K}}}}}}}}}_{\!\!i})\), for i = 1, 2. Then, the following statements are equivalent

(i)
σ^{(1)} ~_{SEO}σ^{(2)}

(ii)
\({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{(1)}{ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}{{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{(2)}\)

(iii)
σ^{(2)} \(\mathop{\longrightarrow }\limits^{{{{{{{{{\rm{LF}}}}}}}}}_{1}}\) σ^{(1)} and d_{1} = d_{2}.
Moreover, in the case σ^{(1)} ~_{SEO}σ^{(2)}, the filter K can be explicitly computed as a function of the reduced states \({\rho }^{(i)}={\sum }_{a}{\sigma }_{ax}^{(i)}\) and the unitary U appearing in Eq. (2). Such a filter can be constructed to have the success probability
where U is the unitary appearing in Eq. (2) and \({\lambda }_{\max }(X)\) denotes the maximum eigenvalue of the operator X. This value is provably optimal if the initial assemblage contains sufficiently many linearly independent states to perform channel tomography.
A detailed proof is presented in the Methods section.
Theorem 1 connects two seemingly distinct concepts: equivalence classes with respect to SEO and with respect to LF_{1}. Thus, they provide a new physical interpretation of the SEOs beyond the onetoone mapping of steerability into incompatibility^{43}: SEOs classify all assemblages with respect to LF_{1} local filters in the sense that whether the two assemblages can be converted to each other by LF_{1} is determined by their SEOs. Moreover, Theorem 1 provides a simple necessary and sufficient condition for the existence of a reverse transformation. Namely, given the transformation from σ^{(2)} to σ^{(1)}, the reverse transformation from σ^{(1)} to σ^{(2)} exists if and only if the ranks of ρ^{(1)} and ρ^{(2)} are the same. Thus, transformable assemblages of the same rank can always be discussed in terms of equivalence classes with respect to twoway transformations.
In this sense, we can define a canonical representative assemblage of each equivalence class [σ] as
with B the SEO of σ and \(d=\dim ({{{{{{{\rm{ran}}}}}}}}\rho )\) the rank of the reduced state ρ = ∑_{a}σ_{a∣x}. It is clear that all the assemblages in this class can be transformed into the canonicalstate assemblage with the transformation in Eq. (1). As we will demonstrate below, this interpretation can be further expanded.
Maximal and minimal robustness within each class
Here we present a general result on the minimal and maximal robustness that can be achieved via LF_{1} local filters.
Theorem 2
Given a state assemblage σ, its corresponding SEO B, and its equivalence class [σ] (w.r.t. \({ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}\)), we have
Moreover, for any ε > 0, one can efficiently find a filter (via SDP) that transforms σ into the assemblage \({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{\prime}\) such that \({{{{{{{\rm{SR}}}}}}}}({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{\prime})\ge {{{{{{{\rm{IR}}}}}}}}({{{{{{{\boldsymbol{B}}}}}}}})\varepsilon\), as in Eq. (8), and one that transforms it into the assemblage σ^{″} such that SR(σ^{″}) ≤ ε, as in Eq. (9), by a direct calculation.
A detailed proof of Theorem 2 can be found in the Methods section, together with the description of the SDP. Intuitively, the result on the \(\sup\) comes from equating the SDP definition of IR(B) with optimization over the SEO for \({{{{{{{\rm{SR}}}}}}}}({{{{{{{\boldsymbol{\sigma }}}}}}}}^{\prime} )\), whereas the result on the \(\inf\) comes from the fact that one can transform any assemblage into one coming from a pure state with arbitrary low entanglement. Notice the use of \(\sup\!/\!\inf\) instead of \(\max \!/\!\min\). Even though this is a fundamental difference at the mathematical level, in the sense that the exact bound may be unreachable, every physical experiment will always have some nonzero uncertainty, making this difference irrelevant. The same argument applies to numerical computations, such as those of SDPs.
It is interesting to notice that the assemblage giving the maximal steerability in a given equivalence class is not necessarily the canonical representative σ^{B} of Eq. (7), which is generated by sharing a maximally entangled state. A more detailed discussion is presented in Th. 3 and an explicit counterexample is provided in Supplementary Note 3.
The results of Theorem 2, combined with those of Theorem 1, further extend the new interpretation of SEOs. In fact, they not only characterize the equivalence classes w.r.t. LF_{1} filters but also provide a tight bound on the maximal steerability within each class. Moreover, one can saturate the previous inequality SR(σ) ≤ IR(B), derived in ref. 51 (see also refs. 52,53), if local filters are allowed.
A second observation is that rather counterintuitively, the same equivalence class contains assemblages that have maximal and arbitrarily small steerability. In one direction this may be obvious, as one can always decrease steerability by means of local operation, e.g., by decreasing the amount of entanglement in the initial state. In the other direction, the physical soundness of this result is recovered by noticing that even if an assemblage can be transformed into a maximally steerable one, this happens with vanishing probability. This can be seen, for instance, in the explicit construction used in the proof (see Methods section and the example in Fig. 2).
Optimal state with a given measurement assemblage on the untrusted side
We first state the main result:
Theorem 3
For any measurement assemblage A and any ε > 0, via SDP we can efficiently compute a bipartite state \({\rho }_{{{{{{{{\rm{AB}}}}}}}}}^{\varepsilon }\), that generates an assemblage \({\sigma }_{ax}{:}={{{{{{{{\rm{tr}}}}}}}}}_{{{{{{{{\rm{A}}}}}}}}}[({A}_{ax}\otimes {\mathbb{I}}){\rho }_{{{{{{{{\rm{AB}}}}}}}}}^{\varepsilon }]\) satisfying SR(σ) ≥ IR(A) − ε.
Details of the proof and an explicit construction via SDP of the bipartite state are presented in Supplementary Note 2. Interestingly, the bipartite state providing maximum steerability is not necessarily maximally entangled. In detail, given the maximally entangled state and the measurement assemblage A used on Alice’s side to generate Bob’s state assemblage σ, we have the SEO B = A and the state assemblage σ = σ^{B}. We present an explicit example such that IR(B) > SR(σ^{B}) in Supplementary Note 3. It is also interesting to recall the following inequality derived by ref. 51: SR(σ) ≤ IR(B) ≤ IR(A). Theorem 3, then, tells us that this bound is saturated, i.e., given a measurement assemblage, we can always find a bipartite state such that the steerability of the associated assemblage coincides with the incompatibility of the original measurements. Finally, this result is outside the 1SDI framework, as it requires the knowledge of Alice’s measurements and of the bipartite state. To highlight this difference, notice that given a state assemblage in the class associated with an SEO B, such that IR(B) < IR(A), there is no way to increase its steering robustness up to IR(A) via LF_{1} filters due to Theorems 1 and 2.
Conversion rates between assemblages
Local filter corresponds to a local measurement performed on Bob’s system. In the case of a successful outcome, the system is kept; otherwise, it is discarded. A key figure of merit is, thus, the rate at which the target assemblages are produced. More precisely, the rate r at which one transforms an assemblage σ into another assemblage σ^{*} can be defined in terms of the existence of a transformation^{31}
with probability 1 in the limit of N → ∞ and with 0 < r ≤ 1. In principle, this definition allows for the use of global operations on multiple copies of the assemblage, i.e., \({\left({{{{{{{\boldsymbol{\sigma }}}}}}}}\right)}^{\otimes N}\). However, our local filter method can be formulated for a singleshot scenario. In other words, given a single copy of a state assemblage σ, there is a nonzero probability of transforming it into the target assemblage σ^{*}. In this case, the rate r is the singleshot success probability:
where ρ_{B} = ∑_{a}σ_{a∣x} is the reduced state on Bob’s side, and K is the filter. See Supplementary Note 4 for details.
Application to qutrit assemblages
The first observation is that the results of the purequbit case by ref. 31 are recovered through our formalism. For completeness, these results are rederived in our language in Supplementary Note 5. Here, we provide an example of a qutrit system with two inputs and three outputs. Consider the twoqutrit state \(\left\psi \right\rangle=\mathop{\sum }\nolimits_{i=1}^{3}{\mu }_{i}\leftii\right\rangle\) with \({\mu }_{i}^{2} \, > \, 0\,\forall \,i\) and \(\mathop{\sum }\nolimits_{i=1}^{3}{\mu }_{i}^{2}=1\). Denote the reduced state by \(\tau=\mathop{\sum }\nolimits_{i=1}^{3}{\mu }_{i}^{2}\lefti\right\rangle \left\langle i\right\) and the minimal eigenvalue of τ by \({\lambda }_{\min }(\tau )=\mathop{\min }\limits_{i}{\mu }_{i}^{2}\). We choose Alice’s measurement assemblage to contain the measurements in the computational basis and its Fourier transform; namely, \(\{{A}_{a0}\}=\{\lefta\right\rangle \left\langle a\right\}\) and \(\{{A}_{a1}\}=\{F\lefta\right\rangle \left\langle a\right{F}^{{{{\dagger}}} }\}\) with a = {1, 2, 3}. Here, F is the threedimensional discrete Fourier transform. The corresponding measurement bases are mutually unbiased. The initial assemblage is \({\sigma }_{ax}={\tau }^{1/2}{A}_{ax}^{T}{\tau }^{1/2}\,\,\forall \,\,a,x\). Via SDP one can compute the optimal assemblage in this class, to obtain σ^{*} = A^{T}/3. Consequently, the local filter is \(K:\!\!=\sqrt{3{\lambda }_{\min }(\tau )}{\tau }^{1/2}\). A conversion rate of \(r={p}_{{{{{{{{\rm{succ}}}}}}}}}=3{\lambda }_{\min }(\tau )\) is then obtained. We note that this optimal assemblage provides not only the maximal steering robustness but also the maximal randomness generation^{17} in the sense that \({{{{{{{\rm{tr}}}}}}}}({\sigma }_{a1})=1/3\,\forall \,a\). We visualize the values of SR and success probability in Fig. 2. Finally, we recall the discussion below Theorem 2. In this example, there exists an assemblage with vanishing steerability that can be transformed into the maximally steerable one in this class.
Discussion
This work investigated the convertibility between state assemblages via local filters on the trusted party (Bob). These local filters, denoted as LF_{1}, are sufficient to generate the most general 1WSLOCC operations when combined with classical pre and postprocessing on Alice’s side^{19}. Note that local filters do not introduce any loophole in the steering scenario. This is because a local filter can be performed as a part of the state preparation, i.e., before the steering protocol starts and any input is generated. The situation is analogous to that of local filters in the Bell experiments^{54}. We showed that a seemingly abstract concept, i.e., the steeringequivalentobservables measurement assemblage, or SEO, introduced to formally map a steering problem into an incompatibility one, has a direct physical interpretation. In fact, the SEOs characterize equivalence classes with respect to LF_{1} filters, and its incompatibility corresponds to the maximal steerability, quantified by the steering robustness, which can be extracted from a given assemblage via local filters. Moreover, we showed that the existence of an LF_{1} transformation in one direction implies the existence of the reverse transformation. In addition, we showed that within each equivalence class, steerability can range from (almost) zero to this maximal value.
Our results include an efficient computation of the local filter via SDP. Moreover, we showed that, given a measurement assemblage on Alice’s side, there always exists a bipartite state (also efficiently computable via SDP) such that the steerability of Bob’s state assemblage coincides with the incompatibility of Alice’s measurement assemblage. Interestingly, the state is not necessarily maximally entangled. These results show that the previously known upper bounds for steerability, i.e., SR(σ) ≤ IR(B) ≤ IR(A)^{51}, where A is the measurement assemblage on Alice’s side, σ is the corresponding state assemblage on Bob’s side, and B is the SEO, can always be saturated.
Since our filter protocol involves only local operations, we can directly compute the asymptotic conversion rate between assemblages in terms of the singleshot success probability of a single filter. We recover the theoretical results of ref. 31 and answer the open question formulated therein regarding the existence of steering dilution and the reversibility of the transformation. Finally, an explicit example of a qutrit steering distillation is also presented, which is experimentally implementable with current technology, see, e.g., refs. 55,56.
Our results naturally suggest new research directions. For instance, can we have a more general result on the quantitative relation between steerability and incompatibility within an SEO class, i.e., does the maximal steerable weight^{57} in an SEO saturate the incompatible weight^{58} of an SEO? Another observation is the following. Theorem 1 requires a rank constraint to guarantee the existence of the reverse transformation in LF_{1}. As we have seen in Th. 2 and Th. 3, rank constraints can be satisfied by admitting a small error, i.e., by substituting a lowrank assemblage with an arbitrarily close one of higher rank. For a given filter K, the construction of an approximate filter K^{ε} admitting an inverse for a given assemblage, however, is nontrivial, as it is nontrivial in its physical and operational interpretation. We leave the question of an extension of Th. 1, including approximate transformations, to future investigation. Moreover, the conversion rate defined in Eq. (10) allows for the possibility of global operations on multiple copies of the assemblage, i.e., σ^{⊗N}, as is the case in entanglement theory. How can the rate be improved by using global operations? For instance, it is known that steering can be super activated when Alice performs collective measurements on many copies of the initial state^{59,60} (see also the superactivation of quantum steering by twosided local filters^{61}). Therefore, our results may also be applicable beyond the resource theory of steering, e.g., when also Alice’s device is partially characterized. Finally, what happens when moving from the bipartite to the multipartite scenario? It has been shown that Greenberger–Horne–Zeilinger and Wtype assemblages generated by the corresponding multipartyentangled types can be distilled by local filters^{62}. Can our approach be generalized to recently proposed steering networks^{63} or multiparty steering^{64}? All these questions will be the object of future research.
Methods
Proof of Theorem 1
Proof.— First, we prove that (i) → (ii), the properties of the corresponding filter K and its success probability. We denote by ρ^{(i)} the reduced states for σ^{(i)}, for i = 1, 2, i.e., \({\rho }^{(i)}={\sum }_{a}{\sigma }_{ax}^{(i)}\) and the corresponding ranges by \({{{{{{{{\mathscr{K}}}}}}}}}_{\!\!(i)}{:}={{{{{{{\rm{ran}}}}}}}}({\rho }^{(i)})\). Using the definition of SEOs, the equivalence relation of Eq. (2), and the conventional notation of the inverse square root operator, i.e., \({\rho }^{1/2}={\tilde{\rho }}^{\frac{1}{2}}\oplus {0}_{{{{{{{{{\mathscr{K}}}}}}}}}^{\perp }}\), we can directly write
Although the above mapping provides the correct transformation of σ^{(1)} to σ^{(2)} and is completely positive by construction, it may be nonphysical since \({{\rho }^{(2)}}^{1} \not\!\!\!\!\!\!\leq {\mathbb{I}}\), thus yielding a traceincreasing map. To obtain the correct filtering operation, it is enough to properly insert a suitable constant into the above expression. Let us first define the operator
We now define the local filter in the Kraus representation in terms of a real normalization parameter α as
Using the condition \({K}^{{{{\dagger}}} }K\le {\mathbb{I}}\), and denoting the maximal eigenvalue of \({\widetilde{K}}^{{{{\dagger}}} }\widetilde{K}\) by \({\lambda }_{\max }({\widetilde{K}}^{{{{\dagger}}} }\widetilde{K})\), we determine the constant as
Over all possible values, it makes sense to take α as real and maximal, i.e., obtaining the equality sign in Eq. (15), in order to maximize the success probability \({p}_{{{{{{{{\rm{succ}}}}}}}}}:\!\!={{{{{{{\rm{tr}}}}}}}}[{\sum }_{a}{\sigma }_{ax}^{(2)}{K}^{{{{\dagger}}} }K]\) of the filtering operation. Such a probability can be directly calculated using that
which, by the definition of p_{succ} and the cyclicity of the trace, gives
which, together with Eq. (15) provides the optimal success probability.
We, then, have that
Note that p_{succ} is properly normalized, since ρ^{(2)} is a state and \({K}^{{{{\dagger}}} }K\le {\mathbb{I}}\). Moreover, by construction \({{\rho }^{(1)}}^{1/2}U{{\rho }^{(2)}}^{1/2}\) is zero on \({{{{{{{{\mathscr{K}}}}}}}}}_{(2)}^{\perp }\), so the extra identity operator does not play a role in the normalization. Also, this local filter is a valid 1WSLOCC operation.
Finally, we notice that it is also possible to obtain an estimate of the optimal success probability directly from the eigenvalues of the reduced states ρ^{(1)} and ρ^{(2)}. Using the facts that unitaries preserve eigenvalues [\({U}^{{{{\dagger}}} }{{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(1)}}U={{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(2)}}\) in Eq. (2)] and that
where \({\lambda }_{\min } \, > \, 0\) denotes the minimal nonzero eigenvalue, we can directly obtain an estimate of \({\lambda }_{\max }({\widetilde{K}}^{{{{\dagger}}} }\widetilde{K})\) to show that
This finally gives an estimate of the success probability as
Let us now prove that (ii) ⇒ (iii). First, we recall the definition of the canonical representative of the equivalence class associated with the SEO B, namely
where \(d=\dim ({{{{{{{\rm{ran}}}}}}}}\rho )\). Then, by the definition of an SEO, we have \({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{(i)}\mathop{\longrightarrow}\limits^ {{{{{{\rm{LF}}}}}}_{1}}{{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(i)}}\) and \({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(i)}} \mathop{\longrightarrow}\limits^ {{{{{{\rm{LF}}}}}}_{1}} {{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{(i)}\) with B^{(i)} denoting the SEO of the assemblage σ^{(i)}. Composing these transformation, we have the maps \({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(i)}} \mathop{\longrightarrow}\limits^ {{{{{{\rm{LF}}}}}}_{1}} {{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(j)}}\) for (i, j) = (1, 2), (2, 1). Since all transformations are in LF_{1}, their composition is also in LF_{1}. For convenience, we write everything in the global space \({{{{{{{\mathscr{H}}}}}}}}\), as
for some \(K,\widetilde{K}\in {{{{{{{{\rm{LF}}}}}}}}}_{1}\) and where \({p}_{{{{{{{{\rm{succ}}}}}}}}}^{(1)}={{{{{{{\rm{tr}}}}}}}}[{{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(1)}}{\widetilde{K}}^{{{{\dagger}}} }\widetilde{K}]/{d}_{1}\) and \({p}_{{{{{{{{\rm{succ}}}}}}}}}^{(2)}={{{{{{{\rm{tr}}}}}}}}[{{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(2)}}{K}^{{{{\dagger}}} }K]/{d}_{2}\) are the corresponding success probabilities. By the conditions \({\sum }_{a}{B}_{ax}^{(i)}={{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(i)}}\), we have
Using the fact that for any pair of linear maps A, B \(\dim {{{{{{{\rm{ran}}}}}}}}(AB)\le \min \{\dim {{{{{{{\rm{ran}}}}}}}}(A),\dim {{{{{{{\rm{ran}}}}}}}}(B)\}\), we obtain the two inequalities d_{2} ≤ d_{1} and d_{1} ≤ d_{2}, since \({d}_{i}=\dim {{{{{{{{\mathscr{K}}}}}}}}}_{i}=\dim {{{{{{{\rm{ran}}}}}}}}({{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(i)}})\). This implies d_{1} = d_{2} and concludes this part of the proof.
Let us now prove that (iii) ⇒ (i). By assumption, we have the transformation σ^{(2)} \(\mathop{\longrightarrow}\limits^ {{{{{{\rm{LF}}}}}}_{1}}\) σ^{(1)}, which, combined with the definition of SEO as above, gives us the transformation \({{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(2)}} \mathop{\longrightarrow}\limits^ {{{{{{\rm{LF}}}}}}_{1}} {{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{{\boldsymbol{B}}}}}}}}}^{(1)}}\). By assumption, d_{1} = d_{2}, hence,
which, summing over a and splitting \({p}_{{{{{{{{\rm{succ}}}}}}}}}^{(2)}\), gives
Let us define the map \(V{:}={K}_{{}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(1)}}}^{{{{\dagger}}} }/\sqrt{{p}_{{{{{{{{\rm{succ}}}}}}}}}^{(2)}}\), i.e., K^{†} renormalized and restricted on the subspace \({{{{{{{{\mathscr{K}}}}}}}}}_{(1)}\). We have that \(V:{{{{{{{{\mathscr{K}}}}}}}}}_{1}\to {{{{{{{{\mathscr{K}}}}}}}}}_{2}\) is an isometry, since \({V}^{{{{\dagger}}} }V={{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(1)}}\). As an isometry, V is injective, and since d_{1} = d_{2} it is also surjective. This implies that V is a unitary between \({{{{{{{{\mathscr{K}}}}}}}}}_{(1)}\) and \({{{{{{{{\mathscr{K}}}}}}}}}_{(2)}\). Similarly, one obtains that V^{†} is a unitary from \({{{{{{{{\mathscr{K}}}}}}}}}_{(2)}\) to \({{{{{{{{\mathscr{K}}}}}}}}}_{(1)}\). Hence, V can then be extended to a global unitary \(U:{{{{{{{\mathscr{H}}}}}}}}\to {{{{{{{\mathscr{H}}}}}}}}\), simply by completing it with a mapping from an orthonormal bases of \({{{{{{{{\mathscr{K}}}}}}}}}_{(2)}^{\perp }\) to an orthonormal basis \({{{{{{{{\mathscr{K}}}}}}}}}_{(1)}^{\perp }\). We then have
which concludes the proof of the implication (iii) ⇒ (i).
To conclude the proof, the only thing left to prove is that the transformation is provably optimal if there are sufficient linearly independent elements in the original state assemblage to completely characterize the channel. The idea is relatively simple and is based on the fact that, under this condition, the transformation is uniquely defined. By contradiction, let us assume we have another optimal transformation K_{0} over LF_{1}, mapping σ^{(2)} → σ^{(1)} and that \(\{{\sigma }_{ax}^{(2)}\}\) consists of at least d^{2} linearly independent elements. We have
Since sufficient linearly independent subnormalized states \({\sigma }_{ax}^{(2)}\) are available in order to characterize the filter, this implies that \({K}_{0}/\sqrt{{p}_{{{{{{{{\rm{succ}}}}}}}}}}={{\rho }^{(1)}}^{1/2}U{{\rho }^{(2)}}^{1/2}\). In fact, note that \(K(\cdot ){K}^{{{{\dagger}}} }:{{{{{{{\mathcal{L}}}}}}}}({{{{{{{\mathscr{H}}}}}}}})\to {{{{{{{\mathcal{L}}}}}}}}({{{{{{{\mathscr{H}}}}}}}})\) is a linear map from linear operators to linear operators. Thus, it is completely characterized by its action on a basis, i.e., d^{2} linearly independent linear operators, where d is the dimension of \({{{{{{{\mathscr{H}}}}}}}}\) and, thus, d^{2} is the dimension of \({{{{{{{\mathcal{L}}}}}}}}({{{{{{{\mathscr{H}}}}}}}})\). Finally, since K_{0} is the filtering maximizing the success probability, we have \({K}_{0}{K}_{0}^{{{{\dagger}}} }\le {\mathbb{I}}\) and \({K}_{0}{K}_{0}^{{{{\dagger}}} }\not\!\!\!\!\!\!\leq (1\varepsilon ){\mathbb{I}}\) for all ε > 0. This corresponds to the choice of the maximum α in Eq. (15). This concludes the proof.
As a final note, since ~_{SEO} and \({ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}\) are symmetric, the roles of σ^{(1)} and σ^{(2)} can be exchanged in Theorem 1 (iii).
Proof of Theorem 2
The first observation is that, up to an embedding and a change of local basis (i.e., adding a \(\oplus {0}_{{{{{{{{{\mathscr{K}}}}}}}}}^{\perp }}\) and a unitary U, as in Eq. (2)), a generic element σ in the equivalence class of the SEO B can be obtained by the representative σ^{B} as
for some fullrank reduced state η. We can now proceed to prove Theorem 2.
Proof of the supremum—First, it is useful to recall the dual SDP formulations of IR and SR (see respectively refs. 46,65):
and
Here, D(a∣x, λ) is the deterministic postprocessing of a with respect to x, λ appearing in the primal problem, i.e., \({\delta }_{a,{\lambda }_{x}}\). Notice that we can interpret η as a valid quantum state and ω and F as the incompatibility witnesses and steering witnesses, respectively.
By Theorem 1, we can associate the SEO B to the equivalence class [σ], w.r.t. \({ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}\). This implies that σ ~_{SEO}σ^{B} and \({{{{{{{\boldsymbol{\sigma }}}}}}}}{ \sim }_{{{{\!{{{{{\rm{LF}}}}}}}}}_{1}}{{{{{{{{\boldsymbol{\sigma }}}}}}}}}^{{{{{{{{\bf{B}}}}}}}}}\), where σ^{B} is defined in Eq. (23). We also recall that a generic element of the equivalence class can be written as σ_{a∣x} = η^{1/2}B_{a∣x}η^{1/2} for some fullrank state η (see Eq. (30)).
By combining the definition of \({{{{{{{{\rm{SR}}}}}}}}}^{\sup }\) with Theorem 1 and Eq. (32), we can upper bound the maximal steering robustness over all SEOequivalent assemblages via the following optimization problem
Notice that the problem in Eq. (33) is no longer an SDP, since it contains as an objective function that is nonlinear in η and F. Nevertheless, we can now show that every feasible solution of the SDP in Eq. (31) is a feasible solution of the problem in Eq. (33) and vice versa. In fact, given ω, η feasible solution of Eq. (31), we can define F_{a∣x} : = η^{−1/2}ω_{a∣x}η^{−1/2}, which satisfies F_{a∣x} ≥ 0 and \({\mathbb{I}}\ge {\sum }_{a,x}D(ax,\lambda ){F}_{ax}\), even when η is not fullrank and we invert it on just a subspace. Conversely, given F, η feasible solution of Eq. (33), we can define ω_{a∣x} : = η^{1/2}F_{a∣x}η^{1/2}, which satisfies ω_{a∣x} ≥ 0 and η ≥ ∑_{a,x}D(a∣x, λ)ω_{a∣x}. Again, no problem arises if η is not fullrank. Finally, it is clear that this construction provides the same value for the objective function in both directions. We have thus proven that each solution to one problem provides a solution to the other, without changing the objective function, which implies that the optimal value is the same.
Finally, we need to verify that the optimal solution Ω is indeed the supremum over all assemblages in the same equivalence class, i.e., \(\Omega={{{{{{{{\rm{SR}}}}}}}}}^{\sup }([{{{{{{{\boldsymbol{\sigma }}}}}}}}])\). The missing condition comes from the fact that if the state η is not fullrank, then the constructed assemblage is not in the same class as σ^{B}. However, for any state η, we can always find another state \(\widetilde{\eta }\) that is arbitrarily close to it. Let us define Π_{η} as the projector on the range of η with rank \(r:\!\!={{{{{{{\rm{tr}}}}}}}}[{\Pi }_{\eta }] \, < \, d\). For any ε > 0, there exists δ such that we can approximate the solution of the problem in Eq. (33) up to ε via the following construction. First, we construct a fullrank η_{ε} as
which approximates the optimal value Ω in Eq. (33) as ∣Ω(F, η) − Ω(F, η_{ε})∣ ≤ ε. Similarly, we define \({\omega }_{ax}^{\varepsilon }=(1\delta ){\omega }_{ax}\) to preserve the condition in Eq. (31). This guarantees that we still obtain a feasible solution.
This solution approximates the optimal value that follows directly from the continuity of the objective function in Eq. (33). A concrete estimate for δ can be obtained by estimating the Hilbert–Schmidt norm of the difference
and applying the Cauchy–Schwarz inequality to the objective function, using also the fact that \(0\le {B}_{ax},{F}_{ax}\le {\mathbb{I}}\) to upper bound their norm. It is then clear that the SDP in Eq. (33) provides a vanishing upper bound in the limit δ → 0 for the difference between the optimal value in the problem and that obtained by the substitution η → η_{ε}. This shows that IR is indeed the supremum and concludes this part of the proof.
Proof of the infimum— To prove the infimum, we consider that for every measurement assemblage A = B^{T} and any fullSchmidtrank state \(\left\psi \right\rangle=\mathop{\sum }\nolimits_{i=1}^{d}{\mu }_{i}\leftii\right\rangle\), there exists an assemblage σ such that^{43}
where T denotes the transpose in the basis \(\{\lefti\right\rangle \}\) appearing in the Schmidt decomposition of \(\left\psi \right\rangle\), and \(\tau=\mathop{\sum }\nolimits_{i=1}^{d}{\mu }_{i}^{2}\lefti\right\rangle \left\langle i\right\) is the reduced state of \(\left\psi \right\rangle\). In other words, for any fullSchmidtrank state \(\left\psi \right\rangle\) and any measurement assemblage B^{T}, we can obtain a state assemblage σ that gives B as its SEO. In particular, this implies that for any assemblage σ, we can find \({{{{{{{\boldsymbol{\sigma }}}}}}}}^{\prime}\) such that \({{{{{{{\boldsymbol{\sigma }}}}}}}}{ \sim }_{{{\!{{{{{\rm{SEO}}}}}}}}}{{{{{{{\boldsymbol{\sigma }}}}}}}}^{\prime}\) and \({{{{{{{\boldsymbol{\sigma }}}}}}}}^{\prime}\) comes from a quantum state \(\left\psi \right\rangle\) with arbitrarily low entanglement.
Now, we consider another fact about steering robustness^{46}, namely, that \({{{{{{{{\rm{ER}}}}}}}}}_{g}(\left\psi \right\rangle )\ge {{{{{{{\rm{SR}}}}}}}}({{{{{{{\boldsymbol{\sigma }}}}}}}})\) with \({{{{{{{{\rm{ER}}}}}}}}}_{g}(\left\psi \right\rangle )\) being the generalized entanglement robustness of \(\left\psi \right\rangle\) (see ref. 66 for more details). In turn, \({{{{{{{{\rm{ER}}}}}}}}}_{g}(\left\psi \right\rangle )\) is upper bounded by the random entanglement robustness \({{{{{{{{\rm{ER}}}}}}}}}_{r}(\left\psi \right\rangle )\), obtained when mixing with the maximally mixed state. For pure states, this has a simple expression in terms of the Schmidt decomposition \(\left\psi \right\rangle=\mathop{\sum }\nolimits_{i}^{d}{\mu }_{i}\leftii\right\rangle\), where the vectors are ordered such that μ_{1} ≥ μ_{2} ≥ μ_{3} … ≥ 0, namely^{67}:
For any ε > 0, we can take \(\left\psi \right\rangle=\sqrt{1(d1){\varepsilon }^{\prime}}\left00\right\rangle+\sqrt{{\varepsilon }^{\prime}}\left11\right\rangle+\ldots \sqrt{{\varepsilon }^{\prime}}\leftd1,d1\right\rangle\), with \({\varepsilon }^{\prime} \, < \, {\varepsilon }^{2}/{({d}_{A}{d}_{B})}^{2}\). This gives \({\mu }_{1}=\sqrt{\left.1{\varepsilon }^{\prime}\right)} \, < \, 1\) and \({\mu }_{2}=\sqrt{{\varepsilon }^{\prime}} \, < \, \varepsilon /({d}_{A}{d}_{B})\); hence, \({{{{{{{{\rm{ER}}}}}}}}}_{r}(\left\psi \right\rangle )\le \varepsilon\). Since ε is arbitrary, the infimum is zero, which concludes the proof.
Data availability
Dataset sharing is not applicable to this article as no data sets were generated or analyzed during this study.
Code availability
Source codes of the plots are available from the authors upon request.
References
Wiseman, H. M., Jones, S. J. & Doherty, A. C. Steering, entanglement, nonlocality, and the EinsteinPodolskyRosen paradox. Phys. Rev. Lett. 98, 140402 (2007).
Cavalcanti, D. & Skrzypczyk, P. Quantum steering: a review with focus on semidefinite programming. Rep. Prog. Phys. 80, 024001 (2016).
Uola, R., Costa, A. C. S., Nguyen, H. C. & Gühne, O. Quantum steering. Rev. Mod. Phys. 92, 015001 (2020).
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
Bell, J. S. On the einstein podolsky rosen paradox. Physics Physique Fizika 1, 195–200 (1964).
Brunner, N., Cavalcanti, D., Pironio, S., Scarani, V. & Wehner, S. Bell nonlocality. Rev. Mod. Phys. 86, 419 (2014).
Cavalcanti, E. G., Jones, S. J., Wiseman, H. M. & Reid, M. D. Experimental criteria for steering and the EinsteinPodolskyRosen paradox. Phys. Rev. A 80, 032112 (2009).
Saunders, D. J., Jones, S. J., Wiseman, H. M. & Pryde, G. J. Experimental EPRsteering using Belllocal states. Nat. Phys. 6, 845–849 (2010).
Bennet, A. J. et al. Arbitrarily losstolerant EinsteinPodolskyRosen steering allowing a demonstration over 1 km of optical fiber with no detection loophole. Phys. Rev. X 2, 031003 (2012).
Händchen, V. et al. Observation of oneway Einstein–Podolsky–Rosen steering. Nat. Photonics 6, 596–599 (2012).
Bowles, J., Vértesi, T., Quintino, M. T. & Brunner, N. Oneway EinsteinPodolskyRosen steering. Phys. Rev. Lett. 112, 200402 (2014).
Quintino, M. T. et al. Inequivalence of entanglement, steering, and Bell nonlocality for general measurements. Phys. Rev. A 92, 032107 (2015).
Zhao, Y.Y. et al. Experimental demonstration of measurementdeviceindependent measure of quantum steering. npj Quantum Inf. 6, 77 (2020).
Chen, S.L., Ku, H.Y., Zhou, W., Tura, J. & Chen, Y.N. Robust selftesting of steerable quantum assemblages and its applications on deviceindependent quantum certification. Quantum 5, 552 (2021).
Branciard, C., Cavalcanti, E. G., Walborn, S. P., Scarani, V. & Wiseman, H. M. Onesided deviceindependent quantum key distribution: security, feasibility, and the connection with steering. Phys. Rev. A 85, 010301 (2012).
Sun, K. et al. Demonstration of Einstein–Podolsky–Rosen steering with enhanced subchannel discrimination. npj Quantum Inf. 4, 12 (2018).
Skrzypczyk, P. & Cavalcanti, D. Maximal randomness generation from steering inequality violations using qudits. Phys. Rev. Lett. 120, 260401 (2018).
Tan, E. Y.Z., Schwonnek, R., Goh, K. T., Primaatmaja, I. W. & Lim, C. C.W. Computing secure key rates for quantum cryptography with untrusted devices. npj Quantum Inf. 7, 158 (2021).
Gallego, R. & Aolita, L. Resource theory of steering. Phys. Rev. X 5, 041008 (2015).
Bennett, C. H., DiVincenzo, D. P., Smolin, J. A. & Wootters, W. K. Mixedstate entanglement and quantum error correction. Phys. Rev. A 54, 3824–3851 (1996).
Bennett, C. H., Bernstein, H. J., Popescu, S. & Schumacher, B. Concentrating partial entanglement by local operations. Phys. Rev. A 53, 2046–2052 (1996).
Horodecki, M., Horodecki, P. & Horodecki, R. Mixedstate entanglement and distillation: is there a "bound” entanglement in nature? Phys. Rev. Lett. 80, 5239–5242 (1998).
Popescu, S. Bell’s inequalities and density matrices: Revealing “hidden” nonlocality. Phys. Rev. Lett. 74, 2619–2622 (1995).
Gisin, N. Hidden quantum nonlocality revealed by local filters. Phys. Lett. A 210, 151–156 (1996).
Horodecki, M., Horodecki, P. & Horodecki, R. General teleportation channel, singlet fraction, and quasidistillation. Phys. Rev. A 60, 1888–1898 (1999).
Horodecki, M. & Horodecki, P. Reduction criterion of separability and limits for a class of distillation protocols. Phys. Rev. A 59, 4206–4216 (1999).
Vidal, G. Entanglement monotones. J. Mod. Opt. 47, 355–376 (2000).
Dür, W., Vidal, G. & Cirac, J. I. Three qubits can be entangled in two inequivalent ways. Phys. Rev. A 62, 062314 (2000).
Chen, L., Chen, Y.X. & Mei, Y.X. Classification of multipartite entanglement containing infinitely many kinds of states. Phys. Rev. A 74, 052331 (2006).
Sauerwein, D., Wallach, N. R., Gour, G. & Kraus, B. Transformations among pure multipartite entangled states via local operations are almost never possible. Phys. Rev. X 8, 031020 (2018).
Nery, R. V. et al. Distillation of quantum steering. Phys. Rev. Lett. 124, 120402 (2020).
Heinosaari, T., Miyadera, T. & Ziman, M. An invitation to quantum incompatibility. J. Phys. A 49, 123001 (2016).
Gühne, O., Haapasalo, E., Kraft, T., Pellonpää, J.P. & Uola, R. Incompatible measurements in quantum information science. Preprint at arXiv: 2112.06784 (2021).
Busch, P., Lahti, P. & Werner, R. F. Colloquium: quantum rootmeansquare error and measurement uncertainty relations. Rev. Mod. Phys. 86, 1261–1281 (2014).
Xu, Z.P. & Cabello, A. Necessary and sufficient condition for contextuality from incompatibility. Phys. Rev. A 99, 020103 (2019).
Tavakoli, A. & Uola, R. Measurement incompatibility and steering are necessary and sufficient for operational contextuality. Phys. Rev. Res. 2, 013011 (2020).
Budroni, C., Cabello, A., Gühne, O., Kleinmann, M. & Larsson, J.A. Quantum contextuality. Preprint at arXiv:2102.13036 (2021).
Wolf, M. M., PerezGarcia, D. & Fernandez, C. Measurements incompatible in quantum theory cannot be measured jointly in any other nosignaling theory. Phys. Rev. Lett. 103, 230402 (2009).
Chen, S.L., Miklin, N., Budroni, C. & Chen, Y.N. Deviceindependent quantification of measurement incompatibility. Phys. Rev. Res. 3, 023143 (2021).
Uola, R., Moroder, T. & Gühne, O. Joint measurability of generalized measurements implies classicality. Phys. Rev. Lett. 113, 160403 (2014).
Quintino, M. T., Vértesi, T. & Brunner, N. Joint measurability, EinsteinPodolskyRosen steering, and Bell nonlocality. Phys. Rev. Lett. 113, 160402 (2014).
Ku, H.Y. et al. Quantifying quantumness of channels without entanglement. PRX Quantum 3, 020338 (2022).
Uola, R., Budroni, C., Gühne, O. & Pellonpää, J.P. Onetoone mapping between steering and joint measurability problems. Phys. Rev. Lett. 115, 230402 (2015).
Kiukas, J., Budroni, C., Uola, R. & Pellonpää, J.P. Continuousvariable steering and incompatibility via statechannel duality. Phys. Rev. A 96, 042331 (2017).
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (Cambridge Univ. Press, 2010).
Piani, M. & Watrous, J. Necessary and sufficient quantum information characterization of EinsteinPodolskyRosen steering. Phys. Rev. Lett. 114, 060404 (2015).
Boyd, S. & Vandenberghe, L. Convex Optimization 1st edn (Cambridge Univ. Press, 2004).
Haapasalo, E. Robustness of incompatibility for quantum devices. J. Phys. A Math. Theor. 48, 255303 (2015).
Buscemi, F., Chitambar, E. & Zhou, W. Complete resource theory of quantum incompatibility as quantum programmability. Phys. Rev. Lett. 124, 120401 (2020).
Ku, H.Y. et al. EinsteinPodolskyRosen steering: its geometric quantification and witness. Phys. Rev. A 97, 022338 (2018).
Chen, S.L., Budroni, C., Liang, Y.C. & Chen, Y.N. Natural framework for deviceindependent quantification of quantum steerability, measurement incompatibility, and selftesting. Phys. Rev. Lett. 116, 240401 (2016).
Cavalcanti, D. & Skrzypczyk, P. Quantitative relations between measurement incompatibility, quantum steering, and nonlocality. Phys. Rev. A 93, 052112 (2016).
Bavaresco, J. et al. Most incompatible measurements for robust steering tests. Phys. Rev. A 96, 022110 (2017).
Hirsch, F., Quintino, M. T., Bowles, J. & Brunner, N. Genuine hidden quantum nonlocality. Phys. Rev. Lett. 111, 160402 (2013).
Guo, Y. et al. Experimental measurementdeviceindependent quantum steering and randomness generation beyond qubits. Phys. Rev. Lett. 123, 170402 (2019).
Huang, C.J. et al. Nonlocality, steering, and quantum state tomography in a single experiment. Phys. Rev. Lett. 127, 020401 (2021).
Skrzypczyk, P., Navascués, M. & Cavalcanti, D. Quantifying EinsteinPodolskyRosen steering. Phys. Rev. Lett. 112, 180404 (2014).
Pusey, M. F. Verifying the quantumness of a channel with an untrusted device. J. Opt. Soc. Am. B 32, A56 (2015).
Quintino, M. T., Brunner, N. & Huber, M. Superactivation of quantum steering. Phys. Rev. A 94, 062123 (2016).
Hsieh, C.Y., Liang, Y.C. & Lee, R.K. Quantum steerability: characterization, quantification, superactivation, and unbounded amplification. Phys. Rev. A 94, 062120 (2016).
Pramanik, T. et al. Revealing hidden quantum steerability using local filtering operations. Phys. Rev. A 99, 030101 (2019).
Gupta, S., Das, D. & Majumdar, A. S. Distillation of genuine tripartite EinsteinPodolskyRosen steering. Phys. Rev. A 104, 022409 (2021).
Jones, B. D. M., Šupić, I., Uola, R., Brunner, N. & Skrzypczyk, P. Network quantum steering. Phys. Rev. Lett. 127, 170405 (2021).
Cavalcanti, D. et al. Detection of entanglement in asymmetric quantum networks and multipartite quantum steering. Nat. Commun. https://doi.org/10.1038/ncomms8941 (2015).
Skrzypczyk, P., Šupić, I. & Cavalcanti, D. All sets of incompatible measurements give an advantage in quantum state discrimination. Phys. Rev. Lett. 122, 130403 (2019).
Harrow, A. W. & Nielsen, M. A. Robustness of quantum gates in the presence of noise. Phys. Rev. A 68, 012308 (2003).
Vidal, G. & Tarrach, R. Robustness of entanglement. Phys. Rev. A 59, 141–155 (1999).
Acknowledgements
The authors acknowledge fruitful discussions with YiTe Huang, YeongCherng Liang, and Gelo Noel M Tabia. This work is supported partially by the National Science and Technology Council, Taiwan (Grants Nos. MOST 1102811M006546, MOST 1112917I564005, MOST 1112112M005007MY4, and MOST 1112123M006001) and the Army Research Office (under Grant No. W911NF1910081). C.Y.H. is supported by ICFOstepstone (the Marie SkłodowskaCurie Cofund GA665884), the Spanish MINECO (Severo Ochoa SEV20150522), the Government of Spain (FIS2020TRANQI and Severo Ochoa CEX2019000910S), Fundació Cellex, Fundació MirPuig, Generalitat de Catalunya (SGR1381 and CERCA Program), the ERC AdG CERQUTE, and the AXA Chair in Quantum Information Science. C.B. is supported by the Austrian Science Fund through Projects No. ZK 3 (Zukunftskolleg) and No. F7113 (BeyondC).
Author information
Authors and Affiliations
Contributions
H.Y.K., C.Y.H., S.L.C., and C.B. conceived the research and proved the theoretical results. Y.N.C. and C.B. supervised the research and were responsible for the integration among different research units. All authors contributed to the discussion of the central ideas and to the writing of the manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare no competing interests.
Peer review
Peer review information
Nature Communications thanks the anonymous reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ku, HY., Hsieh, CY., Chen, SL. et al. Complete classification of steerability under local filters and its relation with measurement incompatibility. Nat Commun 13, 4973 (2022). https://doi.org/10.1038/s4146702232466y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4146702232466y
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.