Polytopes with screw symmetry, without rotational symmetry

Discussion of tapertopes, uniform polytopes, and other shapes with flat hypercells.

Polytopes with screw symmetry, without rotational symmetry

Hey folks. Here's two cute things:

https://www.youtube.com/watch?v=ilVS-ZY5QP4 - lecture on a sculpture a very strange symmetry group. Here's the sculpture: Here's the "laves graph", a 3D structure with screw symmetry but lacking in rotational symmetry:

I'd like a polytope which has this kind of symmetry: multiple axes such that, if you do "double rotations" of the polytope, the polytope looks the same. Anyone know of such things?
hamish_todd
Mononian

Posts: 5
Joined: Mon May 14, 2018 1:52 pm

Re: Polytopes with screw symmetry, without rotational symmet

Yes, I'd also like to know about polychora with only double rotation symmetry, not simple rotation symmetry.

ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Here are some results on the possible symmetry groups. I'll denote a double rotation as (θ,ϕ), for rotating by angle θ in the x,y-plane and ϕ in the z,w-plane.

If either angle is irrational, then applying the double rotation repeatedly, (nθ,nϕ), gives infinitely many different elements of the group, which we don't want (as it would give the polychoron infinitely many vertices). So both θ and ϕ (considered as multiples of 360°) must be rational.

If the symmetry group contains a double rotation that's not isoclinic, then applying it repeatedly gives a non-trivial simple rotation. For example, 5*(72°, 90°) = (360°, 450°) = (0°, 90°). So the rotation must be isoclinic: θ = ±ϕ.

If the group contains both a left-isoclinic rotation L and a right-isoclinic rotation R, then it also contains a non-isoclinic rotation LR (that is their composition), and thus it also contains a simple rotation. Proof: Suppose contrarily that LR = L' is another left-isoclinic rotation. Then we have R = L⁻¹L'. Since the lefts form a group, L⁻¹ is also a left, and the product L⁻¹L' is also a left. But this contradicts R being a right. Similarly, LR = R' being another right leads to a contradiction through L = R'R⁻¹. Therefore, LR is neither left-isoclinic nor right-isoclinic.

If the group contains a left L and a reflection F, or a rotoreflection F, then FLF⁻¹ (which can be thought of as a reflection of the rotation itself) is a right, and thus the group contains a simple rotation.

Therefore, the group must contain only left-isoclinic rotations, or only right-isoclinic rotations, and no other transformations.

Actually there are two isoclinic rotations which are both left and right: The identity (0°, 0°), and (180°, 180°) which simply negates all coordinates. But these are easily accounted for in the above. There is one group containing the latter and a reflection and no simple rotations; its 4 transformations send (x,y,z,w) to (x,y,z,w) itself (the identity), (-x,y,z,w) (a reflection), (x,-y,-z,-w) (a 180° rotoreflection), and (-x,-y,-z,-w) (the 180° double rotation).
Last edited by mr_e_man on Wed Oct 13, 2021 4:02 am, edited 1 time in total.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Left-isoclinic rotations in 4D correspond to rotations in 3D.

See some previous posts viewtopic.php?f=27&t=2482 .

In geometric algebra, a 3D rotation by angle θ around unit vector u can be represented by the multivector exp(Iuθ/2) = cos(θ/2) + Iu sin(θ/2), where I is the unit trivector. (Actually there are two unit trivectors, ±I, corresponding to left-handed and right-handed senses of rotation around u; choose one.)

The unit vectors e₁, e₂, and e₃ represent the x-, y-, and z-axes (respectively), so any point or vector can be written as (x,y,z) = xe₁ + ye₂ + ze₃. Vectors can be multiplied according to the rules

e₁² = e₂² = e₃² = 1,
ee₂ = - ee₁, ee₃ = - ee₁, ee₃ = - ee₂,

along with the usual rules for multiplication (such as of matrices): distributivity and associativity. Just as the space of vectors is spanned by 3 basis vectors e₁,e₂,e₃, the space of multivectors is spanned by 2³ = 8 basis multivectors:

i = -Ie₁ = ee₂, (grade 2)
j = -Ie₂ = ee₃, (grade 2)
k = -Ie₃ = ee₁, (grade 2)

The even-grade multivectors are exactly isomorphic to the quaternions, which are defined by i² = j² = k² = -1 and ij = k. Indeed,

k² = (ee₁) (ee₁) = (-ee₂) (ee₁) = - e₁(ee₂)e₁ = - e₁(1)e₁ = - ee₁ = -1, (similarly for i² and j²,)

ij = (ee₂) (ee₃) = (-ee₃) (-ee₁) = +e₂(ee₃)e₁ = ee₁ = k.

Moving on to 4D, the even-grade multivectors are isomorphic to two copies of the quaternions. But the identities for the quaternions are not the same scalar 1; instead, with J = eeee₄ being the unit quadvector, the identities are 1L = (1 - J)/2 and 1R = (1 + J)/2. Note that J² = +1, so 1L1R = (1 - J + J - J²)/4 = 0.

There are 2⁴ = 16 basis multivectors for 4D, and half of those, 8, for the even-grade multivectors:

1,
ee₂, ee₃, ee₃,
ee₄, ee₄, ee₄,
eeee₄.

Taking "averages" of dual pairs of these, we get an alternative basis:

1L = (1 - eeee₄)/2, 1R = (1 + eeee₄)/2,
iL = (ee₂ - ee₄)/2, iR = (ee₂ + ee₄)/2,
jL = (ee₃ - ee₄)/2, jR = (ee₃ + ee₄)/2,
kL = (ee₁ - ee₄)/2, kR = (ee₁ + ee₄)/2.

Verify that the 'L's satisfy the equations defining quaternions, and the 'R's do also, and the product of an 'L' and an 'R' is 0.

So, given any 3D rotation, we can represent it as a 3D even multivector, then as a 4D "left" even multivector, then as a 4D rotation.

Specifically, using the same notation as in the beginning of this post, the 4D multivector is 1R + 1Lcos(θ/2) + (-Iu - ue₄)/2 sin(θ/2). For example, if u = e₃ (rotation around the z-axis), then we get

1R + 1Lcos(θ/2) + kLsin(θ/2)
= (1 + cos(θ/2))/2 + eeee₄ (1 - cos(θ/2))/2 + (ee₁ - ee₄)/2 sin(θ/2)
= cos²(θ/4) + eeee₄ sin²(θ/4) + (ee₁ - ee₄) sin(θ/4)cos(θ/4)
= (cos(θ/4) - ee₂sin(θ/4)) (cos(θ/4) - ee₄sin(θ/4))

thus confirming that it represents an isoclinic rotation (-θ/2, -θ/2).

Or, you might just stick with abstract quaternions (not interpreted as multivectors) multiplying other quaternions, and get similar results.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

I guess I should describe how a multivector M represents a rotation. In short, for rotating a point v around the origin, in any number of dimensions, the formula is M⁻¹vM.

For example, if M = cos(θ/2) + ee₂sin(θ/2), then the basis vectors get sent to

M⁻¹e₁M = (cos(θ/2) - ee₂sin(θ/2)) e₁ (cos(θ/2) + ee₂sin(θ/2))
= (e₁cos(θ/2) - eee₁sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₁ (cos(θ/2) - ee₁sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₁ (cos²(θ/2) - sin²(θ/2) + 2ee₂sin(θ/2)cos(θ/2))
= e₁ (cos(θ) + ee₂sin(θ))
= e₁cos(θ) + e₂sin(θ),

M⁻¹e₂M = (cos(θ/2) - ee₂sin(θ/2)) e₂ (cos(θ/2) + ee₂sin(θ/2))
= (e₂cos(θ/2) - eee₂sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= (e₂cos(θ/2) + eee₂sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₂ (cos(θ/2) + ee₂sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₂ (cos(θ) + ee₂sin(θ))
= e₂cos(θ) - e₁sin(θ),

M⁻¹e₃M = (cos(θ/2) - ee₂sin(θ/2)) e₃ (cos(θ/2) + ee₂sin(θ/2))
= (e₃cos(θ/2) - eee₃sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₃ (cos(θ/2) - ee₂sin(θ/2)) (cos(θ/2) + ee₂sin(θ/2))
= e₃ (cos²(θ/2) + sin²(θ/2) + 0ee₂sin(θ/2)cos(θ/2))
= e₃ (1)
= e₃.

And an arbitrary point v = xe₁ + ye₂ + ze₃ gets sent to

M⁻¹vM = xM⁻¹e₁M + yM⁻¹e₂M + zM⁻¹e₃M
= xe₁cos(θ) + xe₂sin(θ) + ye₂cos(θ) - ye₁sin(θ) + ze
= (x cos(θ) - y sin(θ))e₁ + (x sin(θ) + y cos(θ))e₂ + ze₃;

that is, (x,y,z) gets rotated to (x cos(θ) - y sin(θ), x sin(θ) + y cos(θ), z).

In 4D, there is a shortcut for calculating M⁻¹vM when M represents an isoclinic rotation:

M⁻¹vM = v (2⟨M⟩₀ - 1) + 2v•⟨M⟩₂,

where the notation ⟨M⟩n means to take the grade n part of M and ignore the other parts, and v•B is the vector-bivector dot product, which results in a vector orthogonal to v. For example, if M = (1 + cos(θ/2))/2 + eeee₄ (1 - cos(θ/2))/2 + (ee₁ - ee₄)/2 sin(θ/2), representing the isoclinic rotation (-θ/2, -θ/2), then

2⟨M⟩₀ - 1 = cos(θ/2),
2⟨M⟩₂ = (ee₁ - ee₄) sin(θ/2),

and the above formula gives M⁻¹vM = v cos(θ/2) + v•(ee₁ - ee₄) sin(θ/2). In particular, the basis vectors get sent to

M⁻¹e₁M = e₁cos(θ/2) - e₂sin(θ/2),
M⁻¹e₂M = e₂cos(θ/2) + e₁sin(θ/2),
M⁻¹e₃M = e₃cos(θ/2) - e₄sin(θ/2),
M⁻¹e₄M = e₄cos(θ/2) + e₃sin(θ/2),

as expected.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

If you prefer matrices instead of multivectors, there's another copy of the quaternions we can use:

Code: Select all
⌈1 0 0 0⌉
|0 1 0 0|
1_M = |0 0 1 0|
⌊0 0 0 1⌋

⌈ 0  0  0  1⌉          ⌈ 0  0 -1  0⌉          ⌈ 0  1  0  0⌉
| 0  0  1  0|          | 0  0  0  1|          |-1  0  0  0|
I_L = | 0 -1  0  0| ,  J_L = | 1  0  0  0| ,  K_L = | 0  0  0  1|
⌊-1  0  0  0⌋          ⌊ 0 -1  0  0⌋          ⌊ 0  0 -1  0⌋

⌈ 0  0  0 -1⌉          ⌈ 0  0 -1  0⌉          ⌈ 0  1  0  0⌉
| 0  0  1  0|          | 0  0  0 -1|          |-1  0  0  0|
I_R = | 0 -1  0  0| ,  J_R = | 1  0  0  0| ,  K_R = | 0  0  0 -1|
⌊ 1  0  0  0⌋          ⌊ 0  1  0  0⌋          ⌊ 0  0  1  0⌋

Given a 3D rotation by angle θ around axis u = ae₁ + be₂ + ce₃ with u² = a² + b² + c² = 1, we can convert it to a 4D rotation matrix

cos(θ/2)1M + sin(θ/2)(a IL + b JL + c KL).
Last edited by mr_e_man on Mon Oct 18, 2021 3:46 pm, edited 1 time in total.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Back on the topic of polychoron symmetry groups...

The simplest type of group without simple rotations would be generated by a single isoclinic rotation (θ, θ), where θ = 360°/m for some fixed integer m. The whole group contains m elements, of the form (nθ, nθ) for various integers n. The transformation matrices look like

Code: Select all
⌈ cos(nθ) -sin(nθ)  0        0       ⌉
| sin(nθ)  cos(nθ)  0        0       |
| 0        0        cos(nθ) -sin(nθ) |
⌊ 0        0        sin(nθ)  cos(nθ) ⌋

= cos(nθ)1M - sin(nθ)KL.

So, take some random points (x,y,z,w) (say, 2 to 5 points), apply each of these m matrices to each of those points (to get a total of 2*m to 5*m points, of the form (x cos(nθ) - y sin(nθ), x sin(nθ) + y cos(nθ), z cos(nθ) - w sin(nθ), z sin(nθ) + w cos(nθ)), then take the convex hull, and render! The result will probably look like a tangled blob of tetrahedra. Perhaps we should take the dual, so that the cells have more distinctive shapes, and only 4 cells meet at each vertex.

Now let's look at the more interesting 4D groups, which come from 3D rotation groups. There are 2 infinite families: One type of group has m rotations around a single axis; but that just gives us 2m isoclinic rotations generated by a single isoclinic rotation, which we've already seen. The other type of group has m rotations around one axis, and m 180° rotations around perpendicular axes, as the rotational symmetries of an m-gon prism. Let θ = 360°/(2m). The quaternions representing these rotations have the form

cos(nθ) + k sin(nθ) ,
j cos(nθ) - i sin(nθ) ,

for various integers n. This gives us two types of matrix

Code: Select all
⌈ cos(nθ) -sin(nθ)  0        0       ⌉    ⌈ 0        0       -cos(nθ) -sin(nθ) ⌉
| sin(nθ)  cos(nθ)  0        0       |    | 0        0       -sin(nθ)  cos(nθ) |
| 0        0        cos(nθ) -sin(nθ) |    | cos(nθ)  sin(nθ)  0        0       |
⌊ 0        0        sin(nθ)  cos(nθ) ⌋ ,  ⌊ sin(nθ) -cos(nθ)  0        0       ⌋

in the m-gonal prismatic swirl group. (There may appear to be some inconsistent signs (±), but it doesn't matter because n may be replaced with -n.)

In a linked post, I've shown the cube's symmetries and the corresponding multivectors, which can instead be written as quaternions, and then re-interpreted as matrices, which will form the cubic swirl group:

±1,
±i , ±j , ±k ,
(±1 ± i ± j ± k)/2 ,
(±1 ± i)/√2 , (±1 ± j)/√2 , (±1 ± k)/√2 ,
(±i ± j)/√2 , (±i ± k)/√2 , (±j ± k)/√2 .

(All combinations of signs are taken.) For tetrahedral symmetry, simply omit the ones with √2. I'll show just a few of the resulting matrices:

(1 + i + j + k)/2 , (1 + i - j + k)/2 , (1 + k)/√2

Code: Select all
⌈ 1/2  1/2 -1/2  1/2⌉    ⌈ 1/2  1/2  1/2  1/2⌉    ⌈ 1/√2  1/√2   0     0  ⌉
|-1/2  1/2  1/2  1/2|    |-1/2  1/2  1/2 -1/2|    |-1/√2  1/√2   0     0  |
| 1/2 -1/2  1/2  1/2|    |-1/2 -1/2  1/2  1/2|    |  0     0    1/√2  1/√2|
⌊-1/2 -1/2 -1/2  1/2⌋ ,  ⌊-1/2  1/2 -1/2  1/2⌋ ,  ⌊  0     0   -1/√2  1/√2⌋

In fact the tetrahedral swirl group is generated by the first two of these matrices, and the cubic swirl group is generated by the third and either one of the first two.

The dodecahedron's rotational symmetries are represented by the quaternions

±1 ,
±i , ±j , ±k ,
(±1 ± i ± j ± k)/2 ,
(±φ ± φ⁻¹i ± j)/2 , (±φ ± φ⁻¹j ± k)/2 , (±φ ± φ⁻¹k ± i)/2 ,
(±φ⁻¹ ± i ± φj)/2 , (±φ⁻¹ ± j ± φk)/2 , (±φ⁻¹ ± k ± φi)/2 ,
(±1 ± φi ± φ⁻¹j)/2 , (±1 ± φj ± φ⁻¹k)/2 , (±1 ± φk ± φ⁻¹i)/2 ,
(±φi ± j ± φ⁻¹k)/2 , (±φj ± k ± φ⁻¹i)/2 , (±φk ± i ± φ⁻¹j)/2 .

Converting a few of these to matrices:

(1 + i + j + k)/2 , (1 + i - j + k)/2 , (φ + φ⁻¹k + i)/2

Code: Select all
⌈ 1/2  1/2 -1/2  1/2⌉    ⌈ 1/2  1/2  1/2  1/2⌉    ⌈  φ/2   φ⁻¹/2   0     1/2  ⌉
|-1/2  1/2  1/2  1/2|    |-1/2  1/2  1/2 -1/2|    |-φ⁻¹/2   φ/2   1/2     0   |
| 1/2 -1/2  1/2  1/2|    |-1/2 -1/2  1/2  1/2|    |  0    -1/2     φ/2   φ⁻¹/2|
⌊-1/2 -1/2 -1/2  1/2⌋ ,  ⌊-1/2  1/2 -1/2  1/2⌋ ,  ⌊-1/2     0    -φ⁻¹/2   φ/2 ⌋

Again the tetrahedral swirl group is generated by the first two, and the dodecahedral swirl group is generated by the third and either one of the first two.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Quickfur, could you render a polytope like this?

Here are some arbitrary seed points: (8, 0, 0, 0), (6, 0, 4, 0). Applying the 8-fold double rotation group, we get coordinates

(8, 0, 0, 0), (4√2, 4√2, 0, 0), (0, 8, 0, 0), (-4√2, 4√2, 0, 0), (-8, 0, 0, 0), (-4√2, -4√2, 0, 0), (0, -8, 0, 0), (4√2, -4√2, 0, 0),
(6, 0, 4, 0), (3√2, 3√2, 2√2, 2√2), (0, 6, 0, 4), (-3√2, 3√2, -2√2, 2√2), (-6, 0, -4, 0), (-3√2, -3√2, -2√2, -2√2), (0, -6, 0, -4), (3√2, -3√2, 2√2, -2√2).
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

(Did you miss that post, hidden by the "Polytope Definition" post being more recent?

In any case, an answer "No" is acceptable.

"Bump" behaves strangely. It shows the most recent post as Nov. 8 in the sub-forum, but still Nov. 2 on the main page.)
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

I suppose I could render these points. Keep in mind, though, that currently my program only supports convex polytopes. Technically it can render a non-convex polytope, but it cannot generate one from coordinates alone (since it uses a convex hull algorithm), so such a thing would have to be constructed by hand. And it doesn't know how to clip a non-convex polytope properly so the results might look strange or just plain wrong unless I turn off clipping (but that usually results in a mess in all except the simplest cases).

Also, it doesn't know how to figure out a good 4D viewpoint that gives a good view of the polytope; usually it requires some trial-and-error by hand to find a nice 4D viewpoint that nicely shows the structure. Which needs some time to figure out. quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

I am considering convex polytopes. I'm expecting your program to take the convex hull, in general. I think these particular points are already convexly independent, though the face lattice still needs to be worked out.

mr_e_man wrote:The result will probably look like a tangled blob of tetrahedra. Perhaps we should take the dual, so that the cells have more distinctive shapes, and only 4 cells meet at each vertex.

The dual can be gotten by interpreting those coordinates as facet normal vectors, instead of vertices.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Well, here's your tangled blob of tetrahedra:  I played around with various viewpoints, and found that <0,0,5,0> is a good one.

As for duals, the generated polytope already has the hyperplane normals as part of its description, so inverting it is trivial. In fact, my makepoly program has an optional precisely for this purpose. Just gimme a few minutes to run it through and figure out a nice viewpoint for the dual...
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

Haha, so it turns out that your coordinates produced the dual of some kind of distorted 8,8-duoprism. Due to the odd shape, it was kinda tricky to get a good viewpoint of the dual, but here's an attempt: Due to only 3 cells being visible, I decided to turn off clipping and color the edges on the far side magenta so that it's easier to see the entire structure. The green shows the cell nearest to the 4D viewpoint. It's obviously some kind of distorted octagonal prism. quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

Hmm. I was hoping the octagonal prisms would be more distorted, to a different combinatorial type. Otherwise it's hard to distinguish actual distortion from projection artifacts.

How about a third seed point?
(8, 0, 0, 0), (4√2, 4√2, 0, 0), (0, 8, 0, 0), (-4√2, 4√2, 0, 0), (-8, 0, 0, 0), (-4√2, -4√2, 0, 0), (0, -8, 0, 0), (4√2, -4√2, 0, 0),
(6, 0, 4, 0), (3√2, 3√2, 2√2, 2√2), (0, 6, 0, 4), (-3√2, 3√2, -2√2, 2√2), (-6, 0, -4, 0), (-3√2, -3√2, -2√2, -2√2), (0, -6, 0, -4), (3√2, -3√2, 2√2, -2√2),
(4, 4, 4, 0), (0, 4√2, 2√2, 2√2), (-4, 4, 0, 4), (-4√2, 0, -2√2, 2√2), (-4, -4, -4, 0), (0, -4√2, -2√2, -2√2), (4, -4, 0, -4), (4√2, 0, 2√2, -2√2).

The idea is to pick out a particular sub-symmetry of the 8,8-duoprism, and exhibit this clearly in a different polychoron.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

I have a hard time with your latest set of coordinates. It produced a highly-distorted spindle-like thing that's really hard to get a good view of. It still looks like a distorted 8,8-duoprism, and the cells are like randomly-truncated distorted octagonal prisms.

After many unsuccessful tries here's what I ended up with (it's not very good): I wonder if you might get nicer results if you scale your points to a fixed distance from the origin or something, to produce something rounder.
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

Okay, let's start with the uniform 8,8-duoprism, and then non-uniformly truncate that:

(1, 0, 0, 0), (1/√2, 1/√2, 0, 0), (0, 1, 0, 0), (-1/√2, 1/√2, 0, 0), (-1, 0, 0, 0), (-1/√2, -1/√2, 0, 0), (0, -1, 0, 0), (1/√2, -1/√2, 0, 0),
(0, 0, 1, 0), (0, 0, 1/√2, 1/√2), (0, 0, 0, 1), (0, 0, -1/√2, 1/√2), (0, 0, -1, 0), (0, 0, -1/√2, -1/√2), (0, 0, 0, -1), (0, 0, 1/√2, -1/√2),
(2/√6, 1/√6, 1/√6, 0), ... (2/√6 cos(n*45°) + 1/√6 sin(n*45°), 1/√6 cos(n*45°) - 2/√6 sin(n*45°), 1/√6 cos(n*45°) + 0 sin(n*45°), 0 cos(n*45°) - 1/√6 sin(n*45°)).

But the normal vectors being on the unit sphere doesn't imply that the vertices are on a sphere....
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

More ideas along the lines of the first few posts about screw symmetries: IIRC Jonathan Bowers once mentioned the following construction: pick two coprime numbers m and n. Build an m,m-duoprism, and lay out its vertices in an m×m grid. Start with the vertex corresponding to row 0 column 0, and select 1 vertex for each subsequent row, each displaced from the previous by n columns (modulo m). Take the convex hull of the selected vertices. The result will be a swirlprism-like polytope with an m-fold twisting symmetry.
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

Here's an example of Bowers' construction: I slightly modified Bowers' construction: starting with an 8,8-duoprism, I selected two vertices per row instead of just one, according to this pattern, where each row is shifted 3 positions relative to the previous row (3 being coprime to 8 ):
Code: Select all
x..o....
...x..o.
.o....x.
.x..o...
....x..o
..o....x
..x..o..
o....x..

This corresponds with these coordinates:
Code: Select all
<cos(0*pi*2/8), sin(0*pi*2/8), cos(0*pi*2/8), sin(0*pi*2/8)>
<cos(1*pi*2/8), sin(1*pi*2/8), cos(3*pi*2/8), sin(3*pi*2/8)>
<cos(2*pi*2/8), sin(2*pi*2/8), cos(6*pi*2/8), sin(6*pi*2/8)>
<cos(3*pi*2/8), sin(3*pi*2/8), cos(9*pi*2/8), sin(9*pi*2/8)>
<cos(4*pi*2/8), sin(4*pi*2/8), cos(12*pi*2/8), sin(12*pi*2/8)>
<cos(5*pi*2/8), sin(5*pi*2/8), cos(15*pi*2/8), sin(15*pi*2/8)>
<cos(6*pi*2/8), sin(6*pi*2/8), cos(18*pi*2/8), sin(18*pi*2/8)>
<cos(7*pi*2/8), sin(7*pi*2/8), cos(21*pi*2/8), sin(21*pi*2/8)>

<cos(0*pi*2/8), sin(0*pi*2/8), cos(3*pi*2/8), sin(3*pi*2/8)>
<cos(1*pi*2/8), sin(1*pi*2/8), cos(6*pi*2/8), sin(6*pi*2/8)>
<cos(2*pi*2/8), sin(2*pi*2/8), cos(9*pi*2/8), sin(9*pi*2/8)>
<cos(3*pi*2/8), sin(3*pi*2/8), cos(12*pi*2/8), sin(12*pi*2/8)>
<cos(4*pi*2/8), sin(4*pi*2/8), cos(15*pi*2/8), sin(15*pi*2/8)>
<cos(5*pi*2/8), sin(5*pi*2/8), cos(18*pi*2/8), sin(18*pi*2/8)>
<cos(6*pi*2/8), sin(6*pi*2/8), cos(21*pi*2/8), sin(21*pi*2/8)>
<cos(7*pi*2/8), sin(7*pi*2/8), cos(24*pi*2/8), sin(24*pi*2/8)>

The polytope is constructed as the dual of the convex hull of these vertices. It has 16 cells (each cell corresponding to one point above), 88 faces, 144 edges, and 72 vertices. Each cell has 18 vertices, 27 edges, and 11 faces; as you can see, pretty irregular. But the cells are transitive in two complementary classes (corresponding to the two marks per row), so this thing could serve as a 16-sided 4D dice -- an interesting alternative to the regular 16-cell. quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

mr_e_man wrote:If the symmetry group contains a double rotation that's not isoclinic, then applying it repeatedly gives a non-trivial simple rotation. For example, 5*(72°, 90°) = (360°, 450°) = (0°, 90°). So the rotation must be isoclinic: θ = ±ϕ.

Oh! This is wrong, as shown by (45°, 135°).

Instead, what is true is that θ and ϕ must have the same denominator: (θ, ϕ) = (p/r*360°, q/r*360°), where p and r are coprime, and q and r are coprime (in other words, both fractions are in simplest form). I guess I assumed that the numerators could always be set to 1. Certainly one numerator can be set to 1, but not necessarily both at the same time. (If s is the inverse of p modulo r, then a new double rotation (θ', ϕ') = s*(θ, ϕ) = (s*p/r*360°, s*q/r*360°) = (1/r*360°, s*q/r*360°) has a numerator 1; and p*(θ', ϕ') = (p/r*360°, p*s*q/r*360°) = (p/r*360°, q/r*360°) = (θ, ϕ) is the original double rotation, so (θ, ϕ) and (θ', ϕ') are equivalent as group generators.)

That invalidates much of my reasoning in the rest of that post. So there may be many non-isoclinic rotation groups which don't contain simple rotations.

quickfur wrote:More ideas along the lines of the first few posts about screw symmetries: IIRC Jonathan Bowers once mentioned the following construction: pick two coprime numbers m and n. Build an m,m-duoprism, and lay out its vertices in an m×m grid. Start with the vertex corresponding to row 0 column 0, and select 1 vertex for each subsequent row, each displaced from the previous by n columns (modulo m). Take the convex hull of the selected vertices. The result will be a swirlprism-like polytope with an m-fold twisting symmetry.

If you instead take the complement of those vertices, thus deleting m of the duoprism's m² vertices, then you get what I described: a non-uniform truncation (or diminishing) of the uniform duoprism.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

I don't think I'd seen Polyhedron Dude's 4D dice before. They look like what I had in mind.

But it's hard to find pictures that clearly show the shapes of the polyhedra and how they connect to each other. The faces are opaque; too much is hidden. ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

Jonathan generally posts only cross-sections of polytopes, not projections. So it can be quite hard to see how the cells fit together.

If you have any particular polytope in mind that you want to see better, post the coordinates / construction here and I'll see if I can run a quick render of it.
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

The uniform 8,8-duoprism has 64 vertices of the form (R cos(j*45°), R sin(j*45°), R cos(k*45°), R sin(k*45°)). Delete the 8 vertices where j=k. (Maybe also delete those where j=k+1 and those where j=k+3 (mod 8), to destroy more symmetry.)
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian

Posts: 311
Joined: Tue Sep 18, 2018 4:10 am

Re: Polytopes with screw symmetry, without rotational symmet

mr_e_man wrote:How about the diminished 8,8-duoprism?

The uniform 8,8-duoprism has 64 vertices of the form (R cos(j*45°), R sin(j*45°), R cos(k*45°), R sin(k*45°)). Delete the 8 vertices where j=k. (Maybe also delete those where j=k+1 and those where j=k+3 (mod , to destroy more symmetry.)

Did you mean the dual polytope of the convex hull of these vertices?
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

Hmm, I just realized that your construction is not vertex-transitive, so the dual wouldn't be very interesting. Anyway, here's an initial render (non-dual): I highlighted two of the nearest cells to the 4D viewpoint for easier reference. The magenta edges lie on the far side of the polytope. It's clear from this image that the cells are of at least two categories: irregularly diminished octagonal prisms in two rings (inherited from the original 8,8-duoprism), and a bunch of tetrahedra bridging the gaps produced by the diminishings. You can see the cells on the far side outlined by the magenta edges. Edit: hmm, just realized that not all of the bridging cells are tetrahedra, there's also some irregular cells between the tetrahedra.

If you're looking for cell-transitive polytopes like the ones Bowers talks about, you probably want to add vertices to a blank n,n-duoprism grid rather than delete vertices, that way it's easier to ensure the result is vertex transitive (meaning its dual would be cell-transitive). Basically, if you lay out the j,k indices in your construction in an 8×8 grid, the result will be vertex-transitive if the corresponding points on the grid are transitive under the left/right, top/bottom wrap-around translations of the grid.
quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Polytopes with screw symmetry, without rotational symmet

A vertex-transitive construction along the lines of "diminished duoprisms" some of us on the Discord found last year is the 5-diminished pentagonal duoprism. It turns out you can inscribe a regular pentachoron in a pentagonal duoprism, as a 5-2 step prism (that is, if the vertices are labeled in a grid from (0,0) to (4,4), the pentachoron has vertices at (0,0), (1,2), (2,4), (3,1), and (4,3)).

The result is vertex transitive with 20 vertices. The pentagonal prism cells of the duoprism each get 2 vertices that are as far apart as possible chopped off (this polyhedron is identical to the vertex figure of the scaliform polychoron "spidrox") and 5 disphenoid cells are inserted under the deleted vertices.
Trionian

Posts: 120
Joined: Sat Mar 18, 2017 1:42 pm

Re: Polytopes with screw symmetry, without rotational symmet

username5243 wrote:A vertex-transitive construction along the lines of "diminished duoprisms" some of us on the Discord found last year is the 5-diminished pentagonal duoprism. It turns out you can inscribe a regular pentachoron in a pentagonal duoprism, as a 5-2 step prism (that is, if the vertices are labeled in a grid from (0,0) to (4,4), the pentachoron has vertices at (0,0), (1,2), (2,4), (3,1), and (4,3)).

The result is vertex transitive with 20 vertices. The pentagonal prism cells of the duoprism each get 2 vertices that are as far apart as possible chopped off (this polyhedron is identical to the vertex figure of the scaliform polychoron "spidrox") and 5 disphenoid cells are inserted under the deleted vertices.

That's cool! Here's a quick render I made of this pretty polychoron: Interestingly enough, the dual polychoron has (irregular) tetrahedral cells, 20 of them: quickfur
Pentonian

Posts: 2781
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North 