En ( Brunner et al. 2013 ), los autores mencionan (final de la pág. 6) que un conjunto de correlaciones $p(ab|xy)$ puede ser no local sólo si $\Delta\ge2$ y $m\ge2$ donde $\Delta$ es el número de resultados de la medición para las dos partes (es decir, el número de valores diferentes que $a$ y $b$ puede asumir), y $m$ el número de ajustes de medición entre los que se puede elegir (es decir, el número de valores de $x$ y $y$ ).
Una distribución de probabilidad $p(ab|xy)$ se dice aquí no local si se puede escribir como $$p(ab|xy)=\sum_\lambda q(\lambda) p(a|x,\lambda)p(b|y,\lambda).\tag1$$ Esto significa que si sólo hay un resultado de medición posible, o sólo una configuración de medición posible, entonces todas las distribuciones de probabilidad pueden escribirse como en (1).
En $\Delta=1$ (sólo un resultado de medición) es trivial: si es así, denotando con $1$ el único resultado de medición posible, tenemos $p(11|xy)=1$ para todos $x,y$ . Sin necesidad de la variable oculta, podemos tomar simplemente $p(1|x)=p(1|y)=1$ y obtenemos la descomposición deseada (1).
En $m=1$ caso, sin embargo, es menos trivial. En este caso, la cuestión parece equivalente a preguntarse si una distribución de probabilidad arbitraria $p(a,b)$ puede escribirse como $$p(a,b)=\sum_\lambda q(\lambda)p(a|\lambda)p(b|\lambda).$$ El documento no menciona ninguna referencia que apoye este hecho. ¿Cómo puede demostrarse?