The convexity tag has no usage guidance.

**0**

votes

**0**answers

42 views

### Construct a locally concave polynomial [on hold]

I'd like to construct a polynomial $f(x)$ such that:
$f(x)$ has roots 0 and $1$ (and possibly others)
$f'(a) = 0$ for given $a$, where $0 < a < 1$
$f(a) = 1$ (ie. there's a local maxima at ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

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

**5**

votes

**0**answers

66 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

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

**0**

votes

**0**answers

54 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

59 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

65 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

133 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

65 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

316 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

62 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

116 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

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

**3**

votes

**1**answer

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

**6**

votes

**1**answer

184 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

95 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

196 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

77 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

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

**46**

votes

**1**answer

543 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

58 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

93 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

87 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

122 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

49 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

214 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

91 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

28 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

166 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

332 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

346 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

54 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

88 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

91 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

118 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

50 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) \ ...

**0**

votes

**0**answers

60 views

### proving that a complicated function is concave or strongly uni-modal

I am trying to prove the concave property for a complicated function during my research project (imperfect maintenance modelling for starter) which has the following form:
$\eta(t)= \alpha \beta ...

**2**

votes

**1**answer

172 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$ ...

**5**

votes

**0**answers

98 views

### In what sense is the Bayesian posterior mean a “convex combination”?

I asked this on math.stackexchange with no response, I'm hoping someone here might have something.
Suppose I want to estimate $x \in \mathbb{R}^n$ from two signals with zero mean, normally ...

**6**

votes

**1**answer

253 views

### Is an infinite-dimensional “Lebesgue measure” uniquely determined by a set of positive finite measure?

Let $\mu$ be a probability measure on a subset $C \subset \mathbb{R}^\infty$ of the space of sequences, and assume, for simplicity, that $C$ is closed and convex.
We say that $\mu$ admits shifts if ...

**3**

votes

**0**answers

105 views

### This function looks quasiconvex, can't understand why

Suppose that $\mathbf{C}$ is a given matrix with non-negative entries in $\mathbb{R}^{m\times n}$ and $d$ is a given scalar, and let $g(\mathbf{y})$ be defined by ...

**3**

votes

**1**answer

97 views

### Geodesic comparison in Hadamard space

Let $X$ be a hadamard space and $\gamma_1, \gamma_2 \colon \mathbb{R}\rightarrow X$ be two geodesics. Part 2 of Coroallary 2.5 in
...

**2**

votes

**1**answer

138 views

### Quantitative stability: Hausdorff distance between subdifferentials

Suppose I have two convex functions $f$ and $g$ mapping $\mathbb{R}^{n}\to\mathbb{R}$ (so they are 'more' than proper). Suppose $\|f-g\|_{\infty}<\epsilon$, the sup-norm. In particular, the ...

**2**

votes

**0**answers

65 views

### Regularity of the Minkowski functionnal of a convex

Let $K$ be a convex compact set in $\mathbb{R}^2$ with $0 \in \overset{\circ}{K}$. The Minkowski functional associated to K is:
\begin{align*}
\varphi_K(x):= \inf \left\{t>0 \; : \; tx \in K ...

**1**

vote

**0**answers

121 views

### Can we define log-convex operators?

Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$
$$f(\alpha x+(1-\alpha)y)\leq ...

**4**

votes

**2**answers

292 views

### Convex Sets and Nearest Neighbors

For a set $S \subseteq \mathbb{R}^n$ and a point $x \in \mathbb{R}^n$, let $c_S(x)$ be the point $s \in S$ that minimizes $\|x-s\|$ if such a point exists and is uniquely determined. It is known that ...

**4**

votes

**1**answer

302 views

### Is there a non-compact Poulsen simplex?

A Choquet simplex is a closed, convex and metrizable subset of a locally convex Hausdorff topological vector space in which every point is a barycenter of a unique probability measure supported on the ...

**3**

votes

**1**answer

122 views

### Does this squared distance functional have a unique critical point on geodesically convex manifolds?

Let $M$ be a Riemannian manifold with distance function $d$, $C \subset M$ a geodesically convex set, $a=(a_i)_{i=1}^n \in C^n$, $W \in \mathbb{R}_{\geq 0}^{n \times n}$ and $J\colon C^n \rightarrow ...

**5**

votes

**1**answer

259 views

### Characterization of closed convex set

Suppose that $C$ is a bounded convex subset of $\mathbb{R}^n$ such that the optimum value, over $C$, of any linear functional is attained at some point of $C$. Does this imply that $C$ is closed? If ...