The convex-geometry tag has no wiki summary.

**4**

votes

**1**answer

334 views

### Generalized widths and reverse Urysohn inequalities

This question is inspired by the discussion in MO questions "Local minimum from directional derivatives in the space of convex bodies" and "Bodies of constant width?" about generalized notions of ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**4**answers

1k views

### Delaunay triangulations and convex hulls

This is a reference request.
I have the impression that those who work in computational geometry are accustomed to the following. You have some locally finite set of sites in $\mathbb{R}^n$ and you ...

**6**

votes

**3**answers

288 views

### Large geodesically convex subsets of tori

Let $X=\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and let $E$ be a proper open subset of $X$. We say $E$ is geodesically convex if for any $x,y\in E$ the shortest geodesic connecting $x$ and $y$ lies in ...

**10**

votes

**3**answers

970 views

### Isometric (?) embedding problem.

Given a convex surface $S$ in $\mathbb{R}^3,$ you can associate to each point the length of the inward pointing normal contained inside $S.$ Call this quantity $s(x).$ Now, given a positive function ...

**24**

votes

**3**answers

697 views

### Largest possible volume of the convex hull of a curve of unit length

What is the largest possible volume of the convex hull of an open/closed curve of unit length in $\mathbb{R}^3$?

**17**

votes

**2**answers

806 views

### Placing points on a sphere so that no 3 lie close to the same plane

Motivation
I am working with arbitrary parallelopiped tilings given by projection from a higher dimensional space. The collection of tiles, and some properties of the higher dimensional space are ...

**12**

votes

**2**answers

224 views

### Smallest containing simplex

Let $V_n$ be the least real number such that for every convex subset of $\mathbb{R}^n$ with hypervolume $1$ there is a containing simplex with hypervolume $V_n$.
What is known about $V_n$? Is there a ...

**1**

vote

**1**answer

368 views

### Convex Polygon - Splitting into Two Congruent Pieces

Dear All,
I have convex polygon (expressed by points in cartesian coordinate system). I am looking for a solution to splitting into two congruent pieces. Is there any way to to estimate the points ...

**6**

votes

**2**answers

378 views

### Complexity of detecting a convex body in $\mathbb{R}^n$?

Let $K_0$ be a bounded convex set in $\mathbb{R}^n$ within which lie two sets $K_1$ and $K_2$. $K_0,K_1,K_2$ have nonempty interior. Assume that,
$K_1\cup K_2=K_0$ and $K_1\cap K_2=\emptyset$.
The ...

**1**

vote

**1**answer

647 views

### Applications of ham sandwich type results. References? A general principle?

Lately there has been a lot of interest on applications of the ham sandwich theorem and related results. There is a bunch of lecture notes and surveys that touch upon the subject. I dont know of any ...

**4**

votes

**2**answers

635 views

### gradient of convex functions

Hello. Can somebody help me with the following question that I have thought over for quite some time, to no avail?
Let $f$ be a smooth function (class $\mathrm{C}^{\infty}$), $f:\mathbb{R}^n ...

**8**

votes

**4**answers

863 views

### Applications of Hilbert's metric

Among the fascinating constructions in mathematics is the Hilbert metric on a bounded convex subset of ${\mathbb R}^n$.
Where, within mathematics, is it used ? I know at least a proof of the ...

**5**

votes

**1**answer

354 views

### Isometric embedding a convex cap to render its boundary planar

I would like to know if there is a polyhedral analog to this beautiful
theorem of Hong:
Theorem 11.0.1.
Any smooth positive disk $(\bar{D},g)$ with a positive geodesic
curvature along ...

**0**

votes

**0**answers

406 views

### Upper and Lower Bounds of the Total Surface Area of Convex Polytopes that Partition a Hypercube

Let $C$ be a hypercube in $\mathbb{R}^D$ with edge length of $L$. Let $\mathcal{P}_1,\ldots,\mathcal{P}_K$ be $K$ convex polytopes that partition $C$. Let $S_k$ be the surface area of the polytope ...

**1**

vote

**2**answers

472 views

### Extreme points of transportation polytope

I'm interested in $n \times m$ joint probability tables with prescribed row and column marginals. Such tables form a convex set known as the transportation polytope. What are the extreme points of ...

**2**

votes

**2**answers

560 views

### Finding smallest ellipsoid that circumscribes over intersection of two ellipsoids that do not have common center

Does this already exist in literature? The closest Ive been able to find is circumscribe intersection of two ellipsoids with a common center by W. Kahan ...

**2**

votes

**1**answer

291 views

### Angle btween Coordinate Vector and Normal Vector of Facet in a Convex Polytope, Asking for a Counterexample

Definitions
Let $\mathcal{C}$ be a convex polytope in $\mathbb{R}^{D}$ with $K$-facets
$F_{1},\ldots,F_{K}$. I denote the normal vector of the $k^\mathrm{th}$ facet as
...

**12**

votes

**1**answer

658 views

### Optimal 8-vertex isoperimetric polyhedron?

I know from Marcel Berger's
Geometry Revealed:
A Jacob's Ladder to Modern Higher Geometry
(p.531)
that it is not yet established which polyhedron in $\mathbb{R}^3$ on 8 vertices achieves the optimal ...

**1**

vote

**0**answers

273 views

### Computing the intersection of dual affine subspaces

Suppose we have a convex function , $\phi(x): R^d \to R$. It is well known that the Legendre transform of $\phi$ is also a convex function, and can (loosely) be thought of as the dual or derivative ...

**2**

votes

**3**answers

834 views

### Draw a Random Line Through a Voronoi Tessellation, What is the Average Number of Voronoi Cell the Line Intersects?

Update: problem reformulation
Following the advice in comments, I now restate my problem using Voronoi
tessellation.
Given a unit hypercube $H_n=\{(x_1,\ldots,x_n)\in \mathbb{R}^n: 0\leq x_i\leq
...

**3**

votes

**1**answer

220 views

### Sobolev type inequalities involving affine metric

Let $\mathcal{M}$ be a compact smooth hypersurface in $\mathbb{R}^{n}$ with affine metric $h$ and affine volume measure $d\mu_{h}$. If
$$\int_{\mathcal{M}}|\nabla f|^2_{h}d\mu_{h}$$ is small what can ...

**14**

votes

**2**answers

597 views

### Do the elementary properties of mixed volume characterize it uniquely?

Background
Take 2 convex sets in $\mathbb{R}^2$, or 3 convex sets in $\mathbb{R}^3$, or generally, $n$ convex sets in $\mathbb{R}^n$. "Mixed volume" assigns to such a family $A_1, \ldots, A_n$ a ...

**15**

votes

**1**answer

444 views

### Convex bodies with constant maximal section function in odd dimensions

In 1970 or so, Klee asked if a convex body in $\mathbb R^n$ ($n\ge 3$) whose maximal sections by hyperplanes in all directions have the same volume must be a ball. The counterexample in $\mathbb R^4$ ...

**3**

votes

**0**answers

160 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

**1**answer

229 views

### Polar interpretation of convexity

Let $C$ be a convex polygon in the plane containing the origin, and let $r(\theta)$ for $\theta\in[0,2\pi)$ be a parametrization of its boundary. Is there a condition on $r$ that is equivalent to (or ...

**9**

votes

**2**answers

540 views

### Concentration of measure for arbitrary convex bodies?

There are various "concentration-of-measure" theorems,
the best known that due to Lévy,
which is this (informally): the volume of a sphere $S^d$ in $d$ dimensions is largely
concentrated around an ...

**5**

votes

**2**answers

323 views

### Distributing points with respect to a concave function

Suppose I have a concave function defined on the unit interval such that $f(0) = f(1) = 0$ and $\int_0^1 f(t) dt = \alpha$, where $\alpha$ is "small" (say $0.01$ or thereabouts). Say I distribute $n$ ...

**0**

votes

**0**answers

205 views

### How do control the boundary regularity of the Legendre transformation domain from a convex function

Let f(x) be a strongly convex smooth function (its Hessian matrix is positive definite) defined in a convex domain D, introduce the Legendre transformation
$$x=(x_1,...,x_n)\rightarrow ...

**4**

votes

**3**answers

725 views

### Area-preserving map between rectangles and fat polygons

Are there any well-known continuous area-preserving maps between fat convex polygons and fat rectangles? Specifically, given a fat convex polygon $C$, is there a natural way to choose a fat rectangle ...

**11**

votes

**2**answers

1k views

### The cone of positive semidefinite matrices is self-dual? (reference needed)

I'm seeking a reference for the following fact.
The cone of positive semidefinite matrices is self-dual (a.k.a. self-polar).
This result is relatively easy to prove, has been known for a long ...

**7**

votes

**1**answer

1k views

### Geometric meaning of derivatives of the curvature

Let $\Gamma$ be a sufficiently smooth, closed, convex curve in the plane parametrized by arclength $s$. Further assume that $\kappa>0$ and that the second derivative of $\kappa$ with respect to $s$ ...

**16**

votes

**4**answers

774 views

### Is there a midsphere theorem for 4-polytopes?

The (remarkable) midsphere theorem says that each combinatorial
type of convex polyhedron may be realized by one all of whose edges are
tangent to a sphere
(and the realization is unique if the center ...

**3**

votes

**3**answers

849 views

### Minimum norm of convex hull

Dear all,
I am currently stuck at a problem which seems too easy to be stuck at to me...
Summary
Let $H$ be the convex hull of the points $d_1,\ldots, d_n\in \mathbb{R}^d$. How can one compute
...

**2**

votes

**1**answer

357 views

### A min-max formula for depth of the origin in a convex set

Depth is defined as the distance to the boundary of a set, i.e., $\operatorname{depth}(x, C) = \operatorname{dist}(x, \mathbb{R}^n \backslash C)$.
Let $C$ be a convex set that contains the origin. I ...

**10**

votes

**2**answers

589 views

### Helly theorem + Nerve

Consider nerve $\mathcal N$ of a finite set of convex sets in $\mathbb R^n$.
Helly theorem says that $\mathcal N$ is completely determined by its $n$-skeleton, say $\mathcal N_n$.
It seems that not ...

**3**

votes

**1**answer

377 views

### minimal maximal ellipsoids

Suppose $K$ is a centrally symmetric, strictly convex body in $\mathbb{R}^2$. Let denote the curvature and the support function of $\partial K$, boundary of $K$, respectively with $\kappa$ and $s$. If ...

**6**

votes

**1**answer

866 views

### Equations for an algebraic gömböc

A gömböc is a $3-$dimensional convex body (having uniform density) which has exactly one stable and one instable equilbrium position (see http://en.wikipedia.org/wiki/G%C3%B6mb%C3%B6c).
Such a convex ...

**3**

votes

**0**answers

219 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$ ...

**8**

votes

**1**answer

588 views

### volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?

We denote by $\otimes_{\epsilon}$ the injective Banach tensor product.
Which is the asymptotic volume of the unit ball of the Banach space $\ell_1^n\otimes_{\epsilon}\ell_1^n$?

**3**

votes

**0**answers

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

**3**

votes

**2**answers

244 views

### volume of the projected body

Suppose $K$ is an $n$-dimensional $C^2$ convex body in $\mathbb{R}^{n+1}$. We choose two distinct directions $z_0, z_1\in\mathbb{S^{n}}$. If $P_1$ and $P_2$ are the corresponding hyperplanes($z_0\perp ...

**36**

votes

**4**answers

2k views

### Polynomial roots and convexity

A couple of years ago, I came up with the following question, to which I have no
answer to this day. I have asked a few people about this, most of my teachers and some
friends, but noone had ever ...

**8**

votes

**3**answers

1k views

### Listing lattice points in a simplex

Let $n \in \mathbf{Z}_{\geq 1}$. Is there an algorithm which, given a simplex $\Delta \subset \mathbf{R}^n$ specified as the convex hull of $v_0,\dots,v_n \in \mathbf{Z}^n$, computes the set $\Delta ...

**9**

votes

**0**answers

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

**30**

votes

**0**answers

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

**3**

votes

**2**answers

390 views

### Submanifolds lying on the boundary of a convex domain

Let $M$ be a submanifold of $\mathbb R^n$. Call $M$ locally convex if locally $M$ is contained in the boundary of a convex domain of $\mathbb R^n$.
Is there any known condition that is equivalent to ...

**17**

votes

**4**answers

1k views

### Analogy of Parseval identity for Legendre Transform ?

Parseval's identity states that the sum of squares of coefficients of the Fourier transform of a function equals the integral of the square of the function, or
$$ \sum_{-\infty}^{\infty} |c_n|^2 = ...

**12**

votes

**2**answers

646 views

### Point on a line nearest a point in Banach space

I have a Banach space geometry question (a curiosity-driven spin-off from a research topic). Given a point $x$ on the unit sphere of a Banach space and a vector $y\ne 0$, there is a multiple $t_0y$ of ...