1. Introduction
The search for new physics and standard-model tests in high energy physics, more than ever, demands the exploration of highly sophisticated processes [1-8]. This brings along experimental challenges as, for example, the implementation of multiparticle detection and measurement. In this context, the theoretical study of the spin-dependent observables and the analysis of high-order processes require the calculation of transition amplitudes of increasing complexity. Because these amplitudes involve a large number of Dirac particles, coupled through interaction terms with several gamma matrices [9-12], the textbook methods become cumbersome to calculate with.
The algebraic structure of physical amplitudes demands the use of bold and clever methods to provide an analytical value. Modern techniques for amplitude calculation have been improved, especially for interactions with many particles [13-16], and are usually optimized for some computational implementations [17-20]. However, almost all of these techniques are devoted to helicity states for fermions [21-29] and only a few can be regarded as an analysis tool for general spin directions [30].
Our goal in this work is to develop a fully covariant method which allows obtainong efficient and compact analytical expressions for the spin-dependent amplitude, so that the framework can be employed within a computational program. Also, we want to suggest that a simple unifying framework to many other approaches can be formulated with our expressions.
The organization of this work is as follows. Section 2 sets the basic notation and contains the central idea of our procedure: the covariance of Dirac spinors and its implications to the closure property, along with the decomposition of an operator in terms of spinors. Section 3 presents a systematic framework for spin amplitude calculation, we call this scheme the projective method. The method is exemplified using the spinor rest frame basis. Section 4 is devoted to formulate the massless-spinor method [18] using the structures of the Sec. 2. In Sec. 5, it is shown that the helicity-spinor method can also be structured within this framework. We give an example of all of these procedures by computing the Compton Scattering amplitude in Sec. 6. Finally, Sec. 7 contains the conclusions. Bjorken and Drell [31] notation and units will be adopted throughout this text.
2. Completeness of the Dirac spinors
The Dirac equation for a free particle of mass m
where e = ±1 is the sign of the energy (Ref. 31, pag. 28), uses two different representations of the Lorentz group. On one hand, the four-vector operator P^μ= i ((∂/∂t),- ∇- which transforms as the fundamental representation establishes. On the other hand, the massive-spinor representation acts on the four-component objects (Dirac spinors) which are used to solve Eq. (1). Namely, the positive- and negative-energy plane-wave solutions for Eq. (1) are
ψ+x=up,se-ip∙x, ψ-x=vp,seip∙x,
(2)
where x
μ
= (t,x-), u(p, s) is a positive-energy Dirac spinor and v(p,s) is the negative energy one. The energy E and the three-component momentum p- form the four-momentum vector ρ
μ
= (E, p-), and s
μ ·
= (s0, s-), the four-spin vector, fulfill the properties p
2 = m2
s · p = 0 and s2 = -1.
The operator contains the Dirac matrices γ
μ
which, due to the Lorentz invariance of the Dirac equation (1), transform as both spinor and four-vector object. To fully appreciate what this implies, it is useful to recall the properties of a Dirac spinor.
The spinors u(p, ±s) and v(p, ±s) satisfy the set of eigenequations
up,±s=m up,±s,
vp,±s=m vp,±s,
and form a complete basis for any four-component spinor, i.e. an arbitrary Dirac spinor w, with four-momentum p׳, four-spin s' and mass m׳ can be expanded in the form
wp´,s´= ∑sup,su-p,swp´,s´-∑svp,sv-p,swp´,s´,
(4)
where it is used the notation U-(p, s) = U
† (p, s)0 for the adjoint spinor of U (p, s).
The expansion (4) will not mix spinors of opposite energy if it connects spinors with the same four-momenta. This means that the representation of u(p, s
'
) or v(p, s
'
) will only have non-zero terms for coefficients u- (p,s)u(p,s') or v- (p, s) v (p, s
'
), respectively.
The orthogonality between spinors u (p, s) and v (p, s
'
) is evident in their rest reference frame, where the Dirac spinors of different energies are mutually orthogonal, no matter which spin directions are chosen. Using a Lorentz transformation S ( β-), one goes to the rest frame of the spinor with momentum p-= β- E, and then the equality
v-p,sup,s´=v-p,sS-β-Sβ-up,s´=v-p0,s0up0,s0´=0,
(5)
is evident and shows that it will hold in any reference frame. Also, formula (4) can be proven by taking advantage of its fully covariant structure, as it is noticed in (Ref. 31, pag. 31), and this suggests that its use will, in turn, generate covariant expressions.
The transformation rule of Dirac matrices (Ref. 31, pag. 20), can be further appreciated with the insight that equation (4) provides. Using it, one can demonstrate the expansion
γμ=∑rr´Crr´μ,Q,Q´ωrQ,Sω-r´Q´,S´,
(6)
where r,r' = 1,2,3,4, the spinor 𝜔
r
(Q,S) = u(Q, (-1)
r+1
S), for r = 1,2; and 𝜔
r
(Q,S) = v(Q, (-1)
r
S), for r = 3,4. Expression (6) shows a twofold composition of representations of the Lorentz group. While the coefficients Crr´μ,Q,Q´ transform according to the four-vector representation, the operator 𝜔
r
(Q, S) ω-
r
׳ (Q', S') is a pure spinorial object, transforming with the Dirac-spinor representation of the Lorentz group. Some remarks are in order. Firstly, the selection of the dynamical variables Q and S may seem arbitrary. This is not the case since their free choice reveals that Eqs. (3) constrain the spinors which constitute the basis. Secondly, the anticommutation and anti-hermitian properties of the gamma matrices are strictly fulfilled by this expansion, although it does not seem obvious from (6). Thirdly, analogous expressions to (6) follow but for products of gamma matrices such as γ
5
, γ
5
γ
μ
and σ
μν
= (i/2)[γ
μ
,γ
ν
].
A general spinorial operator O will be covariant if it transforms under the Lorentz group as O' = S O S-1. If O is written as
Ο = s + ργ5 + υμγμ + αμγ5γμ + Ωμv σμν,
(7)
the covariance is verified if the s, p, v
μ
, a
μ
and Ω
μν
are objects that transform under the four-vector representation as a scalar, pseudo-scalar, vector, axial-vector, and tensor quantities, respectively. If a covariant operator acts upon any spinor 𝜔
r
(Q), a new spinor O 𝜔
r
(Q) is obtained. In general, this spinor is not necessarily an eigenstate of Eqs. (3), but the result can be expressed as a linear combination of a complete spinorial basis. This idea will be extensively used in the following sections, but the relevance of the completeness in the spinor space becomes now clear.
In the next section, the expressions (4) and (6) will be used to compute a general Dirac amplitude, and that will enable us to understand other techniques systematically.
3. Projective method for the amplitude computation: a General Framework
A Dirac amplitude is a matrix element of the, usually, covariant operator Γ. Its Lorentz scalar nature is revealed when one looks at its explicit form. For example, with positive energy states, it looks as
M (p', s', p, s) = u-(p' ,s')Γu(p,s)
(8)
The main purpose of the spinorial techniques is to obtain the analytical value of expression (8) in terms of simple elements, such as inner products between four-vectors, or the volume subtended by four-vectors ε
αβγδ
a
a
b
ß
c
γ
d
δ
(where ε0123
= +1 is the Levi-Civita symbol of four indices). A common trick is to rewrite Eq. (8) as
M (p', s', p, s) = tr u(p, s)u-(p' ,s') Γ.
(9)
This procedure has the advantage of explicitly displaying the two covariant objects that constitute the amplitude. Furthermore, using the trace properties of gamma matrices it is possible to obtain an analytical expression for the amplitude. While the Γ operator is usually given in the representation that is shown in Eq. (7), the operator u(p, s) u- (p
'
, s
'
) is not usually represented this way. Associated with expansion (7), or a similar decomposition (general procedures to expand any operator in terms of covariant bilinears can be found in [32-34]), we can point out a couple of weaknesses of the operator u(p, s) u- (p', s'). On one hand, the procedure requires a considerable amount of work, the expressions obtained are not as compact as one would desire and are not trivially reduced to manifestly covariant functions of p
'
, s
'
, p, and s. On the other hand, the resulting elements do not have a direct physical interpretation and this obscures the overall outcome. To deal with this, a specific basis to overcome these difficulties is presented in the next subsection.
3.1. The rest basis
In the rest frame of the Dirac spinors, we rewrite Eqs. (3) as
with the spinors at rest Փ11() = S(β-)u(p, s), Փ12( ) = S( β-)u(p,-s), Փ22 ( ) = S(β-)v(p,-s), Փ21 () = S(β-)v(p,s) and the four-vectors μ = (1/ιη)
Λμν(β-)p
v
= (1, 0-), μ
= Λμν(β-) s
v
= (0, ). The Matrix Λ(β-) is the four-vector representation of the Lorentz transformation to
a frame moving with velocity β-, i.e., the frame where the spinors are at rest.
It is easy to see that the representation of the Dirac spinors in (Ref. 31, pag.
30) allows for a projective decomposition of the Dirac spinors in terms of the
spinors at rest
u(p,s)=2 mE+mu(p,s)u-(p,s)Φ11
u(p,-s)=2 mE+mu(p,-s=u-(p,-s)Φ12
vp,-s=-2 mE+mv(p,-s=v-(p,-s)Φ22
vp,s=-2 mE+mv(p,s)v-(p,s)Φ21
(11)
Note that expressions (11) are easily derived using the standard gamma-matrices
representation (Ref. 31, pag. 30). They remain valid in an arbitrary
representation since two sets of gamma matrices, γμ and γμ, are equivalent under
similarity transformations ([35]).
Using expressions (11), Eq. (9) takes the form
where both particles can have different masses and the operator Ραβ(p,s) = Π(α,p)
Σ (β, s) = = Σ(β,s) Π(a,p) is constituted with Π(α,p) = (α +
m)/2m and Σ(β,s) =
(βγ
5 +
1)/2, the energy and spin projectors, respectively, pertaining to positive spin
and energy for α = β = +1. A transition amplitude for a process
between an initial spinor of energy sign α = (-1)
𝜖+1 and spin eigenvalue in the frame at rest (-1)
𝜖+𝜏 = β(-1) 𝜖+1 and a final spinor
of energy sign a' = (-1) 𝜖´+ 1 and spin eigenvalue
in the frame at rest (-1) 𝜖´+ 𝜏´ = β´(-1)
𝜖´+ 1 is written as
Mϵ´, p´, τ´, s´, ϵ,p,τ,s=-1ϵ´+ϵ2m´Ε´+m´2mΕ+m
To be useful, the expression in (13) needs the operator expansion of
Փϵτ ( ) Փ-ϵ´τ´ ( ')
in terms of equation (7). The task is simple compared to the work required to
compute u(p, s) u- (p', s'), and the reason for this lies in the simplifications
allowed by the rest frame, particularly the implications for operator
expansions. To display this, it is convenient to note that the four-component
spinors Ф𝜖𝜏 can be presented as two couples of angular-momentum-like
eigenstates, with total angular momentum 1/2, each for different complementary
algebras.
This can be seen from the spin equation in (10)
Equation (14) implies, via the eigenvalue equation
γ0Φετ() =
-(-1)𝜖Φ𝜖𝜏(), that the spinors Ф𝜖1 ( ) and Փ𝜖2 () are eigenstates of the
operator -12γ0γ5γ- ∙ · = J- ∙
with eigenvalues
-(-1)𝜖/2 and +(-1) 𝜖/2 respectively. Operators J- fulfill the angular momentum commutation rules,
but operators γ
0J- do not. Using the projectors P𝜖 = (1 -
(-1) γ
0) /2, one can decompose the algebra as a direct sum of two
representations J-1 = P1J- and J-2 = P2J-, in such a way that
J-= J-1 + J-2,
(16)
and J1l,J2m=0 ∀ l,m. This shows that the four-component spinors Ф𝜖𝜏 are a
basis for a reducible representation of a group SU(2) ⨂ SU(2).
From Eq. (16) and the definition of P𝜖, an operator acting in the
subspace of spinors of definite energy e can be decomposed in
terms of the operator basis with four elements Vϵk =
{Pϵ, J-ϵ}, k = 0,1, 2, 3. Then, it is possible to expand Ф𝜖𝜏 () Փ𝜖𝜏´ ( ') as
where no summation over the e index is implied and the
coefficients cϵττ´k=cϵττ´k (')
will be obtained as the expression cϵττ´k
') =-(-1)ϵ1/2tr VϵkΦϵτ () Φ-ϵτ´ ( ')
establishes. For some representation of the gamma matrices, Eqs. (14) are
reduced to two-component eigenequations (1/2)
∙σ- ϕϵτ=(-1)ϵ+τ1/2ϕϵτ and, if we use the rest spin vector parametrization (sin 𝜗 cos
𝜑, sin 𝜗 sin 𝜑, cos 𝜗), the
coefficients can be easily obtained up to a nonphysical phase. Their explicit
expressions can be found in Appendix
A.
Expression (17) can be arranged in a covariant form
with the four-vectors cˇμ=cˇμϵ,τ,τ´=1/2cϵττ´0,0-, c∙μ=c∙μϵ,τ,τ´=1/20,cϵττ´1,cϵττ´2,cϵττ´3and qμ=( +
)/2.
The expansion of the operator Φϵτ ()Φ-ϵ´τ´ ('),
for 𝜖 = 𝜖', can be obtained with the operator γ5. After multiplying the first
equation in (10) by γ5, the energy effectively changes its sign but, the
eigenvalue for the spin equation keeps its sign
Notice that, up to an unphysical phase, the operators (18) transform under γ5
as
It is important to note that Eqs. (13), (18) and (B.1) (see Appendix B) have no arbitrary phases; this is relevant
when one is interested in the relative phases of a multiparticle process.
As an elementary application of expressions (13) and (18), the transition
amplitude for a vector operator Γ = 𝜐𝜇γ𝜇 and for spinors with the same energy
sign is shown in Appendix B. However, by
using the formulas (13), (A.1), (18), and (20), it is possible to perform
calculations for any kind of transition amplitude with a systematic methodology.
Nevertheless, this is a special case of the more general projective method.
3.2. General projective method
When one deals with an analytic amplitude calculation, like the one in equation (13), the implementation of a specific basis is useful to optimize the overall procedure. Particularly, the rest basis is a powerful tool to obtain the spin-dependent amplitude. A specific interaction term Γ could be successfully treated with a suitable election of the spinorial basis. Such a basis will be used in the generalized formula (13)
M α'p', β's', αp, βs= ∑rr´krkr´ cr´* Q',S'; α'p', β's'× crQ,S; αp, βs tr ωr (Q,S)ω-r´(Q',S')Γ,
(21)
where the spinors 𝜔r (Q, S) were defined above and the notation of the spin-energy projectors are used, with
crQ,S;+p,βs=ω-rQ,Sup,βs,
crQ,S;-p,βs=ω-rQ,Svp,βs,
(22)
Formula (21) reflects the main idea of this work. Although it is written with a general basis, it shows formidable characteristics of the completeness of a spinorial basis, i.e., the reduction of the amount of work needed, and the explicit covariance of the expressions obtained. Instead of working with the squared modulus of the amplitude |M|2, formula (21) allows one to deal with the transition amplitude M itself, without invoking non-physical quantities, and using a decomposition of the original transition amplitude in terms of elementary amplitudes ω-r´Q', S' Γ ωr (Q, S). In the next two sections, we will use two popular bases to express formula (21) and, exploiting their main properties and symmetries, we will obtain closed and compact expressions.
4. The massless-spinor method
Any massive spinorial basis possesses the interesting symmetry provided by the operator
γ5. Multiplying Eqs. (3) by γ5 shows that the spinors γ5ωr (Q, S) are
also its solutions. Actually, the spinor γ5 ωr (Q, S)
corresponds to an energy sign -Kr and spin sign -𝛿r as
follows
where K
r
= +1, 𝜂
r
= +1 for r = 1, 2 and K
r
= -1, 𝜂
r
= -1 for r = 3,4. This is a consequence of the PCT transformation over the spinor part of the wave functions (2). Nothing prevents the use of the set of eight linearly dependent massive spinors {𝜔
r
(Q, S), γ
5
𝜔
r
(Q,S)} as an over-complete basis.
There are multiple ways to reduce this set to a complete basis. For example, the linear combinations 𝜔
r
(Q,S) ± γ 5 𝜔
r
+2(Q, S), with r = 1, 2, form a complete basis. How ever, some useful linear combinations are
Wλ(r)=Wλ(r)Q,S=121+λγ5ωrQ,S,
(24)
with λ = ±1. The eight states (24) are not anymore eigen-states of Eqs. (3), but they fulfill
γ5Wλ(r)=λWλ(r),
(25)
and, with an appropriate phase selection, have the nontrivial orthogonality properties
W-λ´(r´)Wλ(r)=kr2δ-λ´λδr´r+λδr´ r+2+δr´+2r.
(26)
Equations (24), (25) and (26) suggest that a decomposition of the massive spinor space into two complementary spaces can be made. This approach emerges when one reinterprets equation (24) as the result of projecting the state 𝜔
r
(Q,S) with the chiral projector operators ρλ = (1 + λγ
5)/2. Effectively, an operator O can be decomposed into the direct sum of two operators, which are acting, separately, on the ρλ and ρ-λ subspaces. This can be seen explicitly in each splitting of the covariant operators
s⟶s pλ+s p-λ,
p γ5⟶p pλγ5pλ+p p-λ γ5 p-λ,
vμγμ⟶vμ p-λ γ5 pλ+vμ pλ γμp-λ,
αμγ5γμ⟶αμ p-λ γ5γμ pλ+αμ pλ γ5γμ p-λ,
Ωμvσμν⟶Ωμνpλσμνpλ+Ωμν p-λσμνp-λ,
(27)
and it means that two independent bases can be constructed in each of these subspaces.
A general eigenstate of Eq. (25) can be dentoed as πλζ. The respective basis will be generated when the equation for the quantum number ζ is found and the degeneration in state πλζ is avoided. Since [αi, γ5] = 0, one can impose the equation
k-∙α-πλζ=ζk0πλζ,
(28)
where k2 = (ζ k0)2
-k12-k22-k32 = 0, k0
> 0 and ζ = ±1. Equation (28) is known as the Weyl equation and it can be interpreted as a (dynamical) constriction over the spinors πλζ = πλζ (k). Due to the condition (dispersion relation) k
2 = 0, it is common to use the term massless spinor to designate πλζ.
As a consequence, a basis will be formed by spinors πλ+1,πλ-1 over the ρλ subspace, while the subspace ρ-λ will have the basis π-λ+1 , π-λ-1 . However, the orthogonality rules are now
πλ´ζ´πλζ=12δζ´ζδ-λ´λ,
(29)
where we have used the normalization of the states (24); this implies that the expansion of any operator in each subspace will be
Oλ=∑ζ´ζCλζ´ζOπλζ´π--λζ.
(30)
The different λ signs in the spinors in expression (30) are required by expression (29). This is an evidence that both, an operator O (acting over the four-dimensional spinor space) and a spinor 𝜔
r
(Q, S), need the four Weyl spinors πλζ to be expanded. The main reason behind the structure of Eq. (30) follows from the form in which the orthogonality between spinors is imposed. The covariace of Eqs. (29) introduces the operator γ
0, which does not commute with γ
5.
Then, a covariant expression for the expansion of any spinor w in terms of Weyl spinors is
ω=2∑ζπλζπ--λζω+2∑ζπ-λζπ-λζω,
(31)
where 𝜔 can be a massive or massless spinor.
Equation (31) is useful to select a complete basis from the eight states (24) but, as can be seen, there is no unique way to form a complete basis using states (24). Equation (28) helps in the task. The combination of the dynamical quantities k
t = p + t m s, with t = ±1, are two, nonorthogonal, light-like four-vectors. k/t on the states (24) yields
A remarkable property of the operators t is shown by the right-hand side of the Eq. (32). Imposing the condition k
r
-𝜆t𝜂r = 0, it is possible to establish a Weyl-like equation over the states (24).
For example, if we explicitly choose the basis Wλ(R) with R =1, 2, two of them, W+1(1) and W-1(2), fulfill the Weyl equation with +1, while the others, W-1(1) and W+1(2), satisfy a similar equation with -1. Other selections can be found, for example, in [?]. We can change the label (R) → R and then, the orthogonality rules among them reduce to
W-λ´R´wλR=12δR´Rδ-λ´λ.
(33)
The expansion of an arbitrary, massive or massless, spinor 𝜔 can be written as
ω=2∑RWλRW--λRω+2∑RW-λRw-λRω
(34)
As a first elementary application of formula (34), we present the massive spinors in terms of massless spinors
up,s=W+11+W-11,
up,-s=W+12+W-12,
vp,-s=W+11+W-11,
vp,s=W+12+W-12,
(35)
where the same dynamical quantities Q = p, S = s have been used in formula (34); this means that WλR= WλR(q,s) in expression (35). Another application of formula (34) is the expression for a transition amplitude with a vector interaction Γ = vμ𝛾μ,
Mr´,p´,s´,r,p,s=vμW-+1ρ´γμW+1ρ+κrκrW--1ρ´γμW-1ρ,
(36)
with ρ = r + 𝜅
r
- 1, and Wλ´ρ´=Wλ´ρ´(p´,s´). A similar procedure as the one used in Sec. 3.1 can be applied to obtain closed formulas for the terms W-λρ´γμ Wλρ, though, it is convenient to use a specific form of spinors Wλρ and calculate it directly, but we do not give explicit expressions for W-λρ´γμ Wλρ here.
Having established the connection with the massless spinor basis, now we will study the helicity formalism relation with the formalism of this work.
5. Helicity-spinor method
5.1. Helicity amplitude
An helicity spinor [36] ωκhp, sh, of energy sign κ = ±1, is defined through equations
p-∙Σ-p-ωκhp,sh=h ωκhp,sh,
(37)
with Σ
k
= 𝜖
klm
σ
lm
,the helicity sign h ± 1, and helicity-spin four-vector
sh=(p-m,Emp^).
(38)
It is essential to be careful with the noncovariant appearance of the second Eq. (37). This equation can be translated to the apparently covariant expression
γ5$hωκhp,sh= κ h ωκhp,sh,
(39)
where both Eqs. (37) are involved in its deduction. For Lorentz-boost transformations that do not reverse the direction of p-, Eq. (39) is a covariant expression. We restrict our analysis to this case.
It is useful to define the helicity associated rest basis of a helicity spinor wκh (p, sh)
Φκhp^=S β-ωκhp, sh=(coshχ2-h γ5sinhχ2)ωκhp,sh.
(40)
The correspondence between the bases Φκhp^ and Φ𝜖𝜏 (p^) is Φ11 ⟶ Φ+1+1, Փ12 ⟶ Φ+1-1, Փ21 ⟶ Φ-1-1, Փ22⟶ Φ-1+1. Definition (40) allows us to write the helicity amplitude for an operator Γ, for final wκ´h´ (p', s'
h
) and initial wκh (p, s
h
) helicity states, as
Mκ´ p´, s´h´,κ p, s=cosh χ´2coshχ2Mκ´κh´h+h´sinhχ´2
×coshχ2M-κ´κh´h+hcoshχ´2
×sinhχ2Mκ´-κh´h+h´hsinhχ´2
×sinhχ2M-κ´-κh´h,
(41)
where the notation Mk'kh'h = Φ-k´h´ ГФkh and the PCT transformation have been used (see Eq. (19)).
The elements Mk'kh'h can be obtained with the formalism developed in Sec. (3.), particularly using formulas (18) and (20). For example, when formula (41) is used for interaction through a vector operator Γ = v
𝜇𝛾𝜇, we obtain
Mκp´, s´h,κ p,sh=4(coshχ´2coshχ2cˇϵκ,τκh,τκh´∙v+h´sinhχ´2coshχ2c∙(ϵκ,τκh,τκh´)∙v
+ hcoshχ´2sinhχ2 c∙ ϵκ,τκh,τκh´∙v+h´ hsinhχ´2sinhχ2 cˇ (ϵ-κ,τ-κh,τ-κh´)∙v),
(42)
Mκp´, s´h,κ p,sh=4(coshχ´2coshχ2 c∙ϵκ,τκh,τκh´∙v+h´sinhχ´2coshχ2cˇ(ϵκ,τκh,τκh´)∙v
+ hcoshχ´2sinhχ2 cˇ ϵ-κ,τ-κh,τ-κh´∙v+h´ hsinhχ´2sinhχ2 c∙ (ϵκ,τκh,τκh´)∙v),
(43)
with 𝜖 = (3 - 𝜅) /2 and 𝜏𝜅h = (3 - 𝜅h)/2.
Formula (40) can be used to express a general spinor 𝜔
r
(Q, S) in terms of the helicity associated rest basis
ωrQ,S=κr((coshχ2Kκrrh+hsinhχ2K-κrr-h)
× coshχ2Φκrh+hsinhχ2Φ-κrh+
(coshχ2Kκrr-h-hsinhχ2K-κrr-h)
× coshχ2Φκr-h+hsinhχ2Φ-κr-h)
(44)
where the helicity spinorial basis ωκh has the same four-momentum qμ = Qμ = (Q0,Q-), and Kκrrh = Φ-κrh (Q^)ωr (Q, S). In practice, it is straightforward to directly evaluate the symbols Kκrrh using an explicit representation of the respective spinors. Finally, the formula for a general spin amplitude can be found in Appendix C.
In the next section an elementary use of the formulas developed in Secs. (3-5) is presented. There, multiple expressions for the amplitude of the Compton process are derived.
6. An example: the Compton effect
The transition amplitude for the Compton process (see Fig. 1) is
where kμ = k1, k^, = k'μ (1, k^) are the initial and final photon four-momentum, and 𝜖μ, 𝜖´
μ
are the four-vectors that represent their respective polarizations, which are in a complex-number representation and allow the treatment of elliptical polarization.
Using the Mandelstam variables
s=(p+k)2,
u=(p+k´)2,
t=(k+k´)2,
s+u+t=2m2,
(46)
and after some manipulations, one can rewrite equation (45) as
The use of the equation u(p, s) = mu(p, s), the four-momentum conservation p + k = p
'
+ k
'
and the gamma matrices identity γ
α
γ
β
γ
δ
= 9
αβ
γ
δ
- g
αδ
γ
β
+ 9
βδ
γ
α
+ ίε
αβδμ
γ
5
γ
μ
, reduces the number of gamma matrices. If the final terms are arranged, expression (47) looks as
where
Vμ=s-u-ϵ ∙ ϵ´*kμ+ ϵ´* ∙ k ϵμ +2tϵ ∙ p´ ϵ´*μ(m2-u)(s-m2)+2ϵ ∙k´ ϵ´*μs-m2 ,
(49)
Aμ=it ϵαϵ´β*kδϵαβδμ(-u)(s-m2).
(50)
Using the spinor techniques, and the compact expression (48), efficient treatment of the amplitude can be made as it is shown below.
6.1. The helicity-spinor method
With formulas (18) and (42), the helicity amplitude for this process is
Mp´,s´h,p,sh= -4ie2(coshχ´2coshχ2 (cˇ1, τ+1h, τ+1h´ ∙V- c∙(1, τ+1h, τ+1h´)∙A)
+h´sinhχ´2coshχ2(c∙1, τ+1h, τ+1h´∙V- cˇ(1, τ+1h, τ+1h´)∙A)
+h´coshχ´2sinhχ2(c∙1, τ+1h, τ+1h´∙V- cˇ(1, τ+1h, τ+1h´)∙A)
+h´hsinhχ´2coshχ2(cˇ2, τ-1h, τ-1h´∙V- c∙(2, τ-1h, τ-1h´)∙A)
(51)
Equation (51) explicitly shows three parts: kinematic elements through the hyperbolic functions, the spin direction elements cμ∙, cˇμ, and the dynamical elements 𝕍μ, 𝔸μ. This separation could be useful, for example, to analyze some kinematic configuration of interest, as the center of mass high energy limit, in which this process preserves helicity. If one takes the approximations cosh χ / 2 ≈ cosh (χ'/2) and sinh (χ/2) ≈ sinh (χ'/2) in Eq. (51), the desired result M (p', s'
-h
,p, s
h
) = 0 is easily obtained. There exist systems where this limit is interesting, as the inverse Compton Light Source (details of this machine can be found in the literature, for example in [37]). Then, in this limit, and assuming helicity conservation, equation (51) reads
Mp´,s´h,p,sh=-4ie2coshχ(cˇ1,τ+1h,τ+1h∙ V-c∙1, τ+1h, τ+1h∙ A+hsinhχ(c∙1, τ+1h, τ+1h∙ V- cˇ(1, τ+1h,τ+1h)∙ A)).
(52)
Using expressions (48), (49), (50) and formula (C.1), the amplitude for general spin directions is
M r',p', s', r,p, s=α+1r´h´χ´α+1rhχcoshχ´2coshχ2M+1+1h´h+h´sinhχ´2coshχ2M-1+1h´h+hcoshχ´2sinhχ2M+1+1h´h+h´hsinhχ´2sinhχ2M-1-1h´h+α+1r´-h´χ´α+1rhχcoshχ´2coshχ2M+1+1-h´h-h´sinhχ´2coshχ2M+1+1-h´h+h´sinhχ´2coshχ2M-1+1-h´h+hcoshχ´2sinhχ2M+1-1-h´h-h´hsinhχ´2sinhχ2M-1-1-h´h + α+1r´h´χ´α+1r-hχ coshχ´2coshχ2M+1+1h´-h+h´sinhχ´2coshχ2 M-1+1|h´-h-hcoshχ´2sinhχ2M+1-1h'-h-h´hsinhχ´2sinhχ2M-1-1h-h+α+1r´-h´χ´α+1r-hχ coshχ´2coshχ2M+1+1-h´-h-h´sinhχ´2coshχ2M-1+1-h´-h-hcoshχ´2sinhχ2M+1-1-h´-h+h´hsinhχ´2sinhχ2M-1-1-h´-h ,
(53)
with
M+1+1h´h=-4ie2cˇ1, τ+1h,τ+1h´∙V- c∙1, τ+1h,τ+1h´∙A,M-1-1h´h=4ie2 cˇ2,τ-1h,τ-1h´∙ V-c∙2,τ-1h,τ-1h´∙A
and
M-1+1h´h= M+1-1h´h= -4ie2 c∙1, τ+1h,τ+1h´ ∙ V cˇτ+1h,τ+1h´∙A.
6.2. The massless-spinor method
Using equations (34) and (36), the transition amplitude is
Mr',p',s',r,p,s=-ie2 Vμ-AμW-+1r´ γμ W+1r+(Vμ+Aμ)W-+1 r´γμ W-1r
(54)
As stated above, it is easy to obtain expressions for W-λr´ γμ Wλr with an explicit representation of the spinors. For example, if one uses the standard representation (Ref. 31, pag. 30), the first element looks like
W-+1r´ γ0 Wλr=12 E+m2mE´+m2m arar´*1+λpzE+m+λp´zE´+m+p´zpz+(p´x-ip´y)(px+ipy)(E+m)(E´+m)+brbr´*1-λpzE+m-λp´zE´+m+p´zpz+(p´x+ip´y)(px-ipy)(E+m)(E´+m)+λbrar´*px-ipyE+m+p´x-ip´yE´+m+λp´zpx-ipy-pz(p´x-ip´y)(E+m)(E´+m)+λarbr´*px+ipyE+m+p´x+ip´yE´+m+λpzp´x-ip´y-p´z(px+ipy)(E+m)(E´+m),
where a1= e-i(ϱ ∕ 2)A,a2=-e-i(ϱ ∕ 2) B*,b1=ei(ϱ ∕ 2) B, b2=ei(ϱ ∕ 2)A* and (Ref. [31], pag. 547)
A=1-γβ3s0+(γ-1)β1β3β-2s1+(γ-1)β2β3β-2s2+(1+(γ-1)β32β-2)s32
B=1-γβ3s0-γ-1β1β3β-2s1-γ-1β2β3β-2s2-(1+(γ-1)β32β-2)s32
(56)
tanϱ=-γβ2s0+γ-1β1β2β-2s1+γ-1β2β3β-2s3+(1+γ-1β22β-2)s2-γβ1s0+γ-1β1β2β-2s2+γ-1β1β3β-2s3+(1+γ-1β12β-2)s1,
(57)
where β- = (β1,β2,β3) = (p-/E), γ = ( 1 ∕1-β-2), s0 = (β- · s^/1-(β-·s^)2) and s-=s1,s2,s3=s^∕1-(β-·s^)2)
6.3. The projective method: The rest basis
Because this formula is too long, it can be found in Appendix D.
6.4. The projective method: Using the Lorentz-invariant property of the amplitude
The amplitude (48) is a Lorentz scalar and it allows us to compute its analytical value in the reference frame where the electron is initially at rest. The result is general because it is possible to rewrite all the variables in another frame using a Lorentz transformation. With the aid of equation (21) and the covariance of amplitude (48), we get
M p', s', p, s=-ie2a tr ϕϕ´†+i tr ϕϕ´†σ-∙b-.
.(58)
The (two-component) spinors 𝜙', 𝜙 have their spin quantization directions defined by the
final and
initial spin
three-dimensional vectors in their respective rest frames. The notation for a
and b- is
a=m(m2-u)(s-m2)4m2-t×(-s-u)2 ϵ^f*∙ϵ^i+2t ϵ^f*∙k-iϵ^i∙k-f,
(59)
b-=14m2-t(k-f-k-i×-ϵ^f*∙ϵ^ik^f+ϵ^f*∙k^iϵ^i-ϵ^f*∙ϵ^ik^f+ϵ^f*ϵ^i∙k^f+k^i∙ϵ^f*×ϵ^i-k^f∙ϵ^f*×ϵ^i×k-f-k-i)
(60)
where we have used the radiation gauge ϵ = (0, ϵ- ). Since the spin dependencies 𝜙𝜙'† are clearly separated from any other kind of term, expression (58) can be useful when trying to analyze the spin properties of the amplitude.
7. Conclusions
The notion of covariant-spinorial operator helps to understand the importance of massive spinors' closure property. An important consequence of this is shown by Eq. (6). Although we do not take advantage of this equation, Eq. (6) clarifies the arguments that are employed in the text. It shows the origin of the covariance and generality of our results.
Our procedure, the projective method, allows computing transition amplitudes using a decomposition of a (massive or massless) spinor as a linear combination of others (massive or massless) spinors which, in principle, are not related to the problem. However, to avoid unnecessary phases, it is helpful to use a spinorial basis related to the problem.
We have shown that most common spinor techniques, as the helicity- and massless-spinor methods, can be formulated using the idea of a complete spinorial basis. This framework allows us to exploit the symmetries and properties of the spinors, without the need for a specific representation for them or for the gamma matrices, allowing a wider understanding of the formalism. The framework thus proposed is free of unphysical singularities, therefore it could be fruitful to implement it within a computational code.
For instance, the spinorial basis at rest allows for obtaining closed formulas, which are fully covariant, for transition amplitudes. Thus, without requiring a particular four-component spinor representation and with no need to fix arbitrary phases. The use of this particular basis is a great example of how spinor symmetries help on the obtaining of useful formulas; at the same time, it permits to get analytical values of any amplitude using, simultaneously, two or more different bases. This is relevant, particularly if one has an interest in evaluating the efficiency, or shortcomings, of different schemes, like those related to singularity issues in the amplitude.
As an example of our procedures, formulas for the Compton amplitude, for helicity states and general spin states, were obtained. It can be noted that Eq. (51) has not been computed for a particular frame as our procedure does not depend on such an election. Also, the structure of Eq. (51) shows separately the kinematic, spin direction and dynamical factors, which are useful in the analysis of any process. The covariance of the framework is exploited with the formula (58), a compact expression for general spin configurations. It could be useful studying polarization effects, such as the electron spin asymmetry using polarized photons, or the photon helicity asymmetry using unpolarized electrons.
Acknowledgments
We thank CONACyT (Mexico) and Fomix project with number 224392. We appreciate Rodolfo Leo and Dr. Enrique Moreno-Mendez's critical reading of this manuscript.
References
1. W. Giele, E. Glover, D. A. Kosower, Nuclear Physics B 403 (1993) 633.
[ Links ]
2. W. Hollik, B. Kniehl, E. Scherbakova, O. Veretin, Nuclear Physics B 900 (2015) 576. 15
[ Links ]
3. N. Orlando, Nuclear and Particle Physics Proceedings 258-259 (2015) 11.
[ Links ]
4. B. Ward, S. Majhi, A. Mukhopadhyay, S. Yost, Nuclear and Particle Physics Proceedings 258-259 (2015) 19.
[ Links ]
5. S. Biswas, R. Frederix, E. Gabrielli, B. Mele, Nuclear and Particle Physics Proceedings 273-275 (2016) 721.
[ Links ]
6. S. Dawson, A. Ismail, Phys. Rev. D 98 (2018) 093003.
[ Links ]
7. A. Ballestrero, E. Maina, G. Pelliccioli, Journal of High Energy Physics 2018 (2018) 170.
[ Links ]
8. F. Herzog et al
.,
Physics Letters B 790 (2019) 436.
[ Links ]
9. V. Barger, J. Ohnemus, R. J. N. Phillips, International Journal of Modern Physics A 04 (1989) 617.
[ Links ]
10. M. Arai, N. Okada, K. Smolek, V. Simak, Phys. Rev. D 75 (2007) 095008.
[ Links ]
11 . M. Baumgart, B. Tweedie, Journal of High Energy Physics 2013 (2013) 72.
[ Links ]
12. The ATLAS collaboration, et al
.,
Journal of High Energy Physics 2017 (2017) 113.
[ Links ]
13. R. Kleiss, Nuclear Physics B 241 (1984) 61.
[ Links ]
14. A. Ballestrero, E. Maina, Physics Letters B 350 (1995) 225.
[ Links ]
15. C.-F. Qiao, Phys. Rev. D 67 (2003) 097503.
[ Links ]
16. V. V. Andreev, Physics of Atomic Nuclei 66 (2003) 383.
[ Links ]
17. F. Berends, P. Daverveldt, R. Kleiss, Nuclear Physics B 253 (1985) 441.
[ Links ]
18. R. Kleiss, W. J. Stirling, Nuclear Physics B 262 (1985) 235.
[ Links ]
19. A. Gongora-T, R. G. Stuart, Zeitschrift fur Physik C Particles and Fields 42 (1989) 617.
[ Links ]
20. D. Matre, P. Mastrolia, Computer Physics Communications 179 (2008) 501.
[ Links ]
21. P. D. Causmaeker, R. Gastmans, W. Troost, T. T. Wu, Physics Letters B 105 (1981) 215.
[ Links ]
22. P. D. Causmaeker, R. Gastmans, W. Troost, T. T. Wu, Nuclear Physics B 206 (1982) 53.
[ Links ]
23. F. Berends et al., Nuclear Physics B 206 (1982) 61.
[ Links ]
24. F. Berends et al., Nuclear Physics B 239 (1984) 382.
[ Links ]
25. G. Passarino, Phys. Rev. D 28 (1983) 2867.
[ Links ]
26. F. Berends, et al., Nuclear Physics B 239 (1984) 395.
[ Links ]
27. R. Vega, J. Wudka, Phys. Rev. D 53 (1996) 5286.
[ Links ]
28. H. K. Dreiner, H. E. Haber, S. P. Martin, Physics Reports 494 (2010) 1.
[ Links ]
29. L. Niu, S. Mao, L. Gang, G. Jian-You, International Journal of Theoretical Physics 54 (2015) 2813.
[ Links ]
30. V. V. Andreev, Phys. Rev. D 62 (2000) 014029.
[ Links ]
31. J. D. Bjorken, S. D. Drell, Relativistic quantum mechanics, International series in pure and applied physics (McGraw-Hill, New York, NY, 1964).
[ Links ]
32. M. Hofri, A. Peres, Nuclear Physics 59 (1964) 618.
[ Links ]
33. M. Moreno, Journal of Mathematical Physics 26 (1985) 576.
[ Links ]
34. C. Lorce, Phys. Rev. D 97 (2018) 016005.
[ Links ]
35. R. H. Good, Rev. Mod. Phys. 27 (1955) 187.
[ Links ]
36. M. Jacob, G. Wick, Annals of Physics 7 (1959) 404.
[ Links ]
37. G. A. Krafft, G. Priebe, Reviews of Accelerator Science and Technology 03 (2010) 147.
[ Links ]
38. J. D. Jackson, Classical electrodynamics (Wiley, New York, NY, 1999), third edn.
[ Links ]
Appendix
A.
The coefficients cϵττ´k' look explicitly as
c1110=c2220=c1220*=c2110*=12 cosϑ2e-iφ2cosϑ´2eiφ´2+sinϑ2eiφ2sinϑ´2e-iφ´2,
c1111=c2221=c1221*=c2111*=12 cosϑ2e-iφ2sinϑ´2e-iφ´2+sinϑ2eiφ2cosϑ´2eiφ´2,
c1112=c2222=c1222*=c2112*=12 cosϑ2e-iφ2sinϑ´2e-iφ´2-sinϑ2eiφ2cosϑ´2eiφ´2,
c1113=c2223=c1223*=c2113*=12 cosϑ2e-iφ2sinϑ´2e-iφ´2-sinϑ2e-iφ2cosϑ´2eiφ´2,
c1210=c2120=c1220*=c2210*=12 cosϑ2eiφ2sinϑ´2e-iφ´2-sinϑ2e-iφ2cosϑ´2eiφ´2,
c1211=c2121=c1221*=c2211*=12 cosϑ2eiφ2cosϑ´2eiφ´2-sinϑ2e-iφ2sinϑ´2e-iφ´2,
c1212=c2122=c1122*=c2212*=-12 cosϑ2eiφ2cosϑ´2eiφ´2+sinϑ2e-iφ2sinϑ´2e-iφ´2,
c1213=c2123=c1123*=c2213*=-12 cosϑ2eiφ2sinϑ´2e-iφ´2+sinϑ2e-iφ2cosϑ´2eiφ´2,
(A.1)
B.
The explicit view of the formula for the transition amplitude between particle states and the interaction term 𝜓 is
Mϵ, p´, τ´, s´, ϵ,p, τ, s=14mm´2m´E´+m´2mE+m--1ϵc˘∙q(--1τ´is´p´ vp--1τ´+ϵ+τ mp´s´v s
--1τ ip´vsp--1ϵ m p´ ∙v+ - -1ϵ m´ p ∙v+-1τ´+τ+ϵ m´ s´ ups)
--1τ´+τ cˇp´ s´ vps+(-1)τ´+ϵim cˇp´ s´v+ cˇp´ vp-(-1)ϵ+τim cˇp´ vs
--1τ´+ϵ im´cˇs´vp+-1τ´+τ m´m cˇs´vs - -1τ+ ϵ im´ cˇvps+ m´m cˇ∙v
-(-1)τ´+τ ic∙p´ vp+ic∙p´ vp+(-1)τ´+ϵ m c∙p´ s´v-(-1)ϵ+τ m c∙p´ vs
-(-1)τ´+ϵm´ c∙s´ vp+(-1)τ´+τim´m c∙s´ vs-(-1)τ+ϵ m´c∙vps+(-1)ϵ((-1)τ´qc∙p´s´ vp
-(-1)ϵ+τ´+τ imqc∙p´ s´ vs+(-1)τqc∙p´ vps+(-1)τ´+ϵ+τim´c∙s´ vps
-(-1)ϵimqc∙p´ v-(-1)τ´m´m qc∙s´ v--1)ϵim qc∙vp+-1)τ m´m qc∙ vs,
(B.l)
with the notation abcd= εμ1μ2μ3μ4 αμ1 bμ2 cμ3 dμ4, abcdef= - a∙bcdef+ a∙cbdef- b∙cadef+ d∙eabcf- d∙f abce+ e∙f abcd, abcd = a∙b c∙d - a∙c b∙d + a∙d b∙c, abcdef = a∙b cdef - a∙c bdef + a∙d bcef - a∙e bcdf + a∙f (bcde).
C.
The formula for a general spin amplitude using our approach to the helicity formalism is
M r', p', s', r, p, s=κr´κr(aκr´r´h´h(χ´)aκrrh(χ)(coshχ´2coshχ2Mκr´κrh´h+h´sinhχ´2coshχ2M-κr´κrh´h
+hcoshχ´2sinhχ2Mκr´-κrh´h+h´hsinhχ´2sinhχ2M-κr´-κrh´h)+aκr´r´-h´(χ´)aκrrh(χ)
×(coshχ´2coshχ2Mκr´κr-h´h-h´sinhχ´2coshχ2M-κr´κr-h´h+hcoshχ´2sinhχ2Mκr´-κr-h´h
-h´hsinhχ´2sinhχ2M-κr´-κr-h´h)+aκr´r´h´(χ´)aκrr-h(χ)(coshχ´2coshχ2Mκr´κrh´-h
+ h´sinhχ´2sinhχ2M-κr´κrh´-h-hcoshχ´2sinhχ2Mκr´-κrh´-h-h´hsinhχ´2sinhχ2M-κr´-κrh´-h)
+aκr´r´-h´(χ´)aκrr-h(χ)(coshχ´2coshχ2Mκr´κr-h´-h-h´sinhχ´2coshχ2M-κr´κr-h´-h
-hcoshχ´2sinhχ2Mκr´-κr-h´-h+h´hsinhχ´2sinhχ2M-κr´-κr-h´-h)),
(C.l)
where the notation
aκrrh χ= cosh (χ/2) Kκrrh + hsinh (χ/2) K-κrrh has been used.
D.
With the aid of expressions (20) and (B.1), the amplitude is written as
M1,p´,τ´,s´,1,p, τ,s=-ie24mm2m´E´+m´2mE+mcˇ∙q(-(-1)τ´is´p´Vp+(-1)τ´+τ m p´s´Vs-(-1)τ i[p´Vsp]
+m p´∙V+m´ p∙V--1)τ´+ τ m´s´Vps-(-1)τ´+τcˇp´ s´ Vps-(-1)τ´|im[cˇp´ s´V]
+cˇp´ Vp+(-1)τ im cˇp´Vs+(-1)τ´ im´ cˇs´Vp+(-1)τ´+τ m´m cˇs´Vs+(-1)τ im´[cˇVps]
+m´m cˇ∙V-(-1)τ´+τ ic∙p´ s´Vps+ic∙p´Vp-(-1)τ´ m c∙p´ s´V+(-1)τ m c∙p´ Vs
+(-1)τ´ m´ c∙s´Vp+(-1)τ´+τ im´mc∙s´Vs+(-1)τ m´ c∙Vps-((-1)τ´qc∙p´s´V
+(-1)τ´+τ imqc∙p´s´Vs+(-1)τqc∙p´Vps-(-1)τ´+τ im c∙s´Vps+imqc∙p´V
-(-1)τ´m´m qc∙s´V+im´ qc∙Vp+-1)τ m´m qc∙Vs+(-1)τ m cˇp´As+cˇ∙q(-(-1)τ´s´p´Ap
+(-1)τ´+τ imp´s´As+(-1)τ p´Asp+(-1)τ´ m´m s´∙A+(-1)τ m´m s∙A-(-1)τ´+τ im´s´Aps)
+(-1)τ´+τ icˇp´ s´Aps+(-1)τ´ m cˇp´ s´A+i cˇp´ Ap+(-1)τ´ m´ cˇs´Ap+(-1)τ´+τ im´m cˇs´As
-(-1)τ m´cˇAps-m´m c∙∙ A+(-1)τ´+τc∙p´ s´Aps+ c∙p´ Ap+(-1)τ´ im[c∙p´ s´A]
+(-1)τ imc∙p´ As+(-1)τ´ im´c∙s´ Ap+(-1)τ´+τ m´m c∙s´ As-(-1)τ im´c∙Aps
-((-1)τ´ iqc∙p´ s´Ap+(-1)τ´+τ mqc∙p´ s´As-(-1)τ i qc∙p´ Aps+(-1)τ´+τ m´qc∙s´Aps
-m qc∙p´A+-1)τ´im´m qc∙s´A+m´qc∙Ap+-1)τ im´m qc∙As.
(D.l)
Using equations (56) and (57), the four-vectors cˇμ
·
and c∙μ ** are built with the correspondence
A→cosϑ2,B→sinϑ2,ϱ→φ.
(D.2)