# Simulation of Equatorial von Neumann Measurements on GHZ States Using Nonlocal Resources

Authors: Jean-Daniel Bancal; Cyril Branciard; Nicolas Gisin
Journal: Advances in Mathematical Physics
 (2010)

---

## Abstract

Reproducing with elementary resources the correlations that arise
when a quantum system is measured (quantum state simulation) allows one to get insight on the operational and computational power of quantum correlations. We propose a family of models that can simulate von Neumann measurements in thex−y
plane of the Bloch sphere on n-partite GHZ states. For the tripartite and fourpartite states, the models use only bipartite nonlocal boxes; they can be translated into classical communication schemes with finite average communication cost.


---

## Body

## 1. Introduction

Understanding the nonlocal correlations created upon measurement of some entangled quantum system is a problem which runs up against our common representation of the world, by the very definition of nonlocality, i.e. violation of a Bell inequality [1]. Indeed, no explanation one would reasonably accept as possible, like agreement prior to measurement or subluminal communication of inputs, seems to be used by nature in order to create these correlations (see the numerous experimental violations of Bell inequalities [2]).Still, some insight on the power of such correlations was gained when people came out with models able to reproduce them in terms of classical resources. For instance, Toner and Bacon [3] showed how to simulate von Neumann measurements on a singlet state with one bit of communication. Such a result puts an upper bound on the required amount of nonlocal resources needed for the reproduction of singlet correlations; it guarantees also that the corresponding correlations are not a stronger resource of nonlocality than 1 bit of classical communication.A different kind of resources that was also considered are the so-called nonlocal boxes [4]: these are simple nonlocal correlations which do not allow signaling. Successful simulation schemes using nonlocal boxes as unique nonlocal resources include the simulation of the singlet [5] and of partially entangled two-qubit states [6].Concerning multipartite systems, communication models reproducing Pauli measurements onn-partite GHZ or on graph states have also been proposed [7, 8]. For arbitrary possible measurements on the tripartite GHZ state, previous studies suggested that its simulation with bounded communication might be impossible, taking as an example correlations corresponding to measurements of this state in the x-y plane of the Bloch sphere [9]. In this paper, we construct a model which analytically reproduces these equatorial correlations, and whose only nonlocal resources are Popescu-Rohrlich (PR) boxes [10] and Millionaire boxes [11]. Thus a finite number of bipartite nonlocal boxes are proven to be sufficient to reproduce these genuinely tripartite nonlocal correlations. Note also that even though our model does not give an upper bound on the worst-case communication cost, it does provide a communication model with finite expected communication cost, simulating for instance the tripartite GHZ state with an average total of 10 bits of communication between the parties (c.f. Appendix B).The paper is organized as follows: first, we recall the correlations of the GHZ state that we want to simulate. We then present a model for the 3-partite case, and generalize it to more parties. We discuss the construction and then conclude.


## 2. GHZ Correlations

Consider then-partite GHZ state
(2.1)|GHZn〉=12(|00⋯0〉+|11⋯1〉).
Our goal is to reproduce the correlations which are obtained when von Neumann measurements are performed on this state, by using other nonlocal resources such as nonlocal boxes (possibly supplemented with shared randomness).Forn=2, the protocol presented in [5] for the singlet state allows one to reproduce the correlations for any measurement settings, using one PR box. Here we recall the definition of a PR box:PR Box
A Popescu-Rohrlich (PR) box is a nonlocal box that admits two bits x,y∈{0,1} as inputs and produces locally random bits a,b∈{0,1},which satisfy the binary relation
(2.2)a+b=xy.
Going ton≥3, we shall only consider measurements in the x-y plane (equatorial measurements), which have the nice feature of producing unbiased marginals: all correlation terms  involving strictly fewer than n parties vanish. We writeeach party's measurement operator as: A=cosϕaσX+sinϕaσY, B=cosϕbσX+sinϕbσY,…. Denoting the binary result of each measurement by α,β,…∈{-1,1}, the correlations we are interested in are given by
(2.3)〈α〉=〈β〉=⋯=〈αβ〉=⋯=0
for all sets of fewer than n parties, and
(2.4)〈αβ⋯ω〉=cos(ϕa+ϕb+⋯+ϕz)
for the full n-partite correlation term. In other words, outcomes appear to be random except when all of them are considered together, in which case their correlation takes a form reminiscent of the singlet state. To simulate such correlations, nonlocal boxes similar to the Millionnaire box will be useful, so let us recall what a Millionnaire box is.M Box
AMillionaire box is a nonlocal box that admits two continuous inputs x,y∈[0,1[ and produces locally random bits a,b∈{0,1},such that
(2.5)a+b=sg(x-y),
where the sign function is defined as sg(x)=0 if x>0 and sg(x)=1 if x≤0.
It is worth mentioning that even though we restrict the set of possible measurements on the GHZ states, the correlations we consider can still exhibit fulln-partite nonlocality. Indeed, the Svetlichny inequality for n parties can be maximally violated with settings in the x-y plane [12, 13]. This implies that in order to simulate these correlations, any model must truly involve all n parties together [14].


## 3. Simulation Model for the 3-Partite GHZ State

Let us consider the above correlations forn=3 parties, for which the outcomes of all parties need to be correlated according to 〈αβγ〉=cos(ϕa+ϕb+ϕc).As a first step towards the simulation of these correlations, let us relax some of the constraints and allow two parties to cooperate in a Svetlichny-like scenario [15] (see Figure 1): for instance Alice and Bob would be allowed to communicate with each other, but not with Charlie who is kept isolated from them. In such a scenario, the three parties could create correlations of the desired form with one PR box by using the protocol of [5] to generate outputs α̃ and γ̃ that have a cosine correlation of the form 〈α̃γ̃〉=cos(ϕab+ϕc), with a fictitious measurement angle ϕab=ϕa+ϕb. By then setting either α=α̃,β=+1 or α=-α̃,β=-1 (each with probability 1/2), and γ=γ̃, they would recover the desired tripartite correlations 〈αβγ〉=cos(ϕa+ϕb+ϕc).Figure 1
Simulation of|GHZ3〉 in a Svetlichny scenario: Alice and Bob form a group and can share their information with each other, while Charlie is separated from them. In this scenario 1 PR box allows one to reproduce the equatorial correlations.Of course, letting Alice and Bob share their inputs is not satisfactory yet, as this would require signaling between them. We shall now see that it is actually possible to reseparate them, while keeping the tripartite correlation term unchanged.In order to do so, let us recall that the model used above to create the bipartite cosine correlation with aPR box works by asking the parties (here, Alice-Bob together and Charlie) to input in the box terms of the form [5]
(3.1)x=sg(cos(ϕab-φ1))+sg(cos(ϕab-φ2)),z=sg(cos(ϕc-φ+))+sg(cos(ϕc-φ-)),
where φ1,φ2,φ+,φ- are hidden variables shared by all parties (that we shall define later). One can see that in the Svetlichny scenario, Alice and Bob do not really need to share their measurement angles, but only the terms sg(cos(ϕa+ϕb-φλ)). Hopefully, there is a way for Alice and Bob to compute this function nonlocally by using the forementioned Millionaire box (M box). For convenience, let us define the following nonlocal box.Cosine Box
A bipartiteCosine box (C box) is a nonlocal box that admits two angles ϕa,ϕb∈[0,2π[ as inputs and produces locally random binary outcomes a,b∈{0,1},correlated according to
(3.2)a+b=sg(cos(ϕa+ϕb)).
We show in AppendixA that a bipartite C box is equivalent to an M box. C boxes are exactly what we need for our problem, as the following result shows.Result 1.
Equatorial von Neumann measurements on the tripartite GHZ state can be simulated with 2C boxes and 2 PR boxes.Proof.
The simulation can be realized with the following model; we refer to Figure2 for the distribution of the nonlocal boxes between the three parties Alice, Bob, and Charlie, and for the numbering of their inputs (denoted xi,yi and zi for each party, resp.) and outputs (denoted ai,bi and ci).
Let Bob and Charlie share two independent random vectorsλ⃗1,λ⃗2 uniformly distributed on the sphere S2. We define λ⃗±=λ⃗1±λ⃗2 and refer to φ1,φ2,ϕ+,φ- for their phase angle in polar coordinates. Let the parties input the following variables into their boxes:
(3.3)x1=ϕa,x2=ϕa,x3=a1+a2,y1=ϕb+φ1,y2=ϕb+φ2,y3=b1+b2,z1=z2=sg(cos(ϕc-φ+))+sg(cos(ϕc-φ-)).
The three parties then output
(3.4)α=(-1)A,withA=a1+a3β=(-1)B,withB=b1+b3γ=(-1)C,withC=c1+c2+sg(cos(ϕc-φ+)).
The output of each party is the XOR of outputs received from nonlocal boxes shared with all other parties. Since these boxes are no-signaling, a single output of any nonlocal box is necessarily random. The only way as not to get a random average correlation is thus to consider all parties together since missing one produces a random term. All correlations involving fewer than 3 parties thus average to zero.
Concerning the 3-party correlations, we have(3.5)A+B+C=(a1+b1)+(a3+c1)+(b3+c2)+sg(cos(ϕc-φ+))=(a1+b1)+x3z1+y3z2+sg(cos(ϕc-φ+))=(a1+b1)+(a1+b1+a2+b2)z1+sg(cos(ϕc-φ+))=(a1+b1)+sg(cos(ϕc-φ+))+[sg(cos(ϕa+ϕb+φ1))+sg(cos(ϕa+ϕb+φ2))]×[sg(cos(ϕc-φ+))+sg(cos(ϕc-φ-))]=sg(v⃗ab·λ⃗1)+sg(c⃗·λ⃗+)+[sg(v⃗ab·λ⃗1)+sg(v⃗ab·λ⃗2)][sg(c⃗·λ⃗+)+sg(c⃗·λ⃗-)],
where we defined v⃗ab=(cos(-ϕa-ϕb),sin(-ϕa-ϕb),0) and with c⃗=(cosϕc,sinϕc,0) being Charlie's setting. Following the proof of [5] (see also [3]), we find that the average of this quantity over the values of the hidden variables λ⃗1 and λ⃗2 is
(3.6)〈A+B+C〉=1-v⃗ab·c⃗2=1-cos(ϕa+ϕb+ϕc)2
which leads, as requested, to
(3.7)〈αβγ〉=cos(ϕa+ϕb+ϕc).Figure 2
Setup for the simulation of|GHZ3〉 in the x-y plane. The Alice-Bob group was split by using two C boxes and a second PR box.Coming back to the Svetlichny construction, we see that it was indeed possible to split the Alice-Bob group by allowing them to share twoC boxes. Concerning the PR box, it had to be split also, into two new PR boxes, in order to recover the desired result: the computation made by the PR box in the Svetlichny setup is now performed nonlocally, by the 2 PR boxes, using inputs distributed over the 3 parties.We restricted here to measurements in thex-y plane, but with a slight modification, Charlie could actually simulate any measurement basis. Indeed a way to understand the appearance of the model for the singlet state (the bipartite cosine correlation), in the Svetlichny scenario, is to realize that the fictitious measurement angle ϕab=ϕa+ϕb that Alice and Bob used above corresponds to the direction in which they would prepare a state for Charlie if they were to measure their part of the original GHZ state in their respective bases. In other words, in the quantum scenario, when Alice and Bob measure the GHZ state, they prepare one of the two states
(3.8)|z±〉=12(|0〉±e-i(ϕa+ϕb)|1〉),
for Charlie. But a way for them to prepare one of these states, if they share a singlet (or rather, a bipartite GHZ or |Φ+〉 state) with Charlie, is by measuring their part of the |Φ+〉 state along ϕab, which is what they effectively do in our model. So in fact they prepare a state |z±〉 for Charlie, which he can measure in the direction he wants (in particular, outside the x-y plane). The only modification in the model needed for that is that Charlie should use z1=z2=sg(c⃗·λ⃗+)+sg(c⃗·λ⃗-) and C=c1+c2+sg(c⃗·λ⃗+) to allow his measurement to point outside the x-y plane.We do not claim that the above model is optimal. It could be that strictly fewer nonlocal boxes are actually enough to reproduce the same correlations. It is nonetheless remarkable that truly tripartite correlations can be simulated with bipartite nonlocal resources only.It is also quite surprising that the model we presented here does not need more shared randomness than in the bipartite case. It might possibly be that a model that would use fewer nonlocal resources would require more shared randomness.


## 4. Simulation Model for the 4-partite GHZ State

In the previous section, we showed how to splitϕab from (3.1) into two phases ϕa,ϕb, in order to reseparate the group formed by Alice and Bob in the Svetlichny scenario. It is in fact similarly possible to split ϕc in order to have a total of 4 parties into play.Result 2.
Equatorial von Neumann measurements on the 4-partite GHZ state can be simulated with 4C boxes and 4 PR boxes.Proof.
The simulation can be realized with the following model, analogous to the previous one; we now refer to Figure3 for the distribution of the nonlocal boxes between the four parties Alice, Bob, Charlie, and Dave, and for the numbering of their inputs (xi,yi,zi, and wi) and outputs (ai,bi,ci, and di).
Bob and Charlie still share two independent random vectorsλ⃗1,λ⃗2 uniformly distributed on the sphere S2. With the same notations as before, let the four parties now input the following variables into their boxes:
(4.1)x1=ϕa,x2=ϕa,x3=x4=a1+a2,y1=ϕb+φ1,y2=ϕb+φ2,y3=y4=b1+b2,z1=ϕc-φ+,z2=ϕc-φ-,z3=z4=c1+c2,w1=ϕd,w2=ϕd,w3=w4=d1+d2.
The parties should then output
(4.2)α=(-1)A,withA=a1+a3+a4β=(-1)B,withB=b1+b3+b4γ=(-1)C,withC=c1+c3+c4δ=(-1)D,withD=d1+d3+d4.
For the same reason as in the tripartite case, all correlations of fewer than four parties vanish. For the 4-partite correlation term, the calculation ofA+B+C+D is straightforward, following similar lines as in the tripartite case. It leads to a similar expression as in (3.5), except that c⃗ should now be replaced by v⃗cd=(cos(ϕc+ϕd),sin(ϕc+ϕd),0). This leads to the requested 4-partite correlation term:
(4.3)〈αβγδ〉=cos(ϕa+ϕb+ϕc+ϕd).Figure 3
Setup for the simulation of|GHZ4〉 in the x-y plane. Notice that if any of the 4 parties is taken away (together with the nonlocal boxes it shares with the other parties), we recover a setup with 2 PR and 2 C boxes, which corresponds to the simulation setup for |GHZ3〉, as in Figure 2.Again, there is no claim of optimality for the above model, but it is also remarkable that truly 4-partite correlations can still be simulated with bipartite nonlocal resources only, and no more shared randomness than for the bipartite case.


## 5. Going to More Parties

### 5.1. Possible Extension of the Model to Any Number of Parties

In the last two sections, we showed how to construct models for the simulation of GHZ states involvingn=3,4 parties by splitting the n parties into two groups. Each group then had to calculate functions of the form sg(cos(Σϕai+φλ)) with for instance Σϕai=ϕa+ϕb, φλ=φ1. Now, if we consider more parties, splitting them into two groups necessarily results in at least one of the groups having more than two parties. One could for instance have n-1 parties on one side and 1 party on the other side. The sign function that each group has to calculate thus involves in general more than two phase angles. This motivates the definition of a generalization of the C box to n parties.Multipartite Cosine Box
Ann-partiteC box is a nonlocal nonsignaling box that admits n angles ϕi∈[0,2π[ as inputs and produces binary outcomes ai∈{0,1},correlated according to
(5.1)∑iai=sg(cos(∑iϕi)).
The outcomes of the box are locally random. Also, all correlations involving fewer than n outputs vanish.
Multipartite C boxes allow one to generalize our model to the simulation of multipartite GHZ state with any number of parties, by separating the n parties into two groups, consisting of k parties on one side and n-k parties on the other.Result 3.
Equatorial von Neumann measurements onn-partite GHZ states can be simulated with 2k-partite Cboxes+2(n-k)-partite Cboxes+k(n-k)PR boxes(for any 0<k<n).Sketch of the Proof
Following the previous constructions, the group withk parties needs to calculate nonlocally two terms of the form sg(cos(ϕ1+⋯+ϕk+φλ)), which can be done by using two k-partite C boxes, and the other group can similarly do its job with two (n-k)-partite C boxes. As it was the case for the 4-partite case, each party from the first group also needs to share a PR box with each other party in the second group. We thus understand that by separating the n parties into these two groups, a total of 2k-partite C boxes + 2(n-k)-partite C boxes + k(n-k)PR boxes is sufficient to simulate the correlations of the n-partite GHZ state measured in the x-y plane. Interestingly again, no more shared randomness than for the bipartite case is required.


### 5.2. A Simpler Model

If we allow the parties to share nonlocal boxes involving more than two parties, then there is actually a simpler model which uses a singlen-partite C box to reproduce the equatorial GHZ correlations (as defined by (2.3) and (2.4)).Result 4.
Equatorial von Neumann measurements onn-partite GHZ states can be simulated with a single n-partiteC  box.Proof.
Consider indeed the following strategy: Alice generates a random variableφλ∈[-π/2,π/2] according to the distribution ρ(φλ)=(1/2)cos(φλ). She inputs ϕa+φλ in the n-partite C  box, while all other n-1 partners simply input their measurement angle. From the outputs a,b,… of the box, each party can compute the final outputs α=(-1)a,β=(-1)b,… All correlations between the outputs that involve fewer than n parties vanish, while for the n-partite correlation term, they get, as requested:
(5.2)〈αβ…ω〉=∫-π/2π/2(-1)sg(cos(φλ+ϕa+ϕb+⋯+ϕz))ρ(φλ)dφλ={12∫-π/2π/2-Σϕicosφλdφλ-12∫π/2-Σϕiπ/2cosφλdφλif0<Σϕi<π-12∫-π/2-π/2-Σϕicosφλdφλ+12∫-π/2-Σϕiπ/2cosφλdφλelse=cos(ϕa+ϕb+⋯+ϕz).Note that in the bipartite case, this model gives a new, simplified, way of simulating the equatorial correlations of the singlet state with a singleMillionaire box. It is worth noting that it does not require any shared randomness. It uses however a strictly stronger nonlocal resource than the model with one PR box [5], since an M box cannot be simulated with one PR box (c.f. Appendix B).Compared to this last simple model, our previous construction allows one to reduce the multipartiteness of the nonlocal boxes used to simulate the same correlations. Finitely many nonlocal boxes involving no more than⌈n/2⌉ parties are sufficient to reproduce n-partite equatorial GHZ correlations. In particular, for n≤4, bipartite resources are sufficient.If one really wants to use only bipartite nonlocal boxes, we show in AppendixC that multipartite nonlocal boxes with continuous inputs, binary outputs, and only fully n-partite nonvanishing correlations can always be simulated with bipartite boxes, as it is the case for boxes with a finite number of inputs [16]. However, the construction we use is quite special, as the boxes we need can have inputs or outputs that cannot be written as real numbers.


## 5.1. Possible Extension of the Model to Any Number of Parties

In the last two sections, we showed how to construct models for the simulation of GHZ states involvingn=3,4 parties by splitting the n parties into two groups. Each group then had to calculate functions of the form sg(cos(Σϕai+φλ)) with for instance Σϕai=ϕa+ϕb, φλ=φ1. Now, if we consider more parties, splitting them into two groups necessarily results in at least one of the groups having more than two parties. One could for instance have n-1 parties on one side and 1 party on the other side. The sign function that each group has to calculate thus involves in general more than two phase angles. This motivates the definition of a generalization of the C box to n parties.Multipartite Cosine Box
Ann-partiteC box is a nonlocal nonsignaling box that admits n angles ϕi∈[0,2π[ as inputs and produces binary outcomes ai∈{0,1},correlated according to
(5.1)∑iai=sg(cos(∑iϕi)).
The outcomes of the box are locally random. Also, all correlations involving fewer than n outputs vanish.
Multipartite C boxes allow one to generalize our model to the simulation of multipartite GHZ state with any number of parties, by separating the n parties into two groups, consisting of k parties on one side and n-k parties on the other.Result 3.
Equatorial von Neumann measurements onn-partite GHZ states can be simulated with 2k-partite Cboxes+2(n-k)-partite Cboxes+k(n-k)PR boxes(for any 0<k<n).Sketch of the Proof
Following the previous constructions, the group withk parties needs to calculate nonlocally two terms of the form sg(cos(ϕ1+⋯+ϕk+φλ)), which can be done by using two k-partite C boxes, and the other group can similarly do its job with two (n-k)-partite C boxes. As it was the case for the 4-partite case, each party from the first group also needs to share a PR box with each other party in the second group. We thus understand that by separating the n parties into these two groups, a total of 2k-partite C boxes + 2(n-k)-partite C boxes + k(n-k)PR boxes is sufficient to simulate the correlations of the n-partite GHZ state measured in the x-y plane. Interestingly again, no more shared randomness than for the bipartite case is required.


## 5.2. A Simpler Model

If we allow the parties to share nonlocal boxes involving more than two parties, then there is actually a simpler model which uses a singlen-partite C box to reproduce the equatorial GHZ correlations (as defined by (2.3) and (2.4)).Result 4.
Equatorial von Neumann measurements onn-partite GHZ states can be simulated with a single n-partiteC  box.Proof.
Consider indeed the following strategy: Alice generates a random variableφλ∈[-π/2,π/2] according to the distribution ρ(φλ)=(1/2)cos(φλ). She inputs ϕa+φλ in the n-partite C  box, while all other n-1 partners simply input their measurement angle. From the outputs a,b,… of the box, each party can compute the final outputs α=(-1)a,β=(-1)b,… All correlations between the outputs that involve fewer than n parties vanish, while for the n-partite correlation term, they get, as requested:
(5.2)〈αβ…ω〉=∫-π/2π/2(-1)sg(cos(φλ+ϕa+ϕb+⋯+ϕz))ρ(φλ)dφλ={12∫-π/2π/2-Σϕicosφλdφλ-12∫π/2-Σϕiπ/2cosφλdφλif0<Σϕi<π-12∫-π/2-π/2-Σϕicosφλdφλ+12∫-π/2-Σϕiπ/2cosφλdφλelse=cos(ϕa+ϕb+⋯+ϕz).Note that in the bipartite case, this model gives a new, simplified, way of simulating the equatorial correlations of the singlet state with a singleMillionaire box. It is worth noting that it does not require any shared randomness. It uses however a strictly stronger nonlocal resource than the model with one PR box [5], since an M box cannot be simulated with one PR box (c.f. Appendix B).Compared to this last simple model, our previous construction allows one to reduce the multipartiteness of the nonlocal boxes used to simulate the same correlations. Finitely many nonlocal boxes involving no more than⌈n/2⌉ parties are sufficient to reproduce n-partite equatorial GHZ correlations. In particular, for n≤4, bipartite resources are sufficient.If one really wants to use only bipartite nonlocal boxes, we show in AppendixC that multipartite nonlocal boxes with continuous inputs, binary outputs, and only fully n-partite nonvanishing correlations can always be simulated with bipartite boxes, as it is the case for boxes with a finite number of inputs [16]. However, the construction we use is quite special, as the boxes we need can have inputs or outputs that cannot be written as real numbers.


## 6. Conclusion

We proposed models reproducing the correlations of the tripartite and 4-partite GHZ states measured in thex-y plane, with a finite number of bipartite nonlocal boxes. Extending our results to n-partite GHZ states was possible after releasing the requirement that the nonlocal boxes had to be bipartite.We believe that our results give a new motivation for finding whether or not the GHZ correlations can also be simulated in a bounded communication scheme. Note that our models can be translated into finite expected communication schemes, since aPR box can be replaced by 1 bit of communication and an M box (a bipartite C box) by 4 bits in average, as we show in Appendix B. This gives a model with an average of 10 bits of communication between the parties. Note that this model with finite expected communication could also be recast as a detection loophole model.More generally, it would be interesting to know whether the simulation ofn-partite GHZ states can always be achieved with a finite amount of bipartite resources only (for instance a finite number of M boxes). Considering also measurements outside of the x-y plane seems quite challenging because the marginals do not vanish anymore, but it would certainly be of interest too.Finally, it would be worth studying other multipartite quantum correlations. TheW state for instance, seems to be a good candidate for this, when measurements are again restricted to the x-y plane, because of the simplicity of its correlations. Indeed they only consist of bipartite correlation terms of the form 〈αβ〉=(2/n)cos(ϕa-ϕb), all other correlation terms being 0 for any number of parties n. (It is not known whether these correlations are nonlocal for all n, but in the case n=4 there exists a Bell inequality which allows one to show that these correlations are indeed nonlocal [17].)



---

*Source: 293245-2010-02-21.xml*