25,139 research outputs found

    Basic exclusivity graphs in quantum correlations

    Get PDF
    A fundamental problem is to understand why quantum theory only violates some noncontextuality (NC) inequalities and identify the physical principles that prevent higher-than-quantum violations. We prove that quantum theory only violates those NC inequalities whose exclusivity graphs contain, as induced subgraphs, odd cycles of length five or more, and/or their complements. In addition, we show that odd cycles are the exclusivity graphs of a well-known family of NC inequalities and that there is also a family of NC inequalities whose exclusivity graphs are the complements of odd cycles. We characterize the maximum noncontextual and quantum values of these inequalities, and provide evidence supporting the conjecture that the maximum quantum violation of these inequalities is exactly singled out by the exclusivity principle.Comment: REVTeX4, 7 pages, 2 figure

    A characterization of b-chromatic and partial Grundy numbers by induced subgraphs

    Full text link
    Gy{\'a}rf{\'a}s et al. and Zaker have proven that the Grundy number of a graph GG satisfies Γ(G)≥t\Gamma(G)\ge t if and only if GG contains an induced subgraph called a tt-atom.The family of tt-atoms has bounded order and contains a finite number of graphs.In this article, we introduce equivalents of tt-atoms for b-coloring and partial Grundy coloring.This concept is used to prove that determining if φ(G)≥t\varphi(G)\ge t and ∂Γ(G)≥t\partial\Gamma(G)\ge t (under conditions for the b-coloring), for a graph GG, is in XP with parameter tt.We illustrate the utility of the concept of tt-atoms by giving results on b-critical vertices and edges, on b-perfect graphs and on graphs of girth at least 77

    Claw-free t-perfect graphs can be recognised in polynomial time

    Full text link
    A graph is called t-perfect if its stable set polytope is defined by non-negativity, edge and odd-cycle inequalities. We show that it can be decided in polynomial time whether a given claw-free graph is t-perfect
    • …
    corecore