The Set of Quantum Behaviors

Abstract

Part II is devoted to the applied side of nonlocality: device-independent certification of quantumness. After an introduction to this idea, the first chapter deals with the characterisation of the set of quantum behaviors. Since this set is not easily parametrised, in practice one often works with outer approximations, membership of which can be cast as a semi-definite program.