Name of a polytope - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T01:20:07Z http://mathoverflow.net/feeds/question/60167 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/60167/name-of-a-polytope Name of a polytope Roland Bacher 2011-03-31T09:11:39Z 2011-04-13T18:17:20Z <p>What is the name of the polytope \$\Sigma\cap (-\Sigma)\$ for \$\Sigma\$ a \$d-\$simplex with barycenter at the origin?</p> <p>In dimension \$2\$, one gets a hexagon, in dimension \$3\$ an octahedron (given by the \$6\$ midpoints of edges), in dimension \$4\$ a polytope with 30 vertices (given for example by all permutations of \$(0,1,1,-1,-1)\$).</p> <p>(More generally, this polytop has \${2n\choose n}\$ vertices in dimension \$d=2n-1\$ and \$(2n+1){2n\choose n}\$ vertices in dimension \$d=2n\$.)</p> http://mathoverflow.net/questions/60167/name-of-a-polytope/60176#60176 Answer by Joseph O'Rourke for Name of a polytope Joseph O'Rourke 2011-03-31T11:59:20Z 2011-03-31T11:59:20Z <p>Just to supplement Roland's description, here is the octahedron in \$\mathbb{R}^3\$: <br /> &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<img src="http://cs.smith.edu/~orourke/MathOverflow/Polytope3D.jpg" alt="polytope"></p> http://mathoverflow.net/questions/60167/name-of-a-polytope/60193#60193 Answer by Henry Cohn for Name of a polytope Henry Cohn 2011-03-31T14:19:42Z 2011-03-31T14:19:42Z <p>I don't think there's a standard or widely used name for this polytope, although I don't have the expertise needed to say that with great confidence. The dual polytope is the union of two antipodal simplices, and it's sometimes called the diplo-simplex, at least by Conway and Sloane and people influenced by them (see J. Conway and N. J. A. Sloane, The cell structures of certain lattices, in Miscellanea mathematica, Springer, Berlin, 1991, pp. 71–107). In this naming scheme, your polytope would be the dual diplo-simplex.</p> http://mathoverflow.net/questions/60167/name-of-a-polytope/60350#60350 Answer by Igor Pak for Name of a polytope Igor Pak 2011-04-02T07:48:44Z 2011-04-02T07:48:44Z <p>Bacher writes in the comments: "In odd dimension \$(2n-1)\$, I get simply the polytope with all vertices of \$[-1,1]^n\$ having coordinate-sum \$0\$."</p> <p>This means that in the odd dimensions, this polytope is a <em>hypersimplex</em> (actually a special case of it). This goes back to Laplace. Its volume is the Eulerian number \$A_{2n-1,n}\$ times \$2^n/n!\$. I don't immediately see what happens in the even case, but if you figure out explicitly what are the vertices, there is probably a good chance these polytopes are also related to hypersimplices. For refs and related results, see e.g. <a href="http://arxiv.org/abs/math/0607715" rel="nofollow">here</a>. </p> http://mathoverflow.net/questions/60167/name-of-a-polytope/61575#61575 Answer by Vince Matsko for Name of a polytope Vince Matsko 2011-04-13T18:17:20Z 2011-04-13T18:17:20Z <p>Some insight might be gained by considering barycentric coordinates for the dual diplo-simplex. In two dimensions, we have the coordinates of the hexagon as the six permuations of (0, 1/3, 2/3). In three dimensions, the vertices of the octahedron are the six permutations of (0, 0, 1/2, 1/2).</p> <p>Let d - 1 represent the number of dimensions. This simplifies some formatting, since barycentric coordinates will then have d terms.</p> <p>In general, for even d, we have for vertices all permutations of (0, ..., 0, 2/d, ...,2/d), where there are d/2 copies each of 0 and 2/d. When d is odd, the vertices are all permutations of (0, ..., 0, 1/d, 2/d, ..., 2/d), where 0 and 2/d each occur (d-1)/2 times. (This was suggested by some work with Mathematica; the number of vertices works out, though I don't have a rigorous proof at the moment.)</p> <p>So in four dimensions, the vertices are permutations of (0, 0, 1/5, 2/5, 2/5). This polytope has 10 truncated tetrahedra (the Archimedean truncation) as cells; the dual simplex truncates the original simplex in a nice way.</p> <p>In five dimensions, we have permutations of (0, 0, 0, 1/3, 1/3, 1/3), so that the faces are 12 completely truncated 4-simplices (in the sense that the octahedron is the complete truncation of the tetrahedron).</p> <p>The advantage of using barycentric coordinates is that the vertices are easy to describe, the symmetry is evident, and so the combinatorics are relatively easy to discern.</p> <p>Was there a specific context in which this polytope arose? Are there any specific combinatorial properties of this polytope which are needed?</p>