Clifford Algebra Paper

Ideas about how a world with more than three spatial dimensions would work - what laws of physics would be needed, how things would be built, how people would do things and so on.

Clifford Algebra Paper

Postby PatrickPowers » Tue Sep 08, 2020 11:04 am

Platonic solids generate their four-dimensional analogues
PIERRE-PHILIPPE DECHANT a,b,c*

This is above me. I'm hoping someone can explain it, especially how spinors are the link from 3D to 4D Platonic solids.

https://arxiv.org/abs/1307.6768
PatrickPowers
Tetronian
 
Posts: 440
Joined: Wed Dec 02, 2015 1:36 am

Re: Clifford Algebra Paper

Postby quickfur » Tue Sep 08, 2020 5:53 pm

Wendy is probably the right person to ask for this one. :)

I'm not at all facile with spinors, but in my incomplete biased understanding, the connection here is essentially related to the fact that 3D rotational vectors have a 4-dimensional representation, e.g., via the quaternion representation, or in this case, the spinor representation. Since 3D Platonic solids have rotational symmetries, we can take those symmetries and rewrite them in a 4D representation, then re-interpret the 4D representation as points in 4D Euclidean space. Apparently, the paper is saying that we can derive the 4D regular polytopes from the 3D Platonic solids this way (though I only read the abstract so I'm not clear how exactly this connection is made).

There may be some connection with the Hopf fibration as well (perhaps that's where spinors come in -- since the Hopf fibration can be understood as a particular mapping of a 3D spherical polytope to 2D complex numbers, the latter of which can be interpreted as 4 scalar coordinates of a 4D vector).
quickfur
Pentonian
 
Posts: 2935
Joined: Thu Sep 02, 2004 11:20 pm
Location: The Great White North

Re: Clifford Algebra Paper

Postby wendy » Thu Sep 10, 2020 8:59 am

The link lies in complex numbers, and algebraic geometry.

The equation of a line is y=ax+b. In complex euclidean geometry, all the dimensions are doubled, so the 2d space becomes 4d, and the 1d space becomes 2. It still means that you can draw only one 'line' through two given points. If we now consider the lines through 0,0 we get y=ax. Consider now the value w = cis(\omega t), ie a rotation. We can put wy = awx, so this shows that one can have in 4 dimensions, a rotation involving every point tracking in a simple circle around the origin. A clifford rotation.

The value a can take complex values as well, and the slope of a line at right angles has a slope -1/a. We can achieve this result with a sphere, of diameter (0,0,0) to (0,0,1), where the plane is the gradients (r, i, 0) [real, imaginary]. The plane is projected onto this sphere, by the intersection of the line drawn from (r, i, 0) to (0, 0, 1), gives a conformal mapping of the plane, and also preserves the feature where lines at right angles to each other are diametrically opposite.

This creates one swirlybob. Representing 4d space as CE2, has the same effect as 2d space as CE1, in that there is only one real line.

The idea here is that having a sphere, one can project the 62 icosahedral points, or 26 octahedral points, or the 20 tetrahedral points onto this sphere, and they represent clifford-rotations that (of varying orders), leave [3,3,5] or [3,4,3] or [3,3,4] invariant. There is a fourth one not discussed in the paper, formed by [[3,4,3]].

In a clifford rotation, not only do all of the points rotate, but for any given direction (arrow = line with direction), it is immediately passed to every point on the sphere so that we end up with every point has a path and direction. Hopf fibulation. But this solution is not unique, If we suppose the point A,A represents a great arrow (a single arrow passing through a point), then A, X represents all paths that belong to the same swirlybob A. A, -A represents the point diametrically opposite A,A here. Reversing the arrow also changes both signs, so A,X and -A,-X follow the same track in different directions.

The paths of the lines in a clifford-rotation is such that if the lines near A,A "rotate" around this line, in that if one were to divide the 4-space into planes 3d spaces that contain a,a, and radiate outwards like a paddle-steamer wheel, the circle of lines around A,A will cross these paddles in succession, spending half above the 4space and half below. If in the direction of travel, this is a clockwise rotation, then it's a clockwise rotation for every paddle-wheel and circle.

There is a whole corresponding set of clifford parallesl that are anticlockwise. In essence, if A,A is perpendicular to A,-A and -A,A. If the clockwise rotation represents the first symbol, the anticlockwise rotation represents the second. So the space of great arrows is in 6D, a prism-product of two spheres. These are still 4D rotations, but it takes 6 (as in 1,4,6,4,1) dimensions to represent all four rotations.

By varying the intensity around the two axies, one can make all points of six dimensions represent a valid rotation in 4d. Most of these would be Lassajur rotations, ie twice around one axis as once around the other.

Into these bisphere prism we can project the icosahedron, dodecahedron and ID, but if we insert an I * I, D * D and ID * ID we get a series of simple rotations around the {3,3,5} of orders (5, 3, 2 ), For the individual I * pt, D * pt, ID * pt, we have 62 rotations of orders 10, 6, 4.

So we have the 12 great circles of the dodecahedron, representing a set of points A,A, and we can create from this, 5 paths adjacent, 5 paths distant, and one opposite, like the vertices of an icosahedron. We can do it in two different ways.

The regular polytopes {3,3,4}, {3,4,3} and {3,3,5} are formed in this way. The simplex {3,3,3} can not, because opposite a rotation of order 3 is one of order 2. The {4,3,3}, {3,4,3} and {5,3,3} have paths of faces that form Poincare cube, octahedron and dodecahedron, in that if you leave one face you come back on the opposite a half-edge or edge later.

The remaining solid with this property is the octagonny, having 48 faces, each a truncated cube. As with the cube it's an edge, rather than a half-edge, but there is a path of eight faces one covers before returning to the start.
The dream you dream alone is only a dream
the dream we dream together is reality.

\ ( \(\LaTeX\ \) \ ) [no spaces] at https://greasyfork.org/en/users/188714-wendy-krieger
User avatar
wendy
Pentonian
 
Posts: 2014
Joined: Tue Jan 18, 2005 12:42 pm
Location: Brisbane, Australia

Re: Clifford Algebra Paper

Postby mr_e_man » Mon Sep 14, 2020 1:48 am

Consider the rotational symmetries of a cube.

Each of the three axes e₁,e₂,e₃ (passing through the centre of a face) has rotations by 90°,180°,270°. A rotation by 90° around the vector e₃, or in the plane e₁e₂, is represented by the rotor

R = cos 45° + e₁e₂ sin 45° = 1/√2 + e₁e₂/√2.

Remember that this acts on vectors by R⁻¹vR, so its opposite -R produces the same rotation. These 9 different rotations thus correspond to 18 different rotors:

± 1/√2 ± e₁e₂/√2,
± 1/√2 ± e₁e₃/√2,
± 1/√2 ± e₂e₃/√2,
± e₁e₂,
± e₁e₃,
± e₂e₃.

(The last few are for 180° rotations.)

Each of the six axes e₁±e₂, e₁±e₃, e₂±e₃ (passing through the centre of an edge) also has a rotation by 180°. The vector e₁+e₂ should be normalized (divided by its magnitude) and dualized (multiplied by the unit trivector) to get a unit bivector:

B = e₁e₂e₃(e₁ + e₂)/√2 = e₂e₃/√2 - e₁e₃/√2,

and then the rotor is

R = cos 90° + B sin 90° = B.

These 6 rotations correspond to 12 rotors:

± e₁e₂/√2 ± e₁e₃/√2,
± e₁e₂/√2 ± e₂e₃/√2,
± e₁e₃/√2 ± e₂e₃/√2.

Finally, each of the four axes e₁±e₂±e₃ (passing through a vertex) has rotations by 120°,240°. The unit bivector dual to e₁+e₂+e₃ is

B = e₁e₂e₃(e₁+e₂+e₃)/√3 = e₂e₃/√3 - e₁e₃/√3 + e₁e₂/√3,

and the rotor is

R = cos 60° + B sin 60° = 1/2 + B√3/2 = 1/2 + e₂e₃/2 - e₁e₃/2 + e₁e₂/2.

These 8 rotations correspond to 16 rotors:

± 1/2 ± e₁e₂/2 ± e₁e₃/2 ± e₂e₃/2.

And we can't forget the identity! That's just R=±1. In total, we have 18+12+16+2=48 rotors. Using the mapping from 3D even multivectors to 4D vectors

1≅(1,0,0,0),
e₂e₃≅(0,1,0,0),
e₃e₁≅(0,0,1,0),
e₁e₂≅(0,0,0,1),

we get the coordinates of the vertices of a 24-cell and its dual:

(±1/√2, ±1/√2, 0, 0),
(±1/√2, 0, ±1/√2, 0),
(±1/√2, 0, 0, ±1/√2),
(0, ±1/√2, ±1/√2, 0),
(0, ±1/√2, 0, ±1/√2),
(0, 0, ±1/√2, ±1/√2),
(±1, 0, 0, 0),
(0, ±1, 0, 0),
(0 ,0, ±1, 0),
(0, 0, 0, ±1),
(±1/2, ±1/2, ±1/2, ±1/2).

(Or, interpreting these not as vertices but as normal vectors for cells, we get the octagonny.)

Similarly, the tetrahedron's symmetries produce the coordinates of a single 24-cell.
Last edited by mr_e_man on Wed Dec 02, 2020 1:32 am, edited 2 times in total.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian
 
Posts: 474
Joined: Tue Sep 18, 2018 4:10 am

Re: Clifford Algebra Paper

Postby PatrickPowers » Mon Sep 14, 2020 10:19 am

Gosh, this is so helpful! Now I feel I will understand it in a reasonable amount of time.
PatrickPowers
Tetronian
 
Posts: 440
Joined: Wed Dec 02, 2015 1:36 am

Re: Clifford Algebra Paper

Postby PatrickPowers » Mon Nov 30, 2020 11:09 pm

Yes, thanks to you guys I get what is going on. I never would have figured out the original paper. I didn't even know the 24-cell existed.

I was (as usual) wondering how to depict the 24-cell in 3D. The octet truss https://www.google.com/search?q=octet+truss&source=lnms&tbm=isch comes reasonably close. It was invented by Alexander Graham Bell in 1903 for the construction of airplane frames, but didn't catch on. It's mind-boggling to look at. Even closer to 4D is the plate truss, constructed in 2018 via 3D printing. Like a 4D geometric figure, the edges are 2D.
https://ethz.ch/en/news-and-events/eth-news/news/2018/12/stiffest-porous-lightweight-material.html. This has real potential, though I can't see how it is porous. I guess there are non-porous structures that are even better.

Can the 120-cell be constructed in a similar manner? I suppose I could figure it out, and maybe I will, but it's easier to ask.

It seems apparent that this process can be continued indefinitely. The result isn't a Platonic solid, but what of that?

Wendy's response got me interested in ax+b in complex spaces where a and b are complex. Who knows, that might lead somewhere.
PatrickPowers
Tetronian
 
Posts: 440
Joined: Wed Dec 02, 2015 1:36 am

Re: Clifford Algebra Paper

Postby mr_e_man » Wed Dec 02, 2020 1:29 am

There are only a few types of symmetry a polyhedron can have: 7 infinite families corresponding to the 2D frieze groups, and 7 special groups related to the Platonic solids. Here are representative figures with the frieze groups as symmetries; they're supposed to extend infinitely along one dimension:

Code: Select all
1:
⌊ - ⌊ - ⌊ - ⌊ - ⌊ -

2:
⌊ - ⌊ - ⌊ - ⌊ - ⌊ -
⌈ - ⌈ - ⌈ - ⌈ - ⌈ -

3:
⌊ - ⌊ - ⌊ - ⌊ - ⌊ -
- ⌈ - ⌈ - ⌈ - ⌈ - ⌈

4:
⌊ - ⌊ - ⌊ - ⌊ - ⌊ -
⌉ - ⌉ - ⌉ - ⌉ - ⌉ -

5:
⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ --

6:
⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ --
⌈⌉ -- ⌈⌉ -- ⌈⌉ -- ⌈⌉ -- ⌈⌉ --

7:
⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ -- ⌊⌋ --
-- ⌈⌉ -- ⌈⌉ -- ⌈⌉ -- ⌈⌉ -- ⌈⌉



Now imagine wrapping each figure around a cylinder in 3D (like a label on a can), so that ⌊ appears n times in a circle. Then figure 5 has the symmetry of an n-gon pyramid, figure 6 has the symmetry of an n-gon prism, and figure 7 has the symmetry of an n-gon antiprism. Figures 2 and 3 are like the treads on tyres. The symmetry group of figure 1 contains only n rotations. Figures 2 and 3, n rotations and n rotoreflections. Figure 4, n rotations around the main axis and n 180° rotations around perpendicular axes. Figure 5, n rotations and n reflections. Figures 6 and 7, n rotations around the main axis, n 180° rotations around perpendicular axes, n reflections, and n rotoreflections.

(A rotoreflection is a reflection across a plane, followed by a rotation around the axis perpendicular to the plane.)

The 7 special groups are:
Tetrahedral; 8 120° rotations, 3 180° rotations, 1 identity, 6 reflections, 6 90° rotoreflections; total 24
Chiral tetrahedral; 8 120° rotations, 3 180° rotations, 1 identity; total 12
Cubic; 6 90° rotations, 8 120° rotations, 6+3 180° rotations, 1 identity, 6+3 reflections, 6 90° rotoreflections, 8 60° rotoreflections, 1 inversion; total 48
Chiral cubic (the symmetry of the snub cube); 6 90° rotations, 8 120° rotations, 6+3 180° rotations, 1 identity; total 24
Pyritohedral (something between chiral tetrahedral and cubic); 8 120° rotations, 3 180° rotations, 1 identity, 3 reflections, 8 60° rotoreflections, 1 inversion; total 24
Dodecahedral; 12 72° rotations, 12 144° rotations, 20 120° rotations, 15 180° rotations, 1 identity, 15 reflections, 20 60° rotoreflections, 12 36° rotoreflections, 12 108° rotoreflections, 1 inversion; total 120
Chiral dodecahedral; 12 72° rotations, 12 144° rotations, 20 120° rotations, 15 180° rotations, 1 identity; total 60

The inversion can be considered a 180° rotoreflection, but the axis of rotation isn't unique. It just negates the coordinates of everything. Similarly the identity can be considered a 0° rotation, and a reflection can be considered a 0° rotoreflection.

Now quaternions can only represent rotations, not reflections. So, in the above, only the symmetries of figures 1 and 4, and the three chiral special groups, can be made into quaternions. We've already considered the cubic and tetrahedral groups. I believe the dodecahedral rotations generate the cells of a 120-cell, or the vertices of a 600-cell. Figure 1 is rather degenerate; it generates 2n quaternions of the form cos(kπ/n)+isin(kπ/n)+0j+0k, which are the vertices of a polygon, not a polychoron. Figure 4 generates the cells of a 2n,2n-duoprism. This includes the 8-cell (or tesseract, or 4-cube, or hypercube, or 4,4-duoprism) in the case n=2, corresponding to the rotational symmetries of a box with three different edge lengths.

But figure 4 looks nothing like a box!

Well, if you introduce some reflections (and no new rotations) to figure 4, you get figure 6, representing a prism of a regular n-gon, or of an irregular but isogonal 2n-gon. An isogonal 4-gon is just a rectangle. Hence, figure 6 in the case n=2 is a box.
Last edited by mr_e_man on Thu Jan 07, 2021 3:39 am, edited 1 time in total.
ΓΔΘΛΞΠΣΦΨΩ αβγδεζηθϑικλμνξοπρϱσςτυϕφχψωϖ °±∓½⅓⅔¼¾×÷†‡• ⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎
ℕℤℚℝℂ∂¬∀∃∅∆∇∈∉∋∌∏∑ ∗∘∙√∛∜∝∞∧∨∩∪∫≅≈≟≠≡≤≥⊂⊃⊆⊇ ⊕⊖⊗⊘⊙⌈⌉⌊⌋⌜⌝⌞⌟〈〉⟨⟩
mr_e_man
Tetronian
 
Posts: 474
Joined: Tue Sep 18, 2018 4:10 am

Re: Clifford Algebra Paper

Postby mr_e_man » Wed Dec 02, 2020 7:45 pm

Geometric algebra can handle reflections as well: If the plane has unit normal vector n, then the reflection of a vector v across the plane is -nvn. General rotoreflections are represented by odd multivectors, combinations of e₁, e₂, e₃, e₁e₂e₃. These are orthogonal to the "quaternions" 1, e₁e₂, e₁e₃, e₂e₃; the full space of multivectors is 8-dimensional (even though they're supposed to be objects in 3D). So we could make the other 3D symmetry groups into 8D polytopes, but the results aren't very interesting; they're just products of 4D polytopes.

Generalizing, we can always take an n-dimensional polytope's symmetry group, represent the rotations by even multivectors, and make a polytope in 2n-1 dimensions. (But the polytope may be contained in a lower-dimensional subspace, if the symmetry group is too small.)

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

Re: Clifford Algebra Paper

Postby PatrickPowers » Wed Dec 09, 2020 10:16 am

I have enough group theory that this makes sense. Very interesting!
PatrickPowers
Tetronian
 
Posts: 440
Joined: Wed Dec 02, 2015 1:36 am


Return to Higher Spatial Dimensions

Who is online

Users browsing this forum: No registered users and 9 guests