rectification; Abhyankar-Sathaye embedding problem; variable polynomial optimization; sum of squares; semidefinite programming; moment problem; Hankel matrix; flat extension; GNS construction; noncommutative polynomial; trace 