Entropic Steering Criteria: Applications to Bipartite and Tripartite Systems

The effect of quantum steering describes a possible action at a distance via local measurements. Whereas many attempts on characterizing steerability have been pursued, answering the question as to whether a given state is steerable or not remains a difficult task. Here, we investigate the applicability of a recently proposed method for building steering criteria from generalized entropic uncertainty relations. This method works for any entropy which satisfy the properties of (i) (pseudo-) additivity for independent distributions; (ii) state independent entropic uncertainty relation (EUR); and (iii) joint convexity of a corresponding relative entropy. Our study extends the former analysis to Tsallis and Rényi entropies on bipartite and tripartite systems. As examples, we investigate the steerability of the three-qubit GHZ and W states.


Introduction
The notion of steering was first introduced by Schrödinger in 1935 in order to capture the essence of the Einstein-Podolsky-Rosen argument [1].It describes the ability of one experimenter, Alice, to remotely affect the state of another experimenter, Bob, through local actions on her system supported by classical communication.Steering is based on a quantum correlation strictly between entanglement and non-locality, meaning that not every entangled state can be used for steering and not every steerable state violates a Bell inequality [2].
Recently, it has been shown that steering plays a fundamental role in various quantum protocols and in entanglement theory.In the former, steering characterizes systems useful for one-sided device-independent quantum key distribution [3], subchannel discrimination [4] and randomness generation [5].Concerning entanglement theory, steering has been used to find counterexamples to Peres conjecture, which was an open problem for more than fifteen years [6][7][8].Steering is also known to be closely related to incompatibility of quantum measurements.Namely, any set of non-jointly measurable observables is useful for demonstrating steering [9,10], and every incompatibility problem can be mapped into a steering problem in a one-to-many manner [11][12][13].
The extension of steering to multipartite systems has also been proposed.In the multipartite setting the concept of steering has some ambiguity in it.Whether one is interested in the typical spooky action at a distance [14][15][16] or in a more detailed semi-device independent entanglement verification scheme [17,18], one ends up with two different definitions.Here we are interested in the latter scenario as it relates more closely to our approach.
To detect steerability of a given bipartite quantum state might turn into a cumbersome task.The question of steerability (with given measurements on Alice's side and tomography on Bob's side) can be formulated as a semidefinite program (SDP) [19][20][21] and as such one could imagine that the task is straightforward and easy to implement.Whereas SDP methods provide a powerful tool for steering detection, they are often restricted to systems with only few measurements and small dimensions due to computational limitations.One should mention, though, that SDP methods can be used to set bounds for steering even in a scenario with a continuum of measurements [22][23][24].Another way of detecting steering is through criteria based on correlations [2,[25][26][27][28][29]. Whereas these criteria are mostly analytical and straightforward to evaluate, they are also often either not optimal or limited to qubit systems.
In Ref. [30], steering criteria are developed from entropic uncertainty relations (EURs).The criteria are based on generalized entropies, hence, forming an extension of the entropic criteria in Refs.[31,32].The work falls into the second category of the aforementioned classification of steering criteria, and, as pointed out by the authors, the criteria of Ref. [30] manage to beat other correlation based methods either in applicability or in detection power.In this work we extend the analysis of Ref. [30] to Rényi entropies and to tripartite steering scenarios.We discuss in detail the question of steerability with local and global measurements in the tripartite setting.Note that recently similar efforts have been pursued in the context of Rényi entropies [33].
This work is organized as follows.First, we introduce the concept of steering for bipartite and tripartite systems in Section 2. Second, we present some useful entropies for the characterization of steering, followed by bounds of EURs in Section 3, where we also propose some bounds for Tsallis entropies, obtained from numerical investigations.We explain the criteria for the detection of steering from EURs in Section 4. In Section 5 we provide a connection to existing entanglement criteria.In Section 6 we investigate the optimal parameters from generalized entropies for the detection of steering, followed by the application of the criteria to some common examples.Finally, in Section 7 we extend the criteria to the tripartite case, and apply it to noisy GHZ and W states.We conclude the paper with some final remarks.

Steering
In a bipartite steering scenario, Alice and Bob share a quantum state, Alice performs local actions (measurements) on her part of the state and Bob is left with non-normalised states (or a state assemblage) depending on Alice's choice of measurement and her reported outcomes.The task for Bob is to verify if his assemblages could be prepared using a separable state or not [29].In a more formal manner, we can assume that Alice performs a measurement A with outcome i on her part of the system, while Bob performs a measurement B with outcome j on his part.From that, they can obtain the joint probability distribution of the outcomes.If for all possible measurements A and B one can express the joint probabilities in the form then the shared state is called unsteerable.Here, p(i|A, λ) is a general probability distribution, while p q (j|B, λ) = Tr B [B(j)σ λ ] is a probability distribution originating from a quantum state σ λ .Furthermore, B(j) denotes a measurement operator, i.e.B(j) ≥ 0 and ∑ j B(j) = 1, and ∑ λ p(λ) = 1, where λ is a label for the hidden quantum state σ λ .A model as in Eq. ( 1) is called a local hidden state (LHS) model, and if it exists, Bob can explain all the results through a set of local states {σ λ } which is only altered by the classical information about Alice's performed measurement and the recorded outcome.Otherwise, the state is called steerable.One should notice that for a state to be unsteerable, one has to prove the existence of an LHS model for all possible measurements on Alice's side and for a tomographically complete set on Bob's side, whereas for proving steerability it suffices to find a set of measurements for Alice and Bob for which the probabilities cannot be expressed as Eq. ( 1).For multipartite systems, LHS models can be extended in different ways.For simplicity, let us consider the case of tripartite systems.In addition to the notation used before, we assume that Charlie performs measurements C with outcomes labelled with k.Then, one possibility is to ask if Alice can steer the state of Bob and Charlie.If for all possible measurements A, B and C the joint probability distribution can be expressed as the system is called unsteerable from Alice to Bob and Charlie.Here, p q (j|B, λ)p q (k|C, where the hidden states of Bob and Charlie are factorizable.We require the factorizability in order to distinguish the tripartite scenario from a bipartite one (i.e. Bob and Charlie being a single system) where unsteerability is defined as Note that the factorizability requirement includes all hidden state models using separable states through a redefinition of the hidden variable space.
Another possibility is to ask whether the joint probability distribution of measurements performed by Alice, Bob and Charlie, can be expressed as which means that the system is unsteerable from Alice and Bob to Charlie with factorizable post-processing, meaning that we assume the post-processings on one party to be independent of that of the other party.This extra assumption is one possibility to distinguish ,between bipartite and tripartite scenarios.Note that one could also require non-signalling instead of factorizability of the post-processings.In a purely bipartite scenario an unsteerable joint probability distribution would be given by One should notice that, in the steering scenario from Alice and Bob to Charlie, there is a difference whether Alice and Bob decide to perform global or local measurements.A simple example of this difference can be explored in the framework of super-activation of steering [34].Here, the authors show that while one copy of a quantum state is unsteerable, many copies of the same state become steerable, in the sense that steerability is "activated".Namely, consider a state ABCC = AC ⊗ BC , where BC is a copy of AC , and AC is unsteerable, but its steerability can be super-activated (where only two copies is already enough [34]).For this state, local measurements give an unsteerable state assemblage, whereas, because of super-activation, it is steerable with global measurements.

Entropies
Let us state some basic facts about entropies.For a general probability distribution P = (p 1 , . . ., p N ), the Shannon entropy is defined as [35] S As a possible generalized entropy, we consider the so-called Tsallis entropy [36,37] which depends on a parameter 0 < q = 1.It is given by where the q-logarithm is defined as ln q (x) = (x 1−q − 1)/(1 − q).Another generalization of Shannon entropy is known as Rényi entropy [38], which is defined depending on a parameter 0 < r = 1 as The above entropies have the following properties [35][36][37][38]: 1.The entropies S, S q and S r are positive and they are zero if and only if the probability distribution is concentrated at one value (k), i.e., p i = δ ik .2. In the limit of q → 1 and r → 1, the Tsallis and Rényi entropies converge to the Shannon entropy, and both decrease monotonically in q and r. 3. The Rényi entropy is a monotonous function of the Tsallis entropy: 4. Shannon and Tsallis entropy are concave functions in P, i.e. they obey the relation where f = S for Shannon entropy, and f = S q for Tsallis entropy.The Rényi entropy is concave if r ∈ (0; 1), and for other values of r it is neither convex nor concave. 5.In the limit of r → ∞, the Rényi entropy is known as min-entropy lim r→∞ S r (P ) = − ln max i (p i ). (11) 6.For two independent distributions, P and Q, Shannon and Rényi entropies are additive, i.e., S r (P, Q) = S r (P ) + S r (Q), whereas Tsallis entropy is pseudo-additive, i.e., S q (P, Q) = S q (P ) + S q (Q) + (1 − q)S q (P )S q (Q).

Relative entropies
The relative entropy, also known as Kullback-Leibler divergence [35], for two probability distributions P and Q is given by For Tsallis and Rényi entropies the relative entropy is defined as [38-40] respectively.The Rényi relative entropy is also known as Rényi divergence.
Here, we discuss two properties which are essential in this work: first, the relative entropy is additive for independent distributions, that is if P 1 , P 2 are two probability distributions with the joint distribution P (x, y) = P 1 (x)P 2 (y), and the same for Q 1 , Q 2 , then one has and the same holds for the generalized Rényi relative entropy, However, for the generalized Tsallis relative entropy, we have [40] D q (P ||Q) = D q (P 1 ||Q 1 ) + D q (P 2 ||Q 2 ) + (q − 1)D q (P 1 ||Q 1 )D q (P 2 ||Q 2 ), where the additional term is due to the pseudo-additivity of the generalized entropy.Second, the relative entropy is jointly convex.This means that for two pairs of distributions P 1 , Q 1 and P 2 , Q 2 one has The generalized Tsallis relative entropy is also jointly convex for all values of q, while the generalized Rényi relative entropy is jointly convex only for r ∈ (0; 1) (see Theorem 11 in Ref. [41]).

Entropic uncertainty relations
Entropies are useful for the investigation of uncertainty relations [42].Entropic uncertainty relations (or EURs for short) can be easily explained with an example.Consider the Pauli measurements σ x and σ z on a single qubit.For any quantum state these measurements give rise to a two-valued probability distribution and to the corresponding entropy S(σ m ) for m = x, z.The fact that σ x and σ z do not share a common eigenstate can be expressed as [43] where the lower bound does not depend on the state.These type of relations can be extended to more measurements and other entropies, and the search for the optimal bounds is an active field of research.
In a general way, if one performs m measurements, the bounds of an EUR can be estimated in the following way where the minimization, due to the concavity of the entropy, involves all pure (single system) states.Various analytical entropic uncertainty bounds are known for Shannon, Tsallis and Rényi entropies, and we introduce some of them in this section, together with new bounds for Tsallis entropy obtained from numerical investigations.These bounds will be useful in later sections, where we develop steering criteria based on the relative entropy between two probability distributions.
For the estimation of the bounds for EURs we consider mutually unbiased bases (MUBs) [44].Two orthonormal bases are mutually unbiased if the absolute value of the overlap between any vector from one basis with any vector from the other basis is equal to 1/d.For a given dimension d, it is simple to construct a pair of MUBs through, for example, the discrete Fourier transform.If d is a prime or power of a prime, the existence of d + 1 MUBs (i.e. a complete set of MUBs) is known.However, the number of MUBs existing in other than prime and power of prime dimensions is a long standing open problem [45].
For the Shannon entropy and a complete set of MUBs (provided that they exist), the bounds for EURs for dimension d were analytically derived in Ref. [46] and are given by Later, a bound was proved in Ref. [47] for m MUBs (which coincides with the above bound for a complete set), where K = md d+m−1 and • is the floor function 1 .We are also interested in EURs not only for single systems, but for composite ones as well.For bipartite systems we have the following bound where the minimization involves all pure single system states.Here, S(X A m , X B m ) is the Shannon entropy of the probability distribution p .Note that we use the symbol B for the bounds on single systems, while C is used for composite ones.
One should note that there might be a difference between the bounds obtained from separable and entangled states.A simple example is given by a two-qubit system and Pauli measurements.Optimizing over all two-qubit states and considering two Pauli measurements, we have This bound is already reached with separable states [51].Meanwhile, if one considers separable states and three Pauli measurements (which represent a complete set of MUBs for two-dimensional systems), the bound is where m = {x, y, z}.However, if one considers the maximally entangled state for the same measurements.Note that, for separable states, the bound in Eq. ( 25) follows from additivity of Shannon entropy and Eq. ( 20), whereas the bound in Eq. ( 26) follows from additivity and the bound in Ref. [46].Moreover, the additivity of EUR for Shannon entropy is discussed in Ref. [51].
An analytical bound for separable states ( = ∑ j p j A j ⊗ B j , with Hilbert space dimensions d A and d B ) and m MUBs performed in each system is given by [47] with K A(B) defined as above.Note that this bound is the sum of the bounds ( 23) for both subsystems.
Here, this bound also holds because of concavity and additivity of Shannon entropy.Now, let us present the bounds for generalized entropies.For the Tsallis entropy and m MUBs it has been shown in Ref. [52] that, for q ∈ (0; 2], the bound is given by For q → 1, this bound is not optimal for even dimensions, so in this case it is more appropriate to consider the bounds given in Eq. ( 22). 1 Note that steering with MUBs can be also attacked using techniques from the field of joint measurability [48][49][50].
Numerical lower bounds for composite systems in Eqs. ( 33) and ( 34) in terms of the parameter q.
In Ref. [53], a bound for the Tsallis entropy and two-qubit systems was analytically derived, and for every q ∈ [2n − 1, 2n], n ∈ N, the bound is for two-measurement settings composed by Pauli operators, which are MUBs in dimension 2.
Numerically, these bounds seem also to hold for other values of q, except q ∈ (2; 3).For three measurement settings, one can obtain numerically the following bound which is also not optimal for q ∈ (2; 3) (see Ref. [53]).Extending these bounds for arbitrary (finite) dimensions and m mutually unbiased measurements, numerical investigations 2 suggest that, for q ≥ 2, Now, if one considers two-qubit systems, we introduce here the bounds for Tsallis entropy (with q > 1), obtained from numerical investigation by minimizing over all pure states.They are given by C (q) = ln q (4) (33) for two Pauli measurements, where this bound is already reached by separable states, and for three Pauli measurements.Here, in the range of 1 ≤ q ≤ 2 the bound gets lower due to entanglement.In the range q ≥ 2 separable states give the best bounds for this setting of measurements.
In  To be more precise, the following function seems to match the numerically calculated optimal values for small values of q, d and m.
Regarding the bounds for Rényi entropy, we have the following scenarios [52]: in the range r ∈ (0; 2) the bounds are independent of r and they equal the bounds for Shannon entropy; and for r ∈ [2; ∞) the state-independent bounds are

Entropic steering criteria
In this section we present the detailed derivation of the generalized entropic steering criteria proposed in Ref. [30].Here we show the results for Shannon and Tsallis entropies, as has been made in Ref. [30], and also extend the criteria for Rényi entropy.Note that the proof is not at all restricted to these functions as it can be applied to all functions which satisfy the following properties: (i) (pseudo-)additivity for independent distributions; (ii) state independent EUR; and (iii) joint convexity of the relative entropy.In the following we present our proof for specific entropies, and the method becomes clear from its application to each of them.

Entropic steering criteria for Shannon entropy
The starting point of our method is to consider the relative entropy (15) between two distributions, i.e.
Here A ⊗ B denotes the joint probability distribution p(i, j|A, B), which we further denote by p ij , A is the marginal distribution p(i|A), which we denote by p i , and I is a uniform distribution with q j = 1/N for all outcomes j ∈ {1, • • • , N}.As the relative entropy is jointly convex, F(A, B) is concave in the probability distribution A ⊗ B. Then, we get where S(B|A) is the Shannon conditional entropy.On the other hand, considering a product distribution p(i|A, λ)p q (j|B, λ) with a fixed λ and using the property from Eq. ( 17), we have The term S (λ) (B) on the right-hand side of this equation depends on probability distributions taken from the quantum state σ λ .For a given set of measurements {B m }, such distributions typically obey an EUR where B B is some entropic uncertainty bound for the observables B m .Finally, since S is concave, the same bound holds for convex combinations of product distributions p(i|A, λ)p q (j|B, λ) from Eq. ( 1).Connecting this to Eqs. ( 37) and (38) we have, for a set of measurements which means that any nonsteerable quantum system obeys this relation.In this way EURs can be used to derive steering criteria.The intuition behind these criteria is based on the interpretation of Shannon conditional entropy.In Eq. ( 40), one can see that the knowledge Alice has about Bob's outcomes is bounded.If this inequality is violated, then the system is steerable, meaning that Alice can do better predictions than those allowed by an EUR.
This criterion is more general than the one in Ref. [32], since our proof can easily also be extended to other generalized entropies, as we show in the following.

Tsallis entropy
Now we can apply the machinery derived above and consider the quantity F q (A, B) = −D q (A ⊗ B||A ⊗ I).Using the definition of the generalized relative entropy, we have where S q (B|A) = S q (A, B) − S q (A) is the conditional Tsallis entropy [54], x = N q−1 − 1, and is the correction term.Now, considering the property from Eq. ( 19) and a product distribution p(i|A, λ)p q (j|B, λ) with a fixed λ one gets It follows by direct calculation that if the measurements {B m } m obey an EUR then one has the steering criterion From Eq. ( 45) it is easy to see that if we consider q → 1, we arrive at Eq. ( 40).Note that one can rewrite Eq. ( 45) in terms of probabilities as Here, p we have the following steering criterion for Rényi entropy Note that for the range r ∈ (0; 1) the bound is independent of r, and it is the same as the bound for Shannon entropy [52].Unlike the other entropies, we cannot write the result in terms of Rényi conditional entropies, given its definition is not clear in the literature (see discussion in Ref. [55]).

Connection to existing entanglement criteria
At this point, it is interesting to connect our approach with the entanglement criteria derived from EURs [53].In Ref. [53], it has been shown that for separable states the following inequality holds.Here, A 1 and A 2 (B 1 and B 2 ) are observables on Alice's (Bob's) laboratory, and Bob's observables obey an EUR S q (B 1 ) + S q (B 2 ) ≥ B (q) B .Differently from our approach, S q (A m ⊗ B m ) is the entropy of the probability distribution of the outcomes of the global observable A m ⊗ B m .Note that for a degenerate A m ⊗ B m the probability distribution differs from the local ones.For instance, measuring σ z ⊗ σ z gives four possible local probabilities p ++ , p +− , p −+ , p −− , but for the evaluation of S(A m ⊗ B m ) one combines them as q + = p ++ + p −− and q − = p +− + p −+ , as these correspond to the global outcomes.
There are some interesting connections between our derivation of steering inequalities and this entanglement criterion.First, the proof in Ref. [53] is based on EURs for Bob's observables (the same as our criteria), and this is the only quantum restriction in the criterion, so Eq. ( 49) is a steering inequality, meaning that all probability distributions of the form in Eq. ( 1) fulfil it.Second, in Ref. [53] it was observed that the criterion is strongest for values 2 ≤ q ≤ 3, which seems to be the case also for our criteria (shown later).Third, for special scenarios (e.g.Bell-diagonal two-qubit states and Pauli measurements), Eq. ( 49) and Eqs.(40,45) give the same results.However, it does not hold for more general scenarios.
The approach of Ref. [53] has been slightly improved in Ref. [56], where the main idea is to recombine the probability distribution in a different way (see below).Also, the criteria in Ref. [56] are more general in the sense that can be applied to any symmetric and concave function.
Similar to the case of Ref. [53], the criteria from Ref. [56] can be also applied to steering.To see this, let us first explain the main ideas in [56].In this work, they consider concave and symmetrical (i.e.invariant under the permutation of variables) functions f : R n −→ R. For simplicity, define where e = {|e i |i = 1, . . ., n} is an orthonormal basis of the n-dimensional Hilbert space in which the state ρ 0 acts.Then, one can construct a probability matrix P = (p ij ), where the elements are defined as Then, define a permutation matrix Q = (q ij ), where {q i1 , . . ., q in B } is a permutation of an n B -element set S = {s 1 , . . ., s n B } for i = 1, . . ., n A .For example, if we consider the case of Now, define where δ(a, b) is the Kronecker function.Here, the argument of this function is the combination of the probabilities given a permutation matrix Q.If we take the third example in Eq. ( 51), we have Here one can see that the combination of the probabilities will depend on the permutation matrix Q.
Given the above definitions, the authors prove the following bound for product states holding for any permutation matrix Q and any concave symmetrical function f .The bound is an entanglement criterion for pure states.Here, one can notice that the right-hand side of Eq. ( 54) is independent of the space H A , giving some hint that the criterion actually detects steerability of the state.

Using the notation e
holds for arbitrary symmetrical concave functions f k , permutation matrices Q k and bases e A(B) k . Eq. ( 55) is a general entanglement criterion based on symmetrical concave functions f k .In order to find the optimal criteria, an optimization over all possible permutation matrices should be performed.A specific criterion is given for the case where f k is replaced by the Shannon entropy, and the bound in Eq. ( 55) is related to EURs.Now we show that the above entanglement criterion is actually a steering criterion, given that Eq. ( 55) can be obtained if one considers an LHS model.Note first that one can include general measurements into the above considerations by defining where the operators {M i } i form a POVM and 0 is a quantum state.Then, taking an unsteerable state ρ AB and labelling by N i the POVM elements of Alice's measurements, one has for a fixed hidden variable λ Hence, On the second line we use concavity of the function f , and in the third line we use symmetry.Taking the sum over all hidden variables λ gives Considering more measurements one has which is exactly the same criteria of Eq. ( 55).This means that the entanglement criteria proposed in Ref. [56] are actually steering criteria.

Optimal values of q and r for steering detection
In this section we investigate the dependence of our steering criteria on the parameters q and r appearing in Tsallis and Rényi entropies.Also a comparison between the criteria obtained from Tsallis and Rényi entropy (with Shannon entropy as a special case) is presented for specific examples.We base our calculations on numerics for the cases where the optimal (analytical) uncertainty bounds are not known.
Let us first consider the case of qubit systems.For this analysis, consider three noisy two-qubit entangled states, e x (w) = wρ x + (1 − w)1/4 with x = 1, 2, 3 where ρ 2 and ρ (2) 3 are two example states, which give a fair violation of the criteria 3 .Here we will focus on the Pauli measurements {σ x , σ y , σ z }.In Fig. 2 we show the critical value of white noise w for the violation of the generalized entropic criteria from Eqs. ( 45) and (48).From these simple examples, one is able to extract some hint about the optimal values of q and r that best identify steerability of the state.If one considers the criteria based on Rényi entropy, one notices in Fig. 2(a) that the smallest critical value of white noise occurs for r → 1, which corresponds to the criteria based on Shannon entropy.Meanwhile, in Fig. 2(b), the best criteria from Tsallis entropy are the ones for q = 2 and q = 3, which give an improvement to the Shannon based criteria.Note that within the interval q ∈ [2; 3] the line seems to be flat, meaning that any q in this interval could be considered as an optimal value for the detection of steering from generalized entropies.However, this statement does not hold in general, as one can see in Fig. 3.It is true for the case of Werner states, whereas for the other considered states the optimal parameter values are q = 2 and q = 3 only.
It is worth to mention that the criteria for q = 2 and q = 3, in the case of d = 2, are analytically the same.Also, for these values of q, they can be connected to the variance criteria from Ref. [ Note that this behaviour is typical not only for these states.For all the states that we tried a similar plot was obtained.
e x (w) for the detection of steering.Solid black line corresponds to Werner states, and the dashed blue and dotted red lines correspond to some random entangled states, with (a) the criteria based on Rényi entropy [Eq.(45)] and (b) on Tsallis entropy [Eq.( 48)].To see this, consider an observable A with eigenvalues ±1 and corresponding outcome probabilities p ± .The variance of the observable A is given by The same relation can be found for q = 3.This equivalence between variances and Tsallis entropies with q = 2 and q = 3 can be extended to the related steering criteria.
For the two-qubit Werner state, it is known that the optimal white noise threshold (w crit ) is 1/ √ 3 for three (orthogonal) projective measurements [59].Interestingly, the criteria based on Tsallis entropy achieve these values with q = 2 and q = 3.
It is interesting to check whether the same optimal values of r and q also hold for some higher dimensional states.For this, consider noisy two-qutrit entangled states In Fig. 4, we analyse the states with x = {0.2,0.5, 1} when Alice performs a complete set of MUBs.One can see in Fig. 4(a) that for these states our criteria based on Rényi entropy are weaker than the ones based on Shannon entropy, similar to the case of two-qubit states.Interestingly, in Fig. 4(b) the optimal q for the detection of steering using Tsallis entropy is only q = 2 (and not q = 2 and q = 3 as in the two-qubit case).
We close this section with the conjecture that the criterion obtained from Tsallis entropy with q = 2 is the best one to detect steerable states using the method proposed in this work for arbitrary (finite) dimensions.Our criteria based on Rényi entropy seems to be weaker than the one based on Shannon entropy (see Figs. 2 and 4) and, hence, we will not consider it further.[33].Moreover, we will focus mainly on the criterion based on Tsallis entropy with q = 2, but we also discuss results for different values of q.

Isotropic states
The generalized entropic steering criteria are interesting for many scenarios, especially in the case of higher dimensional systems.Here, we address this scenario by applying our criteria to d-dimensional isotropic states [60] where |i |i is a maximally entangled state.These states are known to be entangled for α > 1/(d + 1) and separable otherwise.In order to detect steering via our entropic criteria, we consider as measurements m MUBs in dimension d (provided that they exist).
The marginal probabilities for this class of states are p i = 1/d for all i and the joint probabilities are p ii = [1 + (d − 1)α]/d 2 (occurring d times), and p ij = (1 − α)/d 2 (for i = j and occurring d(d − 1) times).Note that since isotropic states are invariant under local unitary operators of the form U ⊗ U * Ref. [60], we choose Bob's measurements to be the conjugates of Alice's measurements.Inserting these probabilities in Eq. ( 46), the condition for non-steerability reads where B (q) B is given in Eq. ( 29) and (32) [in the limit of q → 1, we use the bounds from Eq. ( 22)].One can see that Eq. ( 63) is valid for any dimension d, and depends only on the parameter q and the number of MUBs m.
Numerical investigations suggest that the criterion is strongest for q = 2, as one can see in Fig. 5.For this value of q the violation of Eq. ( 63) occurs for α > 1/ √ m.For a complete set of MUBs (m = d + 1) (with d being a power of a prime) the violation happens for α > 1/ √ d + 1.For example, if we consider d = 2 (qubits), isotropic states are equivalent to Werner states [61].For a complete set of MUBs the violation of our criteria occurs for α > 1/ √ 3 ≈ 0.577, which is known to be the optimal threshold [59] for three MUBs.Now, we are able to compare our results with two others which investigated steering for the class of isotropic states and MUBs.In Ref. [62], a steering inequality has been presented which is violated for α > (d 3/2 − 1)/(d 2 − 1), whereas in Ref. [63] the authors used semi-definite programming for this The optimal value for the detection of steerability is given by q = 2.
task.In Fig. 6, we show this comparison.Note that we present only the results for q = 2, which is the conjectured optimal value (Fig. 5).From Fig. 6, one sees that our criterion is stronger than the one from Ref. [62].For 3 ≤ d ≤ 5 a better threshold than ours was obtained in Ref. [63], but it is worth to mention that our criteria directly use probability distributions from few measurements, without the need of performing full tomography on Bob's conditional state.In addition the numerical approach becomes computationally more demanding when increasing the number of variables.

General two-qubit states
Let us now consider the application of our method to general two-qubit states.Any two-qubit state can, after application of local unitaries, be written as where a, b, c ∈ R 3 are vectors with norm less than one, σ is a vector composed of the Pauli matrices and ( a σ) = ∑ i a i σ i .We assume that Alice performs projective measurements with effects , where µ m , ν m = ±1 and { u, v} are unit vectors in R 3 .We have the following probabilities: where T m = ∑ 3 i=1 c i u im v im .Now Eq. ( 46) can be written as In this plot, blue circles correspond to our criterion in Eq. ( 63) for q = 2.The yellow squares correspond to the results for the inequality presented in Ref. [62] and the green diamonds in Ref. [63], where α crit was calculated via SDP (numerical method).Below the red triangles the existence of an LHS model for all projective measurements (i.e.infinite amount of measurements instead of d + 1 MUBs) is known [2].Note that Ref. [2] is given for comparison, this is not a steering criterion, but a bound on any criterion.
The optimization over measurements in this criterion for a general two-qubit state is involving.We will focus on the simple case of Pauli measurements, meaning that u m = v m = {(1, 0, 0) T , (0, 1, 0) T , (0, 0, 1) T } and q = 2. Then we have the following inequality the violation of which implies steerability.Now, we can compare our criteria with other proposals for the detection of steerable two-qubit states using three measurements.The criterion from [53] (see Eq. ( 49)) proves steerability if ∑ 3 i=1 c 2 i > 1, and from the linear criteria [2,64] Not surprisingly, Eq. ( 66) is stronger, since it uses more information about the state.The claim can be made hard by analyzing 10 6 (Hilbert-Schmidt) random two-qubit states [65].94.34% of the states do not violate any of the criteria, 3.81% are steerable according to all criteria, 1.85% violate only criterion (66), and none of the states violates the linear criteria without violating (66).
A special case of two-qubit states are the Bell diagonal ones, which can be obtained if we set a = b = 0 in Eq. (64).For this class of states it is easy to see that the three criteria are equivalent.Note, moreover, that a necessary and sufficient condition for steerability of this class of states with all projective measurements has recently been found [27].

One-way steerable states
As an example of weakly steerable states that can be detected with our methods we take one-way steerable states, i.e., states that are steerable from Alice to Bob but not the other way around.More specifically, we consider the family of states given as where It is known that states with θ ∈ [0, π/4] and cos 2 (2θ) ≥ (2β − 1)((2 − β)β 3 ) are not steerable from Bob to Alice considering all possible projective measurements [28], while Alice can steer Bob whenever β > 1/2.
Considering two measurement settings, we have that this state is one-way steerable for 1/ √ 2 < , and for three measurement settings, this state is one way-steerable for 1/ [66].For our entropic steering criterion (45) with q = 2 we find that this state is one-way steerable in the range for two Pauli measurements (σ x , σ z ), and for three Pauli measurements (σ x , σ y , σ z ).For any θ this gives a non-empty interval of β for which our criterion detects these weakly steerable states.In Fig. 7, we show the range of one-way steerability considering two and three measurement settings.

Bound entangled states
It is also interesting to investigate whether the entropic steering criteria from generalized entropies are able to detect steerability of bound entangled states, which is related to the stronger version of Peres conjecture [67][68][69].The conjecture states the possibility of constructing local models for bound entangled states and it was proven wrong in Refs.[6,7].
For this task, we investigated the following class of states presented in [6] with the following normalized states  45) in terms of m 1 and m 2 with q = 2 (blue curve) for BES in the region The opaque flat plot is the entropic uncertainty bound for q = 2 and the measurements given by Eqs. ( 73) and (74).From the plot one can see that there is no violation of Eq. ( 45) for any state in this family.
where m 1(2) ≥ 0 and m 2 )/2.This class of states has a positive partial transpose if the eigenvalues are fixed as with In Ref. [6], the authors show that this class of states is steerable for certain measurements.Now, to check whether the generalized entropic criteria are also able to detect the steerability of such states, consider that we perform the following two MUBs on Alice's and Bob's system [6]: for measurement m = 1, and for measurement m = 2.These rotated MUBs are given by the symmetry of the above class of states.Since they are MUBs, the bound C (2) = 1 holds.In Fig. 8, one can see that no violation for this specific class of bound entangled states occurs (given the above measurements).Surprisingly, performing more measurements makes no difference for the detection of steerability using our entropic steering criterion.This situation can be explained by the symmetry of such states, i.e., with the addition of more mutually unbiased measurements the entropic uncertainty bound increases with the same rate as the l.h.s. of criterion (45).The same result can also be obtained by a numerical optimization over random unitaries applied in the standard MUBs, where we use the parametrization given in Ref. [70].In this sense, it remains as an open question if the criterion is able to detect steerable bound entangled states.
where S q (B m , C m |A m ) = S q (B m , C m ) − S q (A m ) is the conditional Tsallis entropy.In terms of probabilities, these criteria can be written as Note here that we define tripartite steering from Alice to Bob and Charlie from the LHS model given in Eq. ( 2), and in this case we should consider the EUR bounds for separable states, see for example Eqs. ( 25), ( 26),( 28), (33) and Eq. ( 34), for the case of qubits and Pauli measurements.Moreover, if we consider the bound where we allow the state of Bob and Charlie to be entangled, which leads effectively to the scenario of bipartite steering, the bound for three measurement settings changes for Shannon entropy (see Eq. ( 27)).For Tsallis entropy, the EUR bound differs by non-separable states in the range of 1 ≤ q < 2, for three measurement settings (see Fig. 1).These different scenarios will be discussed further for some class of states in the next section.

Steering from Alice and Bob to Charlie
Let us now consider the scenario where Alice and Bob try to steer Charlie.Here, we follow the definition of tripartite steering given through Eq. ( 4).To start with, consider the quantity where I C represents a uniform distribution with p k = 1/N C .In terms of probabilities one gets where x C = N q−1 C − 1 and is the correction term.
Assuming that one has the LHS model from Eq. ( 4) and considering the probability distribution p(i|A, λ)p(j|B, λ)p q (k|C, λ) with a fixed λ one gets For a given set of measurements {C m } m one has an EUR where B C is some entropic bound for the observables {C m } m .Since S q is concave function, the same bound holds for convex combinations of product distributions p(i|A, λ)p(j|B, λ)p q (k|C, λ).Connecting the above results, the generalized multipartite steering criteria from Alice to Bob and Charlie are given by In terms of probabilities, these criteria can be written as In this scenario, this framework is not able to distinguish between bipartite and tripartite steering.This comes from the fact that if we consider the LHS model given in (5), with product distributions p(i, j|A, B, λ)p q (k|C, λ), we obtain the same criteria.

Applications
For the application of the multipartite entropic steering criteria, we consider systems of three qubits with Pauli measurements.We focus our discussion on GHZ and W states.A noisy GHZ state is defined as where ).This state is known to be not fully separable iff γ > 1/5 [71,72] and to be Bell nonlocal for γ > 1/2 for two and three measurements per site [73].A noisy W state reads where 3) ≈ 0.178 and fully separable for p ≤ 0.177 [74].This state is Bell nonlocal for δ > 0.6442 for two measurements per site and δ > 0.6048 for three measurements [73].Here, we are interested in the critical amount of white noise for the violation of criteria ( 80) and (87) with the aforementioned of measurements (together with an optimization over local unitaries).
Let us start discussing the results for the scenario of steering from Alice to Bob and Charlie.As mentioned above, we can distinguish the results into two different steering scenarios -bipartite and tripartite -depending on the considered LHS model and, consequently, the associated entropic bounds.
For the case of noisy GHZ states we have the following results for two measurement settings.Considering that Bob and Charlie always perform the same measurements (restriction given by the EUR bounds), violation of the criterion (80) is found for crit ≈ 0.866, where the notation γ (q) is used to distinguish between Shannon and Tsallis entropies.For three measurement settings, we choose the measurements as and the state is steerable from Alice to Bob and Charlie for γ > γ  crit ≈ 0.909 (for the bound (34) with q → 1).Using the criteria from Tsallis entropy (for the bound (34)) γ > γ (2) crit ≈ 0.775.Note that the best noise threshold is obtained using Shannon entropy and the bound for separable states, which leads to a "truly" tripartite steering scenario.In other words, the criteria obtained from Shannon entropy is sensitive to this distinction and demonstrates that is "easier" for Alice to steer Bob and Charlie if they share a separable state.In contrast, the criteria from Tsallis entropy with q = 2 is not sensitive (indifferent) within these different scenarios.
For the noisy W states, we have the following results for two-measurement settings.The optimal measurements are the ones given by Eq. (91).Violation of the criteria occurs for δ > δ (1) crit ≈ 0.9814, and no violation was found for q = 2. Considering three-measurement setting, the optimal set of measurements is and there is no violation for the criteria with the bound ( 27), but δ > δ (1) crit ≈ 0.8523 for the criteria with the bound (26), and δ > δ (2) crit ≈ 0.8366 for the bound (34).The best threshold for steerability occurs for the criterion based on Tsallis entropy (in contrary with the results found for noisy GHZ states), although the criterion doesn't distinguish between bipartite and tripartite LHS models.Now, consider steering from Alice and Bob to Charlie.As mentioned above, in this scenario we have no distinction between bipartite and tripartite steering, since both models lead to the same criteria.However, it is possible to explore the difference between performing local and global measurements.
Let us first discuss the results for local measurements.For noisy GHZ states and two measurement settings we use the measurements from Eq. (91).Steerability from Alice and Bob to Charlie occurs for γ > γ   For noisy W states we use the measurements Here steering occurs for δ > δ crit ≈ 0.75.For three measurement settings we take The corresponding thresholds are δ (1) crit ≈ 0.698 and δ (2) crit ≈ 0.623.In this scenario, one can notice that increasing the number of measurements and choosing q = 2, one is able to detect more steering for both families of states -in the same way as in bipartite steering.Now, let us explore the scenario where Alice and Bob perform global measurements.For this, we consider MUBs in dimension 4 for the global measurements and Pauli measurements to be performed in Charlie system.A possible set of MUBs in dimension 4 is given by From this set, we can choose within five measurements, while for the measurements of Charlie's system we can choose within three Pauli measurements.The task is to find the optimal combination which shows the best threshold for steerability in this scenario.
Considering the noisy GHZ states, the optimal two-measurement choice (from the given set) is (AB) 1 = M 1 , (AB) 2 = M 2 , and C 1 = σ z , C 2 = σ x , and the optimal three-measurement setting is the same as the two-measurement setting, with the addition of the third measurement (AB) 3 = M 3 and C 3 = σ y , which gives the same noise threshold found in the scenario of local measurements.Hence, the criterion is not able to detect a difference between local and global measurements for this specific family of states and set of measurements.
However, this is not the case for the noisy W states.The optimal two-measurement setting (from the given set) is (AB) 1 = M 1 , (AB) 2 = M 2 , and C 1 = σ z , C 2 = σ x , with the noise threshold δ (2) crit ≈ 0.6548.These results show that for noisy W states, local measurements are able to detect steerability with smaller noise threshold while compared to global ones.This result shows that the standard MUBs are not a good choice of global measurements, since they should reveal steerability with lower thresholds while compared to local ones.Now, we are able to compare our results to the literature.For example, in the case of Shannon entropy and two measurement settings, we obtain the same results as the ones presented in Ref. [18] for noisy GHZ and W states and scenarios of steering from Alice to Bob and Charlie and Alice and Bob to Charlie.In the latter case, we were able to find a smaller threshold considering Tsallis entropy and q = 2.However, if we compare our results with the ones in Ref. [17], our noise thresholds are bigger for all scenarios, and the same happens if we compare them with the nonlocality thresholds presented in Ref. [73].

Conclusions
In this work we have extended to several directions the straightforward technique for the construction of strong steering criteria from EURs [30].These criteria are easy to implement using a finite set of measurement settings only, and do not need the use of semi-definite programming and full tomography on Bob's conditional states.We also show that they can be extended to multipartite systems, where different steering scenarios can be identified and evaluated.
For future work, several directions seem promising.First, considering EURs in the presence of quantum memory [75] might improve the criteria.Second, connecting our results to measurement uncertainty relations for discrete observables [76].Third, making quantitative statements about steerability from steering criteria.Recently, some attempts in this direction have been pursued [77].
with d 2 outcomes, where the MUBs {|i m } m , {|j m } m work as the eigenvectors of the measurement X A(B) m Fig 1 we show these results.All these bounds were obtained numerically and as their analytical proof remains an open question, we use these conjectured bounds in our calculations.

2
ij is the probability of Alice and Bob for outcome (i, j) when measuring A m ⊗ B m , and p (m) i are the marginal outcome probabilities of Alice's measurement A m .This form of the criterion is straightforward to evaluate.4.2.2.Rényi entropyIf one considers the quantity F r (A, B) = −D r (A ⊗ B||A ⊗ I) with the measurements B m obeying an EUR

Figure 2 .
Figure 2. The critical value w for noisy two-qubit entangled states

Figure 3 .
Figure 3. Zoom-in of Fig 2, for the interval q ∈ [2; 3].Solid black line corresponds to Werner states, and the dashed blue and dotted red lines correspond to two random entangled states.

Figure 4 .
Figure 4.The critical value w for noisy two-qutrit entangled states (3) e x (w) for the detection of steering.The solid black line corresponds to the state with x = 1, the dotted red line with x = 0.5, and the dashed blue line with x = 0.2, with (a) the criteria based on Rényi entropy (45) and (b) on Tsallis entropy (48).

Figure 5 .
Figure 5.The critical value of white noise α of states in Eq. (62) as function of the Tsallis parameter q, considering a complete set of MUBs.Here, the solid black line corresponds to d = 3, the dotted red line to d = 4, the dashed blue line to d = 5, and the dot-dashed green line to d = 7.The optimal value for the detection of steerability is given by q = 2.

and Cavalcanti ◆▲Figure 6 .
Figure6.The critical value of white noise α for different dimensions d, considering a complete set of MUBs.In this plot, blue circles correspond to our criterion in Eq. (63) for q = 2.The yellow squares correspond to the results for the inequality presented in Ref.[62] and the green diamonds in Ref.[63], where α crit was calculated via SDP (numerical method).Below the red triangles the existence of an LHS model for all projective measurements (i.e.infinite amount of measurements instead of d + 1 MUBs) is known[2].Note that Ref.[2] is given for comparison, this is not a steering criterion, but a bound on any criterion.

Figure 7 .
Figure 7. One-way steerability of states (67) for (a) two and (b) three measurement settings.The shaded area is the region where our criterion detects these weakly steerable states.

Figure 8 .
Figure 8. Plot of Eq. (45) in terms of m 1 and m 2 with q = 2 (blue curve) for BES in the regionm 2 1 + m 2 2 + m 1 m 2 ≤ 1.The opaque flat plot is the entropic uncertainty bound for q = 2 and the measurements given by Eqs.(73) and(74).From the plot one can see that there is no violation of Eq. (45) for any state in this family.
n A } and e B k = {|e B j k |j = 1, . . ., n B } for different bases of H A(B) , the authors prove that for any separable state AB 57,58].