Questions tagged [convex-geometry]
A branch of geometry dealing with convex sets and functions. Polytopes, convex bodies, discrete geometry, linear programming, antimatroids, ...
1,007
questions
2
votes
0
answers
132
views
How many unit cubes are needed to 'hide' a unit cube fully in 3D?
Question: What is the smallest number of nonoverlapping unit cubes that can hide a unit cube C - in the sense that every ray emanating from the boundary of C meets the interior or the boundary of one ...
- 4,618
2
votes
1
answer
80
views
A question on strongly convex rational polyhedral cone
Let A be a strongly convex rational polyhedral cone in R^n.
Does (A+(-A))⋂Z^n=(A⋂Z^n)+(-A⋂Z^n) hold?
If it holds, why does it hold?.
CommunityBot
- 1
8
votes
3
answers
780
views
Is every face exposed if all extreme points are exposed?
Let $C$ be a non-empty compact convex subset of ${\mathbb R}^d$ such that every extreme point of $C$ is an exposed point of $C$. Does it follow from this that every face of $C$ is an exposed face?
- 31
9
votes
3
answers
750
views
Faces of the intersection of convex sets
Let $V$ be a normed real vector space and let $K_1, K_2\subseteq V$ be closed convex subsets such that the intersection $K_1\cap K_2$ is non-empty. Assume that $F_1$ is a face of $K_1$ and $F_2$ is a ...
- 31
0
votes
0
answers
93
views
On special points within convex solids with all planar sections passing through them having equal area
Question: If within a convex solid body C there is a special point P such that every planar section of C passing through P has the same area, then, can we assert that C is a sphere and P its center? ...
- 5,493
4
votes
1
answer
179
views
What are the measure of the volume and boundary (and other quermaß measures) of the positive semidefinite matrices?
Let $E$ be the real vector space of $n\times n$ real symmetric (resp. complex Hermitian) matrices, and $E_1$ those with trace $1$. Endow $E$ with the bilinear (resp. sesquilinear) form given by $(P,Q)...
- 4,743
1
vote
0
answers
29
views
Variants of cutting plane method for convex optimization
The cutting plane approach in convex optimization is a general recipe for minimizing a convex function. The argument relies on the fact that using the gradient vector, we can cut the feasible set into ...
- 2,758
64
votes
6
answers
5k
views
Shortest closed curve to inspect a sphere
Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of $...
- 7,047
1
vote
1
answer
317
views
Geometry in $\mathbb{R}^n$: angle between projections of a rectangle
Consider a hyper rectangle $R$ in $\mathbb{R}^n$ defined by $|x_i|\leq M_i$ for all $i\leq n$.
Consider a linear affine subspace $L$ of dimension $1\leq k <n$ such that $L\cap R\neq \emptyset$.
For ...
CommunityBot
- 1
0
votes
0
answers
28
views
Set of enclosed convex polyhedra in a graph
Given a straight-line graph embedded in $\mathbb{R}^3$ with known vertex coordinates and edges and no edge intersections, is it possible to find all the enclosed convex polyhedra inside? If so, is ...
- 1
1
vote
1
answer
198
views
On comparing planar convex regions of equal perimeter and area
Definitions:
The Hausdorff distance between two point sets is the greatest of all the distances from a point in one set to the closest point in the other set.
Given two planar convex regions $C_1$ ...
CommunityBot
- 1
-1
votes
0
answers
65
views
Convergence of convex compact bodies implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that:
(simple convergence) for every $x \in \mathbb{...
- 65
1
vote
1
answer
76
views
Simple convergence of convex compact set implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that for every $x \in \mathbb{R}^n$ $$ \mathbb{1}_{...
- 65
0
votes
0
answers
20
views
Directions of differentiability of log-concave measures with infinite-dimensional support
I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
- 611
6
votes
0
answers
187
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 \frac{n^{n/2}(...
- 73
0
votes
1
answer
109
views
Centroid of Minkowski sum
Let $A$ and $B$ be two compact convex subsets of $\mathbb{R}^n, n\geq 2$. Assume $x_A$ and $x_B$ are their respective centroid. If we form the Minkowski sum $C=A+B = \{x+y\mid x\in A, y\in B\}$, what ...
- 117k
3
votes
0
answers
36
views
Implementation of Friedman's algorithm of reconstructing simple polytopes
In Finding a Simple Polytope from Its Graph in Polynomial Time, Friedman gave a polynomial time algorithm on reconstructing a simple polytope from its graph. Has this algorithm been actually ...
0
votes
1
answer
84
views
Convex sets via fixed point equations
I have an equation of the general form
$$ X = S \cup T X $$
where $S \subset \mathbb R^n$ is a convex polytope (given by its bounding hyperplanes), $T\colon \mathbb R^n \to \mathbb R^n$ is a linear ...
- 749
4
votes
1
answer
281
views
Intrinsic definition of a cone in a normal fan
Let $P\subseteq \mathbb{R}^n$ be a full dimensional polytope. Let us assume that $P$ has a facet description with the following inequalities:
$$ \left<x,u_F\right> \geq -a_F$$
where $u_F\in \...
CommunityBot
- 1
3
votes
2
answers
902
views
Extensions 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
\; \| ...
CommunityBot
- 1
1
vote
0
answers
40
views
Polyhedra inscribed in a sphere with mutually non-congruent, equal area faces
Two constrained versions of the main question given in this post: Polyhedrons with mutually non-congruent faces, all of equal area. An earlier post that could be related: Cutting a spherical surface ...
- 2,758
1
vote
0
answers
82
views
Polyhedrons with mutually non-congruent faces, all of equal area
This question is closely related to Convex polyhedra with non-congruent faces
It is known that if all faces of a tetrahedron ought to have same area (or same perimeter), then, the faces are ...
- 5,493
6
votes
2
answers
1k
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 ...
- 37.2k
1
vote
1
answer
167
views
Van der Waerden conjecture and Alexandrov-Fenchel inequality
The Van der Waerden conjecture is a lower estimate of the permanent of a doubly stochastic matrix. In this article in Wikipedia it is stated that Egorychev's proof uses the Alexandrov-Fenchel ...
- 21.1k
7
votes
3
answers
619
views
A continuous version of Carathéodory's convex hull theorem
A well-known theorem of Caratheodory states that any point in the convex hull of a set $X\subset R^n$ lies in the convex hull of at most $n+1$ points of $X$. I am wondering about a version of this ...
- 7,047
1
vote
1
answer
87
views
To place copies of a planar convex region such that number of 'contacts' among them is maximized
A contact between two planar convex regions obviously happens either along a line segment or at a single point.
Question: Given a planar convex region $C$ and a number $n$, we need to lay out $n$ ...
- 5,493
1
vote
1
answer
59
views
Joint maximizer of a strongly concave function
I have a question that is arising in my research.
Suppose that $f : \mathbb{R}^ 2 \to \mathbb{R}$ is a strongly concave function, satisfying:
For every $x$, the function $y \to f(x, y)$ is maximized ...
CommunityBot
- 1
4
votes
1
answer
129
views
Characterization of convexity by connectedness of hyperplane sections
Let $S$ be a smooth closed connected embedded hypersurface in $\mathbb R^n$.
Is it true that $S$ is convex, i.e. is a boundary of a convex set, if and only if any section of $S$ by a hyperplane is ...
- 43.7k
0
votes
0
answers
47
views
Which planar convex region with specified area and perimeter maximizes/minimizes Moment of Inertia?
By moment of inertia of a planar convex region C, here we mean its moment of inertia about an axis passing through the center of mass of C and perpendicular to the plane of C.
Question: For specified ...
- 5,493
6
votes
1
answer
352
views
Is the gradient of a strictly convex, continuously differentiable function a homeomorphism?
Let $X\subseteq\mathbb{R}^n$ be a convex set. Let $f:X\to\mathbb{R}$ be a strictly convex function that is differentiable on the (non-empty) relative interior of $X$.
$\nabla f$ is a bijection, but is ...
- 117k
2
votes
1
answer
198
views
Prove inequality: $2\Big[ \sum_{k=0}^{n} (k+1) a_k \Big]^2 -\Big[1+ \sum_{k=0}^{n} a_k \Big]\Big[ \sum_{k=0}^{n} k(k+1)a_k \Big] \geq 0.$
Suppose $a_0\geq\dots \geq a_n \geq 0$ is a sequence of non-negative numbers, where $n+1\leq \sum_{k=0}^{n} a_k \leq n+2$. Then, I want to prove that the following statement is true,
$2\Big[ \sum_{k=0}...
- 117k
1
vote
0
answers
104
views
John and Lowner ellipsoid
I am looking at a proof to show that Lowner ellipsoids are unique for centrally symmetric convex body $K$. I want to show basically that
$$
\DeclareMathOperator{\Vol}{Vol}\DeclareMathOperator{\Low}{...
- 5,632
0
votes
1
answer
123
views
On 'special' points on uniform planar convex regions defined in terms of moment of inertia
The following can be easily proved using perpendicular axes theorem and intermediate value theorem:
Lemma: Given any uniform planar convex region $C$ and any point on it, $P$, there will be at least ...
- 5,493
2
votes
1
answer
194
views
Cutting convex regions into equal diameter and equal least width pieces
The diameter of a convex region is the greatest distance between any pair of points in the region.
The least width of a 2D convex region can be defined as the least distance between any pair of ...
- 5,493
6
votes
1
answer
433
views
What inequalities for convex sets are known since the work of Scott and Awyong?
In 2000, Paul R. Scott and Poh Way Awyong published the paper Inequalities for Convex Sets, which nicely collates the known results relating various natural geometric functionals (diameter, area, etc.)...
CommunityBot
- 1
3
votes
0
answers
113
views
Reference request: Carathéodory-type theorem for convex hulls of closed sets
I'm looking for a reference for the following theorem.
Theorem Let $X$ be a closed subset of $\mathbb{R}^N$, and let $a$ be a point of its convex hull $\operatorname{conv}(X)$. Then there exist ...
- 27.2k
0
votes
0
answers
35
views
For a convex body $K\subset R^n$, does the quantity $\min_{t>0} E[t^{-1} \|tg - \pi_K( t g)\|_2]$ have a name? Where has it been studied?
Consider a convex compact set $K\subset R^n$ (with non-empty interior if that helps).
Let $\Pi_K:R^n\to K$ be the projection onto $K$, defined as
$$
\Pi_K(x) = \operatorname{argmin}_{k\in K} \|k-x\|
$$...
- 11.4k
2
votes
1
answer
84
views
Is there a way to parametrize the configuration space of all convex polyhedra of a given combinatorial type as a convex set?
I'm sure this is easy/known, but I'm not hitting an appropriate search term for finding the answer and the coffee hasn't kicked in enough to come up with it myself:
Let $T$ be a simplicial 2-complex ...
CommunityBot
- 1
2
votes
2
answers
97
views
Monotonicity of perimeter of convex subsets of hyperbolic plane
I think that the perimeter of convex compact sets on the hyperbolic plane is monotone with respect to inclusion.
I am looking for a reference to the above fact.
- 103k
3
votes
1
answer
315
views
What are the John ellipsoids for a pair of (9- and 15-dimensional) convex sets of $4 \times 4$ positive-definite matrices?
What are the John ellipsoids (JohnEllipsoid) for the 9- and 15-dimensional convex sets ($A,B$) of $4 \times 4$ positive-definite, trace-1 symmetric (Hermitian) matrices (in quantum-information ...
CommunityBot
- 1
0
votes
1
answer
164
views
Density of the set of convex polygons in the Banach-Mazur distance
Is the set of convex polygons dense in the set of convex domains in $\mathbb{R}^2$, for the Banach-Mazur distance?
Any insight for a negative or positive answer is very much welcome!
- 56.6k
1
vote
0
answers
68
views
Fundamental regions in convex programming
In linear programming, the fundamental regions are polyhedra, since those are the intersection of half-spaces defined by linear inequalities. In semidefinite programming, the fundamental regions are ...
4
votes
1
answer
95
views
Separation of convexity on uniquely geodesic space
A metric $d: X \times X \to [0,\infty)$
is said to be intrinsic provided that the distance between any two points is the infimum of the lengths of
paths joining the points. A space is an inner metric ...
- 43.7k
4
votes
1
answer
165
views
Convex hull of 3 points in Cartan-Hadamard manifolds
Can the convex hull of $3$ points in a Cartan-Hadamard manifold be smooth?
A Cartan-Hadamard manifold $M$ is a complete simply connected manifold with nonpositive curvature (so it includes the ...
- 7,047
4
votes
3
answers
614
views
Mean width and perimeter
Does anyone know a simple, elementary and self-contained proof of the fact that the mean width of a convex two-dimensional body equals its perimeter divided by $\pi$?
- 60.2k
4
votes
2
answers
210
views
On faces of polytopes
$\newcommand\ext{\operatorname{ext}}\newcommand\R{\mathbb R}$Let $A$ be a convex polytope in $\R^n$ with nonempty interior.
Consider the closed convex cone
$$K_A:=\{(l,t)\in(\R^n)'\times\R\colon\, l(x)...
- 117k
2
votes
1
answer
103
views
To find the convex planar region minimizing diameter when area and perimeter are given
The basic question is to find that planar convex region for which diameter is a minimum when area and perimeter are specified.
A partial answer is given here: http://nandacumar.blogspot.com/2012/11/...
- 4,618
2
votes
0
answers
136
views
On segments of equal area cut from planar convex regions by chords
Consider a planar convex region $C$ of unit area and all chords of it that cut off a segment of area $\alpha$ from $C$. Obviously, if $C$ is a circular disk of unit area, all segments of area $\alpha$ ...
- 5,493
2
votes
1
answer
132
views
On the moment of inertia of planar convex regions and possible special nature of circular disks
We consider uniform convex planar regions and lines through their center of mass and lying in the same plane as the region; each line is parametrized by an angle $\alpha$ it makes with some reference ...
- 5,493
2
votes
1
answer
147
views
Conic hull of a rectangle
I have a simple question that appeared in research: For a rectangle $S :=[a_1,b_1] \times[a_2,b_2] \times \dots \times [a_n,b_n] \subset \mathbb{R}^n$. Let $p_0 = (a_1,a_2,\dots,a_n)$, and define $p_i ...
- 117k