arXiv:1608.07864v1 [hep-th] 28 Aug 2016

§§University of Maryland Center for String and Particle Theory & Physics Department—University of Maryland Center for String and Particle Theory & Physics Department §§
§
§
✞ ☎
§
§
§
§
§
§
§
§
✝
✆
§
§
August 30, 2016
PP-016-005
§
§
§
§
✝✆
§
§
§
§
§
§
§
§
§
§
N
=
4
and
N
=
8
SUSY
Quantum
Mechanics
§
§
§
§
§
§
§
§
and
Klein’s
Vierergruppe
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
b,
c2
d3
e4
a1
S. James Gates, Jr. , T. Hübsch , K. Iga , and S. Mendez–Diez
§
§
§
§
§
§
§
§
§
§
§
§
a
§
§
Center for String and Particle Theory, Dept. of Physics,
§
§
§
§
University of Maryland, College Park, MD 20472
§
§
§
§
§
§
b
§
§
Dept.
of
Physics
&
Astronomy,
Howard
University,
Washington,
DC
20059
§
§
§
§
§
§
c
§
§
Dept.
of
Physics,
University
of
Central
Florida,
Orlando,
FL
32816
§
§
§
§
§
§
d
§
§
Natural
Science
Division,
Pepperdine
University,
24255
Pacific
Coast
Hwy,
Malibu,
CA
90263
§
§
§
§
§
§
e
§
§
Mathematics
Program,
Bard
College,
Annandale-on-Hudson,
NY
12504
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
ABSTRACT
§
§
§
§
§
§
§
§
Sets of signed permutation matrices satisfying the GR(4, 4) algebra are shown to be, up
§
§
§
§
to sign, left cosets of Klein’s famous Vierergruppe. In this way we verify the count done by
§
§
§
§
computer in 2012, and set it in a more significant mathematical context. A similar analysis
§
§
§
§
§
§
works for GR(1, 1), GR(2, 2) and GR(8, 8).
§
§
§
§
§
§
PACS: 11.30.Pb, 12.60.Jv
§
§
§
§
§
§
Keywords:
quantum
mechanics,
supersymmetry,
off-shell
supermultiplets
§
§
§
§
§
§
§
§
1 gatess@wam.umd.edu
§
§
§
§
2 thubsch@howard.edu
§
§
§
§
3 kiga@pepperdine.edu
§
§
§
§
4 smendezdiez@bard.edu
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§
§Howard University Department of Physics and Astronomy—University of Central Florida Dept. of Physics—Pepperdine University Natural Science Division—Bard College Mathematics Program §

2

1. Introduction
The GR(d, N ) algebras have been used in the study of supersymmetry in one dimension (0 space, 1 time).17–21
The GR(d, N ) algebra involves N > 0 signed permutation matrices L1 , . . . , LN , each of size d × d, such that
(1)

LI LJ T + LJ LI T = 2δIJ I
LI T LJ + LJ T LI = 2δIJ I,

where T denotes matrix transpose, δIJ is the Kronecker delta symbol, and I is the identity matrix. For each N , there
is a minimal d where this is possible, according to the theory of Clifford algebras.20, 21 The formula for this minimal
d is
 N

2 2 −1 , N ≡ 0 mod 8



2 N2−1 , N ≡ 1, 7 mod 8
(2)
dmin =
2 N2 ,
N ≡ 2, 4, 6 mod 8



 N2+1
2
, N ≡ 3, 5 mod 8.

The cases where N is a multiple of 4 is of greater interest because these can arise from dimensional reduction from
four dimensions, among other reasons.

In 2012, an exhaustive computer search using MathematicaTM for the case N = 4, d = dmin = 4 found 1536 such
sets, which furthermore fit into 6 types, according to the permutation matrices obtained by entrywise absolute values
of the LI matrices.2
Subsequently, in 2013, Stephen Randall, an undergraduate student at the University of Maryland, did a similar
MathematicaTM search for N = 8 and d = dmin = 8, and though the long computation time prevented finding the
total number of sets of LI matrices, he was able to find that there were 151,200 sets of permutation matrices.31
In this paper, we show that N = 4, d = 4 case can be understood in terms of Klein’s famous Vierergruppe. This
not only generates the numbers 6 and 1536 without the aid of a computer, but it also gives meaning to the six types
in terms of the theory of cosets. This approach, generalized slightly, applies as well to the case N = 8, d = 8. This
allows for a non-computer counting of the 151,200 sets of permutation matrices, and also provides an answer to the
number of sets of LI matrices.
1.1. Signed permutation matrices
A signed permutation matrix is a square matrix where each column and each row has exactly one non-zero entry,
and this entry is either 1 or −1. A permutation matrix is a signed permutation matrix where all non-zero entries are
1. As a linear transformation, a permutation matrix acts as a permutation on the standard basis elements in Rd .
These, in turn, can be viewed as permutations on the numbers {1, . . . , d}.
Every signed permutation matrix L can be written as a matrix product L = Σ|L| where Σ is a diagonal matrix
with only ±1 entries, and |L| is the matrix obtained from taking the absolute value of each of the entries of L. The
matrix |L| is a permutation matrix. The (i, i) entry of the diagonal matrix Σ is the sign of the non-zero entry in the
ith row of L. See Figure 1.
Note that Σ and |L| are orthogonal matrices, and since orthogonal matrices form a group, L = Σ|L| is orthogonal
as well. Also, if L and L′ are signed permutation matrices, then |LL′ | = |L||L′ |. This fact is related to the fact that
the set of Σ matrices is a normal subgroup of the set of signed permutation matrices.

3

0
 0

 0
1


 
1 0
0
1 0
 0 −1
0 0 −1 
=
0 −1 0   0 0
0 0
0
0 0

0
0
−1
0


0
0 1
 0 0
0 

0  0 0
1
1 0

0
0
1
0


0
1 

0 
0

Figure 1. Factoring a signed permutation matrix into a diagonal and a permutation matrix
1.2. Permutation notation
The following is a review of some basic facts about permutations, which also serves to establish notation.
A permutation is a bijection from the set {1, . . . , d} to itself. One way to write such a function is to write the
numbers 1, . . . , d in order from left to right on one line, and then the values of the function are written underneath,
so that:


1 2 3 4 5
σ=
3 4 5 2 1
is the permutation σ so that σ(1) = 3, σ(2) = 4, σ(3) = 5, σ(4) = 2, and σ(5) = 1. This notation is called two line
notation. Since the first line is always the same, we can omit it:
σ = h3 4 5 2 1i
This notation is called one line notation. Note the use of angle brackets here instead of parentheses, to avoid confusion
with disjoint cycle notation, described below.
We compose permutations as functions, right-to-left, so that if σ sends 1 to 2, and τ sends 2 to 3, then τ σ sends
1 to 3. The set of permutations on d elements then forms a group with d! elements, called the symmetric group, and
denoted Sd .
If a1 , a2 , . . . , an are a finite ordered sequence of different numbers from the set {1, . . . , d}, then we can define a
permutation called a cycle, denoted
(a1 a2 . . . an )
that sends a1 to a2 , a2 to a3 , and so on, up to an−1 to an ; and also sends an to a1 . All other elements of {1, . . . , d},
if they exist, are sent to themselves under this permutation. Sometimes commas are included between the ai when
omitting them might cause confusion. The identity is written ( ).
Every permutation can be written as a product of disjoint cycles, for instance, with the example σ above, we can
write:
σ = (1 3 5)(2 4)
is a permutation which sends 1 to 3, sends 3 to 5, sends 5 to 1, sends 2 to 4, and sends 4 to 2. We will typically
write permutations in this disjoint cycle notation in this paper, though note that Ref. 2 used the one line notation.
1.3. GR(d, N ) algebras and one dimensional supersymmetry
The N -extended supersymmetry algebra in one dimension involves some surprisingly rich and beautiful mathed
matics. The algebra is generated by one time translation operator H = i dt
, and N odd real operators Q1 , . . . , QN ,
each commuting with H, with
d
(3)
{QI , QJ } = 2i .
dt
The isoscalar supermultiplet, originally called the Spinning Particle in Refs. 19–21 and the scalar multiplet in
Ref. 14, is defined using d bosonic fields Φi and d fermionic fields Ψi , with transformation rules
(4)

QI Φi = (LI )i j Ψj
d
QI Ψi = i(RI )i j Φj .
dt

4

The L1 , . . . , LN and R1 , . . . , RN are d×d signed permutation matrices. The supersymmetry algebra (3) then becomes
LI RJ + LJ RI = 2δIJ I

(5)

RI LJ + RJ LI = 2δIJ I.

By setting I = J it is easy to see RI = LI −1 , and since signed permutations are orthogonal, RI = LI T . Then (5)
takes on the form (1) above.
Thus, for every choice of L1 , . . . , LN matrices satisfying these conditions, there is an off-shell one-dimensional
isoscalar supermultiplet. All bosons are of one engineering degree, and all fermions are of an engineering degree 1/2
higher.
1.4. Adinkras
Graphs known as Adinkras were proposed by Faux and Gates in Ref. 14 and precisely codified in Ref. 6 as a
fruitful way to investigate off-shell supermultiplets in one dimension. In particular, they can be used to study these
isoscalar multiplets.
An Adinkra is a graph, where vertices are drawn either with white or black dots, and edges are colored from
among N colors, and edges can either be solid or dashed.
In this context, given a set of {LI } matrices, the corresponding Adinkra has d white vertices labeled Φ1 , . . . , Φd
and d black vertices labeled Ψ1 , . . . , Ψd . The white vertices are arranged from left to right in a horizontal line in
numerical order, and the black vertices are likewise placed above them. If (LI )i j is non-zero, an edge of color I is
drawn from vertex Φi to vertex Ψj , and is solid if (LI )i j is 1, and dashed if it is -1. See Figure 2.
Ψ1

Ψ2

Ψ3

Ψ4

Φ1

Φ2

Φ3

Φ4

L1
L2
L3
L4

black
red
green
blue

Figure 2. An Adinkra with N = 4 and d = 4, illustrating the LI matrices given in (6) in Section 2.
The lower four vertices are bosons, and the top four vertices are fermions. The colors correspond to
each of the LI according to the table on the right.
Adinkras in general may have bosons and fermions at many different levels, recording the engineering dimension
of each vertex, but in our case, these are kept at two levels. Such two-level Adinkras are called valise Adinkras.
Adinkras have been classified in a series of works.6–11, 28–30, 32 The first step in this classification is the Hamming
cube, which is the 1-skeleton of the N -dimensional cube [0, 1]N . As a graph, the vertices are N -tuples of 0’s and
1’s, and edges connect vertices that differ in precisely one coordinate. We color each such edge by color I if the Ith
coordinate is the one that differs. A vertex is a boson if the number of 1’s is even, and a fermion otherwise.
According to the classification of Adinkras, each Adinkra is a disjoint union of quotients of N -dimensional Hamming cubes by doubly even codes of length N .10 A doubly even code of length N is a subgroup of Z2 N so that the
number of 1s in each element is a multiple of 4.
One caution, however: in this classification, the graphs are abstract, and are considered equivalent up to isomorphism. But for classifying sets of LI matrices, we must number the bosons and fermions 1 through d. In particular,
if we renumber the vertices, we may end up with the same Adinkra, but different sets of LI matrices. A discussion
on the meaning of this difference is relegated to Section 6.

5

2. VM3 and the Vierergruppe
As described in the Introduction, an exhaustive computer search found six sets of permutation matrices that come
from LI matrices with N = 4, d = 4.2 The sixth such set, called VM3 , is our starting point. The set of LI matrices
is as follows (this corresponds to the Adinkra in Figure 2).




1 0 0
0
0 −1 0 0
0 1 0
1 0 0 0 
0
3
3


LVM
=
LVM
=
1
2
0 0 −1 0  ,
0 0 0 −1 ,
(6)

3
LVM
3

0

0
0
=
1
0

0

0
0
0
1

0

1
0
0
0

−1


0
1
,
0

3
LVM
4

0

0

0
0
=
0
1

0

0


0
0 1
0 −1 0
.
−1 0 0
0
0 0

If we drop the signs, the result is a set of permutation matrices:



1 0 0 0
0
0 1 0 0
1
VM3
VM

v1 = |L1 | = 
v2 = |L2 3 | = 
0 0 1 0 ,
0
0 0 0 1
0



0 0 1 0
0
0 0 0 1

0
VM3
VM

v3 = |L3 | = 
v4 = |L4 3 | = 
1 0 0 0 ,
0
0 1 0 0
1
In disjoint cycle notation these permutations become:
v1 = ( ),

1

1
0
0
0

0
0
0
1

0
0
1
0

0
1
0
0


0
0
,
1
0

1
0
.
0
0

v2 = (1 2)(3 4),

v3 = (1 3)(2 4),

v4 = (1 4)(2 3).

One striking fact about this case is that v4 = v2 v3 = v3 v2 , v2 = v3 v4 = v4 v3 , and v3 = v2 v4 = v4 v2 , so that
V = {v1 , v2 , v3 , v4 } forms a subgroup of the symmetric group S4 , with the following multiplication table:
v1
v2
v3
v4

v1
v1
v2
v3
v4

v2
v2
v1
v4
v3

v3
v3
v4
v1
v2

v4
v4
v3
v2
v1

This V is abelian, and is isomorphic to Z2 × Z2 . It is a normal subgroup of S4 . It is in fact the famous Klein
Vierergruppe popularized by F. Klein in his 1884 text, Lectures on the Icosahedron and Equations of the Fifth
Degree.26 Among other possible descriptions, the Vierergruppe can be thought of as acting on a square by horizontal
reflection, vertical reflection, and rotation by 180 degrees around the center (which is the composition of both
reflections), as shown in Figure 3. An alternative point of view is that the Vierergruppe is the group of translations
modulo 2: add an ordered pair of integers (a, b) and reduce both coordinates modulo 2. This can be put in a physical
context if we imagine that the square is a part of an infinite two dimensional square lattice, which is periodic in both
the horizontal and vertical directions by translations, and the Vierergruppe is what happens when we translate by
half a period.
2.1. GR(4, 4) and the Vierergruppe
We now consider more general isoscalar supermultiplets with N = 4, d = 4, from the Adinkra perspective. The
Hamming cube {0, 1}4 has 24 = 16 vertices, so d = 8 bosons and 8 fermions. In order to get the minimal d = 4, we
need to quotient by a doubly even code. There is only one non-trivial doubly even code:23
d4 = {(0, 0, 0, 0), (1, 1, 1, 1)}.

6

..
t4
..
←→
..v2
..
..
x
..
yv3
.....................
տ
ր
ւ
ց
.
v1 ∼ I
... v4
..
..
t2
1 t
.
3 t

Figure 3. A square, regarded as a two-dimensional affine space over the field Z2 , i.e., the fundamental domain in a square lattice. The Vierergruppe V may then be regarded as the group of
translations modulo 2, or equivalently of the indicated reflections.
It is precisely by quotienting the Hamming cube by this code that we have an Adinkra with d = 4 bosons and d = 4
fermions.
Therefore all the valise Adinkras of GR(4, 4) look the same, if we ignore the dashings. The only issue, then, is
identifying which boson is Φ1 , which one is Φ2 , and so on, and which fermion is Ψ1 , which one is Ψ2 , and so on. The
choice for VM3 is one such choice. The choice for the others involves a different ordering of the bosons and fermions,
which, relative to the choice for VM3 , is a permutation σ of the bosons and a permutation τ of the fermions.
Thus, if {L1 , L2 , L3 , L4 } satisfy the GR(4, 4) equations in (1), then there are permutations σ and τ so that
{|L1 |, . . . , |L4 |} = {σv1 τ, . . . , σv4 τ }. In the language of cosets, there are permutations σ and τ so that {|L1 |, . . . , |L4 |} =
σV τ .
Since V is a normal subgroup of S4 , we have σV τ = στ V = πV , where we define π = στ . We have thus proved:
Theorem 1. For GR(4, 4), sets of permutations {|L1 |, . . . , |L4 |} are left cosets of the Vierergruppe V in S4 .
The set of left cosets of V is S4 /V ∼
= S3 . Therefore there are six choices for {|L1 |, . . . , |L4 |}, one for each element
of S3 :

(7)

VM3 =
V
VM2 = (1 2)V
VM1 = (1 3)V
VM = (2 3)V
CM = (1 2 3)V
TM = (1 3 2)V

= {( ), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)},
= {(1 2), (3 4), (1 3 2 4), (1 4 2 3)},
= {(1 3), (1 2 3 4), (2 4), (1 4 3 2)},
= {(2 3), (1 3 4 2), (1 2 4 3), (1 4)},
= {(1 2 3), (1 3 4), (2 4 3), (1 4 2)}
= {(1 3 2), (2 3 4), (1 2 4), (1 4 3)}.

Here we have added the notation for these six types from Ref. 2: CM , VM , and TM are dimensional reductions of
the 4d, N = 1 chiral, vector, and tensor supermultiplets, respectively, and VM1 , VM2 , and VM3 are the other types.
Thus we have six choices for the {|L1 |, . . . , |L4 |}. Each of these six choices correspond to many sets of signed
permutations {L1 , . . . , L4 }, as we will explain in the following section.
2.2. Choosing signs
To find how many sets {L1 , . . . , LN } correspond to a set of permutations {|L1 |, . . . , |LN |}, we have the following
Lemma:
Lemma 2. If the {L1 , . . . , LN } satisfy the Garden Algebra (1), and describe a connected Adinkra, with code C. Then
there are
(8)

22d−1 · |C|

choices for Σ1 , . . . , ΣN so that {Σ1 L1 , . . . , ΣN LN } also satisfy the Garden Algebra. Here, |C| means the number of
elements of the code C.
Proof. Suppose {L1 , . . . , LN } is a set of d × d signed permutation matrices satisfying (1). Now, given a boson or a
fermion, we can replace it with its negative. On the level of LI matrices, this means multiplying the corresponding
row (resp. column) of all of the LI matrices by −1. On the level of Adinkras, this takes all solid edges incident to

7

the corresponding vertex and replaces them with dashed edges, and replaces all dashed edges incident to that vertex
and replaces them with solid edges. This possibility was explained in Ref. 14, and was formalized in Refs. 11, 12, 35,
where it was called vertex switching. By composing these, we get 22d vertex switches, and, assuming the Adinkra
is connected, we get the same dashing if and only if it is all of the bosons and all of the fermions that are vertex
switched. Therefore there are 22d−1 sets of {L1 , . . . , LN } that are obtained in this way.
The choices of signs for the {LI } matrices modulo vertex switching is in bijection with the code itself.11, 35 The
lemma follows.

In the case of GR(4, 4), there are
27 · 2 = 256
possibilities for the sign for each of the six sets of permutation matrices. Overall, then, there are
6 · 256 = 1536
choices for the {L1 , . . . , L4 } matrices satisfying the GR(d, N ) algebra. This was a fact first computed by exhaustive
computer search in Ref. 2, but now we see the mathematical structure that gives rise to this fact.
Our approach followed the following steps.
• Deal with the permutations.
– Choose a canonical set {L1 , . . . , L4 } of matrices satisfying the GR(d, N ) algebra, and take the corresponding set of permutations. A good choice is available: VM3 , whose set of permutations is V , the
Vierergruppe.
– Since V is a subgroup, observe that every numbered N = 4 valise Adinkra is related to this one via
double cosets.
– Since V is normal, observe that these double cosets can be described as left cosets.
– Find all left cosets of V , which is S4 /V .
• Multiply by (8) in Lemma 2 to find the total number of sets of {L1 , . . . , L4 } matrices.
2.3. Duality
One of the points of interest in Ref. 2 was a certain duality operation, which sends each LI to RI = LI T = LI −1 .
Some collections {L1 , . . . , LN } are preserved under this operation; that is,
{L1 −1 , . . . , L4 −1 } = {L1 , . . . , L4 }.
These are called self-dual. Note that under this operation the LI are not necessarily equal to their inverses; all we
require is that the inverse of each of the LI is another (possibly the same) LI within the same collection.
In order for a set {L1 , . . . , L4 } to be self-dual, it is necessary that their corresponding permutation set {|L1 |, . . . , |L4 |}
be self-dual. That is,
{|L1 |−1 , . . . , |L4 |−1 } = {|L1 |, . . . , |L4 |}.
The permutation sets that are self-dual were found in Ref. 2 by direct computation. Here we see that the coset
notation can reproduce these findings easily. As before, we write
σV = {|L1 |, . . . , |L4 |}
and then we require (σV )−1 = σV .
Now (σV )−1 = V −1 σ −1 = V σ −1 = σ −1 V , where we have used the fact that V is normal. Therefore, σV is
self-dual if and only if σV is an element of order 1 or 2 in S4 /V ∼
= S3 .

8

Hence the following are self-dual:
VM3 =
V
VM2 = (1 2)V
VM1 = (1 3)V
VM = (2 3)V

(9)

= {( ), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)},
= {(1 2), (3 4), (1 3 2 4), (1 4 2 3)},
= {(1 3), (1 2 3 4), (2 4), (1 4 3 2)},
= {(2 3), (1 3 4 2), (1 2 4 3), (1 4)}.

This duality also swaps the following:
CM = (1 2 3)V = {(1 2 3), (1 3 4), (2 4 3), (1 4 2)},
TM = (1 3 2)V = {(1 3 2), (2 3 4), (1 2 4), (1 4 3)}.

(10)

This reproduces the result in Ref. 2, together with the fact that in VM3 , each element is itself self-dual.
In turn, in each of VM, VM1 and VM2 , two of the elements are of order-2 and self-dual, while duality exchanges
the remaining two (order-4) elements. For example,
VM1 = {(1 3), (1 2 3 4), (2 4), (1 4 3 2)} x
yL2 ↔L4
7→ {(1 3), (1 4 3 1), (2 4), (1 1 3 4)}

(11)

so that in VM1 , duality effectively swaps the action of the corresponding supersymmetries. Since the same four
supersymmetries thereby act differently on VM1 and on its dual, using both of these types of supermultiplets jointly
in a model will provide for a richer dynamics than using only one of the two types; they are “usefully distinct”,22
not unlike the better known example of chiral and twisted chiral superfields in 1+1-dimensional spacetime.15, 16

3. N = 8
Many of the ideas from N = 4, d = 4 also work for N = 8, d = 8. The reader can check that for N = 8, the
minimal number for d (the number of bosons), according to (2), is d = 8. The Hamming cube {0, 1}8 has 28 = 256
vertices, so 128 bosons and 128 fermions, but by quotienting by a code of size 24 = 16, we will get d = 8 bosons and
d = 8 fermions. Indeed, the unique23 maximal doubly even code for N = 8 is e8 , which is generated by the rows of
the matrix:5


0 1 1 1 1 0 0 0
 1 0 1 1 0 1 0 0 

e8 = 
 1 1 0 1 0 0 1 0 
1 1 1 0 0 0 0 1
The code consists of all linear combinations of these four rows, so has 24 = 16 elements.

Ψ1

Ψ2

Ψ3

Ψ4

Ψ5

Ψ6

Ψ7

Ψ8

Φ1

Φ2

Φ3

Φ4

Φ5

Φ6

Φ7

Φ8

L1
L2
L3
L4
L5
L6
L7
L8

black
red
green
blue
orange
purple
yellow
brown

Figure 4. An Adinkra with N = 8 and d = 8.
5 The columns of this code have been permuted from the description of e on p. 373 of Ref. 23 for unimportant, but notationally
8

b3 ,
convenient, reasons. This is a description that is closer to the version found on p. 6 of the same reference, where it is called H
the Hamming (8, 4) code. The notation e8 relates to the lattice E8 , which, by Construction A, involves taking the integer 8-tuples
whose reduction modulo 2 is in the code. This, in turn, relates to the Lie group E8 whose roots are the nonzero lattice points
closest to the origin.5

9

An example of an Adinkra with N = 8, d = 8 is shown in Figure 4. This provides the following permutations:
a1 = |L1 | = ( ),
a2 = |L2 | = (1 2)(3 4)(5 6)(7 8),
a3 = |L3 | = (1 3)(2 4)(5 7)(6 8),
a4 = |L4 | = (1 5)(2 6)(3 7)(4 8),

(12)

a5 = |L5 | = (1 8)(2 7)(3 6)(4 5),
a6 = |L6 | = (1 7)(2 8)(3 5)(4 6),
a7 = |L7 | = (1 6)(2 5)(3 8)(4 7),
a8 = |L8 | = (1 4)(2 3)(5 8)(6 7).

Again, this set A = {a1 , . . . , a8 } is actually a group, and is isomorphic to Z2 × Z2 × Z2 . It is a subgroup of S8 , just
as V was a subgroup of S4 , but note that this time, A is not a normal subgroup.
7t
✑
3 t✑✑

t8
✑
4t✑✑

5t
✑
✑
1 t✑

t6
✑
✑
t✑
2

Figure 5. A cube. This should be considered a three-dimensional affine space over the field Z2 .
The group A should be thought of as translations modulo 2.
As with the Vierergruppe, these elements can be described in terms of the cube in Figure 5. More specifically, a2 ,
a3 , and a4 are reflections in planes perpendicular to the faces, and the others are compositions of these. An alternative
interpretation is that the elements of A are precisely the eight translations modulo 2 of a three dimensional affine
space defined over Z2 , or if the reader prefers, translations of a periodic cubical lattice by half periods.
Comparing Figures 3 and 5, it is clear that the Vierergruppe has multiple images within the group A, corresponding
to the multiple ways in which the N = 4 supersymmetry algebra may be embedded in the N = 8 algebra.
Again, since there is only one maximal doubly even code for N = 8, every numbered valise corresponds to A with
a relabeling of the bosons and fermions.10 If σ and τ are the relabeling of the bosons and the fermions, respectively,
then the LI matrices are of the form
σAτ.
This can be written
στ (τ −1 Aτ )
or
πB
where π = στ ∈ S8 and B is a conjugate subgroup to A in S8 .
Thus, we have:
Theorem 3. For GR(8, 8), sets of permutations {|L1 |, . . . , |L8 |} are left cosets of conjugates of A in S8 .
To count these sets of permutations, we need to count the conjugates of A in S8 , and then count the left cosets of
these conjugates.
To determine the set of conjugates to A, we let S8 act on the set of conjugate subgroups of A by conjugation. The
stabilizer of this action is N (A), the normalizer of A in S8 .

10

Lemma 4. The normalizer of A in S8 is the group of non-degenerate affine transformations
(13)
f (~x) = L~x + ~t,
where L is a 3 × 3 non-degenerate matrix over Z2 and ~t is a translation vector in Z2 3 .
A 3 × 3 non-degenerate matrix over Z2 is an element of GL3 (Z2 ), and since the determinant is an element of Z2
and is non-zero, it must be 1. So GL3 (Z2 ) = SL3 (Z2 ), which is the second smallest non-cyclic simple group, with
order 168.6 In this way the set of affine transformations forms a semidirect product of A and SL3 (Z2 ):
N (A) = A ⋊ SL3 (Z2 ).
Proof. For a permutation f : A → A to be in the normalizer of A means that for every y ∈ A, there is a y ′ ∈ A so
that for all x ∈ A,
f (f −1 (x) + y) = x + y ′ .

(14)

It is straightforward to see that functions f of the form in (13) satisfy this equation.
Conversely, suppose f is a permutation that satisfies (14). Let x0 = f −1 (~0). Define
g(x) = f (x + x0 ).
Then g(~0) = f (x0 ) = ~0. Computing the inverse of g we get:
g −1 (x) = f −1 (x) − x0
and then we see that
g(g −1 (x) + y), = f (f −1 (x) − x0 + y + x0 ),
= f (f −1 (x) + y),
= x + y′.
Therefore g satisfies (14) with g(~0) = ~0.
Letting x = ~0 in this equation gives
g(y) = y ′
so we get
g(g −1 (x) + y) = x + g(y)
and letting u = g

−1

(x) we get

g(u + y) = g(u) + g(y)
so that g is a group homomorphism. For vector spaces over Z2 , this is equivalent to being a linear transformation.
Therefore
g(x) = Lx
and
f (x) = g(x − x0 ) = Lx − Lx0
which is an affine transformation.

The group A has 8 elements, and the group SL3 (Z2 ) has 168 elements,3, 34 so the normalizer has 8 · 168 = 1344
elements. Therefore the number of conjugate subgroups of A in S8 is 8!/1344 = 30.
For each conjugate subgroup, the number of left cosets is 8!/8 = 7! = 5040. Overall, then, there are 5040 · 30 =
151,200 such choices of {|L1 |, . . . , |L8 |} matrices.
The formula in Lemma 2 provides the number of sign matrices as
216−1 · 24 = 219 = 524,288.
Overall, then, the number of {L1 , . . . , L8 } sets is
151,200 · 524,288 = 79,272,345,600.
6 This fact, and other details about this group can be found in Ref. 3 or online in Ref. 34, where this group is called L (2).
3

11

N =4
N =8
conjugates
1
30
6
5040
left cosets each
6
151,200
{|L1 |, . . . , |LN |}
256
524,288
signs
{L1 , . . . , LN }
1536 79,272,345,600

(15)

To find the 30 conjugates of A, we first note that conjugation by a permutation is simply letting the permutation
act on the labels of the cube. The idea is to pick one such labeling for every conjugate, so we use N (A) = A⋊SL3 (Z2 )
to put the cube in a “canonical” position.
For instance, we can use translation by A to put vertex 1 at the lower front left (the “origin” of Z2 3 ). We can
then use a linear transformation to bring vertex 2 to the lower front right, and vertex 3 to the upper front left. The
result is the cube in Figure 6.

t
✑
✑
3 ✑
t

t
✑
✑
Xt✑

Yt
✑
✑
t
1 ✑

t
✑
✑
✑
t
2

Figure 6. Cube partly labeled. We put 1 at the “origin” and put 2 and 3 in standard basis position.
Positions X and Y are for reference in the discussion following.
At the next phase, we have two cases, depending on whether 5 is in position X or not. If 5 is not in position X,
we can use a linear transformation to bring it to position Y. Then the linear transformation is determined, and there
are 4! = 24 ways to distribute the other vertices. If 5 is in position X, then we can use a linear transformation to
bring 4 into position Y, and there are 3! = 6 ways to distribute the other vertices.
The resulting list of thirty cubes are shown in Figure 7. For each, the set of translations modulo 2 gives a conjugate
of A.
3.1. Duality
Again, as in N = 4, we seek to identify
{c1 , . . . , c8 }
that form a set of permutation matrices so that
{c1 −1 , . . . , c8 −1 } = {c1 , . . . , c8 }.
Since the former is described as
πB
for B a conjugate of A, we need
(16)

(πB)−1 = πB.

Now (πB)−1 = Bπ −1 , a right coset. So the condition that πB be self-dual implies that the right coset Bπ −1 is equal
to the left coset πB. Since B is not a normal subgroup, Bπ −1 is not always a left coset at all, but if it is one, it must
be equal to π −1 B, since they both contain π −1 and since left cosets of B partition S8 . Then π −1 , and therefore π,
is in N (B), the normalizer of B, and πB is an element of order 1 or 2 in N (B)/B.

12

7r

3✑
r✑

r8

4✑
r✑

8r

✑
3 r✑

r7

4✑
r✑

6r

✑
3 r✑

r8

✑
4r✑

8r

3✑
r✑

4✑
r✑

r6

6r

✑
3 r✑

r7

✑
4r✑

7r

3✑
r✑

r6

4✑
r✑

7r

✑
3 r✑

r8

✑
6r✑

8r

3✑
r✑

r7

6✑
r✑

4r

✑
3 r✑

r8

✑
6r✑

5r
5r
5r
5r
5r
5r
5r
5r
5r
r6
r7
r7
r8
r8
r4
r4
r7
r6
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑
r
r
r
r
r
r
r2✑ 1 r✑✑ r✑
2
2
2
2
2
2
2
2

r
1✑

8r

3✑
r✑

r4

6✑
r✑

4r

✑
3 r✑

r7

6✑
r✑

7r

✑
3 r✑

r4

✑
6r✑

6r

3✑
r✑

7✑
r✑

r8

8r

✑
3 r✑

r6

✑
7r✑

4r

3✑
r✑

r8

7✑
r✑

8r

✑
3 r✑

r4

✑
7r✑

4r

3✑
r✑

r6

7✑
r✑

6r

✑
3 r✑

r4

✑
7r✑

5r
5r
5r
5r
5r
5r
5r
5r
5r
r7
r8
r8
r4
r4
r6
r6
r8
r8
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑
r2✑ 1 r✑✑ r✑
r
r
r
r
r
r
2
2
2
2
2
2
2
2

r
1✑

6r

3✑
r✑

r7

8✑
r✑

7r

✑
3 r✑

r6

8✑
r✑

4r

✑
3 r✑

r7

✑
8r✑

7r

3✑
r✑

8✑
r✑

r4

4r

✑
3 r✑

r6

✑
8r✑

6r

3✑
r✑

r4

8✑
r✑

7r

✑
3 r✑

r8

✑
5r✑

8r

3✑
r✑

r7

5✑
r✑

6r

✑
3 r✑

r8

✑
5r✑

5r
5r
5r
5r
5r
5r
4r
4r
4r
r4
r6
r6
r7
r7
r6
r6
r7
r4
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑ 1 ✑
✑ ✑
✑ 1 r✑✑ r✑✑
r
r
r
r
r
r
r2✑ 1 r✑✑ r✑
2
2
2
2
2
2
2
2

r
1✑

8r

3✑
r✑

5✑
r✑

r6

6r

✑
3 r✑

r7

✑
5r✑

7r

3✑
r✑

r6

5✑
r✑

4r
4r
4r
r8
r8
r7
✑ ✑
✑ 1✑
r✑ ✑
r2✑
r2✑ 1 r✑✑ r✑
2

r
1✑

Figure 7. The 30 ways to label the cube, up to affine transformations. These correspond to the 30
conjugates of A in S8 .
Since there is an automorphism of S8 that sends A to B (namely, conjugation), we can study the normalizer of B
by studying the normalizer of A. For the rest of this discussion, we use A instead of B.
The quotient N (A)/A is SL3 (Z2 ). The identity is the only element of order 1, and there are 21 elements of order
2, all of them conjugate to each other in SL3 (Z2 ).3, 33
For instance, one of them is
0 1
 1 0
0 0

As a permutation this turns into


0
0 
1

π = (23)(67).
The corresponding left coset is
πa1 = (2 3)(6 7),
πa2 = (1 3 4 2)(5 7 8 6),
πa3 = (1 2 4 3)(5 6 8 7),
(17)

πa4 = (1 5)(2 7)(3 6)(4 8),
πa5 = (1 8)(2 6)(3 7)(4 5),
πa6 = (1 6 4 7)(2 8 3 5),
πa7 = (1 7 4 6)(2 5 3 8),
πa8 = (1 4)(5 8).

We see that πa1 , πa4 , πa5 , and πa8 all are self-dual, while πa2 and πa3 are duals of each other and πa7 and πa8 are
duals of each other.
There are 22 · 30 = 660 such self-dual πB classes. The 22 cosets of A that are self-dual are shown in Figure 8.
A similar list could be done for each of the other 29 conjugates of A. The remaining unsigned permutations form
75,270 dual pairs.
Again, each element in the 8-tiple of LI -matrices represented by the group A itself (12) is self-dual. In turn,
the 8-tiple (23)(67)A (17) also has order-4 elements, which are not self-dual; however, the dual of every element in

13

(23)(67)A is again an element in the same 8-tuple, so that this 8-tuple is self-dual. In particular, in this example we
have that duality swaps L2 ↔ L3 and L6 ↔ L7 . As with the N = 4 supermultiplets VM, VM1 and VM2 , this means
that the N = 8 supersymmetry action in the (23)(67)A 8-tuple differs from that in its dual, so that the (23)(67)A
supermultiplet and its dual are “usefully distinct.” An exhaustive characterization of the duality action7 within the
complete listing of 8-tuplets of LI -matrices realizing the GR(8, 8) algebra is clearly a finite, but formidable task and
beyond the scope of this article.


1
 0
0


0 0
1 0 
0 1
()




0 1 0
 1 0 0 
0 0 1
(23)(67)




0 0 1
 0 1 0 
1 0 0
(25)(47)




1 0 0
 0 0 1 
0 1 0
(35)(46)




1 0 0
 1 0 1 
1 1 0
(28)(35)




1 0 0
 1 1 0 
1 0 1
(28)(46)




0 1 1
 0 1 0 
1 1 0
(25)(38)




1 1 0
 0 1 0 
0 1 1
(38)(47)




1 0 1
 0 1 1 
0 0 1
(58)(67)






1 1 1
 0 1 0 
0 0 1
(34)(56)




1 1 1
 0 0 1 
0 1 0
(36)(45)




1 0 0
 1 1 1 
0 0 1
(24)(57)




0 0 1
 1 1 1 
1 0 0
(27)(45)




1 0 0
 0 1 0 
1 1 1
(26)(37)
















1 1 0
 0 1 0 
0 0 1
(34)(78)


1 0 1
 0 1 0 
0 0 1
(56)(78)


1 0 0
 0 1 1 
0 0 1
(57)(68)


1 0 0
 1 1 0 
0 0 1
(24)(68)


1 0 0
 0 1 0 
1 0 1
(26)(48)


0 1 1
 1 0 1 
0 0 1
(23)(58)

0 1 0
 1 0 0 
1 1 1
(27)(36)

1 0 0
 0 1 0 
0 1 1
(37)(48)

Figure 8. The 22 elements of N (A)/A of order 1 or 2, as elements of SL3 (Z2 ) and as permutations.
These correspond to self-dual left-cosets of A. For the other conjugates of A, there is a similar list.

4. Other values of N
For GR(4, 4) and GR(8, 8), we had d = dmin = N . This is also possible for N = 1 (where dmin = 1) and N = 2
(where dmin = 2), and in these cases, the same analysis works, although the result is rather trivial since there is only
one set of permutation matrices.
For other values of N , we must have d > N , and this approach does not so neatly characterize the sets of
permutation matrices {|L1 |, . . . , |LN |}.
For instance, if N = 3, then dmin = 4, the set {|L1 |, |L2 |, |L3 |} is never forms a group, or a coset of a group.
A more instructive example is N = 16. Here, dmin = 128, and furthermore there are two doubly even codes that
give this dmin : e8 ⊕ e8 and d16 + .8 The fact that there are two codes is not much of an obstacle: we analyze each case

7 For example, one can further partition the self-dual 8-tuples according to how many, or (in ordered 8-tuples) even precisely which

LI ’s are permuted; this determines which of the corresponding supermultiplets are “usefully distinct.” Similar refinement in this
combinatorial partitioning can also be done within the dual pairs.
8 See pp. 366–373 of Ref. 23 in the classification of self-dual codes, noting that doubly even codes are self-dual codes of Type II. By
Construction A, the lattices that correspond to these are the E8 × E8 and SO(32) lattices well known to string theorists.

14

separately. For instance, suppose

0
 1

 1


 1

 0

 0

 0
0

we start with e8 ⊕ e8 , which has, as generators, rows of the matrix:

1 1 1 1 0 0 0 0 0 0 0 0 0 0 0
0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 

1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 


1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 

0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 

0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 

0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 
0 0

0 0

0 0

0

1 1

1 0

0 0

0 1

There are indeed Valise Adinkras for both of these codes. For example, one such choice involves permutations
such as these:

(18)

s1
s2
s3
s4
s9
s10
s11
s12
s5
s6
s7
s8

= ( ),
= (1 2)(3 4)(5 6)(7 8) · · · (125 126)(127 128),
= (1 3)(2 4)(5 7)(6 8) · · · (125 127)(126 128),
= (1 5)(2 6)(3 7)(4 8) · · · (123 127)(124 128),
= (1 9)(2 10)(3 11)(4 12) · · · (119 127)(120 128),
= (1 17)(2 18)(3 19)(4 20) · · · (111 127)(112 128),
= (1 33)(2 34)(3 35)(4 36) · · · (95 127)(96 128),
= (1 65)(2 66)(3 67)(4 68) · · · (63 127)(64 128),
= s2 s3 s4 ,
s13 = s10 s11 s12 ,
= s3 s4 ,
s14 = s9 s11 s12 ,
= s2 s4 ,
s15 = s9 s10 s12 ,
= s2 s3 ,
s16 = s9 s10 s11 .

Even though this set contains the identity, s1 = ( ), {s1 , . . . , s16 } is not a group: for instance, s2 s9 is not si for
any i. Thus, the approach in this paper is not sufficient to understand these more general cases. Recent work by the
fourth author of this paper suggests another view of these groups that allow generalization to other cases, and will
be addressed in a subsequent paper.
There may be other approaches to doing the counting: Yan X. Zhang has a promising work in progress that takes
a very different approach to this kind of count.36

5. One, two, four, eight
The fact that this approach works for GR(1, 1), GR(2, 2), GR(4, 4), and GR(8, 8) is reminiscent of the existence
of real division algebras in precisely the dimensions 1, 2, 4, and 8: the reals, the complex numbers, the quaternions,
and the octonions.24, 25 Recall that for the division algebras, we lose something each time we go up in dimension:
first order, then commutativity, then associativity. Carrying this procedure further gives algebras that do not have
inverses.4, 13
Likewise, comparing the set {|LI |} for various GR(N, N ): for GR(1, 1) this set is trivial. For GR(2, 2) it becomes
non-trivial but is the entire symmetric group S2 . For GR(4, 4) it is no longer all of S4 , but is a coset of a normal
subgroup. For GR(8, 8), it is a coset of a subgroup of S8 but the subgroup is not a normal subgroup. Carrying this
procedure for higher N , the set {|LI |} is not a coset of a subgroup at all.
The classification of division algebras has been tied to supersymmetry for some time, with the work of Kugo and
Townsend27 and work of Baez and Huerta,1 to name but a few for starters. Further work is needed to elucidate the
relationship between those ideas and the present work.

15

6. The meaning of labeling vertices
In Section 1.4, we mentioned the distinction between classifying sets of LI matrices and classifying Adinkras. This
was important in Section 2.1, where we classified GR(4, 4) algebras. The main difference is that with Adinkras, if
we rearrange the bosons and fermions, we would consider the result to be the same Adinkra. But with LI matrices,
since we have to number the bosons and number the fermions, the result may be a different set of LI matrices. The
intuition might be as follows: each boson and each fermion is numbered. We might use the numbers 1, . . . , d for
the bosons, and re-use them 1, . . . , d for the fermions. Nothing particularly special is assumed about the relation
between a boson and a fermion that is given the same number label.
In addition, we can reverse the sign on a vertex, and the result will reverse the dashing on all edges incident to
that vertex. The result gives an equivalent situation as far as supermultiplets are concerned, but it is still a different
set of LI matrices.
These two issues can be captured by two signed permutation matrices X and Y . These can be used to modify
the LI matrices to find L′I = XLI Y which also satisfy the above GR(d, N ) algebra, and therefore provides another
supermultiplet. The classification of Adinkras assumed that sets of LI matrices that are related in this way were
deemed to be equivalent. But in this paper, this equivalence is not taken.
This equivalence is easy to defend, given that the isoscalar supermultiplets obtained from these LI matrices would
only be modified by relabeling which field is which, and replacing fields with their negatives. This seems like pretty
much the same supermultiplet. Why, then, should we care about the classification without this equivalence?
One answer is that the counting of the LI matrices is a straightforward mathematical question, independent of
the physics, and as such, deserves an answer.
Alternately, we could note that there may be various structures that distinguish various bosons from each other or
various fermions from each other. There could be a symmetry group that relates some bosons together but not others.
This symmetry group may arise from a higher-dimensional supermultiplet that has been dimensionally reduced to
one dimension, for instance. Also, some of these bosons might be treated differently in some symmetry-breaking
mechanism such as if these bosons were in an asymmetric external field. The extreme case in these situations is for
each boson and each fermion to be treated and labeled differently, which is the situation in the problem we have
posed and addressed herein.

7. Acknowledgments
This work was partially supported by the National Science Foundation grant PHY-13515155. S.J.G. acknowledges
the generous support of the Roth Professorship and the very congenial and generous hospitality of the Dartmouth
College physics department. This research was also supported in part the University of Maryland Center for String
& Particle Theory (CSPT).

References
[1] J. C. Baez and J. Huerta. Division algebras and supersymmetry I. In R. Doran, G. Friedman, and J. Rosenberg, editors, Superstrings,
Geometry, Topology, and C*-algebras, volume 81 of Proc. Symp. Pure Math., pages 65–80. AMS, 2010, arxiv:0909.0551.
[2] I. Chappell II, S. J. Gates, Jr., and T. Hübsch. Adinkra (in)equivalence from coxeter group representations: A case study. Int. J.
Mod. Phys. A, 29:1450029, 2014, arxiv:1210.0478.
[3] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson. Atlas of Finite Groups. Clarendon Press, 1986.
[4] J. H. Conway and R. Guy. The Book of Numbers. Copernicus, 1995.
[5] J. H. Conway and N. J. A. Sloane. Sphere Packings, Lattices and Groups. Springer, 3rd edition, 1999.
[6] C. F. Doran, M. G. Faux, S. J. Gates, Jr., T. Hübsch, K. M. Iga, and G. D. Landweber. On graph-theoretic identifications of
Adinkras, supersymmetry representations and superfields. Int. J. Mod. Phys., A22(5):869–930, 2007, math-ph/0512016.
[7] C. F. Doran, M. G. Faux, S. J. Gates, Jr., T. Hübsch, K. M. Iga, and G. D. Landweber. Relating doubly-even error-correcting codes,
graphs, and irreducible representations of N -extended supersymmetry. In F. Liu, editor, New Advances in Applied and Computational
Mathematics, Hauppauge, NY, 2007. Nova Science Publishers, Inc., arXiv:0806.0051v1.
[8] C. F. Doran, M. G. Faux, S. J. Gates, Jr., T. Hübsch, K. M. Iga, and G. D. Landweber. Adinkras and the dynamics of superspace
prepotentials. Adv. S. Th. Phys., 2(3):113–164, 2008, hep-th/0605269.

16

[9] C. F. Doran, M. G. Faux, S. J. Gates, Jr., T. Hübsch, K. M. Iga, and G. D. Landweber. A superfield for every dash-chromotopology.
Int.J.Mod.Phys., A24:5681–5695, 2009, arxiv:0901.4970.
[10] C. F. Doran, M. G. Faux, S. J. Gates, Jr., T. Hübsch, K. M. Iga, G. D. Landweber, and R. Miller. Codes and supersymmetry in one
dimension. Adv. Theor. Math. Phys., 15(6):1909–1970, 2011.
[11] C. F. Doran, K. Iga, and G. D. Landweber. An application of Cubical Cohomology to Adinkras and Supersymmetry Representations.
Unpublished, 2012, arXiv:1207.6806.
[12] B. L. Douglas, S. J. Gates, Jr., B. L. Segler, and J. B. Wang. Automorphism properties and classification of adinkras. Adv. Math.
Phys., 2015:584542 (17), 2015. See also B. L. Douglas, S. J. Gates, Jr. and J. B. Wang: “Automorphism Properties of Adinkras,”
http://arxiv.org/abs/1009.1449 .
[13] H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J. Neukirch, A. Prestel, R. Remmert, J. H. Ewing, and
H. Orde. Numbers. Springer, 2008.
[14] M. Faux and S. J. Gates, Jr. Adinkras: A graphical technology for supersymmetric representation theory. Phys. Rev. D (3), 71:065002,
2005, hep-th/0408004.
[15] S. J. Gates, Jr. Superspace formulation of new nonlinear sigma models. Nucl. Phys., B238:349–366, 1984.
[16] S. J. Gates, Jr., C. M. Hull, and M. Roček. Twisted multiplets and new supersymmetric nonlinear sigma models. Nucl. Phys.,
B248:157, 1984.
[17] S. J. Gates, Jr., W. Linch, J. Phillips, and L. Rana. The fundamental supersymmetry challenge remains. Gravit. Cosmol., 8(1-2):96–
100, 2002, hep-th/0109109.
[18] S. J. Gates, Jr., W. D. Linch, III, and J. Phillips. When superspace is not enough. Unpublished, November 2002, hep-th/0211034.
[19] S. J. Gates, Jr. and L. Rana. Tuning the RADIO to the off-shell 2D fayet hypermultiplet problem. Unpublished, hep-th/9602072.
[20] S. J. Gates, Jr. and L. Rana. A theory of spinning particles for large N -extended supersymmetry. Phys. Lett. B, 352(1-2):50–58,
1995, hep-th/9504025.
[21] S. J. Gates, Jr. and L. Rana. A theory of spinning particles for large N -extended supersymmetry. II. Phys. Lett. B, 369(3-4):262–268,
1996, hep-th/9510151.
[22] T. Hübsch. Linear and chiral superfields are usefully inequivalent. Class. Quant. Grav., 16:L51–L54, 1999, hep-th/9903175.
[23] W. C. Huffman and V. Pless. Fundamentals of Error-Correcting Codes. Cambridge Univ. Press, 2003.
[24] A. Hurwitz. Über die composition der quadratischen formen von beliebig vielen variabeln. Goett. Nachr., pages 309–316, 1898.
[25] A. Hurwitz. Über die komposition der quadratischen formen. Matth. Ann., 88:1–25, 1923.
[26] F. Klein. Lectures on the Icosahedron. Dover Phoenix Editions, 2003 (reprint of 1884).
[27] T. Kugo and P. K. Townsend. Supersymmetry and the division algebras. Nucl. Phys. B, 221(2):357–380, 1983.
[28] Z. Kuznetsova, M. Rojas, and F. Toppan. Classification of irreps and invariants of the N -extended supersymmetric quantum mechanics. JHEP, 03:098, 2006, hep-th/0511274.
[29] Z. Kuznetsova and F. Toppan. Refining the classification of the irreps of the 1d n-extended supersymmetry. Mod. Phys. Lett. A, 23,
2008, hep-th/0701225.
[30] A. Pashnev and F. Toppan. On the classification of N -extended supersymmetric quantum mechanical systems. J. Math. Phys.,
42:5257–5271, 2001, hep-th/0010135.
[31] S. Randall. Sinister or rectus? Unpublished, undergraduate research project at University of Maryland, 2013.
[32] F. Toppan. Classifying N -extended 1-dimensional supersymmetric systems. Unpublished, 2001, hep-th/0109047.
[33] Wikipedia. P SL(2, 7) wikipedia page. https://en.wikipedia.org/wiki/PSL%282,7%29#Properties.
[34] R. Wilson, P. Walsh, J. Tripp, I. Suleiman, R. Parker, S. Norton, S. Nickerson, S. Linton, J. Bray, and R. Abbott. Atlas of finite
groups online. http://brauer.maths.qmul.ac.uk/Atlas/v3/lin/L27/.
[35] Y. X. Zhang. Adinkras for mathematicians. Transactions of the American Mathematical Society, 366(6):3325–3355, 2014.
[36] Y. X. Zhang. Personal communication, 2016.

