The power of CGLMP inequalities

From OpenQIProblemsWiki
Jump to: navigation, search

Cite as:

Previous problem: Bell inequalities holding for all quantum states

Next problem: Local equivalence of graph states


In the setting of Problem 26, consider especially the case [math](N,M,K)=(2,2,d)[/math].

Problem 27. A

Show that every face of the local polytope [math]C[/math], which is not already contained in a face of the no-signalling polytope [math]P[/math] is of CGLMP type, i.e., an inequality of the form first written out in [1], but possibly lifted from lower dimensions by fusing together some outcomes.

Problem 27.B

Numerically, the observables maximally violating the CGLMP inequality on a maximally entangled state are of a very specific form [2], involving measurements in computational basis, transformed by only discrete Fourier transformation and diagonal unitaries [1]. Show that this is necessarily the case. Show also that these measurements realize the highest resistance of violation to noise, and the best discrimination against classical realism in the sense of Kullback-Leibler divergence [3].


According to the setting [math](N,M,K)=(2,2,d)[/math], the CGLMP inequality features two parties, [math]X[/math] and [math]Y[/math], with two observables each: [math]X_1, X_2[/math] and [math]Y_1, Y_2[/math], respectively. Each observable has [math]d[/math] possible outcomes. In order to simplify notation, we use the function [math]m(x) = x \mod d[/math] where [math]m(x)\in \{0,1,...,d-1\}[/math] for integer [math]x[/math] and we denote expectation values by [math]\mathsf{E}[/math]. The inequality can then be written [4]:

[math] \mathsf{E}(m(X_1-Y_1)) + \mathsf{E}(m(Y_1-X_2)) + \mathsf{E}(m(X_2-Y_2)) + \mathsf{E}(m(Y_2-X_1-1)) \ge d-1. [/math]

This statement also suggests a very elegant proof of the inequality [4]: Note that [math] (X_1-Y_1) + (Y_1-X_2) + (X_2-Y_2) + (Y_2-X_1-1) = -1. [/math] Apply the function [math]m[/math] to both sides, and use [math]m(a)+m(b)+m(c)+m(d) \ge m(a+b+c+d)[/math].

A more detailed discussion of the problem can be found in [5].

Partial Results

The CGLMP inequality is indeed a facet of the local polytope for the case [math](N,M,K) = (2,2,d)[/math], see [6].


  1. 1.0 1.1 D. Collins, N. Gisin, N. Linden, S. Massar, and S. Popescu, Phys. Rev. Lett, 88, 040404 (2002)
  2. T. Durt, D. Kaszlikowski, and M. Zukowski, Phys. Rev. A, 64, 024101 (2001)
  3. W. van Dam, P. Grunwald, and R. Gill, quant-ph/0307125 (2003)
  4. 4.0 4.1 R. Gill, private communication
  5. A. Acin, R. Gill, and N. Gisin, Phys. Rev. Lett. 95, 210402 (2005)
  6. Ll. Masanes, Quant. Inf. Comp. 3, 345 (2002)