We study a method of generating Bell inequalities by using group actions of single-generator Abelian groups. Two parties, Alice and Bob, each make one of $M$ possible measurements on a system, with each measurement having $K$ possible outcomes. The probabilities for the outcomes of these measurements are $P({a}_{j}=k,{b}_{{j}^{\ensuremath{'}}}={k}^{\ensuremath{'}})$, where $j,{j}^{\ensuremath{'}}\ensuremath{\in}{1,2,...,M}$ and $k,{k}^{\ensuremath{'}}\ensuremath{\in}{0,1,...,K\ensuremath{-}1}$. The sums of some subsets of these probabilities have upper bounds when the probabilities result from a local, realistic theory that can be violated if the probabilities come from quantum mechanics. In our case the subsets of probabilities are generated by a group action, in particular, a representation of a single-generator group acting on product states in a tensor-product Hilbert space. We show how this works for several cases, including $M=2$, $K=3$, and general $M$, $K=2$. We also discuss the resulting inequalities in terms of nonlocal games.
We study a method of generating Bell inequalities by using group actions of single-generator Abelian groups. Two parties, Alice and Bob, each make one of M possible measurements on a system, with each measurement having K possible outcomes. The probabilities for the outcomes of these measurements are P(aj=k,bj\ensuremath′=k\ensuremath′), where j,j\ensuremath′\ensuremath∈1,2,...,M and k,k\ensuremath′\ensuremath∈0,1,...,K\ensuremath−1. The sums of some subsets of these probabilities have upper bounds when the probabilities result from a local, realistic theory that can be violated if the probabilities come from quantum mechanics. In our case the subsets of probabilities are generated by a group action, in particular, a representation of a single-generator group acting on product states in a tensor-product Hilbert space. We show how this works for several cases, including M=2, K=3, and general M, K=2. We also discuss the resulting inequalities in terms of nonlocal games.
In a previous publication, we showed how group actions can be used to generate Bell inequalities. The group action yields a set of measurement probabilities whose sum is the basic element in the inequality. The sum has an upper bound if the probabilities are a result of a local, realistic theory, but this bound can be violated if the probabilities come from quantum mechanics. In our previous paper, we considered the case of only two parties making the measurements and single-generator groups. Here we show that the method can be extended to three parties, and it can also be extended to non-Abelian groups. We discuss the resulting inequalities in terms of nonlocal games.
In recent papers, the theory of representations of finite groups has been proposed to analyzing the violation of Bell inequalities. In this paper, we apply this method to more complicated cases. For two partite system, Alice and Bob each make one of d possible measurements, each measurement has n outcomes. The Bell inequalities based on the choice of two orbits are derived. The classical bound is only dependent on the number of measurements d, but the quantum bound is dependent both on n and d. Even so, when d is large enough, the quantum bound is only dependent on d. The subset of probabilities for four parties based on the choice of six orbits under group action is derived and its violation is described. Restricting the six orbits to three parties by forgetting the last party, and guaranteeing the classical bound invariant, the Bell inequality based on the choice of four orbits is derived. Moreover, all the corresponding nonlocal games are analyzed.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
In recent papers, the theory of representations of finite groups has been proposed to analyzing the violation of Bell inequalities. In this paper, we apply this method to more complicated cases. For two parties, Alice and Bob each make one of d possible measurements, each measurement has n outcomes, the Bell inequalities based on the choice of two orbits are derived. The classical bound is only dependent on the number of measurements, but the quantum bound is dependent both on n and d. Even so, when d is large enough, the quantum bound is only dependent on d. The subset of probabilities for four parties based on the choice of six orbits under group action is derived and its violation is described. Restricting the six orbits to three parties by forgetting the last party, and guaranteeing the classical bound invariant, the Bell inequality based on the choice of four orbits is derived. All the corresponding nonlocal games are analyzed.
In this work we look for novel classes of Bell's inequalities and methods to produce them. We also find their quantum violations including, if possible, the maximum one. The Jordan bases method that we explain in Chapter 2 is about using a pair of certain type of orthonormal bases whose spans are subspaces related to measurement outcomes of incompatible quantities on the same physical system. Jordan vectors are the briefest way of expressing the relative orientation of any two subspaces. This feature helps us to reduce the dimensionality of the parameter space on which we do searches for optimization. The work is published in [24]. In Chapter 3, we attempt to find a connection between group theory and Bell's theorem. We devise a way of generating terms of a Bell's inequality that are related to elements of an algebraic group. The same group generates both the terms of the Bell's inequality and the observables that are used to calculate the quantum value of the Bell expression. Our results are published in [25][26]. In brief, Bell's theorem is the main tool of a research program that was started by Einstein, Podolsky, Rosen [19] and Bohr [8] in the early days of quantum mechanics in their discussions about the core nature of physical systems. These debates were about a novel type of physical states called superposition states, which are introduced by quantum mechanics and manifested in the apparent inevitable randomness in measurement outcomes of identically prepared systems. Bell's huge contribution was to find a means of quantifying the problem and hence of opening the way to experimental verification by rephrasing the questions as limits on certain combinations of correlations between measurement results of spatially separate systems [7]. Thanks to Bell, the fundamental questions related to the nature of quantum mechanical systems became quantifiable [6]. According to Bell's theorem, some correlations between quantum entangled systems that involve incompatible quantities are not allowed by classical mechanics, a feature that is called as "quantum nonlocality". An experimental observation of those correlations, in other words, a violation of the limits imposed by classical physics, implies the correctness of quantum description and invalidates the classical, local realistic models. The first Bell experiments were proposed by Clauser, Horne, Shimony, and Holt, who invented the most famous Bell's inequality [13]. Later, the Aspect experiments were satisfactory enough for the physics community to be conclusive about the validation of quantum mechanics [1][3][4][2]. Ekert's work on applications of quantum nonlocality to communication resulted in the new field of quantum communication and cryptography, and turned the research program into a practical one [20]. Pitowsky showed a method to find all expressions of limitations due to local realism, all Bell's inequalities, for a given physical scenario. He also proved that the problem is, unfortunately, NP-complete and hence as the scenarios get more complex, they also become computationally intractable [33][34]. Therefore, different methods for the solution of special cases of the problem are necessary. Inequalities found for those special cases can be called classes of Bell's inequalities. For example, Werner and Wolf [41] and Collins, Gisin, Linden, Massar, and Popescu [16] found classes that cover a wide range of scenarios. Our work is a similar kind of effort to produce and study new types of Bell's inequalities.
In this work, we study a particular class of Bell inequalities involving only direct equality-comparisons of outcomes. In the bipartite case, the scenario can be interpreted as a natural generalization of full-correlator in- equalities (XOR games) beyond binary outputs. We define the sub-polytope of the local polytope corresponding to this scenario and solve it for several bipartite and multipartite scenarios by leveraging some structural prop- erties. In doing so, we obtain thousands of new tight inequalities, many of which are also facets of the standard local polytope. We also define unanimous Bell inequalities, a particular case of the previous class applied to the multipartite setting in which only full-equality events (all outcomes equal) are considered. We show that such inequalities can always be written as deterministic nonlocal games, and we give a simple multipartite unanimous family and prove its local bound. We show that most of these inequalities admit quantum violations, and we also display aspects of their importance for nonlocality. For instance, we identify examples where such inequalities can act as dimension witnesses, outcome witnesses, witnesses of genuine multipartite nonlocality, as well as being relevant to CHSH. These results show that these simple and elegant inequalities by themselves provide a powerful tool for discovering new Bell inequalities and device-independent witnesses.