The RGB No-Signalling Game

Introducing the simplest of all No-Signalling Games: the RGB Game where two verifiers interrogate two provers, Alice and Bob, far enough from each other that communication between them is too slow to be possible. Each prover may be independently queried one of three possible colours: Red, Green or Blue. Let a be the colour announced to Alice and b be announced to Bob. To win the game they must reply colours x (resp. y) such that a ≠ x ≠ y ≠ b. This work focuses on this new game mainly as a pedagogical tool for its simplicity but also because it triggered us to introduce a new set of definitions for reductions among multi-party probability distributions and related locality classes. We show that a particular winning strategy for the RGB Game is equivalent to the PR-Box of Popescu-Rohrlich and thus No-Signalling. Moreover, we use this example to define No-Signalling in a new useful way, as the intersection of two natural classes of multi-party probability distributions called one-way signalling. We exhibit a quantum strategy able to beat the classical local maximum winning probability of 8/9 shifting it up to 11/12. Optimality of this quantum strategy is demonstrated using the standard tool of semidefinite programming.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 10

11/21/2019

Comment on "Quantum Games and Quantum Strategies"

We point out a flaw in the unfair case of the quantum Prisoner's Dilemma...
08/20/2020

A Direct Product Theorem for One-Way Quantum Communication

We prove a direct product theorem for the one-way entanglement-assisted ...
09/11/2018

Maximally Consistent Sampling and the Jaccard Index of Probability Distributions

We introduce simple, efficient algorithms for computing a MinHash of a p...
09/11/2018

Strategies for quantum races

We initiate the study of quantum races, games where two or more quantum ...
01/16/2018

de Finetti reductions for partially exchangeable probability distributions

We introduce a general framework for de Finetti reduction results, appli...
12/21/2017

Wave function representation of probability distributions

Orthogonal decomposition of the square root of a probability density fun...
10/09/2020

Improving Local Identifiability in Probabilistic Box Embeddings

Geometric embeddings have recently received attention for their natural ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 The Game

Claude started this research trying to find the simplest example he could think of to illustrate multi-party distributions achievable via entanglement and No-Signalling in general. His interest started from the following question on Quora: “Could someone explain quantum entanglement to me like I’m 5 years old?” Jon Hudson [1], a former Stanford QM student, had given an answer involving friends choosing to have pizza (or not) on the Moon and on Earth but he did not quite come up with a crisp No-Signalling situation. Claude cooked up the RGB example after reading Jon’s answer.

The canonical examples in this area are the Magic Square Game [2, 3] and the so-called PR-box [4] of Popescu-Rohrlich, both of which require some basic notions of arithmetics to be introduced, or at least some basic logic as a common background. The purpose now is to present an example so simple that even a five year old would understand it!

The RGB game is as follows:

“ Two people, Alice and Bob, play a game with friends Albert and Boris. Alice and Albert are on the moon, while Bob and Boris stay on earth. Albert and Boris each independently picks at random a colour out of three possibilities: Red, Green or Blue, and locally tells it to Alice or Bob.
Right away Alice and Bob choose a colour different from the one provided by their local counterpart. For instance, if Albert tells Green to Alice, she may choose Red or Blue, while if Boris tells Red to Bob, he may choose Blue or Green.
Alice and Bob win the game if they never answer the same colour, either Red-Blue, Red-Green or Blue-Green in the example above. ”

Figure 1 summarizes the input/output relation that Alice and Bob must satisfy. is the colour given to Alice and is the colour given to Bob. Their answers are and respectively. The condition they are trying to achieve is .

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>RGB @- [0,-1][0,0].[1,0];p !C *RGB,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>x & *+<1em,.9em>RGB @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>y

Figure 1: an -box such that

Such boxes are a standard way of representing the possible behaviours of Alice and Bob. Indeed we can think of this box as a channel precisely describing the distribution of given fixed values of . The box of Figure 1 does not specify the probabilities exactly and thus the name of the box is in calligraphic letters representing the set of all the distributions that satisfy the given conditions. There are many distinct ways of fulfilling the conditions of the game and many distributions that will win the game 100% of the time.

1.1 Winning strategies

Let’s first consider a deterministic strategy for Alice and Bob’s behaviour as described by the box of Figure 2.

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>RGB_0 @- [0,-1][0,0].[1,0];p !C *RGB_0,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>x:=a+1 & *+<1em,.9em>RGB_0 @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>y:= {aif a-1if

Figure 2: a deterministic -box

In this example we assume the colours are labelled or and that arithmetic operations are performed modulo 3. When and are the same colour it produces

The values and are the other two colours, distinct from . However, when and are the distinct colours it produces either

when the third colour is or

when the third colour is .

This deterministic strategy defines completely the probability distribution of the outputs given : probability of is zero except when and in which case it is precisely one. Therefore we name this box with bold characters because it precisely defines a unique probability distribution . This box achieves the prescribed condition in a unique deterministic way for each .

After complete examination of this condition one realizes that when is a single colour the conditions can be satisfied in exactly two ways

whereas when and are distinct colours the conditions can be satisfied in exactly three ways

From this we conclude that out of the 9 possible pairs, three of them () may have two solutions and six of them () may have three solutions. This yields a total of distinct deterministic winning strategies. The above strategy is only one of these.

We can completely parametrize all the winning strategies as a function of 15 real parameters in the interval such that as follows

(1)
(2)

All the winning strategies to this game are among these probability distributions. They are all the valid convex combinations of the distinct deterministic winning strategies.

The deterministic strategy of Figure 2 is the special case

The rest of this paper is going to focus on exactly one of these strategies with a very remarkable property: it does not require Alice and Bob to signal to implemented it (whereas all the others actually do). This strategy is going to be named The name is a reminder that this strategy has the feature that whenever and are distinct, is or ( being the third colour) but never . is a combined string of types , . and is specified by the parameters

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em> @- [0,-1][0,0].[1,0];p !C * ,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>x & *+<1em,.9em> @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>y

Figure 3: The -box such that ,
and , uniformly among solutions

In Figure 3, is made precise by enforcing extra conditions on top of . We force by adding . Uniformity finally imposes that all the remaining non-zero probabilities be exactly

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>PR @- [0,-1][0,0].[1,0];p !C *PR,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>x & *+<1em,.9em>PR @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>y

Figure 4: a PR-box satisfying the CHSH condition,
that , uniformly among solutions

1.2 Our Results

The contributions of the paper are

  1. Novel notion of reducibility among strategies

  2. Novel definitions of basic notions such as locality, signalling, one-way signalling and no-signalling

  3. A proof that our notion of no-signalling is equivalent to the generally accepted one

  4. A proof of equivalence between and the well-known Popescu-Rohrlich Non-Local (yet No-Signalling) PR-box (see Figure 4) Implying is also complete for the set of No-Signalling distributuions

  5. A proof that is the ONLY No-Signalling distribution winning the RGB game

  6. Quantum strategy with winning probability 11/12, better than the best local strategy at 8/9

  7. A proof of optimality of this quantum strategy using semidefinite programming

  8. Some related open problems

2 Definitions

In this section we solely focus on the two-party single-round games and strategies that are sufficient to discuss and analyze the strategies for the RGB game. Definitions and proofs for complete generalizations to multi-party multi-round games and strategies will appear in a forthcoming paper with co-authors Adel Magra and Nan Yang.

2.1 Strategies: Two-Party Channels

2.1.1 Games:

Let be a predicate on (for some finite sets and ) and let be a probability distribution on . Then and define a (single-round) game as follows: A pair of questions is randomly chosen according to distribution , and is sent to Alice and is sent to Bob. Alice must respond with an answer and Bob with an answer . Alice and Bob win if evaluates to 1 on and lose otherwise.

2.1.2 Strategies:

A strategy for Alice and Bob is simply a probability distribution describing exactly how they will answer on every pair of questions . We now breakdown the set of all possible strategies for Alice and Bob according to their locality.

2.1.3 Deterministic and Local Strategies:

A strategy is deterministic if there exists functions such that

A deterministic strategy corresponds to the situation where Alice and Bob agree on their individual actions before any knowledge of the values is provided to them. In this case they use only their own input to determine their individual output.

A strategy is local if there exists a finite set and functions such that

A local strategy corresponds to the situation where Alice and Bob agree on a deterministic strategy selected uniformly among such possibilities. The choice of Alice and Bob’s strategy, and the choice of inputs

provided to Alice and Bob are generally agreed to be statistically independent random variables.

2.2 Local Reducibility

We now turn to the notion of locally reducing a strategy to another, that is how Alice and Bob limited to local strategies but equipped with a particular (not necessarily local) strategy are able to achieve another particular (not necessarily local) strategy . For this purpose we introduce a notion of distance between strategies in order to analyze strategies that are approaching each other asymptotically.

2.2.1 Distances between Strategies:

Several distances could be selected here as long as their meaning as it approaches zero are the same. In the definitions below, are strategies and is a finite set of strategies.

Definition 1.

Definition 2.

2.2.2 Local extensions of Strategies:

For natural integer , we define the set of strategies that are local extensions (of order ) of to be all the strategies Alice and Bob can achieve using local strategies where strategy may be used up to times as sub-routine callsThis is done by selecting functions to determine the input of each sub-routine call based on input and previous inputs/outputs..

Definition 3.

We say that Locally Reduces to () iff .

Definition 4.

We say that is Locally Equivalent to () iff and .

Note: a similar notion of reducibility has been previously defined by Dupuis, Gisin, Hasidim, Méthot, and Pilpel [5] but without taking the limit to infinity. In their model they have previously showed that instances of the PR-box modulo cannot be used to replicate exactly the PR-box modulo , for any distinct primes . However, Forster and Wolf [11] have previously proved that PR is complete for No-Signalling distributions under a similar (asymptotic) definition.

2.3 Locality

We now define the lowest of the locality classes . We could define it directly from the notion of local strategies as defined above, but for analogy with the other classes we later define, is defined as all those strategies locally reducible to a complete strategy we call (see Figure 5). Of course, any strategy is complete for this class.

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>ID @- [0,-1][0,0].[1,0];p !C *ID,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>a & *+<1em,.9em>ID @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>b

Figure 5: an -box
Definition 5.

Note: is the class of strategies that John Bell [6] considered as classical hidden-variable theories that he compared to entanglement. It is also the class of strategies that BenOr, Goldwasser, Kilian and Wigderson [7] chose to define classical Provers in Multi-Provers Interactive Proof Systems.

2.4 One-Way Signalling

We now turn to One-Way Signalling which allows communication from one side to the other. We name the directions arbitrarily Left and Right. We define (resp. ) as all those strategies locally reducible to a complete strategy we call (see Figure 6) (resp. (see Figure 7)). These classes are useful to define what it means for a strategy to signal as well as the notion of No-Signalling strategies.

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em> R - SIG @- [0,-1][0,0].[1,0];p !C * R - SIG ,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>a & *+<1em,.9em> R - SIG @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>a

Figure 6: an -box
Definition 6.

Definition 7.

We say that Right Signals (is -verbose§§§We define the notion of -verbose in analogy to -hard: it means “as verbose as any distribution in locality class ”. In consequence, a distribution is -complete if and is -verbose.) iff .

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>L - SIG @- [0,-1][0,0].[1,0];p !C *L - SIG,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>b & *+<1em,.9em>L - SIG @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>b

Figure 7: an -box
Definition 8.

Definition 9.

We say that Left Signals (is -verbose) iff .

Definition 10.

We say that Signals iff Right Signals or Left Signals.

We prove a first result that is intuitively obvious. We show that the complete strategy cannot be approximated in and the other way around.

Theorem 2.1.

and .

Proof.

Follows from a simple capacity argument. For all , all the channels in have zero left-capacity, while has non-zero left-capacity. And vice-versa. ∎

2.5 Signalling

We are now ready to define the largest of the locality classes . Indeed every possible strategy is in .

Definition 11.

@*=<0em>@C=1em @R=.7em *!R!<.5em,0em>=<0em>a [r] & *+<1em,.9em>SIG @- [0,-1][0,0].[1,0];p !C *SIG,p +LU;+RU **-+RU;+RD **-+RD;+LD **-+LD;+LU **- & *!L!<-.5em,0em>=<0em>b [l]
*!R!<.5em,0em>=<0em>b & *+<1em,.9em>SIG @- [0,-1][r][l] & *!L!<-.5em,0em>=<0em>a

Figure 8: a -box
Definition 12.

We say that Fully Signals (is -verbose) iff Right Signals and Left Signals.

2.6 No-Signalling

We finally define the less intuitive locality class in relation to classes defined above.

Definition 13.

.

A similar characterization may be found in [9] Section 3 and [10] Corollary 3.5.

Theorem 2.2.

. The above definition of exactly coincides with the traditional notion of No-Signalling [8].

Proof.

If is signalling then it is verbose for at least one of or . Without loss of generality, assume it is verbose for . Then by theorem 2.1, , thus .

If is no-signalling then Alice’s marginal distribution is independent from Bob’s input . Therefore, she can sample an output according to her input only as deduced from . Alice can now communicate to Bob. Bob given can select according to the distribution deduced from . The produced will have distribution as expected. This proves . Membership to is proven similarly.

This completes the proof of Theorem 2.2.

Figure 9 shows the relation of these classes as well as the case obtained via quantum entanglement () as considered by Bell [6].

Figure 9: Locality Hierarchy and complete distributions in each class.
Definition 14.

We say that does not Signal iff does not Right Signal nor Left Signal iff .

Theorem 2.3.

If (or ) and is symmetric then does not Signal.

Proof.

and is symmetric imply that as well. Thus . ∎

Theorem 2.4.

Proof.

and is symmetric. ∎

Theorem 2.5.

Proof.

First we show how may be achieved from , more precisely that . All arithmetic operations are performed modulo 3. Let , and . The possible pairs for are therefore . Let . Let , and . We leave it as an exercice to check that indeed satisfy the CHSH condition that .

Secondly, we show how may be achieved from , more precisely that . Again, all arithmetic operations are performed modulo 3Therefore modulo 2 for the exponents according to Fermat’s little theorem.. The intuition in this case is that if then should be either or at random. If then should be either or at random. The following computations achieve precisely this using the identity .

The first pair of functions compute the negation of the most significant bit of their inputs: let , and . Let .

The second pair of functions compute the negation of the least significant bit of their inputs: let , and . Let .

The third pair of functions compute according to the intuitive rule above: let , and . ∎

Corollary 1.

is -Complete.

Proof.

Since PR was previously proved -Complete by Forster and Wolf [11] , then so is . ∎

Theorem 2.6.

is the ONLY strategy winning the RGB game that is also No-Signalling.

Proof.

Using the notation of Equations (1) – (2), for No-Signalling on Alice’s side we need

and symmetrically on Bob’s side

Using all 6 sets of equalities we can get rid of all the variables but by setting

It follows that

and since both and must be greater or equal to zero we conclude

It results that and thus

is the only solution as claimed. ∎

Theorem 2.7.

The maximum local winning probability to the RGB game is 8/9.

Proof.

Consider and as well as and . By inspection of these functions we conclude because for all inputs we have and and 8 out of 9 input pairs are such that . Since it is a well known fact that , it suffices to show that as well.

To prove this, consider any pair of functions . To obtain for all , the image of must contain at least 2 colours. Similarly for the image of . Since both and can only take 3 values, their images must have a common colour. Therefore, there exists an and a such that . We conclude , and therefore . ∎

Note: somewhat surprisingly Theorem 2.5 is not good enough to surpass in the quantum case. Since (and not in ), an optimal quantum approximation to a PR-box (known to succeed with probability ) used instead of the perfect one only yields a approximation to an RGB-box.

A natural question is therefore to find a quantum strategy that is better than the local one.

3 A better-than-local quantum strategy

There is indeed a better-than-local quantum strategy that wins with probability :

Alice and Bob share a singlet state . According to their own input colour, they choose their measurement from the following list:

(3)

where

(4)

These 3 projectors are located in the same plane equidistantly (like the Mercedes-Benz logo). The colour names can be permutated freely as long as Alice and Bob do the same projection for the same colour.

If the output of their measurement is positive, they output the colour that comes after their input colour in the cycle . Otherwise, they output the previous colour. They never output their own input colour as it leads to a sure loss.

For example, if Alice’s input is Green and she measures a positive result when applying the projector , then and (the colour addition is modulo 3). Figure 10 explains the protocol graphically.

%

Figure 10: Alice and Bob’s best quantum strategy is to each make the above projective measurement on their half-singlet. The basis (rectangle) depends on their own input colour. Their output is the colour of the measured arrow.

3.1 Proof of winning probability

We look at the probability of losing as it is simpler. To simplify notation, we call directly and as well as and . Alice and Bob lose in the following cases:

(losing cases)

The probability of error only depends on the relation between and and is for each case:

(5)
(6)
(7)

And the winning probability of this quantum strategy is (with uniformly random inputs):

(8)

The game is therefore won with probability using this quantum strategy. ∎

4 The Bell inequality associated to the RGB game

The above quantum strategy is optimal among quantum strategies. To prove it in Section 5, we now analyze a Bell inequality associated to the RGB game. Bell game and Bell inequalities are equivalent formulations of the same phenomenon. We quickly recall how to translate from one paradigm to the other before defining the inequality and stating corresponding bounds for quantum and No-Signalling strategies.

4.1 Bell game vs Bell inequality notations

Up to now, we have analyzed the RGB game in the modern game context, meaning we treated strategies as probability distributions of the form and showed strategies in different locality classes (i.e. local, quantum or No-Signalling) can achieve different win rates. To finetune our analysis, we excluded without losing generality the output colour that always lose (i.e. and ) and treated the remaining outputs as binary (i.e. and ). In the next subsections, we will also use the notation for the individual conditional probabilities.

However, another way to see this problem is through Bell inequalities. Instead of looking at a game with binary outputs, one consider the properties of observables with values in . An observable is simply a physical quantity one can decide to measure. In physics Bell inequalities (e.g. the CHSH inequality) are usually specified by a function of the expected correlations of different observables. This function defines a quantity to which classical mechanics (i.e. local hidden variable models) imposes a limit that can be broken using quantum mechanics. We remark that all of Alice’s observables need to commute (meaning the order in which they are measured don’t affect their results) with all of Bob’s observable to respect the No-Signalling condition common to , and .

The canonical example of a Bell inequality is the CHSH inequality. This Bell inequality also has a quantum limit: it is Tsirelson’s bound. As we are about to see, this will also be the case of the RGB Bell-inequality.

The relevant point is that one can translate between the two formulations by expressing the conditional probabilities of the Bell game paradigm as expectancies of correlations in the Bell inequality paradigm, and vice versa. We will in fact only need the following conversion equation:

(9)

where we noted the expected correlation between the measurement outcomes of Alice’s observable and Bob’s observable .

4.2 Intermediate step: rewriting the probability of winning as a function of the expected correlations between Alice’s and Bob’s outputs

The following lemma will make the subsequent Bell inequality formulation simple.

Lemma 1.

The probability of a given strategy distribution winning the game is given by :

(10)

It depends only on the correlations between Alice’s and Bob’s output, not on their marginals.

Proof.

By looking at the three losing cases above (see Section 3.), we obtain the probability of a distribution winning the game:

(winning probability equation)

We rewrite it in terms of the marginals and correlations . Here is how we can transform each term:

(11)
(12)
(13)
(14)

Replacing them into the winning probability equation gives:

(15)
(16)
(17)
(18)

4.3 The RGB Bell-inequality

We show a new simple case of a Bell inequality which we call the RGB Bell-inequality. We define it by reformulating the bound on the local winning probability of the RGB game.

Proposition 1.

The following quantity is related to the RGB game:

(RGB Bell-quantity)

and allows us to express the RGB Bell-inequality:

(RGB Bell-inequality)
Proof.

We first rewrite the equation describing the probability of winning the RGB game into a Bell inequality notation by taking Lemma 1 and making the simple substitution given in Eq. 9. We obtain:

(19)

We then define the interesting part as the RGB Bell-inequality:

(20)

Finally, from Theorem 2.7 we have , which by the last equation implies .

As we showed in Section 3, quantum mechanics allows to do better than classical local strategies, but we will soon show that there is also a limit to how good quantum strategies can be. In fact, the quantum strategy we described earlier is optimal.

Theorem 4.1.

The RGB Bell-inequality can be broken by quantum distributions, but there exists for the RGB game an analogue to Tsirelson’s bound.

(quantum bound)

The inequality is tight.

Proof.

The value is possible. It follows directly from the quantum strategy achieving a win rate of , as described in Section 3. The proof one cannot do better is shown next in Section 5. ∎

While quantum strategies cannot reach the trivial upper bound, No-Signalling strategies can.

Proposition 2.

No-Signalling physics (i.e. the use of the -box) could break maximally the RGB Bell-inequality.

(trivial No-Signalling bound)

The inequality is tight.

Proof.

The value is possible by using the No-Signalling strategy described in Section 1. because it achieves a win rate of . The inequality is tight as all expected correlation terms are here bounded by . ∎

5 Tsirelson’s-like bound and proof of optimality of the quantum strategy

We now prove the optimality of the quantum strategy described in Section 3. by finding a Tsirelson’s-like bound for the RGB Bell-inequality.

5.1 The optimization problem

We want to prove that for any , any and any , the quantum limit for the RGB Bell-inequality holds:

(quantum bound)

We call the value associated to our known quantum strategy and the optimal value .

5.2 Solving the Bell inequality using semidefinite programming

We closely follow the semidefinite programming technique explained in this article [12]

. The idea is first to transform the Bell inequality problem from the quantum realm to the vector space using a result by Tsirelson. Then we use semidefinite programming with Lagrangian duality. The key point is that the Lagrangian dual problem upper-bounds the primal problem. So by guessing a solution to the dual problem which have the same value as

, we prove that is optimal.

5.3 A Bell inequality as a real vector problem

We will use an important theorem by TsirelsonWe write it as formulated in [12], but fix a small mistake in the quantifiers order (it was correct in the original paper). [13].

Theorem 5.1 (Tsirelson).

Let and

be observables with eigenvalues in the interval

. Then for any state , there exist real unit vectors such that for all :

(21)

Applying it to our case, we reduce our Bell inequality problem to maximizing the following real-vectorial expression:

(22)

under the constraints .

5.4 The primal problem

We re-write the last statements in a matrix form.

(23)

We note can have this form if and only if it is semidefinite positive and that its diagonal elements are equal to 1 because of the normalization constraints. We also define the matrix in a way that where is the defined in Eq. 22 associated to this strategy .

(24)

Then the semidefinite optimization primal problem is:

(primal problem)

5.4.1 The primal solution

The quantum strategy we found previously is associated with the value . For the sake of completeness, we prove again here this value is achievable.

(primal solution)

We check that by looking at its eigenvalues: they are indeed . is therefore a feasible solution whose primal value is .

5.5 The dual problem

We now turn to the dual problem with Lagrange multipliers. The idea is to pose an objective function which will be equal to if is a feasible solution (i.e. G is semidefinite positive and all the normalization constraints are satisfied) and whose dual can be evaluated in a non-trivial way.