arXiv++ Combinatorics

Mermin square scenario provides a simple proof for state-independent contextuality. In this paper, we study polytopes $\text{MP}_β$ obtained from the Mermin scenario, parametrized by a function $β$ on the set of contexts. Up to combinatorial isomorphism, there are two types of polytopes $\text{MP}_0$ and $\text{MP}_1$ depending on the parity of $β$. Our main result is the classification of the vertices of these two polytopes. In addition, we describe the graph associated with the polytopes. All the vertices of $\text{MP}_0$ turn out to be deterministic. This result provides a new topological proof of a celebrated result of Fine characterizing noncontextual distributions on the CHSH scenario. $\text{MP}_1$ can be seen as a nonlocal toy version of $Λ$-polytopes, a class of polytopes introduced for the simulation of universal quantum computation. In the $2$-qubit case, we provide a decomposition of the $Λ$-polytope using $\text{MP}_1$, whose vertices are classified, and the nonsignaling polytope of the $(2,3,2)$ Bell scenario, whose vertices are well-known.

An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold. We introduce the diagonal Vasquez invariant of $G$ as the least integer $n_d(G)$ such that every flat manifold of diagonal type with holonomy $G$ fibers over a flat manifold of dimension at most $n_d(G)$ with flat torus fibers. Using a combinatorial description of Bieberbach groups of diagonal type, we give both upper and lower bounds for this invariant. We show that the lower bounds are exact when $G$ has low rank. We apply this to analyse diffuseness properties of Bieberbach groups of diagonal type. This leads to a complete classification of Bieberbach groups of diagonal type with Klein four-group holonomy and to an application to Kaplansky's Unit Conjecture.