Abstract
Quantum steering is a central resource for one-sided device-independent quantum information. It is manipulated via one-way 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 single-shot scenario together with examples.
Similar content being viewed by others
Introduction
Einstein-Podolsky-Rosen steering1,2,3 is a quantum correlation intermediate between entanglement4 and Bell nonlocality5,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 interest7,8,9,10,11,12,13,14, due to the fact that only Bob is characterized, steering is at the core of one-sided (1S) device-independent (DI) quantum information processing15,16,17,18. A resource theory of steering was developed19 to make sense of the manipulation of such resources, i.e., steerable state assemblages, for 1S-DI 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, one-way (1W) local operations and classical communication (LOCC). To date, this problem has been solved only for pure-qubit assemblages, which, in particular, has shown that there exist infinitely many equivalence classes and no measure-independent maximally steerable assemblage19. To make a parallel, this is a central problem in entanglement theory, where, e.g., entanglement distillation protocols were devised20,21,22, and more generally, one is interested in the equivalence classes of entangled states reachable using stochastic LOCC, or local filtering22,23,24,25,26,27. This classification is already nontrivial in the three-qubit case, where two different classes arise28, and infinitely many classes arise in multipartite settings with sufficiently high local dimension29,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 pure-qubit assemblage arising from measurements of X and Z on a partially entangled pure two-qubit state into another pure-qubit 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 relations34, quantum contextuality35,36,37, Bell nonlocality38,39, and steering40,41,42. In particular, it has been shown that a state assemblage is unsteerable if and only if a collection of measurements, called steering-equivalent-observable measurement assemblage (SEO), is jointly measurable43,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 single-shot scenario.
Results
Quantum steering, measurement incompatibility, and steering-equivalent 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 positive-operator valued measure (POVM) \({\{{A}_{a|x}\}}_{a}\), where Aa∣x ≥ 0 and \({\sum }_{a}{A}_{a|x}={\mathbb{I}}\)45. Bob’s state in each round can be computed as \({\sigma }_{a|x}/{{{{{{{\rm{tr}}}}}}}}({\sigma }_{a|x})\), where \({\sigma }_{a|x}:\!\!={{{{{{{{\rm{tr}}}}}}}}}_{{{{{{{{\rm{A}}}}}}}}}\left[({A}_{a|x}\otimes {\mathbb{I}}){\rho }_{{{{{{{{\rm{AB}}}}}}}}}\right]\). The collection of \({{{{{{{\boldsymbol{\sigma }}}}}}}}={\{{\sigma }_{a|x}\}}_{a,x}\) is called the state assemblage. Similarly, the collection of POVMs \({{{{{{{\boldsymbol{A}}}}}}}}={\{{A}_{a|x}\}}_{a,x}\) is called the measurement assemblage.
A state assemblage σ admits a local-hidden-state (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 robustness46 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 }_{a|x}+t{\xi }_{a|x})/(1+t)={\tau }_{a|x}\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}_{a|x}\}}_{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 Aa∣x = ∑λp(a∣x, λ)Gλ. If that is not the case, it is said to be incompatible. A measure of incompatibility, the incompatibility robustness43,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}_{a|x}+t{N}_{a|x})/(1+t)={D}_{a|x}\,\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 incompatibility40,41 and even that there is a one-to-one mapping between the two mathematical problems43 (see ref. 44 for the infinite-dimensional case). The mathematical equivalence is introduced via the notion of steering-equivalent-observable 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 }}_{a|x}{:}={\Pi }_{{{{{{{{\rm{B}}}}}}}}}{\sigma }_{a|x}{\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 well-defined even when ρB is not full-rank43. 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 }_{a|x}{K}^{{{{\dagger}}} }K]\). In the case psucc = 0, one could define the output of the map as the operator 0. Of course, the transformation makes sense only if psucc > 0, otherwise the transformation is simply impossible. This corresponds to making a local measurement and postselecting a specific outcome. In the language of the one-way (1W) stochastic (S) local operations and classical communication (LOCC), or 1W-SLOCC operations19,50, these are the most general local filters, which are denoted as LF1 to emphasize that they contain only one Kraus operator. See Supplementary Note 1 for a self-contained summary. In addition, 1W-SLOCC 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, LF1 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 }_{a|x}^{(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 d1 = d2.
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 }_{a|x}^{(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 LF1. Thus, they provide a new physical interpretation of the SEOs beyond the one-to-one mapping of steerability into incompatibility43: SEOs classify all assemblages with respect to LF1 local filters in the sense that whether the two assemblages can be converted to each other by LF1 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 two-way 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 canonical-state 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 LF1 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. LF1 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 }_{a|x}{:}={{{{{{{{\rm{tr}}}}}}}}}_{{{{{{{{\rm{A}}}}}}}}}[({A}_{a|x}\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 1S-DI 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 LF1 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 transformation31
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 single-shot 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 single-shot 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 pure-qubit 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 two-qutrit state \(\left|\psi \right\rangle=\mathop{\sum }\nolimits_{i=1}^{3}{\mu }_{i}\left|ii\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}\left|i\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}_{a|0}\}=\{\left|a\right\rangle \left\langle a\right|\}\) and \(\{{A}_{a|1}\}=\{F\left|a\right\rangle \left\langle a\right|{F}^{{{{\dagger}}} }\}\) with a = {1, 2, 3}. Here, F is the three-dimensional discrete Fourier transform. The corresponding measurement bases are mutually unbiased. The initial assemblage is \({\sigma }_{a|x}={\tau }^{1/2}{A}_{a|x}^{T}{\tau }^{1/2}\,\,\forall \,\,a,x\). Via SDP one can compute the optimal assemblage in this class, to obtain σ* = AT/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 generation17 in the sense that \({{{{{{{\rm{tr}}}}}}}}({\sigma }_{a|1})=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 LF1, are sufficient to generate the most general 1W-SLOCC operations when combined with classical pre and postprocessing on Alice’s side19. 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 experiments54. We showed that a seemingly abstract concept, i.e., the steering-equivalent-observables 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 LF1 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 LF1 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 single-shot 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 weight57 in an SEO saturate the incompatible weight58 of an SEO? Another observation is the following. Theorem 1 requires a rank constraint to guarantee the existence of the reverse transformation in LF1. 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 low-rank 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 state59,60 (see also the superactivation of quantum steering by two-sided local filters61). 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 W-type assemblages generated by the corresponding multiparty-entangled types can be distilled by local filters62. Can our approach be generalized to recently proposed steering networks63 or multiparty steering64? 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 }_{a|x}^{(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 trace-increasing 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 }_{a|x}^{(2)}{K}^{{{{\dagger}}} }K]\) of the filtering operation. Such a probability can be directly calculated using that
which, by the definition of psucc and the cyclicity of the trace, gives
which, together with Eq. (15) provides the optimal success probability.
We, then, have that
Note that psucc 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 1W-SLOCC 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 LF1, their composition is also in LF1. 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}_{a|x}^{(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 d2 ≤ d1 and d1 ≤ d2, since \({d}_{i}=\dim {{{{{{{{\mathscr{K}}}}}}}}}_{i}=\dim {{{{{{{\rm{ran}}}}}}}}({{\mathbb{I}}}_{{{{{{{{{\mathscr{K}}}}}}}}}_{(i)}})\). This implies d1 = d2 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, d1 = d2, 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 d1 = d2 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 K0 over LF1, mapping σ(2) → σ(1) and that \(\{{\sigma }_{a|x}^{(2)}\}\) consists of at least d2 linearly independent elements. We have
Since sufficient linearly independent subnormalized states \({\sigma }_{a|x}^{(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., d2 linearly independent linear operators, where d is the dimension of \({{{{{{{\mathscr{H}}}}}}}}\) and, thus, d2 is the dimension of \({{{{{{{\mathcal{L}}}}}}}}({{{{{{{\mathscr{H}}}}}}}})\). Finally, since K0 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 full-rank 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/2Ba∣xη1/2 for some full-rank 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 SEO-equivalent 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 Fa∣x : = η−1/2ωa∣xη−1/2, which satisfies Fa∣x ≥ 0 and \({\mathbb{I}}\ge {\sum }_{a,x}D(a|x,\lambda ){F}_{a|x}\), even when η is not full-rank and we invert it on just a subspace. Conversely, given F, η feasible solution of Eq. (33), we can define ωa∣x : = η1/2Fa∣xη1/2, which satisfies ωa∣x ≥ 0 and η ≥ ∑a,xD(a∣x, λ)ωa∣x. Again, no problem arises if η is not full-rank. 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 full-rank, 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 full-rank ηε as
which approximates the optimal value Ω in Eq. (33) as ∣Ω(F, η) − Ω(F, ηε)∣ ≤ ε. Similarly, we define \({\omega }_{a|x}^{\varepsilon }=(1-\delta ){\omega }_{a|x}\) 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}_{a|x},{F}_{a|x}\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 = BT and any full-Schmidt-rank state \(\left|\psi \right\rangle=\mathop{\sum }\nolimits_{i=1}^{d}{\mu }_{i}\left|ii\right\rangle\), there exists an assemblage σ such that43
where T denotes the transpose in the basis \(\{\left|i\right\rangle \}\) appearing in the Schmidt decomposition of \(\left|\psi \right\rangle\), and \(\tau=\mathop{\sum }\nolimits_{i=1}^{d}{\mu }_{i}^{2}\left|i\right\rangle \left\langle i\right|\) is the reduced state of \(\left|\psi \right\rangle\). In other words, for any full-Schmidt-rank state \(\left|\psi \right\rangle\) and any measurement assemblage BT, 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 robustness46, 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}\left|ii\right\rangle\), where the vectors are ordered such that μ1 ≥ μ2 ≥ μ3 … ≥ 0, namely67:
For any ε > 0, we can take \(\left|\psi \right\rangle=\sqrt{1-(d-1){\varepsilon }^{\prime}}\left|00\right\rangle+\sqrt{{\varepsilon }^{\prime}}\left|11\right\rangle+\ldots \sqrt{{\varepsilon }^{\prime}}\left|d-1,d-1\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 Einstein-Podolsky-Rosen 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 Einstein-Podolsky-Rosen paradox. Phys. Rev. A 80, 032112 (2009).
Saunders, D. J., Jones, S. J., Wiseman, H. M. & Pryde, G. J. Experimental EPR-steering using Bell-local states. Nat. Phys. 6, 845–849 (2010).
Bennet, A. J. et al. Arbitrarily loss-tolerant Einstein-Podolsky-Rosen 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 one-way Einstein–Podolsky–Rosen steering. Nat. Photonics 6, 596–599 (2012).
Bowles, J., Vértesi, T., Quintino, M. T. & Brunner, N. One-way Einstein-Podolsky-Rosen 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 measurement-device-independent measure of quantum steering. npj Quantum Inf. 6, 77 (2020).
Chen, S.-L., Ku, H.-Y., Zhou, W., Tura, J. & Chen, Y.-N. Robust self-testing of steerable quantum assemblages and its applications on device-independent quantum certification. Quantum 5, 552 (2021).
Branciard, C., Cavalcanti, E. G., Walborn, S. P., Scarani, V. & Wiseman, H. M. One-sided device-independent 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. Mixed-state 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. Mixed-state 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 root-mean-square 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., Perez-Garcia, D. & Fernandez, C. Measurements incompatible in quantum theory cannot be measured jointly in any other no-signaling theory. Phys. Rev. Lett. 103, 230402 (2009).
Chen, S.-L., Miklin, N., Budroni, C. & Chen, Y.-N. Device-independent 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, Einstein-Podolsky-Rosen 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. One-to-one mapping between steering and joint measurability problems. Phys. Rev. Lett. 115, 230402 (2015).
Kiukas, J., Budroni, C., Uola, R. & Pellonpää, J.-P. Continuous-variable steering and incompatibility via state-channel 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 Einstein-Podolsky-Rosen 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. Einstein-Podolsky-Rosen 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 device-independent quantification of quantum steerability, measurement incompatibility, and self-testing. 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 measurement-device-independent 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 Einstein-Podolsky-Rosen 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 Einstein-Podolsky-Rosen 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 Yi-Te Huang, Yeong-Cherng Liang, and Gelo Noel M Tabia. This work is supported partially by the National Science and Technology Council, Taiwan (Grants Nos. MOST 110-2811-M-006-546, MOST 111-2917-I-564-005, MOST 111-2112-M-005-007-MY4, and MOST 111-2123-M-006-001) and the Army Research Office (under Grant No. W911NF-19-1-0081). C.-Y.H. is supported by ICFOstepstone (the Marie Skłodowska-Curie Co-fund GA665884), the Spanish MINECO (Severo Ochoa SEV-2015-0522), the Government of Spain (FIS2020-TRANQI and Severo Ochoa CEX2019-000910-S), Fundació Cellex, Fundació Mir-Puig, 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/s41467-022-32466-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-022-32466-y
This article is cited by
-
Deep learning the hierarchy of steering measurement settings of qubit-pair states
Communications Physics (2024)