The Goemans-Linial relaxation is a semidefinite programming optimization relaxation
of sparsest cut. For uniform
sparsest cut of a graph on
vertices, let
be nonnegative capacities
on unordered pairs and assign vectors
to the vertices.
Put
,
the squared Euclidean distance. The relaxed
optimum is
subject to
and all triangle inequalities
. Distinct vertices
may have zero distance. For a cut
with part
,
taking
on separated pairs and 0 on the other pairs is feasible, so
, the uniform
sparsest cut optimum.