The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
0answers
55 views

On convex hull of algebraic curve

For any given tuple of quadratic functions $(f_1(x,y,z),f_2(x,y,z),f_3(x,y,z))$, the following set forms a algebraic curves $$ ...
0
votes
0answers
35 views

Limit of argmin of sum

Suppose that I know $f_n\rightarrow f$ and $g_n\rightarrow g$ are both continuous maps from a Complete Riemmanian Manifold $X$ to $\mathbb{R}$ which converge pointwise almost everywhere. Then is it ...
0
votes
1answer
73 views

Showing convexity of a function in the unit ball

We have the unit sphere $S^2$ in $\mathbb{R}^3$ and two points, $X$ and $Y$ on the surface of the sphere. Then, a function is defined for any point $P$ inside of the unit ball as: $$f(P) = R\,d(P, ...
0
votes
0answers
49 views

Convexity condition of matrices

In studying the viscoelastic theory of elastodynamics, I encounter a problem on the convexity condition of matrix functions. It has been known that for the energy function $E=E(v,F) = \frac{1}{2} v^2 ...
2
votes
0answers
29 views

Is there a “last mile” criterion for a generalization of planar convex hulls to symmetric weighted graphs?

This question is motivated by an almost successful attempt to define planar convex hulls of a finite set of isolated points only via subset sums of the distances between point-pairs; the advantage of ...
1
vote
0answers
55 views

Hessian matrix positive definiteness (concavity test) [closed]

I have a rather simple scenario based optimization problem: Maximize $$ Q_1{_s}(A_1{_s}-Q_1{_s}-bQ_2{_s})+ Q_2{_s}(A_2{_s}-Q_2{_s}-bQ_1{_s})-[(Q_1{_s}-K_1)^+ + (Q_2{_s}-K_2)^+]c $$ subject to ...
2
votes
1answer
97 views

Sufficient conditions for weak majorization

Suppose $x_1\ge x_2\ge \cdots \ge x_n\ge 0$ and $y_1\ge y_2\ge\cdots\ge y_n\ge0$ be reals such that for any positive integer $p$, $$ \sum_{i=1}^n x_i^p \geq \sum_{i=1}^n y_i^p. $$ Question: Is ...
3
votes
1answer
114 views

Global minimum of nonlinear least square

We have a continuous and differentiable function $f(\cdot)$ that maps from $R^n$ to $R^n$. We are trying to solve a nonlinear least square problem: Minimize $J(x)=\Vert f(x)-z\Vert^2$ subject to box ...
9
votes
0answers
150 views

Determining convexity of a polygon from its Fourier coefficients

Consider an $n$-sided polygonal curve in the plane, represented by an ordered set of points $(x_0, x_1, \ldots, x_{n-1})$; line segments connect consecutive points and also $x_{n-1}$ to $x_0$. It is ...
3
votes
2answers
103 views

Eigenspace of convex combination of two idempotent matrices

Let $H_1,H_2\in\mathbb{Q}^{n\times n}$ be idempotent and symmetric matrices. For any $0<\mu<\frac{1}{2}$, consider the matrix $$H_\mu:=\mu H_1+(1-\mu)H_2.$$ I'm looking for a description of ...
0
votes
1answer
39 views

Representation of probability measure over product spaces

Trying to obtain some exchangeability-related results, I ended up with the following questions, which I couldn't answer (at least, not in the negative); this is also related to this MO thread (edit: ...
8
votes
3answers
258 views

Shape whose translated and scaled copies are closed under intersection

The translated and scaled copies of an equilateral triangle with fixed orientation are closed under intersection - the intersection is again an equilateral triangle with the same orientation. What ...
1
vote
0answers
40 views

Calculating a Combinatorial Generalization of Planar Convex Hulls

In this question I have suggested a generalization of the notion of a set of points in the Euclidean plane being in convex configuration to the set of vertices of symmetric weighted graphs via ...
3
votes
1answer
63 views

Generating Uniquely k-Optimal Point Sets

This question is motivated by the observation that finding an optimal tour through a set of points in the Euclidean plane is especially simple, if the points are in convex configuration and, that the ...
1
vote
0answers
27 views

Is support function of a convex curve in $\mathbb{R}^2$ absolutely continuous? [closed]

There is an example of a convex function of two variables that is convex but not absolutely continuous. The level set of this function is a convex curve. To construct one example of such a function ...
2
votes
1answer
249 views

Is this a log-concave function?

Let $(a_k)$ be a log-concave positive decreasing sequence. Is $\sum\limits_{k=1}^n a_k(1-e^x)^{k-1}$ log-concave in $x<0$, for each natural $n$?
2
votes
0answers
97 views

Log-concave polynomial is a log-concave function?

A polynomial $\sum\limits_{k=0}^n a_kx^k$ is log-concave if $a_0,\ldots,a_n$ constitute a log-concave sequence. I wonder whether the log-concave polynomial is also a log-concave function with respect ...
3
votes
1answer
128 views

The center of a minimal convex superbody

Is the following true? CONJECTURE: $\,$ Let $\ B\ C\subseteq\mathbb R^n\ $ be convex bodies in $\mathbb R^n$ such that $\ C\ $ is centrally symmetric, $\ B\subseteq C,\ $ and $\ t\!\cdot\! B\ $ ...
15
votes
1answer
565 views

On convergence of convex bodies

Let $K\subset \mathbb{R}^n$ be a compact convex set of full dimension. Assume that $0\in \partial K$. Question 1. Is it true that there exists $\varepsilon_0>0$ such that for any ...
6
votes
0answers
252 views

Finding non convex functions satisfying a weak form of convexity, without the axiom of choice

If a real-valued function $f$ over reals satisfies $$ (1) \; \; \; f({x+y\over2})\le {f(x)+f(y)\over2}, $$and it is continuous, then it is not hard to see that $f$ is indeed convex. On the other ...
4
votes
1answer
199 views

Questions about the regularity of the “norm” associated to a convex set

Suppose $K\subset \mathbb{R} ^n$ is a closed convex set whose interior contains the origin. We can assign a gauge function to $K$ as $g_{K}(x):=\inf\{\lambda>0 \mid x\in\lambda K\}$. $g_K$ has all ...
6
votes
2answers
261 views

Is every open convex subset of a Riemannian manifold necessarily contractible?

Question: Is every open convex subset $C$ of a Riemannian manifold $M$, necessarily contractible? Here by a "convex subset" I mean a set $C$ having the property that between each pair of points in ...
5
votes
1answer
90 views

Two (new?) variants of convex functions

I find that the following two types of functions are useful to my research. (i) We know that a function $f: \mathbb{R}_+^m\rightarrow \mathbb{R}$ is called convex if for all ${\bf x,y}\in ...
13
votes
0answers
267 views

A functional inequality about log-concave functions

Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that: $$ \int_{\mathbb{R}^{n}} \langle ...
4
votes
1answer
192 views

Maximal cones and lexicographic orderings

Let $V$ be a real vector space. It is well known that, given a totally ordered basis of $V$ (say $(b_i)_{i\in I}$ where $I,<$ is totally ordered), $V$ is totally ordered by the lexicographic ...
1
vote
0answers
92 views

Geodesically convex neighborhood in Finsler manifolds

It is well known that every point of a Riemannian manifold $(M,g)$ possesses a fundamental system $\{U_n\}_{n\in\mathbb N}$ of geodesically convex neighborhoods. This means that every pair of points ...
3
votes
1answer
126 views

Generalization of standard convex problem

In standard convex programming, the objective function and each of the constraint inequalities are convex. in such case, if the KKT condition hold for a point, and Slater condition is also hold for ...
1
vote
1answer
214 views

does every compact convex set in c0 have but countably many extreme points

This seems plausible, given the properties of the unit ball of $c_0$. I have a compact set in a complex Banach space $X$ whose closed convex hull has uncountably many extreme points. It would be ...
6
votes
0answers
92 views

Convexity of Isoperimetric Domains

I am interested in what is known about the convexity of isoperimetric domains in compact Cartan-Hadamard manifolds (Riemannian manifolds that are complete and simply-connected and have non-positive ...
0
votes
0answers
50 views

Log-concave distributions: Weighted sum of pdfs

Assuming $f_n(\cdot)$ is a log concave function (e.g., pdf of Gaussian distribution) and $0\le q_n\le 1$ for all $n\le N$, I am trying to find conditions under which the following holds ...
2
votes
1answer
113 views

Choosing the weights of a Voronoi diagram — is this function always the gradient of another function?

This question is related to the earlier question Weighted area of a Voronoi cell . As in that question, let $X = \{ x_1,\dots,x_n\} $ denote a set of $n$ points in the unit square $S = ...
0
votes
1answer
120 views

sum of fractional functions optimization problem

Consider the following sum of fractional functions optimization problem $$ \begin{array}{l} \mathop {\min }\limits_{\bf{x}} \,\,\,\sum\limits_{i = 1}^p {\frac{1}{{{\bf{a}}_i^T{\bf{x}} + {b_i}}}} \\ ...
5
votes
1answer
83 views

when does elementwise-log preserve positive-semidefiniteness?

Let $Z$ be a positive semidefinite matrix with nonnegative entries, and define $X=\log(1+Z)$, where the $\log$ is taken entrywise, i.e., $X_{ij}=\log(1+Z_{ij})$. Are there some simple sufficient ...
5
votes
1answer
139 views

(A kind of) Irreducibiliy of regular open convex sets in the Cartesian space

I am looking for a proof of the fact which is formulated at the bottom of this post. The property of regular convex sets which the fact expresses seems to be true to me, yet I have not been able to ...
2
votes
1answer
88 views

Fixed point iteration on symmetric biconvex function

Suppose $X\subseteq\mathbb{R}^n$ is a convex set and that a function $g(x,y):X\times X\rightarrow\mathbb{R}_+$ is smooth, "strictly biconvex" (strictly convex in $x$ and $y$ independently but not ...
8
votes
1answer
361 views

Generalization of Popoviciu's inequality

Popoviciu's inequality states that for convex $f$ and numbers $x_1,x_2,x_3$, we have $f(x_1)+f(x_2) + f(x_3) + 3\cdot f(\frac{x_1+x_2+x_3}3) \geq 2\cdot f(\frac{x_1+x_2}2)+2\cdot ...
4
votes
0answers
76 views

Linear projections of convex sets with unique preimages of boundary points

Fix a compact convex subset $C \subset \mathbb{R}^n$ with nonempty interior. For any subspace $S \subset \mathbb{R}^n$, let $P_S$ denote the orthogonal linear projection onto $S$. I'd like to claim ...
5
votes
1answer
124 views

TVS with null topological dual space

In that post, I give an example of a TVS for which the topological dual is equal to $0$. But in the example, there is no open convex subset different from the empty set or the space itself. Do you ...
5
votes
2answers
326 views

Minimum of squared sum minus sum of squares

I know that $$ \min_{\|x\|_2=1=\|y\|_2} \left(\sum_{k=1}^nx_ky_k\right)^2-\sum_{k=1}^nx_k^2y_k^2 \geq -1/2 $$ with equality whenever $|x_k|=\frac{1}{\sqrt{2}}=|y_k|$ for two coordinates. I'm ...
4
votes
1answer
172 views

Subconvexity bound for Hecke $L$-functions in the $s$-aspect

Let $L(s,\chi)$ be the $L$-function of a non-trivial Hecke character of a general number field $K$, so that $L(s,\chi)$ which has no pole or zero at $s=1$. I am looking for a reference for upper ...
7
votes
1answer
249 views

A Generalized Version of Maximal Correlation and Hypercontractivity of Conditional Expectation Operator

Given a pair of random variables $(X,Y)$ over a product space $\mathcal{X}\times \mathcal{Y}$, the maximal correlation coefficient is defined as ...
3
votes
1answer
106 views

Gradient estimate of convex functions

Consider a special type of convex function $g(\cdot):\mathbb{R}^d \to \mathbb{R}_+\cup\{+\infty\}$ such that $g(x)=+\infty$ as $|x|\to \infty$. Then $g$ is differentiable almost everywhere within its ...
8
votes
0answers
206 views

Less complicated proof of this “obvious” fact about convexity

Let $C\subset \mathbb{R}^n$ be a compact, convex set. In any convex analysis course, it would be a standard homework exercise to prove that the functions $f(x)=\max_{y\in C} \|x-y\|$ and ...
3
votes
0answers
109 views

On the modulus of convexity of mixed-norm $\ell_{p_1,p_2}$ spaces

Let $\ell_{p_1,p_2}=(\mathbb{R}^{m\times n},\|\cdot\|_{p_1,p_2})$ be the space of $m\times n$ matrices endowed with the mixed-norm $$ \|X\|_{p_1,p_2} = \left( \sum_{j=1}^n \left( \sum_{i=1}^m ...
1
vote
1answer
60 views

monotonicity alike functions

assuming we have two smooth function ${f_1},{f_2}:{R^N} \to R$, under what condition, we have ${f_1}\left( {{{\bf{x}}_1}} \right) \ge {f_1}\left( {{{\bf{x}}_2}} \right) \leftrightarrow ...
51
votes
2answers
845 views

Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$

Let $f : \mathbb{R} \longrightarrow \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a ...
1
vote
0answers
108 views

When can sublinear growth imply concavity?

Consider a function $f(x,\lambda):\mathbb{R}^{2}_{+}\to\mathbb{R}_{+}$ that is uniformly continuous, smooth, lower bounded and convex. Let $\qquad g(\lambda)=\inf_{x}\;f(x,\lambda)$ We know that ...
2
votes
0answers
125 views

How to check if a manifold can be foliated by strictly convex hypersurfaces?

Let $M$ be a compact Riemannian manifold with boundary. How can one recognize whether the manifold can be foliated by strictly convex hypersurfaces? An exact definition is given below. If the ...
2
votes
0answers
125 views

Fixed area, largest mass — is there a name?

Let $x\in \mathbb{R}^n$ and let $s_k(x)$ denote the sum of the $k$ largest entries of $x$. The function $s_k(x)$ is well-known to be convex and is often used in optimization, such as ...
1
vote
0answers
54 views

Conditions on probability measure that generates non-void random polytope

Let $C$ be a non-void compact convex set in $\mathbb{R}^d$, and $\nu$ a probability measure on $C$. Then under what conditions on $C$ and $\nu$, the following statement is true: If ...