Related papers: The Isomorphism of $H_4$ and $E_8$
We discuss USp(2n) supersymmetric models with eight fundamental fields and a field in the antisymmetric representation. Turning on the most generic superpotentials, coupling pairs of fundamental fields to powers of the antisymmetric field…
Matroids give rise to several natural constructions of polytopes. Inspired by this, we examine polytopes that arise from the signed circuits of an oriented matroid. We give the dimensions of these polytopes arising from graphical oriented…
4-dimensional H4 polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group W(H4) where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an arbitrary…
The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez. As homogeneous manifolds, these spaces are of the $G/H$, where $G$ is a connected compact simple Lie group with an automorphism…
Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $\alpha$ of Ehrhart…
We describe extension of the pyritohedral symmetry to 4-dimensional Euclidean space and present the group elements in terms of quaternions. It turns out that it is a maximal subgroup of both the rank-4 Coxeter groups W(F4) and W(H4)…
The Single Gyroid, or srs, nanostructure has attracted interest as a circular-polarisation sensitive photonic material. We develop a group theoretical and scattering matrix method, applicable to any photonic crystal with symmetry I432, to…
The icosidodecahedron has 30 vertices, one at the center of each edge of a regular icosahedron -- or equivalently, one at the center of each edge of a regular dodecahedron. It is a beautiful, highly symmetrical shape. But it is just a…
In 1992 Wirthm\"{u}ller showed that for any irreducible root system not of type $E_8$ the ring of weak Jacobi forms invariant under Weyl group is a polynomial algebra. However, it has recently been proved that for $E_8$ the ring is not a…
The regular icosahedron is connected to many exceptional objects in mathematics. Here we describe two constructions of the $\mathrm{E}_8$ lattice from the icosahedron. One uses a subring of the quaternions called the "icosians", while the…
4-dimensional $A_{4}$ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(A_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Projection of an…
It is shown that the $E_8$ trigonometric Olshanetsky-Perelomov Hamiltonian, when written in terms of the Fundamental Trigonometric Invariants (FTI), is in algebraic form, i.e., has polynomial coefficients, and preserves two infinite flags…
We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6. The E_t-construction of…
Let $G$ be a compact group of linear transformations of an Euclidean space $V$. The $G$-invariant $C^\infty$ functions can be expressed as $C^\infty$ functions of a finite basic set of $G$-invariant homogeneous polynomials, called an…
In this paper, we take the classic dihedral and quaternion groups and explore questions like "what if we replace $i=e^{2\pi i/4}$ in $Q_8$ with a larger root of unity?" and "what if we add a reflection to $Q_8$?" The delightful answers…
We associate the lepton-quark families with the vertices of the 4D polytopes 5-cell and the rectified 5-cell derived from the SU(5) Coxeter-Dynkin diagram. The off-diagonal gauge bosons are associated with the root poytope (1000)A4 whose…
4-dimensional $F_{4} $ polytopes and their dual polytopes have been constructed as the orbits of the Coxeter-Weyl group $W(F_{4})$ where the group elements and the vertices of the polytopes are represented by quaternions. Branchings of an…
We give a simple presentation of the six quaternionic equiangular lines in $\mathbb{H}^2$ as an orbit of the primitive quaternionic reflection group of order 720 (which is isomorphic to 2.A_6 the double cover of $A_6)$. Other orbits of this…
We describe explicit multiplicative excellent families of rational elliptic surfaces with Galois group isomorphic to the Weyl group of the root lattices E_7 or E_8. The Weierstrass coefficients of each family are related by an invertible…
We study gravitational lensing by the family of scale-free galaxies with flat rotation curves. The models are defined by a shape function, which prescribes the radius of the isophote as a function of position angle from the major axis. The…