Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Boole-Bell-type inequalities in Mathematica

S. Filipp
Organization: Atominstitut der Österreichischen Universitäten
K. Svozil
Organization: Institut für Theoretische Physik

2003 International Mathematica Symposium
Conference location

Imperial College, London

The violation of Bell-type inequalities by quantum probabilities represents an important aspect of quantum mechanics which is linked to the mind-boggling 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. Boole called them "conditions of possible experience." We introduce CddIF, a Mathematica package to compute all the Boole-Bell-type inequalities associated with an arbitrary physical setup. We have also computed with Mathematica the tractable special cases of two particles with up to three possible detection angles per particle, and the three-particle/two directions (Greenberger-Horne-Zeilinger) case.

*Mathematics > Foundations of Mathematics > Logic
*Science > Physics > Quantum Physics

Boole-Bell-type inequalities, quantum probabilities, quantum mechanics, nonlocality, complementarity, contextuality, CddIF
Related items

*Boole-Bell-type inequalities in Mathematica   [in Articles]
*Boole-Bell-Type inequalities in Mathematica   [in MathSource: Packages and Programs]
*Challenging the Boundaries of Symbolic Computation: Proceedings of the 5th International Mathematica Symposium   [in Books]