Table of Contents
Fetching ...

Impossibility Theorem for Extending Contextuality to Disturbing Systems

Alisson Tezzin, Elie Wolfe, Barbara Amaral, Matt Jones

TL;DR

It is proved that such an endeavor cannot simultaneously satisfy the following principles: any deterministic system is noncontextual; any deterministic system is noncontextual; discarding information cannot turn a noncontextual system into a contextual one; classical post-processing cannot create contextuality; and the joint realization of two statistically independent noncontextual systems is noncontextual.

Abstract

Recently there has been much interest and progress in extending the definition of contextuality to systems with disturbance. We prove that such an endeavor cannot simultaneously satisfy the following principles: (1) any deterministic system is noncontextual; (2) discarding information cannot turn a noncontextual system into a contextual one; (3) classical post-processing cannot create contextuality; (4) the joint realization of two statistically independent noncontextual systems is noncontextual. We also prove the same result without principle 4, under a stronger version of principle 1.

Impossibility Theorem for Extending Contextuality to Disturbing Systems

TL;DR

It is proved that such an endeavor cannot simultaneously satisfy the following principles: any deterministic system is noncontextual; any deterministic system is noncontextual; discarding information cannot turn a noncontextual system into a contextual one; classical post-processing cannot create contextuality; and the joint realization of two statistically independent noncontextual systems is noncontextual.

Abstract

Recently there has been much interest and progress in extending the definition of contextuality to systems with disturbance. We prove that such an endeavor cannot simultaneously satisfy the following principles: (1) any deterministic system is noncontextual; (2) discarding information cannot turn a noncontextual system into a contextual one; (3) classical post-processing cannot create contextuality; (4) the joint realization of two statistically independent noncontextual systems is noncontextual. We also prove the same result without principle 4, under a stronger version of principle 1.
Paper Structure (3 sections, 9 theorems)

This paper contains 3 sections, 9 theorems.

Key Result

Theorem 1

KS contextuality satisfies Determinism, Deterministic Redundancy, Nestedness, Coarse-graining, Post-Processing, and Independence (Axioms ax: determinism, ax: deterministicRedundancy, ax: Nestedness, ax: Coarse-graining, ax: post-processing, ax: independence).

Theorems & Definitions (19)

  • Example 1: Behavior
  • Example 2: Logically equivalent encodings
  • Theorem 1
  • Theorem 2
  • proof
  • Theorem 3
  • proof
  • Lemma 1
  • proof
  • Lemma 2
  • ...and 9 more