The convexity tag has no usage guidance.

**0**

votes

**0**answers

13 views

### Compactness and Convexity of space of correlation matrices [closed]

A $n\times n$ real symmetric matrix is a correlation matrix, if it is positive-semidefinite and all its diagonal entries equal 1. According to most references it is easy to see that the space of ...

**2**

votes

**1**answer

233 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

**0**answers

90 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

**1**answer

119 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\ $ ...

**12**

votes

**1**answer

335 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

**0**answers

242 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

**1**answer

184 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 ...

**5**

votes

**2**answers

203 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

**1**answer

82 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 ...

**0**

votes

**0**answers

24 views

### Duality for Generalization of standard Convex

in accordance to the previous question about KKT condition for generalization to standard convex, here I look for the dual problem to the generalized convex problem. the clear questions are :
is it ...

**13**

votes

**0**answers

236 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

**1**answer

145 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

**0**answers

49 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

**1**answer

117 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

**1**answer

188 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

**0**answers

82 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

**0**answers

43 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
...

**1**

vote

**0**answers

62 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

**1**answer

98 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

**1**answer

75 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

**1**answer

138 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

**1**answer

75 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

**1**answer

342 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

**0**answers

70 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

**1**answer

123 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

**2**answers

312 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

**1**answer

161 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

**1**answer

235 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

**1**answer

103 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

**0**answers

201 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

**0**answers

86 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

**1**answer

58 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

**2**answers

822 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 ...

**0**

votes

**0**answers

62 views

### Is the function below convex?

I have the following function $f(X)=(\sum(gmm^2(AX)-2gmm(AX)gmm(B)))||CX-D||^2$
where gmm is Gussian mixtures defined as $gmm(x)=\sum_{i=1}^{K}\omega_{i}\phi(x|\mu_{i},\Sigma_{i})$, $\omega$ is the ...

**1**

vote

**0**answers

98 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

**0**answers

105 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

**0**answers

124 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

**0**answers

53 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 ...

**4**

votes

**1**answer

219 views

### Orlicz Norm and A result on expectation

I am reading paper which is mainly about Dobrushin's contraction coefficient and its generalization. In page 27, the following is defined:
Consider arbitrary, non-negative, convex function ...

**1**

vote

**1**answer

98 views

### What's the most efficient way to solve this euclidean projection on non-negative affine space constraint?

I've come across this convex optimization problem in my research where I need to project a matrix $X_0$ onto a non-negative affine space constraint and box constraints. Concretely,
$X \in ...

**0**

votes

**0**answers

29 views

### Looking for a homogeneous function with some properties

I'm looking for a 1-homogeneous function $\pi \colon \mathbb{R}^n_{\geq 0} \to \mathbb{R}$ satisfying the following properties:
1) $\pi$ is not concave. This is equivalent to the fact that there ...

**3**

votes

**0**answers

195 views

### Convex Conjugate of Relative Entropy

The convex conjugate of a function, say, $f:X\mapsto \mathbb{R}$ is a function $f^*:X^*\mapsto \mathbb{R}$ defined as
$$f^*(x^*):=\sup_{x\in X} ~\langle x, x^*\rangle-f(x),$$ where $X^*$ is the ...

**5**

votes

**1**answer

354 views

### Examples of Polyhedra with Large Shadows

Let $P \subseteq \mathbb{R}^n$ be a polyhedron described by $\mathcal{O}(n^{c_1})$ inequalities, where $c_1$ is a constant. Moreover, let $M\colon P \to \mathbb{R}^2$ be a linear mapping. I'm looking ...

**6**

votes

**2**answers

434 views

### Continuous functions with convex level sets

Assume that $f:\mathbb{R}^{2}\to \mathbb{R}$ is a continuous function such that each level set $f^{-1}(c)$ is a convex set.
To what extent such functions are studied?
In particular:
Is there ...

**1**

vote

**1**answer

61 views

### log-convexity of Mollified function?

Let $f:{\mathbb R}\rightarrow{\mathbb R}_+$ be a log-convex function. Suppose that $f_{\epsilon}$ is the smoothed version of $f$:
$$f_{\epsilon}(x)=\int \varphi_{\epsilon}(x-y)f(y)dy,$$
where ...

**3**

votes

**1**answer

93 views

### Hypergeometric function 2F1 convexity proof:

Suppose $F$ is the Gaussian hypergeometric function 2F1, $x\in \mathbb{N}$, $t>x \in \mathbb{N}$, $\mu \in (0,1)$. Is the function: $$f(\mu)=\mu^{x+1} F(x,-t+x,2+x,\mu),$$ convex in $\mu$? I've ...

**1**

vote

**0**answers

118 views

### Restricted strong convexity for biconvex functions

Recently, it has been shown (arxiv paper) that non-convex functions with the restricted strong convexity (RSC) property has the interesting property that their local minima lie within a small ball of ...

**0**

votes

**2**answers

129 views

### Book and Papers for properties of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

I am looking for reference books and research articles which cover analysis of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

**0**

votes

**0**answers

52 views

### Integral representation formula for convex

For $u \in \mathbb{S}^{d-1} \subset \mathbb{R}^d$, it is easy to show that:
\begin{equation}
u=c_d \int_{\mathbb{S^{d-1}}} \xi \mathbb{1}_{\left\{x \cdot u >0 \right\}}(\xi) \ ...

**2**

votes

**1**answer

175 views

### Necessary conditions for optimality in Banach spaces

Let $X$ denote the non-negative "orthant" of the Banach space $L^2$ (or whatever you call the set of functions in $L^2$ that are non-negative), and let $C$ be a closed, convex subset of $X$. Let $f$ ...