On-Shell Gauge Invariant Three-Point Amplitudes

Assuming locality, Lorentz invariance and parity conservation we obtain a set of differential equations governing the 3-point interactions of massless bosons, which in turn determines the polynomial ring of these amplitudes. We derive all possible 3-point interactions for tensor fields with polarisations that have total symmetry and mixed symmetry under permutations of Lorentz indices. Constraints on the existence of gauge-invariant cubic vertices for totally symmetric fields are obtained in general spacetime dimensions and are compared with existing results obtained in the covariant and light-cone approaches. Expressing our results in spinor helicity formalism we reproduce the perhaps mysterious mismatch between the covariant approach and the light cone approach in 4 dimensions. Our analysis also shows that there exists a mismatch, in the 3-point gauge invariant amplitudes corresponding to cubic self-interactions, between a scalar field $\phi$ and an antisymmetric rank-2 tensor field $A_{\mu\nu}$. Despite the well-known fact that in 4 dimensions rank-2 anti-symmetric fields are dual to scalar fields in free theories, such duality does not extend to interacting theories.


Introduction
The gauge principle has evolved over the past century from an insight of Weyl to being held as a guiding principle for constructing quantum theories that describe the interactions of elementary particles. The current paradigm of particle physics is summed up in the Standard Model (SM) with SU (3) × SU (2) × U (1) gauge bosons interacting with the observed multiplets of quarks and leptons. While there are numerous attempts to extend this paradigm, the most noticeable being supersymmetry [1,2], there are also efforts to extend the gauge interactions to higher spin fields [5-7, 12, 13, 16-23]. The difficulty of constructing interacting theories involving only finitely many spins were already noticed in some of these early works [14]. The most recent attempts to extend the gauge sector to infinitely higher spins can be found in, e.g. [3,4]; see also works in this directions from the string perspective [16,17].
Since the 1980s there have been various approaches to determine the possible higher-spin interactions, the first attempts being by Bengtsson et al [12,13] in which three-point higherspin vertices, unique for a particular set of spins, were obtained in the light-cone formalism. A more general result was later obtained in [6] by a similar method, in which Metsaev used commutators of the Poincaré algebra to obtain the parity-even cubic vertices for massless fields in four dimensions, the cubic vertices for massless totally-symmetric fields in five dimensions and the cubic vertices for massless fields in six dimensions. The covariant approach was initiated in [14], as they constructed the unique self-interactions for massless spin-1, 2, 3 fields and interactions of two scalars with a spin-s boson using the Fronsdal fields. This line of research was recently completed by Manvelyan et al. [15]. Sagnotti et al. [16] and Fotopoulos et al. [17] derived the same results from the string theory.
On the 3-point amplitudes Benincasa and Cachazo [5] exploited the technique of spinor helicity to derive a general form of helicity amplitudes for three massless particles. But this construction does not manifest the gauge symmetry, since spinors transform trivially under the translations (the gauge transformations in this case) in the little group. Therefore given a spinor helicity amplitude in [5] it is not clear whether there exists a Lagrangian description of a gauge theory which could lead to such an amplitude or not. It is, nevertheless, possible to include gauge transformations in the spinor helicity formalism (for example, see [11]). Benincasa and Cachazo used BCFW to investigate a class of "constructible" theories and found that there are no nontrivial amplitudes of different species of spin-2 particles or particles with spin larger than 2 among this class of theories, while a theory with a single kind of spin-2 particles is unique. Lately Boels and Medina [7] have obtained the three-point amplitudes using the constraints of on-shell gauge invariance. Their results are expressed in terms of polarization tensors with the gauge transformations manifest; these have been done for polarization vectors and rank-2 polarization tensors, but not for general polarizations.
There emerges a series of works combining these two approaches to study the spinor helicity amplitudes [19,22,23], the most notable discovery being a mismatch between the light-cone and covariant approaches: there are cubic vertices existing in light-cone approach but are absent in the covariant approach [19,[21][22][23]. As it turns out, the missing part is crucial for the existence of the higher-spin theory in 4d Minkowski spacetime, as pointed out by [19] and [23].
In this paper we study the 3-point gauge-invariant amplitudes which are expressed in terms of polarization tensors. Lorentz invariance and locality give strong constraints on the amplitudes in gauge theories so it is natural to use these constraints to select the possible theories. We focus on the parity conserved theories.
Let us first clarify what we mean by gauge invariance. We use the term gauge in the situation where the descriptions in a theory have redundancies. For example two polarization vectors e µ (p) and e µ (p) + p µ describe the same physical state of a massless spin-1 boson. This is a redundancy in the description. We use the term gauge invariance to refer to the fact that all physical quantities, such as scattering amplitudes, do not depend on how we describe a particular physical state. Although in the following discussion, we only consider the variation of the polarization tensors, our discussion is still valid for Non-Abelian Gauge theories: at the zeroth order (in coupling constant g) the gauge transformation does not change the color of the external states (the term containing f abc also has a factor g). Therefore we can simply drop the factor f abc in the following discussion on the gauge invariance of 3-point amplitudes.
With these theoretical assumptions we start with the 3-point gauge-invariant amplitudes of totally symmetric fields whose polarizations can be written as ± (p) = s i=1 e ± (p). We find four basic gauge-invariant amplitudes, from which all possible the 3-point gauge-invariant amplitudes of three totally symmetric tensor fields can be constructed. We are able to give constraints on the total number of derivatives that are allowed to appear in a 3-point gauge-invariant vertex. Although we present our work in 3+1 dimensions, our analysis of the totally symmetric fields is valid for d+1 dimensions (d ≥ 3): since changing the dimensions changes neither the form of polarization tensors nor their gauge transformations for totally symmetric tensor [20]. Whereas the number of polarization directions can change, the polarization tensors in this case are tensor products of polarization vectors in the same direction. One special thing, nevertheless, arises in four dimensions: many of the otherwise allowed amplitudes may vanish due to a Schouten-like identity.
The general results are summarized as follows, where N is the total number of derivatives in the cubic vertex and In 4-dimension, however, due to a Schouten type identity, the non-trivial amplitudes are given by (assuming s 1 ≤ s 2 ≤ s 3 for convenience) and Next we turn our attention to the 3-point gauge-invariant amplitudes of fields with mixed symmetries. We show that, like in the case of totally symmetric fields, there are certain basic amplitudes which can be used to construct all other amplitudes; we provide a detailed recipe to do so. It is known (for example, see [20]) that all massless mixed-symmetry fields are dual to totally-symmetric fields in the free theory in 4-dimension. Our result shows that this duality does not extend to the interacting theory: there exists a mismatch between the 3-point amplitudes upon introduction of interaction. Expressing our results in spinor helicity formalism we show that in two representations of the same helicity if the 3-point amplitudes for a given set of momenta do exist in both theories, these two amplitudes must be the same (up to coupling constants). This is because the 3-point amplitudes in spinor helicity formalism only depend on their helicities. Also in the spinor-helicity formalism, we can derive the conditions for nonvanishing amplitudes. This constraint is, however, missing in the light-cone approach. Therefore we can reproduce, and perhaps help to elucidate, the mismatch between the covariant approach and the light-cone approach.
The article is organized as follows: In the next section, we briefly review polarizations and gauge transformations to set notations. In Section 3 we discuss the gauge invariant 3-point amplitudes of higher-spin fields with total symmetry and mixed symmetry in their Lorentz indices. In Section 4 we present an example of how to construct a specific amplitude. And Section 5 is a brief conclusion and a short discussion. A straight forward derivation for all possible gauge invariant 3-point amplitudes in the case of totally-symmetric tensors is presented in Appendix.

Polarizations and Gauge Transformations
In the construction of a Hamiltonian with field operators that leads to a Lorentz invariant Smatrix, a generic field operator ψ l is required to transform according to a representation of the Lorentz group [8,9]: where U (Λ, a) is the operator corresponding to the Poincaré transformation x = Λx + a. In the case of a rank-r tensor field φ µ 1 ···µr describing a massless spin s particle, the condition (2.1) is fulfilled if the field operator is of the form with the polarization tensor satisfying [8] D [R(θ)] µ 1 ···µ r µ 1 ···µr where k = (1, 0, 0, 1) is a standard momentum and R(θ), S(α, β) are the little group transformations: and D [R(θ)] , D [S(α, β)] are the tensor representation matrices. Equation (2.4) requires that the translations of the little group act trivially to exclude continuous internal quantum numbers (For example, see [20]). Usually the above equations cannot be simultaneously satisfied. In such cases, we require only Equation (2.3) to hold and that any physical quantities (for example, the scattering amplitudes) must be invariant under translations of the ISO(2) (which we loosely call the "gauge transformation"): which, nevertheless, ensures Lorentz invariance of the amplitudes.

Gauge Invariant 3-Point Amplitudes
In this section, we shall use on-shell gauge invariance to determine the three-point amplitudes of massless bosons with integral spins. Lorentz invariance, locality and parity conservation are assumed throughout this paper. We shall also assume that the invariance of amplitudes under transformations (2.13) holds for complex momenta. This may be a general property of the amplitude: analytic continuation in the momenta does not break the on-shell gauge invariance. We do not have a proof and we take it as an assumption. With complex momenta, p 1 , p 2 , p 3 are not forced to be collinear, even though momentum conservation (p 1 + p 2 + p 3 = 0) and the massless on-shell condition (p 2 i = 0) imply p i · p j = 0. As a result, e i · p j = 0 for i = j in general.
In subsection 3.1, we write down the general amplitudes for totally symmetric fields constructed from Lorentz invariant pieces and then compute (in Appendix) explicitly the variation of the amplitudes under gauge transformations (2.13). Demanding the variations be zero, one can determine the coefficients in the amplitudes. This method is straight forward, but not appropriate to apply it to the case with mixed symmetry. In subsections 3.2 and 3.3 we turn the on-shell gauge invariance conditions into a set of differential equations to determine the amplitudes, which applies conveniently to both the totally symmetric case and the case with mixed-symmetry.

Amplitudes of Totally Symmetric Polarizations
Consider three massless particles whose polarization tensors 1 (p 1 ), 2 (p 2 ) and 3 (p 3 ), with (p 1 + p 2 + p 3 = 0), are given by, where s i denote the spins of the particles and, e i (p i ), the polarization vectors (sometimes denoted by e ± i (p i )≡ e i (p i , ±s i ) to emphasize the positive or the negative helicities respectively, ± is omitted when there is no ambiguity.).
A complete set of gauge invariant amplitudes is obtained with a straightforward calculation, presented in the Appendix. Each independent amplitude is labelled by, N , the number of derivatives: and N satisfies Note that in the above discussion we consider only the 4-dimensional case. We can, nevertheless, generalize our results to any D-dimensions (D ≥ 4), because our derivation in the Appendix only depends on the transversality of the polarization vectors, the absence of self-contractions e i ·e i and the form of the on-shell gauge transformations, δe i ∝ p i . These still hold in dimensions larger than four, see, e.g. section 5.3.1 of [20]. The range of allowed momenta, of the generalized results, agrees with the corresponding results in the light-cone approach [6] and the results obtained in the covariant approach [15,16].
In 4-dimensions, however, there are only 4 linearly independent vectors. As a result, a Schouten-like identity makes some of the amplitudes acquired in the generic dimensions vanish. To see this, consider the following 5-by-5 matrix, e 1 · e 1 e 1 · e 2 e 1 · e 3 e 1 · p 1 e 1 · p 2 e 2 · e 1 e 2 · e 2 e 2 · e 3 e 2 · p 1 e 2 · p 2 e 3 · e 1 e 3 · e 2 e 3 · e 3 e 3 · p 1 e 3 · p 2 Since only 4 of these vectors are linearly independent, the determinant of this 5-by-5 matrix must vanish: This implies that (e 1 · p 2 ) (e 2 · p 1 ) (e 3 · p 1 ) A Y M = 0, and thus the only non-vanishing amplitudes in 4D are: and Another way to see this is to express the amplitudes in the spinor helicity formalism. The non-vanishing amplitudes satisfying (3.4) are given by (taking s 1 ≤ s 2 ≤ s 3 ): In a nutshell there can be only 1 type of bracket appearing in the 3-point amplitudes in 4-D due to momentum conservation; and it is not hard to see that these non-vanishing amplitudes are the only ones satisfying the constraint.

The Totally Symmetric Case: Yet Another Way
We propose a different method to otain (3.2). This method can be applied to the analysis of gauge invariant amplitudes of tensor fields with polarizations of mixed symmetry. Let us first define (3.10) The gauge invariance of the amplitude A[ e 1 , e 2 , e 3 ] requires that , these equations can be combined into a single vectorial equation: For this solution to be a proper amplitude, it should be a polynomial in X and Y. This denoting a polynomial ring over K. Note that X · Y is nothing but the Yang-Mills amplitude. We thus conclude that the full set of gauge invariant amplitudes consists of all polynomials in (X 1 , X 2 , X 3 ) and X · Y = A YM (e 1 , e 2 , e 3 ), consistent with (3.2).

The Generic Case
Similarly if we allow the polarizations 1 , 2 , 3 to be general (2.12) with mixed symmetry. By definitions, the gauge invariance conditions become: (3.14) We have assumed that the amplitudes contain no self contractions e + i · e − i , without loss of generality.
Only 5 of the above equations are linearly independent and because the number of Y 's is 12, there are 7 independent solutions for A. By "independent solutions" we mean the functions of Y 's whose degrees of freedom lie along the independent directions in the Y -space. We need not solve these equations. From the previous results we know that the following Yang-Mills-type functions are gauge invariant: and 7 of which are linearly independent. We will choose the first 7 functions to be independent in 3.16. A general solution can thus be written as is associated with three faces and three edges to which the corresponding vertex is attached. Each vertex is a sum of the associated faces multiplied by perpendicular edges.
Although we have obtained the solution (3.16), we still need to impose the condition that f X (A χ 1 χ 2 χ 3 YM ) be a polynomial in X's and Y 's. We can set 5 of the Y 's to zero such that the 7 of the A χ 1 χ 2 χ 3 YM are still linearly independent. In this way the remaining Y 's can be expressed as linear combinations of the A χ 1 χ 2 χ 3 YM , and f X (A χ 1 χ 2 χ 3 YM ) must be a polynomial in A χ 1 χ 2 χ 3 YM , with rational functions of X's as coefficients. Furthermore the amplitude is homogeneous in e ± i , these rational coefficient functions must therefore be homogeneous in X ± i and must be of the form where n ± i being integers. The amplitude can finally be expressed as where m + i , m − i are non-negative integers and P, Q are polynomials in the Xs and A χ 1 Let us consider the case where the only non-vanishing m in (3.18) is m + 3 = 1: We note the following identity: which means that the LHS (denoted by K + 3 ) contains a factor X + 3 when viewed as a polynomial in the Xs and the Y s. Expressing A −++ YM in terms of the other linearly independent A YM 's and K + 3 : and A +−− YM are linearly independent. Therefore if the coefficients of Q 0 are not all zero, we would have This indicates that Q 0 ≡ 0 (mod X + 3 ) ⇒ Q + 3 ≡ 0 (mod X + 3 ) which violates our assumption. Hence the term Q 0 must vanish and Q + 3 contains a factor K + 3 . So we have proved that A + 3 can be written as where P + 3 is a polynomial in the Xs and A χ 1 χ 2 χ 3 YM , and β + 3 is defined by Likewise we can show that a generic amplitude (3.18) can be cast into the following form, where m ± i are non-negative integers, P is a polynomial in the X's and A χ 1 χ 2 χ 3

YM
, and Staring at the figure 1, the form of the other β's can be easily inferred from β + 3 . Since We can conclude from (3.21) that the set of all gauge invariant 3-point amplitudes are thus given by With β i being antisymmetric in e + j and e − j , j = i. If we restrict to the totally symmetric case (3.1), the set (3.23) reduces to C A χ 1 χ 2 χ 3 YM , X χ i i , with fixed χ 1 , χ 2 , χ 3 . That's why β i does not show up in equation (3.2).

Helicity Amplitudes
Now let us express the amplitudes in terms of helicity spinors. If there is no β i or self contraction terms e + i · e − i , then an amplitude A[ 1 (r 1 , σ 1 ; λ 1 ), 2 (r 2 , σ 2 ; λ 2 ), 3 (r 3 , σ 3 ; λ 3 )] can be expressed as a polynomial in X ± i and A YM (e ± 1 , e ± 2 , e ± 3 ). Adopting the convention in the literature [10], From (3.24) we can see that a term in the polynomial can be a product of only square brackets (the first and the third row of (3.24)), or a product of only angle brackets (the second and the fourth row of (3.24)), or a product of square brackets and angle brackets. The last type vanishes on-shell because the three on-shell momenta satisfy momentum conservation.
The amplitudes can, thus, be written in the form (3.25) where α S , α A , α S , α A are numerical constants to be specified by the underlying theories, and and {V T...} stands for "terms vanishing on-shell". This coincides with the general form of three point amplitudes given by Benincasa and Cachazo [5].
The requirement, a + 1 , a + 2 , a + 3 , b ++− , b +−+ , b −++ 0, yields The second inequalities in (3.28) and (3.29) cannot be simultaneously satisfied (unless in the trivial case, r 1 = r 2 = r 3 = 0, which is not being considered here). This indicates that either α S or α A vanishes. In the case where the coefficient α A vanishes, (3.28) leads to We pause here to make a few remarks. (3.28) and (3.29) imply that in the case of nonvanishing α S , the ranks of the polarization tensors cannot exceed σ i and in the case of non-vanishing α A , the ranks cannot exceed − σ i . The inclusion of β i has no influence on our discussion since β i vanishes in the spinor helicity formalism and will only appear in the {V T...} terms. Because a self contraction term e + i · e − i does not affect the helicity, it will not affect (3.30) and (3.31).
The two constraints in (3.30) and (3.31) are absent in the light-cone approach. Thus, we reproduce the mismatch between the covariant approach and the light-cone approach. For further discussions on this mismatch, the readers are referred [19,[21][22][23].
One can easily see from (3.25) that the amplitudes are independent of r i . This suggests that different representations with the same helicity can give the same amplitudes, as long as the amplitudes for the particular representation exist. But equation (3.25) does not guarantee the existence of non-trivial amplitudes for the representations with mixed symmetries.
The solutions to equations (3.36) are given by the linear combinations of (3.32) and equations (3.37), yielding (3.38) Comparing these equations with (3.36) we find that the solution space for K can be obtained by acting with the linear operators π 1 π 2 π 3 λ 1 (π 1 )λ 2 (π 2 )λ 2 (π 2 )(π 1 ) −1 (π 2 ) −1 (π 3 ) −1 (which can be singular) on the solution space of (3.36). We thus have in each term of a given amplitude. This classification includes all possible amplitudes, but those of different types may not be linearly independent (as we will discuss further below). The number of derivatives (denoted by N ) in each term of an amplitude of type (L, M , N ) is given by where r 1 , r 2 , r 3 are the ranks of the polarizations.
One may attempt to include another amplitude X + 1 X + 2 X + 3 A −−− YM of type (0,0,1) in the above list but, as we have mentioned before, it has linear dependence on the other seven amplitudes of the same type, namely, Categories that have a common number L + M + N (or in other words, have the same number of derivatives) contain linearly dependent amplitudes. This happens when amplitudes with a term β i X ± i appear in the list: β i X ± i is a polynomial in Xs and A χ 1 χ 2 χ 3

YM
. Therefore we need to remove all the amplitudes of type (0,1,0).
Let us now determine the gauge invariant amplitudes for the following cases:
We then delete from List(+−, χ 2 χ 2 , χ 3 χ 3 ) the amplitudes that are symmetric in e + 1 and e − 1 to get the following truncated list, Table 2: Truncation of List(+−, χ 2 χ 2 , χ 3 χ 3 ) A general gauge invariant amplitude of the polarizations in (1) can be obtained by antisymmetrizing the amplitudes in the list over the indices of 1 : Similarly, the gauge invariant amplitudes for Case (2) can be obtained by anti-symmetrizing the amplitudes in the following list over the indices of 1 and then over the indices of 2 ,

Categories
Amplitudes Table 3: The result is: Furthermore the amplitudes for Case (3) (if exists) can be obtained from the following list. But as one can check, the amplitudes listed below all vanish upon anti-symmetrization over the indices of 1 , 2 and 3 .

Categories
Amplitudes Table 4: Truncation of List(+−, +−, +−) Although in four dimensions an anti-symmetric rank-2 tensor field A µν is dual to the scalar field φ in the free theory, as they both describe a spin-0 degree of freedom, they are no longer dual to each other once interaction is introduced. Whereas non-trivial 3-point amplitudes for A µν self interaction is absent, φ 3 can exist and lead to non-trivial amplitudes. This is the result of different gauge transformations for these two fields. As a matter of fact we can view the polarization of the scalar field φ as 1 as it does not have any gauge transformations. We could write down an amplitude 1 3 for φ 3 (up to a coupling constant). For A µν , its polarization tensor is 1 = e + 1 ⊗ e − 1 − e − 1 ⊗ e + 1 in the equivalence class of the 2-dim Levi-Civita tensor. One could contract three Levi-Civita tensors to obtain a non-zero result which could potentially be the amplitudes dual to φ 3 . But when we express the contraction in terms of 1µν 2µν 3µν 1 , none are gauge invariant. Even if we relax the constraint of parity conservation, allowing the 4-d Levi-Civita tensor µνρσ to appear in the amplitudes, non-trivial gauge invariant 3-point amplitudes describing A µν self-interaction do not exist.
If we, however, only consider expressions with many µν 's which are polarization tensors for the same momentum p, then as long as we contract all indices to obtain scalars, the resultant expressions are always gauge invariant. But this case only appears in the free theory and is not true for an interactive theory since with interaction we always need to construct scalars from different iµν corresponding to momenta p i . This is yet another way to see that the duality between rank-2 antisymmetric tensor and scalar fields does not extend to an interactive theory.
Having determined the gauge invariant 3-point amplitudes in the above examples, we shall find the cubic interaction terms from which these amplitudes can be derived. Here we assume that particles with the same kind of polarization tensors are identical and that the polarizations 1 , 2 , 3 in (4.3) correspond to the fields φ a ,φ b ,φ c which satisfy the Lorenz gauge condition: This gauge condition is implicitly imposed by equation (2.9). Carrying out the following replacement (where the subscript i of (∂ µ ) i indicates which field the partial derivative acts upon), we obtain the interaction terms tabulated below, amplitude interaction term Because of the gauge condition (4.6), the form of these interaction terms is not unique -a term by integration by parts. This corresponds to the fact that p 2µ Our previous discussions are all based on on-shell gauge invariance. If we go off-shell, then further information about the interactions can be obtained. For example, we have obtained from on-shell gauge invariance the Yang-Mills amplitude, which allows us to determine the Yang-Mills Lagrangian up to cubic terms: with f abc being antisymmetric. Under the off-shell version of the leading order gauge transformation we have mentioned, the second term in the Lagrangian will not be invariant: where the right arrow indicates that we have performed integration by parts. To compensate for this term, we have to add in the gauge transformation an extra term to make the change of the kinetic term first order in g. This extra term must be bilinear in A a µ and ξ a : where F abc are constants to be determined. Then the variation of the kinetic term becomes (4.11) Now that (4.9)+(4.11)=0, we have F abc = f abc . We only focus on the on-shell case and will not explore this further. For more discussions on this topic, see e.g. [14].

Conclusion and Discussion
We found that under the assumptions of locality, Lorentz invariance and parity conservation, a general three-point amplitude of massless higher-spin gauge bosons can be written as a polynomial in A χ 1 χ 2 χ 3 YM , X i = e i · p ± j , β i (as defined by (3.22)), and self contraction terms e + i · e − i . For a quantum field theory in four dimensional flat spacetime -either renormalizable or nonrenormalizable-the interaction terms are narrowed down (at least in cubic vertices) by the Lorentz invariance and locality properties to only a few choices. This is not only a perturbative, but also a non-perturbative constraint.
If the polarizations are totally symmetric, then the β i terms vanish. For three particular polarizations, the possible amplitudes are determined by equation (3.39) as illustrated in Section 4. We also computed explicitly the helicity amplitudes to show that the helicities must satisfy (3.30) or (3.31) for the amplitudes to be nontrivial.
YM (e 1 , e 2 , e 3 ), (e 1 · p 2 ) 2 (e 2 · p 3 ) 2 (e 3 · p 1 ) 2 with momentum number N = 2, N = 6, respectively. A few remarks are due: • In the case of N = 2, the amplitude can be written as a product of two Yang-Mills amplitudes, which is consistent with the Einstein-Hilbert action. It was shown by Boels and Medina [7] that higher-point Einstein-Hilbert amplitudes can be obtained from the 3-point amplitude by imposing the symmetry and unitarity conditions. Furthermore this is the only amplitude (among the two possible ones that we found here) that corresponds to a constructible theory [5], and as predicted by the famous KLT relation between open and closed strings [24].
• In the case of N = 6, the amplitude-similar to the Einstein-Hilbert case-is symmetric under permutations of the particles, thus the particle can be a singlet.
Similar to the case of rank-2 tensors, the possible amplitudes of three totally symmetric polarizations of rank-r tensors are given by A r YM (e 1 , e 2 , e 3 ), (e 1 · p 2 ) r (e 2 · p 3 ) r (e 3 · p 1 ) r (5.4) When r is even, (5.4) is symmetric under permutations of the particles and the particles in the theory can be a singlet; when r is odd, (5.4) is antisymmetric and the theory is Yang-Mills like, i.e. carrying color indices.
In 4-dimension, massless mixed-symmetry fields can be dualized to totally symmetric fields in the free theory. Our analysis shows that this duality does not extend to the interacting theory. There exists a mismatch between the 3-point amplitudes and thus the cubic interactions of these two fields cannot be dual to each other. To be more precise, in the case of the antisymmetric rank-2 field A µν , although it is dual to the scalar field φ which enjoys a non-trivial 3-point amplitude, we cannot find a non-trivial 3-point amplitude for A µν , even if we relax our assumption on the parity conservation. Furthermore by expressing our results in spinor helicity formalism we can show that if, for two representations of the same helicity, the 3-point amplitudes for a given total number of derivatives do exist on both sides, then we do expect these particular cubic interactions to be dual to each other, as the 3-point amplitudes in spinor helicity formalism only depend on the helicity.
To obtain, within this framework, further information about the underlying field theories, e.g. the Jacobi identity satisfied by the coupling constants in a Yang-Mills-like theory, it is necessary to extend our method and investigation to four-or higher-point amplitudes. Also, it is interesting to relax the assumption of parity conservation to study the 3-point amplitudes for both totally symmetric fields and the mixed-symmetric fields. We will report our findings in a forthcoming paper.

Appendix
In this Appendix, we shall use on-shell gauge invariance to determine the possible 3-point amplitudes of totally symmetric polarizations. Consider three massless particles whose polarization tensors 1 (p 1 ), 2 (p 2 ), 3 (p 3 ) (p 1 + p 2 + p 3 = 0) are given by, where s i are the spins of the particles and e ± i (p i ) the polarization vectors.
A general Lorentz invariant amplitude of these three particles is a homogeneous function of e 1 , e 2 , e 3 and the momenta of degree s 1 , s 2 , s 3 and N , respectively, which has the form A( 1 , 2 , 3 ; N ) = (l,m,n)∈E λ l,m,n (e 2 ·e 3 ) l (e 1 ·e 3 ) m (e 1 ·e 2 ) n (e 1 ·p 2 ) s 1 −m−n (e 2 ·p 1 ) s 2 −l−n (e 3 ·p 1 ) s 3 −l−m (6.2) where N satisfies 2|(s 1 + s 2 + s 3 + N )(that is, (s 1 + s 2 + s 3 + N ) is even), N s 1 + s 2 + s 3 , and E = (l, m, n) m, n, l ∈ N, l + m + n = s 1 + s 2 + s 3 − N 2 , m + n s 1 , l + n s 2 , l + m s 3 We have included in the amplitude only N number of derivatives because the gauge invariance of the linear combination N κ N A( 1 , 2 , 3 ; N ) is equivalent to the invariance of each A( 1 , 2 , 3 ; N ). We claim that the necessary and sufficient condition for the existence of a non-vanishing gauge invariant amplitude A( 1 , 2 , 3 ; N ) is N s 1 + s 2 + s 3 − 2 min(s 1 , s 2 , s 3 ) The proof is as follows.
With the help of (6.22), the set E becomes E = (l, m, n) m, n, l ∈ N, l + m + n = s 1 + s 2 + s 3 − N 2 (6.23) According to equation (6.17) we have λ l,m,n ∝ λ l,m+1,n−1 (6.24) Similarly, by performing a gauge transformation on particle 2 we have λ l,m,n ∝ λ l+1,m,n−1 (6.25) From which we obtain λ l,m,n ∝ λ l,0,M −l ∝ λ l ,0,M −l ∝ λ l ,m ,n where λ l,m,n and λ l ,m ,n are any two coefficients and Therefore all the coefficients are proportional to each other. As a result, the amplitude, A( 1 , 2 , 3 ; N ), is unique up to an overall factor.