Parametrizing the realization space of a polyhedron by its edges - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T21:59:34Z http://mathoverflow.net/feeds/question/68721 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68721/parametrizing-the-realization-space-of-a-polyhedron-by-its-edges Parametrizing the realization space of a polyhedron by its edges Robin Saunders 2011-06-24T11:14:26Z 2011-06-30T09:59:07Z <p>I alluded to this <a href="http://mathoverflow.net/questions/53819" rel="nofollow">here</a>, but at that point I hadn't really done enough work to know what I wanted to ask.</p> <p>Call a polyhedron "trihedral" if three faces meet at each vertex. Each of the F faces can be varied according to three degrees of freedom; these can be written explicitly by fixing an origin not lying in the surface of the polyhedron, and representing each face F<sub>j</sub> by the point <b>v</b><sub>j</sub> = (x<sub>j</sub>,y<sub>j</sub>,z<sub>j</sub>) in its plane which is closest to the origin. However, of these 3F degrees of freedom, three correspond to translation and three to rotation; so there are E = 3F-6 degrees of freedom which determine the polyhedron's shape, where E is the number of edges. Also, E remains the "true" number of degrees of freedom even for non-trihedral polyhedra, since each degree of freedom is lost by contracting an edge to a point.</p> <p>Now, each edge is characterized by its length L<sub>i</sub> and dihedral angle θ<sub>i</sub>, so to write the corresponding degree of freedom explicitly we need a fixed function f(L,θ). Together with the six values for translation and rotation, the values of f<sub>i</sub> = f(L<sub>i</sub>,θ<sub>i</sub>) for each edge form a function ℝ<sup>3F</sup> → ℝ<sup>3F</sup> on the realization space of possible shapes, and the key criterion for f is that we want this function to be (at least locally) invertible for all shapes in the space.</p> <p>Since f<sub>i</sub> is a function of L<sub>i</sub> and θ<sub>i</sub> which in turn can be calculated explicitly from the (x<sub>j</sub>,y<sub>j</sub>,z<sub>j</sub>), we can write the elements of the top E rows of the Jacobian J in the form ∂<sub>L</sub>f∂<sub>x</sub>L + ∂<sub>θ</sub>f∂<sub>x</sub>θ etc. So we want to solve |J| ≠ 0 ∀ (x<sub>j</sub>,y<sub>j</sub>,z<sub>j</sub>) in terms of ∂<sub>L</sub>f and ∂<sub>θ</sub>f. But I've already encountered a problem here: I can't find ∂<sub>x</sub>L etc. I've tried by using F<sub>j</sub> = {<b>p</b> : <b>p</b>⋅<b>v</b><sub>j</sub> = |<b>v</b><sub>j</sub>|<sup>2</sup>} to find the co-ordinates of the vertices, and it's a mess. I think I'm missing something.</p> <p>Any suggestions?</p> <p>Thanks,</p> <p>Robin</p> http://mathoverflow.net/questions/68721/parametrizing-the-realization-space-of-a-polyhedron-by-its-edges/68739#68739 Answer by Sylvain Bonnot for Parametrizing the realization space of a polyhedron by its edges Sylvain Bonnot 2011-06-24T14:41:12Z 2011-06-24T14:41:12Z <p>Just a quick comment: this question reminds me of Andreev's theorem (about the possibility of realizing some hyperbolic polyhedra using some conditions on the dihedral angles). May be the methods used there can help with your particular question?</p> <p>For some recent accounts, see: "Andreev's theorem on hyperbolic polyhedra", by Roeder, Dunbar, Hubbard, and "a characterization of compact convex polyhedra in hyperbolic 3-space" by Rivin and Hodgson, based on several other papers by Rivin. The original article by Andreev contained apparently a mistake, found by Roeder.</p> <p>A last remark: connected to the variation of dihedral angles, there is also a nice result that goes under the name of "Schl\"afli's formula" (see on arxiv an article by Rivin and Schlenker)...</p> http://mathoverflow.net/questions/68721/parametrizing-the-realization-space-of-a-polyhedron-by-its-edges/68913#68913 Answer by Jean-Marc Schlenker for Parametrizing the realization space of a polyhedron by its edges Jean-Marc Schlenker 2011-06-27T08:44:55Z 2011-06-27T08:44:55Z <p>In cases like this it might be practical to use the square of the lengths of the edges rather than the lengths. If $e_i$ is the edge between vertices $v_j$ and $v_k$ then the derivative of its square length can be written as $2\langle v_j-v_k, v'_j-v'_k\rangle$, which is quite simple.</p> <p>Your problem is nice but probably difficult. If you consider only the dihedral angles and only convex polyhedra, you might want to look at a recent result by Mazzeo and Montcouquiol, <a href="http://arxiv.org/abs/0908.2981" rel="nofollow">http://arxiv.org/abs/0908.2981</a> They prove a rigidity result relevant to your question but their proof uses some real analysis.</p> http://mathoverflow.net/questions/68721/parametrizing-the-realization-space-of-a-polyhedron-by-its-edges/68914#68914 Answer by Gil Kalai for Parametrizing the realization space of a polyhedron by its edges Gil Kalai 2011-06-27T09:30:23Z 2011-06-30T09:59:07Z <p>This is a nice problem is which related to a lot of nice mathematics. You are given a 3-dimensional polytope P and you would like to understand the space of S(P) all gepmetric realization of P. The problem is of interest also in higher dimensions. (Two related miracles for 3 dimensional polytopes are the "Koebe-Abdreev-Thurston" circle packing problem and "Steinitz's theorem".) Indeed some proofs of Steinitz's theorem implies that S(P) is a contractible space wose dimension is the number of edges. </p> <p>while indeed the number of edges is the "right" dimension for this space, this is not obvious: for simplicial polytopes one can relies on "Cauchy's rigidity theorem". Connelly's flexible sphere demonstrates why the degree of freedom argument can fail. Works on rigiditi of polyhedral graphs (Dehn, Alexandrov, and more modern works by Connelly,Whiteley, and many others can be of relevance.)</p> <p>The question is about an explicit parametrization of S(P). I am not aware of an explicit parametization and description. The works of Sabitov and his school and collaborators are highly relevant. Sabitov's "bellow theorem" ( <a href="http://www.emis.ams.org/journals/BAG/vol.38/no.1/1.html" rel="nofollow">http://www.emis.ams.org/journals/BAG/vol.38/no.1/1.html</a> ) regarding the invariance of the volume for flexes of simplicial 2-sphere is related to the way the colume of the polytope can be algebraically described by the edge lengths. Sabitov, his students and partners have various additional results even closer to the question but I dont remember right now. (Try also this work by V. Alexander. <a href="http://www.springerlink.com/index/J4EXVR63M2QB95PP.pdf" rel="nofollow">http://www.springerlink.com/index/J4EXVR63M2QB95PP.pdf</a> /)</p> http://mathoverflow.net/questions/68721/parametrizing-the-realization-space-of-a-polyhedron-by-its-edges/68951#68951 Answer by mikhail skopenkov for Parametrizing the realization space of a polyhedron by its edges mikhail skopenkov 2011-06-27T18:21:04Z 2011-06-27T18:21:04Z <p>Peter Schroeder et al use <em>mean curvature half-density</em> to navigate the shape space of Riemannian surfaces. They also define a discrete counterpart of this object. The latter might be helpful for the problem because, say, a discrete counterpart of <em>total mean curvature</em> is usually expressed through the edge lengths and dihedral angles. </p>