0
$\begingroup$

According to the Mosek documentation, Geometric Programming constraints of form log-sum-exp can be formulated with exponential cones. If the constraint is of form $$t \geq \log(\exp(x_1)+\ldots + \exp(x_n)), $$

we can write the constraint as $$\begin{cases} \sum_{i=1}^n u_i \leq 1 \\ (u_i,1,x_i-t) \in \mathcal{K}_{\exp} \ \forall i \end{cases}$$ where $\mathcal{K}_{\exp}$ stands for the exponential cone, defined as: $$ \mathcal{K}_{\exp} = \{(a_1,a_2,a_3):a_1 \geq a_2 e^{a_3 / a_2}, a_2>0 \}\cup \{(a_1,0,a_3): a_1 \geq 0, a_3 \leq 0 \}$$ So, to be able to use it in the above re-formulation we can show that this cone consists of points which satisfy $a_3 \leq a_2\log (a_1/a_2), a_1,a_2 > 0.$

My case is slightly different. Let $f:\mathbb{R}^n \mapsto \mathbb{R}$ be defined as $f(\mathbf{x}) = \log(\exp(x_1)+\ldots + \exp(x_n))$. The perspective of $f$ can be shown as $x_0f(\frac{x}{x_0})$ where $x_0 > 0$. The constraint I have is: $$t \geq x_0 f\left(\frac{x}{x_0}\right).$$ So I have the same constraint with the perspective function. How can I formulate this constraint with exponential cones (and linear constraints in the variables)? Note that in my constraint $t$ is a variable, too.

$\endgroup$
  • 2
    $\begingroup$ Can you please include the definition of $\mathcal{K}_\text{exp}$ in your question? This is both a legitimate request... and a hint :-) $\endgroup$ – Michael Grant Feb 4 at 5:15
  • 1
    $\begingroup$ Also, note that $x_0>0$ is required if the perspective is to preserve convexity. $\endgroup$ – Michael Grant Feb 4 at 5:17
  • $\begingroup$ Added both. Thank you so much! Are there any leads for the next? I am planning to use Mosek Exponential Cone solver (version 9). So, I need to re-formulate this constraint. $\endgroup$ – independentvariable Feb 4 at 19:41
  • 1
    $\begingroup$ Why not just define new variables with the linear constraints $s=\frac{t}{x_0}$ and $\omega=\frac{x}{x_0}$? Then your constraint is $s\geq f(\omega)$, as required. $\endgroup$ – nathan.j.mcdougall Feb 5 at 2:21
  • $\begingroup$ Thank you @nathan.j.mcdougall . I think I solved it with a similar idea! $\endgroup$ – independentvariable Feb 5 at 3:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.