Boole-Bell-type inequalities in Mathematica
Abstract
Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of polytopes are Boole's ``conditions of possible experience.'' Many of these inequalities have been discussed in the context of Bell's inequalities. We introduce CddIF, a Mathematica package created 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.
Cite
@article{arxiv.quant-ph/0105083,
title = {Boole-Bell-type inequalities in Mathematica},
author = {Stefan Filipp and Karl Svozil},
journal= {arXiv preprint arXiv:quant-ph/0105083},
year = {2009}
}
Comments
29 pages, all files necessary to process Mathematica in an MS Windows environment are at http://tph.tuwien.ac.at/~svozil/cdd/, the original cdd package is at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html