# Questions tagged [polyhedra]

The polyhedra tag has no usage guidance.

200
questions

**0**

votes

**1**answer

79 views

### Detecting non-negativity of a single constraint by polyhedral constraints - $I$

We consider $$\langle a,x\rangle=b$$ (linear constraints) where $x\in\mathbb R_{\geq0}^n$ and every entry in $a=(a_1,\dots,a_n)$ is in $\mathbb Z_{\geq0}^{n}$ (non-negative) and the entry $b$ is in $\...

**0**

votes

**1**answer

80 views

### Number of linear inequalities describing a polyhedron with prescribed number of vertices

If a polytope has $d$ vertices in $k$ dimensions how many linear inequalities is required to describe it?

**20**

votes

**1**answer

704 views

### Tetrahedra passing through a hole

Assume a plane $P\subset\mathbb R^3$ has a hole $H$, and that the hole is topologically a compact disc. Being so, $P\setminus H$ does not separate the space. A regular tetrahedron $\sigma^3$ (of edge-...

**1**

vote

**0**answers

91 views

### Integrality of polyhedra

Given two polyhedra in $H$ representation $P_1:Ax\leq b$ and $P_2:Bx\leq c$ which are integral are bounded when is their intersection also integral?
Given two polyhedra in $H$ representation $P_1:Ax\...

**0**

votes

**0**answers

64 views

### Number of vertices in a polyhedron

Consider polytopes
$$A_1[x_{1,1},\dots,x_{1,m_1},z_{1}]'\leq b_1$$
$$A_2[x_{2,1},\dots,x_{2,m_2},z_{2}]'\leq b_2$$
$$B[z_{1},z_{2},z]'\leq c$$
having vertex count $v_1,v_2$ and $v$ respectively.
We ...

**1**

vote

**1**answer

110 views

### Exactly counting number of vertices of a polyhedron

Suppose $Ax\leq b$ is a polyhedron, where the number of rows in $A$ is $r$, the vector $x$ lies in $\mathbb R^n$ and the rank of $A$ is $t$. Assume minimal number of hyperplane inequalities to define ...

**2**

votes

**0**answers

95 views

### Distinguishable knots (with constraints) over polyhedra

I'm trying to find the number of distinguishable knot projections over certain convex regular polyhedra according to the following constraints. On each face on the polyhedron the knot will have a ...

**7**

votes

**2**answers

241 views

### Homotopy domination of a wedge of two polyhedra

The topological space $A$ is called homotopy dominated by the space $X$ if there are maps $f:A\longrightarrow X$ and $g:X\longrightarrow A$ so that $g\circ f\simeq id_A$.
Question: Suppose that $...

**5**

votes

**1**answer

211 views

### Embedding an icosahedron

A transitive set in $\mathbf{R}^n$ is a finite set with a transitive group of symmetries. I want to understand how subsets of a transitive set constrain the group.
Let me start with the example of a ...

**4**

votes

**1**answer

114 views

### Finding Motzkin's original paper on copositive quadratic forms

I am currently in the process of writing my thesis about copositive matrices and would like to write a chronological narrative about the ascent of these matrices to the prominent place they have today ...

**24**

votes

**4**answers

659 views

### Why do some uniform polyhedra have a “conjugate” partner?

While browsing through a list of uniform polynohedra, I noticed that the square of the circumradius $R_m$ of the small snub icosicosidodecahedron ($U_{32}$) with unit edge lengths is,
$$R_{32}^2 =\...

**1**

vote

**0**answers

43 views

### Classification of pseudoregular polyhedra

In contrast to a regular polyhedron, which has one orbit of flags, I’ve been studying what I call pseudoregular polyhedra, which have two orbits of flags interchanged by conjugation (explained here). ...

**1**

vote

**0**answers

51 views

### Decomposition of Polyhedral - An example

There is no doubt that clear examples consolidate the understanding of concepts being learnt. I am new to finding the structure and decomposition of a polyhedra. Suppose that we have the system
$$ \...

**4**

votes

**1**answer

80 views

### Is the space of Euclidean polyhedra with a fixed $1$-skeleton connected?

Let $\mathcal{A}_\Gamma$ be the space of convex (non-degenerate) Euclidean polyhedra with $1$-skeleton a certain polyhedral graph $\Gamma$. This space can be seen as a subset of $\mathcal{Gr}_2(\...

**47**

votes

**4**answers

2k views

### How many ways can you inscribe five 24-cells in a 600-cell, hitting all its vertices?

You can inscribe five tetrahedra in a dodecahedron so that each vertex of the dodecahedron is the vertex of just one tetrahedron, as drawn here by Greg Egan:
Warmup question: How many ways can you do ...

**3**

votes

**1**answer

118 views

### Duality argument for elliptic regularity

M. Dauge proved in [1] the regularity property "$\Delta u \in (W^1_{p'})^*$ $\Rightarrow$ $u \in W^1_p$" for Dirichlet and Neumann problem in domains with piecewise smooth boundaries, for $p&...

**4**

votes

**2**answers

128 views

### Clustering of vertices in an $n$-dimensional cube

Consider the vertices of an $n$-dimensional cube. The distance between two vertices is measured as the minimum number of edges between the two vertices. Now consider a subset of these vertices.
If we ...

**8**

votes

**1**answer

181 views

### Are there centrally-symmetric self-dual polytopes in dimension $d> 4$?

A convex polytope $P\subset\Bbb R^d$ is centrally symmetric if $-P=P$. It is self-dual (or better, self-polar?) if its polar dual $P^\circ$ is congruent to $P$, that is, there is a map $X\in\mathrm O(\...

**9**

votes

**2**answers

314 views

### Do Bernoulli polynomials know about face vectors?

This question is grounded firmly in numerology. It originates in an observation about some Bernoulli polynomials and the regular icosahedron. Let $F_{k+1}(n)=\sum_{i=1}^n i^k$ be the sum of the ...

**0**

votes

**0**answers

42 views

### What are the expected values of the volumes of two classes of ellipsoids contained within the unit 3-ball, and/or what is their ratio?

Consider the class of all ellipsoids contained in the unit 3-ball, and also the subclass of those ellipsoids also contained within tetrahedra also contained in the unit 3-ball. What are the expected ...

**5**

votes

**0**answers

101 views

### What is the expected value of the volume of a tetrahedron inscribed in the unit sphere?

Four (non-coincident) points on the unit sphere determine a tetrahedron. What is the expected value of the volume of such a tetrahedron--the volume of the sphere itself being $\frac{4 \pi}{3} \approx ...

**13**

votes

**1**answer

708 views

### Two questions on the permutohedron

The $n$-dimensional permutohedron $P_n$ is the polytope given by the convex hull of all the possible permutations of the vector $(1,2,\dots,n+1)\in\mathbb{R}^{n+1}$. So it has $(n+1)!$ vertexes.
I ...

**14**

votes

**0**answers

291 views

### Minimum number of distinct triangles for tesselating the sphere

Consider sequences of tesselations of the sphere. For instance, one such sequence might start with an icosahedron and proceed by subdividing each triangle face into 4 triangles and projecting the new ...

**2**

votes

**2**answers

70 views

### How to define and compute the degree of congruence of two rigid polyhedra in same type with knowing vertex coordinates?

If I have two sets of points in 3-dimensional space, each sets of points are the coordinates of vertices of a polyhedron. The two polyhedra have same type, so we don't need to consider the topological ...

**8**

votes

**0**answers

112 views

### What are the known convex polyhedra with congruent faces?

Note: I originally asked this question on math.SE here, where I posted a bounty on the question but received no answers after a week despite apparent interest in the problem. I'm hoping MathOverflow ...

**6**

votes

**1**answer

124 views

### Is Sydler's theorem concerning Dehn invariants constructive?

Sydler proved something of a converse to Dehn's negative resolution
of Hilbert's 3rd problem. To quote Wikipedia, Sydler showed that
"every two Euclidean polyhedra with the same volumes and Dehn ...

**9**

votes

**0**answers

166 views

### How to correctly state Cauchy's rigidity theorem?

Cauchy's rigidity theorem is usually cites briefly as
Any two (convex, 3-dimensional) polyhedra with pairwise congruent faces are themselves congruent.
As a more formal generalization to general ...

**0**

votes

**0**answers

29 views

### Distance to the “boundary” of a polyhedral complex

Suppose I have a polyhedral complex $\{P_1, \ldots, P_k\}$ and let $S := \cup_{i = 1}^k P_i$. I am interested in a function which measures the distance from a point $x \in S$ to the "boundary&...

**0**

votes

**0**answers

52 views

### Find tetrahedron vertex given 3 vertices of a face and the 3 opposite angles

I have the following tetrahedron:
which I know the coordinates of $P$, $Q$ and $R$ and the value of angles $\theta_0$, $\theta_1$ and $\theta_2$.
I need to find the coordinates of vertex $E$. Is that ...

**2**

votes

**2**answers

95 views

### Products of polytopes and the normals of their facets

I need to compute the normals of the facets of certain polytopes that can be represented as products of polytopes in smaller dimensions.
Searching the bibliography I found that the facets of the ...

**4**

votes

**0**answers

55 views

### Classification of space-filling (by identical copies) convex polyhedra in R^3

Is the classification of space-filling (by identical copies) convex polyhedra in R^3 is known ?
There are only 5 "parallelohedra" - filling by translation.
But if relax that property to ...

**2**

votes

**1**answer

47 views

### Do continuous motions of the vertices of convex polyhedra that maintain local convexity imply global convexity? (Reference request)

A convex polyhedron has all of its internal dihedral angles in $(0, \pi)$. However, if I start with an abstract polyhedron $P$, let's say a triangulated one, so I don't have to worry about planarity ...

**3**

votes

**1**answer

49 views

### Tilings of lattice polytopes by transformations of lattice polytopes

A quasi-lattice polytope is a polytope obtained by reflections, translations, and rotations of lattice polytopes. In a tiling of a lattice polytope by quasi-lattice polytopes, are all quasi-lattice ...

**1**

vote

**0**answers

66 views

### Untruncate permutohedron of order 5

I would like to understand commutation classes of reduced expressions of the longest element in $S_5$ a little better. For this, it makes sense to look at the permutohedron of order 5. Since I am only ...

**0**

votes

**0**answers

46 views

### Visualization of higher Bruhat order B(5,2)

I made the following images of the higher Bruhat order B(5,2) (in the sense of Manin/Schechtman) with vZome:
image 1
image 2
image 3
Unfortunately, in vZome its not possible do have regular octagons,...

**3**

votes

**0**answers

98 views

### Pyramids whose volume can be computed by simple cutting and glueing

Since this question remained without answers even after a bounty, I thought it might be time to ask it here.
For which pyramid can you compute the volume from simple cut-and-glue processes? The Dehn ...

**2**

votes

**0**answers

34 views

### An exponential integral over a closed convex polytope

For any $T\geq 2$, let us define the polyhedron $S$ given by
\begin{align*}
S:=\{\underline{t}:=(t_0,t_1,t_{2},t_{3},t_{4},t_{5},t_{6},t_{7})\in [0,+\infty)^{8}:A\underline{t}\leq (\log T)\textbf{1}\}
...

**2**

votes

**1**answer

135 views

### Self-intersecting path of stacked regular tetrahedra

(This question occurred to me after reading
@IanAgol's reminisces
of Conway's spiral tetrahedron billiard path.)
Let $T_i$ be a regular tetrahedron,
and $P$ a collection of regular tetrahedra
glued ...

**7**

votes

**1**answer

257 views

### Embedding of flat surfaces

Let $S$ be a orientable compact surface with a flat euclidean structure with conical singularities (cf. [T] for instance). Let also $\mathcal P$ be a polyhedral euclidean decomposition of $S$ (with ...

**1**

vote

**0**answers

40 views

### fast V representation update of polytope

Say that I have both the V and the H representation of a (possibly unbounded) polytope $P$. I want to append a some rows to the H representation, how can I quickly update the V representation to ...

**2**

votes

**1**answer

79 views

### Distance between two polyhedra that takes incidence structure into account

Suppose that we have two polyhedra $P_1$ and $P_2$ in $\mathbb{R}^3$. I would like to define such a metric $\rho(P_1, P_2)$ that depends on several factors, but currently I don't know how to do it ...

**32**

votes

**3**answers

4k views

### Did ancient mathematicians know Euler's characteristic for convex polyhedra?

The formula $V-E+F=2$ is so simple that I can't believe that it was really Euler (or perhaps Descartes) who first observed it (I mean the formula itself in some generality, not necessarily a valid ...

**3**

votes

**2**answers

139 views

### Polyhedra that can pack 3-space only in a non-vertex-to-vertex fashion

Question: Are there polyhedral units (convex or otherwise) that can pack 3D space without gaps only such that the arrangement is not vertex-to-vertex?
Same question can be asked with 'edge to edge'.
...

**5**

votes

**2**answers

331 views

### Light inside a polyhedron

I have two questions the same as Mostafa's Question:
Visibility of vertices in polyhedra
Suppose $P$ is a closed polyhedron in space (i.e. a union of polygons which is homeomorphic to $S^2$) and $X$ ...

**4**

votes

**1**answer

351 views

### What is the average area of the shadow of a convex shape taken over all possible orientations?

If we take a sphere, its surface area is exactly 4 times the area of its shadow. How can it be generalised for any convex shape?

**8**

votes

**1**answer

398 views

### Convex Polyhedra Scissors Congruence Problem

I am currently writing a geometry paper "Rectifications of Convex Polyhedra" and I am confused to have discovered what appears to be a remarkable discrete geometric fact:
Conjecture: Let $P$ be a ...

**6**

votes

**0**answers

202 views

### Complexity of scissors congruence?

Where is the complexity of the problem 'Given two bounded compact convex integral polyhedra in $\mathbb R^n$ presented by $O(poly(n))$ integer valued halfspaces given by linear inequalities with ...

**7**

votes

**1**answer

143 views

### Alexandrov's rigidity in higher dimensions

If $\Phi_1,\Phi_2$ are convex polyhedra in $\mathbb{R}^3$ such that the sets of outer normals to facets coincide, but $\Phi_1$ is not a translate of $\Phi_2$, then there exist two corresponding ...

**1**

vote

**0**answers

47 views

### Essential rays in fan structure

Let $|\Sigma|$ be the underlying set of some fan $\Sigma$ in $\mathbb{R}^n$. It is well known that in general there is no coarsest fan structure on $|\Sigma|$. However, there may be some special rays ...

**2**

votes

**2**answers

1k views

### non-convex Polytope definition

I have a simple question. I read that given a vector space $N_{\mathbb{R}}$ over $\mathbb{R}$,
we can define a convex polytope in the following way:
$$P:= \Big\{ \sum_{u\in S} \mu_u u \,\Big| \, \...