CV systems are hard to get started with, but the package Strawberry Fields provides a nice framework and a perhaps even nicer documentation for beginners. Here we study a simple variant of the CHSH inequality in the CV setting.
Posts tagged: Noncommutative polynomials
Verifying continuous-variable Bell correlations
Relaxations of parametric and bilevel polynomial optimization problems
Semidefinite programming relaxations of polynomial optimization problems of commuting variables with moment constraints, parametric and bilevel variants.
Optimal randomness generation from entangled quantum states
Optimal randomness generation from entangled quantum states: computational appendix to arXiv:1505.03837.
Detecting a rank loop in the NPA hierarchy
It is possible to detect a rank loop in the hierarchy of SDP relaxations of polynomial optimization problems, but an arbitrary-precision SDP solver is recommended.
Generating noncommutative monomials with SymPy
A Python solution to generate monomials of noncommutative variables.