Re: [math-fun] Zonohedral surfaces
Thanks, George! I look forward to watching the video, which unfortunately I don't have time to do this morning. But I'm wondering a couple of things from this post: 1. How do you define the product of two polygons as a polyhedron in 3-space? Abstractly, it makes perfect sense: The product of two vertices is a vertex; of a vertex and an edge (in either order) is an edge; and of two edges is a quadrilateral. So far this is just a combinatorial object, but it could even be an abstract geometrical object, as if each polygon were in a distinct plane and the product becomes a specific subset of 2+2 = 4-space. But that seems to allow a lot of possibilities for it to end up in 3-space. How do you see that any way of doing this results in a polyhedron that's self-intersecting? 2. What does "homogeneous" mean in this situation? It could refer just to the result being combinatorially homogeneous, in that the result has maps taking vertices to vertices, edges to edges, and faces to faces while preserving incidence, that will carry any vertex to any other (transitivity on vertices). Is that it? Thanks, Dan ----- The talk Jim had referred to is now online here in a more completed form. Polyhedra fans might enjoy it: https://www.youtube.com/watch?v=_PSdVX02Vbs The question which I thought might have been intended (during the CoM discussion, or initially by Jim) was whether one could make a *homogeneous* zonohedral surface in 3D which is topologically toroidal without self-intersection. By homogeneous, I mean following the algorithm described in the video from a given initial state. (One with all vertices of degree four would be homogeneous, but that isn't a necessary condition; homogeneous examples might have vertices of any order, e.g., polar zonohedra.) One can take a product of two polygons to create a toroidal surface composed of parallelograms and having all vertices of degree four, but it will be self-intersecting. And one can approximate any continuous surface by joining homogeneous patches, e.g., gluing together small cubes. (The video shows how to join larger homogeneous patches seamlessly.) But I would conjecture that a homogeneous zonohedral surface can only be toroidal if it is self-intersecting. -----
Dan, 1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2} Or if you prefer a route through 4D space, you can take their 4D duoprism and project down to 3D by any (full rank) linear transformation to get an affine family of equivalent surfaces. The necessity of their having self-intersections in 3D is a consequence of the linearity of the transformation, but I don't see an instant proof of that at the moment. 2. When watching the video, I expect you'll see there is a natural notion of a "homogeneous" zonohedral surface that you get by starting from any one zigzag path in space and applying the algorithm. Perhaps "homogeneous" is not the best term, as it already has many other specific uses, but I intended the term to generally characterize that there is a certain uniformity to the structure that entails long-distance constraints. I'm open to suggestions for better a term. George http://georgehart.com On 11/16/2020 12:04 PM, Dan Asimov wrote:
Thanks, George! I look forward to watching the video, which unfortunately I don't have time to do this morning.
But I'm wondering a couple of things from this post:
1. How do you define the product of two polygons as a polyhedron in 3-space?
Abstractly, it makes perfect sense: The product of two vertices is a vertex; of a vertex and an edge (in either order) is an edge; and of two edges is a quadrilateral. So far this is just a combinatorial object, but it could even be an abstract geometrical object, as if each polygon were in a distinct plane and the product becomes a specific subset of 2+2 = 4-space.
But that seems to allow a lot of possibilities for it to end up in 3-space.
How do you see that any way of doing this results in a polyhedron that's self-intersecting?
2. What does "homogeneous" mean in this situation? It could refer just to the result being combinatorially homogeneous, in that the result has maps taking vertices to vertices, edges to edges, and faces to faces while preserving incidence, that will carry any vertex to any other (transitivity on vertices). Is that it?
Thanks,
Dan
----- The talk Jim had referred to is now online here in a more completed form. Polyhedra fans might enjoy it:
https://www.youtube.com/watch?v=_PSdVX02Vbs
The question which I thought might have been intended (during the CoM discussion, or initially by Jim) was whether one could make a *homogeneous* zonohedral surface in 3D which is topologically toroidal without self-intersection. By homogeneous, I mean following the algorithm described in the video from a given initial state. (One with all vertices of degree four would be homogeneous, but that isn't a necessary condition; homogeneous examples might have vertices of any order, e.g., polar zonohedra.) One can take a product of two polygons to create a toroidal surface composed of parallelograms and having all vertices of degree four, but it will be self-intersecting. And one can approximate any continuous surface by joining homogeneous patches, e.g., gluing together small cubes. (The video shows how to join larger homogeneous patches seamlessly.) But I would conjecture that a homogeneous zonohedral surface can only be toroidal if it is self-intersecting. -----
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
George, I think you meant "Minkowski sum", not "Cartesian product". Jim On Mon, Nov 16, 2020 at 1:14 PM George Hart <george@georgehart.com> wrote:
Dan,
1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2} Or if you prefer a route through 4D space, you can take their 4D duoprism and project down to 3D by any (full rank) linear transformation to get an affine family of equivalent surfaces.
The necessity of their having self-intersections in 3D is a consequence of the linearity of the transformation, but I don't see an instant proof of that at the moment.
2. When watching the video, I expect you'll see there is a natural notion of a "homogeneous" zonohedral surface that you get by starting from any one zigzag path in space and applying the algorithm. Perhaps "homogeneous" is not the best term, as it already has many other specific uses, but I intended the term to generally characterize that there is a certain uniformity to the structure that entails long-distance constraints. I'm open to suggestions for better a term.
George http://georgehart.com
On 11/16/2020 12:04 PM, Dan Asimov wrote:
Thanks, George! I look forward to watching the video, which unfortunately I don't have time to do this morning.
But I'm wondering a couple of things from this post:
1. How do you define the product of two polygons as a polyhedron in 3-space?
Abstractly, it makes perfect sense: The product of two vertices is a vertex; of a vertex and an edge (in either order) is an edge; and of two edges is a quadrilateral. So far this is just a combinatorial object, but it could even be an abstract geometrical object, as if each polygon were in a distinct plane and the product becomes a specific subset of 2+2 = 4-space.
But that seems to allow a lot of possibilities for it to end up in 3-space.
How do you see that any way of doing this results in a polyhedron that's self-intersecting?
2. What does "homogeneous" mean in this situation? It could refer just to the result being combinatorially homogeneous, in that the result has maps taking vertices to vertices, edges to edges, and faces to faces while preserving incidence, that will carry any vertex to any other (transitivity on vertices). Is that it?
Thanks,
Dan
----- The talk Jim had referred to is now online here in a more completed form. Polyhedra fans might enjoy it:
https://www.youtube.com/watch?v=_PSdVX02Vbs
The question which I thought might have been intended (during the CoM discussion, or initially by Jim) was whether one could make a *homogeneous* zonohedral surface in 3D which is topologically toroidal without self-intersection. By homogeneous, I mean following the algorithm described in the video from a given initial state. (One with all vertices of degree four would be homogeneous, but that isn't a necessary condition; homogeneous examples might have vertices of any order, e.g., polar zonohedra.) One can take a product of two polygons to create a toroidal surface composed of parallelograms and having all vertices of degree four, but it will be self-intersecting. And one can approximate any continuous surface by joining homogeneous patches, e.g., gluing together small cubes. (The video shows how to join larger homogeneous patches seamlessly.) But I would conjecture that a homogeneous zonohedral surface can only be toroidal if it is self-intersecting. -----
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
On Nov 16, 2020, at 1:28 PM, James Propp <jamespropp@gmail.com> wrote:
The necessity of their having self-intersections in 3D is a consequence of the linearity of the transformation, but I don't see an instant proof of that at the moment.
Consider the corresponding statement for continuous curves. Suppose surface S is the Minkowski sum of two closed curves. Express the signed-volume of S as a double integral over its two parameters. When S is a sum of curves, and we use them as parameters, this integral is trivially 0x0 = 0. But if S can be immersed without self intersections it would have a nonzero volume. -Veit
Jim, Yes, that's a much better term. Thanks. George http://georgehart.com On 11/16/2020 1:28 PM, James Propp wrote:
George, I think you meant "Minkowski sum", not "Cartesian product".
Jim
On Mon, Nov 16, 2020 at 1:14 PM George Hart <george@georgehart.com> wrote:
Dan,
1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2} Or if you prefer a route through 4D space, you can take their 4D duoprism and project down to 3D by any (full rank) linear transformation to get an affine family of equivalent surfaces.
The necessity of their having self-intersections in 3D is a consequence of the linearity of the transformation, but I don't see an instant proof of that at the moment.
2. When watching the video, I expect you'll see there is a natural notion of a "homogeneous" zonohedral surface that you get by starting from any one zigzag path in space and applying the algorithm. Perhaps "homogeneous" is not the best term, as it already has many other specific uses, but I intended the term to generally characterize that there is a certain uniformity to the structure that entails long-distance constraints. I'm open to suggestions for better a term.
George http://georgehart.com
On 11/16/2020 12:04 PM, Dan Asimov wrote:
Thanks, George! I look forward to watching the video, which unfortunately I don't have time to do this morning.
But I'm wondering a couple of things from this post:
1. How do you define the product of two polygons as a polyhedron in 3-space?
Abstractly, it makes perfect sense: The product of two vertices is a vertex; of a vertex and an edge (in either order) is an edge; and of two edges is a quadrilateral. So far this is just a combinatorial object, but it could even be an abstract geometrical object, as if each polygon were in a distinct plane and the product becomes a specific subset of 2+2 = 4-space.
But that seems to allow a lot of possibilities for it to end up in 3-space.
How do you see that any way of doing this results in a polyhedron that's self-intersecting?
2. What does "homogeneous" mean in this situation? It could refer just to the result being combinatorially homogeneous, in that the result has maps taking vertices to vertices, edges to edges, and faces to faces while preserving incidence, that will carry any vertex to any other (transitivity on vertices). Is that it?
Thanks,
Dan
----- The talk Jim had referred to is now online here in a more completed form. Polyhedra fans might enjoy it:
https://www.youtube.com/watch?v=_PSdVX02Vbs
The question which I thought might have been intended (during the CoM discussion, or initially by Jim) was whether one could make a *homogeneous* zonohedral surface in 3D which is topologically toroidal without self-intersection. By homogeneous, I mean following the algorithm described in the video from a given initial state. (One with all vertices of degree four would be homogeneous, but that isn't a necessary condition; homogeneous examples might have vertices of any order, e.g., polar zonohedra.) One can take a product of two polygons to create a toroidal surface composed of parallelograms and having all vertices of degree four, but it will be self-intersecting. And one can approximate any continuous surface by joining homogeneous patches, e.g., gluing together small cubes. (The video shows how to join larger homogeneous patches seamlessly.) But I would conjecture that a homogeneous zonohedral surface can only be toroidal if it is self-intersecting. -----
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
Thanks, George and Jim. I'll be able to watch the video this evening and am looking forward to it. —Dan
On Nov 16, 2020, at 11:41 AM, George Hart <george@georgehart.com> wrote:
Jim,
Yes, that's a much better term. Thanks.
George http://georgehart.com
On 11/16/2020 1:28 PM, James Propp wrote:
George, I think you meant "Minkowski sum", not "Cartesian product". Jim On Mon, Nov 16, 2020 at 1:14 PM George Hart <george@georgehart.com> wrote:
Dan,
1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2} Or if you prefer a route through 4D space, you can take their 4D duoprism and project down to 3D by any (full rank) linear transformation to get an affine family of equivalent surfaces.
The necessity of their having self-intersections in 3D is a consequence of the linearity of the transformation, but I don't see an instant proof of that at the moment.
2. When watching the video, I expect you'll see there is a natural notion of a "homogeneous" zonohedral surface that you get by starting from any one zigzag path in space and applying the algorithm. Perhaps "homogeneous" is not the best term, as it already has many other specific uses, but I intended the term to generally characterize that there is a certain uniformity to the structure that entails long-distance constraints. I'm open to suggestions for better a term.
George http://georgehart.com
On 11/16/2020 12:04 PM, Dan Asimov wrote:
Thanks, George! I look forward to watching the video, which unfortunately I don't have time to do this morning.
But I'm wondering a couple of things from this post:
1. How do you define the product of two polygons as a polyhedron in 3-space?
Abstractly, it makes perfect sense: The product of two vertices is a vertex; of a vertex and an edge (in either order) is an edge; and of two edges is a quadrilateral. So far this is just a combinatorial object, but it could even be an abstract geometrical object, as if each polygon were in a distinct plane and the product becomes a specific subset of 2+2 = 4-space.
But that seems to allow a lot of possibilities for it to end up in 3-space.
How do you see that any way of doing this results in a polyhedron that's self-intersecting?
2. What does "homogeneous" mean in this situation? It could refer just to the result being combinatorially homogeneous, in that the result has maps taking vertices to vertices, edges to edges, and faces to faces while preserving incidence, that will carry any vertex to any other (transitivity on vertices). Is that it?
Thanks,
Dan
----- The talk Jim had referred to is now online here in a more completed form. Polyhedra fans might enjoy it:
https://www.youtube.com/watch?v=_PSdVX02Vbs
The question which I thought might have been intended (during the CoM discussion, or initially by Jim) was whether one could make a *homogeneous* zonohedral surface in 3D which is topologically toroidal without self-intersection. By homogeneous, I mean following the algorithm described in the video from a given initial state. (One with all vertices of degree four would be homogeneous, but that isn't a necessary condition; homogeneous examples might have vertices of any order, e.g., polar zonohedra.) One can take a product of two polygons to create a toroidal surface composed of parallelograms and having all vertices of degree four, but it will be self-intersecting. And one can approximate any continuous surface by joining homogeneous patches, e.g., gluing together small cubes. (The video shows how to join larger homogeneous patches seamlessly.) But I would conjecture that a homogeneous zonohedral surface can only be toroidal if it is self-intersecting. -----
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
On Mon, Nov 16, 2020 at 11:29 AM James Propp <jamespropp@gmail.com> wrote:
On Mon, Nov 16, 2020 at 1:14 PM George Hart <george@georgehart.com> wrote:
Dan,
1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2}
George, I think you meant "Minkowski sum", not "Cartesian product".
He means the cartesian product of the polygon graphs, and you can assign coordinates to the product graph using the Minkowski sum. It's a terrible shame that the term "Cartesian product" of graphs was used for a construction that is not the categorical product of graphs. I far prefer the term "box product", because the box product of two edges forms a square, whereas the categorical product of two edges forms an x. -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike https://reperiendi.wordpress.com
Forgot the link: https://en.wikipedia.org/wiki/Cartesian_product_of_graphs On Mon, Nov 16, 2020 at 11:42 AM Mike Stay <metaweta@gmail.com> wrote:
On Mon, Nov 16, 2020 at 11:29 AM James Propp <jamespropp@gmail.com> wrote:
On Mon, Nov 16, 2020 at 1:14 PM George Hart <george@georgehart.com> wrote:
Dan,
1. By the product of polygons P1 and P2, I just mean the Cartesian product: {p1 + p2 | p1 \in P1 && p2 \in P2}
George, I think you meant "Minkowski sum", not "Cartesian product".
He means the cartesian product of the polygon graphs, and you can assign coordinates to the product graph using the Minkowski sum. It's a terrible shame that the term "Cartesian product" of graphs was used for a construction that is not the categorical product of graphs. I far prefer the term "box product", because the box product of two edges forms a square, whereas the categorical product of two edges forms an x.
-- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike https://reperiendi.wordpress.com
-- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike https://reperiendi.wordpress.com
participants (6)
-
Dan Asimov -
Dan Asimov -
George Hart -
James Propp -
Mike Stay -
Veit Elser