The convex-geometry tag has no usage guidance.

**31**

votes

**0**answers

986 views

### Two-convexity ⇒ Lefschetz?

Assume that
$\Omega$ is an open simply connected set in $\mathbb R^n$
(two-convexity) if 3 faces of a 3-simplex belong to $\Omega$ then whole simplex in $\Omega$.
Is it true that any component of ...

**13**

votes

**0**answers

216 views

### A functional inequality about log-concave functions

Let $f,g$ be smooth even log-concave functions on $\mathbb{R}^{n}$, i.e.,$f=e^{-F(x)}, g=e^{-G(x)}$ for some even convex functions $F(x),G(x)$. Is it true that:
$$
\int_{\mathbb{R}^{n}} \langle ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

155 views

### Dividing a convex region to minimize average distances

Let $C$ be a convex region in the plane with area 1 that contains distinct points $p_1,\dots,p_n$. Say I'd like to divide $C$ into $n$ pieces $C_1,\dots,C_n$, each of area $1/n$, and I'd like to ...

**11**

votes

**0**answers

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

**11**

votes

**0**answers

783 views

### Constructive aspects of Caratheodory's theorem in convex analysis

Let me paraphrase Caratheodory's theorem in a probabilistic setup:
Let $X$ be a real-valued random variable. For $k = 1, \ldots, m$, let $f_k: \mathbb{R} \to \mathbb{R}$ be a continuous function such ...

**9**

votes

**0**answers

91 views

### What are the extremal CAT(0) metrics?

(Split off from Does every CAT(0) space embed in a product of trees? )
Fix an integer $k \ge 2$, and let
$MC0_k \subset \mathbb{R}^{\binom{k}{2}}$ be the set of possible squared-distances between $k$ ...

**9**

votes

**0**answers

341 views

### How aspherical can a Gömböc be?

A Gömböc is a homogeneous massive convex solid that can rest on a horizontal plane in just two positions of equilibrium under gravity: one stable and the other unstable. How small a proportion of the ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

333 views

### Volume-like property to upper bound lattice points in a convex body

The following question arises in passing in a joint paper that I am working on. Let $K$ be a centrally symmetric convex body in an $n$-dimensional real vector space $V$ which contains a lattice $L$. ...

**7**

votes

**0**answers

107 views

### Bang's open question strengthening Tarski's planks problem

Tarski's Planks problem,
solved by Thøger Bang in 1951, says (in a simplified $\mathbb{R}^2$ version) that it requires
"planks" (parallel strips) of total width $\ge d$ in order to completely cover
a ...

**7**

votes

**0**answers

178 views

### Minkowski's convex body theorem for ellipsoids

Minkowski's theorem states that if $K\subseteq\mathbb{Z}^n$ is a convex compact set, $K=-K$, and $\mathrm{volume}(K)\geq 2^n$, then $K$ contains a nonzero integral vector.
Can this bound be improved ...

**7**

votes

**0**answers

212 views

### From convex geometry to contact topology

Here is a problem in contact topology that was suggested by Petya's answer to this mathoverflow question of mine.
Let $S^* \mathbb{R}^n$ be the space of cooriented contact elements of $\mathbb{R}^n$. ...

**6**

votes

**0**answers

128 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) := ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

123 views

### Almost Isodiametric Sets

Hi,
The isodiametric inequality tells us that, of all sets of diameter $r$, the one with the largest Lebesgue measure is the ball of radius $r/2$ - and this holds regardless of norm. Let $\tau(r)$ be ...

**5**

votes

**0**answers

66 views

### What is the maximal convex hull in $\mathbb R^3$ of a tree with fixed total length?

Denote by $\mathcal T_n$ the set of all trees on $n$ nodes. For a tree $T\in\mathcal T_n$, we assign to each edge a non-negative length such that the sum of all lengths is 1. Denote by $v(T)$ the ...

**5**

votes

**0**answers

56 views

### Measure-minimizing simplex with fixed inradius

Let $\Delta^n$ be an $n$-simplex in $\mathbb{R}^n$. Let $V$ be the volume and $r$ the inradius (radius of the inscribed sphere) of $\Delta^n$. There is a well-known result that
$$
V \geq ...

**5**

votes

**0**answers

65 views

### Concavity of mixed volumes and mixed discriminants

For $n\times n$ symmetric matrices $A_1, \ldots, A_n$, the mixed discriminant $D(A_1, \ldots, A_n)$ can be defined as $1/n!$ times the coefficient of $t_1\ldots t_n$ in the homogeneous polynomial ...

**5**

votes

**0**answers

142 views

### Looking for the correct version of a wrong statement from Barvinok's book on convex polyhedra

The book I'm concerned with is "Integer Points in Polyhedra" by A. Barvinok, which, I must say, is turning out to be highly fascinating.
A real finite-dimensional vector space $V$ defines the ...

**5**

votes

**0**answers

193 views

### Generalization of the non-existence of a monostatic planar body

Domokos, Papadopulos, and Ruina showed that there does not exist a convex planar rigid body of uniform density which has only
one orientation of stable equilibrium and one orientation of unstable ...

**5**

votes

**0**answers

282 views

### Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...

**5**

votes

**0**answers

416 views

### Generalizations of generators / hyperplanes descriptions for cones to partially-ordered fields?

Background: given a finite-dimensional real vector space V of dimension d, I can define a pointed cone in two ways: either as a set of the form $\{r_1v_1 + \cdots + r_nv_n \mid r_1, \dots, r_n \in ...

**4**

votes

**0**answers

43 views

### Convex hull of the orbit of a matrix under permutations

Let $P$ be a generic permutation matrix on $\mathbb{R}^n$. For any vector $x \in \mathbb{R}^n$, the convex hull of the set $\{ Px : \; \text{$P$ is a permutation matrix}\}$ is the set of vectors ...

**4**

votes

**0**answers

92 views

### Alexandrov-Fenchel inequality for sets of positive reach

If $E$ is a convex subset of $\mathbb{R}^n$ with $|E| = |B_1|$, then one consequence of the classical Alexandrov-Fenchel inequalities from convex geometry is that
$$\int_{\partial E} H_{\partial E} ...

**4**

votes

**0**answers

171 views

### Osculating ellipsoids

Let $K$ be a given smooth, origin-symmetric, strictly convex body in $n$ dimensional euclidean space. At every point $x$ on the boundary of $K$ there exists an origin-symmetric ellipsoid $E_x$ that ...

**4**

votes

**0**answers

89 views

### Prove or disprove a claim about covering a polytope by convex polytopes in a certain way

Here is the claim:
Given a polytope $K$ in a unit ball in $\mathbb{R}^d$, there exists a universal constant $C(d)>0$ depending only on $d$ and a countable collection of convex polytopes ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

129 views

### Circumscribing simplex to convex body?

Q.
Does every (perhaps smooth) compact convex body $K$ in $\mathbb{R}^d$ admit a
circumscribing simplex, each facet of which touches (shares a point with) $K$?
How about a circumscribing ...

**4**

votes

**0**answers

123 views

### Hilbert metric of a sum of cones

Suppose that $K_{1}$ and $K_{2}$ are pointed closed cones in a finite-dimensional space $V$ whose Hilbert metrics $d_{1},d_{2}$ are known. Is there a way to express the Hilbert metric of $K_{1}+K_{2}$ ...

**4**

votes

**0**answers

171 views

### Convex bodies with symmetric shadows.

Theorem. If all orthogonal projections of a convex body $K \subset \mathbb{R}^n$ onto $2$-dimensional subspaces have a center of symmetry, then $K$ has a center of symmetry.
This is a classic result ...

**4**

votes

**0**answers

134 views

### Convexified threshold of a function

Upd. The question in a nutshell: find convex set on plane which is «closest» to a given non-convex set.
It is given integrable function $0\leq f(x,y)\leq 1$ with bounded support: $f(x,y)=0$ when ...

**4**

votes

**0**answers

234 views

### Smoothness of the convolution of a singular measure with itself

Let $\gamma:I\subset\mathbb{R}\rightarrow\mathbb{R}^2, s\mapsto \gamma(s)$, denote the arclength parametrization of a smooth, convex curve $\Gamma:=\gamma(I)\subset\mathbb{R}^2$. Equip $\Gamma$ with ...

**4**

votes

**0**answers

139 views

### Relationship between sequential compactness of a convex set and its extremal points

Suppose that $X$ is a compact convex subset of a topological vector space. Suppose also that the extremal points of $X$ have the additional property that any sequence $x_n$ of extremal points has a ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

88 views

### If $\angle 0xy\leq \pi/2$ for every $x\in \partial K$, $y\in K$, then $K$ is a ball

Let $K$ be a bounded closed convex set in $\mathbb{R}^d$, $0$ lies in interior of $K$. Assume that for every boundary point $x$ of $K$ the plane through $x$ perpendicular to $x$ is a support plane of ...

**3**

votes

**0**answers

82 views

### max volume of inscribed simplex in a ball

Let $B_n$ be the $n$-dimensional unit ball, and $B_n(\epsilon)$ be the spherical cap with height $\epsilon$ I am interested in the quantity
$$\Gamma:=\sup_{\Delta:\textrm{ inscribed simplex in ...

**3**

votes

**0**answers

58 views

### Polynomials connected with Gale's condition and cyclic polytopes

I was reading about cyclic polytopes and (I think naturally) became interested in polynomials $f(X) \in \mathbb{R}[X]$ which have a factorization of the form $f(X)=g(X)g(X+1)$ for some $g(X) \in ...

**3**

votes

**0**answers

124 views

### Linear transformation of a polyhedral cone

Let $C$ be a polyhedral cone in $\mathbb{R}^m$ with H- and V-representations
$C = \{x : A x \le 0 \} = \{R y : y \ge 0\}.$
The pair $(A,R)$ is referred to as a double description (DD) pair of the ...

**3**

votes

**0**answers

50 views

### Minimax-like theorems involving union and intersection of regions in $\mathbb R^d$

From Minimax theorems, we roughly know that if $f(x,y)$ is convex on $X$ and concave $Y$ for both compact $X,Y$, then:
$$
\max_{x\in X}\min_{y\in Y} f(x,y)=\min_{y\in Y}\max_{x\in X} f(x,y).
$$
We can ...

**3**

votes

**0**answers

78 views

### Covering fat objects with fat objects

The family of rectangles has the cover property, i.e.:
For every $R\geq 1$, $k\geq 1$: every rectangle with aspect ratio $kR$ can be exactly covered by $\lceil k\rceil$ (possibly overlapping) ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

99 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$, ...

**3**

votes

**0**answers

222 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} = ...

**3**

votes

**0**answers

107 views

### Covering points with a convex hull

Consider a set of $n$ points $x_1,\ldots,x_n \in \mathbb{R}^d$, for some $n \gg d$. Suppose $\{x_1,\ldots,x_n\} \subset C \subset \mathbb{R}^d$. Say that a set of points $y_1,\ldots,y_m \in C$ covers ...

**3**

votes

**0**answers

162 views

### Maximising the volume of a parallelotope in a cone with a fixed vertex

Let $C\subset\mathbb{R}^n$ be a cone with vertex at the origin, aperture $\theta$ and height $h$. Since a cone is a convex region in $\mathbb{R}^n$ we know there is a parallelotope $P$, completely ...

**3**

votes

**0**answers

220 views

### Maximum of a function on $d-$dimensional convex compact sets

Let $\mathcal C_d$ denote the set of all $d-$dimensional convex compact subsets with
barycenter at the origin of the $d$-dimensional Euclidean space $\mathbb E^d$. Given an
element $C\in\mathcal C_d$ ...

**3**

votes

**0**answers

207 views

### Maximum surface area among convex subsets of the unit sphere of a given volume

The following problem is listed in Steven Lay's "Convex Sets and Their Applications" (1982) as unsolved (paraphrased):
Let $B$ be the unit ball in $\mathbb{R}^3$ and $0 < V < \pi$. Define ...