Quantum steering of Gaussian states via non-Gaussian measurements.

Quantum steering-a strong correlation to be verified even when one party or its measuring device is fully untrusted-not only provides a profound insight into quantum physics but also offers a crucial basis for practical applications. For continuous-variable (CV) systems, Gaussian states among others have been extensively studied, however, mostly confined to Gaussian measurements. While the fulfilment of Gaussian criterion is sufficient to detect CV steering, whether it is also necessary for Gaussian states is a question of fundamental importance in many contexts. This critically questions the validity of characterizations established only under Gaussian measurements like the quantification of steering and the monogamy relations. Here, we introduce a formalism based on local uncertainty relations of non-Gaussian measurements, which is shown to manifest quantum steering of some Gaussian states that Gaussian criterion fails to detect. To this aim, we look into Gaussian states of practical relevance, i.e. two-mode squeezed states under a lossy and an amplifying Gaussian channel. Our finding significantly modifies the characteristics of Gaussian-state steering so far established such as monogamy relations and one-way steering under Gaussian measurements, thus opening a new direction for critical studies beyond Gaussian regime.

Quantum correlations, which do not admit classical descriptions, profoundly distinguish quantum physics from classical physics and also provide key resources for quantum information processing1. Under the classification of quantum correlations, the quantum non-locality is the strongest form of correlation2 beyond any classical local hidden variable (LHV) models3, which can be used e.g. to achieve the unconditional security of key distribution (QKD) in a deveice-independent manner456. In LHV model, the joint probability for outcomes a and b of local measurements A and B, respectively, is of the form , with a hidden variable λ distributed according to the probability p(λ). Here, for a given λ, the local probability distributions are realized independently of each other. Notably, any local statistics are allowed even beyond quantum ones in the LHV models. On the other hand, if the conditional probabilities are restricted only to quantum statistics, i.e. , where the subscript Q refers to quantum statistics, the model describes quantum separability, the violation of which indicates quantum entanglement—a resource, e.g. for exponential speed-up over classical computation17. Recently, an intermediate form of correlation has been rigorously defined as quantum steering8, which has become a topic of growing interest over the past decade89101112131415161718192021222324. In the so-called local hidden state (LHS) model, the correlation is represented by a form

i.e. only the party A is restricted to quantum statistics whereas the party B is not. If the above approach fails to explain a certain correlation of a given state, the state is called steerable from B to A. Not to mention its fundamental interest, it can have some important applications. A steering test is to certify quantum correlation even if Bob or his device is fully untrusted. In this sense, quantum steering may offer a crucial practical basis, e.g. for one-sided device independent cryptography10, and was also shown to be useful for quantum sub-channel discrimination11.

Quantum steering has been intensively studied for continuous variables (CVs)25 as well as discrete variables. In fact, the first steering criterion was developed by M. Reid for CVs2627 and a CV system is an attractive platform making an excellent candidate for quantum information processor. A wide range of quantum systems can process quantum information on CVs including light fields, collective spins of atomic ensembles, and motional degrees of trapped ions, Bose-Einstein condensates, mechanical oscillators28. An important regime to address CV systems both theoretically and experimentally is the one dealing with Gaussian states, Gaussian measurements and Gaussian operations29. Although the Gaussian regime has many practical advantages due to its experimental feasibility, it has also been known that non-Gaussian operations and measurements are essential for some tasks such as CV nonlocality test33031 and universal quantum computation3233. On the other hand, there are also cases that Gaussian states and operations provide an optimal solution, e.g. classical capacity under Gaussian channels34, quantification of entanglement35 and quantum discord363738. These examples indicate that Gaussian regime can be sufficient for the characterization of certain quantum correlations of Gaussian states353637. In particular, Gaussian criterion is both sufficient and necessary to detect quantum entanglement for Gaussian states3940.

So far, most of the studies on the steering of Gaussian states have been confined to Gaussian measurements, which established numerous characteristics of Gaussian-state steering892641424344. One remarkable example is a recent experiment that showed one-way steering of a two-mode Gaussian state, i.e. Alice steers Bob but Bob cannot steer Alice, under homodyne measurements15. Another notable property is a strict monogamy relation identified under Gaussian measurements, i.e. Eve cannot steer Bob if Alice steers Bob4144, which can be a crucial basis for secure communication, e.g. in one-sided device independent cryptography45. On the other hand, it is very important to answer a critical question whether these properties under the restriction of Gaussian measurements can generally be true beyond the Gaussian regime. For instance, a special class of non-Gaussian measurements, i.e., higher-order quadrature amplitudes, was employed to study steerability of Gaussian states44, which did not show any better performance than Gaussian measurements. Kogias and Adesso further conjectured that for all two-mode Gaussian states, Gaussian measurements are optimal46. It is a conjecture of both fundamental and practical importance to prove or disprove.

In this Article we demonstrate that there exist two-mode Gaussian states for which Gaussian measurements cannot manifest steering, but non-Gaussian measurements can. For this purpose, we employ a formulation of steering criterion based on local uncertainty relations involving non-Gaussian measurements47. We study steerability of mixed Gaussian states, specifically, Gaussian states under a lossy and an amplifying channel that represent typical noisy environments. Our counter-examples to the aforementioned conjecture imply the breakdown of monogamy relations and one-way steerability emerging under the restriction to Gaussian measurements and point out a critical need for more studies beyond Gaussian regime.

Results

Gaussian vs. non-Gaussian steering criterion

Let us define two orthogonal quadrature amplitudes , , where and are the annihilation and the creation operator for i-th mode. The covariance matrix γ of a bipartite (M + N)-mode Gaussian state ρ is then given by whose elements are

with and . γ and γ are 2M × 2M, 2N × 2N real symmetric positive matrices representing local statistics of M- and N-modes, respectively. C is a 2M × 2N real matrix representing correlation between two subsystems. Due to the uncertainty principle, the covariance matrix must satisfy γ ± iΩ ≥ 0, where is the sympletic form48. For the case of a two-mode Gaussian state, the covariance matrix can always be brought to a standard form by local Gaussian operations3940

Without loss of generality, we may set .

Under Gaussian measurements, a Gaussian state ρ is non-steerable from B to A iff

where 0 is a 2N × 2N null matrix8.

We now introduce our non-Gaussian steering criterion based on a set of local orthogonal observables, which we use to detect the steerability of two-mode Gaussian states.

Lemma: Let us choose a collection of n2 observables (k, l = 0, 1, …, n − 1) where

Here |k〉 refers to a Fock state of number k. Note that each of λ and represents a complete projective measurement individually. That is, λ represents a two-outcome projective measurement, assigning +1 if the tested state is detected in |k〉 and 0 otherwise. On the other hand, represents a three-outcome projective measurement, assigning ±1 if detected in the two eigenstates of λ and 0 otherwise. These observables satisfy the orthogonal relations and the sum of variances must satisfy the uncertainty relation,

where represents each variance and the projection to the Hilbert space of truncated n-levels. The proof of Lemma is given in Supplementary Information.

Now consider an orthogonal n2 × n2 matrix O in the truncated space, satisfying . Then the set of observables under the transformation also satisfies the uncertainty relation in equation (8) since and . This invariance property will be used later.

We now obtain a non-steering condition based on these orthogonal observables.

Theorem: If a two-mode quantum state ρ is non-steerable from B to A, it must satisfy the inequality

for any real g, where the observables satisfy the uncertainty relation in Eq. (8). Its proof is given in Supplementary Information.

We next introduce a useful criterion originating from the inequality (9) that can be readily computable.

Proposition: If a two-mode state ρ is non-steerable from B to A, the correlation matrix with elements constructed with n- and n′-level truncated local orthogonal observables (TLOOs) must satisfy (||·||: trace norm)

The proof of Proposition in Supplementary Information clearly shows that if a given state violates the inequality (10), it is steerable from B to A, and also that there exist a set of TLOOs that violates the inequality (9) as well. We give some details on how to calculate the expectation values of TLOOs for a given state in Supplementary Information.

Application to Gaussian states

Let us consider a two-mode squeezed-vacuum (TMSV) state as an initial state with its covariance matrix given by a = b = cosh 2 r and c1 = c2 = sinh 2r in equation (3). (r: squeezing parameter). If r > 0, this state is always steerable in both ways with Gaussian measurements using equation (4). Now suppose that the mode B undergoes a vacuum noisy channel with transmission rate η. Then the output state has a covariance matrix44,

If , one can readily check that the Gaussian criterion detects steering from B to A for all states regardless of squeezing. However, if the transmission rate is below , steering is impossible from B to A under Gaussian measurements44. On the other hand, the steering from A to B is always possible regardless of η > 0 for a nonzero squeezing. In contrast, as we show in Fig. 1, one can detect steerability of noisy Gaussian states from B to A even below η = 1/2 using non-Gaussian measurements based on 2-level [Fig. 1(a)] and 3-level [Fig. 1(b)] TLOOs. For this calculation, we need the density matrix elements in Fock basis, , which are given in Methods for completeness.

Figure 1

Detection of steerability for a lossy Gaussian state based on the criterion in equation (10) using (a) 2-level TLOOs and (b) 3-level TLOOs, respectively. Initially, a two-mode squeezed state with squeezing parameter r is prepared and only the mode B undergoes a lossy channel with transmittance rate η. The shaded red (blue) regions in the figures manifest a successful detection of steering from B to A (from A to B). The dashed gray straight line η = 1/2 is the bound under which Gaussian steering criterion cannot detect steering from B to A. Regions above dotted green curves represent the two-mode Gaussian states with which a positive key extraction is possible using CV OSDIQKD of ref. 45.

Our motivation for the choice of TLOOs in low-photon numbers is rather natural. For a low transmission rate η, the mode B resides in the Fock space of low photon numbers and this is particularly true for a small initial squeezing r. It is then expected that the information on correlation exists largely in the low-photon Fock space. For the case of 2-level TLOOs in Fig. 1(a), the detection range under our steering test, for which Gaussian criterion fails, turns out to be 0 < r < 0.869 (red shaded region below dashed line). On the other hand, for the case of 3-level TLOOs in Fig. 1(b), it turns out to be 0.364 < r < 0.987 (red shaded region below dashed line). One might then be interested to see if a truncated TMSS with a proper normalization in a genuinely low-dimensional Hilbert space can also show steering in a similar way. We find that it does not detect steerability beyond Gaussian criterion. In a sense, our TLOOs constructed with low-dimensional Fock states obtain a coarse-grained information on higher-order terms, not completely ignoring them, in an on-off fasion. (See the paragraph below equation (7).)

Other Gaussian states of experimental relevance are TMSVs under an amplifying channel. Let mode B undergo the amplification channel with a gain factor G ≥ 1, i.e. , where represents a vacuum noise. Then the output covariance matrix is given by , , and in equation (3). In this case, steering is possible from A to B using Gaussian criterion in the range of , whereas it is so from B to A in all ranges of G for a nonzero r. On the other hand, if we choose 2-level TLOOs in each party and test the violation of our steering criterion in Eq. (10), we find that the states with are detected where for , where a nonzero ε indicates that there are some amplified Gaussian states the steering of which is detected not via Gaussian criterion but via our non-Gaussian measurements.

Discussion

Aside from its fundamental interest, our result can have some practical implications as well. First, it has been known that there exists a strict monogamous property of steering under Gaussian measurements4144. That is, if Bob can steer Alice’s system, Eve cannot steer it simultaneously. In contrast, our result provides a clear counter-example to this monogamy relation. For example, a loss channel can be modeled by a beamsplitter as shown in Fig. 2. Then, if Bob possesses a field of fraction η, Eve takes the remaining fraction 1 − η. In the case of e.g. η = 0.55, Bob can steer Alice’s system via Gaussian measurements. At the same time, however, Eve can also steer Alice’s system via non-Gaussian measurements because it corresponds to the case of 1 − η = 0.45 at which steering is possible as shown in Fig. 1. Therefore, there occurs a possibility of simultaneous steering if not restricted to the same Gaussian measurements. A similar argument can be given to the case of amplified states.

Figure 2

Modeling a lossy channel by a beamsplitter (BS) of transmittance η.

In a related context, one may wonder if the above breakdown of monogamy relation can have implication on the security of one-sided device independent quantum key distribution (OSDIQKD). Basically, steering is a necessary condition to establish a positive key rate for OSDIQKD. If the monogamy relation does not hold, i.e. a simultaneous steering is possible, the security can be potentially compromised. However, importantly, it is not an arbitrary form of steering but a specific one that matters for a given protocol. For example, the CV OSDIQKD scheme of ref. 45 extracts keys based on specific observables at Alice’s station, which are two orthogonal quadratures and (Fig. 1). If only two observables are considered for the purpose of steering in the trusted party, a simultaneous steering is impossible, which was first shown by Reid41. This monogamy argument is even valid regardless of the type of states, whether Gaussian or non-Gaussian. Therefore, if Alice can establish a positive key rate with Bob, Eve cannot.

Second, the interesting phenomenon of asymmetric steering, i.e. Alice steers Bob but Bob cannot steer Alice, which was so far investigated under the restriction to Gaussian measurements1516, must be rigorously reassessed. For example, the recent experiment15 studied the case of Gaussian states under a lossy channel and our result demonstrates that the transmission rate η = 1/2 is not a critical value for the one-way steering.

In summary we showed that there exist Gaussian states the steering of which Gaussian measurements cannot detect but non-Gaussian measurements can. To this aim, we introduced a criterion based on local orthogonal observables and their uncertainty relations in a truncated Hilbert space. We have applied this criterion to the case of TMSV under a lossy and an amplifying channel and found that Gaussian measurements are not always optimal to demonstrate steering of Gaussian states. Our result implies that the steering properties known under the restriction to Gaussian measurements must be rigorously reassessed. For example, the important properties such as the strict monogamy relation and asymmetric steering break down beyond Gaussian regime.

Our investigation clearly indicates that we must pursue more studies to completely understand the characteristics of quantum steering even for the restricted set of Gaussian states. We hope our finding here could provide some useful insights into future studies beyond Gaussian measurements and operations.

Remarks: Upon completion of this work49, we became aware of a related work in ref. 50 that employs pseudo-spin observables to show non-optimality of Gaussian measurements for steering of Gaussian states. We here briefly compare their method with ours particularly in detecting Gaussian states under a loss channel. As shown in Fig. 3, the method of ref. 50 detects steering at a lower level of transmittance η for the squeezing range 0 < r < 0.746 (0 < r < 0.743) than our 2 (3)-level TLOO criterion. However, it does not detect steering below η = 0.5, which is the case of interest as Gaussian criterion fails, if the squeezing level is rather high as r > 0.81. On the other hand, our method detects steering in the range of 0 < r < 0.869 and 0.364 < r < 0.987 using 2- and 3-level TLOO criterion, respectively, below η = 0.5. Thus, the red and the purple shaded regions in Fig. 2 indicate the advantage of our criteria over the method of ref. 50. In this respect, two approaches are complementary to each other in detecting steering of Gaussian states for which Gaussian criterion fails.

Figure 3

Comparing the steering criterion in ref. 50 with ours for the detection of two-mode squeezed states with squeezing r under a loss channel with transmittance η.

The mode B undergoes the loss channel and the Gaussian states above each curve are detected for the steering from B to A. Blue dotted: criterion of ref. 50, Red solid: 2-level TLOO, Purple solid: 3-level TLOO.

Methods

To calculate the expectation values of the observables in our steering criteria, we need the density matrix elements in Fock basis, i.e., . In particular, a two mode squeezed state (squeezing: r), after the mode B undergoes a vacuum noisy channel with transmittance η, gives

while other terms are zero in the basis of .

On the other hand, each single mode state in mode A and B is a thermal state, whose expectation values are also necessary to test our criterion. The single-mode thermal states are all diagonal in Fock basis, and the nonzero expectation values for the mode B are given by

where is the mean photon number of the initial thermal state. For mode A which does not undergo a lossy channel, we simply set η = 1 in the above expressions.

Additional Information

How to cite this article: Ji, S.-W. et al. Quantum steering of Gaussian states via non-Gaussian measurements. Sci. Rep. 6, 29729; doi: 10.1038/srep29729 (2016).