Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

The tag has no usage guidance.

0
votes
0answers
28 views

Minkowski Sum of duals

I'm really struggling to prove the following statement: Let $\mathbb{E}$ be an Euclidean space, let $K,K_p,S\subseteq\mathbb{E}$ be a proper cone, a polyhedral cone and a subspace, respectively. If ...
2
votes
1answer
52 views

Separation of two pointed polyhedral cones using hyperplanes generated by facets

Let $C_1$ and $C_2$ two pointed (that is, with vertex in $0$) polyhedral cones in $\mathbb{R}^n$ with $\dim(C_1)=\dim(C_2)=n$. If $$\mbox{relative interior}(C_1)\cap \mbox{relative interior}(C_2)=\...
1
vote
1answer
145 views

A possible characterization of the cube?

Let $P$ be the $1$-skeleton of a convex polyhedron fixed in $\mathbb{R}^3$, and $|P|$ the sum of the Euclidean lengths of the edges of $P$. Let $P_1, P_2, P_3$ be the perpendicular projections of $P$ ...
3
votes
0answers
61 views

Reconstructing plane graphs from degree- and face-sequences

Let $G$ be a plane $3$-connected graph; so it partitions the plane into regions bounded by faces. Let $\mathrm{deg}_v$ be the sequence of vertex degrees of $G$, and $\mathrm{deg}_f$ be the sequence of ...
5
votes
3answers
166 views

Average caliper diameter (mean width) of a polyhedron

Define the caliper diameter of a polyhedron as follows: Let $P_1$ and $P_2$ be two planes both of which are parallel to the x axis such that the perpendicular distance between $P_1$ and $P_2$ is the ...
3
votes
1answer
52 views

Faces of polyhedral cones and open immersions of affine toric schemes

Let $V$ be an $\mathbb{R}$-vector space of finite dimension, let $N$ be a $\mathbb{Z}$-structure on $V$, and let $M$ be its dual $\mathbb{Z}$-structure on the dual space $V^*$. Let $\sigma\subseteq V$...
2
votes
0answers
37 views

Efficient $H$ representation of matrices with distinct cyclic shift permuted entries

Given points $v_1,\dots,v_n\in\mathbb Z^n$ in codimesion $1$ hyperplane $x_1+\dots+x_n=t$ with $0\leq x_{i}$ and a cyclic shift permutation $\sigma$ where $v_1,\dots,v_n$ when written as columns of ...
0
votes
0answers
64 views

Faster Mixed Integer Linear Programming Searchless Feasibility

We know Lenstra's Mixed Integer LP with Kannan's modificiation solves feasibility Mixed Integer LP in $n$ integer variables, $r$ real variables and $m$ constraints by solving the search version in $n^{...
4
votes
2answers
75 views

How many dihedral angles need to be specified to uniquely specify a triangulated polyhedron?

Suppose you are given a simplicial complex $K$ homeomorphic to the sphere and for each each edge of the complex a label specifying a length of that edge (this gives us a polyhedral metric on $K$). In ...
1
vote
1answer
204 views

What is the status of the smooth version of bellows conjecture

Bellows conjecture for polyhedra was setteled in 1997. How about the smooth version of it, ie bending of closed 2D submanifolds in $\mathbb{R}^3$ while preserving the Riemannian structure/intrinsic ...
3
votes
0answers
99 views

Factorization of tropical polynomials

I am referring to the definition of a tropical polynomial given on page 8 (top of section 3) here in this review, https://arxiv.org/pdf/math/0306366.pdf. I understand that here a tropical polynomial ...
11
votes
2answers
310 views

Dodecahedral rolling distance

Let a dodecahedron sit on the plane, with one face's vertices on an origin-centered unit circle. Fix the orientation so that the edge whose indices are $(1,2)$ is horizontal. For any $p \in \mathbb{R}...
39
votes
3answers
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 ...
20
votes
4answers
495 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 =\...
6
votes
2answers
165 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 $...
9
votes
1answer
189 views

Thinnest covering of the plane by regular pentagons

Q. Is it known what is the thinnest covering of the infinite plane by regular pentagons? By covering I mean every point of the plane is covered. By thinnest I mean the proportion of the plane covered ...
0
votes
0answers
97 views

Is there a transformation that scales or shifts number of lattice points?

Unitary transformation preserves volume of a polytope while $SL(n,\Bbb Z)$ preserves lattice points. Let polytope $\mathcal K$ in $\Bbb R^n$ be presented with polynomial in $n$ linear inequalities. ...
2
votes
1answer
115 views

On the realization of a quotient group

Let $P$ be a finite polyhedron and $N$ be a normal subgroup of $G=\pi_1 (P)$. It is known that there exists a covering space $(\tilde{P},p)$ so that $p_* \pi_1 (\tilde{P})=N$. It follows that for the ...
27
votes
1answer
1k views

Are Minkowski sums of upward closed “convex” sets in $\mathbb{N}^k$ still “convex”? (WAS: Comparing mana costs in Magic: The Gathering)

This was originally a question about comparing mana costs in Magic: The Gathering, but it's turned into a question about Minkowski sums of upward-closed convex sets in $\mathbb{N}^k$. The original ...
14
votes
1answer
229 views

The space of triangles that fit inside a given triangle, parametrized by edge lengths

Given a triangle T with sides a, b, and c, describe its "fitting set," the set of all points (x,y,z) in 3-dimensions for which a triangle with sides x, y, z exists that fits in T. Such a set lies in ...
11
votes
11answers
736 views

Database of integer edge lengths that can form tetrahedrons

Is there a collection of lists of six integer edge lengths that form a tetrahedron? Is there a computer program for generating such lists? I need to find approximately thirty such tetrahedral ...
3
votes
1answer
71 views

Any visualization software for the intrinsic metric of a convex polyhedron?

I'd like to find a visual simulation of what it would be like to 'live' in a polyhedron with the intrinsic, piecewise-Euclidean length metric. Of course, to make it easier to visualize, I'd prefer to ...
2
votes
1answer
85 views

Constructing a Polyhedron given areas of its faces

I want to visualize a set of data as a polyhedron in 3d space. Imagine set A includes areas of such polyhedron's faces. I assume the first step is to check if there exist a polyehdron by making sure ...
6
votes
1answer
182 views

Hypersurfaces whose equation is not known

I would like to find some well-known/interesting hypersurfaces which arise as parametrizations where implicitization is computationally too difficult. I have software which computes the Newton ...
3
votes
0answers
44 views

Perimeters of nested convex spherical polygons

I seek a reference—not a proof—that if $P_1$ and $P_2$ are two convex polygons on a sphere composed of geodesic segments, contained in a hemisphere, and $P_1 \subseteq P_2$, then the ...
7
votes
1answer
212 views

The $32$-deg polynomial for the tetrahedron inscribed in the icosahedron?

This MO answer discusses this table involving the maximal side lengths of the five Platonic solids $T,C,O,D,I$ inscribed in the other solids, This table is also found in Moritz Firsching's paper. I ...
2
votes
0answers
70 views

Making a polyhedron integral by selecting value for a specific co-ordinate of constraint vector

I am currently trying to solve a binary integer programming(maximization) problem, where the first row of the constraint matrix corresponds to the constraints on the total number of 1's in the vector ...
1
vote
1answer
80 views

Are there two tetrahedrons with the same volume that share their opposite edge lengths and arent the same or a different chirality of the same? [closed]

I have been coming up with an efficient way to decide if two tetrahedrons are similar. I believe that it is enough for a computer to check for the ordered by length list of pairs of opposite edges on ...
2
votes
1answer
83 views

Polyhedral structure of functions writable as a finite signed sum of max of linear functions

For any two positive integers $k,n$ consider the space of functions writable as, $\sum_i \sigma_i \max \{ L_{i1},L_{i2},..,L_{ik} \}$ (a finite sum) where each $L_{*} : \mathbb{R}^n \rightarrow \...
2
votes
1answer
160 views

Polyhedra names question [closed]

So I've been playing around with polyhedra for my own amusement, but I ended up with some that I couldn't find names for. I have been trying to find them on my own by Googling for polyhedra with these ...
12
votes
0answers
260 views

Are all Dehn invariants achievable?

The Dehn invariant of a polyhedron is a vector in $\mathbb{R}\otimes_{\mathbb{Z}}\mathbb{R}/2\pi\mathbb{Z}$ defined as the sum over the edges of the polyhedron of the terms $\sum\ell_i\otimes\theta_i$ ...
5
votes
0answers
122 views

Is there a well-established terminology for polyhedra/polytopes?

I got confused lately. It seems like in the metric context a polyhedron tends to mean an intersection of a finite number of half-spaces, while a polytope is a convex hull of a finite set of points. At ...
0
votes
0answers
104 views

Boundary regularity of the solution of a Poisson equation in a polyhedron

Let $d\in\mathbb N$ $\Lambda\subseteq\mathbb R^d$ be bounded and open $f\in L^2(\Lambda,\mathbb R^d)$ $u\in H_0^1(\Lambda,\mathbb R^d)$ with $$-\langle\nabla\phi,\nabla u\rangle_{L^2(\Lambda,\:\...
1
vote
0answers
56 views

Sampling in a polyhedral complex

Assume one is given a polyhedral complex $P$ in $\mathbb{R}^n$. Now consider picking uniformly at random a $D \subseteq \{0,1\}^n$. Is there way to upper bound the probability that $D$ (a subset of ...
1
vote
0answers
152 views

Cubical approximation theorem for cubical complexes

A version of the simplicial approximation theorem states that a continuous map between finite simplicial complexes is homotopic to a simplicial map after subdividing the domain. I have found a claim ...
3
votes
0answers
71 views

Stellar moves on pairs of polyhedra

Let $P$ and $Q$ be polyhedra of $\mathbb{R}^n$ with $Q \subset P$. Let $(M,N)$ and $(M',N)$ be pairs of abstract simplicial complexes. Consider two triangulations $$f\colon (|M|,|N|) \to (P,Q)$$ ...
3
votes
0answers
78 views

Is there any connection between Lagrange points and the icosahedron?

Given the Newtonian two-body problem, one can ask if there are any orbits that allow a test particle to maintain a fixed configuration relative to the two bodies. In other words, in a frame that ...
10
votes
2answers
335 views

What is Kept Fixed for Flexible Spheres

For background to this question much recent exciting related things, see this videotaped lecture by Alexander Gaifullin. Consider a triangulation $K$ of a two-dimensional sphere and consider maps ...
7
votes
0answers
516 views

Maximum volume cross-section of a hypercube

This is surely well known, but: Q1. What is the $(d{-}1)$-dimensional polytope that realizes the maximum volume cross-section of a unit hypercube by a $(d{-}1)$-dimensional hyperplane? ...
1
vote
1answer
76 views

Derive a vertex representation of a permutohedron from its linear-inequalities form

Let us define the $n$-permutohedron $P_n$ as the set of all $x\in\mathbb{Q}^n$ such that $$\sum_{i=1}^n x_i = \binom{n{+}1}{2}\ \ \ \land\ \ \ \forall\,\text{nonempty}\ S\subsetneq\mathbb{N}_n\colon\ ...
2
votes
0answers
40 views

Facet counting argument for polytopes

Consider a pair of piecewise-linear cobordant $n$ dimensional polyhedra $P_1, P_2$ sitting in $\mathbb{R}^{n+2}$ (with some fixed orientation). Let $O$ be an $n+1$ dimensional piecewise-linear ...
0
votes
0answers
104 views

Number of polyhedra with N faces?

A. Up to isomorphism, how many polyhedra with N faces are there? Assume each face can be a triangle, square, pentagon, hexagon, etc... Furthermore each edge can be resized to any nonzero positive ...
3
votes
2answers
120 views

Unit-Distance Polyhedra

What polyhedra are known to have two vertices adjacent if and only if they are of distance $d$ apart, for fixed $d$? For example, regular Platonic solids satisfy this condition, so I am looking for ...
1
vote
1answer
74 views

Testing whether two vertices are neighbours

I face the following problem: I am given a high-dimensional, convex, bounded polyhedron in both vertex description: $X = \mathrm{conv} \, \{ v_1, \ldots, v_K \}$ and halfspace description: $X = \{ x \...
0
votes
0answers
58 views

Distinguishing (possibly lower dimensional) $1$-skeleton of a regular graph inscribed in a sphere

Consider you have two (possibly same) convex $1$-skeleton of a regular graph $A$ and $B$ in $m$-dimensions inscribed in a sphere with possibly exponential number of vertices in $n$-dimension with ...
2
votes
0answers
91 views

Harborth conjecture and polyhedra

Harborth conjecture state that every planar graph can be drawn on a plane only using staight line segments of rational or integral edge length. ( There is a good mathoverflow page for this conjecture, ...
4
votes
1answer
197 views

Convex polyhedra, combinatorial types and Symmetry

Steinitz theorem says that combinatorial types of convex polyhedra is identified with 3-connected planar graph, called by a polyhedral graph. A symmetry of polyhedral graph means that a vertex ...
9
votes
3answers
333 views

Labeling edges of an icosahedron with sum constraints

The question is inspired by this previous MO question. There it was shown that it's possible to label the edges of a cube by the numbers $\{1,2,\ldots,6,8,9, \ldots, 13\}$ in such a way that: Three ...
6
votes
1answer
134 views

Self-avoiding/reflecting geodesics on a convex surface

Let $S$ be the surface of a convex body embedded in $\mathbb{R}^3$. For me $S$ is a convex polyhedron, but I am happy to view $S$ as a smooth body with positive Gaussian curvature at each point, or ...
3
votes
1answer
121 views

symmetric group of regular polyhedrons

Let $\Delta^n$ be the regular $n$-simplex spanned by $(n+1)$ vertices, equipped with an Riemannian metric such that all the edges are of equal length. For example, $\Delta^2$: $\Delta^3$: Let $c:=c(...