All Clauser–Horne–Shimony–Holt polytopes

The correlations that admit a local hidden-variable model are described by a family of polytopes, whose facets are the Bell inequalities. The Clauser–Horne–Shimony–Holt (CHSH) inequality is the simplest such Bell inequality and is a facet of every Bell polytope. We investigate for which Bell polytopes the CHSH inequality is also the unique (non-trivial) facet. We prove that the CHSH inequality is the unique facet for all bipartite polytopes where at least one party has a binary choice of dichotomic measurements, irrespective of the number of measurement settings and outcomes for the other party. Based on numerical results, we conjecture that it is also the unique facet for all bipartite polytopes involving two measurements per party where at least one measurement is dichotomic. Finally, we remark that these two situations can be the only ones for which the CHSH inequality is the unique facet, i.e., any polytope that does not correspond to one of these two cases necessarily has facets that are not of the CHSH form. As a byproduct of our approach, we derive a new family of facet inequalities. This article is part of a special issue of Journal of Physics A: Mathematical and Theoretical devoted to ‘50 years of Bell’s theorem’.