This post is an analysis of a June 2013 paper by Mehmet Koca, Nazife Koca, and Ramazan Koc. That paper contains various well-known Coxeter plane projections of hyper-dimensional polytopes as well as a new direct point distribution of the quasicrystallographic weight lattice for E6 (their Figure 3), as well as the quasicrystal lattices of B6 and F4.

What is interesting about this projection is that it precisely matches the point distribution (to within a small number of vertices) from a rectified E8 projection using a set of basis vectors I discovered in December of 2009, published in Wikipedia (WP) in February of 2010 here.

Rectification of E8 is a process of replacing the 240 vertices of E8 with points that represent the midpoint of each of the 6720 edges. In this projection, there are overlaps which are indicated by different colors in the color-coded WP image linked above.

The image below is an overlay of the above images highlighting the 12*(9+3+26+7)=540 points that are not overlapping:

It is interesting to note that with a 30° rotation of my projection, the missing overlaps are reduced to 12*(15+2)=204.

Given the paper’s explanation for the methods using E6 (720) with 6480 edges as a projection through a 4D 3-sphere window defined by q1 and q6, it may be insightful to study my projection basis for E8’s triality relationships with the Koca/Koc paper’s defined 4D 3-sphere.

For more information on why my projection basis is called the E8 Triality projection, see this post.

I’ve updated an analysis I did on the work of Cohl Furey’s papers from several years ago. Since then, she added another paper: https://arxiv.org/abs/1910.08395v1

The short pdf version of my analysis (with some detail cells collapsed) is here (34 pages), and a longer version is here (no collapsed cells and 51 pages). These pdf’s are a direct output from my Mathematica (MTM) Notebook. I will follow up with a LaTex paper on the topic soon.

This notebook has code built in to operate symbolically on native MTM reals, complexes, and quaternionic forms, as well as my custom code to handle the octonions, and now the bi-octonions (which doesn’t assign the octonion e1 to be equivalent to the complex imaginary (I)). That change also applies to the native quaternion assignments where of e1=I, e2=J, and e3=K in order to work with quater-octonions. This was a fairly trivial change to make since it simply involves removing the conversion of complex (and quaternion) operators from being involved in the octonionic multiplication.

Please note that my previous analysis here (from Feb. 2019) made the mistake of not commenting out these operations. As such, it was operating on octonions (not complexified bi-octonions), so some of my concerns were resolved based on correcting that error.

The bottom line is that I did validate much of the work presented in the referenced papers, with the exception of some 3 generation SM charge (Q) assignments in that latest paper (Oct. 2019).

I am very interested here in the suggestion at the very end of that paper [5] in the Addendum Section IX(B/C) on Multi-actions splitting spinor spaces, Lie algebras/groups, and Jordan algebras. I suspect having the ability to create a machine (i.e. a symbolic engine such as MTM) to operate on and visualize these structures as hyper-dimensional physical elements is critical to making progress in understanding our Universe more thoroughly.

While I have had some success in replicating quark color exchange, as well as flavor changes (e.g. green u_{2} to d_{3} quark exchange using g_{13}), there doesn’t seem to be a complete description of how to construct each of those color and flavor exchange actions from the examples given. So for reference I present all possible combinations of these actions across the particle/anti-particle definitions (see the image linked in the last paragraph of this post). This comment about limited examples also applies to replicating the 3 generation charge (Q) calculation using the sS constructs mentioned above.

I welcome any help or advice or additional examples.

Below is an example image of the 3 generation SM from the 2019 paper built from bi-octonions (with my octonion multiplication table reductions applied. The anti-particles (not shown) are simply the complex-conjugate of these. While I show in string form of Q, I am not showing the commutations based evaluations for them due to the questions / issues I have on how to get it to work.

The image below shows more detail of the 3 generation SM from 2014 with my code implementing the reductions. This leaves off the charge (Q) which was not defined as above in 2014 (AFAIK).

The image below shows a simple construction of the 0-V to 6-V splitting of the Mf Clifford algebraic structures, which I generated using MTM Subsets:

The rather large (long) image here checks all SM particle color and flavor changing actions and includes the anti-particles. The output is extensive and given my open questions on the formalism presented, the accuracy likely deviates from the intent of [5], but it is interesting to show how everything transforms. If no transform is found for a particular action, it outputs an * for that action. If a color or flavor changing transformation action is found, it identifies that action with the list of particles to which the transformation applies. Note: it only identifies a transformed particle if the source particle has a non-zero reduced value and the resulting match is exact (red) or a +/- integer factor of that particle (blue).

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:

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.

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!

It adds information related to my previous blog post here.

Abstract: Previously, a determination of the relationship between the Natural numbers (N) and the n’th odd fibbinary number has been made using a relationship with the Golden ratio phi=(Sqrt[5]+1}/2 and tau=1/phi. Specifically, if the n’th odd fibbinary equates to the j’th N, then j=Floor[n phi^2 – 1]. This note documents the completion of the relationship for the even fibbinary numbers, such that if the n’th even fibbinary equates to the j’th N, then j=Floor[n phi]-1, starting at j=0 for n=1. Alternatively, starting at j=2 for n=1, then j=Floor[n phi + tau].

Title:Even FibBinary Numbers and the Golden Ratio Authors: J Gregory Moxness Comments: Dec 31 2018, 5 pages, 4 Figures. Subjects: Combinatorics

Below is a listing of the N integers represented by their 38 odd FibBinaries, along with the binary and Gray code Compositions.

Below is a listing of the first 63 N integers represented by their even FibBinaries, along with the binary and Gray code Compositions.

Code output examples:

Mathematica Code Snippets:

Dedicated to the pursuit of beauty and Truth in Nature!