Tag Archives: Math

Latest paper: Even FibBinary Numbers and the Golden Ratio

Please see my latest paper here.

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:

Integer Compositions, Gray Code , and the Fibonacci Sequence

I was prompted by Chris Birke to take a look at this very interesting paper by Linus Lindroos. Chris is working with my E8 to H4 Folding Matrix for optimizing computation using network theory and hyper-dimensional geometric structures.

I was able to validate the paper with some quick Mathematica code.

Below is the code that sets up the generation of the tables, including various binary, numeric, and symbolic (graph) Compositions.

Notice the last statement (above) lists the odd FibBinaries (up to N=200) as related to the Floor of the n*Phi^2-1, with n=1 to 77.

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

Mapping the fourfold H4 600-cells emerging from E8: A mathematical and visual study

My latest paper is now available here or on Vixra.

{abstract}
It is widely known that the E8 polytope can be folded into two Golden Ratio (Φ) scaled copies of the 4 dimensional (4D) 120 vertex 720 edge H4 600-cell. While folding an 8D object into a 4D one is done by applying the dot product of each vertex to a 4×8 folding matrix, we use an 8×8 rotation matrix to produce four 4D copies of H4 600-cells, with the original two left side scaled 4D copies related to the two right side 4D copies in a very specific way. This paper will describe and visualize in detail the specific symmetry relationships which emerge from that rotation of E8 and the emergent fourfold copies of H4. It will also introduce a projection basis using the Icosahedron found within the 8×8 rotation matrix. It will complete the detail for constructing E8 from the 3D Platonic solids, Icosians, and the 4D H4 600-cell. Eight pairs of Φ scaled concentric Platonic solids are identified directly using the sorted and grouped 3D projected vertex norms present within E8. Finally, we will show the relationship of the Beordijk-Coxeter Tetrahelix emerging from the Petrie projection’s concentric rings of 30 vertices of the H4 600-cells.

This paper builds off of some recent work here, and here.

Below are a few figures from that paper.


FIG. 3: a) 24-cell highlighting the 16-cell (red on-axis vertices) and 8-cell (blue off-axis vertices), b) Snub 24-cell highlighting four pi/5 rotations of the 24-cell (black) in red, green, blue, yellow.


FIG. 4: The 5 24-cell decomposition of one 600-cell, each with 2D and 3D vertex numbered projections including edges; a)
24-cell, b-e) Snub 24-cells from four pi/5 rotations of the 24-cell in a)


FIG. 6: Vertex numbered Petrie projection of the rotated E8, showing the 96 edges of 8D norm l = 2Φ which links the Snub 24-cell H4 and H4Φ (L<->R) vertices (Note: the 8 excluded positive E8 8-Orthoplex (or equivalently, the H4 and H4Φ 4-Orthoplex) “generator vertices” are shown as larger gray labeled axis dots which overlap their darker black E8 vertices)


FIG. 7: Symbolic analysis using MathematicaTM comparing the Cartan matrix before and after rotating the simple roots matrix (E8srm) used to create it (Note: the resulting Cartan matrix is not precisely that of E8, even after applying the Dechant’s Φ=0 trick)

FIG. 8: a) Sorted list of the vertex norms with their grouped vertex counts. b) 3D surface models for each of the 7 hulls of vertices c) Combined 3D surface model with increasing transparency for each successive hull.


FIG. 11: 3D projection using an orthonormal basis on H4 and H4Φ vertices (i.e. the rotated E8)


FIG. 12: The Beordijk-Coxeter Tetrahelix emerging from the 8 concentric rings of 30 E8 and H4+H4Φ Petrie projection vertices; a) H4 inner and outer ring in 3D, b) with vertex size, shape, color assigned from physics model, c-d) inner and outer ring in orthonormal projection of H4Φ


FIG. 15: MetabidiminishedIcosahedron (with its negated vertices gives the GyroelongatedPentagonalPyramid) Crystal Projection Prism projecting E8 a) the crystal prism geometry and vertices, b) the selected basis vectors, c) the individual 3D projected concentric hull objects, d) the combined set of concentric objects with progressively increasing transparency and tally of vertex norms.


APPENDIX A: LIST OF E8 AND ITS ROTATED H4 AND H4Φ VERTICES
This table splits the E8 and its rotated H4 vertices into L/R 4D elements.

1. Table structure
The first column is an SRE E8 vertex index number derived from sorting the E8 vertices by their position based on the 256=2^8 binary pattern from the 9th row of the Pascal triangle (1, 8, 28, 56, 70, 56, 28, 8, 1) and its associated Cl8 Clifford Algebra. This construction is described in more detail in [3]. The odd groups (1,3,5,7,9) with (1,26,70,26,1) elements (respectively) are the 128 1/2 integer vertices. The even groups (2,4,6,8) with (8,56,56,8) elements (respectively) are the 112 integer vertices along with the 16 excluded 8 generator (and 8 anti-generator) vertices (2-9 and 248-255) with permutations of (1; 0; 0; 0; 0; 0; 0; 0) (a.k.a. the 8-Orthoplex), such that they indicate the basis vectors used for projecting the polytope.

Only the first half of the 240 vertices is shown, since the last half is simply the reverse order negation of the vertices
in the first half (e.g. the E8 vertex n=10 has as its’ negation 257-n=247). The middle column labeled L<->R indicates the vertex reference number that contains the same L as the R (and equivalently, the same R as the L, interestingly enough).

2. Table color coding
The E8 L/R columns’ green color-coded elements indicate that the 4D vertex rotates into the smaller H4 600-cell.
Conversely, the E8 L/R columns’ black color-coded elements indicate the 4D vertex rotates into the larger H4Φ
600-cell.

The H4 L/R columns’ red color-coded rows are 24-cell elements that always self-reference and are always members of the scaled up 600-cell H4Φ. The H4 L/R columns’ orange color-coded rows are 24-cell elements that always reference the negated elements in the range of 129-256 and are always members of the smaller 600-cell H4.

E8 (2_41, 4_21, and 1_42) projected to various Coxeter planes

This is a shot of the relevant Mathematica code snippets that produce the images:

E8 4_21 (with projection basis, edges, vertex overlap colors & counts) (click here for very large SVG):

E8 2_41 (with projection basis, vertex overlap colors & counts) (click here for very large SVG):

E8 1_42 (with projection basis,vertex overlap colors & counts) (click here for very large SVG):

Files of the actual vertex lists:
E8-4_21.txt (240)
E8-2_41.txt (2160) (EVEN +/- signs on some vertices producing incorrect projections)
E8-1_42.txt (17280)  (EVEN +/- signs on some vertices producing incorrect projections)

Perspective Enhanced HyperCube Projections to 3D

These objects are projected using an {x,y,z} orthonormal basis. For n={5,6,7} I add a small delta (.2) to {x,y,z} basis vectors in columns {n-2,n-1,n} in order to keep vertices from overlapping. There is an enhanced perspective applied to vertex location as well.

4Cube


4Cube 3D StereoLithography (STL) model for 3D Printing

5Cube


5Cube 3D StereoLithography (STL) model for 3D Printing

6Cube


6Cube 3D StereoLithography (STL) model for 3D Printing

7Cube


7Cube 3D StereoLithography (STL) model for 3D Printing

Rhombic Triacontahedron Animations

Best Viewed in HD

3D Stereoscopic

Red-Cyan Stereoscopic

BTW – if you find this information useful, or provide any portion of it to others, PLEASE make sure you cite this post. If you feel a blog post citation would not be an acceptable form for academic research papers, I would be glad to clean it up and put it into LaTex format in order to provide it to arXiv (with your academic sponsorship) or Vixra. Just send me a note at:  jgmoxness@theoryofeverthing.org. 

More Symmetries of E8 folding, including 5-Cube and 4-Cube (Tesseract)

The same 3 (projection basis vectors that produce the H3 Icosadodecahedron from D6 and the Rhombic Triacontahedron from the 6-Cube (or 2 sets from the 128 1/2 Integer BC8 vertices of E8) form lower dimensional objects within E8.

For more information on the above symmetries, see this post.

The 3D object identification has been confirmed by …

32 vertex 5-Cube with 80 5D Norm’d Unit Length Edges
Projection Basis Vectors {x,y,z}:

Projected Vertex Data:

3D Rhombic 20-Hedron Outer Hull of 22 Vertices


The edge coloring on these projections are defined by which of the 6 dimensional axis the edge aligns with.

10 Interrior Vertices with 10 Edges

All Vertices in 3D

2D faces

16 vertex 4-Cube with 32 4D Norm’d Unit Length Edges
Projection Basis Vectors {x,y,z}:

Projected Vertex Data:

3D Rhombic Dodecahedron with 2 Interior Vertices

2D faces

BTW – if you find this information useful, or provide any portion of it to others, PLEASE make sure you cite this post. If you feel a blog post citation would not be an acceptable form for academic research papers, I would be glad to clean it up and put it into LaTex format in order to provide it to arXiv (with your academic sponsorship) or Vixra. Just send me a note at:  jgmoxness@theoryofeverthing.org. 

The Rhombic Triacontahedron and E8 to H4+H4Φ folding

I was asked to clarify a particular projection of the Rhombic Triacontahedron from the 6-Cube subgroup of E8, which had I created for WikiPedia (WP) back in 2011 based on an E8 to H4+H4Φ rotation matrix I discovered in 2010.

The edge coloring on the projection above is defined by which of the 6 dimensional axis the edge aligns with.

BTW – if you find this information useful, or provide any portion of it to others, PLEASE make sure you cite this post. If you feel a blog post citation would not be an acceptable form for academic research papers, I would be glad to clean it up and put it into LaTex format in order to provide it to arXiv (with your academic sponsorship) or Vixra. Just send me a note at:  jgmoxness@theoryofeverthing.org. 

The following projection (basis) vectors take the 6-Cube as a subset of E8 and projects it into 3D using the following basis vectors:

Notice the last two dimensions in each vector are 0, which effectively takes the 128 8D 1/2 integer vertices of the E8 BC8 DemiCube into the 6D 6-Cube.

For the following data analysis, it is useful to reference the full list of E8 and H4+H4Φ data at the end of my blog post here.

The clarification desired was due to a conjecture that since E8 folds to H4+H4Φ (600 cells) and D6 folds to H3+H3Φ, that the 6-Cube should fold to an outer and inner rhombic triacontahedron scaled by Φ.

Below is a visualization of D6 folding into 2 concentric H3 icosadodecahedrons at a ratio of Φ using the same projection as described above. The edging displays the  480 Norm’d 6D Sqrt[2] length edges, clearly showing the outer and inner H3 polytopes.

Shown with exterior faces on edges (not a pure convex hull algorithm)…

The data below shows two sets of 30 vertices (outer on the left and inner on the right). They are sorted by the 3D Norm’d length of the vertex ray from {0,0,0}, followed by the vertex number in the E8 to H4+H4Φ list at the end of the post referenced above, along with the 6D E8 vertex that is a member of the D6 set, and the {x,y,z} projected vertex position

The last line of the data set shows that the first set of outer 30 projected vertex locations on the left is numerically equal to the second inner set after multiplication by Φ.

I did the same for the Rhombic Triacontahedron projected out of the 6-Cube.

I separated the outer and inner vertices used to make the WP projection at the top of the post. There are 64 vertices and 192 6D unit length edges forming pentagonal symmetry along specific axis (as well as hexagonal symmetries on other axis). It is clear that scaling the inner 32 vertex locations by Φ is not going to give the outer 32 vertex positions. Yet there is a similarity- they both have 12 vertices of one 3D Norm’d length and 20 of another.

Outer 32 vertices and 60 unit length Norm’d 6D edges.

The edge coloring on the projection above is defined by which of the 6 dimensional axis the edge aligns with.

Inner 32 vertices and 60 unit length Norm’d 6D edges.

The last line of the data set above shows that the outer data (left) is the same as the inner data set multiplied by a factor of Φ when the first 12 (shorter 3D Norm’d)  inner vertices (right) are multiplied by an additional factor of Φ.

This explains the lack of isomorphism, but why is it not like the D6 to H3+H3Φ and E8 to H4+H4Φ in the symmetry of Φ scaling?

The best explanation I can give involves the pattern of left vs. right 3 digits in the 6-Cube E8 vertices. This is due to the left right symmetry of the basis vectors applied to binary pattern of half integer vertices in the 6-Cube.

All vertices have a consistent pattern that differentiates the 20 longer Norm’d vertices from the 12 shorter ones. Specifically, the shorter 12 that have the inner ones needing the added factor of Φ always show that:

  • the right inner vertices all have an even number in 6 +/- elements but not always evenly split across the left and right
  • the left outer vertices all have an odd number of in 6 +/- elements  always unevenly split across the left and right

Whereas, the longer 20 that match the Φ scaling reverse the pattern where:

  • the right inner vertices all have an odd number in 6 of +/- elements  always unevenly split across the left and right
  • the left outer vertices all have an even number in 6 of +/- elements but not always evenly split across the left and right

Another related fact in the folding pattern of the 6-Cube emerges when we note that since E8 contains 128 1/2 integer BC8 (the 8 Demi-Cube). In addition, we note that the 6D complement of BC8 and the 6-Cube is the same set of vertices. This means we get the same projection using all 128 vertices of the 6D trimmed BC8 as we do with the 64 of the 6-Cube, except now there are 768 6D Norm’d unit length edges rather than 192. Interestingly, that means that similar to E8 containing simultaneous copies of 4 600-Cells (a left and right pair scaled at Φ), E8 contains 4 simultaneous copies of the rhombic triacontahedron after adding the Φ scaling on the two sets of 12 inner BC8 vertices).

Wow – that is nice! Remember, you heard it here first!

If we try this idea with the complement of the integer elements of E8, namely the 112  6D trimmed D8 vertices complemented with 60 D6 vertices, the 6D trimmed 52 vertex complement contains 4 identical copies of the excluded 16 generator vertices of E8 {+/-1,0,0,0,0,0,0,0} permutations (plus 4 {0,0,0,0,0,0,0,0} vertices).

As you can see, the folding of the integer elements of E8 do not fold the same as the 1/2 integer elements, and in retrospect, we probably should not expect them to.

It is because of the symmetric 4D left/right symmetry of E8=BC8+D8 that we get the wonderful folding of it into  H4+H4Φ !

E8 folding to 4D H4+H4Φ Visualization Data Analysis

Below is an animated .GIF (3 seconds per frame) in 2D of E8 in Petrie projection with numbered vertices. It cycles between the full E8 (Gosset polytope), to the 8 16-Cell (Cross polytope) vertices, to the 16 8-Cell (Tesseract) vertices. It then cycles through the 5 H4+H4Φ 600-Cell pairs of 24-Cells (main 24-Cell and 4 Snub 24-Cells rotated around the Petrie projection).

Notice that 4 of the 8 16-Cell vertices are co-located on the axes with the basis vectors of the 2D projection. The other 4 basis vectors (on the right half of the 8D basis) are located at the origin {0,0}.

BTW – if you find this information useful, or provide any portion of it to others, PLEASE make sure you cite this post. If you feel a blog post citation would not be an acceptable form for academic research papers, I would be glad to clean it up and put it into LaTex format in order to provide it to arXiv (with your academic sponsorship) or Vixra. Just send me a note at:  jgmoxness@theoryofeverthing.org. 

The Split Real Even (SRE) E8 vertices are numbered in order of their canonical sort position in the Pascal Triangle binary order. See the large .PNG graphic at the bottom of this post for the full list of binary, E8 and folded H4+H4Φ in symbolic and numeric values. The connection between E8 and the binary (binomial expansion) of the Pascal Triangle (Clifford Algebra) is visualized here. It is interesting to note that the binary and E8 vertex values of 1-128 are mirrored by the 256-129 (note: reverse order, with 0<->1 for binary or negation for E8).

The H4 numeric and symbolic information is obtained through E8 vertex dot product with the 8×8 rotation matrix and is multiplied by 2 for clarity. H4 Folding is obtained by only using the top or bottom 4 rows of that matrix I discovered in 2010 (below):

Notice the Quaternion to Octonion Cayley-Dickson like doubling procedure pattern in the 4 quadrants of this matrix. It is this pattern that is responsible for maintaining the 4 sets of 600-Cell H4 vertices when rotating from E8 vertices.

Below is the same type of animated .GIF from above, except it is projected into 3D by adding a 3rd basis vector for the z axis. These are shown without vertex numbers for clarity. It starts with E8 with 6720 8D Norm=Sqrt[2] edges (or equivalently E8 rotated to H4+H4Φ edges with 3360 4D Norm=1 & 3360 4D Norm=Φ edges). It cycles through to the H4Φ 600-Cell, H4 600-Cell, and then to the 24-Cell without edges. Finally on to the 8-Cell and 5 pairs of 24-Cells with edges. Again, the right 4D half of the 8D projection basis vectors are located at {0,0,0}. Of the other 4 basis vectors, 2 are on {x,y,z} axes.

The projections of E8 rotated to H4+H4Φ in this post are not a pure ortho-normal 600-Cell projection, in that it is intended to show the Petrie projection on one face {x,y}. It does show the ortho-normal 600-Cell structure on another face {y,z} (albeit rotated off axis), and something in-between these on the {x,z} face. The full ortho-normal 600-Cell can easily be projected to full 3D symmetry on all 6 faces by using an ortho-normal basis. The 3 projection basis vectors used here in this post are as follows:

Below is the very long .PNG graphic listing the left 4D and right 4D vertex information for E8 (Pascal Triangle Binary and Split Real Even E8) and folded H4 and H4Φ in symbolic and numeric form. On the left side is the vertex number. Notice vertices 2-9 and 248-255 are missing. These are the 8 generator (and anti-generator) E8 vertices. The center of each row is a number that identifies the vertex where the left and right 4D elements switch sides to right and left.

The green data in the left and right columns indicate a 4D H4 vertex, while black in those columns indicate H4Φ 4D vertex. As you can see, there are actually 4 H4 600-Cell constructs in this E8 rotation, with 2 on the left and 2 on the right.

Wow – that is nice! Remember, you heard it here first!

The red text in the center column indicates vertices of the H4Φ 24-Cell. Notice, all the red vertices don’t switch left/right since they have symmetric 4D halves. Interestingly, 1/2 of the 16 H4Φ 8-Cell vertices are made up of 1/2 of the 16 8-bit Hamming (distance 4) binary codes. The other 1/2 of those Hamming codes are located in the 16 H4 8-Cell vertices, with anti-symmetric left/right halves (described in the next paragraph).

The Orange is the H4 24-Cell. While this 24-Cell does have a different vertex identified in the center for left/right switching, it does so within H4. Another interesting observation, is that both the E8 and H4 left value is always the negative of the right. This means the center number that identifies the vertex where the left and right 4D elements switch sides is the same as the 1-128 mirror element in the 256-129 set (and vice-versa).

The 2*8 (red and orange) 16-Cell vertices are all located in the integer E8 vertices (groups 4 and 6 of row 9 of the Pascal Triangle, specifically (1,8*,28,56,70,56,28,8*,1)). The 2*16 (red and orange) vertices of the 8-Cells are all located in the 1/2 integer E8 vertices groups (1,3,5,7,9) of row 9 of the Pascal Triangle, with all 16 of the H4 8-Cell vertices in group 5, and with the 16 red H4Φ 8-Cell vertices distributed as {1,4,6,4,1) in groups (1,3,5,7,9) respectively. Notice that this {1,4,6,4,1) distribution may relate to the Clifford Algebra Cl(8) primitive idempotent distributions in the 256 elements of Pascal Triangle row 9.

These red and orange center patterns of the 24-Cells is unlike the 2 sets of 96 Snub 24-Cell vertices, which have both H4 and H4Φ elements in each row as well as switching left/right values with a different and non-mirrored vertex number in the center of the center column.

More visualizations and 600 Cell analysis is also found in this post.

Please notice I have left in the final command of the Mathematica source code to give a hint as to the source structure of the data.

Comparing nearest edges between Split Real Even (SRE) E8

I have been intrigued with Richter’s arXiv 0704.3091 “Triacontagonal Coordinates for the E8 root system” paper.

Comparing nearest edges between Split Real Even (SRE) E8 and Richter’s Complex 4D Golden Ratio Petrie Projection Model:

Please note, the vertex numbers are reordered from Richter’s paper in order to be consistent with ArXiv quant-ph 1502.04350 “Parity Proofs of Kochen-Specker theorem based on the Lie Algebra E8” by Aravind and Waegell. This paper uses the beautiful symmetries of E8 as a basis for proof sets related to the Bell inequalities of quantum mechanics. Below is a graphic showing that vertex number ordering:

Richter’s model with 74 nearest edges per vertex (Complex 4D Norm’d length Sqrt[2], with 8880 total):

Richter’s model with only 26 nearest edges per vertex (Complex 4D Norm’d length 1, 3120 total):

The above unity length edge pattern has is more consistent with the SRE E8 below.

The SRE E8 Petrie Projection (with 56 Norm’d edge length Sqrt[2] for each vertex, 6720 total). This is equivalent to folding E8 to H4 with an 8×8 rotation matrix which creates a 4D-left H4+H4*Phi and a 4D-right H4+H4*Phi.

Please note, the vertex number is that of the E8 vertices rotated (or “folded”) to H4 in 2D Petrie projection. The vertex numbers are in canonical binary order from E8’s 1:1 correspondence with the 9th row of the Pascal Triangle (eliminating the 16 generator/anti-generator vertices of E8 found in the 2nd and 8th column of the Pascal Triangle). The graphic below shows the vertex number ordering:

Here we take the 4D-left half and project to two concentric rings of H4 and H4 Phi (Golden Ratio) with 56 nearest edges per vertex (Norm’d length of unity or Phi for each vertex):

The animation frames are sorted by the ArcTan[y/x] of the vertex position in each ring (sorted H4*Phi outer to inner, then H4 outer to inner).

BTW – if you find this information useful, or provide any portion of it to others, PLEASE make sure you cite this post. If you feel a blog post citation would not be an acceptable form for academic research papers, I would be glad to clean it up and put it into LaTex format in order to provide it to arXiv (with your academic sponsorship) or Vixra. Just send me a note at:  jgmoxness@theoryofeverthing.org.