A Cheatsheet on Primal-Dual Problems

Table of content

    Explicit Duals

    (Fenchel Duality) Consider the optimization problem $$ \begin{array}{ll} \displaystyle \min_x \ & f(x) \\ \text{s.t.} \ & g(x) \le 0, \\ & h(x) = 0. \end{array} $$ Its dual problem is $$ \begin{array}{ll} \displaystyle \max_{\lambda, \mu} \ & - ( f + \lambda^\top g + \mu^\top h )^*(0) \\ \text{s.t.} \ & \lambda\ge 0, \end{array} $$ which, assuming \( h(x) := Ax - b \), can be re-written as $$ \begin{array}{ll} \displaystyle \max_{\lambda,\mu,u} \ & \displaystyle -f^*(u^0) - \sum_{i=1}^m \lambda_i g_i^*\left( \frac{u^i}{\lambda_i} \right) + b^\top \mu \\ \text{s.t.} \ & \displaystyle \sum_{i=0}^m u^i + A^\top\mu = 0, \\ & \lambda\ge 0. \end{array} $$
    (QP Duality) Consider the QP $$ \begin{align} \min_x \ & \frac 12 x^\top Q x + c^\top x \\ \text{s.t.} \ & Ax = b, \\ & x\ge 0. \end{align} $$ Its dual problem is $$ \begin{align} \max_{x,\lambda,\mu} \ & b^\top \lambda - \frac 12 x^\top Q x \\ \text{s.t.} \ & A^\top \lambda + \mu = c + Qx, \\ & \mu\ge 0. \end{align} $$ If, moreover, \( Q \) is invertible, the dual can be re-written as $$ \begin{align} \max_{\lambda, \mu} \ & b^\top \lambda - (A^\top\lambda + \mu - c)^\top Q (A^\top\lambda + \mu - c) \\ & \mu \ge 0. \end{align} $$
    (Conic Duality) Consider the conic program $$ \begin{array}[t]{ll} \displaystyle \min_x \ & c^Tx \\ \textrm{s.t. } & Ax - b \in K. \end{array} $$ Its dual problem is $$ \begin{array}[t]{ll} \displaystyle \max_\lambda \ & b^T\lambda \\ \textrm{s.t. } & A^T\lambda = c \\ & \lambda\in K^*, \end{array} $$ in which \(K^*\) denotes the dual cone of \( K \).