The idea is to observe the 110 astronomical Messier objects which are visible to some of the Northern Hemisphere in March/April. The best result is to do it all in one night, which is difficult unless everything works out seamlessly (110 over 11 dark hours leaves only 6 minutes per image, so it isn’t so much about quality but speed).

So I decided to try and set up my astro gear to automate the process of taking 110 Messier objects in one night.

In testing it the evening of March 2, it was going really well so I decided to pull an unplanned all-night’er and got 100 of the 110 (with the missing 10 not being visible to my scope before sunrise due to the obstruction of my house, as well as it being a bit early in the Messier season).

Click here for a video compilation of the shots I took (sorted by their Messier number each using a 2 minute monochrome exposure):

These are a simple animated visualizations I created while studying the problem. They contain a sequence of 2s frames starting at 130 vertices and incrementing 62. The red numbered text are the first few starting vertex numbers showing the hexagonal structure of the construction. On the left is a list of sorted and color coded vertices by the number of edges on a vertex for that frame’s shown vertices (it also lists in the right column the number of vertices with that number of edges & color). The solution data was obtained from: https://github.com/marijnheule/CNP-SAT

Here is a link to a Mathematica Notebook (50Mb) that has interactive ListAnimated graphs with vertex data (vertex number, symbolic and numeric coordinates, number of edges on the vertex in the frame) in Tooltip on mouseover.

In several papers on BKS proofs, Arthur Ruuge’s “Exceptional and Non-Crystallograpic Root Systems and the Kochen-Specker Theorem” https://arxiv.org/abs/0906.2696v1 and Mordecai Waegell & P.K. Aravind’s “Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8” https://arxiv.org/abs/1502.04350v2, in addition to E8, E6 and E7 is studied. Using the visualization developed for my recent paper and prior papers, I present here the related visualizations for E6 and E7 as discussed in those papers.

Using rows 2 through 4 of a unimodular 8x8 rotation matrix, the vertices of E8 421, 241, and 142 are projected to 3D and then gathered & tallied into groups by the norm of their projected locations. The resulting Platonic and Archimedean solid 3D structures are then used to study E8’s relationship to other research areas, such as sphere packings in Grassmannian spaces, using E8 Eisenstein Theta Series in recent proofs for optimal 8D and 24D sphere packings, nested lattices, and quantum basis critical parity proofs of the Bell-Kochen-Specker (BKS) theorem.

A few new Figures from the paper.

Now for a few new visualizations that are not in the paper…

This is what I expect to be the first ever 3D visualization of the E8 1_42 polytope with 17280 vertices showing concentric hulls of Platonic solid related structures!

For the sake of completeness in visualization, see below for various projections to 2D. Click these links for a higher resolution PNG or the SVG version.

I read an interesting article about a pattern discovered by Warren D. Smith (discussed at length here):

“The sum of the first three terms in the Eisenstein E_4(q) Series Integers of the Theta series of the E8 lattice is a perfect fourth power: 1 + 240 + 2160 = 2401 = 7^4”

So I decided to visualize the 2401=1+240+2160 vertex patterns of E8 using my Mathematica codebased toolset based on some previous work I put on my Wikipedia talk page.

The image below represents various projections showing 6720 edges of the 240 E8 vertices, plus a black vertex at the origin, and the 2160 Witting Polytope E8 2 _ 41 vertices using the same projection basis (listed at the top of each image along with the color coded vertex overlaps). Click these links for a higher resolution PNG or the SVG version.

Some of the particular projections of the Witting Polytope may need 8D rotations applied to the basis vectors to find better symmetries with the Gosset, but this is a start using my standard set of projections.

The 240 vertices of the Gosset Polytope are generated using various permutations:

I’ve had a number of related posts on this topic, but I wanted to present a few new pictures and PDF documents that combine the 7 concentric hulls forming Platonic solid related sets of E8 vertices projected to 3D with vertices of five pairs of 24-cell objects.

These break down the E8 structure into familiar 3D objects, such as the icosahedron with its dual the dodecahedron, the icosidodecahdron, and the 16-cell with its dual the 8-cell (aka. Tesseract) combined to create the self-dual 24-cell.

The following paper hulls-24cells-combined.pdf (13MB) & interactive Mathematica Notebook hulls-24cells-combined.nb (34MB) contains a comprehensive set of images that show the contents of the 7 concentric hulls of Platonic solid related shapes as well as their integration with one of the rotations of 24-cells in H4 and H4Φ in E8 (the same one used in the image above).

In the E8 Petrie projection, every hull (each with 2 or 4 overlapping vertices) pair into left/right patterns. See the set of four icosahedrons that occupy the 3rd hull in both 2D and 3D (the yellow edge sets belongs to the H4Φ and the blue sets belong to H4) :

The pair of dodecahedrons that occupy the 5th hull in both 2D and 3D (the yellow edge set belongs to the H4Φ and the blue belong to H4) :

Below is an animation that cycles through the sequence of 2D Petrie Projections of the pairs of hulls. One cycle shows each frame individually and the other builds the E8 Petrie from the previous 2D hull.

Below are images of the left (H4) and right (H4Φ) 2D Petrie projections of the hulls (which are defined by the Norm’s of 3D projected vertices using the E8->H4 folding matrix rows 2-4 as basis vectors). The two 30 vertex 4 & 7 Icosidodecahedron hulls and four 0th hull (points) are omitted leaving the gaps in the diagram. When these gap vertices are combined with the 48 3rd hull Icosahedrons (above), they make up the 112 integer D8 group assigned to the Bosons (48) and 2nd generation Fermions (64) in the physics model described below.

The combined set of hulls projected using the rows of the folding matrix as basis vectors is shown below from previous work:

This paper hull-list-3b.pdf (4MB) & interactive Mathematica Notebook hull-list-3b.nb (20MB) contains the visualizations and detail E8 vertices associated with each Platonic solid related concentric hulls. This paper 24cell-list-3b.pdf (6MB) & interactive Mathematica Notebook 24cell-list-3b.nb (20MB) contains the visualizations and detail for the five 24-cells in each H4 & H4Φ. Both of these papers also have detail information about its assigned physics particle based on a modified A.G. Lisi model (shown below). This paper describes these particle assignment symmetries in more detail.

Abstract: We introduce a unimodular Determinant=1 8×8 rotation matrix to produce four 4 dimensional copies of H4 600-cells from the 240 vertices of the Split Real Even E8 Lie group. Unimodularity in the rotation matrix provides for the preservation of the 8 dimensional volume after rotation, which is useful in the application of the matrix in various fields, from theoretical particle physics to 3D visualization algorithm optimization.

It is a Mathematica 11/12 Computable Document Format (CDF) web interactive app that has been purpose built for visualizing Solar System Orbital Mechanics

I’ve read some recent papers by Cohl Furey and was intrigued by the potential relationship between the octonion and Clifford group theoretic assignments to standard model particles. Since I have developed an extensive Mathematica notebook to perform symbolic analysis using these structures (derived primarily for E8 Lie group work), I decided to follow her suggestion… “The reader is encouraged to check that C⊗O forms the 64-complex-dimensional Clifford algebra Cl(6), generated by the set {i e1,…i e6} acting on f”.

So to that end, I created the this .pdf with some preliminary results of that analysis. I found a few minor issues, but so far the model seems to symbolically compute consistently. Very cool!

Dedicated to the pursuit of beauty and Truth in Nature!