lasserre-hierarchy

Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes Lasserre's Relaxation method to handle theoretically any optimization problem with bounded feasibility set. The method is based on solutions of generalized truncated moment problems over commutative real algebras.

Certified computational study of the gap shape of degree-4 sum-of-squares relaxations of unique games. A null result on the main question, two proved theorems on Paley graphs, and a structural determination of the degree-4 extension. Fully reproducible: 132 checks, 0 mismatches.