No he podido encontrar en la literatura una caracterización precisa de la desaparición de la brecha de dualidad SDP. O, ¿cuándo se mantiene la "dualidad fuerte"?
Por ejemplo, cuando uno va y viene entre Lasserre y SOS SDP, en principio uno tiene una brecha de dualidad. Sin embargo, de alguna manera parece haber alguna razón "trivial" por la cual esta brecha no existe.
La condición de Slater parece ser suficiente pero no necesaria y se aplica a todos los programas convexos. Espero que para los SDP en particular, algo más fuerte sea cierto. Me encantaría ver cualquier ejemplo explícito del uso de la condición de Slater para demostrar la desaparición de la brecha de la dualidad.