1
$\begingroup$

$A \lambda A^{T} $ (quadratic form?) is used with matrices to check definiteness. What about with vectors? If I see conditions such as $\bar{x} > 0$, how can I know whether it means $\bar{x}_{i} > 0 \quad \forall i \in I$ or $\bar{x}:=\bar{x} \lambda \bar{x}^{T}>0$?

I am trying to understand the conditions in the standard form integer optimization problem where I see such cases:

$ \text{minimize }\ \ \bar{c}^{T}\bar{x} + \bar{d}^{T}\bar{y}$

so that $A\bar{x} + B\bar{y} = b$ $\bar{x}, \bar{y} \geq 0$ and $\bar{y}$ is continuous.

  • 0
    @anon: I am trying to translate the lecture slide 3 into English [here](https://noppa.aalto.fi/noppa/kurssi/mat-2.3140/luennot/Mat-2_3140_luento_2.pdf). Originally, they apparently mean that $x \in \mathbb Z$ but I see no point otherwise to transpose the other vars such as $\bar{c}$. So I think they mean $\bar{x} \in \mathbb Z^{n}$. Anyway this is apparently copycatted from Introduction to Linear Optimization -book, have to get it to understand the definition here. I think it should be some standard def for ILO problem.2011-09-22

1 Answers 1

2

In the context of linear (or mixed integer) programming the inequality $x\geq 0$ is always meant in the "componentwise" sense, i.e. $x_i\geq 0$ for all $i$.

Note that for matrices one has to be even more cautious as there are the notions of "positive definite" (of denoted by $A\succ 0$), "positive" or even "total positive", which are all different.

In the context of semidefinite programming one often has both positivity constraints for vectors (something denoted by $Ax\geq 0$) and constraints on positive semidefiniteness (something denoted by $B\succcurlyeq 0$).