The convex-geometry tag has no usage guidance.

**4**

votes

**1**answer

22 views

### Volume satisfying inequality constraints (simplex subset)

Is there a way to find the volume of the "feasible region" of a standard simplex satisfying simple range constraints?
$x_1+x_2+...+x_n = 1$
$a_1 \le x_1 \le b_1$
$a_2 \le x_2 \le b_2$
$...$
$a_n \le ...

**2**

votes

**1**answer

71 views

### Set of regular points in an Alexandrov space with curvature bounded below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere $S^{n-1}$.
...

**3**

votes

**1**answer

147 views

### Matching moments in even dimensions

Let $D$ be a probability distribution on the unit interval $[0,1]$ with moments $\mu_i=\mathbb{E}_D [x^i]$. Let $\delta(x)$ be a singleton probability distribution with all weight at $x\in [0,1]$. ...

**18**

votes

**5**answers

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

**2**

votes

**2**answers

224 views

### Cardinality of non-integer points in the translation of the Minkowski sum of convex hull.

Let $\operatorname{conv}(a_1,\ldots,a_m)$ denote the convex hull of $\{a_1,\ldots,a_m\}$. Let $\mathbb{Z}_+=\mathbb{N}\cup\{0\}$ and $\mathbb{Q}_+$ denotes the positive (inluding 0) rational numbers. ...

**2**

votes

**1**answer

217 views

### Homotopy with non piece-wise linear boundary

in the middle of a long proof I encounter the following problem.
Let $E$ be a closed and convex set in $\mathbb R^n$ such that for all $\vec x\in E$ it holds that $\sum_ix_i=1$. (We can understand ...

**1**

vote

**0**answers

49 views

### Finding optimal linear transformation for intersection of convex polytopes

I previously posted this on MathSE and am now trying here.
I have the following situation, as shown in the following diagram:
$W=\{w_i\}_{i=1..|W|}$ is a set of vertices (show in diagram in ...

**6**

votes

**1**answer

147 views

### Tighter Caratheodory on the moment curve?

The moment curve is the set of points of the form
$$(t,t^2,t^3,...,t^n) \in R^n$$
Let $M$ be the portion of the moment curve where $t\in [0,1]$, and let $\overline{M}$ be the convex hull of $M$.
...

**4**

votes

**2**answers

86 views

### Inscribed parallelotope in a $d$-simplex

The problem setup is simple: Given a $d$-simplex $\Delta_d:=\{(x_1,\cdots,x_d):x_i\geq 0,\sum_i x_i\leq 1\}$, can we construct a finite sequence of parallelotope $A_i$ so that $\Delta_d=\cup_{i=1}^N ...

**1**

vote

**0**answers

31 views

### Perimeters of the cells of a convex tessellation

Let $C$ be a compact, convex region in $\mathbb{R}^2$, and say we have scalars $a_i, b_i, c_i$ for $i\in\{1,\dots,n\}$. Consider the tessellation $R_1,\dots,R_n$ of $C$ defined by letting ...

**0**

votes

**0**answers

25 views

### Inscribed polytopal approximation to a convex body

This question is on the continuation of the post
Approximation of convex body by polytopes
The central problem I am interested is an explicit construction of inscribed polytope with at most $n$ ...

**3**

votes

**1**answer

119 views

### Find the minimum distance between two convex hulls

We work over $\mathbb{R}^N$. Let $\mathbf{P}_1$ denote the hyperplane constructed using $N$ points, each of which is on a different axis (there are $N$ axes). We denote by $\mathbf{P}_2$ the convex ...

**5**

votes

**0**answers

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

**0**

votes

**0**answers

51 views

### lattice basis reduction of the orbit of a rational vector on the torus

LEt $v=(p_1/q,...,p_n/q)$ be a vector of the torus $\mathbb{T}^n$, such that for any $i$, $p_i$ and $q$ are relatively prime. Let $L= \{ kv \mod \mathbb{T}^n , k=0,...,q-1 \}$.
What is the lattice ...

**3**

votes

**1**answer

93 views

### The sign of the mean curvature on convex cones in three dimensions

my question is as follows. It is known that a closed smooth curve in $R^2$ is convex iff its (signed) curvature has a constant sign. I wonder if one can characterize smooth convex cones in $R^3$ in a ...

**6**

votes

**4**answers

97 views

### Uniform Sampling Subject to Linear Equalities and Non-Negativity Constraint

I'm trying to sample uniformly on the intersections of faces of several simplicies, with all coordinates being non-negative. That is, given constraints
$$A\vec{w}=\vec{b} \ \ and \ \ \vec{w} \geq ...

**4**

votes

**0**answers

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

**17**

votes

**5**answers

1k views

### How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the
"concentration-of-measure"
phenomenon is that,
for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$,
"most of the mass is close to the equator, for any equator."1
...

**21**

votes

**10**answers

9k views

### Algorithm for finding the volume of a convex polytope

It's easy to find the area of a convex polygon by division into triangles, but what is the optimal way of finding the volume of higher-dimensional convex bodies? I tried a few methods for dividing ...

**6**

votes

**1**answer

101 views

### Lattice parallelogram of minimal area containing convex lattice polygon

What is the minimal constant $\alpha$ so that for any convex lattice polygon $F$ there exists a lattice parallelogram $P\supseteq F$ of area $A(P)\leq \alpha\cdot A(F)$?
It is not hard to show that ...

**5**

votes

**1**answer

143 views

### partition of a convex set into squares

Let $P$ denote the perimeter function. It's not hard to prove that for any rectangle $R$ in $\mathbb{R}^2$, $R$ can be partitioned into a countable collection of squares $\{Q_k\}_{k=1}^{\infty}$ such ...

**5**

votes

**1**answer

149 views

### Measurement of “symmetry” of a convex body

I often hear that the regular simplex is "the least" symmetric convex body, and I've heard that there are some measures of symmetry of a body, that the simplex minimizes.
Could you please explain or ...

**9**

votes

**4**answers

305 views

### When is the convex hull of two space curves the union of lines?

I am interested in the convex hull of two space curves. Let $A,B\subset \mathbb R^3$ be two spaces curves. I am interested in when $\mathrm {con} (A \cup B)$ equals to $$\bigcup _{a\in A,b\in B} ...

**6**

votes

**2**answers

122 views

### Geodesics on convex hypersufaces

Let $M^n$ be the boundary of a convex compact set in $\mathbb{R}^{n+1}$ with non-empty interior.
Question 1. Is $M$ geodesically complete, i.e. is it true that every geodesic (= locally shortest ...

**22**

votes

**5**answers

709 views

### Is the diameter of a centrally symmetric convex body realized by a pair of antipodal points?

Let $S \subset \mathbb{R}^n$ be the boundary of a centrally symmetric convex body and provide $S$ with the geodesic metric given by its embedding in Euclidean space (i.e., the distance between two ...

**6**

votes

**1**answer

324 views

### When is the hull of a space curve composed of developable patches?

Let $C$ be a smooth curve in $\mathbb{R}^3$ that lies entirely on its convex hull,
$\cal{H}(C)$.
Under what conditions on $C$ is $\cal{H}(C)$ the union of developable surface patches?
I believe ...

**0**

votes

**0**answers

41 views

### center of divisorial valuations on toric varieties

Suppose we are given a divisorial valuation $\mathcal{v}$ on a smooth toric variety $X_{\Sigma}$ (for a fan $\Sigma$), i.e. $\mathcal{v}$ is the valuation induced by a torus invariant divisor ...

**12**

votes

**3**answers

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

**6**

votes

**1**answer

115 views

### Regions on a sphere that avoid a fixed point set

Let $P$ be a finite set of points on a unit-radius sphere $S$
in $\mathbb{R}^3$.
Treat $P$ as a fixed pattern that can be rigidly slid
around $S$ as a unit (no reflection).
Let $R$ be a subset of ...

**6**

votes

**2**answers

265 views

### A question about a question about 3-dimensional convex bodies

For each positive integer n let E(n) denote n-dimensional Euclidean space and let the term "n-dimensional convex body" mean a compact convex subset of E(n) whose interior (with respect to E(n)) is ...

**1**

vote

**0**answers

35 views

### Diameter of a convex body relative to its Legendre ellipsoid

Given a convex body in $\mathbb{R}^n$ that is symmetric with respect to the origin, let us measure its diameter with respect to the Euclidean metric determined by its own Legendre ellipsoid. How large ...

**0**

votes

**1**answer

111 views

### polynomial expression for counting number of integral points of a set

Let $v_i=a_ie_i\in\mathbb R^d$ and $w_i=b_ie_i\in\mathbb R^d$ for $i=1,\dots,d$ where $e_i$'s are unit vetcors and $a_i,b_i$ are positive integers. Let $$S=conv\{0,rv_i+sw_i:i=1,\dots,d\}.$$
Can we ...

**4**

votes

**0**answers

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

**7**

votes

**3**answers

480 views

### Helly's theorem in other areas of mathematics

Are there some outstanding results using some version of Helly's theorem in a totally different area (whatever that means) than convex geometry?

**1**

vote

**0**answers

42 views

### Bounds on the spherical measure of sub-level sets of quadratic forms

I'm wondering if there are any bounds on the spherical measure of sets of the form
$$
\mu_n\left(\{y\in S^{n-1} : \frac{y_1^2}{y_2^2} < \alpha\}\right) \leq f(\alpha)
$$
where $\alpha$ is some ...

**2**

votes

**1**answer

84 views

### planes intersecting a convex polytope

We are given a $d$-dimensional convex polytope ${\cal P}$ in $N$-dimensional
space where $d<N-1$. Consider several planes $P_i$ corresponding to inequalities
$f_i(X)\ge 0$. We are given that each ...

**5**

votes

**0**answers

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

**4**

votes

**2**answers

65 views

### Expressing a convex Polytope as a sublevel set of a function

Given an n-dimensional polytope $P$ in $\mathbb R^n$, Given as a convex hull of a finite set of points, $S$ I would like to construct an expliict formula for a function $f\colon \mathbb R^n \to ...

**2**

votes

**0**answers

132 views

### Find the intersection between two convex hulls, in this specific case

We work over $\mathbb{R}^K$. Let $V$ be the set of vectors whose coordinates take values $0$ or $1$, or equivalently the corners of the unit cube $[0,1]^K$.
Let $d:\{0, \ldots, K\} \to \mathbb{R}_+$ ...

**2**

votes

**0**answers

65 views

### Newton polyhedron and product of ideals

Let $I$ be an ideal generated by monomials $\underline{x}^{\underline{a}_1},\ldots ,\underline{x}^{\underline{a}_s}$ and
$J$ be the ideal generated by $\underline{x}^{\underline{b}_1},\ldots ...

**1**

vote

**0**answers

40 views

### Projecting a convex partition onto a convex set

Say that $X$ and $Y$ are two convex regions in the plane, and suppose that $X \subset Y$. Further suppose that $Y$ is partitioned into disjoint convex subsets $Y_1 ,\dots, Y_n$. Is there a way of ...

**1**

vote

**1**answer

110 views

### Extreme points of convex hull of Minkowski sum [closed]

Let $\operatorname{conv}(a_1,\ldots,a_m)$ denote the convex hull of $\{a_1,\ldots,a_n\}$. Let $P = \operatorname{conv}(a_1,\ldots,a_p)$ and $Q = \operatorname{conv}(b_1,\ldots,b_q)$ be two convex sets ...

**4**

votes

**3**answers

980 views

### Proof that domains of positivity of symmetric nondegenerate bilinear forms are self-dual cones?

Max Koecher (for example, in The Minnesota Notes on Jordan Algebras and Their Applications; new edition: Springer Lecture Notes in Mathematics, number 1710, 1999), defined a domain of positivity for a ...

**3**

votes

**1**answer

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

**12**

votes

**2**answers

457 views

### A problem on convex geometry

Consider a convex body $K \subset \mathbb{R}^n$ containing the origin in its interior. Although the body is not necessarily symmetric, let us say that two points in its boundary $\partial K$ are ...

**1**

vote

**0**answers

41 views

### Projection of a ray onto a random polytope

Suppose $P$ is a polytope formed by $p$ (general) random planes in $\mathbb{R}^n$. We assume $p \asymp n$ and $P$ has a diameter $O(\sqrt{n})$. For any $x \in \mathbb{R}^n$, denote by ...

**6**

votes

**2**answers

241 views

### A (possibly boring) Voronoi Game

The board for this game is a compact convex region $\cal C$ of $\mathbb{R}^2$.
Below I illustrate with $\cal C$ an equilateral triangle.
Two players, $A$ and $B$, alternate turns.
At each turn they ...

**5**

votes

**1**answer

132 views

### Approximation of convex body by polytopes

In a recent survey paper, Approximation of convex sets by polytopes, Bronstein claims that under Hausdorff distance $\rho_H$, for every convex body $U$,
$$\rho_H(U,\mathcal{P}_n)\leq c(U) ...

**6**

votes

**1**answer

187 views

### Is the center of gravity in a CAT(0) space contained in the convex hull?

In reading Greg Kuperberg's partial answer to this question Convex hull in CAT(0) ,
I started wondering if the center of gravity is always contained in the closed convex hull.
More precisely, given ...

**8**

votes

**0**answers

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