# Tagged Questions

26 views

24 views

### Prove or disprove a statement about testing the convexity of a set using the vertices

Assume we are working in $\mathbb R^d$. Let $A=\text{Conv}(V)$, the convex hull of $V$. Also $B=\text{Conv}(W)$. I am in a situation where I can prove the following: the line segment joining $v$ and ...
59 views

30 views

24 views

### Converting a Probability constraint to a Norm constraint

Let $\mathbf{z}$ be a $N\times 1$ complex vector. Let $\mathbf{u}$ be a $N\times 1$ random Gaussian vector whose entries are i.i.d with zero mean and $\sigma^2$ variance. Consider the following ...
30 views

### What is first edge position in the Minkowski sum of two convex polygons in the plane?

I am trying to understand the informal algorithm of the Minkowski sum of two convex polygons in the plane as described here: ...
33 views

### Need an analytic expression to find the index of the first positive element of an array

I have an array of length M. The elements of the array are either zero or positive real numbers. I need to derive a function/analytic expression (preferably linear/convex/concave) that finds the index ...
64 views

### alternative definition of Affine map

Let $f:X\longrightarrow Y$ be a function on real vector spaces (note that $X,Y$ have arbitrary dimensions). If $T(x)=f(x)-f(0)$ is linear, $f$ is called an affine map. Prove that $f$ is affine if ...
87 views

### Help prove a lemma similar to Fredholm alternative (linear algebra / convex optimization)

I was asked to help with a proof of a lemma similar to Fredholm alternative. It looks too similar so I think it may be wrong - could you please advise whether it is true and hint how to prove it? The ...
50 views

### convexity in oriented matroid theory

I would like to try to solve the following problems. If someone knows how to prove at least part (a), could you show me the proof? I am having a LOT of trouble understanding oriented matroid theory. ...
56 views

### Is this function convex or concave?

I have a function, $f(x_{0},x_{1},......x_{n})=\sum^{n-1}_{i=0}A_{i}r^{-(x_{i}+x_{i+1})}-B$ $A_{i} >0$ for all $i$ and $B>0$ and $1 \leq r \leq 2$ so above function is convex or concave? ...
43 views

### Does a discrete set of points in $\mathbb{R}^{n}$ define a locally finite collection of hyperplanes?

Let $v_{1},v_{2},...$ be a discrete set of non-zero vectors in $\mathbb{R}^{n}$. By discrete, I mean that any $v_{i}$ is surrounded by an $\epsilon$-ball not containing any other point $v_{j}$. ...
35 views

### Effect of Moving within the Feasible Region

$f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a concave function with local maximum at $\mathbf{x}^*$ in a convex, closed feasible set $\mathcal{F}\subset\mathbb{R}^n$. Now consider a suboptimal point ...
91 views

417 views

78 views

### Help with a proof of a theorem about convex sets

I'm studying the following theorem: Theorem 1. Let $C$ be a convex set and let $\textbf{y}$ be a point exterior to the closure of $C$. Then there is a vector $\textbf{a}$ such that ...
128 views

### optimizing a logdet function with respect to a scalar and the Hessian matrix

Given a logdet function $\mathcal{L}(\gamma)$, $$\mathcal{L}(\gamma) = \log\vert \mathbf{I} + \gamma\mathbf{S} \vert - \mathbf{q}^T(\gamma^{-1}\mathbf{I} + \mathbf{S})^{-1} \mathbf{q},$$ where ...
181 views

### Optimize a log det function with respect to a matrix, and the saddle point analysis

Suppose I want to to find the local minima of a logdet function $\mathcal{L}$ with respect to a Matrix $\mathbf{A}$,  \mathcal{L} = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - ...
195 views

### Characterisation of linearly separable points of a hypercube

Essentially, linearly separable points are just those corners that can be cut off with just one slice as marked out by a hyperplane. E.g. for a cube, the following 4 points (red) are not linearly ...
16 views

### Let $Ax = b$ be a system of hyper-planes that form a bounded convex $D$. Can $D$ be partitioned into union of adjacent simplices?

Let $Ax = b$ be linear system that forms $q$ bounded region $D$. If the columns of $A$ are independent, can $D$ be written as a union of adjacent simplices?
70 views

### Does convex and radially open imply open?

I want to show that a convex set $A$ is radially open iff $A\cap W$ is open in W, for every finite dimensional linear subspace. Here the 'openness' we are talking about is from any normed space. ...
### Prove that for every $f$ in $H$, the sequence $u_n$ which is the projection of $f$ on $K_n$ converges to a limit
$K_n$ is non-increasing sequence of closed convex sets in Hilbert space $H$ such that the intersection of $K_n$ is different from emptiness. Prove that for every $f \in H$, the sequence $u_n$ which is ...