The convex-geometry tag has no wiki summary.

**0**

votes

**1**answer

57 views

### extreme points of the image of a nonlinear vector-valued function

Consider a continuous function $f : D \rightarrow \mathbb{R}^m$, where $D \subseteq \mathbb{R}^n$ is a compact convex set. I am in search of a result that helps me say something about the extreme ...

**5**

votes

**2**answers

211 views

### Triangulations of special polyhedra

Let $A_1,A_2,A_3 \in \mathbb{N}^3$ be three points in space all lying in some plane $x+y+z=d$ where $d$ is a positive integer. If $\{e_1,e_2,e_3\}$ is the standard basis in $\mathbb{R}^3$, we can ...

**6**

votes

**2**answers

196 views

### Random walk in a convex body or convex polytope

Let $\Delta$ be a convex body (i.e. a compact convex subset) or a convex polytope in
$\mathbb{R}^n$. Let $x$ be a point inside $\Delta$ and consider a (uniform) random walk starting at $x$ inside ...

**3**

votes

**1**answer

204 views

### Generalization of notion of convexity

I am searching for the correct term for the following, if it exists.
A set $X\subset \mathbb{R}^2$ is called $r$-convex if for any two points $x_1, x_2\in X$ such that there exists an arc of radius ...

**0**

votes

**0**answers

86 views

### additive support functions of a convex set

Let $K \subset \mathbb{R}^d$ be a compact, convex set. It could be uniquely determined by its support function (for $u$ on the unit-sphere $S^{d-1}$), given by
$$h_K(u) = \sup \{ \sum_{i=1}^d x_i ...

**21**

votes

**4**answers

621 views

### Is the diameter of a centrally symmetric convex body realized by a pair of antipodal points?

Let $S \subset \mathbb{R}^n$ be the boundary of a centrally symmetric convex body and provide $S$ with the geodesic metric given by its embedding in Euclidean space (i.e., the distance between two ...

**2**

votes

**0**answers

97 views

### Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?

I duplicate here a question I asked on math.stackexchange.
Question: Which inequalities similar to the famous isoperimetric inequality is known?
conjectured?
I recently learned about some ...

**3**

votes

**2**answers

147 views

### Perimeter of a 'trapped' convex set

Consider the following setup: three bounded, 'nice' convex sets $A \subseteq B \subsetneq C \subset \mathbb{R}^2$, and three points $x,y,z\in \partial A\cap \partial B\cap \partial C$ (see edit ...

**2**

votes

**0**answers

95 views

### Quickly checking an inequality on a convex region

I previously posted this question to math.sx at: http://math.stackexchange.com/questions/748015/quickly-checking-if-an-inequality-holds-on-a-convex-region but I'm thinking that MO may be more ...

**4**

votes

**2**answers

138 views

### Computational complexity of deciding isomorphism of rational polyhedral cones

Let $C,C'$ be rational polyhedral cones in $\mathbb R^n$ both with non-empty interior. Rational means they are generated by vectors with rational entries. One says that $C,C'$ are isomorphic if there ...

**2**

votes

**0**answers

65 views

### Decomposing a cone based on decompositions of its facets

Let $C$ be a cone in $\mathbb{R}^d$, and let $x_1, \dots, x_k$ be its extreme rays. Suppose that the $x_i$ satisfy:
For all $i, j$, $\langle x_i, x_j \rangle \ge 0$,
There is a partition $A \cup B ...

**1**

vote

**0**answers

66 views

### Tubular neighbourhood which is nowhere piecewise linear

I recently asked this question.
I think, if the following were true, then I would solve my problem.
Let $E\subset\{(x_1,\dots,x_n)\in\mathbb R^n\;|\;x_i\geq 0\, \&\, \sum_ix_i=1\}$ be a convex ...

**6**

votes

**0**answers

140 views

### An affine invariant of convex bodies

The following invariants of "pointed" convex bodies (i.e., pairs consisting of a convex body and a distinguished point in its interior) roughly measure how many of its linear images fit between the ...

**3**

votes

**0**answers

84 views

### Intrinsic volumes of a family of convex sets $\{K_n\}$

Consider a family of convex sets $\{K_n\}$ such that $K_n \subset \mathbb{R}^n$ for each $n$. The kinds of sets one might be considering could be, for instance,
$K_n$ is the cube of side $2A$, ...

**5**

votes

**1**answer

136 views

### References to proofs of a theorem by Van Kampen-Flores

Theorem (Van Kampen-Flores 1930s) From any 7 points in four-dimensional space one can choose two disjoint triples such that the triangles with vertices at the triples intersect each other.
This ...

**6**

votes

**0**answers

121 views

### Norms and distributions

Question 1. Is there a nice or explicit way to describe the class of all distributions (generalized functions) $\mu$ on the $n$-sphere $S^n \subset \mathbb{R}^{n+1}$ for which the function
$$
F(v) := ...

**1**

vote

**1**answer

165 views

### Homotopy with non piece-wise linear boundary

in the middle of a long proof I encounter the following problem.
Let $E$ be a closed and convex set in $\mathbb R^n$ such that for all $\vec x\in E$ it holds that $\sum_ix_i=1$. (We can understand ...

**5**

votes

**3**answers

301 views

### Probability that convex hull of multivariate Gaussian sample contains a given point

I am generating random vectors $X_1, \dots, X_N$ from a $d$-dimensional multivariate normal $\text N(\mu, \Sigma)$. I would like to know what is the probability that a given point $y \in R^d$ falls ...

**11**

votes

**2**answers

430 views

### Triangle with largest perimeter in a convex region

What is the largest value of $r$ such that the following statement is always true?
"Let $C$ be a convex region with area $1$. There must exist a triangle contained in $C$ whose perimeter is at least ...

**4**

votes

**2**answers

117 views

### The maximal discrete parallelepiped in a convex body

Does the positive constant $c_d$, depending only from dimension, with the following property exist?
Property:
for every convex body $K\subset \mathbb R^d$ there exists parallelepiped $P\subset K$ ...

**1**

vote

**0**answers

135 views

### Extreme points of a set related to semidefinite cone

Let $X \in \mathbb{R}^{n \times n}$ be symmetric matrix. Consider the following set
$$
\mathcal{C} = \{ X: X \succeq 0, \quad 0 \le X_{ij} \le 1, \forall i,j\}
$$
What are the extreme points of this ...

**11**

votes

**0**answers

307 views

### Unit ball of smallest volume in a Hilbert geometry

In a letter to Felix Klein published in Mathematische Annalen 1895 (see here), Hilbert generalized the Cayley-Klein model of hyperbolic geometry by defining a metric on the interior of a convex body ...

**1**

vote

**2**answers

92 views

### Extreme points and centroid

It is well-known that the centroid of a triangle is the intersection point of its three medians. The medians happen to be area bisectors, but it seems that most (all?) other lines through the ...

**2**

votes

**0**answers

58 views

### Measure of points with small neighborhood in convex bodies

Let $K \subseteq \mathbb{R}^n$ be a "fat" convex body, i.e. one that contains a ball of radius 1. I'm interested in the following question about points $y \in K$: If you take a normally distributed $e ...

**2**

votes

**1**answer

192 views

### Approximation of a convex body by a contained polytope

This question deals with approximating a convex body (a compact convex set of $\mathbb{R}^d$ with non-empty interior) by convex polytopes.
For a given $\delta$, let $n_\delta$ be the number of faces ...

**11**

votes

**0**answers

185 views

### How large are the smallest-area projections of a high-dimensional convex body?

Let $B$ be a convex body in $\mathbb{R}^d$, equipped with its standard Euclidean form, and assume that
$$\intop_B x \, dx = 0$$
$$\frac{1}{|B|_d} \intop_B x_i x_j \, dx = \delta_{ij},$$
a ...

**3**

votes

**1**answer

91 views

### Generalizations of Directly Similar Theorem?

There is an attractive theorem that says that if two plane figures
are directly similar, then so is any convex combination of them.
Below, $P_1$ and $P_2$ are directly similar polygons: they have
the ...

**3**

votes

**2**answers

246 views

### The epigraph of a semi-convex function has positive reach

I've been trying to prove the following theorem for several hours with no result so far.
Claim. Let $f:\mathbb{R} \to \mathbb{R}$ be a semi-convex function, i.e. there exists a constant $C > 0$ ...

**6**

votes

**1**answer

170 views

### Shortest curve with given convex hull

Suppose $S\subset\mathbb{R}^2$ is compact and convex. Suppose $\Gamma:[0,1]\to S$ is a continuous curve that passes through every extreme point of $S$, i.e., the convex hull of $\Gamma([0,1])$ is $S$. ...

**3**

votes

**1**answer

200 views

### Map from a convex polygon that increases distance

At the risk of asking an extremely stupid question, suppose that $P\subset\mathbb{R}^2$ is a convex polygon with area $1$ that contains the origin, and let $r$ denote the farthest distance between the ...

**6**

votes

**1**answer

125 views

### Maximizing ratio volume/diameter^n by an affinity

Suppose we have a convex compact body $D\subset \mathbb R^n$. We can try to apply affine transformation keeping the volume and decreasing the diameter of $D$.
It is clear that there is a constant ...

**1**

vote

**0**answers

110 views

### Maximizing an integral over a convex region

Let $C$ denote a compact, convex region in the plane containing the origin with unit area, and let $f$ be a probability distribution on $C$. Let $f^\ast$ denote the distribution that maximizes the ...

**1**

vote

**1**answer

114 views

### 2-neighborhood of a simplex

Let $\Delta$ be an $n-1$-simplex in ${\mathbb R}^{n-1}$. For each vertex $v$ of $\Delta$ let $H_v$ be the hyperplane through $v$ and parallel to the opposite facet. By 2-neighborhood of a simplex I ...

**6**

votes

**0**answers

171 views

### Choquet theory and Hilbert's fourth problem

The following text is an attempt to see Hilbert's fourth problem in a new light.
Definition. A pseudometric $d$ on $\mathbb{R}^n$ is called projective if whenever a point $z$ belongs to a line ...

**2**

votes

**1**answer

135 views

### Circumscribed ellipsoid of minimum Hilbert-Schmidt norm

Let $K\subseteq \mathbb{R}^n$ be a full-dumensional convex body. The Löwner ellipsoid of $K$ is the unique ellipsoid of smallest volume containing $K$. My question is about a related object: the ...

**13**

votes

**2**answers

305 views

### Lattice points and convex bodies

Given are two convex bodies $K, L \subset \mathbb{R}^n$ that contain the origin as an interior point. Assume the number of integer points contained in $\lambda K$ equals the number of integer points ...

**7**

votes

**0**answers

112 views

### Does every convex polyhedron have a combinatorially isomorphic counterpart whose angles between edges are rational multiples of $\pi$?

After reading these very interesting questions, I came up with another one:
Does every convex polyhedron have a combinatorially isomorphic counterpart whose angles between all pairs of edges meeting ...

**1**

vote

**1**answer

126 views

### Relative interior and dense subsets

(This is a cross-post from here.) Let $A,B\subseteq \mathbb R^d$ be non-empty, such that $B\subseteq \overline A.$ For $S\subseteq\mathbb R^d$ define the relative interior of $S$ by ...

**1**

vote

**1**answer

143 views

### Volume in tropical geometry as compared to volume in convex geometry

In tropical geometry, is there a notion of volume. Maybe one with some of the properties as found in classical convex geometry? If so, is there a good reference that elaborates on this question.
I ...

**4**

votes

**0**answers

193 views

### Wasserstein distance, convex polytopes and extreme points

Let us consider convex polytopes with $K$ extreme points in $\mathbb{R}^d$. Let $\mathbf{P}$ be such polytope, and let $\text{ext}(\mathbf{P})$ denote its set of extreme points, so that $\mathbf{P} = ...

**5**

votes

**3**answers

1k views

### Set of Positive Definite matrices with determinant > 1 forms a convex set

While reading a paper An Arithmetic Proof of John’s Ellipsoid Theorem by Gruber and Schuster, I have a question on their proof.
Consider an $n\times n$ real symmetric and positive definite matrix ...

**6**

votes

**0**answers

130 views

### Variations on a problem of S. Mazur

In problem 76 of the Scottish Book Mazur asked
Given a convex body $K$ in three-dimensional space and a point $o$ in its interior, consider the surface $S$ formed by all points $p$ such that the ...

**1**

vote

**0**answers

92 views

### Distance function from the origin to the boundary of a convex polytope

Let $K\subseteq \mathbb R^n$, $n\ge 3$ be a convex bounded polytope containing the origin in its interior. Consider the unit sphere with geodesic distance $(\mathcal S^{n-1},d)$ and define the ...

**3**

votes

**1**answer

157 views

### Algorithmic Version of John's Decomposition of Convex Body

While reading textbooks on convex geometry, I heard about Fritz John's theorem on convex body, which is known as John's Theorem or John's Decomposition.
(I know that there are many variants, but this ...

**1**

vote

**0**answers

73 views

### Is the size of $\varepsilon$-nets of the Euclidean ball exponential for large $\varepsilon$

Let $X$ be the unit ball of $(\mathbb{R}^n,\|\cdot\|_2)$. A finite set $N=N(\varepsilon)$ is a $\varepsilon$-net of $X$ if every point in $X$ is at most a distance $\varepsilon$ from a point from $N$.
...

**15**

votes

**2**answers

850 views

### Intuitive explanation of Dvoretzky's theorem

I am wondering if anyone has an enlightening explanation of why Dvoretzky's theorem (which says that a high-dimensional convex body has an almost round central section) is true -- there are a number ...

**0**

votes

**1**answer

97 views

### A question about rational convex cone

Edit: Fix a lattice $N = \mathbb{Z}^n$ and let $N_{\mathbb{R}} = N \otimes \mathbb{R}$.
Let $C(S)$ be a strongly convex rational cone in $N_{\mathbb{R}}$ generated by a finite set $S \subset N$, with ...

**4**

votes

**3**answers

301 views

### Can the intersection of the boundaries of compact and convex sets be a single element?

Let $H_1,H_2,\dots,H_n$ be compact and convex sets in $\mathbb{R}^n$ such that $\bigcap_{j=1}^n H_j$ has non-empty interior and for each $i=1,2,\dots,n$ there exist at least one element $x \in H_i$ ...

**8**

votes

**1**answer

237 views

### Largest convex hull of a unit length path

What is the largest area possible for the convex hull of a path of unit length lying on a plane? For what paths is that largest area attained?

**1**

vote

**0**answers

115 views

### Extenstions of Urysohn's inequality

A version of Urysohn's inequality states that for a symmetric convex body $K \subset \mathbb{R}^n$, one has
$$
\left(\frac{\text{vol}(K)}{\text{vol}(B_2)} \right)^{1/n} \le \frac{1}{\sqrt{n}} E
\; \| ...