DDS Users' Guide

DDS (Domain-Driven Solver)
Matlab-based software package for convex optimization problems given in the Domain-Driven form.
If you are looking for Dynamically Dimensioned Search, another DDS in the University of Waterloo, please go to this website.

  • Theory behind the Domain-Driven formulation
  • DDS Users' Guide (pdf), arXiv link for citation.
  • Download and Install DDS software package
  • How to use DDS
  • Type of function/set constraints and their input format
    • Linear Programming (LP) and Second Order Cone Programming (SOCP)
    • Semidefinite Programming (SDP)

    • Constraints of the form \begin{eqnarray} \label{SDP-1} F^i_0+x_1 F^i_1+ \ldots+x_n F^i_n \succeq 0, \ \ \ i=1,\ldots,\ell. \end{eqnarray} where \(F^i_j\)'s are \(n_i\)-by-\(n_i\) symmetric matrices.
    • Quadratic Constraints
    • Direct Sum of 2-dim Convex Sets (including geometric programming and entropy programming)
    • Every inequality of the form \begin{eqnarray} \label{intro-3} \sum_{i=1}^\ell \alpha_i f_i(a_i^\top x + \beta_i) + g^\top x + \gamma \leq 0, \ \ \ a_i, g \in \mathbb R^{n}, \ \ \beta_i, \gamma \in \mathbb R, \ \ i \in \{1,\ldots,\ell\}, \end{eqnarray} where \(\alpha_i \geq 0\) and \(f_i(x)\), \(i \in \{1,\ldots,\ell\}\), can be a univariate convex function such as \(e^x\) or \(\ln(x)\).
    • Epigraph of Matrix Norm (including nuclear norm minimization)
    • Matrix constraints of the form \begin{eqnarray} \label{EO2N-1} && X-UU^\top \succeq 0, \nonumber \\ && X=A_0+\sum_{i=1}^{\ell_1} x_i A_i, \nonumber \\ && U=B_0+\sum_{i=1}^{\ell_2} u_i B_i, \end{eqnarray} where \(A_i\), \(i \in \{0,\ldots,\ell_1\}\), are \(m\)-by-\(m\) symmetric matrices, and \(B_i\), \(i \in \{0,\ldots,\ell_2\}\), are \(m\)-by-\(n\) matrices.
    • Quantum Entropy
    • Quantum entropy constraints of the form \begin{eqnarray} \label{eq:QE-1} % &\min& c^\top x \nonumber \\ f(F^i_0+x_1 F^i_1+ \cdots+x_n F^i_n) \leq g_i^\top x+d_i, \ \ \ i\in\{1,\ldots,\ell\}, \end{eqnarray} where \(f(X):=\text{TR}(X\ln(X))\), and \(F^i_j\)'s are \(n_i\)-by-\(n_i\) symmetric matrices.
    • Hyperbolic Optimization
    • Constraints of the form \[ p(Ax+b) \geq 0, \] where \(p(x)\) is a hyperbolic polynomial.