= Solution
For fixed $y$, $s=c-A^Ty$ is fixed. The relaxed inequality and $\theta\geq0$ say precisely
$$
\theta\geq\sqrt{s^TQ^{-1}s}.
$$
The objective $b^Ty-\theta$ strictly decreases with $\theta$, so its best choice is always equality. Replacing any feasible relaxed point by that choice preserves feasibility and improves or leaves unchanged the objective. Conversely every point satisfying equality is feasible for the relaxed problem. Thus \b[the two dual formulations have the same optimal value and the same optimal $y,s$], with equality at any optimizer.
This algebraic equivalence in fact does not require <Slater's condition>. Under the stipulated condition, <strong duality> additionally identifies their attained optimum with the primal optimum. With $Q^{-1/2}s$ as a linear coordinate, the relaxed constraint is $\|Q^{-1/2}s\|_2\leq\theta$, so the relaxed formulation is a <second-order cone program>.
Back to article page
