Basic logical structures in quantum correlations
Adán Cabello, Lars Eirik Danielsen, Antonio J. López-Tarrida, José R. Portillo
Abstract
We prove that a necessary condition for genuinely quantum correlations is that the structure of relationships of exclusivity between the events tested contains, as induced structures, (i) odd cycles of length 5 or more, and/or (ii) their complements. Family (i) is a well-known family of quantum structures. Family (ii) is identified here as a family of quantum structures. We characterize its maximum classical and quantum values and show that it provides valuable information on the dimension of the system. We show that the present knowledge in graph theory is compatible with/strongly suggests that the quantum correlations of family (i)/(ii) are singled out by the principle that the sum of probabilities of pairwise exclusive events cannot exceed 1.