The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
1answer
462 views

Tverberg partitions with less than (r-1)(d+1)+1 points

The Tverberg Theorem states the following: Let $x_1,x_2,\dots, x_m$ be points in $R^d$ with $m \ge (r-1)(d+1)+1$. Then there is a partition $S_1,S_2,\dots, S_r$ of $\{1,2,\dots,m\}$ such that $\cap ...
2
votes
0answers
254 views

Erdős-Szekeres empty pseudoconvex $k$-gons

I am wondering if the Erdős-Szekeres empty convex $k$-gon question has a different answer if convexity is replaced by a pseudoline-version of convexity. The empty convex $k$-gon question is a variant ...
1
vote
0answers
107 views

Mappings preserving convex compactness

Let $H$ be a Hilbert space. How can one describe continuous mappings $F:H \to H$ that satisfy the following condition: There exist two elements $c$, $F(c) \neq c$ and a convex compact $M$ containing ...
6
votes
3answers
1k views

A criterion for the sum of two closed sets to be closed ?

Let $V$ and $I$ be two closed subsets of a Banach space $A$. The set $V$ is a convex cone, and $I$ is a linear subspace of $A$. I also know that $V\cap I=\{0\}$. I would like to know whether $I+V$ ...
21
votes
1answer
490 views

The maximal “nearly convex” function

The following problem is only tangently related to my present work, and I do not have any applications. However, I am curious to know the solution -- or even to see a lack thereof, indicating that the ...
4
votes
1answer
343 views

Generalized widths and reverse Urysohn inequalities

This question is inspired by the discussion in MO questions "Local minimum from directional derivatives in the space of convex bodies" and "Bodies of constant width?" about generalized notions of ...
5
votes
0answers
272 views

Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...
3
votes
0answers
162 views

Characterizing curves that bound strictly convex regions

Consider a closed curve on the plane so that if we perform any translation and dilation on it, the resulting curve intersects the original curve at most twice. Does this property characterize the ...
6
votes
2answers
318 views

Volume inequality between projections of a convex symmetric set in $\mathbb R^3$

Let $K$ be a centrally symmetric convex body in $\mathbb R^3$ with volume ${\rm vol}(K)=1$. For any subset $F \subset \lbrace1,2,3\rbrace$, let $K_F$ be the projection of $K$ in $\mathbb R^F$. ...
8
votes
1answer
977 views

Extreme points of a set of probability measures

Consider the set of Borel-measurable probability measures over the interval $[0,1]$ with a given mean, say 1/2. To be precise, I'm talking about the following set $$M=\left(\mu\in \Delta([0,1]):\int ...
1
vote
1answer
553 views

Shift invariant measures that are(n't) convex combinations of ergodic measures

Let $X=2^\omega = \lbrace 0,1 \rbrace^{\mathbb{N}}$ and $T\colon X \to X$ the (left) shift map. The space $\mathcal{M}$ of $T$-invariant Borel probability measures is convex with $\mathcal{M}^e$, the ...
2
votes
1answer
438 views

minimizing functions over simple matrix inequalities

I'm wondering if anything is known about minimizing convex, not necessarily linear functions subject to "simple" matrix equalities. To be precise, consider the following example: $min \Sigma x_i ln ...
4
votes
0answers
165 views

Is it possible to solve the argument maximization problem $\arg\max_x \langle x,l \rangle −f_1(x)−f_2(x)$ via convex duality?

I am attempting to solve the argument maximization problem $$\arg\sup_x \{ \langle x,l \rangle − f_1(x)−f_2(x) \} \ \ \ \ \ \ \ \ \ \ (1)$$ where the functions $f_1$ and $f_2$ are concave but ...
2
votes
1answer
139 views

Spline fit with bounded derivations

How can I do a Spline Fit with bounds on some derivations? Problem Given: Set of data points $t_k, x_k$ Set of nodes $n_i$ order $D$ of the spline (in my case $D=5$) lower and upper bounds ...
10
votes
1answer
385 views

convexity of images of space-filling curves

Suppose $f:[0,1]\to[0,1]^2$ is continuous and for each $t\in[0,1]$, the area of $\lbrace f(s) : 0\le s\le t \rbrace$ is $t$. For what sets of values of $t\in[0,1]$ can $\lbrace f(s) : 0\le s\le t ...
8
votes
2answers
916 views

Does a notion of convex graph make sense?

Let $X=(V,E)$ be a finite connected graph. I would be interested in some notion of convexity. General question: Is there a notion of convexity for finite connected graphs? How does it look like? ...
3
votes
1answer
532 views

Java library for SDP [closed]

People who frequently code semi definite programs, is there any java library for solving sdps? I have tried my luck but all I can find is C/C++ libraries or matlab toolboxes. I can write wrappers to ...
4
votes
2answers
641 views

gradient of convex functions

Hello. Can somebody help me with the following question that I have thought over for quite some time, to no avail? Let $f$ be a smooth function (class $\mathrm{C}^{\infty}$), $f:\mathbb{R}^n ...
13
votes
2answers
3k views

Weighted area of a Voronoi cell

Let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = [0,1]\times[0,1]$, and let $w = \{w_1,\dots,w_n\}$ denote a set of weights corresponding to the $n$ points in $X$. ...
3
votes
1answer
236 views

Signed measure that is positive over convex sets

I have a signed measure $\mu$ on a convex subset $C\subset \mathbb{R}^n$, and I want to prove that $\mu$ is a probability measure, most importantly that it is positive everywhere. I do know that ...
2
votes
0answers
146 views

Minimally 6-connected 3D discrete lines that are convex lattice sets

There are several definitions of 3D discrete lines, e.g. http://diwww.epfl.ch/w3lsp/publications/discretegeo/nratddl.html , http://dx.doi.org/10.1007/978-3-642-19867-0_4 . However, I know of none that ...
3
votes
2answers
211 views

Does the automorphism group of a cone determine the cone?

A cone is a $R_+$-module. That is, a cone is an abelian monoid that is closed under nonnegative real scalar multiplication. An automorphism of a cone is a bijective $R_+$-linear map. That is a map ...
2
votes
1answer
282 views

Linear and Isometric Automorphism Groups of the PSD Cone

Let $S_+$ be the cone of psd matrices ($n\times n$ real symmetric positive semidefinite matrices). This cone is a metric space induced from the inner product $\langle A,B\rangle = tr (AB)=tr(BA)$. ...
11
votes
1answer
425 views

Status of the compact AR problem?

The so-called "compact AR Problem" reads: Is every compact convex set in a metrizable topological vector space an absolute retract? It is open according to the chapter by T. Banakh, R. Cauty ...
2
votes
2answers
581 views

Finding smallest ellipsoid that circumscribes over intersection of two ellipsoids that do not have common center

Does this already exist in literature? The closest Ive been able to find is circumscribe intersection of two ellipsoids with a common center by W. Kahan ...
2
votes
1answer
1k views

How do I optimize over (or take derivative wrt) a square diagonal matrix?

Hello. I'd like to solve the following optimization problem. $P_i$ is a 6x6 matrix $X$, $Y$ is a 6xk matrix $w_i$ is a kx1 vector $diag(w_i)$ is a square diagonal matrix with diagonal entries equal ...
0
votes
1answer
160 views

Can extremal matrices of subcones of psd matrices have low rank?

Let $S$ be the cone of positive semidefinite symmetric real matrices of size $n\times n$. The cone $S$ spans a $d:=n(n+1)/2$ dimensional vector space. Let $C\subset S$ be a subcone formed by ...
3
votes
2answers
510 views

Is a solution of a linear system of semidefinite matrices a convex combination of rank 1 solutions?

The cone of symmetric positive semidefinite $n\times n$ matrices is the convex hull of rank $1$ matrices. That is, every symmetric positive semidefinite matrix is a convex combination of rank 1 ...
7
votes
0answers
243 views

Are plactic classes convex under the right weak Bruhat order?

For those who are unfamiliar with the terminology, I'll explain a little. The symmetric group $S_n$, as a type A Coxeter group, has generators $\{s_1,\ldots,s_{n-1}\}$ with relations (1) $s_i^2$ for ...
3
votes
2answers
465 views

Surface fitting with convexity requirement

Hi all, Consider a cloud of points in 3D space (x,y,z). The data is well-behaved, once plotted the surface looks like some sort of spheroid. I assumed a form for the fitting function f(x,y,z) = c1 ...
1
vote
0answers
279 views

Computing the intersection of dual affine subspaces

Suppose we have a convex function , $\phi(x): R^d \to R$. It is well known that the Legendre transform of $\phi$ is also a convex function, and can (loosely) be thought of as the dual or derivative ...
1
vote
0answers
183 views

Joint Convexity of Spectral functions of several matrices

$\{A_1 \ldots A_K \}$ is a set of matrices in $\mathbb{R}^{m \times n}$. Let $f (A_1,\ldots,A_K)$ be a function of the singular values of all matrices. For e.g., $f$ is just summation of singular ...
0
votes
0answers
333 views

Global index of convexity/concavity of a function

We are looking for a global index of the convexity/concavity of a function. For concreteness, how can I formalize the intuitive notion that a function $f$ is more convex than $g$ where ...
15
votes
2answers
621 views

Do the elementary properties of mixed volume characterize it uniquely?

Background Take 2 convex sets in $\mathbb{R}^2$, or 3 convex sets in $\mathbb{R}^3$, or generally, $n$ convex sets in $\mathbb{R}^n$. "Mixed volume" assigns to such a family $A_1, \ldots, A_n$ a ...
4
votes
1answer
294 views

Wasserstein geometry of measures on manifolds related to the generalized Legendre transform and $d^2/2$-convexity

Let $(M,g)$ be a fixed closed Riemannian manifold, normalized to have volume 1. We'll write $d_M(x,y)$ for the (geodesic) distance between two points $x,y\in M$. I'm interested in the following class ...
2
votes
5answers
931 views

Circumference of convex shapes

Here is a puzzle I found in "Mitteilungen der DMV" (roughly "Letters of the German Society of Mathematicians") issue 19/2011. It was posed by Alfred Schreiber in "Wie man Hasen fangt" (How to catch ...
3
votes
1answer
386 views

Example in Guillemin-Sternberg's Convexity Paper

At the end of the introduction of Guillemin-Sternberg's 1982 Inventiones paper "Convexity Properties of the Moment Mapping", there is a nice picture of a non-Abelian moment polytope attributed to ...
4
votes
3answers
2k views

Minimize trace of inverse of convex combination of matrices.

Hello! (First question--please forgive me if its unclear.) I am interested in efficient/approximate optimization techniques for minimizing a norm of a convex combination of symmetric, positive ...
5
votes
2answers
324 views

Distributing points with respect to a concave function

Suppose I have a concave function defined on the unit interval such that $f(0) = f(1) = 0$ and $\int_0^1 f(t) dt = \alpha$, where $\alpha$ is "small" (say $0.01$ or thereabouts). Say I distribute $n$ ...
0
votes
0answers
211 views

How do control the boundary regularity of the Legendre transformation domain from a convex function

Let f(x) be a strongly convex smooth function (its Hessian matrix is positive definite) defined in a convex domain D, introduce the Legendre transformation $$x=(x_1,...,x_n)\rightarrow ...
1
vote
0answers
206 views

Convexity of a constrained optimization problem

Hi, this is a continuation of a previous question I asked about the convexity of an optimization problem I am working with. Consider the function \begin{multline} B_i(a_0,\mathbf{p}) \equiv ...
4
votes
1answer
330 views

Convexity of $\frac{1}{2}\vert x_1 + x_2 + x_3 - x_1x_2x_3\vert^2$

Anybody have any tips on how to show that the function $\frac{1}{2}\vert x_1 + x_2 + x_3 - x_1x_2x_3\vert^2$ is convex in $\mathbf{x}$, where $\vert x_i \vert \leq 1$? This comes from the following ...
2
votes
0answers
262 views

Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?

Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with weak-$*$ topology (weak topology induced by the continuous functions). Consider a ...
0
votes
1answer
267 views

Integral in a σ−convex set.

Having had no (proper) answer to this question, I formulate the remaining case as a new question as follows. With $I=[0,1]$, let $E$ be a separable (real) Banach space, and let $\gamma:I\to E$ be ...
3
votes
2answers
540 views

A lower bound of a particular convex function

Hello, I suspect this reduces to a homework problem, but I've been a bit hung up on it for the last few hours. I'm trying to minimize the (convex) function $f(x) = 1/x + ax + bx^2$ , where ...
8
votes
3answers
464 views

surfaces of constant centro-affine curvature

It is well-known that every closed surface in $\mathbb R^3$ having constant Gauss curvature is a round sphere. Inspired by this question, I'd like to ask whether a similar rigidity holds for ...
0
votes
0answers
128 views

Convexity of a cone in CxC

Hi. I have trouble deciding if the set of couples $ \left( \xi, \zeta \right) \in \mathbb{C}^2 $ with $ Re \left( \xi \text{ } \overline{\zeta} \right) > 0 $ is convex. It is a (real) cone, but is ...
8
votes
1answer
597 views

volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?

We denote by $\otimes_{\epsilon}$ the injective Banach tensor product. Which is the asymptotic volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?
2
votes
2answers
474 views

Existence of extreme points

Let $(X,d)$ be a complete metric linear space whose balls are convex. Let $Y\subseteq X$ be a bounded, closed and convex subset that verifies the following property: for all $y_0\in Y$, the distance ...
36
votes
4answers
3k views

Polynomial roots and convexity

A couple of years ago, I came up with the following question, to which I have no answer to this day. I have asked a few people about this, most of my teachers and some friends, but noone had ever ...