Abstract
Within Güney–Hillery approach, a number of examples of classical and quantum bounds on the sum of probabilities resulting from two orbits of \(S_4\) is considered. It is shown that the violation of Bell’s inequalities is rather rare and gentle.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bell, J.S.: On the Einstein–Podolsky–Rosen paradox. Physics 1, 195 (1964)
Clauser, J.F., Horne, M.A., Shimony, A., Holt, R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880 (1969)
Clauser, J.F., Horne, M.A.: Experimental consequences of objective local theories. Phys. Rev. D 10, 526 (1974)
Kaszlikowski, D., Gnaciński, P., Żukowski, M., Miklaszewski, W., Zeilinger, A.: Violations of local realism by two entangled \(N\)-dimensional systems are stronger than for two qubits. Phys. Rev. Lett. 85, 4418 (2000)
Werner, R.F., Wolf, M.M.: All-multipartite Bell-correlation inequalities for two dichotomic observables per site. Phys. Rev. A 64, 032112 (2001)
Collins, D., Gisin, N., Linden, N., Massar, S., Popescu, S.: Bell inequalities for arbitrarily high-dimensional systems. Phys. Rev. Lett. 88, 040404 (2002)
Son, W., Lee, J., Kim, M.S.: Generic Bell inequalities for multipartite arbitrary dimensional systems. Phys. Rev. Lett. 96, 060406 (2006)
Cabello, A., Severini, S., Winter, A.: Graph-theoretic approach to quantum correlations. Phys. Rev. Lett. 112, 040401 (2014)
Liang, Y.-C., Spekkens, R., Wiseman, H.: Specker’s parable of the overprotective seer: a road to contextuality, nonlocality and complementarity. Phys. Rep. 506, 1 (2011)
Brunner, N., Calvalcanti, D., Pironio, S., Scami, V., Wehner, S.: Bell nonlocality. Rev. Mod. Phys. 86, 419 (2014)
Güney, V.U., Hillery, M.: Bell inequalities from group actions of single-generator groups. Phys. Rev. A A90, 062121 (2014)
Güney, V.U., Hillery, M.: Bell inequalities from group actions: three parties and non-Abelian groups. Phys. Rev. A 91, 052110 (2015)
Bolonek-Lasoń, K.: Violation of Bell inequality based on \(S_4\) symmetry. Phys. Rev. A 94, 022107 (2016)
Bolonek-Lasoń, K., Sobieski, Ś.: Violation of Bell inequalities from \(S_4\) symmetry: the three orbits case. Quantum Inf. Process. 16, 38 (2017)
Bolonek-Lasoń, K., Kosiński, P.: Güney–Hillery approach to Bell inequalities. Phys. Rev. A 99, 052122 (2019)
Yang, Y., Zheng, Z.-J.: Violation of Bell inequalities for arbitrary-dimensional bipartite systems. Quantum Inf. Process. 17, 12 (2018)
Simon, B.: Representations of Finite and Compact Groups. Graduate Studies in Mathematics, vol. 10. AMS, Providence (1996)
Cirel’son, B.: Quantum generalizations of Bell’s inequality. Lett. Math. Phys. 4, 93 (1980)
Cameron, P.: Combinatorics: Topics, Techniques, Algorithms. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 The explicit form of standard representation of \(S_4\)
Below we present the explicit form of standard representation of \(S_4\) in an unitary basis. To this end, it is sufficient to know the matrices representing transpositions. They read [13]:
1.2 The specification of orbits
We consider the orbits of \(S_4\) in the threedimensional space carrying the standard representation. To this end, we use the general scheme outlined in Sect. 2. The cyclic subgroup \(H=\left\{ e,g,g^2\right\} \) is generated by \(g=(2314)\); therefore, \(m=3\) and \(k=8\). In order to simplify notation, we put below \(D(\tilde{g})\equiv \tilde{g}\) for any \(\tilde{g}\in S_4\). The initial vector v is given by Eq. (23); using the explicit form of the representation one finds that \(g^lv\), \(l=0,1,2\), are mutually orthogonal. The elements of the orbit under consideration are of the form
It remains to select the elements \(g_\alpha \) representing the left cosets from \(S_4/H\). The particular choice adopted here is described in Table 1.
1.3 The eigenvalues of \(X(\tilde{g},v)\)
The eigenvalues of the operators \(X(\tilde{g},v)\) (cf. Eq. 11) are given by Eq. (13). To find their actual values one has only to know the projections \((v_A\otimes v_B)_s\) of the product vectors on the subspaces carrying irreducible representations entering the decomposition (12). To this end, one should compute the matrix of the relevant Clebsh-Gordan coefficients; this is quite straightforward and the final result reads [13]
The rows of C correspond to the consecutive basic vectors of block-diagonal basis while the columns to the product vectors. More explicitly, the relevant projections of \(\mathbf {v}\otimes \mathbf {v}'\) onto the irreducible subspaces read [13]:
The eigenvalues of \(X(\tilde{g},v)\), for v given by Eq. (23), are presented in Table 2. For convenience, all elements \(\tilde{g}\in S_4\) are grouped into equivalence classes. In the following two columns the elements of \(S_4\) are written out together with their \((\alpha ,l)\) indices; then the eigenvalues are presented which correspond to the successive irreducible components entering the Clebsch–Gordan decomposition of \(D\otimes D\); finally, in the last column the maximal eigenvalues are given.
In order to obtain the classical estimate on the sum (16) we may use the algorithm described in Ref. [13]. We use the property that the joint probability maximizing S can be chosen in the form described by Eq. (17). Therefore, for any joint configuration \((\underline{a},\underline{b})=(a_1, \ldots ,a_8;b_1,\ldots ,b_8)\) (cf. Eq. 15) we have to determine the number of times it appears in the configurations by vectors entering both orbits. To this end, we start with some element \((\alpha ,l)\) viewed as an Alice state. We select from the first orbit the corresponding Bob’s element \((\alpha _{\tilde{g}_1},l_{\tilde{g}_1})\); then we look for the element of the second orbit containing \((\alpha _{\tilde{g}_1},l_{\tilde{g}_1})\) as a second factor. Its first factor serves then for the search of an appropriate Alice’s element of the first orbit and the procedure is repeated. As a result, we obtain a closed cycle (see below). Then we select any element which does not belong to the cycle and repeat all steps. We arrive at the disjoint set of cycles of the same length and all 48 elements of both orbits belong to some cycle. Having this decomposition at hand we have to select the maximal set of cycles such that the corresponding set of vertices has the following property: for any \(\alpha \), \(\alpha '\) it contains at most one vertex \(v_{\alpha l}\otimes v_{\alpha ' l'}\). The total number of edges gives the classical bound on the sum \(S(\tilde{g}_1,\tilde{g}_2)\).
In grouptheoretical language, we start with the first orbit and select some element \(g_0v\otimes g_0\tilde{g}_1v\); then we look for the element of the second orbit containing \(g_0\tilde{g}_1v\) as its second factor. It reads \(g_0\tilde{g}_1\tilde{g}_2^{-1}v\otimes g_0\tilde{g}_1\tilde{g}_2^{-1}\tilde{g}_2v\). Coming back to the first orbit, we find the vector with the same first factor of tensor product, \(g_0\tilde{g}_1\tilde{g}_2^{-1}v\otimes g_0\tilde{g}_1\tilde{g}_2^{-1}\tilde{g}_1v\) and repeat the procedure. In this way, we arrive at the sequence of vectors of the form
from the first orbit and
from the second one. These cycle doses if \((\tilde{g}_1\tilde{g}_2^{-1})^k = e\); therefore, for the length of the cycle (the number of vertices or edges) equals twice the order of \(\tilde{g}_1\tilde{g}_2^{-1}\).
Below we give the examples of this algorithm for \(B=8,\,12,\,14\) and 16.
\(B=8\): the pair of orbits containing the vectors \((v\otimes v_{42},v\otimes v_{70})\)
\(B=12\): the pair of orbits containing the vectors \((v\otimes v_{40},v\otimes v_{72})\)
\(B=14\): the pair of orbits containing the vectors \((v\otimes v_{20},v\otimes v_{32})\)
\(B=16\): the pair of orbits containing the vectors \((v\otimes v_{62},v\otimes v_{82})\)
Rights and permissions
About this article
Cite this article
Bolonek-Lasoń, K., Kosiński, P. Bell inequalities for \(S_4\) group: classical and quantum bounds for two-orbit case. Quantum Inf Process 19, 63 (2020). https://doi.org/10.1007/s11128-019-2557-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11128-019-2557-2