Next Article in Journal
Normalized Weighted Bonferroni Harmonic Mean-Based Intuitionistic Fuzzy Operators and Their Application to the Sustainable Selection of Search and Rescue Robots
Next Article in Special Issue
Cosmological Probes of Supersymmetric Field Theory Models at Superhigh Energy Scales
Previous Article in Journal
A Novel Computational Technique for Impulsive Fractional Differential Equations
Previous Article in Special Issue
Deformed N = 8 Supersymmetric Mechanics
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

4D, N = 1 Matter Gravitino Genomics

Department of Physics, Brown University, Box 1843, 182 Hope Street, Providence, RI 02912, USA
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(2), 217; https://doi.org/10.3390/sym11020217
Submission received: 21 December 2018 / Revised: 21 January 2019 / Accepted: 6 February 2019 / Published: 13 February 2019
(This article belongs to the Special Issue Supersymmetric Field Theory 2018)

Abstract

:
Adinkras are graphs that encode a supersymmetric representation’s transformation laws that have been reduced to one dimension, that of time. A goal of the supersymmetry “genomics” project is to classify all 4D, N = 1 off-shell supermultiplets in terms of their adinkras. In previous works, the genomics project uncovered two fundamental isomer adinkras, the cis- and trans-adinkras, into which all multiplets investigated to date can be decomposed. The number of cis- and trans-adinkras describing a given multiplet define the isomer-equivalence class to which the multiplet belongs. A further refining classification is that of a supersymmetric multiplet’s holoraumy: the commutator of the supercharges acting on the representation. The one-dimensionally reduced, matrix representation of a multiplet’s holoraumy defines the multiplet’s holoraumy-equivalence class. Together, a multiplet’s isomer-equivalence and holoraumy-equivalence classes are two of the main characteristics used to distinguish the adinkras associated with different supersymmetry multiplets in higher dimensions. This paper focuses on two matter gravitino formulations, each with 20 bosonic and 20 fermionic off-shell degrees of freedom, analyzes them in terms of their isomer- and holoraumy-equivalence classes, and compares with non-minimal supergravity which is also a 20 × 20 multiplet. This analysis fills a missing piece in the supersymmetry genomics project, as now the isomer-equivalence and holoraumy-equivalence for representations up to spin two in component fields have been analyzed for 4D, N = 1 supersymmetry. To handle the calculations of this research effort, we have used the Mathematica software package called Adinkra.m. This package is open-source and available for download at a GitHub Repository. Data files associated with this paper are also published open-source at a Data Repository also on GitHub.
PACS:
11.30.Pb; 12.60.Jv
MSC:
81T60; 20C35

1. Introduction

Generally, there are more representations of supersymmetry (SUSY) in lower dimensions than there are in higher dimensions. Given a particular higher dimensional SUSY representation, one can always reduce the representation to lower dimension simply by considering the fields of the multiplet to depend only on the subset of coordinates required. For instance, in efforts known as “supersymmetric genomics” [1,2,3], a 4D SUSY multiplet is reduced to 1D by considering the fields in the multiplet to depend only on time τ . This is known as reducing to the 0-brane and the transformation laws for the 4D, N = 1 chiral multiplet, for instance, when reduced to the 0-brane can be entirely encoded in a graph known as an adinkra [4,5,6,7,8,9,10,11], as shown in Figure 1. The precise meaning of the lines in the adinkra diagram are described in Section 2. Adinkras have been and continue to be used to discover new representations of supersymmetry: the 4D, N = 2 off-shell relaxed extended tensor mutliplet [12] and a finite representation of the hypermultiplet [13], for instance.
In previous supersymmetric genomics works [1,2,3], the authors found adinkra representations for the 4D, N = 1 chiral multiplet (CM), vector multiplet (VM), tensor multiplet (TM), complex linear superfield multiplet (CLS), old-minimal supergravity (mSG), non-minimal supergravity ( m SG ), and conformal supergravity (cSG). They found these representations to decompose into a number n c of fundamental cis-adinkras and a number n t of trans-adinkras, as shown in Figure 2 and tabulated in Table 1 where χ 0 = n c n t .
Notice in Table 1 that the values of n c and n t only serve to partially differentiate the various multiplets at the adinkra level. Specifically, the CM is seen to be distinct from the VM and TM, but the VM and TM are indistinguishable based solely on their cis/trans adinkra content. Similarly, there is no difference between CLS and mSG at the adinkra-level. Another tool is needed to completely sort this out.
Dimensional enhancement, or SUSY holography, is the effort to build higher dimensional SUSY representations from lower dimensional representations [14,15,16]. To aid in sorting out which of the multitude of lower dimensional systems are candidates for dimensional enhancement, a tool known as holoraumy is being developed [17,18,19,20,21,22,23,24,25,26,27]. On the 0-brane with N SUSY transformations D I , holoraumy is defined as the commutator of two supersymmetric transformations D I acting on the bosons Φ or fermions Ψ of a particular representation
[ D I , D J ] Φ = 2 i B IJ Φ ˙ [ D I , D J ] Ψ = 2 i F IJ Ψ ˙ .
where a dot above a field indicates a time derivative, Φ ˙ = d Φ / d τ for example. Contrast holoraumy with the SUSY algebra, which is the anti-commutator of two SUSY transformations D I . A closed 1D SUSY algebra takes the following form on all fields
{ D I , D J } = 2 i δ IJ τ .
Holoraumy is the tool being developed to split the degeneracy of the cis- and trans-information, as shown in Table 1. For instance, holoraumy was first shown to separate the VM and TM at the adinkra level in [17,18]. To do so, a dot product-like “gadget” was introduced in [17,18] and studied further in [22,23,24,25,26].
In this paper, we further the supersymmetry genomics efforts by decomposing the two representations of 4D, N = 1 matter gravitino, one as described in [28,29,30] and the other as described in [31,32], in terms of the cis- and trans-adinkra content as well as their holoraumy. These multiplets have the same degrees of freedom (20 bosons and 20 fermions) as m SG [33], thus we compare their cis- and trans-adinkra and holoraumy to this multiplet as well. To the knowledge of the authors, this paper is the first time that the transformation laws for the two matter gravitino multiplets and m SG have each been written in terms of a one-parameter family of transformation laws that encodes a field redefinition of the auxiliary fermions that preserves the diagonal character of the Lagrangian. The parameter is discussed in [30], but the transformation laws described there are in terms of a specific value of the parameter. Whereas the cis- and trans-adinkra content are shown to be independent of this parameter, the holoraumy is not. Adinkras such as those in Figure 2 can be transformed amongst each other via signed permutations of the colors and/or nodes. For the adinkras in Figure 2, the group to perform these transformation is B C 4 : the group of signed permutations of four elements. Recently, B C 4 transformations between adinkras of different holoraumy-equivalence classes were worked out in [26] for adinkras such as those in Figure 2. In a sense, this paper is a sister paper of the recent work [26]: this paper reviews the status of SUSY genomics, focusing on 4D dynamics, whereas [26] reviews the status of SUSY holography, focusing on 1D dynamics. It is the view of at least one of the authors of this paper (KS) that building a complete picture of SUSY holography [14,15,16] would require efforts into SUSY genomics [1,2,3], enumeration techniques [34,35], and classification schemes [17,18,19,20,21,22,23,24,25,26,27]. The main results of the paper are as follows:
  • This paper presents the Majorana representation of the O ( 1 ) transformation laws of the multiplet described in [28,29,30]. The existence of these transformation laws is discussed in [28,29] as a submultiplet of the overarching S O ( 2 ) transformation laws. In [30], the O ( 1 ) submultiplet’s tranformation laws are presented in a Weyl representation. It is important to have a Majorana representation of component transformation laws for a multiplet to be decomposed as adinkras as in the previous genomics works [1,2,3].
  • The transformation laws for the two matter-gravitino multiplets and m SG are expressed in terms of a field redefinition parameter that preserves the diagonal character of the Lagrangian. The existence of this parameter is pointed out in [30]. As we plan to further SUSY genomics and holography research to higher spin multiplets, where this diagonal parameter continues to be present, it is important to understand this parameter’s significance at the adinkra level.
  • This paper demonstrates the utility of the new Mathematica package Adinkra.m (https://hepthools.github.io/Adinkra/). This package is available open-source and will be indispensable in future adinkra research.
  • The main purpose of the paper is the adinkranization of the two matter-gravitino multiplets, the calculation of their fermionic holoraumy matrices along with that of m SG , and the comparisons between these three multiplets via the gadget. In calculations of holoraumy and the gadget of these three multiplets, we see the presence of the diagonal Lagrangian parameter. The gadget results presented in this paper will provide a template for researching the significance of this parameter in future, higher spin investigations as pertaining to SUSY genomics and holography. The 20 × 20 multiplets investigated in this paper are the base of a tower of higher spin multiplets [36,37,38,39], thus they lay the foundation for future investigations of these higher spin multiplets.
This paper is organized as follows. In Section 2, we review adinkras. In Section 3, we review supersymmetry genomics. Section 4, Section 5 and Section 6 review the two matter gravitino multiplets and the m SG multiplet, expressed in terms of the one parameter diagonal Lagrangian family of transformations. Section 7 presents the adinkra and 1D holoraumy content of each of the 20 × 20 multiplets and makes comparisons via the gadget. For all gamma matrix conventions, we follow precisely the previous three supersymmetry genomics works [1,2,3].

2. Adinkra Review

Adinkras are graphs that encode supersymmetry transformation laws in one dimension (that of time τ ) with complete fidelity. Take for example four dynamical bosonic fields Φ i and four dynamical fermionic fields Ψ j ^ that depend only on time. Two distinct possible sets of supersymmetry transformation laws for Φ i and Ψ j ^ can be succinctly encoded as
D 1 Φ 1 = i Ψ 1 , D 2 Φ 1 = i Ψ 2 , D 3 Φ 1 = χ 0 i Ψ 3 , D 4 Φ 1 = i Ψ 4
D 1 Φ 2 = i Ψ 2 , D 2 Φ 2 = i Ψ 1 , D 3 Φ 2 = χ 0 i Ψ 4 , D 4 Φ 2 = i Ψ 3
D 1 Φ 3 = i Ψ 3 , D 2 Φ 3 = i Ψ 4 , D 3 Φ 3 = χ 0 i Ψ 1 , D 4 Φ 3 = i Ψ 2
D 1 Φ 4 = i Ψ 4 , D 2 Φ 4 = i Ψ 3 , D 3 Φ 4 = χ 0 i Ψ 2 , D 4 Φ 4 = i Ψ 1
and
D 1 Ψ 1 = Φ ˙ 1 , D 2 Ψ 1 = Φ ˙ 2 , D 3 Ψ 1 = χ 0 Φ ˙ 3 , D 4 Ψ 1 = Φ ˙ 4
D 1 Ψ 2 = Φ ˙ 2 , D 2 Ψ 2 = Φ ˙ 1 , D 3 Ψ 2 = χ 0 Φ ˙ 4 , D 4 Ψ 2 = Φ ˙ 3
D 1 Ψ 3 = Φ ˙ 3 , D 2 Ψ 3 = Φ ˙ 4 , D 3 Ψ 3 = χ 0 Φ ˙ 1 , D 4 Ψ 3 = Φ ˙ 2
D 1 Ψ 4 = Φ ˙ 4 , D 2 Ψ 4 = Φ ˙ 3 , D 3 Ψ 4 = χ 0 Φ ˙ 2 , D 4 Ψ 4 = Φ ˙ 1
where a dot above a field indicates a time derivative, Φ ˙ i = d Φ i / d τ for example. One set of transformation laws is encoded by the choice χ 0 = + 1 and another by χ 0 = 1 . For Equations (3) and (4), there is no possible set of field redefinitions for which the χ 0 = + 1 transformation laws reduce to the transformation laws for which χ 0 = 1 . Owing to an analogy to isomers in chemistry, in [1], the χ 0 = + 1 transformation laws were dubbed the cis-multiplet and χ 0 = 1 the trans-multiplet. Both the cis- and trans-transformation laws satisfy the closure relationship, Equation (2).
The adinkras in Figure 2 can be seen to encode the transformation laws in Equations (3) and (4) as follows.
  • The white nodes encode the bosons Φ i and the black nodes encode the fermions multiplied by the imaginary number i Ψ j ^ .
  • A line connecting two nodes indicates a SUSY transformation law between the corresponding fields.
  • Each of the N = 4 colors encodes a different SUSY transformation as color coded in Equations (3) and (4).
  • A solid (dashed) line indicates a plus (minus) sign in SUSY transformations.
  • In transforming from a higher node to a lower node (higher mass dimension field to one-half lower mass dimension field), a time derivative appears on the field of the lower node.
The adinkras in Figure 2 are known as valise adinkras: adinkras with a single row of bosons and a single row of fermions. The distinction between the two set of transformation laws encoded in Equations (3) and (4) can be seen easily in the adinkras in Figure 2: the two adinkras are identical aside from the orange lines, which are dashed in one adinkra and solid in the other. This is reflected in the D 3 transformation laws in Equations (3) and (4), which differ by a minus sign.
Both χ 0 = ± 1 supersymmetric transformation laws are symmetries of the Lagrangian
L = 1 2 δ i j Φ ˙ i Φ ˙ j i 1 2 δ i ^ j ^ Ψ i ^ Ψ ˙ j ^ .
The transformation laws in Equations (3) and (4) can succinctly be written as
D I Φ = i L I Ψ , D I Ψ = R I Φ ˙ ,
where the adinkra matrices L I are given by
L 1 = 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 , L 2 = 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 , L 3 = χ 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 , L 4 = 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0
and the R I given by
R I = L I 1 .
In the specific case of the matrices in Equation (7), we also have the orthogonality relationship
R I = L I 1 = L I T
where the T denotes transpose. Supersymmetric multiplets whose adinkra matrices satisfy the orthogonality relationship (Equation (9)) are said to be adinkraic representations, that is, they can be expressed as adinkras pictures as in Figure 1 and Figure 2. Generally, larger multiplets such as those investigated in this paper are non-adinkraic when nodes are chosen to be identified with single fields as reviewed in Section 3.4 and Section 3.5. Non-adinkraic multiplets have been investigated previously in [40,41].
The closure relation, Equation (2), for an adinkriac system is reflected in the adinkra matrices L I and R I satisfying the GR ( d , N ) algebra also known as the garden algebra [42,43]
L I R J + L J R I = 2 δ IJ I 4 , R I L J + R J L I = 2 δ IJ I 4 .
The GR ( d , N ) algebra is the algebra of general, real matrices encoding the supersymmetry transformation laws between d bosons, d fermions, and N supersymmetries. Specifically, all the χ 0 = ± 1 adinkras in Figure 2 satisfy the GR ( 4 , 4 ) algebra.
For an arbitrary d, N = 4 adinkra, χ 0 can be defined off the following chromocharacter equation [1]
T r ( L I R J L K R L ) = 4 [ ( n c + n t ) ( δ I J δ K L δ I L δ J K + δ I J δ K L ) + χ 0 ϵ I J K L ]
Calculating χ 0 through Equation (11) allows one to immediately determine n c and n t which satisfy [1,2,3]
n c = d 8 + χ 0 2
n t = d 8 χ 0 2
For GR ( 4 , 4 ) valise adinkras, the only two possible values are χ 0 = ± 1 [1] and either n c = 1 , n t = 0 or n c = 0 , n t = 1 .
The matrix representation of 1D holoraumy, Equation (1), is [23,24]
V I J = i 2 L [ I R J ] , V ˜ I J = i 2 R [ I L J ] .
where V I J is the matrix representation of the bosonic holoraumy tensor B IJ and V ˜ IJ is the matrix representation of the fermionic holoraumy tensor F IJ . Adinkras that share the same value of χ 0 and have the same number of degrees of freedom d are said to be in the same χ 0 -equivalence class [26]. There are two possible χ 0 -equivalence classes for GR ( 4 , 4 ) valise adinkras: the cis-equivalence class defined by χ 0 = + 1 and the trans-equivalence class defined by χ 0 = 1 . In [25], all possible 36,864 GR ( 4 , 4 ) adinkras were investigated and tabulated and in [26] all were categorized in terms of χ 0 -equivalence classes and holoraumy-equivalence classes.

3. Supersymmetry Genomics Review

In this section, we review the previous SUSY genomics works [1,2,3]. In doing so, we demonstrate how the the cis-adinkra and trans-adinkra shown in Figure 2 encode the 0-brane reduced transformation laws for various 4D, N = 1 off-shell multiplets and comment on their values of χ 0 , holoraumy, and gadgets in the cases where this is known.

3.1. The 4D, N = 1 Off-Shell Chiral Multiplet (CM)

The dynamical field content of the CM is a scalar A, pseudoscalar B, and Majorana fermion ψ a . The auxiliary field content of the CM is a scalar F and pseudoscalar G. The 4D component Lagrangian for the CM is given by
( L CM = 1 2 ( μ A ) ( μ A ) 1 2 ( μ B ) ( μ B ) + i 1 2 ( γ μ ) a b ψ a μ ψ b + 1 2 F 2 + 1 2 G 2
The transformation laws that are a symmetry of the Lagrangian in Equation (15) are
D a A = ψ a , D a B = i ( γ 5 ) a b ψ b D a ψ b = i ( γ μ ) a b μ A ( γ 5 γ μ ) a b μ B i C a b F + ( γ 5 ) a b G D a F = ( γ μ ) a b μ ψ b , D a G = i ( γ 5 γ μ ) a b μ ψ b
Reducing to the 0-brane with nodal field definitions
i Ψ 1 = ψ 1 , i Ψ 2 = ψ 2 , i Ψ 3 = ψ 3 , i Ψ 4 = ψ 4
Φ 1 = A , Φ 2 = B , Φ 3 = d τ F , Φ 4 = d τ G
reduces the Lagrangian in Equation (15) to Equation (5) and transformation laws to Equation (6) with the L I matrices given by
L 1 ( CM ) = 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 , L 2 ( CM ) = 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 , L 3 ( CM ) = 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 , L 4 ( CM ) = 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 .
and R I given by Equation (9) and satisfy the GR ( 4 , 4 ) algebra Equation (10). By the rules explained in Section 2, it can be seen that the 0-brane transformation laws for the CM, Equation (6), with L I and R I matrices as in Equations (18) and (9) and nodal field definitions (Equation (17)), are entirely described by the adinkra in Figure 3, which is the same image as Figure 1 in the Introduction. The CM is in the cis-equivalence class as can be seen in the following two ways
  • Calculating the trace in Equation (11), which produces the result χ 0 = + 1 .
  • Performing certain field redefinitions, as in [1], that transform Figure 3 into the cis-adinkra in Figure 2.
The field redefinitions mentioned in the second of these are dubbed flips and flops in the recent work [26].

3.2. The 4D, N = 1 Off-Shell Tensor Multiplet (TM)

The dynamical field content of the TM is a scalar φ , anti-symmetric rank-two tensor B μ ν , and a Majorana fermion χ a . There are no auxiliary fields in the TM. The 4D component Lagrangian for the TM is given by
( L TM = 1 3 H μ ν α H μ ν α 1 2 μ φ μ φ + 1 2 i ( γ μ ) b c χ b μ χ c
where
H μ ν α μ B ν α + ν B α μ + α B μ ν
The transformation laws that are a symmetry of the Lagrangian in Equation (19) are
D a φ = χ a D a B μ ν = 1 4 ( [ γ μ , γ ν ] ) a b χ b D a χ b = i ( γ μ ) a b μ φ ( γ 5 γ μ ) a b ϵ μ ρ σ τ ρ B σ τ
Choosing temporal gauge B 0 μ = 0 and reducing to the 0-brane with nodal field definitions
i Ψ 1 = χ 1 , i Ψ 2 = χ 2 , i Ψ 3 = χ 3 , i Ψ 4 = χ 4
Φ 1 = φ , Φ 2 = 2 B 12 , Φ 3 = 2 B 23 , Φ 4 = 2 B 31
reduces the Lagrangian in Equation (19) to Equation (5) and transformation laws to Equation (6) with the L I matrices given by
L 1 ( TM ) = 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 , L 2 ( TM ) = 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 , L 3 ( TM ) = 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 , L 4 ( TM ) = 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0
and R I given by Equation (9) and satisfy the GR ( 4 , 4 ) algebra in Equation (10). By the rules explained in Section 2, it can be seen that the 0-brane transformation laws for the TM, Equation (6) with L I and R I matrices as in Equations (23) and (9) and nodal field definitions (Equation (22)), are described by the adinkra in Figure 4. The TM is in the trans-equivalence class ( χ 0 = 1 ) as can be seen through either Equation (11) or through field redefinitions transforming Figure 4 into the trans-adinkra in Figure 2.

3.3. The 4D, N = 1 Off-Shell Vector Multiplet (VM)

The dynamical field content of the VM is a U ( 1 ) gauge vector field A μ and a Majorana fermion λ a . The only auxiliary field in the VM is a pseudoscalar d . The 4D component Lagrangian for the VM is given by
( L VM = 1 4 F μ ν F μ ν + 1 2 i ( γ μ ) a b λ a μ λ b + 1 2 d 2
where
F μ ν = μ A ν ν A μ
The transformation laws that are a symmetry of the Lagrangian in Equation (24) are
D a A μ = ( γ μ ) a b λ b D a λ b = i 1 2 ( γ μ γ ν ) a b F μ ν + ( γ 5 ) a b d D a d = i ( γ 5 γ μ ) a b μ λ b
Choosing temporal gauge A 0 = 0 and reducing to the 0-brane with nodal field definitions
i Ψ 1 = λ 1 , i Ψ 2 = λ 2 , i Ψ 3 = λ 3 , i Ψ 4 = λ 4
Φ 1 = A 1 , Φ 2 = A 2 , Φ 3 = A 3 , Φ 4 = d τ d
reduces the Lagrangian in Equation (24) to Equation (5) and transformation laws to Equation (6) with the L I matrices given by
L 1 ( VM ) = 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 , L 2 ( VM ) = 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 , L 3 ( VM ) = 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 , L 4 ( VM ) = 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0
and R I given by Equation (9) and satisfy the GR ( 4 , 4 ) algebra in Equation (10). By the rules explained in Section 2, it can be seen that the 0-brane transformation laws for the VM, Equation (6), with L I and R I matrices as in Equations (28) and (9) and nodal field definitions (Equation (27)), are described the adinkra in Figure 5. The VM is in the trans-equivalence class ( χ 0 = 1 ) as can be seen through either Equation (11) or through field redefinitions transforming Figure 5 into the trans-adinkra in Figure 2.

3.4. The 4D, N = 1 Off-Shell Complex Linear Superfield Multiplet (CLS)

The dynamical field content of the CLS is the same as for the CM: a scalar field and pseudoscalar field, here called K and L, respectively, and a Majorana fermion, here called ζ a . A key difference from CLS and CM is the auxiliary field content: a scalar M, pseudoscalar N, vector V μ , pseudovector U μ , a low-dimensional fermion ρ a with [ ρ a ] = 3 / 2 and a high-dimensional fermion β a with [ β a ] = 5 / 2 . The 4D component Lagrangian for CLS is
L CLS = 1 2 μ K μ K 1 2 μ L μ L 1 2 M 2 1 2 N 2 + 1 4 U μ U μ + 1 4 V μ V μ + 1 2 i ( γ μ ) a b ζ a μ ζ b + i ρ a C a b β b
The transformation laws that are a symmetry of the Lagrangian in Equation (29) are
D a K = ρ a ζ a D a M = β a 1 2 ( γ ν ) a d ν ρ d D a N = i ( γ 5 ) a d β d + i 2 ( γ 5 γ ν ) a d ν ρ d D a L = i ( γ 5 ) a d ( ρ d + ζ d ) D a U μ = i ( γ 5 γ μ ) a d β d i ( γ 5 ) a d μ ( ρ d + 2 ζ d ) i 2 ( γ 5 γ ν γ μ ) a d ν ( ρ d 2 ζ d ) D a V μ = ( γ μ ) a d β d + μ ( ρ a 2 ζ a ) + 1 2 ( γ ν γ μ ) a d ν ( ρ d + 2 ζ d ) D a ζ b = i ( γ μ ) a b μ K ( γ 5 γ μ ) a b μ L 1 2 ( γ 5 γ μ ) a b U μ + i 1 2 ( γ μ ) a b V μ D a ρ b = i C a b M + ( γ 5 ) a b N + 1 2 ( γ 5 γ μ ) a b U μ + i 1 2 ( γ μ ) a b V μ D a β b = i 2 ( γ μ ) a b μ M + 1 2 ( γ 5 γ μ ) a b μ N + 1 2 ( γ 5 γ μ γ ν ) a b μ U ν + 1 4 ( γ 5 γ ν γ μ ) a b μ U ν + i 2 ( γ μ γ ν ) a b μ V ν + i 4 ( γ ν γ μ ) a b μ V ν + η μ ν μ ν ( i C a b K + ( γ 5 ) a b L ) .
Unlike the minimal CM, TM, and VM cases, the 0-brane reduction for CLS requires nodal definitions that are linear combinations of the 0-brane reduced fields for the resulting L I matrices to be adinkraic (Equation (9)). A particular choice of nodal field definitions for CLS that are adinkraic are
Φ ˙ = M K ˙ V 0 L ˙ U 0 N U 2 V 0 2 K ˙ U 1 U 3 V 3 V 1 2 L ˙ U 0 V 2 , i Ψ ˙ = ρ ˙ 2 2 β 1 β 2 ρ ˙ 1 2 β 3 ρ ˙ 4 2 β 4 ρ ˙ 3 2 β 1 ζ ˙ 2 + ρ ˙ 2 2 β 2 + ζ ˙ 1 ρ ˙ 1 2 β 3 + ζ ˙ 4 ρ ˙ 4 2 β 4 ζ ˙ 3 + ρ ˙ 3 2 β 1 + ζ ˙ 2 + ρ ˙ 2 2 β 2 + ζ ˙ 1 + ρ ˙ 1 2 β 3 + ζ ˙ 4 + ρ ˙ 4 2 β 4 + ζ ˙ 3 + ρ ˙ 3 2
Here, we define Φ and Ψ in terms of their derivatives Φ ˙ and Ψ ˙ for notational convenience (integration constants are assumed to be zero). With these nodal field definitions, the Lagrangian in Equation (29) reduces to Equation (5) and transformation laws to Equation (6) with the L I matrices given by
L 1 ( CLS ) = I 3 I 4 , L 2 ( CLS ) = i I 3 β 3 L 3 ( CLS ) = i 1 0 0 0 1 0 0 0 1 β 2 , L 4 ( CLS ) = i I 3 β 1
with the α and β matrices as in Appendix C and R I given by Equation (9).
By the rules explained in Section 2, it can be seen that the 0-brane transformation laws for the CLS, Equation (6) with L I matrices as in Equation (32) and nodal field definitions (Equation (31)), are described by the adinkra in Figure 6. The CLS has χ 0 = 1 as can be seen through either Equation (11) or through the fact that comparing Figure 6 with Figure 2, Figure 6 is one cis-adinkra ( n c = 1 ) and two trans-adinkras ( n t = 2 ), thus χ 0 = n c n t = 1 .

3.5. The 4D, N = 1 Off-Shell Old-Minimal Supergravity Multiplet (mSG)

The dynamical field content of mSG is the symmetric, rank two graviton h μ ν and gravitino ψ μ a . The auxiliary fields of mSG are a scalar S, pseudoscalar P, and axial vector A μ . The 4D component Lagrangian for mSG is
L m S G = 1 2 α h μ ν α h μ ν + 1 2 α h α h α h β h α β + μ h μ ν α h α ν 1 3 S 2 1 3 P 2 + 1 3 A μ A μ 1 2 ψ μ a ϵ μ ν α β ( γ 5 γ ν ) a b α ψ β b
The transformation laws that are a symmetry of the Lagrangian in Equation (33) are
D a S = 1 2 ( [ γ μ , γ ν ] ) a b μ ψ ν b
D a P = 1 2 ( γ 5 [ γ μ , γ ν ] ) a b μ ψ ν b
D a A μ = i ( γ 5 γ ν ) a b [ ν ψ μ ] b 1 2 ϵ μ ν α β ( γ ν ) a b α ψ β b
D a h μ ν = 1 2 ( γ ( μ ) a b ψ ν ) b
D a ψ μ b = i 3 ( γ μ ) a b S 1 3 ( γ 5 γ μ ) a b P + 2 3 ( γ 5 ) a b A μ + 1 6 ( γ 5 [ γ μ , γ ν ] ) a b A ν + i 2 ( [ γ α , γ β ] ) a b α h β μ
Similar to the CLS, the 0-brane reduction for mSG requires nodal definitions that are linear combinations of the 0-brane reduced fields for the resulting L I matrices to be adinkraic (Equation (9)). As shown in [3], the most general choice of nodal field definitions for mSG that are adinkraic and match with the cis- and/or trans-adinkra Figure 2 are
Φ = A 0 P S h ˙ u 1 A 1 + ( u 2 u 3 ) h ˙ 23 u 3 A 3 + ( u 1 u 2 ) h ˙ 12 u 2 A 2 + ( u 3 u 1 ) h ˙ 31 u 1 h ˙ 11 u 2 h ˙ 22 u 3 h ˙ 33 v 1 A 1 + ( v 2 v 3 ) h ˙ 23 v 3 A 3 + ( v 1 v 2 ) h ˙ 12 v 2 A 2 + ( v 3 v 1 ) h ˙ 31 v 1 h ˙ 11 v 2 h ˙ 22 v 3 h ˙ 33 , i Ψ = ψ ˙ 13 ψ ˙ 21 ψ ˙ 34 ψ ˙ 14 ψ ˙ 22 ψ ˙ 33 ψ ˙ 11 + ψ ˙ 23 ψ ˙ 32 ψ ˙ 12 ψ ˙ 24 + ψ ˙ 31 u 1 ψ ˙ 13 + u 2 ψ ˙ 21 + u 3 ψ ˙ 34 u 1 ψ ˙ 14 u 2 ψ ˙ 22 u 3 ψ ˙ 33 u 1 ψ ˙ 11 u 2 ψ ˙ 23 + u 3 ψ ˙ 32 u 1 ψ ˙ 12 + u 2 ψ ˙ 24 u 3 ψ ˙ 31 v 1 ψ ˙ 13 + v 2 ψ ˙ 21 + v 3 ψ ˙ 34 v 1 ψ ˙ 14 v 2 ψ ˙ 22 v 3 ψ ˙ 33 v 1 ψ ˙ 11 v 2 ψ ˙ 23 + v 3 ψ ˙ 32 v 1 ψ ˙ 12 + v 2 ψ ˙ 24 v 3 ψ ˙ 31
with
u 1 + u 2 + u 3 = v 1 + v 2 + v 3 = 0
Here, we define Φ and Ψ in terms of their derivatives Φ ˙ and Ψ ˙ for notational convenience as in the CLS case (integration constants are assumed to be zero). With these nodal field definitions, the Lagrangian in Equation (33) reduces to Equation (5) and transformation laws to Equation (6) with the L I matrices given by
L 1 ( mSG ) = I 3 I 4 , L 2 ( mSG ) = i I 3 β 3 L 3 ( mSG ) = i 1 0 0 0 1 0 0 0 1 β 2 , L 4 ( mSG ) = i I 3 β 1
with the α and β matrices as in Appendix C and R I given by Equation (9).
By the rules explained in Section 2, it can be seen that the 0-brane transformation laws for the mSG, Equation (6) with L I matrices as in Equation (37) and nodal field definitions (Equation (35)), are described by the adinkra in Figure 6: the same adinkra as for CLS. Thus, as in the CLS case, the mSG has χ 0 = 1 and can be decomposed as one cis-adinkra ( n c = 1 ) and two trans-adinkras ( n t = 2 ) with χ 0 = n c n t = 1 .

3.6. Gadgets

There is not a tremendous amount of diversity in the χ 0 values reviewed thus far, as summarized in Table 1: all those reviewed in the previous five sections have χ 0 = 1 aside from the CM, which has χ 0 = + 1 . Clearly, another tool is needed to further separate out at the adinkra level which adinkras relate to which higher dimensional systems.
The gadget G ( R , R ) between two different adinkra representations R and R of the G R ( d , N ) algebra, defined below, is used to separate multiplets at the adinkra level that holographically correspond to different multiplets in higher dimensions [17,18,21,22,25,26].
G ( R , R ) = ( N 2 ) ! 4 ( N ! ) I , J V ˜ IJ ( R ) V ˜ IJ ( R ) = ( N 2 ) ! d m i n ( 4 ) ( N ! ) I , J V ˜ IJ ( R ) V ˜ IJ ( R )
In the above, the function d m i n ( 4 ) = 4 is the minimal size of an N = 4 adinkra as proved for general N in [7,10] and used in the subsequent works [25,41]. For 4D, N = 1 supersymmetry, the number of colors in the adinkraic representation is N = 4 .
The gadget between two representations is analogous to a dot product between two vectors. Two representations that have the same holoraumy V ˜ IJ are known as V ˜ IJ -equivalent and will have a gadget value of n c + n t . Owing to the dot product analogy, representations that are V ˜ IJ -equivalent are analogous to parallel vectors. Representations that have gadget value different from n c + n t are said to be V ˜ IJ -inequivalent and are analogous to vectors at an angle to one another. An interesting case is therefore when two representations have a gadget of zero: we term such representations gadget-orthogonal in the analogous sense to orthogonal vectors. As such, gadget-orthogonal representations are considered the most distinct two representations can be, in the sense of holoraumy.
Gadgets can only be compared between systems of the same size d and number of colors N. The CM, TM, and VM all have d = 4 , N = 4 , thus the gadget may be calculated amongst them. As first discovered in [17,18], the gadgets between the representations ordered R = R = ( C M , T M , V M ) take the following form
G ( R , R ) = 1 0 0 0 1 1 / 3 0 1 / 3 1
The result in Equation (39) demonstrates that the CM is gadget-orthogonal to the TM and VM and thus can be thought of as distinct at the adinkra level. The cis and trans content already demonstrate this: the CM has χ 0 = + 1 ( n c = 1 , n t = 0 ) and both the VM and TM have χ 0 = 1 ( n c = 0 , n t = 1 ). More importantly, Equation (39) demonstrates that the VM and TM are V ˜ IJ -inequivalent, thus can be thought of as distinct even at the adinkra level. Thus, the gadget separates the TM and VM at the adinkra level, and so is a further distinguishing calculation that can be done in addition to χ 0 .
The gadget is invariant with respect to some nodal field redefinitions and not invariant with respect to others: this depends on whether an adinkra’s holoraumy changes under the redefinition, as investigated in [26]. No bosonic field redefinition can change the gadget as defined in Equation (38) as the V ˜ IJ matrices can only act on fermions from either the left or the right: the bosonic indices are fully contracted in the R I L J multiplication similar to how a Lorentz scalar’s spacetime indices are fully contracted. As such, we concern ourselves with fermionic field redefinitions in this paper, and the diagonal Lagrangian parameter we see in the 20 × 20 transformation laws pertains only to a fermionic field redefinition symmetry of the Lagrangian.
In constructing a Dykin diagram, it is necessary to choose a convention as to which roots to use: the simple roots are the canonical choice [44]. Similarly, it is necessary to follow a nodal field definition convention in comparing gadget values. The CM, TM, and VM adinkras are defined according to the following convention. Define the fermion nodes such that the node number matches the component number. For bosons, place them in the nodes left to right with dynamical fields first and auxiliary fields second. Within the lists of dynamical and auxiliary fields, place them left to right as follows: scalars, pseudoscalars, vectors, pseudovectors, tensors, and pseudotensors. List vectors in numerical order, as in the VM and list tensors in the order as demonstrated for the TM: components 12, 23, and 31. For the 20 × 20 multiplets investigated in this paper, we expand these rules to be applicable to larger multiplets.
The one-to-one nodal field definitions for the CM, VM, and TM used in Equations (17), (22), and (27) result in adinkraic L I and R I matrices that satisfy the relationship in Equation (9). As such, these multiplets can be expressed as the adinkras in Figure 1, Figure 4, and Figure 5 with single fields corresponding to each node. No such one-to-one nodal field definitions are possible for the mSG and CLS as the nodes of the adinkra must necessarily correspond to linear combinations of the fields, as shown in Equations (31) and (35). We show this is the case for the 20 × 20 multiplets investigated in this paper: one-to-one nodal field definitions do not lead to adinkraic L I and R I matrices. On a final note, the value of χ 0 is insensitive to basis choice, owing to the trace over which it is defined and the fact that it is defined only over a single representation as shown in Equation (11).

4. The de Wit–van Holten Formulation

We refer to the matter gravitino multiplet as described in Refs. [28,29,30] as the “de Wit–van Holten” (dWvH) formulation (the labeling of this multiplet as dWvH is due to the fact that it appeared as a 4D, N = 1 submultiplet [28,29] prior to the work of [30]). The dWvH multiplet consists of a spin one-half superfield with compensators of a vector multiplet and chiral multiplet [45]. The components of this multiplet are as follows. The matter fields are that of a spin three-halves Rarita Schwinger field ψ μ b and a spin one vector B μ . The bosonic auxiliary fields in the multiplet (all with dimension-two) are a scalar K, pseudoscalars L and P, rank-two tensor t μ ν , vector V μ , and axial vector U μ . The fermionic auxiliary fields are a dimension three-halves spinor λ a and dimension five-halves spinor χ a . The transformation laws, Lagrangian, algebra, and adinkras are described in the following subsections in a real Majorana notation.

4.1. Transformation Laws

We write the transformation laws in terms of a single free parameter c 0 , which parameterizes a field redefinition of the fermionic fields that leaves the Lagrangian invariant.
D a λ b = i 1 2 C a b K + 1 2 ( γ 5 ) a b L + ( γ 5 ) a b P i 1 8 ( [ γ μ , γ ν ] ) a b t μ ν i 1 2 ( γ μ ) a b V μ + 1 2 ( γ 5 γ μ ) a b U μ
D a χ b = i 1 2 c 1 ( γ μ ) a b μ K 1 2 c 1 ( γ 5 γ μ ) a b μ L c 3 ( γ 5 γ μ ) a b μ P + i 1 2 c 2 ( γ μ γ ν ) a b ν V μ + i c 0 ( γ μ γ ν ) a b μ V ν 1 2 c 2 ( γ 5 γ μ γ ν ) a b ν U μ c 0 ( γ 5 γ μ γ ν ) a b μ U ν + i 1 8 c 3 ( [ γ μ , γ ν ] γ α ) a b α t μ ν + i 1 4 c 4 ( γ α [ γ μ , γ ν ] a b α W μ ν
D a ψ μ b = i 1 2 c 4 ( γ μ ) a b K + 1 2 c 4 ( γ 5 γ μ ) a b L + c 0 ( γ 5 γ μ ) a b P + i 1 2 c 4 ( γ μ γ ν ) a b V ν i c 0 C a b V μ 1 2 c 4 ( γ 5 γ μ γ ν ) a b U ν + c 0 ( γ 5 ) a b U μ + i 1 8 ( γ μ [ γ α , γ β ] ) a b W α β i 1 8 c 0 ( [ γ α , γ β ] γ μ ) a b t α β
D a P = i 1 2 ( γ 5 ) a b ( χ b + c 0 R b ) i 1 2 c 3 ( γ 5 γ μ ) a b μ λ b
D a K = 1 2 ( χ a + c 4 R a ) + 1 2 c 1 ( γ μ ) a b μ λ b
D a L = i ( γ 5 ) a b ( D b K )
D a V μ = 1 2 ( γ μ ) a b ( χ b + c 0 R b ) + 1 2 c 2 ( γ μ γ ν ) a b ν λ b + c 0 ( γ ν γ μ ) a b ν λ b + ( γ ν ) a b [ μ ψ ν ] b
D a U μ = i ( γ 5 ) a b ( D b V μ )
D a B μ = ψ μ a + c 4 ( γ μ ) a b λ b
D a t μ ν = 1 4 ( [ γ μ , γ ν ] ) a b ( χ b + c 0 R b ) + 1 2 c 5 ( γ [ μ ) | a | b ν ] λ b i 1 2 c 6 ϵ μ ν α β ( γ 5 γ α ) a b β λ b + [ μ ψ ν ] a + i ϵ μ ν α β ( γ 5 ) a b α ψ β b
where
c 1 = 3 c 0 2 + 6 c 0 + 1 , c 2 = 3 c 0 2 + 4 c 0 + 1 , c 3 = 3 c 0 2 1 , c 4 = c 0 + 1
c 5 = 3 c 0 2 2 c 0 3 , c 6 = 3 c 0 2 + 2 c 0 + 1 .
The gauge-invariant fields strengths are R a ( [ γ μ , γ ν ] ) a b μ ψ ν b , F μ ν [ μ B ν ] , and W μ ν = t μ ν 2 F μ ν .
Using Fierz identities, the term including F α β within W α β of the transformation law for the gravitino can be expressed as follows:
i 1 4 ( γ μ [ γ α , γ β ] ) a b F α β = i ( γ ν ) a b μ B ν + i ( γ ν ) a b ν B μ + ϵ μ ν α β ( γ 5 γ ν ) a b α B β .
As the first term encodes the gravitino’s gauge transformation, it can be ignored. This is true certainly at the adinkraic level, where this term only shows up in the transformation laws for ψ 0 b = 0 in temporal gauge.

4.2. Anti-Commutators

Direct calculations of the anti commutators of the D-operators on all the fields yield the results:
{ D a , D b } X = 2 i ( γ μ ) a b μ X for X λ c , χ c , P , K , L , V μ , U μ , t μ ν
{ D a , D b } B μ = 2 i ( γ α ) a b α B μ μ Λ a b
{ D a , D b } ψ μ c = 2 i ( γ α ) a b α ψ μ c μ ϵ a b c
where
Λ a b = 2 i ( γ ν ) a b B ν
ϵ a b c = 2 i ( γ ν ) a b ψ ν c + 2 i c 0 ( γ ν ) a b ( γ ν ) c d λ d .
The non-closure terms Λ a b and ϵ a b c indicate gauge transformations of the B μ and ψ μ a fields. As such, the algebra closes on the field strengths F μ ν and R a :
{ D a , D b } F μ ν = 2 i ( γ α ) a b α F μ ν { D a , D b } R c = 2 i ( γ α ) a b α R c

4.3. Lagrangian

The Lagrangian that is invariant (up to a surface term) with respect to these transformation laws takes the form
L = P 2 1 2 K 2 1 2 L 2 + 1 2 V μ V μ + 1 2 U μ U μ 1 2 F μ ν F μ ν + 1 4 t μ ν t μ ν 1 2 ψ μ a ϵ μ ν α β ( γ 5 γ ν ) a b α ψ β b + i λ b χ b .
The Lagrangian is invariant with respect to the following c 0 -dependent, fermionic field redefinitions as pointed out in [30]
ψ μ a ψ μ a + c 0 ( γ μ ) a b λ b , λ a λ a , χ a χ a + c 0 R a + 3 c 0 2 ( γ μ ) a b b λ b
This Lagrangian is also invariant with respect to the following gauge transformations that are indicated by Equation (56)
δ B μ = μ Λ
δ ψ μ a = μ ϵ a .

5. The Ogievetsky–Sokatchev (OS) Formulation

The matter gravitino multiplet, as described in Refs. [31,32], consists of a spin one-half superfield with compensators of a vector multiplet and tensor multiplet [45]. The components of this multiplet are as follows. The matter fields are that of a spin three-halves Rarita Schwinger field ψ μ b and a spin one vector B μ . The bosonic auxiliary fields (all with dimension-two) are a pseudoscalar P, rank-two tensor t μ ν , vector V μ , axial gauge vector A μ , and divergenceless axial vector G μ that is actually the field strength of a gauge two form E α β such that G μ = 1 2 ϵ μ ν α β ν E α β . The fermionic auxiliary fields are a dimension three-halves spinor ξ a and dimension five-halves spinor χ a . The transformation laws, Lagrangian, algebra, and adinkras are described in the following subsections in a real Majorana notation.

5.1. Transformation Laws

We write the transformation laws in terms of a single free parameter s 0 , which parameterizes a field redefinition of the fermionic fields as in Equation (59) but with c 0 s 0 that leaves the Lagrangian invariant.
D a λ b = ( γ 5 ) a b P i 1 8 ( [ γ μ , γ ν ] ) a b t μ ν i 1 2 ( γ μ ) a b V μ + 1 2 ( γ 5 γ μ ) a b G μ
D a χ b = s 1 ( γ 5 γ μ ) a b μ P + i 1 2 s 2 C a b μ V μ i 1 4 s 3 [ γ μ , γ ν ] a b μ V ν s 0 ( γ 5 [ γ μ , γ ν ] ) a b μ A ν + 1 4 s 5 ( γ 5 [ γ μ , γ ν ] ) a b μ G ν + 1 2 s 1 ϵ μ ν α β ( γ 5 γ μ ) a b ν t α β i 1 8 ( γ α [ γ μ , γ ν ] ) a b α ( s 6 t μ ν + 4 s 4 F μ ν )
D a ψ μ b = s 0 ( γ 5 γ μ ) a b P + i C a b V μ i 1 2 s 4 ( γ ν γ μ ) a b V ν ( γ 5 ) a b A μ 1 2 ( γ 5 ) a b G μ + 1 2 s 4 ( γ 5 γ ν γ μ ) a b G ν + 1 2 s 0 ϵ μ ν α β ( γ 5 γ ν ) a b t α β + i 1 8 ( γ μ [ γ α , γ β ] ) a b ( s 4 t α β 2 F α β )
D a P = i 1 2 ( γ 5 ) a b ( χ b + s 0 R b ) i 1 2 s 1 ( γ 5 γ μ ) a b μ λ b
D a V μ = 1 2 ( γ μ ) a b ( χ b + s 0 R b ) + 1 2 s 5 ( γ μ γ ν ) a b ν λ b + s 0 ( γ ν γ μ ) a b ν λ b + ( γ ν ) a b [ μ ψ ν ] b
D a A μ = i 1 2 ( γ 5 γ μ ) a b ( χ b + s 4 R b ) + i 1 2 s 7 ( γ 5 γ μ γ ν ) a b ν λ b + i 1 2 s 0 ( γ 5 γ ν γ μ ) a b ν λ b + 1 2 ϵ μ ν α β ( γ ν ) a b α ψ β b
D a G μ = ϵ μ ν α β ( γ ν ) a b α ψ β b i s 0 ( γ 5 [ γ μ , γ ν ] ) a b ν λ b
D a B μ = ψ μ a + s 4 ( γ μ ) a b λ b
D a t μ ν = 1 4 ( [ γ μ , γ ν ] ) a b ( χ b + s 0 R b ) 2 s 4 ( γ [ μ ) | a | b ν ] λ b + 1 4 s 3 ( [ γ μ , γ ν ] γ α ) a b α λ b + [ μ ψ ν ] a + i ϵ μ ν α β ( γ 5 ) a b α ψ β b
where as in the dWvH case, R a ( [ γ μ , γ ν ] ) a b μ ψ ν b and F μ ν [ μ B ν ] and
s 1 = 3 s 0 2 1 , s 2 = 3 s 0 2 + 6 s 0 + 1 , s 3 = 3 s 0 2 + 2 s 0 + 1 , s 4 = s 0 + 1 s 5 = 3 s 0 2 + 4 s 0 + 1 , s 6 = 3 s 0 2 2 s 0 3 , s 7 = 3 s 0 2 + 5 s 0 + 1

5.2. Anti-Commutators

The Algebra for the OS multiplet is as follows:
{ D a , D b } X = 2 i ( γ μ ) a b μ X for X λ c , χ c , P , V μ , G μ , t μ ν
{ D a , D b } A μ = 2 i ( γ α ) a b α A μ μ ξ a b
{ D a , D b } B μ = 2 i ( γ α ) a b α B μ μ Λ a b
{ D a , D b } ψ μ c = 2 i ( γ α ) a b α ψ μ c μ ϵ a b c
with Λ a b and ϵ a b c as in Equation (56) with c 0 s 0 and the new gauge term
ξ a b = 2 i ( γ ν ) a b A ν 1 2 G ν .
The algebra closes on the field strengths
{ D a , D b } f μ ν = 2 i ( γ α ) a b α f μ ν { D a , D b } F μ ν = 2 i ( γ α ) a b α F μ ν { D a , D b } R c = 2 i ( γ α ) a b α R c
where f μ ν = μ A ν μ A ν .

5.3. Lagrangian

The Lagrangian that is invariant with respect to the OS transformation laws is
L = P 2 + 1 2 V μ V μ + A μ G μ 1 2 F μ ν F μ ν + 1 4 t μ ν t μ ν 1 2 ψ μ a ϵ μ ν α β ( γ 5 γ ν ) a b α ψ β b + i λ b χ b .
As in the dWvH case, the OS Lagrangian is invariant with respect to the fermionic field redefinition, as in Equation (59) with c 0 s 0 . The OS Lagrangian is also invariant with respect to the same gauge transformations as the dWvH case, Equation (60).

6. The Non-Minimal Supergravity Formulation

The dynamical field content of m SG is that of the graviton h μ ν , which is symmetric but not traceless in our formulation, and the gravitino ψ μ a , which is likewise not traceless. The auxiliary field content for m SG consists of a scalar field S, pseudoscalar field P, two pseudovector fields A μ and W μ , a vector field V μ , and two spinors λ a and β a , the former being a leading order fermion in the superfield expansion. The transformation laws, algebra, and Lagrangian for m SG are given in the following subsections.

6.1. Transformation Laws

We write the transformation laws in terms of a single free parameter g 0 , which parameterizes a field redefinition of the fermionic fields as in Equation (59) but with c 0 g 0 and χ a β a that leaves the Lagrangian invariant. The other parameter n in the m SG multiplet is a remnant from the superspace formulation of supergravity where n = 1 / 3 reduces the formulation to the first minimal, off-shell version of 4D, N = 1 supergravity discovered, sometimes referred to as old-minimal supergravity, and n = 0 to the next, sometimes referred to as new-minimal supergravity [33].
D a S = 1 + 3 n 4 n β a g 1 R a + g 2 ( γ ν ) a b ν λ b
D a P = i ( γ 5 ) a b ( D b S )
D a A μ = i ( γ 5 γ ν ) a b [ ν ψ μ ] b 1 2 ϵ μ ν α β ( γ ν ) a b α ψ β b + i g 3 ( γ 5 ) a b μ λ b
D a h μ ν = 1 2 ( γ ( μ ) a b ψ ν ) b g 0 η μ ν λ a
D a V μ = 1 4 ( γ μ ) a b ( β b g 0 R b ) 3 4 g 0 2 ( γ μ γ ν ) a b ν λ b n 1 + 3 n ( γ ν γ μ ) a b ν λ b
D a W μ = i 1 6 ( γ 5 γ μ ) a b ( 3 β b g 3 R b ) + i 1 6 g 3 2 ( γ 5 γ μ γ ν ) a b ν λ b + i 2 3 ( 1 + 3 n ) ( γ 5 γ ν γ μ ) a b ν λ b
D a ψ μ b = i 2 n g 1 ( γ μ ) a b S + 2 n g 1 ( γ 5 γ μ ) a b P + 2 3 ( γ 5 ) a b A μ + 1 6 ( γ 5 [ γ μ , γ ν ] ) a b A ν i 1 2 [ γ α , γ β ] a b α h β μ + 1 + 3 n 4 g 3 ( γ 5 γ ν γ μ ) a b W ν + i 1 + 3 n 2 n g 0 ( γ ν γ μ ) a b V ν
D a λ b = ( 1 + 3 n ) i 1 2 C a b S + 1 2 ( γ 5 ) a b P + 3 4 ( γ 5 γ μ ) a b W μ + i 1 2 n ( γ μ ) a b V μ
D a β b = i 2 n g 2 ( γ μ ) a b μ S + 2 n g 2 ( γ 5 γ μ ) a b μ P + ( γ 5 γ μ γ ν ) a b μ W ν + 1 4 g 3 2 ( 1 + 3 n ) ( γ 5 γ ν γ μ ) a b μ W ν + 2 i ( γ μ γ ν ) a b μ V ν + i 3 2 g 0 2 1 + 3 n n ( γ ν γ μ ) a b μ V ν 2 3 g 3 ( γ 5 ) a b μ A μ 2 i g 0 C a b ( h μ ν h μ ν )
where
g 1 = g 0 + ( 2 + 3 g 0 ) n 4 n , g 2 = 3 g 0 2 1 + 3 n 4 n + 3 g 0 + 1 , g 3 = 3 g 0 + 2 , g 4 = 9 g 0 2 + 12 g 0 + 2
As before, the field strength of the gravitino is given by R a ( [ γ μ , γ ν ] ) a b μ ψ ν b .

6.2. Anti-Commutators

The algebra closes on the auxiliary fields X = ( S , P , A μ , V μ , W μ , λ a , β a ) as
{ D a , D b } X = 2 i ( γ μ ) a b μ X .
The algebras for the physical fields ψ μ a and h μ ν are
{ D a , D b } h μ ν = 2 i ( γ α ) a b α h μ ν ( μ ζ ν ) a b { D a , D b } ψ μ c = 2 i ( γ α ) a b α ψ μ c μ ε a b c .
The gauge terms ζ ν a b and ε a b c are
ζ ν a b = i ( γ α ) a b h ν α
ε a b c = i 1 8 ( 10 ( γ α ) a b δ c d [ γ α , γ β ] a b ( γ β ) c d + ( γ β ) a b ( [ γ β , γ α ] ) c d ( γ 5 [ γ α , γ β ] ) a b ( γ 5 γ β ) c d ) ψ α d i 1 8 ( ( 16 g 0 + 8 ) ( γ α ) a b ( γ α ) c d + ( g 0 + 1 ) ( [ γ α , γ β ] ) a b ( [ γ α , γ β ] ) c d ) λ d
The algebra closes on the field strengths
{ D a , D b } R α μ β ν = 2 i ( γ ρ ) a b ρ R α μ β ν , { D a , D b } R c = 2 i ( γ α ) a b α R c .
where the weak field Riemann tensor R α β μ ν is
R α μ β ν = 1 2 ( μ ν h α β μ β h α ν + α β h μ ν α ν h μ β ) .

6.3. Lagrangian

The Lagrangian for m SG is
L m SG = 1 2 α h μ ν α h μ ν + 1 2 α h α h α h β h α β + μ h μ ν α h α ν + n S 2 + n P 2 + 1 3 A μ A μ 1 + 3 n n V μ V μ 3 4 ( 3 n + 1 ) W μ W μ 1 2 ψ μ a ϵ μ ν α β ( γ 5 γ ν ) a b α ψ β b + i λ a β a .
As in the dWvH and OS cases, the m SG Lagrangian is invariant with respect to the field redefinitions as in Equation (59) but with c 0 g 0 and χ a β a . The m SG Lagrangian is also invariant with respect to the following gauge transformations that are indicated by Equation (80)
δ h μ ν = ( μ ζ ν )
δ ψ μ a = μ ε a .
The fermionic part of the m SG Lagrangian is identical to those of OS and dWvH under the identification β a = χ a .

7. Adinkranization of the 20 × 20 Multiplets

Here, we summarize the adinkranization process. More details can be found in the appendices. Considering the fields in the dWvH, OS, and m SG multiplets to be only time dependent, we gauge fix to temporal gauge
ψ 0 a = B 0 = 0 , dWvH
ψ 0 a = B 0 = A 0 = G 0 = 0 , OS
ψ 0 a = A 0 = h 0 μ = 0 , m SG
Expanding on the discussion in Section 3.6 regarding the smaller CM, TM, and VM multiplets, we define a convention for nodal field definitions that is consistent with the CM, TM, and VM that can be applied to the larger 20 × 20 multiplets. First, dynamical fields appear to the left of auxiliary fields. For auxiliary fermions, those of lower mass dimension appear to the left of those of higher mass dimension. For bosonic fields, they are listed in the nodes left to right in the following order: scalars, pseudoscalars, vectors, pseudovectors, tensors, and pseudotensors. Gauge fields appear to the right of non-gauge fields of the same rank. In the case of multiple pseudoscalars for instance, the pseudoscalar that comes in a pair with a scalar (that form a complex scalar as in the fields K and L of the dWvH multiplet for instance) appears before non-paired pseudoscalars. Fields with components are listed left to right in numerical order if there is a single component. Fields with more complicated index structure, such as the graviton, gravitino, and antisymmetric tensors, are listed in the orders shown in the specific examples below.
For the dWvH formulation of the ( 3 2 ,1) supermultiplet, we order the bosons according to
Φ i = B 1 , B 2 , B 3 , K d t , L d t , P d t , V μ d t , U μ d t , t μ ν d t ,
for the OS formulation we order the bosons according to
Φ i = B 1 , B 2 , B 3 , P d t , V μ d t , A 1 d t , A 2 d t , A 3 d t , t μ ν d t , E 1 2 , E 2 3 , E 3 1
where the ordering for t μ ν is as follows for both the dWvH and OS multiplets:
{ t 01 , t 02 , t 03 , t 12 , t 23 , t 31 }
Note that
E 12 = G 3 d t = G 3 d t , E 23 = G 1 d t = G 1 d t , E 31 = G 2 d t = G 2 d t
Finally, for the non-minimal SG bosons,
Φ i = h 11 , h 12 , h 13 , h 22 , h 23 , h 33 , S d t , P d t , V μ d t , W μ d t , A μ d t .
Next, for both dWvH and OS formulations fermions, we choose
i Ψ i = ψ 1 a , ψ 2 a , ψ 3 a , λ a d t , χ a d t ,
while, for fermions of the non-minimal SG supermultiplet fermions, we use
i Ψ i = ψ 1 a , ψ 2 a , ψ 3 a , λ a d t , β a d t .
With these definitions, the transformation laws for each multiplet can be succinctly written as
D I Φ = i L I Ψ , D I Ψ = R I Φ ˙ .
As it is not terribly instructive to display all L I and R I matrices for all of these multiplets, we have published them along with all of the adinkra data described below for these three multiplets in three Mathematica data files dWvH.m, OS.m, and nmSG.m at the Data repository on GitHub. A master file Compare20x20Reps.nb located at the same repository demonstrates how to display the data and perform the various calculations summarized in the remainder of the paper. The tutorial file Compare20x20Reps.nb utilizes the Mathematica package Adinkra.m, which is available at a different GitHub Repository. A general tutorial AdinkraTutorial.nb that demonstrates the various features of the Adinkra.m package is also located at the Adinkra.m repository.
In Appendix B, we display the explicit L I and R J matrices for the c 0 = 0 representation of the dWvH multiplet. For all three multiplets, the L I and R J matrices satisfy the G R ( d , N ) algebra, the algebra of general, real matrices of size d × d that encode N supersymmetries [1]:
L I R J + L J R I = 2 δ IJ I d
R I L J + R J L I = 2 δ IJ I d
As d = 20 and N = 4 for the dWvH, OS, and m SG multiplets, their L I and R J matrices satisfy more specifically the G R ( 20 , 4 ) algebra.
Recall, the parameter χ 0 is defined through the relationship
T r ( L I R J L K R L ) = 4 ( n c + n t ) ( δ I J δ K L δ I K δ J L + δ I L δ J K ) + χ 0 ϵ I J K L
The parameters n c and n t are referred to as the isomer parameters. They encode the number n c cis-isomer adinkras and the number n t trans-isomer adinkras into which a multiplet can be decomposed. The parameter χ 0 = n c n t . For the dWvH, OS, and m SG multiplets, we find
χ 0 = 3 , n c = 4 , n t = 1 dWvH χ 0 = 1 , n c = 3 , n t = 2 OS χ 0 = 3 , n c = 1 , n t = 4 m SG

7.1. Holoraumy and s o ( 4 ) = s u ( 2 ) × s u ( 2 )

Recall the matrix representations for fermionic and bosonic holoraumy are defined as
V I J = i 2 L [ I R J ] , V ˜ I J = i 2 R [ I L J ] .
For any set of matrices L I and R J that satisfy the G R ( d , N ) algebra, Equation (10), setting either V I J = 2 t I J or V ˜ I J = 2 t I J will satisfy the so(N) algebra
[ t I J , t K L ] = i ( δ I [ L t K ] J δ J [ L t K ] I ) .
A proof is given in Appendix A.
For the special case of s o ( 4 ) , we define
V IJ ± 1 2 V IJ ± 1 2 ϵ IJKL V KL
V ˜ IJ ± 1 2 V ˜ IJ ± 1 2 ϵ IJKL V ˜ KL
where Einstein summation convention is assumed on the repeated indices K and L. It is straightforward to show that both t IJ = 1 / 2 V I J ± and t IJ = 1 / 2 V ˜ I J ± satisfy the s o ( 4 ) algebra, Equation (103). At the same time, V I J ± and V ˜ I J ± only have three independent elements each. We display the independent elements of V IJ ± below; those of V ˜ IJ ± satisfy similar relations:
V 12 + = V 34 + , V 13 + = V 42 + , V 23 + = V 14 + , V 12 = V 43 , V 13 = V 24 , V 23 = V 41 ,
Furthermore, all V I J + commute with all V I J . In this way, V I J ± are actually two separate, commuting representations of s u ( 2 ) :
[ V 12 + , V 13 + ] = 2 i V 23 + , [ V 13 + , V 23 + ] = 2 i V 12 + , [ V 23 + , V 12 + ] = 2 i V 13 + , [ V 12 , V 13 ] = 2 i V 23 , [ V 13 , V 23 ] = 2 i V 12 , [ V 23 , V 12 ] = 2 i V 13 , [ V I J + , V K L ] = 0 .
Similar relationships are satisfied by V ˜ IJ ± .

7.2. V ˜ IJ , Eigenvalues, and Gadgets for the dWvH, OS, and m S G Multiplets

The explicit matrix forms of V IJ and V ˜ IJ are too large to display and be instructive in this paper. We have published them open-source in the files dWvH.m, OS.m, and nmSG.m at the previously mention GitHub data repository. As an example, in Appendix C we show the explicit form for the V ˜ IJ for the c 0 = 0 representation of the dWvH multiplet. Unlike the fundamental C M , T M , and V M representations [17,18,20,21,23,24], the V IJ and V ˜ IJ for the dWvH, OS, and m SG representations are all true s o ( 4 ) representations composed of six linearly independent elements:
V 12 , V 13 , V 14 , V 23 , V 24 , V 34 , V ˜ 12 , V ˜ 13 , V ˜ 14 , V ˜ 23 , V ˜ 24 , V ˜ 34 .
In contrast, the V IJ and V ˜ IJ for the C M , V M , and T M each form a single, non-trivial s u ( 2 ) representation, with only three linearly independent algebra elements [17,18,20,21,23,24]. That is either the V ˜ IJ + or the V ˜ IJ vanish and either the either the V IJ + or the V IJ vanish for the C M , V M , and T M . This is not the case for the dWvH, OS, and m SG representations: the V ˜ IJ ± for these are all nontrivial. We see then for the dWvH, OS, and m SG representations, the V IJ and V ˜ IJ all form true s o ( 4 ) representations, each which separate into two commuting s u ( 2 ) representations, V IJ ± and V ˜ IJ ± , respectively, as shown in the previous section. The eigenvalues for V IJ and V ˜ IJ for the dWvH, OS, and m SG multiplets are all ± 1 .
All of the dWvH, OS, and m SG multiplets have gadgets, Equation (38), that are normalized to 5 = n c + n t :
G ( dWvH , dWvH ) = 5 , G ( OS , OS ) = 5 , G ( m SG , m SG ) = 5 .
The gadgets between the three different representations depend on the diagonal Lagrangian parameters c 0 , s 0 , g 0 as well as the superspace supergravity parameter n. While presenting the results below, we comment on the interesting cases where gadgets between the different representations are zero or five. As described in Section 3.6, where the gadget is described as the vector analogy of a dot product, a gadget of zero means the multiplets are gadget-orthogonal, which is analogous to two vectors being orthogonal. A gadget value of 5 = n c + n t is analogous to two vectors being parallel.
First, we define the self-gadget of a representation as the gadget between the same representation with two different values of its Lagrangian parameter: one unprimed, the other primed. We then have the following three sets of parameters to consider, one set for each of the 20 × 20 representations: ( c 0 , c 0 ), ( s 0 , s 0 ), and ( g 0 , g 0 ). We find the following self-gadget values:
G ( dWvH , dWvH ) = 5 + 9 / 2 ( c 0 c 0 ) 4 + 2 ( c 0 c 0 ) 2
G ( OS , OS ) = 5 + 21 8 ( s 0 s 0 ) 4 3 ( s 0 s 0 ) 2
G ( m SG , m SG ) = 5 + ( g 0 g 0 ) 2 ( 3 n + 1 ) 2 2 n 2 9 16 ( 9 n 2 + 2 n + 1 ) ( g 0 g 0 ) 2 n
This demonstrates interestingly that five is the minimum value that the dWvH self-gadget can take. The minimum self-gadget value for the OS multiplet is precisely 29 / 7 4.14286 and the minimum value for the m SG self-gadget is 14 / 3 4.66667 . The OS self-gadget equals five for three separate relationships between s 0 and s 0 . The m SG self-gadget equals five for the precise value of n = 1 / 3 , two solutions of n that depend on g 0 and g 0 , and of course the case g 0 = g 0 . The self-gadgets are summarized in Table 2 where to more succinctly write the m SG results, we define the function
r ± ( x ) = ( 8 9 x 2 ± 2 2 8 18 x 2 81 x 4 ) / ( 81 x 2 )
It is worth noting that the minimum case n = 1 / 3 for m SG corresponds to its reduction to old-minimal supergravity [33], as described in Section 6.
The gadgets between the dWvH, OS, and nmSG multiplets are as follows:
G ( dWvH , OS ) = ( c 0 + s 0 1 ) 3 c 0 3 + 9 c 0 2 + 1 s 0 9 c 0 s 0 2 c 0 + 3 s 0 3 + 1 + 5 = 3 ( c 0 s 0 ) 4 + 3 ( c 0 s 0 ) 3 + ( c 0 s 0 ) 2 + 4
G ( dWvH , m SG ) = 1 4 n { 3 ( 3 n + 1 ) 2 ( c 0 + g 0 ) 4 + 6 ( 3 n + 1 ) ( 7 n + 1 ) ( c 0 + g 0 ) 3 + 2 ( 9 n + 1 ) ( 13 n + 3 ) ( c 0 + g 0 ) 2 + 2 ( 97 n 2 + 22 n + 1 ) ( c 0 + g 0 ) } 1 12 n ( 181 n 2 + 26 n + 1 )
G ( OS , m SG ) = 1 16 n { 9 ( n + 1 ) ( 3 n + 1 ) ( s 0 + g 0 ) 4 + 12 ( n 1 ) ( 3 n + 1 ) ( s 0 + g 0 ) 3 + 2 ( 153 n 2 + 52 n 5 ) ( s 0 + g 0 ) 2 + 4 ( 91 n 2 + 30 n 1 ) ( s 0 + g 0 ) } + 1 48 n ( 3 n + 1 ) ( 1077 n 3 + 531 n 2 + 59 n 3 )
Upon closer inspection of these gadgets, we find some interesting facts as to holographic possibilities. For instance, an obvious solution for which dWvH and OS are parallel, i.e., have a gadget value equal to five, is
G ( dWvH , OS ) = 5 for s 0 = c 0 + 1
The form of the gadget between dWvH and OS on the second line of Equation (111), however, indicates perhaps a more natural choice might be
G ( dWvH , OS ) = 4 for s 0 = c 0
Solutions exist to make dWvH parallel to m SG , and OS parallel to m SG , but these solutions are complication conditional solutions on n so we have published these calculations in the file Compare20x20Reps.nb at the previously mentioned GitHub data repository. Two obvious cases to investigate are c 0 = g 0 and s 0 = g 0 , for which we find
G ( dWvH , m SG m SG ) = 5 for c 0 = g 0 and n = 0.463211 or n = 0.0119273
G ( OS , m SG ) = 5 for s 0 = g 0 and n = 0.321012 , n = 0.0169016 , or n = 0.513401
As to orthogonality (gadget value of zero), inspection of Equation (111) reveals that there are no real solutions for c 0 and s 0 that make the dWvH and OS multiplets orthogonal
G ( dWvH , OS ) 0 for c 0 , s 0 Reals .
We do have, however, that
G ( dWvH , m SG ) = 0 for g 0 = c 0 + 1 3 , n = 1 9 or g 0 = c 0 1 , n = 1
On the other hand, the OS and m SG multiplets can be made to be orthogonal for various ranges on n. As these solutions for OS- m SG orthogonality are rather complicated and thus not terribly instructive in their entirety, we have published the results in the file Compare20x20Reps.nb at the previously mentioned GitHub data repository. An interesting case is the following where both the dWvH and OS multiplets each are simultaneously orthogonal to the m SG multiplet (but not each other):
G ( dWvH , m SG ) = G ( OS , m SG ) = 0 for g 0 = s 0 2 3 , c 0 = s 0 + 1 , and n = 1 9
This leaves the obvious cases c 0 = g 0 and s 0 = g 0 to investigate as to orthogonality. In these cases, there is no real solution for dWvH- m SG orthogonality and only one real solutions for OS- m SG orthogonality:
G ( dWvH , m SG ) 0 for c 0 = g 0 and n Reals
G ( OS , m SG ) = 0 for s 0 = g 0 and n = 0.0373449
Finally, we summarize the dWvH- m SG gadgets and OS- m SG gadgets in the physically interesting cases of n = 1 , n = 1 / 3 , and n = 0 . In these cases, m SG is known to reduce to a representation that is part of a tower of higher spin that extends to N = 2 SUSY [33,36,37,38,39], old-minimal supergravity [33], and new-minimal supergravity [46], respectively. Both gadgets G ( dWvH m SG mSG ) and G ( OS , m SG ) diverge for n = 0 and G ( OS , m SG ) diverges for n = 1 / 3 , as shown in Figure 7.
Finite values of the gadget G ( dWvH , m SG ) exist for both n = 1 and n = 1 / 3 and a finite value for the gadget G ( OS , m SG ) exists for n = 1 .
G ( dWvH , m SG ) = 3 c 0 + g 0 4 + 18 c 0 + g 0 3 + 40 c 0 + g 0 2 + 38 c 0 + g 0 + 13 for n = 1
G ( dWvH , m SG ) = 4 c 0 + g 0 2 + 20 3 c 0 + g 0 + 28 9 for n = 1 / 3
G ( OS , m SG ) = 3 g 0 + s 0 3 12 g 0 + s 0 2 15 g 0 + s 0 19 3 for n = 1
As these results along with Figure 7 indicate, the gadget values between these multiplets can be greater than the normalization of five. This is likely from the non-adinkraic nature of the representations.

8. Conclusions

In this paper, we investigated three different 4D, N = 1 SUSY multiplets with 20 boson × 20 fermion degrees of freedom. Specifically, we investigated two matter gravitino multiplets, dWvH and OS, and non-minimal supergravity ( m SG ), each in a one-parameter family of component transformation laws that encode an auxiliary fermion field redefinition symmetry of the diagonal Lagrangian. We furthered research into SUSY genomics and holography by researching the dimensional reduction, χ 0 values, and adinkra-level fermionic holoraumy of three 20 × 20 multiplets. All three have distinct χ 0 values. Gadgets calculated between the different multiplets indicate some interesting possible connections to holography. The results in Section 7.2 demonstrate an elegant choice, Equation (114), for considering the OS and dWvH multiplets to be parallel in terms of the gadget, that is, have a gadget value of five. Setting either the dWvH and m SG multiplets parallel or the OS and m SG multiplets parallel requires specific values of the supergravity parameter n to be selected. On the other hand, no real solutions exist that set the dWvH and OS multiplets orthogonal; however, at least one elegant solution exists that simultaneously sets both the dWvH and OS multiplets to be orthogonal to the m SG multiplet. These results point to the possibility that holoraumy and the gadget at the adinkra level indicate that the dWvH and OS multiplets are similar in some way, which we know in higher dimensions to be the case as they encode the same dynamical spins of ( 3 / 2 , 1 ) .
Furthermore, fermionic holoraumy and the gadget seem to point to an adinkra-level distinction between the dWvH and m SG multiplets and the OS and m SG multiplets. We know of course that a key difference in 4D, N = 1 is that the dynamical fields of the m SG multiplet have spins ( 2 , 3 / 2 ) rather than ( 3 / 2 , 1 ) of the matter gravitino multiplets. We pointed out some features of the gadgets for values of the supergravity parameter n = 1 , n = 1 / 3 and n = 0 which correspond to cases where m SG becomes part of a tower of higher spin that extends to N = 2 SUSY [33,36,37,38,39], reduces to old-minimal supergravity [33], and reduces to new-minimal supergravity [46], respectively.
A precise relationship between fermionic holoraumy and the gadget and spin of the higher dimensional system is still unknown. We look to uncover such precise spin–holography relationships not only through more research of these 20 × 20 multiplets, but also into 12 × 12 multiplets of 4D, N = 1 supersymmetry, as well as higher spin mutliplets as in [36,37,38,39]. There are four 12 × 12 representations of 4D, N = 1 off-shell supersymmetry, and of these only one (CLS) has the fermionic auxiliary field redefinition symmetry similar to that presented in this work. This analysis is already being done and we hope to complete it soon. In addition, it would be interesting to see what other gadgets, such as those described in [27,35], encode for the 12 × 12 , 20 × 20 , and higher spin multiplets. In future works, with the 12 × 12 and higher spin multiplets, we look for more data to use with the 20 × 20 gadget data presented in this work to fix a canonical nodal field definition convention that remains consistent among all multiplets and perhaps to fix the diagonal Lagrangian parameters that will continue to be present in higher spin multiplets.
“The most effective way to do it, is to do it.”
- Amelia Earhart

Author Contributions

Conceptualization, S.-N.H.M. and K.S.; Data curation, S.-N.H.M. and K.S.; Formal analysis, S.-N.H.M. and K.S.; Investigation, S.-N.H.M. and K.S.; Methodology, S.-N.H.M. and K.S.; Project administration, K.S.; Resources, K.S.; Software, K.S.; Supervision, K.S.; Validation, S.-N.H.M. and K.S.; Visualization, S.-N.H.M. and K.S.; and Writing—original draft, S.-N.H.M. and K.S.

Funding

This work was partially supported by the National Science Foundation grant PHY-1315155.

Acknowledgments

This research was also supported in part by the University of Maryland Center for String & Particle Theory (CSPT). K.S. thanks Northwest Missouri State University for computing equipment and travel funds, and Dartmouth College and the E.E. Just Program for hospitality and travel funds that supported this work. K.S. thanks Stephen Randall for work done on the dWvH multiplet while at the University of Maryland. The authors also thank Konstantinos Koutrolikos for many helpful discussions throughout this work and S.J. Gates, Jr. for discussions and for providing the conceptual ideas that led to this work.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Proof That tIJ =1/2VIJ Satisfies the so(N) Algebra

Swapping L I with R I interchanges V I J with V ˜ I J , thus proving that t = 1 / 2 V I J satisfies the s o ( N ) algebra necessarily means that t = 1 / 2 V ˜ I J must also satisfy the s o ( N ) algebra. We therefore prove the latter, and the former follows by extension. Substituting t = 1 / 2 V I J into the s o ( N ) algebra, Equation (103), results in
[ V IJ , V KL ] = 2 i ( δ I [ L V K ] J δ J [ L V K ] I ) .
We now prove Equation (A1) using repeated use of the garden algebra, Equation (10), rearranged as follows
L I R J = 2 δ I J L J R I .
We start by substituting the definition of V I J , Equation (14), into the left hand side of Equation (A1)
[ V IJ , V K L ] = V IJ V KL V KL V IJ = 1 4 L [ I R J ] L [ K R L ] L [ K R L ] L [ I R J ]
As an intermediate step, we make repeated use of Equation (A2) to modify the last term, momentarily neglecting the antisymmetry between the indices I and J and between L and K
L K R L L I R J = 2 δ I L L K R J L K R I L L R J = 2 δ I L L K R J 2 δ I K L L R J + L I R K L L R J = 2 δ I L L K R J 2 δ I K L L R J + 2 δ J L L I R K L I R K L J R L = 2 δ I L L K R J 2 δ I K L L R J + 2 δ J L L I R K 2 δ J K L I R L + L I R J L K R L
Substituting this back into Equation (A3) yields
[ V IJ , V K L ] = 1 2 δ I [ L L K ] R J δ J [ L L K ] R I δ I [ K L L ] R J + δ J [ K L L ] R I δ I [ L L | J | R K ] + δ J [ L L | I | R K ] δ I [ K L | J | R L ] δ J [ K L | I | R L ]
The first and fifth terms combine into a single term with V KJ , the second and sixth into V KI and so on:
[ V IJ , V K L ] = i δ I [ L V K ] J δ J [ L V K ] I δ I [ K V L ] J + δ J [ K V L ] I = 2 i δ I [ L V K ] J δ J [ L V K ] I
QED

Appendix B. Explicit LI and RI Matrices

For the choice c 0 = 0, the explicit L I matrices for the dWvH multiplet are
L 1 = 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 1 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 1 2 0 0
L 2 = 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0
L 3 = 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 1 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2
L 4 = 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 1 0 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 3 2 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 2 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 0
The R I matrices are inverses of the L I matrices: R I = L I 1 .

Appendix C. Explicit Form for the V ˜ IJ Matrices for the dWVH Multiplet in a 20 × 20 Tensor Product Basis

It would be instructive to construct a tensor product basis into which 20 × 20 matrices can be displayed. This is particularly useful for the V ˜ IJ matrices, as shown in this section. In [1], a s o ( 4 ) = s u ( 2 ) × s u ( 2 ) basis of 4 × 4 matrices is defined to illustrate how the fundamental adinkras CM, VM, and TM possess this symmetry even at the one-dimensional adinkra level. This s o ( 4 ) basis is
α 1 = 0 0 0 i 0 0 i 0 0 i 0 0 i 0 0 0 , α 2 = 0 i 0 0 i 0 0 0 0 0 0 i 0 0 i 0 , α 3 = 0 0 i 0 0 0 0 i i 0 0 0 0 i 0 0
β 1 = 0 0 0 i 0 0 i 0 0 i 0 0 i 0 0 0 , β 2 = 0 0 i 0 0 0 0 i i 0 0 0 0 i 0 0 , β 3 = 0 i 0 0 i 0 0 0 0 0 0 i 0 0 i 0 .
These β a ^ matrices are not to be confused with the auxiliary fermion β a for m SG . In terms of tensor products of Pauli spin matrices σ i and the 2 × 2 identity matrix I 2 , this can be written as
α 1 = σ 2 σ 1 , α 2 = I 2 σ 2 , α 3 = σ 2 σ 3 β 1 = σ 1 σ 2 , β 2 = σ 2 I 2 , β 3 = σ 3 σ 2 .
Augmenting these six matrices with the 4 × 4 identity I 4 , we construct a sixteen element l ( 4 , R ) basis as follows
I 4 , α a ^ , β a ^ , α a ^ β b ^ .
Next, we introduce an l ( 5 , R ) basis of 5 × 5 matrices:
ω 0 5 = 1 10 I 5 , ω 1 5 = 1 4 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 2 5 = 1 4 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ω 3 5 = 1 4 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 4 5 = 1 4 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 5 5 = 1 4 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ω 6 5 = 1 4 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 7 5 = 1 4 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 8 5 = 1 12 1 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 ω 9 5 = 1 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 , ω 10 5 = 1 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 , ω 11 5 = 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 ω 12 5 = 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 , ω 13 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 , ω 14 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 ω 15 5 = 1 24 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 , ω 16 5 = 1 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 , ω 17 5 = 1 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 ω 18 5 = 1 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 , ω 19 5 = 1 4 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 , ω 20 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 ω 21 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 , ω 22 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 , ω 23 5 = 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 ω 24 5 = 1 40 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 4
The above basis corresponds to the normalization choice nz[5] = 2 in the data file dWvH.m found at a GitHub data repository, although the user can choose any normalization for any representation. For instance, the form of the first three l ( 5 , R ) matrices take the general form
ω 0 5 = 1 5 n z [ 5 ] I 5 , ω 1 5 = 1 2 n z [ 5 ] 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , ω 2 5 = 1 2 n z [ 5 ] 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
The other l ( 5 , R ) matrices have similar generalized normalizations.
For the choice c 0 = 0 and normalization nz[5] = 2, the explicit form for the V ˜ IJ matrices for the dWvH multiplet are
V ˜ 12 = 2 i ω 9 5 α 3 β 2 + 2 i ω 10 5 α 3 β 2 2 i ω 13 5 α 1 β 2 2 i ω 14 5 α 1 β 2 + 2 i ω 16 5 α 3 β 1 + 2 i ω 17 5 α 3 β 1 2 i ω 20 5 α 1 β 1 2 i ω 21 5 α 1 β 1 2 i ω 23 5 α 2 β 3 + 2 ω 1 5 α 1 + 2 ω 2 5 α 1 2 ω 3 5 α 2 + 2 ω 6 5 α 3 2 ω 7 5 α 3 + 2 ω 8 5 α 2 + 5 ω 15 5 α 2 + 5 ω 24 5 α 2 2 ω 0 5 β 3 + 2 ω 11 5 β 2 2 ω 12 5 β 2 + 3 ω 15 5 β 3 + 2 ω 18 5 β 1 2 ω 19 5 β 1 + 3 ω 24 5 β 3 4 i ω 5 5 I 4 + 2 i ω 23 5 I 4
V ˜ 13 = 2 i ω 9 5 α 2 β 2 2 i ω 10 5 α 2 β 2 + 2 i ω 11 5 α 1 β 2 + 2 i ω 12 5 α 1 β 2 2 i ω 16 5 α 2 β 1 2 i ω 17 5 α 2 β 1 + 2 i ω 18 5 α 1 β 1 + 2 i ω 19 5 α 1 β 1 2 i ω 23 5 α 3 β 3 + 2 ω 4 5 α 1 + 2 ω 5 5 α 1 + 2 ω 6 5 α 2 + 2 ω 7 5 α 2 4 ω 8 5 α 3 + 5 ω 15 5 α 3 + 5 ω 24 5 α 3 + 2 ω 13 5 β 2 2 ω 14 5 β 2 3 ω 15 5 β 2 + 2 ω 20 5 β 1 2 ω 21 5 β 1 2 ω 22 5 β 1 + 5 ω 24 5 β 2 + 4 i ω 2 5 I 4
V ˜ 14 = 2 i ω 11 5 α 3 β 2 2 i ω 12 5 α 3 β 2 + 2 i ω 13 5 α 2 β 2 + 2 i ω 14 5 α 2 β 2 2 i ω 18 5 α 3 β 1 2 i ω 19 5 α 3 β 1 + 2 i ω 20 5 α 2 β 1 + 2 i ω 21 5 α 2 β 1 2 i ω 23 5 α 1 β 3 + 2 ω 1 5 α 2 2 ω 2 5 α 2 + 2 ω 3 5 α 1 + 2 ω 4 5 α 3 2 ω 5 5 α 3 + 2 ω 8 5 α 1 + 5 ω 15 5 α 1 + 5 ω 24 5 α 1 + 2 ω 9 5 β 2 2 <