Basis for Non-Factorizable Superamplitudes in N = 1 Supersymmetry

In this paper we develop a semi-standard Young tableau (SSYT) approach to construct a basis of non-factorizable superamplitudes in N = 1 massless supersymmetry. This amplitude basis can be directly translated to a basis for higher dimensional supersymmetric operators, yielding both the number of independent operators and their form. We deal with distinguishable (massless) chiral/vector superfields at first, then generalize the result to the indistinguishable case. Finally, we discuss the advantages and disadvantages of this method compared to the previously studied Hilbert series approach.


Introduction
In a previous work [1], we established a one-to-one correspondence between non-factorizable superamplidtudes, higher dimensional N = 1 massless supersymmetry operators, and Young tableaux.The key to that connection is the existence of a U (N ) symmetry, where N is the number of superfields in the operator/number of superstates involved in a superamplitude.Imposing this symmetry, the spinor helicity variables λ i , λi -used to represent components of on-shell superstates -are placed in the fundamental (for λ i ) and antifundamental (for λi ) U (N ) representations.An additional ingredient when working with superamplitudes is the Grassmann coordinate η i , which is used to construct superstates as (fermionic) coherent states.Invariance of the supercharges Q α , Q α demands that η i also transform as a fundamental of U (N ).Superamplitudes -products of λ i , λi , η i -are thus tensor products of U (N ) fundamentals and antifundamentals, and have a natural home in terms of Young tableaux (YT).Crucially, kinematic constraints (on λ i , λi ) such as equations of motion and integration by parts and supersymmetry constraints (on λ i , η i ) from the Ward identities are manifest in the shape of the Young tableaux and make it easy to spot which combinations of U (N ) fundamentals and anti-fundamentals in the tensor product are viable.The net result is that, given a set of (massless, distinguishable) chiral/vector superfields and superderivaties, we get a unique Young tableau shape.
From that set of chiral/vector superfields and superderivatives, the next step is to form a operator basis.Specifically, how many independent operators are there with the specified field/derivative content, and what is their form -meaning where are the derivatives applied and how are gauge and Lorentz indices contracted?If we are only concerned with the number of operators, Hilbert series techniques [2,3] suffice (see Ref. [4][5][6][7] for a review of Hilbert series for non-supersymmetric effective field theories), however knowing both the number and the form is often more useful.For non-supersymmetric theories, higher dimensional operators can be represented by YT, and it has been shown [8][9][10] that labeling the Young tableau boxes with particle numbers, 1 for the first particle in the operator, 2 for the second, etc. and arranging the enumerated boxes according to the reduced semi-standard Young tableaux (SSYT) filling selects a basis.To make use of the SSYT technique, one needs to know how many boxes to fill for each field in the operator (= particle in the non-factorizable amplitude) -how many 1s, 2s • • • N s for an operator with N fields.This number depends on the number of times λ 1 , λ 2 , etc. appear in the spinor helicity form of the operator.In Ref. [9], only a small number of operators were considered, and the authors just expanded out each operator of interest and counted the λ i 's.Subsequently, Ref. [10] found a simple algorithm to determine the number of times a particular index i ∈ 1 .. N appears purely from the number of derivatives present in the operator and the helicity of particle i -making it unnecessary to expand operators in spinor helicity form to determine the basis.With this simplifying step, the authors were able to determine the complete dimension eight operator basis in the Standard Model Effective Field Theory, and there have been several follow-ups to even higher mass dimension and expanded field content [11][12][13][14][15][16][17][18][19][20].The first goal of this paper is to use the reduced SSYT filing to find a basis for superoperators, which boils down to find a similar algorithm for the number of times index i appears in YT representing superfield operators.This task requires altering the algorithm that works for non-supersymmetric theories, as now there is an additional ingredient, η i , and there are two types of derivatives.
The second goal for this paper is to extend the operator ↔ YT and SSYT techniques to operators involving indistinguishable fields.Indistinguishable fields introduce Bose/Fermi statistics, which need to be imposed by hand on the YT.This manipulation doesn't care about supersymmetry, and techniques for imposing Bose/Fermi statistics on YT have been discussed for non-supersymmetric theories in Ref. [10].We propose an alternative, and we believe simpler (especially for operators with fewer fields), technique for imposing identical particle symmetry/antisymmetry.
The rest of this paper is constructed as follows: In Sec 2, we review the translation of superfield operators into YT form using a replacement rule that takes superfield operators to augmented spinor helicity variables.Next, in Sec. 3, we introduce a SSYT basis for YT.In order to apply the SSYT basis to YT from supersymmetric operators, we develop a counting scheme -meaning how to translate the number and type of superfields involved in an operator to labels used to fill in the boxes of the YT.This scheme depends on the number of fields and derivatives alone.In Sec. 4, we show how to systematically reduce the basis of operators when two or more fields are indistinguishable.The technique we use is independent of whether the operators are supersymmetric and is easily automated.We present our conclusions and a comparison of the YT and Hilbert series approaches to supersymmetric operator counting in Sec. 5.

Methods and Results
The focus of our previous work, which we continue here, is to determine the number and basis for higher dimensional supersymmetric operators in a given class.By class, we mean a list of how many different chiral (and anti-chiral) and vector superfields are present, along with the number of derivatives, e.g.D 2 D 2 Φ 3 (Φ † ) 2 .We will begin with the case when the fields are distinguishable (e.g. the Φ 3 in the example just stated correspond to three distinct fields), returning later to indistinguishable fields.These higher dimensional operators can either reside in the superpotential (if purely chiral or anti-chiral) or in the Kähler potential.However as explained in Ref. [2], terms with superderivatives can always be manipulated to sit in the Kähler term, so we will concentrate on setups of the form We assume that all fields are massless.Once the number of chiral and vector multiplets plus derivatives is fixed, the goal is to find the number of independent operators (free from equation of motion (EOM) and integration by parts (IBP) redundacies) and their explicit form.In Ref. [1], we showed that each operator class can be represented by a Young tableau, at least when all fields are distinguishable.The shape of the Young diagram is set by the number of superderivatives and the number of chiral superfields present in the operator.In this section, we recap the derivation of the YT operator form.

From operator class to Young tableau
In order to prove the YT form for supersymmetric operators, we followed the same logic as in non-supersymmetric theories.We first introduced a replacement rule which takes Lagrangian level (off-shell) superfields to on-shell massless spinor helicity expressions.Spinor helicity expressions are on shell therefore they are functions of (super)states rather than of (super)fields.In supersymmetric theories, the replacements involve spinor helicity variables λ i , λi as well as η i , a Grassmann variable introduced for each field in the operator to keep track of different components (helicity states) that are linked by supersymmetry, for example a superstate Φ i = ψ i + η i ϕ i (a symbolic form for |s = 1 2 ⟩ + η|s = 0⟩, where s is the helicity).Superstates can be formed in several different ways, depending on which supercharge one chooses to raise/lower helicity and whether one builds superstates starting from the highest helicity component (as in Φ above) or the lowest.Importantly, the choice of convention does affect how the supercharges act on the superstates and leads to some apparent asymmetry between how chiral vs. anti-chiral fields/states appear.In this work, we use the so-called η convention/representation throughout.See Ref. [1] for discussion of how to convert from one convention to another.
The complete η representation superfield replacement rules are listed below in Table 1 for chiral, anti-chiral, and vector superfields and their superderivatives.One may worry that Superfield Spin-helicity Expression Φ Table 1: Replacement rule in the η basis, expanded to include vector superfields.Additional powers of the superderivatives can be added to the above simply by applying D = λ i ∂/∂η i or D = λi η i .Spinor indices have been suppressed, but can be reintroduced; note that when repeated λ i or λi appear we are taking the symmetric spinor combination, e.g.
the rules in Table 1 replace a field by its lowest component only, e.g. the chiral superfield Φ is mapped only to η i , the coefficient of the scalar (lowest helicity) part of the superstate.However, this is completely compatible with the superspace formalism.To be more precise, the θ integration picks either the lowest component ϕ or the higher component ψ and will never project out both two simultaneously.The replacement rule then states that the appearance of Φ in the expansion gives ϕ, while DΦ gives ψ, etc.The latter identification is made between the lowest components of DΦ f ield and QΦ state , the fermion field ψ in this case.In addition, massless EOM are automatically obeyed by replaced forms.
Using the replacement rule, we derive the spinor helicity form for the operator class in question.This involves picking a particular partitioning of any derivatives, but any legal choice will suffice.We emphasize that using the replacement rule and picking an example operator from the class are crutches used for intermediate steps.Once we understand the YT form and how it depends on properties of the operator class, we can go directly from the operator class to the YT without replacing fields with spinor-helicity form.
Upon replacement, the representative operator is now a product of spinor helicity variables O is a Lorentz singlet, so all of the (suppressed in the above) spinor indices are contracted. 1ather than keeping track of these contractions, we endow the spinor helicity variables with U (N ) representations, where N is the number of fields present in the operator; λ and η are taken to be U (N ) fundamentals, while λ are taken to be antifundamentals 2 .This is useful, as the operator is now a tensor product of U (N ) fundamentals and antifundamentals and can be visualized using YT.Furthermore, the symmetries in a YT (whether boxes are symmetric or antisymmetric under interchange) are tied to the Lorentz (spinor) properties of the λ, λ.For example, in the spinor product ϵ αβ λ α i λ β j the spinor indices are antisymmetric.The U (N ) indices go along for the ride and are also antisymmetric, meaning the YT boxes for λ i ,λ j sit on top of each other as their own column of height two.Applying this logic to the set of λ i , λi in O, the Lorentz singlets will be the tensor products of paired λ i , λ j (columns of height two), and all pairs of λi λj (antisymmetric combinations of antifundamentals).To avoid having to keep track of both fundamental and antifundamental indices, we convert each pair of antifundamentals into an antisymmetric product of N − 2 fundamentals using the λi λj .Diagram-wise, these appear as columns of height N − 2 in the YT.
We are now left with a collection of height two columns and a collection of height N − 2 columns.The next step is to determine which tensor products between these two collections are legal.Additionally, we need to include the η i , which we have said transform as U (N ) fundamentals, and we need to account for the integration over d 4 θ to convert the Kähler term into a (higher dimensional) Lagrangian term.
As shown in Ref. [8,9], keeping only the YT with height N − 2 columns to the left of the height two columns is equivalent to removing all IBP redundancies.We'll refer to this as the "harmonic" YT form.Ref [8,9] dealt with spinor helicity representations of nonsupersymmertic theories.The fact that this result holds in our case -for the λ i , λi pieces of the operator before integrating over d 4 θ and ignoring the η i -is because the Poincarè algebra is a sub-algebra of supersymmetry and the usual IBP redundancies only care about the total derivative generated by the same momentum operator P .In other words, a "complete" YT diagram (which respect supersymmetry algebra and is IBP(∂)-free) contains a "harmonic" YT as its sub-diagram.
The role of d 4 θ and the η i dependence can be determined from the supersymmetric Ward identities.First, one can express d 4 θ = D 2 D 2 up to a total derivative (there is an implicit sum over i running 1 to N on each derivative).As D i = λ i ∂ ∂η i , the D 2 will only affect the η pieces of O, ignoring the harmonic structure of the λ, λ tensor product explained above.The D 2 replaces two η i with λ i .These two λ i and any free η i must combine into a totally antisymmetric U (N ) product in order to satisfy the supersymmetric Ward identity rather than Dα, D α.For the purposes of forming on-shell amplitudes/YT, what we care about is the Lorentz and supersymmerty properties of the derivatives, which are the same for ∇ and D (and ∇, D).We will therefore use D, D for all derivative instances to keep things simpler.
2 This assignment keeps the supercharges Q = i λi∂/(∂ηi), Q = i λiηi U (N ) invariant, and can be thought of as the extension of the little group for N massless fields from U (1) N → U (N ).To keep track of fundamental vs. antidundamentals, we will use lower i indices for the former and upper indices for the latter.
QA N = 0 [1].This antisymmetric product is a column of height N η ≥ 2, a number that depends on the number of chiral superfields and derivatives.To form a legal YT, this new column must sit between the group of N − 2 height columns and the height two columns.Astute readers may immediately notice that the above replacement automatically vanishes once there is no or only one η, i.e. (λ i In this case one needs to go to the η basis either by performing a Grassmannian Fourier transformation or using the dual replacement rules under the η basis, which we discussed in our previous work [1].In this paper we will only consider the operators containing more than one η after applying replacement rules. The final ingredient, D 2 generates the delta function δ 2 (Q † ) to enforce the Ward identity.It is left off the diagram just as the total energy momentum delta function δ 4 (P ) is omitted from non-supersymmetric diagrams.The presence of the delta function is automatic for amplitudes in the η basis, and Ref. [1] showed explicitly how D 2 leads to this factor in several examples.
To summarize -we started with a selected operator from a class we were interested in, and the end result is a YT.For our representative operator, we know exactly what particle number indices accompany each spinor helicity variable, so we can even fill in the tableau with numbers.To illustrate the steps outlined above consider the operator class Choosing the representative operator and replacing the fields with their spinor helicity form, where we used ϵ 12345 to convert all U (N ) indices to fundamentals in the last step.Each grouping in the line above corresponds to a YT column, and the groups have been rearranged so gluing their respective columns together gives a legal, harmonic YT.Rather than listing the spinor contractions as in Eq. (2.2), we can use angle and square bracket shorthand, ⟨45⟩ [12]    We emphasize that the outcome of this class ↔ YT translation is just the tableau shape.When we considered representative operators, these gave us the table shape and information on how the boxes should be filled with particle number indices.What we'd like is a way to go from the YT shape directly to a basis of operators for the class without having to think about all possible ways to partition derivatives and contract indices.Not only is the latter method tedious, it almost always over counts the number of independent operators as it is easy to miss redundancies due to group identities, integration by parts, and the equations of motion.A more systematic method is presented below utilizing Semi-Standard Young tableaux.

Semi-Standard Young Tableaux
Having reviewed how we go from an operator class to a unique YT shape, we move on to using the YT to find a basis for the operators in the corresponding class.By basis, we mean the set of independent operators that can be manipulated -via integration by parts, the equations of motion, or group (Fierz/Schouten) identities -into any operator with the same field and derivative content.
The YT are indispensable for this task, as it is well known that an independent basis of a given shape and fillings of a Young tableau is formed with the following two rules: • The numbers along a certain row weakly increase; • The numbers down a certain column strongly increase.
The result is called semi-standard Young tableaux (SSYT) basis [21,22] and forms a natural basis of the U (N ) representations, i.e. operators in this paper.The number of SSYTs equals the dimension of each representation. 3In this paper we will only care about how to form the basis and we are not interested in finding a preferred basis, i.e. a basis under which certain calculations become easier.
The question then arises of how to find the fillings/numbers with a given superoperator/superamplitude without having to expand it in spinor helicity form.Explicitly, what we need are the number of entries, which we'll refer to as #i in the following, for each of the N particles in the operator/amplitude (again, for now we are sticking to operators formed from distinguishable, massless fields).
In non-supersymmetric (massless) theories, Ref [10] showed that #i could be determined from the number of derivatives and the helicities of the particles involved: where N D is the number of derivatives present, h j are the helicities (0, ±1/2, ±1) of the N fields in the operator, and the sum extends only over the positive helicites.Once we know the complete set of numbers and fillings in the YT using these arguments, we immediately have the basis -both its size and the explicit form of the operators -just by knowing properties of the operator class.What we would like is the analog of Eq. (3.1) for supersymmetric theories.The algorithm above (Eq.(3.1)) is, at its heart, just a mechanism for counting the number of λ i (or λi ) without having to pick a representative operator from the class to expand as a guide.Note that counting the number of λ i (or λi ) is really a proxy for counting the number of U (N ) fundamentals (antifundamentals) -so when we look at superamplitudes we will want to count λ i , λi and η i .Additionally (in both the supersymmetric and non-supersymmetric cases) we will use the ϵ 1•••N to relate any pair of λi λi to N − 2 fundamentals, so e.g for N = 5, λ1 λ2 is equivalent, in terms of U (N ) indices, to λ 3 λ 4 λ 5 .
Focusing first on operators composed purely of chiral/anti-chiral superfields -operators classes (N Φ chiral fields and N Φ † antichiral) - let's examine how each piece, D, D, Φ i , Φ † j contribute U (N ) indices.Reviewing the replacement rule, we see each Φ contributes one fundamental, while each Φ † contributes nothing.Each D, removes one η i but replaces it with a λ i , so no net change in the number of fundamentals.This leaves us with D = λi η i as the only other factor contributing to index counting.Each pair of D (and for operators of the form above, n must be even) generates λi λj , which, upon contracting with ϵ 1•••N generates a fundamental index for all of N = N Φ + N Φ † except for i and j.However, the D pair also introduces η i η j , exactly compensating for the indices omitted when contracting the pair of λ with ϵ.Thus, we get an index for each chiral field plus an index for all (chiral and antichiral) fields for each pair of D. In summary, Now let's allow vector superfields.The most general operator class we can consider is where n + N W and m + N W must be even by Lorentz invariance.Consulting Table 1, each W i is straightforward to count as it introduces two fundamental indices.The W i are more subtle, as they only introduce a single λi , and the procedure above assumed all λi came in pairs and were each accompanied by an η i .Had each W i contained an η i , the combination of D n and (W ) N W would look like (from spinor-helicity perspective), n + N W derivatives, which we know from above gives copies of all N = N Φ + N Φ † + N W + N W indices.However, minus the accompanying η i , we need to remove one index for each W i .Altogether, Note that the combination (n + N W )/2 is the only thing that appears in #i, while we need in addition the total number of fields N , the number m of D and the number of chiral superfields N Φ + N W to determine the YT shape.

Examples
Now that we have worked out how the YT shape and index counting (#1, 2, • • • N ) depend on properties of the operator class, let us look a few examples.
For our first example, let us see operator class through to the end.We need the latter expression to know which particle number indices belong to chiral fields and which belong to antichiral fields.The YT shape for this operator class has been shown in Fig. 3 The spinor helicity form for each independent operator can be read directly from the diagram, and can be converted to superfield format as explained in the text and in Ref. [1].what we get using the Hilbert series method [2,3].However, using the SSYT approach, we also get the form of each basis operator.The spinor helicity form can be read off directly, e.g.[12]] for the leftmost operator in Fig. 5 [1] for more details on the spinor helicity to superoperator tranlastion, and in particular how to adapt the procedure when vector superfields are present.

, where we use [[• • • ]] to represent the 'supersymmetrization' piece of the diagram. This can be converted to superoperator form by dropping the [[• • • ]] and mapping
Note that, while the particular form of the filled YT -the #i -depends on our choice to label the fields as Φ 1 Φ 2 Φ † 3 Φ † 4 Φ † 5 , beginning with the chiral superfields sequentially starting with index #1, followed by the anti-chiral fields, the counting is independent of this choice.We would get six operators applying the SSYT to any other labeling choice, such as 4 A different ordering does result in a different basis, and it may be the case that one choice is better than another for certain calculations, however for our purposes we only care about finding "a" basis, so we are free to pre-order the labels as in (3.2) As a second example, we add an additional chiral superfield - The YT now has 9 boxes, arranged into a column of height N − 2 = 4 from D, a column of height N η = 3 and a column of height 2 from the D. The #i counting is identical to the first example, there are just more chiral fields -#i = {1, 1, 2, 2, 3, 3, 4, 5, 6}.Filling the YT, we find 17 SSYT, corresponding to a basis of 17 operators.The fillings are shown below in Fig. 6 Again one can directly read the operator SH form directly from the YT.For example, the first diagram reads: For our final example, we return to The YT shape for this class can be found in Fig. 4, using N = 5, m = 2, n = 1, N Φ = N Φ † = N W = 1 and N W = 2.These 9 boxes are to be filled with #i following Eq.(3.5) with (n + N W )/2 = 1: #i = {1, 1, 2, 3, 3, 3, 4, 4, 4}.The three possible SSYT fillings are shown below in Fig. 7, and correspond to the operators ⟨25⟩ [24][34][ [13] Notice that in previous studies [8,9] one reads off the amplitude/operator from a given diagram by taking certain symmetrization/antisymmetrization among columns and rows, resulting in an amplitude which is annihilated by the conformal generator K = ∂ ∂λ ∂ ∂ λ .However one can always use total (super-)momentum conservation to add arbitrary polynomials of momentum P = λ λ and leave the on-shell expression unchanged.Therefore the easiest choice is simply to take the fillings and form a monomial following the rules [15].This is the 'trick' we apply when reading the diagrams.
. As in the previous example, while the operator form (either as YT or superfields) will depend on how we label the fields, meaning which we take as field #1, which as #2, etc., the number of independent operators does not depend on this choice.

Indistinguishable Superfields
Having discussed the construction of a basis for higher dimensional supersymmetric operators formed from (massless), distinguishable superfields, we now turn to the case where identical superfields appear in the operator.Formally, one can pick the basis for operators with identical superfields by taking the quotient of operator basis with distinguishable superfields with respect to the following equivalence relation(s): assuming Φ m (Φ † m ) is identified as another superfield Φ n (Φ † n ), where O ′ denotes the operator with indistinguishable superfields.One operator O may be identified with several O ′ s 5 , which indicates that not all of them are linearly independent, and we need to remove such redundancies when constructing the basis.
It is straightforward to see that the existence of indistinguishable superfields will lead to fewer independent superamplitudes, since the new symmetry group G now is not the entire U (N ) symmetry among λ, λ, η, but becomes the quotient space because of the S n i groups among identical fields, with S n i being the usual symmetric group and n i is the multiplicity of each field, To construct a basis with symmetry G, the recipe we follow is: construct the basis with all distinguishable superfields and then breaks U (N ) → G, which is the actual symmetry when identical superfields are involved.The S n symmetry is removed by calculating the quotient space with the equivalence relations defined in Eq. (4.1).
One may wonder if we could directly construct the SSYTs for G instead of the single U (N ).After all, Young diagrams can describe S n symmetry and we should expect that G as a quotient shares a similar property.However, this topic is beyond the scope of the current paper. 6For now, we will apply a somewhat brute force matrix approach to deal with indistinguishable superfields.Despite being cumbersome, this approach is general and should work for any case. 7

General Approach
For a given operator class containing N fields, we first form the SSYT basis following the steps in Sec. 2, 3 assuming all particles are distinguishable.Each particle (or state, when the operators are viewed as a non-factorizable amplitudes) comes with its own label, which we use to fill the YT following the SSYT prescription.We then combine the basis elements into a vector ⃗ , where A i = A i (λ, λ, η) corresponds to the ith YT/amplitude and n is the basis size for the operator class in question.From this setup, we want to make two states -which formerly carried labels a and b ∈ 1 Starting with an amplitude of distinguishable states, let's act on it with S 2 , interchanging the labels of the states (a ↔ b).The resulting amplitude will not necessarily be an element of the SSYT basis ⃗ A, but as the basis is complete we can always express it as a linear combination of the A i .Mathematically, we phrase this as ⃗ A − → S 2 H ⃗ A, such that the i th row of H gives the linear combination of basis operators that A i transforms into under S 2 .However, if two states are identical, how we label them in an amplitude should not matter, meaning swapping what we call state a and state b must get us the same amplitude up to concrete example is given later in Eq.(4.5) to (4.7). 6Garnir relations [23] may be helpful and give some insight for readers who are interested in this direction. 7For cases involving more global/gauge symmetries, one may refer to [10] where a rigorous tensor representation approach is built for non-supersymmetric EFTs and it's not difficult to generalize to the supersymmetric we study here.

Conclusion and Discussion
In this paper we have developed a SSYT approach to construct a basis of N = 1 supersymmetric effective operators at arbitrary mass dimensions with any number of distinguishable/indistinguishable superfields and superderivatives.We have proven the relation between classes of operators and SSYT using an internal U (N ) symmetry (N = number of fields in the operator) that acts on helicity amplitude variables and supersymmetric state Grasmmanian variables.Given the contents of the target operator space, we first treat all superfields as distinguishable and order them in the standard form (see eq. 3.4).The number of undotted and dotted indices, combined with the number of chiral superfields determine the shape of YT, while the number of chiral superfields and derivatives determine the supersymmetric part of the complete YT under η-representation (check Fig. 1 and the text around).The power of each building blocks, set by the number of D and W determines the set of numbers to fill the boxes, i.e. eq. ( 3.3) and (3.5).Finding all SSYTs is straightforward and these diagrams correspond to a basis free of EOM and IBP redundancies.If there are identical superfields, we can pick the subspace spanned by the set of identical superfields and remove the redundant operators using the matrix approach introduced in Section.4. We summarize the steps in the flowchart Fig. 8.One can already notice that the SSYT approach becomes complicated when indistinguishable superfields are involved, and this clearly comes from the fact that one cannot construct a diagram without labelling fields, but the labelling explicitly breaks the permutation symmetry.
If one only wants to find the dimension of the basis for a given supersymmetric operator class, a recent approach via the Hilbert series [2,3] is more effective.Whether or not the superfields are indistinguishable doesn't complicate the calculation, in contrast to the SSYT approach we studied here, where we need to find matrices H, M for indistinguishable cases.However Hilbert series method has its own problem: the calculations become unwieldy if the number of derivatives or fields of the operator class becomes large.The two approaches give exactly the same counting of independent operators at any given mass dimensions, and serve as complementary methods and cross-checks.
Some future avenues of research along this direction are: extending this approach to the massive case, where the little group for each state in an amplitude is SU (2) rather than U (1); studying the possible recursive pattern between amplitudes; relating component amplitudes and supersymmetrization, or analyzing the possible role of superconformal or dual superconformal [24] symmetry.
[[45]], where we have introduced the notation [[ij]] to indicate the product of η's.Had we picked a different representative operator, say

Figure 2 :
Figure 2: Young tableaux for two different operators in the class D 2 D 2 Φ 2 (Φ † ) 3 .The leftmost column contains the products of λi (expressed in terms of U (N ) fundamentals using the U (N ) ϵ symbol), the right column contains the product of λ i , and the middle, shaded column contains an additional product of λ i that originates from the D 2 ∈ d 4 θ.The indices in the boxes correspond to the i index in e.g.λ i and change as we shuffle where the derivatives are placed.

Figure 3 :
Figure 3: Young tableau shape for D 2 D 2 Φ 2 (Φ † ) 3 class operators.This shape is determined entirely by counting the number of chiral and anti-chiral superfields and the total number of derivatives and does not require us to pick a representative operator within the class to use as a guide.Notice that, at this stage we have no input into what index to put in each box.

Figure 4 :
Figure 4: Young tableau shape for D 2 DΦΦ † W 2 W class operators.As in Fig. 3, the shape is determined purely by the number of fields of each type (chiral/vector) and the number of derivatives.

Figure 5 :
Figure 5: The SSYT basis for the operator class∼ D 2 D 2 Φ 1 Φ 2 Φ † 3 Φ † 4 Φ † 5 .The spinor helicity form for each independent operator can be read directly from the diagram, and can be converted to superfield format as explained in the text and in Ref.[1].

Figure 6 :
Figure 6: The SSYT basis, 17 total operators, for the operator class∼ D 2 D 2 Φ 1 Φ 2 Φ 3 Φ † 4 Φ † 5.As in the previous example, while the operator form (either as YT or superfields) will depend on how we label the fields, meaning which we take as field #1, which as #2, etc., the number of independent operators does not depend on this choice.

Figure 8 :
Figure 8: Flowchart summarizing the results of our paper.