§ SOFT-OPERATORS

Soft operators are central in the study of the relationship between soft theorems and asymptotic symmetries in flat space-time [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 20]. These operators live on the celestial sphere $S^{D-2}$ and transform as primaries of the Lorentz group $SO(D-1,1)$, which acts on the celestial sphere by conformal transformation. In this paper, following [20], we continue our study of the properties of the conformal representation with a soft operator as the highest weight state.

For our purpose we consider primary operators $\{O^{\D}_{R}(x)\}$ which transform in the representation $R$ of the rotation group $SO(D-2)$ and has conformal dimension $\D$. Here $x$ denotes the Cartesian coordinates of $R^{D-2}$ which is the stereographic image of the celestial sphere $S^{D-2}$. To maximise our freedom we do not restrict the representation $R$ or the dimension $\D$ in any way.

Now, the origin of a subset of the primary operators $\{O^{\D}_{R}(x)\}$ with integer $\D$ and transforming in the symmetric traceless tensor representation of $SO(D-2)$, can be explained in the following way. Suppose we formally expand the physical (creation) annihilation operator of a massless particle of integer spin-$l$ in a Laurent series as,[The null momentum of the massless particle is parametrized as, $p^{\mu}(\omega, \vec x) = \omega (1 + \vec x^2 , 2 \vec x, 1-\vec x^2)$. For details please see the appendix.]

A_a_1...a_l(ω,x) = ∑_p∈ℤ S^p_a_1...a_l(x)/ω^p
Now, using the Lorentz transformation property of $A_{a_1...a_l}(\omega, x)$ it is easy to check that the operator $S^p_{a_1...a_l}(x)$ transforms like a conformal primary operator of scaling dimension $\D=p$ and spin-$l$. $S^p_{a_1...a_l}(x)$ is an example of a spin-$l$ soft operator and a member of the set $\{O^{\D}_{R}(x)\}$.

Let us now substitute this expansion in an $S$-matrix element and for concreteness let us take $l=1$,
⟨out| A_a(ω,x)|in⟩ = ∑_p∈ℤ ⟨out|S^p_a(x)|in⟩/ω^p
Let us emphasise that the $\bra{out}$ and the $\ket{in}$ states may contain both massive and massless particles. Now from the calculation of $S$-matrix elements we know that :

1) $\bra{out}S^p_{a}(x)\ket{in} = 0$ for $p>1$. In other words, the primary operators $S^{p>1}_{a_1...a_l}(x)$ decouple from the $S$-matrix elements.

2) The $(\D=1,l=1)$ primary operator $S^1_a(x)$ is the leading soft-photon operator.

3) Similarly the $(\D=0,l=1)$ primary operator $S^0_a(x)$ is the subleading soft-photon operator.

4) The primary operators $S^{p}_a(x)$ with $\D=p<0$ may also be called soft-operators, although, this does not (necessarily) imply factorisation of the matrix element $\bra{out}S^p_{a}(x)\ket{in}$.

The same discussion applies to particles of higher spin.

So we can see that some of the primary operators have interpretation as soft-operators arising from physical creation-annihilation operators of massless gauge particles, but, for our purpose, we have to assume the existence of more general primary operators which do not have any such interpretation. We will see that they play the role of "transformation parameters".

Before we leave this section we would like to mention that in $D=4$ the (formal) expansion (<ref>) requires some intersting modification due to the existence of the logarithmic terms [24, 25] in the soft expansion. But we leave this for future work.

§ UNIVERSAL PROPERTIES OF REPRESENTATION OF THE CONFORMAL GROUP WITH SOFT-OPERATOR AS THE HIGHEST WEIGHT VECTOR

In [20] it was shown that Lorentz invariance of the $S$-matrix, together with the Ward-identities of the asymptotic symmetries, require the soft-operators to satisfy certain differential equations. For example, the leading soft-photon operator $S_a(x) (= S^1_a(x))$ was shown to satisfy the (Euclidean) Maxwell's equation, $\pa_a(\pa_aS_b - \pa_bS_a)=0$. Similarly, the leading soft-graviton operator $h_{ab}(x) (=S^1_{ab}(x))$, in $D=6$, satisfies the equation,

^2 h_ab - 2/3 ( _a _c h_cb + _b _c h_ca ) +1/3 δ_ab _c_d h_cd = 0
These equations are additional constraints which need to be satisfied if we want to derive the soft-theorems from Ward-Identities of the asymptotic symmetries.

Now, the curious fact is that both these equations are equations of (Euclidean) gauge theories. Maxwell's equations have obvious gauge invariance whereas the second equation (<ref>) is invariant under the transformation [27],
h_ab(x) →h_ab(x) + ( _a_b - 1/4 δ_ab ^2 ) ϕ(x)
where $\phi(x)$ is a $(\D=-1,l=0)$ primary.

In this paper, instead of Lorentz invariance and Ward-identity, we take this "gauge-structure" as the starting point. It turns out that the conformal representation built on any soft-operator $S^{\D}_{a_1....a_l}(x)$ obeys two simple universal rules stated below,

1) Symmetry transformation :

Given a $(\D,l)$ primary field $S^{\D}_{a_1....a_l}(x)$, we look for another primary field $O^{\delta}_{R}(x)$ which transforms in the representation $R$ of the rotation group $SO(D-2)$ and has dimension $\delta<\D$. The defining property of the primary $O^{\delta}_{R}(x)$ is that it should have a primary descendant of weight $\D$ and spin $l$. The primary field $O^{\delta}_{R}(x)$ may or may not exist depending on the quantum numbers $(\D,l)$. Let us consider the interesting case where it exists and denote the corresponding primary descendant by $N^{\D}_{a_1....a_l}( x)$.

The existence of the $(\D,l)$ primary descendant $N^{\D}_{a_1....a_l}( x)$ allows us to define a "global symmetry transformation" by,

S^_a_1....a_l( x) →S^_a_1....a_l(x) + N^_a_1....a_l(x)

Since $N^{\D}_{a_1....a_l}(x)$ can be written as a differential operator acting on the primary $O^{\delta}_{R}(x)$, one can think of $O^{\delta}_{R}(x)$ as the transformation function or parameter.

2) Decoupling of Null-states :
The next step is to construct the conformal representation with the soft operator $S^{\D}_{a_1....a_l}(x)$ as the highest-weight vector. For our purpose, the interesting states in the representation space are the primary descendants. The primary descendants have two possible fates, which we now describe:

Case-A $(\D,l)$ is such that the primary $O^{\delta}_{R}(x)$ does not exist. In that case, we cannot set any of the primary descendants of $S^{\D}_{a_1....a_l}(x)$ to zero.

Case-B $(\D,l)$ is such that the primary field $O^{\delta}_{R}(x)$ exists and the symmetry transformation (<ref>) is defined. In this case, we can set only those primary descendants of $S^{\D}_{a_1....a_l}(x)$ to zero which are invariant under the symmetry transformation (<ref>). In other words, the primary descendants of $S^{\D}_{a_1....a_l}(x)$, which are invariant under the symmetry transformation (<ref>) decouple from the $S$-matrix element.

Lorentz invariance of the $S$-matrix has no obvious connection to the decoupling. Without decoupling there will be a mismatch between the number of Ward-identities of the asymptotic symmetries and the number of soft $S$-matrix elements. So, in order to derive soft-theorems from the corresponding Ward-identities, decoupling is crucial. It seems that the correct explanation of the universal rules we have stated, goes beyond the "asymptotic symmetry - soft theorem" correspondence. In fact there are some indications, that an Euclidean CFT living on the celestial sphere holographically computes the $S$-matrix elements in the asymptotically flat space [10, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 51, 52, 50, 53]. If this is true then the dual CFT may provide a microscopic explanation of the universality. Another avenue will be to understand the asymptotic symmetries in flat space-time from the string theory point of view along the line of [31, 33, 34, 50, 51]. We leave these questions for future study.

In the rest of the paper we derive consequences of this decoupling and check their consistency with soft-theorems. This demonstration also shows that the above mentioned properties of the gauge particles are intrinsic and do not depend on whether the rest of the particles in the scattering process are massive or massless.

§ CONSEQUENCES OF DECOUPLING

In this section we study the consequences of decoupling for various soft operators. We will assume throughout the rest of the paper that the space-time dimension $D=n+2$ is even.

§.§ Leading soft-photon or infinite-dimensional $U(1)$

The leading soft-photon $S_a(x)$ is a $(\D=1,l=1)$ conformal primary and it has a primary descendant at level-$1$, given by,
F_ab = _a S_b - _b S_a

The symmetry transformation acting on $S_a$ is given by, [See the appendix for a discussion of this.]
S_a →S_a + _aϕwhere the transformation parameter $\phi$ is a $(\D=0,l=1)$ conformal primary. The null state $F_{ab}$ is invariant under this transformation and so we set it to zero, i.e,

F_ab = _a S_b - _b S_a =0

If we think of this as a classical field equation then this has solution,
S_a(x) = _a χ(x)

Now, at the level of $S$-matrix this implies that,

⟨{p^out}| S_a(x) |{p^in}⟩ = _a χ(x,{p^out},{p^in})
So the $S$-matrix elements corresponding to different polarisations of the soft-photon are determined in terms of a single scalar function $\chi$. So, the decoupling of null-states $F_{ab}(x)$ effectively reduces the number of polarization states of the soft-photon from $n=D-2$ to $1$. This is consistent with the fact that the transformation parameter $\phi(x)$ is a scalar.

§.§ Leading soft-graviton or Supertranslation

§.§.§ $n=D-2>2$

The leading soft-graviton is a $(\D=1,l=2)$ conformal primary which we denote by $S_{ab}(x)$. For $D>4$, $S_{ab}(x)$ has a unique level-$1$ null-state given by,

O_abc(x) = _a S_bc - _b S_ac + 1/n-1 ( δ_bc _d S_da - δ_ac _d S_db )
The operator $O_{abc}$ satisfies,
O_abc = - O_bac ,   O_aba = O_abb = 0
The symmetry transformation acting on $S_{ab}$ is given by,

S_ab →S_ab +  ( _a_b - 1/n δ_ab ^2 ) f(x)
where the transformation parameter $f(x)$ is a $(\D=-1,l=0)$ conformal primary. The null-state $O_{abc}(x)$ is invariant under this transformation, i.e,
O[ S_ab ] = O [ S_ab + ( _a_b - 1/n δ_ab ^2 ) f(x) ]
So we have to set the null-state $O_{abc}$ to zero, i.e,

O_abc (x) = _a S_bc - _b S_ac + 1/n-1 ( δ_bc _d S_da - δ_ac _d S_db ) = 0

Thinking of this as a classical field equation, let us now show that,

O_abc (x) = 0 ⇒S_ab(x) = ( _a_b - 1/n δ_ab ^2 ) F(x)
for some function $F(x)$. We now give a formal proof of this.

Proof :
We have to solve the equation

O_abc(x) = _a S_bc - _b S_ac + 1/n-1 ( δ_bc _d S_da - δ_ac _d S_db ) = 0

_c O_abc(x) = 0 ⇒_a_c S_cb - _b_c S_ca = 0
V_a = _b S_ab
In terms of $V_a$, (<ref>) becomes

_a V_b - _b V_a = 0 ⇒V_a = _b S_ab = _a ϕ(x)

Now we also have,

_a O_abc(x) = ^2 S_bc - n/n-1 (_b_c - 1/n δ_bc ^2 ) ϕ(x) = 0
where we have used (<ref>). The solution of (<ref>) can be written as,

S_ab =  n/n-1 (_a_b - 1/n δ_ab ^2 ) ψ(x) + S̃_ab(x)
^2 ψ= ϕ,   ^2S̃_ab(x) = 0 ,   _aS̃_ab(x) = 0
Now substituting (<ref>) into (<ref>) we get,

_a S̃_bc - _b S̃_ac = 0
where we have used $\pa_a \tilde S_{ab}=0$. The general solution of (<ref>) can be written as,
S̃_ab = _a ξ_b(x)
where $\xi_a$ is some vector field. Now we impose the constraints that $\tilde S_{ab}$ is symmetric and traceless. This gives us,
S̃_ab = S̃_ba ⇒_a ξ_b - _b ξ_a = 0 ⇒ξ_a(x) = _a χ(x)
for some scalar field $\chi(x)$. Therefore,
S̃_ab(x) = _a_bχ(x)
Tracelessness of $\tilde S_{ab}(x)$ further implies that
^2 χ(x) = 0
Therefore we can write,
S̃_ab(x) = ( _a _b - 1/n δ_ab^2) χ(x)

Now if we define
F(x) = n/n-1 ψ(x) + χ(x)
then we can write,

S_ab(x) = ( _a _b - 1/n δ_ab^2) F(x)
So $S_{ab}(x)$ has the "pure-gauge" form and $O_{abc}(x)$ can be thought of as the "field-strength" for the Supertranslation transformation.

Now at the level of $S$-matrix this implies that,

⟨{p^out}| S_ab(x) |{p^in}⟩ = ( _a _b - 1/n δ_ab^2) ψ(x,{p^out},{p^in})
So again we can see that the decoupling of the null-state effectively reduces the number of polarization states of soft-graviton to $1$.

§.§.§ $D=4$

In this case there are two leading soft gravitons with scaling dimension and spin given by $(\D=1,l=\pm 2)$. They are $SL(2,\mathbb{C})$ primaries with weights given by, $(h=3/2, \bar h = -1/2)$ and $(h=-1/2,\bar h=3/2)$, respectively. Let us denote the primaries by $S_{zz}(z,\bar z)$ and $S_{\bar z\bar z}(z,\bar z)$, respectively. Now one can check that there are two primary descendants or null-states at level-$2$ given by,

O_1(z,z̅) = ^2_z̅ S_zz ,   O_2(z,z̅) = ^2_z S_z̅z̅

Now the symmetry transformation acting on the soft-gravitons is given by,

S_zz →S_zz + ^2_z f(z,z̅),   S_z̅z̅ →S_z̅z̅ + ^2_z̅ f(z,z̅)
where $f(z,\bar z)$ is a $SL(2,\mathbb{C})$ primary of weight $(h=-1/2, \bar h = -1/2)$. Now the unique linear combinations of the null-states $O_1$ and $O_2$, which is invariant under the symmetry transformation, is given by,
O(z,z̅) = O_1(z,z̅) - O_2(z,z̅) = ^2_z̅ S_zz - ^2_z S_z̅z̅
This is the null-state which decouples, i.e,

O(z,z̅) = ^2_z̅ S_zz - ^2_z S_z̅z̅ =0

§.§ Subleading soft graviton or Superrotation

§.§.§ $D=4,n=2$

In $D=4$ there are two subleading soft gravitons with scaling dimension $\D=0$ and spin $l=\pm 2$. They are $SL(2,\mathbb{C})$ primaries with weights given by, $(h=1,\bar h=-1)$ and $(h=-1, \bar h=1)$, respectively. We denote them by $S_{zz}$ and $S_{\bar z\bar z}$, respectively. Now there are two null-states at level-$3$, given by,

O^(1)_z̅(z,z̅) = ^3_z̅ S_zz,   O^(2)_z(z,z̅) = ^3_z S_z̅z̅

Now the symmetry transformation acting on the subleading soft-gravitons is given by,

S_zz →S_zz + 2 _z V_z ,   S_z̅z̅ →S_z̅z̅ + 2 _z̅ V_z̅
where $V_z$ is a $SL(2,\mathbb{C})$ primary with weight $(h=0,\bar h=-1)$ and $V_{\bar z}$ is the complex conjugate with weight $(h=-1, \bar h=0)$.

Now we can see that both the primary descendants, $O^{(1)}_{\bar z}$ and $O^{(2)}_z$, are not invariant under the symmetry transformation and also, we cannot take any linear combination of them because they carry different quantum numbers. Therefore, in $D=4$, no primary descendant of the subleading soft graviton decouples from the $S$-matrix.

This is an example where there are null-states but still they do not decouple from the $S$-matrix elements because none of them are invariant under the symmetry transformation (<ref>). In other words, we cannot set them equal to zero. This is consistent with the fact that the transformation parameter is a vector field with two components and graviton also has two polarization states.

§.§.§ $D=6,n=4$

The situation is different in $D=6$ (and higher) dimensions. The subleading soft graviton, denoted by $S_{ab}(x)$ is a conformal primary with $\D=0$ and $l=2$ and the symmetry transformation acting on $S_{ab}$ is given by,

S_ab →S_ab + _a V_b + _b V_a - 1/2 δ_ab ·V
where $V_a$ is a $(\D=-1,l=1)$ conformal primary.

Now the transformation parameter $V_a(x)$ is a vector field with $4$ components and the number of polarization states of the graviton is $9$. So there is a mismatch between the number of Ward-identities and the number of soft $S$-matrix elements. This will be cured if some null-state of $S_{ab}(x)$ decouples from the $S$-matrix elements.

Now, $S_{ab}(x)$ has a null state at level-$2$ given by,
W_abcd = _a _c S_b d-_a _d S_b c-_b _c S_a d+_b _d S_a c

- 1/2δ_a c ^2 S_b d+1/2δ_a d ^2 S_b c+1/2δ_b c ^2 S_a d - 1/2δ_b d ^2 S_a c

+1/2δ_a c _b _e S_d e+1/2δ_a c _d _e S_b e - 1/2δ_a d _b _e S_c e - 1/2δ_a d _c _e S_b e

- 1/2δ_b c _a _e S_d e - 1/2δ_b c _d _e S_a e+1/2δ_b d _a _e S_c e+1/2δ_b d _c _e S_a e

- 1/3δ_a c δ_b d _e _f S_e f+1/3δ_a d δ_b c _e _f S_e f

As the notation suggests, the null (field) state $W_{abcd}$ is essentially the linearization of the Weyl tensor around flat space $\delta_{ab}$ and $S_{ab}$ is the trace-free part of the "metric fluctuation".

Now it is obvious that,
W[S_ab] = W [S_ab + _a V_b + _b V_a - 1/2 δ_ab ·V]
Therefore we have to set the null state $W_{abcd}$ to zero, i.e,

W_abcd [S] = 0
is the decoupling equation. Thought of as a classical field equation this has the solution,

S_ab = _a ξ_b + _b ξ_a - 1/2 δ_ab ·ξ
Here we have taken into account that $S_{ab}$ is traceless.

At the level of $S$-matrix this implies that,

⟨{p^out}| S_ab(x) |{p^in}⟩ = _a ψ_b(x,{p^out},{p^in}) + _b ψ_a(x,{p^out},{p^in}) - 1/2 δ_ab ·ψ(x,{p^out},{p^in})
So we can see that in $D=6$, the decoupling of the null state $W_{abcd}$, effectively reduces the $9$ polarisation states of the subleading soft-graviton to $4$.

§ CONSISTENCY WITH SOFT-THEOREMS : MASSIVE CASE

In this section we will explicitly verify that the forms of the soft $S$-matrix elements obtained from the decoupling equations match with that obtained from the soft theorems. We work with massive external states. Massless case can be studied by taking appropriate limit [37].

In this section we have defined $\eta_k = +1$ for the $k$-th outgoing particle and $\eta_k=-1$ for the $k$-th incoming particle. We have also taken the soft particle to be outgoing and for simplicity we have assumed the external states to be scalars. The parametrization of the momentum of a massive particle is discussed in the appendix.

§.§ Leading soft photon or U(1)

In terms of the leading soft-photon operator $S_a(\vec w)$, Weinberg's soft photon theorem [21, 22] can be written as,

⟨{y_i,x⃗_i,Q_i},out| S_a(w⃗) |{y_j,x⃗_j,Q_j},in⟩

= [ ∑_k η_k Q_k p(y_k,x⃗_k) ·ϵ_a(w⃗)/p(y_k,x⃗_k)·q̂(w⃗) ] ⟨{y_i,x⃗_i,Q_i},out||{y_j,x⃗_j,Q_j},in⟩

Here $Q_k$ is the charge of the $k$-th particle and $\epsilon_a(\vec w)$ is the polarization vector of the soft photon.

The soft-factor can be calculated to be,

[ ∑_k η_k Q_k p(y_k,x⃗_k) ·ϵ_a(w⃗)/p(y_k,x⃗_k)·q̂(w⃗) ] = /w_a [ ∑_kη_k 1/2 Q_k ln(y_k^2 + |w⃗ - x⃗_k|^2)]

Therefore the matrix element of the soft-photon operator can be written as,

⟨{y_i,x⃗_i,Q_i},out| S_a(w⃗) |{y_j,x⃗_j,Q_j},in⟩ = /w_a Λ(w⃗ , {y, x⃗, Q})

Λ(w⃗ , {y, x⃗, Q}) = [ ∑_k η_k1/2 Q_k ln(y_k^2 + |w⃗ - x⃗_k|^2)] ⟨{y_i,x⃗_i,Q_i},out||{y_j,x⃗_j,Q_j},in⟩

(<ref>) matches with the form (<ref>) of the leading soft photon theorem obtained from the decoupling of the null-state.

§.§ Leading soft graviton or Supertranslation

In terms of the leading soft graviton operator $S_{ab}(\vec w)$, Weinberg's soft graviton theorem [21, 22] can be written as,

⟨{y_i,x⃗_i},out| S_ab(w⃗) |{y_j,x⃗_j},in⟩ = [ ∑_k η_k  p_μ(y_k,x⃗_k) p_ν(y_k,x⃗_k) ϵ^μν_ab(w⃗)/p(y_k,x⃗_k)·q̂(w⃗)] ⟨{y_i,x⃗_i},out||{y_j,x⃗_j},in⟩

where $\epsilon^{\mu\nu}_{ab}(\vec w)$ is the graviton polarization vector.

Now the soft-factor can be computed to be,

γ[ ∑_k η_k m_k/y_k (δ_ab - n (w_a-x_ka)(w_b-x_kb)/y_k^2 + |w⃗ - x⃗_k|^2) ]  = (_a^w_b^w - 1/n δ_ab _w^2 ) F(w⃗ , {y, x⃗, m})

F(w⃗ , {y, x⃗, m}) =
-nγ/2 [ ∑_k η_k m_k y_k^2 + |w⃗ - x⃗_k|^2/2y_k ln(y_k^2 + |w⃗ - x⃗_k|^2)]

Here $m_k$ is the mass of the $k$-th particle and $\gamma$ is a numerical constant whose precise value is not important for us. Now, using this we can write,

⟨{y_i,x⃗_i},out| S_ab(w⃗) |{y_j,x⃗_j},in⟩ = (_a^w_b^w - 1/n δ_ab _w^2 ) Λ(w⃗ , {y, x⃗, m})
where we have defined,
Λ(w⃗ , {y, x⃗, m}) = F(w⃗ , {y, x⃗, m}) ⟨{y_i,x⃗_i},out||{y_j,x⃗_j},in⟩

(<ref>) matches with the form (<ref>) of the leading soft graviton theorem obtained from the decoupling of the null-state

§.§ Subleading soft graviton theorem in $D=6 (n=4)$ or Superrotation

In terms of the subleading soft graviton operator - again denoted by $S_{ab}(\vec w)$ - Cachazo-Strominger subleading soft graviton theorem [23] can be written as,

⟨{y_i,x⃗_i},out| S_ab(w⃗) |{y_j,x⃗_j},in⟩
= -i ∑_k η_k ϵ_ab^μν(w⃗)p^k_μq^ρ/p^k·q J^k_ρν ⟨{y_i,x⃗_i},out||{y_j,x⃗_j},in⟩

Since all the external particles are scalars, the (orbital) angular momentum operator is given by,
J^k_ρν=-i\(p^k_{\rho}\frac{\pa}{\pa p_k^\nu}-p^k_{\nu}\frac{\pa}{\pa p_k^\rho}\)

Now a straightforward calculation gives,

⟨{y_i,x⃗_i},out| S_ab(w⃗) |{y_j,x⃗_j},in⟩ = ^w _aζ_b+^w_b ζ_a-1/2δ_ab^w .ζ
where the vector $\zeta$ is given by,

ζ_a(w⃗,{y,x⃗})=/2∑_k η_k[ ln(y_k^2+|w⃗-x⃗_⃗k⃗|^2){-(w_a-x_ka)y_k/y_k
+((w_a-x_ka)(w_c-x_kc)-1/2(y_k^2+|w⃗-x⃗_⃗k⃗|^2)δ_ac)/x_kc}⟨{y_i,x⃗_i},out||{y_j,x⃗_j},in⟩ ]

Here $\gamma$ is a numerical constant whose exact value is not important for us.

(<ref>) matches with the form (<ref>) of the subleading soft-graviton theorem obtained from the decoupling of the null-state.

§ COMMENTS ON THE CONSTRUCTION OF THE SOFT-CHARGE

In even space-time dimensions the soft-charge [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19] corresponding to a particular symmetry transformation can always be written as,

Q_S[ξ] = ∫d^D-2x  ξ(x)·O(x)
where $\xi(x)$ is the transformation parameter and $O(x)$ is a local operator, which is also a primary of the (Lorentz) conformal group [20]. The tensor indices of $O(x)$ are dual to those of $\xi(x)$, so that the contraction $\xi(x)\cdot O(x)$ is a scalar of dimension $(D-2)$. In even space-time dimension $O(x)$ can be constructed as a descendant of the soft operator. Let us now illustrate this with an example.

Consider the case of subleading soft-graviton in $D=6$. In this case we know that the transformation parameter is a $(\D=-1,l=1)$ primary which we denote by $\xi_a(x)$. So the soft-charge can be written as,
Q_S[ξ] = ∫d^4x  ξ_a(x)O_a(x)
Since $\xi_a(x)O_a(x)$ should have dimension $4$ and $\xi(x)$ has dimension $\D=-1$, $O_a(x)$ should be a vector primary with dimension $\D=5$. Now $O_a(x)$ can be constructed as a descendant of the subleading soft-graviton $S_{ab}(x)$ and is given by,

O_a(x) ∼^2 _a _b _c S_bc - 3/4 ^4 _b S_ab(x)
Here we have used $\sim$ because the overall normalization of the charge cannot be determined in this way. Now since the subleading soft graviton is a $(\D=0,l=2)$ primary, $O_a(x)$ constructed in this way clearly has dimension $\D=5$ and spin $l=1$. One can check by straightforward calculation that $O_a(x)$, given in (<ref>), is a primary operator as long as the decoupling equation (<ref>) for the subleading soft graviton $S_{ab}(x)$ holds.

§ COMPARISON WITH [20]

Before we conclude we would like to compare the results of [20] with the current paper. For the sake of concreteness let us compare the decoupling equations for the leading soft-graviton $S_{ab}(x)$ which is a $(\D=1,l=2)$ primary.

In our current approach the decoupling equation (<ref>) is given by,

O_abc (x) = _a S_bc - _b S_ac + 1/3 ( δ_bc _d S_da - δ_ac _d S_db ) = 0
where we have specialized to the case of $D=6$ or $n=4$.

Now in [20], starting from the Lorentz invariance of the $S$-matrix and the Ward identity for the supertranslation, we arrived at a somewhat different decoupling equation,

Õ_ab= ^2 S_ab - 2/3 ( _a _c S_cb + _b _c S_ca ) +1/3 δ_ab _c_d S_cd = 0
Now one can easily check that,

Õ_bc = 1/2 (_a O_abc + _a O_acb)
Therefore $\tilde O_{ab}$ is a descendant of $O_{abc}$ – in fact a primary descendant – and the decoupling equation
O_abc=0 ⇒Õ_ab=0
Õ_ab=0 ⇏Õ_abc=0
Therefore (<ref>) is a stronger condition than (<ref>).

Now, in the case of leading soft graviton or supertranslation, the operator $O(x)$ appearing in the soft charge must be a $(\D=5,l=0)$ primary in $D=6$. Therefore a potential candidate for $O(x)$ is the unique scalar operator $\pa^2\pa_a\pa_b S_{ab}$ of dimension $\D=5$. In [20], the decoupling equation (<ref>) was obtained by demanding that the operator $\pa^2\pa_a\pa_b S_{ab}$ be a primary. Now the same thing can also be achieved by using the decoupling equation (<ref>). To be more precise, under an infinitesimal special conformal transformation, $O(x)=\pa^2\pa_a\pa_b S_{ab}$ transforms as [20],

O'(x') = ( 1 + 10   ·x ) O(x) + 8   _a _c( _a _b S_bc(x) - _b _c S_ab(x))
O_abc =0 ⇒_c O_abc(x) = 0 ⇒_a_c S_cb - _b_c S_ca = 0
Therefore, owing to the decoupling equation (<ref>), the inhomogeneous term in (<ref>) vanish and $\pa^2\pa_a\pa_b S_{ab}$ indeed transforms like a primary.

Although the two formulations seem to be mutually consistent, the current one is more general and cannot be simply derived from Lorentz invariance and the existence of infinite dimensional asymptotic symmetries. For example, the decoupling equation (<ref>) of this paper is sufficient for the Lorentz invariance of the supertranslation Ward identity. Now, it is natural to conjecture that this is also a necessary condition, although the reason may not be Lorentz invariance and asymptotic symmetry. In fact, the current formulation is very natural from a dual CFT perspective, if there is one. We hope to return to these interesting questions in future.

§ ACKNOWLEDGEMENT

We would like to thank  all the participants of the $5$-th Indo-Israeli meeting in Nazareth, especially, Abhijit Gadde and Joao Penedones for very helpful discussions. We would also like to thank the participants of the meeting "Stringy days IV : SOFT Holography" in IISER Pune, especially, Alok Laddha and Ashoke Sen for very helpful questions and discussions. Some of the calculation in this paper were done using [55].

§ APPENDIX

§.§ Notation and conventions

For the convenience of the reader we collect some useful formulas here. For details we refer to [35, 37].

In $D$ dimensional Minkowski space-time we parametrize the null momentum $p^{\mu}(\omega, \vec x)$ of a massless particle as,
p^μ = ω(1 + x⃗^2 , 2 x⃗, 1-x⃗^2),   x⃗∈R^D-2 = R^n
where $\omega$ is a real number. The Lorentz group $SO(D-1,1)=SO(n+1,1)$ acts on $R^n$ as the group of conformal transformations. The corresponding transformation of $\omega$ is given by,
ω' = | x⃗'/x⃗ | ^-1/n ω

We parametrize the energy-momentum vector of a massive particle of mass $m$ as [36, 37],
p^μ (y,x⃗) = m ( 1+y^2 +x⃗^2/2y , x⃗/y , 1 - y^2 - x⃗^2/2y )
Here $(y,\vec x)$ are the Poincare coordinates on the unit (mass) hyperboloid, $p^2 = -1$. So $\vec x$ are the Cartesian coordinates of the (conformal) boundary $R^{n}$ at infinity, on which the soft-operators live.

In the rest of the paper we omit the vector sign on $\vec x$ and simply denote it by $x$.

§.§ Symmetry Transformations

In this section we will see which primary fields $O_R ^\delta (x)$ can give a null field $N^\Delta_{a_1...a_l}$. The  $(\Delta,l)$ we are interested in are $(1,1),(1,2)$ and $(0,2)$ corresponding to leading photon, leading graviton and subleading graviton respectively. If $O_R ^\delta (x)$ has a primary descendant in the irreducible representation $I$ of $SO(n)$ at level $N$ then the following necessary but not sufficient condition, valid for $n>2$, is satisfied,

δ=1/2N(C_R +N C_V-N(N-1)-C_I)  ,  N∈{1,2,3...}
Here $C_R,C_V (vector)$ and $C_I$ are the quadratic Casimirs for respective representations of $SO(n)$. This formula can be obtained by a simple extension of the method by [54].

If representations $R$ and $I$ are symmetric-traceless then this condition is consistent with the necessary and also sufficient constraints in [26].
Since we are interested in primary descendants $(\Delta,l)$ so
δ=Δ-N  and  C_I=l(l+n-2)
The derivatives generating the descendant are symmetric so $O_R ^\delta (x)$ can give a spin $l=1~or~2$ descendant only for the representations in Figure <ref>.

for l=1:
1     2    	3     ...     s
1   2   3   ..   i
,i≥1for  l=2:
1     2    	3     ...     s
1   2   3   ..   i
1   2   3   ..   i
1   2

Representations R of $O_R ^\delta (x)$ which can have a descendant of spin-l

Casimir for representation $R_{ij}$ is
R_ij: 	smalltableaux
1   2   3   ..    ..     ..   i
1   2   ..   j

Now, from the condition(<ref>) we find that only one representation of $O_R ^\delta (x)$ remains for each case in interest of $(\Delta,l)$ and the only possible $N_{a_1 a_2 a_3...a_l}^\Delta$ are

\begin{gather}
N^1_a=\pa_a O^0(x) \nonumber\\
N^0_{ab}=\left(\pa_a O^{-1}_b+\pa_b O^{-1}_a-\frac{2}{n}\delta_{ab}\pa . O^{-1}\right)
\end{gather}

[1]
A. Strominger,
“Asymptotic Symmetries of Yang-Mills Theory,”
JHEP 1407, 151 (2014)
[arXiv:1308.0589 [hep-th]].

[2]
A. Strominger,
“On BMS Invariance of Gravitational Scattering,”
JHEP 1407, 152 (2014)
[arXiv:1312.2229 [hep-th]].

[3]
T. He, V. Lysov, P. Mitra and A. Strominger,
“BMS supertranslations and Weinberg?s soft graviton theorem,”
JHEP 1505, 151 (2015)
[arXiv:1401.7026 [hep-th]].

[4]
A. Strominger and A. Zhiboedov,
“Gravitational Memory, BMS Supertranslations and Soft Theorems,”
JHEP 1601, 086 (2016)
[arXiv:1411.5745 [hep-th]].

[5]
T. He, P. Mitra, A. P. Porfyriadis and A. Strominger,
“New Symmetries of Massless QED,”
JHEP 1410, 112 (2014)
[arXiv:1407.3789 [hep-th]].

[6]
D. Kapec, M. Pate and A. Strominger,
“New Symmetries of QED,”
arXiv:1506.02906 [hep-th].

[7]
D. Kapec, V. Lysov and A. Strominger,
“Asymptotic Symmetries of Massless QED in Even Dimensions,”
Adv. Theor. Math. Phys.  21, 1747 (2017)
[arXiv:1412.2763 [hep-th]].

[8]
D. Kapec, V. Lysov, S. Pasterski and A. Strominger,
“Higher-Dimensional Supertranslations and Weinberg's Soft Graviton Theorem,”
Annals of Mathematical Sciences and Applications, Volume 2 (2017),
pp 69-94
[arXiv:1502.07644 [gr-qc]].

[9]
M. Pate, A. M. Raclariu and A. Strominger,
“Gravitational Memory in Higher Dimensions,”
JHEP 1806, 138 (2018)
[arXiv:1712.01204 [hep-th]].

[10]

D. Kapec, V. Lysov, S. Pasterski and A. Strominger,
“Semiclassical Virasoro symmetry of the quantum gravity $ \mathcal{S}$-matrix,”
JHEP 1408, 058 (2014)
[arXiv:1406.3312 [hep-th]].

D. Kapec, P. Mitra, A. M. Raclariu and A. Strominger,
“2D Stress Tensor for 4D Gravity,”
Phys. Rev. Lett.  119, no. 12, 121601 (2017)
[arXiv:1609.00282 [hep-th]].

T. He, D. Kapec, A. M. Raclariu and A. Strominger,
“Loop-Corrected Virasoro Symmetry of 4D Quantum Gravity,”
JHEP 1708, 050 (2017)
[arXiv:1701.00496 [hep-th]].

[13]
M. Campiglia and A. Laddha,
“Asymptotic symmetries of QED and Weinberg?s soft photon theorem,”
JHEP 1507, 115 (2015)
[arXiv:1505.05346 [hep-th]].

[14]
M. Campiglia and A. Laddha,
“Asymptotic symmetries of gravity and soft theorems for massive particles,”
JHEP 1512, 094 (2015)
[arXiv:1509.01406 [hep-th]].

[15]
H. Bondi, M. G. J. van der Burg and A. W. K. Metzner,
“Gravitational waves in general relativity. 7. Waves from axisymmetric isolated systems,”
Proc. Roy. Soc. Lond. A 269, 21 (1962).

R. K. Sachs,
“Gravitational waves in general relativity. 8. Waves in asymptotically flat space-times,”
Proc. Roy. Soc. Lond. A 270, 103 (1962).

R. Sachs,
“Asymptotic symmetries in gravitational theory,”
Phys. Rev.  128, 2851 (1962).

G. Barnich and C. Troessaert,
“Symmetries of asymptotically flat 4 dimensional spacetimes at null infinity revisited,”
Phys. Rev. Lett.  105, 111103 (2010)
[arXiv:0909.2617 [gr-qc]].

[19]
A. Strominger,
“Lectures on the Infrared Structure of Gravity and Gauge Theory,” and references therein.
arXiv:1703.05448 [hep-th].

[20]
S. Banerjee, P. Pandey and P. Paul,
“Conformal properties of soft-operators - 1 : Use of null-states,”
arXiv:1902.02309 [hep-th].

[21]
S. Weinberg,
“Photons and Gravitons in s Matrix Theory: Derivation of Charge Conservation and Equality of Gravitational and Inertial Mass,”
Phys. Rev.  135, B1049 (1964).

[22]
S. Weinberg,
“Infrared photons and gravitons,”
Phys. Rev.  140, B516 (1965).

[23]
F. Cachazo and A. Strominger,
“Evidence for a New Soft Graviton Theorem,”
arXiv:1404.4091 [hep-th].

[24]
B. Sahoo and A. Sen,
“Classical and Quantum Results on Logarithmic Terms in the Soft Theorem in Four Dimensions,”
JHEP 1902, 086 (2019)
[arXiv:1808.03288 [hep-th]].

[25]
M. Campiglia and A. Laddha,
“Loop Corrected Soft Photon Theorem as a Ward Identity,”
arXiv:1903.09133 [hep-th].

[26]
J. Penedones, E. Trevisani and M. Yamazaki,
“Recursion Relations for Conformal Blocks,”
JHEP 1609, 070 (2016)
[arXiv:1509.00428 [hep-th]].

[27]
J. Erdmenger and H. Osborn,
“Conformally covariant differential operators: Symmetric tensor fields,”
Class. Quant. Grav.  15, 273 (1998)

L. Dolan, C. R. Nappi and E. Witten,
“Conformal operators for partially massless states,”
JHEP 0110, 016 (2001)

M. Beccaria and A. A. Tseytlin,
“On higher spin partition functions,”
J. Phys. A 48, no. 27, 275401 (2015)
[arXiv:1503.08143 [hep-th]]

[30]
G. Barnich and C. Troessaert,
“Supertranslations call for superrotations,”
PoS CNCFG 2010, 010 (2010)
[Ann. U. Craiova Phys.  21, S11 (2011)]
[arXiv:1102.4632 [gr-qc]]

[31]
A. Giveon, D. Kutasov and N. Seiberg,
“Comments on string theory on AdS(3),”
Adv. Theor. Math. Phys.  2, 733 (1998)

D. Kutasov and N. Seiberg,
“More comments on string theory on AdS(3),”
JHEP 9904, 008 (1999)

[33]
Y. Geyer, A. E. Lipstein and L. Mason,
“Ambitwistor strings at null infinity and (subleading) soft limits,”
Class. Quant. Grav.  32, no. 5, 055003 (2015)
[arXiv:1406.1462 [hep-th]].

[34]
A. E. Lipstein,
“Soft Theorems from Conformal Field Theory,”
JHEP 1506, 166 (2015)
[arXiv:1504.01364 [hep-th]].

[35]
D. Kapec and P. Mitra,
“A $d$-Dimensional Stress Tensor for Mink$_{d+2}$ Gravity,”
arXiv:1711.04371 [hep-th].

[36]
S. Pasterski, S. H. Shao and A. Strominger,
“Flat Space Amplitudes and Conformal Symmetry of the Celestial Sphere,”
Phys. Rev. D 96, no. 6, 065026 (2017)
[arXiv:1701.00049 [hep-th]].

[37]
S. Pasterski and S. H. Shao,
“Conformal basis for flat space amplitudes,”
Phys. Rev. D 96, no. 6, 065022 (2017)
[arXiv:1705.01027 [hep-th]].

[38]
S. Pasterski, S. H. Shao and A. Strominger,
“Gluon Amplitudes as 2d Conformal Correlators,”
Phys. Rev. D 96, no. 8, 085006 (2017)
[arXiv:1706.03917 [hep-th]].

[39]
C. Cheung, A. de la Fuente and R. Sundrum,
“4D scattering amplitudes and asymptotic symmetries from 2D CFT,”
JHEP 1701, 112 (2017)
[arXiv:1609.00732 [hep-th]].

[40]
J. de Boer and S. N. Solodukhin,
“A Holographic reduction of Minkowski space-time,”
Nucl. Phys. B 665, 545 (2003)

[41]
S. Banerjee,
“Null Infinity and Unitary Representation of The Poincare Group,”
JHEP 1901, 205 (2019)
[arXiv:1801.10171 [hep-th]].

[42]
S. Banerjee,
“Symmetries of free massless particles and soft theorems,”
arXiv:1804.06646 [hep-th].

[43]
C. Cardona and Y. t. Huang,
“S-matrix singularities and CFT correlation functions,”
JHEP 1708, 133 (2017)
[arXiv:1702.03283 [hep-th]].

[44]
H. T. Lam and S. H. Shao,
“Conformal Basis, Optical Theorem, and the Bulk Point Singularity,”
arXiv:1711.06138 [hep-th].

[45]
N. Banerjee, S. Banerjee, S. Atul Bhatkar and S. Jain,
“Conformal Structure of Massless Scalar Amplitudes Beyond Tree level,”
arXiv:1711.06690 [hep-th].

[46]
A. Schreiber, A. Volovich and M. Zlotnikov,
“Tree-level gluon amplitudes on the celestial sphere,”
arXiv:1711.08435 [hep-th].

[47]
L. Donnay, A. Puhm and A. Strominger,
“Conformally Soft Photons and Gravitons,”
JHEP 1901, 184 (2019)
[arXiv:1810.05219 [hep-th]].

[48]
W. Fan, A. Fotopoulos and T. R. Taylor,
“Soft Limits of Yang-Mills Amplitudes and Conformal Correlators,”
JHEP 1905, 121 (2019)
[arXiv:1903.01676 [hep-th]].

[49]
M. Pate, A. M. Raclariu and A. Strominger,
“Conformally Soft Theorem in Gauge Theory,”
arXiv:1904.10831 [hep-th].

[50]
A. Ball, E. Himwich, S. A. Narayanan, S. Pasterski and A. Strominger,
“Uplifting AdS3/CFT2 to Flat Space Holography,”
arXiv:1905.09809 [hep-th].

[51]
T. Adamo, L. Mason and A. Sharma,
“Celestial amplitudes and conformal soft theorems,”
arXiv:1905.09224 [hep-th].

[52]
A. Puhm,
“Conformally Soft Theorem In Gravity,”
arXiv:1905.09799 [hep-th].

[53]
A. Bagchi, R. Basu, A. Kakkar and A. Mehra,
“Flat Holography: Aspects of the dual field theory,”
JHEP 1612, 147 (2016)
[arXiv:1609.06203 [hep-th]].

[54]
Hugh Osborn,
"Lectures on conformal field theories in more than two dimensions",

[55]
K. Peeters,
“Introducing Cadabra: A Symbolic computer algebra system for field theory problems,”

K. Peeters,
“A Field-theory motivated approach to symbolic computer algebra,”
Comput. Phys. Commun.  176, 550 (2007)
[cs/0608005 [cs.SC]].