- A community for Conway's Game of Life and related cellular automata
Home  •  LifeWiki  •  Forums  •  Download Golly

Things You've Been Doing Other Than CGoL

A forum where anything goes. Introduce yourselves to other members of the forums, discuss how your name evolves when written out in the Game of Life, or just tell us how you found it. This is the forum for "non-academic" content.

Re: Things You've Been Doing Other Than CGoL

Postby gameoflifeboy » July 29th, 2017, 5:36 pm

muzik wrote:I can't be the only one who finds it weird and confusing that there exists no star polyhedron {5/2,5/2}?

Wikipedia says it counts as a failed star polyhedron, since it doesn't eventually close.

I think I can explain this. It looks like I'm turning into "that one guy who always answers when people have questions about geometry" :lol: .

I used to find the nonexistence of {5/2, 5/2} weird and confusing too, but it's really no stranger than the fact that {5/2, 4} doesn't exist. It just appears that it might because all of the subsymmetries implied by the Schlafli symbol (pentagonal and digonal/rectangular) exist as subsymmetries of dodecahedral symmetry.

Any nonconvex uniform polytope that has a kaleidoscopic (Wythoffian) construction--and therefore a Coxeter diagram--and does not overlap itself infinitely, must have a symmetry describable by a convex kaleidoscopic consruction (proof?). This means that nonconvex regular polytopes never "make" their own symmetry, they always follow the symmetries of convex polytopes. In this case, {5/2, 3} and {5/2, 5} both happen to close under the symmetry of {5, 3}, icosahedral symmetry. {5/2, 5/2}, however, does not, and there is no other symmetry that it can close under, as it would need to have a pentagonal subsymmetry. This is also why the only regular hyperbolic star tessellations are {n/2, n} and {n, n/2} for odd n greater than 6, as these are the only kaleidoscopic constructions that lend themselves to regular polytopes and a regular symmetry, namely {n, 3}.

Another way to think of it is that it doesn't exist because its conjugate* would be {5, 5}, which is hyperbolic and obviously doesn't close either.

Finding all the possible Coxeter diagrams that close under a certain symmetry is difficult (for me), but it can be done by realizing that their omnitruncates** are all facetings*** of each other if given the right edge lengths; each ring in the Coxeter diagram represents a different type of edge, and the edges of each type can have their length changed independently of those of any other type.

Dr. Richard Klitzing has a better way to find these, by "adding" the Coxeter diagrams (called Dynkin diagrams on the website), but I can't really understand it. It is described here:

*A conjugate of a uniform polytope is one that, roughly, can be constructed by taking regular polygonal subsymmetries (usually on the faces or face figures, which are vertices in 3D) and "wrapping" the symmetry a different number of times. For example, the great dodecahedron {5, 5/2} can have its pentagonal faces doubly wrapped into pentagrammic faces and its pentagrammic vertex figures doubly wrapped into pentagonal ones. This produces the small stellated dodecahedron {5/2, 5}, thus the great dodecahedron and small stellated dodecahedron are conjugates. Taking a polytope's conjugate changes the circumradius and coordinates into their algebraic conjugates; numbers that are roots of the same polynomial.

It is also worth noting that the pentagonal faces and the pentagrammic vertices of the great dodecahedron must change together, as they can be "paired up"; each face lies directly under a vertex. On the other hand, in the square tiling {4, 4} (for example), squares and square-symmetry vertices cannot be paired up, meaning that they can be re-wound independently of each other. If the squares and/or vertices get re-wound thrice, it could lead to {4/3, 4}, {4, 4/3}, or {4/3, 4/3}--but these are all also the square tiling, so this creates no new tessellations.

**The omnitruncate of a Coxeter diagram is the shape made when every node in the diagram is ringed.

***Faceting: a polytope which shares the same vertices as another polytope.
User avatar
Posts: 461
Joined: January 15th, 2015, 2:08 am
Location: nowhere

Re: Things You've Been Doing Other Than CGoL

Postby muzik » July 30th, 2017, 10:03 pm

How would {1,2} and {2,1} look as tesselations of a sphere?
2c/n spaceships project

Current priorities: see here
Posts: 2651
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Things You've Been Doing Other Than CGoL

Postby lifeisawesome » December 7th, 2017, 10:11 am

Black MIDIs. The largest one I have made has 5 million notes.

Too bad it's just spam...
--Szymon Bartosiewicz
gotta keep that post count- forget it
User avatar
Posts: 76
Joined: April 22nd, 2016, 1:55 pm
Location: poland

Re: Things You've Been Doing Other Than CGoL

Postby blah » December 9th, 2017, 12:54 pm

Making a new version of Reasoning Realm.
pattern.png (3.78 KiB) Viewed 132 times
User avatar
Posts: 182
Joined: April 9th, 2016, 7:22 pm

Re: Things You've Been Doing Other Than CGoL

Postby muzik » December 24th, 2017, 6:30 pm

trying to finish off that pokemon diamond i got four years ago.
2c/n spaceships project

Current priorities: see here
Posts: 2651
Joined: January 28th, 2016, 2:47 pm
Location: Scotland


Return to The Sandbox

Who is online

Users browsing this forum: No registered users and 2 guests