Skip to main content

Questions tagged [convexity]

For questions involving the concept of convexity

25 questions from the last 365 days
Filter by
Sorted by
Tagged with
0 votes
0 answers
11 views

A question on Ibragimov's theorem on strong unimodality

I am not a mathematics student and unfortunately have some confusion about a (well-known) theorem about strong unimodality of distributions. First of all let me clarify some terminologies and then ask ...
Ervand's user avatar
  • 51
0 votes
0 answers
21 views

Largest inscribed parallelepiped of the convex set defined by partial sum of Fourier series

Let $\mathcal{X}$ be the set consisting of all $(2n+1)$-dimensional real vectors $\mathbf{x}=\left( a_0,a_1,\ldots,a_n,b_1,\ldots,b_n\right)^{\intercal}$ satisfying $$ \left| f_{\mathbf{x}}(t) \right|...
RyanChan's user avatar
  • 550
11 votes
2 answers
430 views

On the convex cone of convex functions

$\newcommand\R{\Bbb R}$Let $F$ be the set of all functions of the form $\max(a,b,c)$, where $a,b,c$ are affine functions from $\R^2$ to $\R$ and the maximum is taken pointwise. Let $G$ be the set of ...
Iosif Pinelis's user avatar
2 votes
0 answers
95 views

Why cannot we adapt Barvinok type counting techniques to general convex integer programs?

Decision problems in Integer Linear Programming have Lenstra type algorithms (https://www.math.leidenuniv.nl/~lenstrahw/PUBLICATIONS/1983i/art.pdf) have been generalized to convex integer program ...
Turbo's user avatar
  • 13.9k
0 votes
0 answers
52 views

What are the injective embeddings of R^d into the cone of (semi-) positive definite matrices of dimension d?

How can we characterize the set of all injective functions from $\mathbb{R}^d$ to the set of all symmetric positive definite matrices of dimension d?
Drmanifold's user avatar
2 votes
0 answers
58 views

An s-convex function lying between two convex functions

Let $f: \mathbb R_{+} \to \mathbb R_{+}$ be an $s$-function in the second sense, i.e., $$ f(\lambda x +(1-\lambda)y) \leq \lambda^s f(x) +(1-\lambda)^s f(y)$$ for every $\lambda \in (0,1)$. Assume ...
MAY's user avatar
  • 55
1 vote
0 answers
30 views

Generalization of subadditivity analogous to quasiconvexity, and variants

I am curious if there are natural generalizations of subadditivity which have been studied in the past or have been stated in the literature? I (and people that I have talked to) have not had much ...
Alex Rutar's user avatar
4 votes
1 answer
416 views

Maximum and concavity of function

Let \begin{align} G(x_1,x_2,x_3)=\int_0^{2\pi}\int_0^{2\pi}\int_0^{2\pi} \frac{d\theta_1 d\theta_2 d\theta_3}{(2\pi)^3} p(\vec{x},\vec{\theta}) \log\left( p(\vec{x}, \vec{\theta})\right) \end{...
nervxxx's user avatar
  • 231
2 votes
0 answers
106 views

Reference request: books on convex analysis / geometry

I am interested in convex geometry and analysis, especially in its connections with high dimensional probability theory. I was reading the book by Pisier, The volume of convex bodies and Banach space ...
Drew Brady's user avatar
0 votes
0 answers
17 views

Convexity property of a divergence measure with constant factor

I have a divergence measure (D) that satisfies the following property for any functions $f_1$, $f_2$, and $g$: $$D(\lambda f_1 + (1 - \lambda) f_2 \| g) \leq \frac{c_2}{c_1} \left( \lambda D(f_1 \| g) ...
Jose de Frutos's user avatar
3 votes
0 answers
77 views

Is the norm of first or second level of of signature a convex function?

I understand this is not a research level question but I really want to know, would anyone please help. This question is related to the signatures that arises in rough path theory. https://en....
Creator's user avatar
  • 495
4 votes
1 answer
100 views

Limits along lines for the gradient of a convex function

It is easy to see that if a function $f: \mathbb{R} \to \mathbb{R}$ is strictly convex, $C^1$ and $f'$ has bounded image, then as $t\to \infty$ the limit $$ \lim_{t\to\infty} f'(t) = \lim_{t\to\infty} ...
Zestylemonzi's user avatar
9 votes
2 answers
424 views

Is there a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$?

This question was firstly asked in mathematics stack exchange. Getting no answer, I copied it to here. For a vector space $V$ over $\mathbb R$, I say a subset $S$ of $V$ is "anti-convex" if $...
yummy's user avatar
  • 193
6 votes
0 answers
48 views

Strengthening the Kovner-Besicovich theorem: Does every unit-area convex set in the plane contain a centrally symmetric hexagon of area $2/3$?

The Kovner-Besicovich theorem states that every convex set $S$ in the plane contains a centrally symmetric subset $C$ of at least $2/3$ the area of $S$, and that this bound is sharp for triangular $S$....
RavenclawPrefect's user avatar
0 votes
1 answer
59 views

Do separable cubic constraint and separable quartic constraint SOCP presentable?

I am an engineer who is doing some network modeling and optimization. During my work, I was running into a case that is quite strange. The problem that I am trying to solve seems to be convex and it ...
Tuong Nguyen Minh's user avatar
7 votes
2 answers
345 views

Integral means vs infinite convex combinations

Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function. Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
Pietro Majer's user avatar
  • 60.5k
0 votes
0 answers
40 views

Construct compact submanifold containing non-compact Nash embedded submanifold

$$ \newcommand{\R}{\mathbb{R}} \newcommand{\geu}{g_{\text{Eu}}} \newcommand{\X}{\mathcal{X}} \newcommand{\iX}{\mathring{\X}}$$ Let $\X$ be a closed bounded convex set in some Euclidean space. Its ...
DavideL's user avatar
  • 111
2 votes
1 answer
142 views

Proving convexity of the expected logarithm of binomial distribution

I would like to prove that the following function, for an arbitrary integer $n$: \begin{equation} \begin{split} f(x) & =x\cdot E \ \log(1+\text{Binomial(n,x)}) \\ & = x \cdot \sum_{k=0}^{n} \...
RotemBZ's user avatar
  • 23
1 vote
0 answers
30 views

Finite right-triple convex sets in planes

Let $\mathcal{S}$ be a set of points in $\mathbb{R}^2$. We say that $\mathcal{S}$ is right-angle convex, if for any two distinct points $P,Q\in \mathcal{S}$ there always exists another point $R\in \...
Joe Zhou's user avatar
  • 123
2 votes
1 answer
172 views

Does there exists an example of a Banach space that is compactly LUR; but not LUR

We know that a Banach space $X$ is locally uniformly rotund(LUR) if for $x, x_n \in S_X$ with $\Vert x+x_n \Vert \to 2$, we have $x_n \to x$. In the same case, if $(x_n)$ has a convergent subsequence, ...
PPB's user avatar
  • 85
2 votes
1 answer
183 views

Convexity of a function

Let: $F_{j+1,y}(s)$ be the cumulative distribution function of a binomial distribution with mean $y$, $j+1$ independent trials considered for $s$ successes. Is it possible to show in any way that: $\...
Marco Max Fiandri's user avatar
4 votes
1 answer
139 views

Characterization of convexity by connectedness of hyperplane sections

Let $S$ be a smooth closed connected embedded hypersurface in $\mathbb R^n$. Is it true that $S$ is convex, i.e. is a boundary of a convex set, if and only if any section of $S$ by a hyperplane is ...
Dmitrii Korshunov's user avatar
3 votes
0 answers
208 views

Reference request: Carathéodory-type theorem for convex hulls of closed sets

I'm looking for a reference for the following theorem. Theorem Let $X$ be a closed subset of $\mathbb{R}^N$, and let $a$ be a point of its convex hull $\operatorname{conv}(X)$. Then there exist ...
Tom Leinster's user avatar
  • 27.7k
3 votes
1 answer
296 views

Does this condition characterise intervals, among subsets of the real line?

For a real number, $c\in \left]0,1\right[$, consider the following property $\mathbf(\mathbf P_c\mathbf)$ of subsets $A$ of $\mathbb R$: $\mathbf(\mathbf P_c\mathbf)$ For every bounded set $B\subset \...
Pietro Majer's user avatar
  • 60.5k
0 votes
0 answers
49 views

Conditions on symmetric $3 \times 3$ matrices to satisfy the convex equality for cofactor and determinant

Given any $3\times 3$ finite set of symmetric matrices $A_i$ and positive real $a_i$ such that $\sum_ia_i=1.$ Is there any equivalent condition to the existence of skew symmetric matrices $X_i$ such ...
user519646's user avatar