







BooleBellType inequalities in Mathematica






Organization:  Atominstitut der Österreichischen Universitäten 






20031001






The violation of Belltype inequalities by the quantum probabilities represents an important aspect of quantum mechanics which is linked to the mindboggling quantum features of nonlocality, complementarity and contextuality. Formally, such bounds on the classical probabilities from consistency arguments have already been investigated by Boole in the middle of the nineteenth century, termed "conditions of possible experience". BooleBelltype inequalities can be found via correlation polytopes introduced by I. Pitowsky by utilizing the MinkowskiWeyl representation theorem and solving the hull problem. We introduce CddIF, a Mathematica package to compute all the BooleBelltype inequalities associated with an arbitrary physical setup. This package acts as an interface between Mathematica and the cdd program by Komei Fukuda, which represents a highly efficient method to solve the hull problem for general classical correlation polytopes. A manual how to use this package is available at the eprint archive: quantph/0105083. All files necessary to process CddIF in an MS Windows environment can be found here.












Bell inequalities, correlation polytopes, MinkowskyWeyl representation theorem, probability theory












 cddif.m (36.5 KB)  Mathematica Package 

