A new property of the Lovász number and duality relations between graph parameters
Authors:
Antonio Acín,
Runyao Duan,
David E. Roberson,
Ana Belén Sainz,
Andreas Winter
Abstract:
We show that for any graph $G$, by considering "activation" through the strong product with another graph $H$, the relation $α(G) \leq \vartheta(G)$ between the independence number and the Lovász number of $G$ can be made arbitrarily tight: Precisely, the inequality \[
α(G \times H) \leq \vartheta(G \times H) = \vartheta(G)\,\vartheta(H) \] becomes asymptotically an equality for a suitable seque…
▽ More
We show that for any graph $G$, by considering "activation" through the strong product with another graph $H$, the relation $α(G) \leq \vartheta(G)$ between the independence number and the Lovász number of $G$ can be made arbitrarily tight: Precisely, the inequality \[
α(G \times H) \leq \vartheta(G \times H) = \vartheta(G)\,\vartheta(H) \] becomes asymptotically an equality for a suitable sequence of ancillary graphs $H$.
This motivates us to look for other products of graph parameters of $G$ and $H$ on the right hand side of the above relation. For instance, a result of Rosenfeld and Hales states that \[
α(G \times H) \leq α^*(G)\,α(H), \] with the fractional packing number $α^*(G)$, and for every $G$ there exists $H$ that makes the above an equality; conversely, for every graph $H$ there is a $G$ that attains equality.
These findings constitute some sort of duality of graph parameters, mediated through the independence number, under which $α$ and $α^*$ are dual to each other, and the Lovász number $\vartheta$ is self-dual. We also show duality of Schrijver's and Szegedy's variants $\vartheta^-$ and $\vartheta^+$ of the Lovász number, and explore analogous notions for the chromatic number under strong and disjunctive graph products.
△ Less
Submitted 5 February, 2016; v1 submitted 6 May, 2015;
originally announced May 2015.
A Combinatorial Approach to Nonlocality and Contextuality
Authors:
Antonio Acín,
Tobias Fritz,
Anthony Leverrier,
Ana Belén Sainz
Abstract:
So far, most of the literature on (quantum) contextuality and the Kochen-Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism for contextuality scenarios based on the combinatorics of hypergraphs which significantly refines a similar recent approach by Cabello, Severini and Winter (CSW). In contrast to…
▽ More
So far, most of the literature on (quantum) contextuality and the Kochen-Specker theorem seems either to concern particular examples of contextuality, or be considered as quantum logic. Here, we develop a general formalism for contextuality scenarios based on the combinatorics of hypergraphs which significantly refines a similar recent approach by Cabello, Severini and Winter (CSW). In contrast to CSW, we explicitly include the normalization of probabilities, which gives us a much finer control over the various sets of probabilistic models like classical, quantum and generalized probabilistic. In particular, our framework specializes to (quantum) nonlocality in the case of Bell scenarios, which arise very naturally from a certain product of contextuality scenarios due to Foulis and Randall. In the spirit of CSW, we find close relationships to several graph invariants. The recently proposed Local Orthogonality principle turns out to be a special case of a general principle for contextuality scenarios related to the Shannon capacity of graphs. Our results imply that it is strictly dominated by a low level of the Navascués-Pironio-Acín hierarchy of semidefinite programs, which we also apply to contextuality scenarios.
We derive a wealth of results in our framework, many of these relating to quantum and supraquantum contextuality and nonlocality, and state numerous open problems. For example, we show that the set of quantum models on a contextuality scenario can in general not be characterized in terms of a graph invariant.
In terms of graph theory, our main result is this: there exist two graphs $G_1$ and $G_2$ with the properties \begin{align*} α(G_1) &= Θ(G_1), & α(G_2) &= \vartheta(G_2), \\[6pt] Θ(G_1\boxtimes G_2) & > Θ(G_1)\cdot Θ(G_2),& Θ(G_1 + G_2) & > Θ(G_1) + Θ(G_2). \end{align*}
△ Less
Submitted 12 January, 2015; v1 submitted 17 December, 2012;
originally announced December 2012.
