4
votes
1answer
91 views

Generalized permutahedron and random polytopes

The Birkhoff polytope $B_n$ is defined as the convex hull of the set of permutation matrices, which gives us the set of doubly stochastic matrices. A concept which is intimately related is that of the ...
0
votes
0answers
82 views

Ref request: If an affine subspace $V$ of $\mathbb R^n$ meets an $n$-dimensional polytope $P$, then it meets $P$ in a face of dimension $\le n-\dim V$

Let $P$ and $V$ be, respectively, a bounded full-dimensional polytope and an $m$-dimensional affine subspace of $\mathbb R^n$, and assume $P \cap V$ is non-empty. Q1. Could you provide me with a ...
1
vote
1answer
323 views

Study of convex polytopes via commutative algebra

Let $P \subset \mathbb{R}^d$ be any convex polytope with integral vertices, and let $M$ be the additive submonoid of $\mathbb{R}^{d+1}$ which is generated by $\{ (v,1) : v \in P \cap \mathbb{Z}^d \}$. ...
5
votes
0answers
63 views

Classifying two-faces of four-polytopes

Motivation: This question is related to my study of hyperbolic Coxeter polytopes. In general, if one put some restrictions on the type of their dihedral angles (say, all dihedral angles are equal to ...
2
votes
1answer
103 views

Approximation of a convex body by a contained polytope

This question deals with approximating a convex body (a compact convex set of $\mathbb{R}^d$ with non-empty interior) by convex polytopes. For a given $\delta$, let $n_\delta$ be the number of faces ...
6
votes
1answer
94 views

Maximizing ratio volume/diameter^n by an affinity

Suppose we have a convex compact body $D\subset \mathbb R^n$. We can try to apply affine transformation keeping the volume and decreasing the diameter of $D$. It is clear that there is a constant ...
2
votes
0answers
89 views

Definition of self-dual polytope

Given a d-polytope $P$ we define the c-dual polytope as $P^\ast = \{y\in R^d \mid x\cdot y\geq -c, \forall x\in P\}$. Then I say that a polytope is c-polar self-dual if $P=P^\ast$. I cannot find this ...
6
votes
1answer
497 views

“MultiCatalan numbers”

Could anyone provide a reference for the following (sort of) generalization of Catalan numbers: the multinomial coefficient $$ \binom{2k_1+3k_2+4k_3+...}{k_1+2k_2+3k_3+...,k_1,k_2,k_3,...} $$ is ...
7
votes
0answers
178 views

Bi-spherical polyhedra

Bicentric polygons have been studied: a polygon all of whose vertices lie on its circumcirle, and whose incircle is tangent to every edge:   I have not been able to find a comparable literature ...
0
votes
2answers
136 views

Hales's fan associated with a polyhedron

In Hales's book (cited below), he associates what he calls a fan with any convex polyhedron in $\mathbb{R}^3$. I will not define his notion of fan, but let his figure (p.137) serve as a definition: ...
6
votes
2answers
230 views

Diameter-area ratio for affine tranformations.

Consider an convex plane figure $F$. How to prove that there is an affine transformation $a$ such that $\sqrt{3}$ diameter$(a(F))^2\leq 4$ area$(a(F))$? I found only one reference, to "Über einige ...
3
votes
2answers
225 views

Formalization (and background) of a formula, concering the integral points of a polygon.

I have recently become aware of the following neat statement. Consider a convex polygon $P$ in the real plane with integral vertices. If we associate with every integral point $(a,b)$ the monomial ...
3
votes
0answers
70 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 ...
1
vote
0answers
138 views

Lattice-point enumeration question involving linear combinations of matrices

I would like to know some references to learn more about an answer to this question, if there are any references: Let $A_1, \dots , A_m$ and $B$ be $n\times n$ symmetric matrices. Let $$S = \{(x_1, ...
1
vote
0answers
139 views

Compute generalized pentagram map

Hi, (This is my first question on MathOverflow! :-) Imagine you have a set of points $S = \{p_1, \ldots, p_n\}$ in $\mathbb{R}^d$, of which $t$ are "bad". I want to compute a "safe convex hull", ...
3
votes
1answer
195 views

Empty convex polytopes for random point sets

I know of the famous results on the Erdős-Szekeres empty convex polygon problem in the plane (the Happy-Ending Problem), and I know that there are higher-dimensional extensions. A great source ...
9
votes
1answer
241 views

Connecting Lemma in the Alexandrov's existence theorem.

At the moment I am polishing my lecture notes which in particular cover Alexandrov's existence theorem. Denote by $\mathbf{P}_k$ the space of isometry classes of polyhedral metrics on the $\mathbb ...
3
votes
1answer
171 views

The facial structure of the convex hull of a family of characteristic functions

Let $S$ be a finite set and let $\mathcal{A} \subset\mathcal{P}(S)$ be a family of subsets of $S$. Consider the convex polytope spanned by the characteristic functions of members of $\mathcal{A}$ : ...
5
votes
1answer
310 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 ...
4
votes
1answer
289 views

Recovering a polyhedron from its tumble-density profile

Imagine a white convex polyhedron $P$ tumbling randomly about its fixed center of gravity (c.g.) $c$ against a blue background. A long-exposure photo would show pure white in a neighborhood of $c$ ...
8
votes
1answer
570 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 ...
3
votes
1answer
297 views

Number of simplicial polytopes with a given f-vector

Plenty of very nice literature is available on the characterization of f-vectors of simplicial complexes of diverse sorts (results by Billera, Bjoerner, Kalai, Stanley, among others). I mention, as an ...
5
votes
2answers
403 views

A convex polyhedral analog of the pentagram map

I am wondering if there is a three-dimensional analog of the pentagram map, which maps a convex polygon to another convex polygon. Here's the Wikipedia image:           ...
12
votes
3answers
595 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 ...
9
votes
2answers
651 views

What is determined by the combinatorics of the shadows of a convex polyhedron?

Define the shadow of a convex polyhedron $P$ in direction $u$ to be the orthogonal projection of $P$ onto a plane whose normal is $u$. The shadow is a convex $k$-gon. I am wondering to what degree $P$ ...
1
vote
1answer
177 views

Weighted Polytope

I am curious if this kind of construction (or something similar) exists: Consider a convex polytope $P$ and then consider the graph of the polytope $G(P)$ (1-skeleton). Suppose a weighting structure ...
3
votes
2answers
733 views

Birkhoff's theorem about doubly stochastic matrices

Birkhoff's theorem states: The set of $n \times n$ doubly stochastic matrices is a convex set whose extreme points are the permutation matrices This theorem seems to be commonly attributed to ...
5
votes
1answer
615 views

Which (semi)regular polyhedra are combinations of two others?

The convex combination of convex polytopes is a convex polytope. An example in $\mathbb{R}^2$ is that a regular octagon can be obtained as $\frac{1}{2} S + \frac{1}{2} S'$, where $S$ is a square and ...
6
votes
3answers
1k views

Area of cross-section (at midpoint perpendicular to longest diagonal) in the unit cube of dimension N

Take a unit cube (of side 1) in N dimensions. Construct the cross-section at the midpoint of the longest diagonal. What is the area of this N-1 dimensional region? I can compute this, but it would be ...