Talk:Conway polyhedron notation

WikiProject Mathematics (Rated Start-class, Low-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Low Priority
Field:  Geometry
WikiProject Uniform Polytopes
This article is within the scope of WikiProject Uniform Polytopes, a collaborative effort to improve the coverage of uniform polytopes on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.

I added an example table, using the cube as the seed and all the octahedral symmetry polyhedra with images on wikipedia now that can be generated from it. I added some quick operational titles, not standardized, but whatever seemed most useful explanation in a single word. I'm happy if anyone else wants to improve on this. I just wanted to get some examples up there. Tom Ruen 02:52, 31 December 2006 (UTC)

Okay, here's an ugly example chart, at least to visually explain the operations by a cube example. It shows a graph of sequential operations in black, as well as alternative paths and short-names in red. I won't add it to the page since it isn't pretty enough (or clear enough!) Tom Ruen 12:37, 31 December 2006 (UTC)

Generalization to 4D?

Just wondering if Conway's operators can be generalized to 4D, and how many polychora can be generated using simple seeds? (Analogous to generating the Platonic solids from the prisms and antiprisms, and the Archimedian and Catalan solids from those.)—Tetracube (talk) 04:15, 3 August 2008 (UTC)

I've thought about that as well, but not looked in detail, nor heard of it being done. Certainly some operations apply directly to higher dimensions like dual, truncate, rectify, kis, expand, bevel. Well, I imagine some may diverge into two forms in higher dimensions (acting on faces vs acting on facets/cells for instance), and some new operators will be needed. I imagine the combination of operators will act differently between dimensions. I'd bet Conway has already thought of this and it was never published. We'd not have his polyhedron operators without George Hart's efforts to show them on his website and VRML generator. (The Symmetry of Things, 2008, which still doesn't fully express what's here either.) Tom Ruen (talk) 02:45, 5 August 2008 (UTC)
Anyone in correspondence with him, who can ask him about this? :-) One thing for sure, in 4D there is a new kind of truncation. Consider the progressive truncation of the cube into the octahedron: you go from cube -> truncated cube -> cuboctahedron (rectified cube/octahedron) -> truncated octahedron -> octahedron. So in 3D, the rectified polyhedron is sorta of "midpoint" between two duals. In 4D, however, the rectified polychora of two duals no longer coincide; the midpoint is now the bitruncate, e.g.: 4-cube -> truncated 4-cube -> rectified 4-cube -> bitruncated 4-cube (= bitruncated 16-cell) -> rectified 16-cell -> truncated 16-cell -> 16-cell. So I'd imagine there should be at least a bitruncation operator in 4D.—Tetracube (talk) 20:06, 5 August 2008 (UTC)
The thing generalises to every dimension. In essence, one treats the seed as regular, and each of wythoff's Mirror-edge and Mirror-margin operators correspond to a Conway-Hart flip and conway-hart flop operator. To see how the operator works, one draws a "flag" (triangle with vertex at the vertex, edge-middle, face-middle et.) The thing corresponds to v--e--f of the dynkin symbol, and that half of the operators are of the form xo---xo---xo (ie x/o) and the other half is mo---mo---mo.
When you apply a conway operator to a figure, ye generate a new seed, and that this figure can then have a new conway operator applied. The only concatinations is that a rectate or truncate (ie oxooo! or axooo!) applied to a n-rectate (..oxo...) gives ..oxaxo.. , gives a n-cantellate ...xox... or n-cantetruncate ..oxxxo...
See eg http://www.os2fan2.com/gloss/pglossc.html#PGCONWAYOPER Conwy-Hart rule, cantelate. --Wendy.krieger (talk) 04:55, 18 October 2009 (UTC)
I understand it generalizes to higher dimensions. What's harder to see is what "new" operations exist, and how sets of operations work out as equivalents. It definitely would be fun to work out the operations in 4D. Someone should write a paper on it and we can include something on Wikipedia!
Here's the ones I can see, how they apply in general, or quick generalized descriptions:
1. d = dual - topologically swap vertices-facets, edges-ridges, faces-peaks, etc.
2. a = ambo - rectification - Create vertices on mid-edges, rectify facets, new facets at old vertices
3. t = truncate - create pairs of new vertices on edges, truncate facets, new facets at old vertices.
4. k = kis - create new vertices at facet center, replace facets by "central pyramids"
5. e = expand - Split vertices, one for each facet. Insert new facets at old vertices, at old edges, at old facess...
6. o = ortho - Divide facets at mid-edges, mid-faces, etc. Replace facets with ones from each old facet vertex/edge/face centers.
My FIRST interest would be to see what minimum set of operators can generate all of the uniform polychorons from the regular seeds. Tom Ruen (talk) 20:03, 20 October 2009 (UTC)

There are eighteen operators in four dimensions, of which only two are constructable from others, eg rectify.rectify = cantellate and truncated.rectified = truncicantellate. You can use dual + Edge to get the corresponding Margin. --Wendy.krieger (talk) 11:01, 31 December 2009 (UTC)

Conway operators for 4-polytopes?

Perhaps consider seeds: S=(4-simplex), C=(4-cube)Tesseract, O=(4-orthoplex)16-cell, D=dodecaplex, T=Tetraplex

Wendy, can you fill-out or expand this table for 4-polytopes?

There is a corresponding Conway operator, for each of the Wythoff mirror-edge and mirror-margin constructions, along with a variety of snub operators. Moreover, since both call down to pennants (simplexes with numbered vertices), the wythoff construction can be used for these figures too.
The wythoff mirror-margin operators (j, k, o, m, g) produce figures with single faces and several kinds of vertices, while the wythoff mirror-edge operators, (a, t, e, b, s) produce figures with single vertices and several kinds of face.
The 3d operators correspond to the WMM j=omo, k=omm, o=mom, m=mmm, and g=ggg, while WME are a=oxo, t=xxo, e=xox, b=xxx, and s=sss. In four dimensions, there are four elements, eg d = ooox or ooom.
The main difference is that the numbers between the nodes change from flag to flag. So while xPx still gives a 2P, P changes from node to node.--Wendy.krieger (talk) 10:03, 31 December 2009 (UTC)

Conway operators for 4-polytopes.... (incomplete/incorrect!)
Operator Name Alternate
construction
vertices edges faces cells Description
Seed v e h c Seed form
d dual c h e v dual of the seed polyhedron
a oxoo ambo e ? ? v+c Vertices moved to edge-midpoints, vertex creates a new cells. (rectify)
j omoo join da v+c ? ? e dual of ambo
t xxoo truncate 2e - - v+c Vertices moved into pairs on edges, new cells at old vertices.
k oomm kis dtd? v+c ? ? 2e raises a pyramid on each cell
? xoxo ? aa f/4 f/2 ? ? c+e+v Each vertex and edge creates a new cell. (cantellation)
? ? v+e ? ? ? Create new vertices on midedges
e xoox expand ? ? ? v+e+f+c Each vertex, edge, and face creates a new cell. (Runcinate)
o moom ortho de v+e+h+c ? ? ? Strombiate. Cells are antitegums of the vertex figure of the seed's cells/
b xxxo bevel ta f/2 f ? c+h+e+v New cells are added in place of faces, edges and vertices.
m ommm meta db? v+e+h ? f f/2 Cells are divided into by sets of vertices, mid-edges, face-centers
v mmmm vaniate v+e+h+c ? 2f f Cells are divided into 4-simplices by sets of vertices, mid-edges, face-centers, and cell-centers (vaniate = make flags)

It's not possible to add the number of elements in every case, since an edge in the seed might give rise to a prism of q or 2q, where there are q cells on that edge. Different edges can give rise to different q, and hence different prisms.

If you know the total number of flags (f) (eg for hexagonal prism = 12 + 12 + 6*8 = 72), then you can evaluate edges and vertices where only one flag-wall is used. These are the cases where there are no instances of adjacent 'o' nodes. The rule follows the one set out by Coxeter on the dynkin graph (you get something like f, f/2 or f/4), enumerated once for the vertex, and each x removed constitute an edge. You can always test this on a real polyhedron, which gives a simple-to-calculate result.

--Wendy.krieger (talk) 10:46, 31 December 2009 (UTC)

Kis operator

I notice that the kis operator is listed among the other "main" operators, and then described again as a shorter alternate notation (knX = dtndX). Is this a mistake? I made a graph of how various polyhedra are related to each other via these operators, and I can confirm that kX = dtdX at least for the Archimedean/Catalan polyhedra.—Tetracube (talk) 20:10, 5 August 2008 (UTC)

The n refers to a limited kis, or limited truncation. Like k3 means "kis only triangles", and t3 means "truncate order 3 vertices". Tom Ruen (talk) 05:27, 7 August 2008 (UTC)

Operations table

Aren't many of the v/e/f entries incorrect? In particular, ambo should have v+f faces unless I'm mistaken. Bmreiniger (talk) 01:57, 8 April 2014 (UTC)

Errors may exist, but possibly you're missing a spherical Euler characteristic substitution, with f+v=e+2, although this would be incorrect for using it for Euclidean tilings. Tom Ruen (talk) 03:13, 8 April 2014 (UTC)
OK, I see. In the back of my mind I'm thinking about arbitrary surfaces (when the operations make sense), which this page is not about. Thanks. Bmreiniger (talk) 17:15, 8 April 2014 (UTC)
The operations could apply to toroidal_polyhedron, although you have really define the surface. Hart's javaScript only works for spherical polyhedra seeds. This alternate script [1] also works from spherical seeds, but has trouble with nonplanar faces, and doesn't conform points onto a sphere. Tom Ruen (talk) 22:27, 8 April 2014 (UTC)
Is there any reason not to list v+f faces for ambo? I mean, it makes it clearer what's going on; using the Euler formula substitution obscures things by one step. v+f seems much more natural. I'd recommend the change. And in any case, the entries for chamfer are wrong: chamfer has e+f faces and 2e+v vertices. Anyone reading this who agrees should go ahead and make the edit to the page itself, or I will if I come back in a while and there's no disagreement. — Preceding unsigned comment added by 98.116.5.101 (talk) 06:07, 12 May 2014 (UTC)

What is "cab ne see"?

What means cab ne see in sentence

The zero index cab ne see to represent vertices...

Jumpow (talk) 19:59, 22 October 2017 (UTC)

Original research

While this page is a great resource, I'm having a hard time tracking down references for some of the operators that don't appear on George Hart's list, and I kind of suspect that Tomruen (talk · contribs) created some out of necessity. That would fall under WP:NOR. I'm hoping that's not the case and I'm just confused by the article lacking in-line citations. -Apocheir (talk) 21:55, 17 November 2017 (UTC)

Hi Apocheir. Yes, referencing sources here is tricky since the primary sources come from what actual program generators use, starting with Hart's. And you're right I took some liberties for defining extensions, like helping with the Goldberg polyhedra. The http://levskaya.github.io/polyhedronisme site is very useful since it can generate polyhedra within a URL address, but only implement a few operators beyond Hart's - chamfer and whirl which do help on the Goldberg forms. The strongest implementation of extended operators, working directly from Hart's algorithms is in http://www.antiprism.com, but its not had a recent release. I've not used it myself, but I have its documentation, copied here: User:Tomruen/Conway polyhedron notation/Antiprism notes. Tom Ruen (talk) 23:17, 18 November 2017 (UTC)

Neither Antiprism nor Polyhedronisme implement the parameterized uk, wj,k, and vj,k operators. I'm also concerned because Antiprism, Polyhedronisme, and this page have some definitions that conflict, for example n, x, and z. I'm not looking at Wikipedia policy for the sake of policy, it's just that this page is kind of turning into a zoo, and creating new operators ad-hoc is making it more crowded. There's a recent paper here that actually complains about the absence of a systematic organization for Conway operators (page 9 in particular), and it references this Wikipedia page as an example! -Apocheir (talk) 21:40, 27 November 2017 (UTC)
Agreed, its a problem, and there's no authorative source to set a standard. I have thought to rework the article with multiple operator columns for different generator implementations. I'm less worried about indexed operators like wj,k since it can be seen as a definition of a series, which has some instances derivable from other operations. Tom Ruen (talk) 21:55, 27 November 2017 (UTC)

I've been working on a major redesign of this page in User:Apocheir/sandbox to address both the unclear citations and the disorganization. Grouping the operators by duality has made it much more manageable. I'd like anyone who's interested to look it over, since statistically it's very likely that I omitted or typoed something in there somewhere. One of my main questions is with the example section: I don't get much out of most of the examples other than "hey, that's a cool looking polyhedra" and I wonder if it would be more appropriate for, say, a Commons gallery page. -Apocheir (talk) 21:27, 14 January 2018 (UTC)

It looks promising. The matrix representation looks interesting, but will take some getting used to. I agree the gallery section is more just examples of what can be done and could be done on a commons page. One of the open questions for me was to see what was possible, so that's why I tried making the derived tables with composite operators. Anyway, since no one had really written up a theory on what is possible or not possible, this article is necessarily exploratory, showing possibilities with the cubic seed starting point. The main theory is apparently that symmetry is preserved, except for chiral forms which can cut symmetry in half if original has reflective symmetry. Tom Ruen (talk) 21:54, 14 January 2018 (UTC)

Some comments as I push my changes:

• I used Antiprism as the reference implementation. This is a little goofy because I believe Antiprism used this page as its reference for the extended operations, but I suppose that's water under the bridge now.
• The only named operators that aren't being carried over in some form are gyro-3 and snub-3. Aside from WP:NOR questions, I couldn't verify the vertex/edge/face counts or the dual relation. (If x=xd, the equation for either vertexes or faces has to be in the form of either ${\displaystyle me}$ or ${\displaystyle v+ne+f}$.) I'm willing to readd them if they're attested somewhere outside of Wikipedia, e.g. if Antiprism implements a gyro/snub indexed operator.
• I've removed the "derived operations" section entirely. This is another section where all I get out of it is "hey that's neat-looking", and the tables of operator counts by edge multiplier are dubious and uncited.
• There are a bunch of images in the dx and dxd columns that might be reversed. This was true of the original page, it's just more obvious now. I'll attempt to go through the list if nobody gets to it before me.
• Probably related: It looks like the image for v was actually for dv.
• I tried to retain as much as I could, but the unclear reference style from before didn't help. If there's something I missed that's citeable, add it back in. I've only been able to get chunks of The Symmetries of Things from Google Books, so it's possible I missed something from that source.

-Apocheir (talk) 20:46, 20 January 2018 (UTC)

Can someone chime in on a disagreement between myself and Apochier regarding the meaning of xd and dx

We both seem to agree as to how matrix multiplication works (what ${\displaystyle \mathbf {M} _{x}}$${\displaystyle \mathbf {M} _{d}}$ and ${\displaystyle \mathbf {M} _{d}}$${\displaystyle \mathbf {M} _{x}}$ each are in matrix form) but disagree as to which one of xd and dx corresponds to which of those. Apochier believes that xd = ${\displaystyle \mathbf {M} _{x}}$${\displaystyle \mathbf {M} _{d}}$ and dx = ${\displaystyle \mathbf {M} _{d}}$${\displaystyle \mathbf {M} _{x}}$, while I believe that xd = ${\displaystyle \mathbf {M} _{d}}$${\displaystyle \mathbf {M} _{x}}$ and dx = ${\displaystyle \mathbf {M} _{x}}$${\displaystyle \mathbf {M} _{d}}$. Other places in the article seem to back up my assumption. Who is correct? Kevin Lamoreau (talk) 21:49, 17 October 2018 (UTC)

I now realize I was incorrect. What threw me off is that I hadn't realized that the operation itself (the operation of an operator on a polyhedron) has the operator matrix before the matrix representing the polyhedron being operated upon. I've edited the Operators section to try and show this better, by using the transpose symbol and an actual 3x1 matrix representation of the column vectors. Kevin Lamoreau (talk) 22:56, 17 October 2018 (UTC)