Example Gallery: The NPA hierarchy #1255
Description
We should have a stand-alone example gallery to showcase the NPA hierarchy, as this is an optimization technique that is useful for calculating values of things like Bell inequalities, nonlocal games, extended nonlocal games, etc.
The tutorial should provide a high-level introductory overview and provide relevant references to the NPA hierarchy.
Some obvious reference links could include:
A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
The hierarchy of Navascues, Pironio, and Acin (by John Watrous)
Extended Nonlocal Games (Chapter 5) which describes how the hierarchy can be generalized to extended nonlocal games
It would be good to showcase some simple usages of the hierarchy and some intuition for why and how it works.