The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
128 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
44 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
286 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
50 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
111 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
270 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
1answer
142 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 ...
3
votes
1answer
149 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
86 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
188 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
70 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
47 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 ...
38
votes
1answer
411 views

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

Let $f : \mathbb{R} \longmapsto \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 line in ...
0
votes
0answers
55 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
0answers
90 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
84 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
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
0answers
44 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
1answer
200 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
1answer
85 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
0answers
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
0answers
155 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
1answer
329 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
2answers
280 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
1answer
48 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
1answer
85 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
0answers
70 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
2answers
116 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
0answers
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
0answers
56 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
1answer
170 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
0answers
96 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
1answer
248 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
0answers
101 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
1answer
94 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
1answer
135 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
0answers
62 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 ...
0
votes
0answers
119 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
2answers
280 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
1answer
245 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
1answer
117 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
1answer
241 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 ...
1
vote
1answer
107 views

Zariski closure of the boundary of a closed convex subset of ${\mathbb R}^n$

Let $\eta$ be a closed convex subset of ${\mathbb R}^n$ of convex dimension $n$ (not necessarily compact) with nonempty boundary $\partial \eta$. Then $\eta$ is an $n$-dimensional topological ...
4
votes
0answers
93 views

Prove a complicated function (in epidemic spreading search) to be convex

When analyse epidemic spreading, I came across to prove that a complicated function $f(x)$ is convex when $0 \leq x \leq 1$. \begin{equation} f(x)=\frac{b_1g'(x) f_1(x)^{n-2}+g'(1) \gamma}{g'(1) ( ...
2
votes
1answer
114 views

Distance from constant width bodies

EDIT As @David has observed, my conjecture was clearly wrong for $\ n:=2.\ $ Let me still give it a chance for $\ n\ge 3$. I'll call a family $\ F\ $ of bound closed convex subsets of $\ \mathbb ...
1
vote
1answer
106 views

Concavity of the solution of a parametric implicit function

Suppose $F(x,y;k)=f(x,y)+kg(x,y)=0$ uniquely defines the solution $y(x;k)$ for $x\in \mathbb{D}$, a compact domain, and $0\leq k \leq 1$ is a parameter. We know that for $k=0,1$, $y(x;0)$ and $y(x,1)$ ...
5
votes
0answers
112 views

Star shaped sets with a midpoint

Suppose $U$ is an open subset of $\mathbb{R}^n$ which is star shaped with respect to $p\in U$. I'll call $p$ a midpoint of $U$ if for any line $\ell$ through $p$, the point $p$ is the midpoint of the ...
5
votes
2answers
143 views

When does a cone contain its dual cone?

Let $V$ be a finite-dimensional vector space with an inner-product $(,)$ and let $C\subset V$ be a cone in $V$. Let $C^\vee$ denote the dual of $C$ with respect to $(,)$, i.e., the set of vector $v\in ...
1
vote
0answers
87 views

Convex Optimization related problem

Suppose two non-negative convex functions $f$ and $g$ be given. We want to solve the following optimization $$\max_{g\leq\epsilon}f.$$ Now suppose that both $f$ and $g$ can be upper-bounded by a ...
1
vote
0answers
39 views

Changing a nonlinear equality constraint into some conic inequality plus rank constraint

If we have a constraint optimization problem in which one of our constraint is $\prod\limits_{k = 1}^N {\left( {x - {a_k}} \right) = 0} $ . How could this nonlinear equality condition be changed into ...