2
votes
0answers
51 views

Regularity of the Minkowski functionnal of a convex

Let $K$ be a convex compact set in $\mathbb{R}^2$ with $0 \in \overset{\circ}{K}$. The Minkowski functional associated to K is: \begin{align*} \varphi_K(x):= \inf \left\{t>0 \; : \; tx \in K ...
4
votes
2answers
218 views

Convex Sets and Nearest Neighbors

For a set $S \subseteq \mathbb{R}^n$ and a point $x \in \mathbb{R}^n$, let $c_S(x)$ be the point $s \in S$ that minimizes $\|x-s\|$ if such a point exists and is uniquely determined. It is known that ...
2
votes
1answer
104 views

Distance from constant width bodies

EDIT As @David has observed, my conjecture was clearly wrong for $\ n:=2.\ $ Let me still give it a chance for $\ n\ge 3$. I'll call a family $\ F\ $ of bound closed convex subsets of $\ \mathbb ...
4
votes
2answers
120 views

When does a cone contain its dual cone?

Let $V$ be a finite-dimensional vector space with an inner-product $(,)$ and let $C\subset V$ be a cone in $V$. Let $C^\vee$ denote the dual of $C$ with respect to $(,)$, i.e., the set of vector $v\in ...
3
votes
0answers
68 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) ...
2
votes
0answers
106 views

Convex functions with non-singular hessian measure are continuously differentiable?

It is known that every convex function $f: \Omega\to \mathbb{R}$, $\Omega$ convex subset of $\mathbb{R}^n$, has a weak derivative of bounded variation $Df\in BV_{loc}(\mathbb{R}^n)$ (e.g. Evans and ...
0
votes
0answers
81 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 ...
11
votes
0answers
171 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 ...
5
votes
1answer
157 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
1answer
195 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
0answers
157 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 ...
13
votes
2answers
277 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 ...
6
votes
0answers
126 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 ...
4
votes
0answers
111 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}$ ...
1
vote
1answer
132 views

A question concerning convex functions

Consider points $a,b,c$ (not on a line) and $x_1,...,x_n$ in $\Bbb{R}^2$. I am looking for a necessary and sufficient condition in terms of the geometric configuration of these points such that for ...
1
vote
1answer
149 views

Helly's number from biconvex functions

Helly's Theorem states the following. Suppose $X_1,X_2,...,X_N$ are convex sets in $\mathbb{R}^d$, such that for any index-set $I$ with $|I| \leq h(d) := d+1$, we have $\bigcap_{i \in I} X_i \neq ...
0
votes
2answers
236 views

Higher dimensional convex hull

Let $CH(S)$ be a convex hull of a finite set $S$ and denote the set of all the vertices of $CH(S)$ as $Vert(S)$. For a vertex $v \in Vert(S)$, it has an associated set $E(v)$ which is defined as ...
5
votes
1answer
298 views

A question on the Mahler conjecture

In its asymmetric version, the Mahler conjecture states that if $K \subset \mathbb{R^n}$ is a convex body containing the origin as an interior point and $$ K^* := \{y \in \mathbb{R}^n : \langle y, x ...
3
votes
0answers
79 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 ...
0
votes
1answer
184 views

Extensions of Carathéodory's theorem

We know about the Carathéodory's theorem which is on the convex bodies of $\mathbb{R}^d$. My question is, how far we can extend it? Is it true for say, any convex object of Banach space, or for convex ...
4
votes
1answer
179 views

Monotonicity of Loewner ellipsoid?

Given two $0$-symmetric convex bodies $K \subset L \subset \mathbb{R}^n$, is it true that the Loewner ellipsoid of $K$ is contained in the Loewner ellipsoid of $L$? I have just finished a proving a ...
2
votes
0answers
43 views

Conditions under which a set of points have a low weight representation under some basis

Let $S \subset R^d$ be a convex polytope in $d$ dimensional real space. Say that $S$ has weight $w$ if there exists some basis $x_1,\ldots,x_d$ such that for every point $v \in S$, we can write $v = ...
2
votes
1answer
218 views

another diameter-perimeter-area inequality

Recently I learnt that $$ \inf\frac{diam(C)(per(C)-2diam(C))}{area(C)}=0$$ where the infimum is taken over all plane convex bodies $C$ (say, with non-zero area). In other words, there is no ...
3
votes
2answers
265 views

a diameter-perimeter-area inequality for convex figures

Is the following inequality known? I believe it's true, but I could find no reference. For any convex body $C$ in the plane we have $$\left(4-\frac{8}{\pi}\right)area(C)\leq > ...
4
votes
0answers
157 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 ...
9
votes
2answers
219 views

Can you see smoothness of the boundary of a convex body from its shadow?

Let $d \geq 3$ and suppose that $K \subset \mathbb{R}^{d}$ is a convex body (compact, convex, non-empty interior). Is the following true? The boundary $\partial K$ is a $C^1$-manifold if and only ...
7
votes
2answers
268 views

Duality between extremal points and extremal maps

Suppose I have a convex set $C\subset\mathbb{R}^n$ such that $0\in C$ and every Cauchy sequence in $C$ converges in $C$, but $C$ need not be bounded. (Actually I want unbounded $C$). Consider the set ...
1
vote
1answer
530 views

proving the interior of a dual cone is the set of vectors whose inner product is strictly positive on the cone

Apologies for posting such a simple question to mathoverflow. I've have been stuck trying to solve this problem for some time and have posted this same query to math.stackexchange (but have received ...
2
votes
1answer
287 views

Quermassintegrals as mean curvature integrals

It is well-known that the quermassintegrals $W_{i}$ of a convex body $K\subset \mathbb{R}^{n}$ can be written as a mean curvature integral $$ W_{i}(K)=n^{-1}\int_{\partial K}H_{i-1} ...
9
votes
3answers
1k views

Area Enclosed by the Convex Hull of a Set of Random Points

Consider $n$ points generated randomly and uniformly on a unit square. What is the expected value of the area (as a function of $n$) enclosed by the convex hull of the set of points?
4
votes
1answer
303 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
0answers
260 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
2answers
625 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 ...
2
votes
2answers
476 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 ...
1
vote
0answers
251 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 ...
13
votes
2answers
562 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 ...
5
votes
2answers
318 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
200 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 ...
8
votes
1answer
557 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$?
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 ...
30
votes
0answers
913 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
375 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 ...
1
vote
0answers
386 views

Does the dual Banach space $B(\ell^\infty)$ have weak* normal structure?

Let $K$ be a bounded closed convex subset of a Banach space $E$. A point $x$ in $K$ is called a diametral point if $$ \sup_{y\in K} \|x-y\|={\rm diam}(K). $$ where ${\rm diam}(K)$ denotes the ...
0
votes
3answers
525 views

a different algebra/representation for convex sets

Hi, I was dealing with finding a feasible region for a set of norm inequalities and the feasible region is convex. The question is not about how to find the feasible region but how to represent the ...
11
votes
5answers
737 views

A characterization of convexity

While doing some research on polytopes I came to the following question. Maybe it's already somewhere but anyway I'll post it here. Let $X\subset \mathbb{R}^3$ be such that, for every plane $P$, ...
5
votes
2answers
699 views

Maximal Ellipsoid

John's Theorem can be stated as "To every compact, convex body, there is a unique inscribed ellipsoid, whose volume is maximal among all inscribed ellipsoids." It goes on to classify this maximal ...