The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
137 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
4answers
906 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
3answers
285 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
3answers
906 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 ...
21
votes
3answers
631 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
2answers
783 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
2answers
219 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
1answer
341 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
2answers
375 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
1answer
619 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
2answers
623 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
4answers
780 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
1answer
324 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
0answers
324 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
2answers
423 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
2answers
472 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
1answer
281 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 ...
1
vote
0answers
242 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
3answers
818 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
1answer
213 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 ...
13
votes
2answers
548 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
1answer
435 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
0answers
119 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 ...
9
votes
2answers
483 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
2answers
317 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
0answers
198 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
3answers
674 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
2answers
966 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 ...
6
votes
1answer
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$ ...
12
votes
3answers
636 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
3answers
776 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
1answer
354 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
2answers
569 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
1answer
369 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
1answer
794 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
0answers
211 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
1answer
553 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
0answers
188 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
2answers
239 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
4answers
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
3answers
989 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
0answers
324 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
0answers
901 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
2answers
372 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
4answers
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
2answers
593 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 ...
7
votes
3answers
501 views

sharper minkowski bound

If we want to bound the norm of the smallest ideal which generates a nontrivial ideal class, is there a better bound than Minkowski's bound? (Note that Minkowski's bound is to guarantee something ...
8
votes
2answers
480 views

Do elongated convex objects all have long simple geodesics?

Let $S$ be a closed convex surface, the boundary of a compact convex body in $\mathbb{R}^3$. I am interested in whether there are conditions on its shape that ensure that it supports a long, simple ...
2
votes
2answers
949 views

Finding points inside innermost convex hull [closed]

Given a set of points $S$ on the Euclidean plane, Onion Peeling determines the nested set $H$ of convex hulls on $S$. Define an analytical formula on $S$ which produces a point, not necessarily in ...
1
vote
1answer
295 views

How do maximum norms relatively change in Euclidean translations

Let $Q$ be the cube $[-1,1]^{3}$ and $\pi$ be a plane in $\mathbb{R}^{3}$ that contains the origin but doesn't contain any vertex of $Q$. Suppose that $A$ is an invertible linear transformation from ...