All Questions
Tagged with convexity convex-geometry
131 questions
0
votes
0
answers
18
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 ...
- 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|...
- 550
2
votes
0
answers
107
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 ...
- 410
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$....
- 3,068
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 ...
- 2,934
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 ...
- 27.7k
1
vote
1
answer
98
views
If $|P|<\infty$ and $C=P\cap\partial(\textrm{Conv}(P))$, then $P\subset\textrm{Conv}(C)$?
That is, if $P$ is a finite set, and $C$ is the set of points in $P$ which lie on the boundary of the convex hull of $P$, then is $P$ contained in the convex hull of $C$?
It seems true intuitively. In ...
19
votes
0
answers
552
views
Talagrand's "Creating convexity" conjecture
We say a subset $A$ of $\mathbb{R}^N$ is balanced if
\begin{equation}
x \in A, \lambda \in [-1,1] \implies \lambda x \in A.
\end{equation}
Given a subset $A$ of $\mathbb{R}^N$, we write
\begin{...
- 484
2
votes
0
answers
164
views
Log Sobolev inequality for log concave perturbations of uniform measure
Suppose $\Omega$ is a convex bounded open set of $\mathbb{R}^n$ (I would be happy with just $\Omega$ as the $n$-dimensional cube). Let $\mu$ be the uniform measure on $\Omega$ and consider the ...
- 873
1
vote
1
answer
147
views
Link between asymptotic cone and the boundary of a convex set
For $n\geq 1$, let $f\in\mathcal{C}^2(\mathbb{R}^n ; \mathbb{R})$ such that $f^{-1}(\mathbb{R}_-^*)\neq\varnothing$ and $\forall x\in\mathbb{R}^n$: $\nabla f(x)\neq 0$ and $\mathcal{Hess}f(x)$ is ...
- 449
18
votes
3
answers
997
views
Convex functions in convex sets
Suppose $\Omega \subset \mathbb{R}^n$ is some bounded, convex set. For which domains $\Omega$ is it true that for every convex function $f:\Omega \rightarrow \mathbb{R}$ the average of the function in ...
2
votes
1
answer
594
views
Tangent cone of a closed convex cone
Let $K \subset \mathbb{R}^n$ be a closed convex set. Given a point $u \in K$, the tangent cone of $K$ at $u$ is defined as (or characterized by)
$$
T_K(u) := \mathrm{cl}(\left\{ t (v - u) \mid v \in K,...
- 163
4
votes
1
answer
159
views
Approximation of convex bodies by polytopes corresponding to smooth toric varieties
Let $P\subset \mathbb{R}^n$ be an $n$-dimensional polytope with rational vertices. There is a well known construction which produces an $n$-dimensional algebraic variety $X_P$ called toric variety. In ...
- 21.8k
0
votes
1
answer
104
views
Do subgradient inequalities hold for matrix convex functions?
Suppose $f$ is a matrix convex function over symmetric, positive semidefinite matrices with spectra in some interval $I$ [1]. That is, for $A,B\succeq 0$ with spectra in $I$, and any $\theta\in[0,1]$,
...
- 253
1
vote
0
answers
195
views
The image of zero-measure set under normal mapping is Lebesgue measurable
Let $u$ be a convex function defined on a bounded open set $\Omega$ in $\mathbb{R}^n$. Then $u$ is twice differentiable a.e. Let $E_u$ be the set on which $u$ is not twice differentiable. Then $E_u$ ...
- 11
6
votes
2
answers
341
views
For most directions does the supporting hyperplane meeting a bounded convex set meet it in one point?
Let $C\subseteq \mathbb R^n$ be non-empty, convex and compact. For $v\in S^{n-1}$, let $H_v$ be the supporting hyperplane in the direction of $v$ (i.e., $H_v$ is the boundary of the smallest closed ...
- 2,555
2
votes
1
answer
308
views
Intersection of the simplex with a linear subspace of codimension $2$
The sets are defined in $\mathbb{R}_+^n$ $(n\geq 1)$. The relative interior of a convex set $C$ is denoted $\mathring C$.
Let $S$ be the $n$-simplex:
$$S=\left\{x\in\mathbb{R}_+^n,\,\sum_{i=1}^n x_i=1\...
- 449
1
vote
1
answer
212
views
Lipschitz aspect of a projection on the boundary of a convex
Let $C$ be a closed convex set of $\mathbb{R}^n$ $(n\geq 1)$, with asymptotic cone $C^{as}$ having for interior $\text{Int}\big(C^{as}\big)$. Let $u\in\mathbb{R}^n\setminus\{0\}$ such that
\begin{...
- 449
4
votes
2
answers
394
views
Is this projection on the boundary of a convex Lipschitz?
Let $C$ be a closed convex set of $\mathbb{R}^n$ $(n\geq 1)$, and $u\in\mathbb{R}^n\setminus\{0\}$ such that $u$ does not belong to the asymptotic cone of $C$ and is nowhere tangent to $\partial C$. ...
- 449
1
vote
1
answer
119
views
Volume ratio of polytopes with few vertices
The volume ratio of a convex body $K\subset \mathbb{R}^{n}$ is $v_r(K) = \inf_{\mathcal{E}\subset K} \left(\frac{Vol(K)}{Vol(\mathcal{E})}\right)^{1/n}$ where the infimum run over ellipsoids included ...
- 245
1
vote
1
answer
113
views
Measurable sets of $\mathbb R^n$ forming unique absolutely continuous convex combinations?
If we consider a finite set $A\subset\mathbb R^n$, uniqueness of the convex decomposition of points in $A$ is equivalent to the absence of $\mu\neq0$ signed measure supported on $A$ such that $\mu(\...
- 13
0
votes
0
answers
122
views
Sharp, salient and opposite cones
I have been reading about star shaped sets and support cones from this article.
Can anyone please help me with examples the difference between a sharp and dull cone.
How come a salient cone has a ...
- 27
0
votes
0
answers
202
views
Regarding definition of convex cone and apex
I have been reading about star shaped sets and support cones from this article. I am wondering about the definition of the cone as to why is it defined this way? Why is it $C-a$? I am familiar with ...
- 27
1
vote
0
answers
65
views
Minimum bounding rectangle of symmetric convex bodies in the plane : is the ball the worst case
The minimal rectangle containing the euclidean ball in the plane is the standard cube $B_\infty = [-1;1]^2$. I would like to know if the euclidean ball is the worst symmetric convex body to be ...
- 245
5
votes
0
answers
233
views
Reference request for convex geometry?
I am looking for a reference for an elementary convex geometry.
In Appendix A (page 1810) of this paper by Green and Tao, they cover some basic results from elementary convex geometry. The results ...
- 3,625
6
votes
0
answers
192
views
Does the ball maximize the "kissing probability" of symmetric convex bodies? [duplicate]
Given a symmetric convex body $K \subset \mathbb{R}^n$ (i.e., a bounded symmetric convex set with non-empty interior), I am interested in the following quantity
$$p_K := \Pr_{x_1, x_2 \sim K}[x_1 \in ...
- 1,016
2
votes
0
answers
155
views
Inscribed square and convexity
Let $b(X)$ be the boundary of any $X$ subset of the plane.
Does there exist $A,B$ convex compact sets of the plane, such that $C:=A\setminus B$ is simply connected and not empty, and such that ...
- 469
4
votes
0
answers
63
views
Length of curves on convex hypersurfaces
Let $\gamma\colon[a,b] \to \mathbb{R}^n$ be a smooth curve.
Let $f_i\to f$ be a sequence of convex functions on $\mathbb{R}^n$ converging uniformly on compact subsets to $f$.
Let $\hat\gamma(t):=(\...
- 21.8k
3
votes
1
answer
142
views
Busemann-Feller lemma in hyperbolic space
The classical Busemann-Feller lemma in Euclidean space says the following.
Let $K\subset \mathbb{R}^n$ be a closed convex set.
Then
for any point $x\in \mathbb{R}^n$ there exists unique nearest point ...
- 21.8k
2
votes
1
answer
345
views
Can the subdifferential become unbounded at interior points?
Consider $f: \mathbb{R}^n \to \overline{\mathbb{R}}$ a lower-semicontinuous, proper, closed and convex. My question is, can the subdifferential of $\partial f$ be unbounded in the interior of $\text{...
- 179
0
votes
0
answers
291
views
Convexity of a set of probability densities
Consider the space of probability densities $(P(\mathbb{R}^d), W_2)$ (probability measures on $\mathbb{R}^d$ with 2-Wasserstein distance).
How can we determine if a subset $Q$ is convex?
I know that a ...
- 153
3
votes
0
answers
54
views
Independence-like property of convex combinations in a vector space
Consider the following property of a set of vectors $S\subset V$, where $V$ is a real vector space:
$$
\sum_{i=1}^m w_ix_i
= \sum_{i=1}^m u_iy_i,\quad
x_i,y_i\in S,\quad
0\le w_i,u_i\le 1, \quad
\...
- 31
4
votes
1
answer
290
views
Intrinsic definition of a cone in a normal fan
Let $P\subseteq \mathbb{R}^n$ be a full dimensional polytope. Let us assume that $P$ has a facet description with the following inequalities:
$$ \left<x,u_F\right> \geq -a_F$$
where $u_F\in \...
- 1,889
11
votes
1
answer
229
views
The set of boundary vectors of compact convex body has empty interior
Let $K$ be a compact convex body in the Euclidean space $\mathbb R^n$ and $\partial K$ be its topological boundary in $\mathbb R^n$.
Definition. A vector $\mathbf v\in\mathbb R^n$ is called $K$-...
- 41.8k
4
votes
0
answers
65
views
A standard name of a strongly extremal point of a convex set
I need to name somehow points $x$ of a bounded convex set $C$ in a Banach space $X$ such that the set $$\{x^*\in X^*:x^*(x)=\max x^*[C]\}$$ of support functionals at $x$ has non-empty interior in the ...
- 41.8k
5
votes
1
answer
226
views
Sufficient condition for geodesic convexity/connectedness
Let $(\Sigma,g)$ be a connected smooth Riemannian manifold without boundary. By a minimizing geodesic I mean a geodesic whose length equals the distance between its endpoints. Let us consider the ...
- 1,371
8
votes
3
answers
831
views
Is every face exposed if all extreme points are exposed?
Let $C$ be a non-empty compact convex subset of ${\mathbb R}^d$ such that every extreme point of $C$ is an exposed point of $C$. Does it follow from this that every face of $C$ is an exposed face?
- 391
0
votes
1
answer
277
views
Projection of convex set onto a convex set [closed]
Can projection of convex sets onto convex sets be non-convex yet connected? If so is there any necessary and sufficient conditions?
Can projection of $n$ dimensional convex sets in $\mathbb R^{n'}$ ...
- 13.9k
2
votes
1
answer
75
views
Naming convention: looking for better terminology for "centrally symmetric smooth strictly convex bodies"
I have recently found myself researching a certain type of convex body in $\mathbb{R}^2$, namely centrally symmetric smooth strictly convex bodies.
Instead of repeating such a sentence repetitively I ...
- 276
6
votes
1
answer
295
views
A conjecture (or theorem?) on unit vectors in a Euclidean space
I have heard (if I am not mistaken) that there exists the following conjecture (or theorem?).
Let $u_1,\dots,u_n$ be unit vectors in an $n$-dimensional Euclidean vector space. Then there exists ...
- 21.8k
18
votes
2
answers
840
views
Reference to a conjecture on unit vectors in Euclidean space
I have heard that there exists the following conjecture (if I am not mistaken).
Let $u_1,\dots,u_n$ be unit vectors in an $n$-dimensional Euclidean vector space. Then there exists another unit vector ...
- 21.8k
2
votes
0
answers
90
views
Isometries between two convex bodies [closed]
Let $A,B$ be two convex compact subsets with non-empty interior in a Euclidean space $\mathbb{R}^n$. Let $f\colon A\to B$ be a bijective isometry between them.
Does there exist an isometry $F\colon ...
- 21.8k
1
vote
0
answers
135
views
Linearly independent support vectors of a convex set
Let $\Omega\subset\mathbb{R}^n$ a compact strictly convex set containing $0$ in its interior and let $k\leq n$.
Given a vector $x\neq 0$ in $\mathbb{R}^n$ a supporting vector $\xi_x$ in the ...
- 11
4
votes
0
answers
367
views
On intrinsic volumes
Let $\Gamma$ be a convex polytope in $\mathbb R^n$. The $k$-th intrinsic volume of $\Gamma$ is the number
$$
\text{v}_k(\Gamma)=\sum_{\Delta\in{\mathcal B}(\Gamma,k)}\text{vol}_k(\Delta)\psi_\Gamma(\...
- 311
5
votes
0
answers
481
views
Open convex hull of a closed set
Let $X$ be a closed set in a Euclidean space of finite dimension and suppose that its convex hull $H$ is open. I can prove that, in this case, $H$ is a Cartesian product of a line with an open convex ...
- 18.6k
3
votes
1
answer
177
views
Quotient space of a locally uniformly rotund space
If $X$ is a uniformly rotund space , then for any closed subspace $M$ of $X$, $X/M$ is uniformly rotund. Does this hold for a locally uniformly rotund space? That is if $X$ is locally uniformly ...
- 585
0
votes
1
answer
163
views
A property of convex cones in Euclidean spaces
EDIT: Let $K$ be a closed convex cone in a Euclidean space of finite dimension. Assume it is non-zero and not the whole space.
Does there exist a non-zero point $x\in K$ such that
$$(x,y)\geq 0 ...
- 21.8k
6
votes
1
answer
203
views
How to calculate the volume of a section of a convex body?
The following is essentially a partial case for my previous question.
Let $B\subset\mathbb{R}^m$ be the unit ball with respect to a concrete norm on $\mathbb{R}^m$, say $l^p$-norm, $p\in (1,\infty)$....
- 5,529
1
vote
0
answers
120
views
John's ellipsoid of a polytope
Suppose that $X$ is $\mathbb R^n$ with some polyhedral norm, that is, the unit ball of $X$ is an $n$-dimensional polytope. Assume that the John ellipsoid of $X$ is an Euclidean ball that touches every ...
- 113
3
votes
1
answer
484
views
Is there exists (strictly) convex function on hemisphere?
Given $\mathbb{S}^n_+:=\{x\in \mathbb{R}^{n+1}: |x|=1,x_{n+1}>0\}$ be the open domain in $\mathbb{S}^n$, or be viewed as the geodesic ball centered at the pole with radius $\frac{\pi}{2}$ in $\...
- 111