Uniqueness of a polygon - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T05:55:07Z http://mathoverflow.net/feeds/question/12483 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12483/uniqueness-of-a-polygon Uniqueness of a polygon unknown (google) 2010-01-21T02:25:08Z 2010-01-22T16:16:09Z <p>Suppose I have two $n$-sided polygons A and B. Is there a non-trivial upper bound on the number of parameters (eg. area, perimeter, etc) of the two polygons, that need to be the same, for A and B to be identical? (For example, if we consider a simpler case to the problem when say A is constrained to lie inside B, then if area(A) = area(B), then A and B are identical. Hence area is the only non-trivial parameter in this case)</p> http://mathoverflow.net/questions/12483/uniqueness-of-a-polygon/12487#12487 Answer by Anton Petrunin for Uniqueness of a polygon Anton Petrunin 2010-01-21T02:47:01Z 2010-01-21T03:30:45Z <p>I guess you are looking for a nice answer, but here is a stupid one. On the other hand I'm sure that there is no "nice answer". </p> <p>A polygon can is uniquely determined by length of sides $\ell_i$ and angles $\alpha_i$. Thus we have to find a complete set of invariants for sequence $(\alpha_1,\ell_1,\alpha_2,\ell_2,\dots\alpha_n,\ell_n)$ which survive after even cyclic shifts and reversing order.</p> <p>Then you prepare <a href="http://en.wikipedia.org/wiki/Ring%5Fof%5Fsymmetric%5Ffunctions" rel="nofollow">symmetric polynomials</a> for your group. Say take all monomials of degree at most one in each $\alpha_i$ and $\ell_i$ and take its mean value it along the group. You obtain a big collection of polynomial expressions in $\alpha_i$ and $\ell_i$ which gives complete invariant (perimeter will be one of them).</p> http://mathoverflow.net/questions/12483/uniqueness-of-a-polygon/12493#12493 Answer by Richard Kent for Uniqueness of a polygon Richard Kent 2010-01-21T03:16:53Z 2010-01-21T04:06:40Z <p>The moduli space of $n$-gons up to orientation preserving similarity can be identified with $\mathbb{C}P^{n-2}$, so I would say $2n-3$.</p> <p>See <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.jdg/1214457034" rel="nofollow">On the moduli space of polygons in the Euclidean plane</a> by Kapovich and Millson for more about this space.</p> http://mathoverflow.net/questions/12483/uniqueness-of-a-polygon/12653#12653 Answer by Joseph Malkevitch for Uniqueness of a polygon Joseph Malkevitch 2010-01-22T16:16:09Z 2010-01-22T16:16:09Z <p>There are many structures that mathematicians study because of their intrinsic interest, simplicity and being quick starting. Examples that come to mind are plane polygons and graphs.</p> <p>Plane polygons have a variety of properties that one can look at: area, perimeter, minimum number of vertex guards, number of reflex angles, number of right angles, etc. An individual graph can have a variety of "invariants" that can be studied: coloring number, clique number, being eulerian, or hamiltonian, etc. For two graphs there is no list of invariants that guarantees that the two graphs are isomorphic. The complexity of checking when two graphs are isomorphic is still a dynamic area to investigate. I do not know any list of properties that guarantee that two polygons are congruent going beyond specifying the lengths of the sides and the measure of the angles. Finding new combinatorial/geometric properties of polygons seems to continue to be very worthwhile. </p>