• Images
• Videos
• Documents
• Books
• Articles

Relation between path integral formulation and source formulation

In the Feynman's path integral formulation with normalization N ≡ Z [ J = 0 ] {\displaystyle {\mathcal {N}}\equiv Z[J=0]} , the partition function¹⁴ is given by

Z [ J ] = N ∫ D ϕ exp ⁡ [ − i ( ∫ d t   L ( t ; ϕ , ϕ ˙ ) + ∫ d 4 x J ( x , t ) ϕ ( x , t ) ) ] . {\displaystyle Z[J]={\mathcal {N}}\int {\mathcal {D}}\phi \,\exp \left[-i\left(\int dt~{\mathcal {L}}(t;\phi ,{\dot {\phi }})+\int d^{4}x\,J(x,t)\phi (x,t)\right)\right].}

One can expand the current term in the exponent N ∫ D ϕ   exp ⁡ ( − i ∫ d 4 x J ( x , t ) ϕ ( x , t ) ) = N ∑ n = 0 ∞ i n n ! ∫ d 4 x 1 ⋯ ∫ d 4 x n J ( x 1 ) ⋯ J ( x 1 ) ⟨ ϕ ( x 1 ) ⋯ ϕ ( x n ) ⟩ {\displaystyle {\mathcal {N}}\int {\mathcal {D}}\phi ~\exp \left(-i\int d^{4}x\,J(x,t)\phi (x,t)\right)={\mathcal {N}}\sum _{n=0}^{\infty }{\frac {i^{n}}{n!}}\int d^{4}x_{1}\cdots \int d^{4}x_{n}J(x_{1})\cdots J(x_{1})\left\langle \phi (x_{1})\cdots \phi (x_{n})\right\rangle }

to generate Green's functions (correlators) G ( t 1 , ⋯ , t n ) = ( − i ) n δ n Z [ J ] δ J ( t 1 ) ⋯ δ J ( t n ) | J = 0 , {\displaystyle G(t_{1},\cdots ,t_{n})={\left(-i\right)}^{n}\left.{\frac {\delta ^{n}Z[J]}{\delta J(t_{1})\cdots \delta J(t_{n})}}\right|_{J=0},} where the fields inside the expectation function ⟨ ϕ ( x 1 ) ⋯ ϕ ( x n ) ⟩ {\displaystyle \langle \phi (x_{1})\cdots \phi (x_{n})\rangle } are in their Heisenberg pictures. On the other hand, one can define the correlation functions for higher order terms, e.g., for 1 2 m 2 ϕ 2 {\textstyle {\frac {1}{2}}m^{2}\phi ^{2}} term, the coupling constant like m {\displaystyle m} is promoted to a spacetime-dependent source μ ( x ) {\displaystyle \mu (x)} such that i 1 N δ δ μ 2 Z [ J , μ ] | m 2 = μ 2 = ⟨ 1 2 ϕ 2 ⟩ . {\displaystyle i{\frac {1}{\mathcal {N}}}\left.{\frac {\delta }{\delta \mu ^{2}}}Z[J,\mu ]\right|_{m^{2}=\mu ^{2}}=\left\langle {\tfrac {1}{2}}\phi ^{2}\right\rangle .}

One implements the quantum variational methodology to realize that J {\displaystyle J} is an external driving source of ϕ {\displaystyle \phi } . From the perspectives of probability theory, Z [ J ] {\displaystyle Z[J]} can be seen as the expectation value of the function e J ϕ {\displaystyle e^{J\phi }} . This motivates considering the Hamiltonian of forced harmonic oscillator as a toy model

H = E a ^ † a ^ − 1 2 E ( J a ^ † + J ∗ a ^ ) {\displaystyle {\mathcal {H}}=E{\hat {a}}^{\dagger }{\hat {a}}-{\frac {1}{\sqrt {2E}}}\left(J{\hat {a}}^{\dagger }+J^{*}{\hat {a}}\right)} where E 2 = m 2 + p 2 {\displaystyle E^{2}=m^{2}+\mathbf {p} ^{2}} .

In fact, the current is real, that is J = J ∗ {\displaystyle J=J^{*}} .¹⁵ And the Lagrangian is L = i a ^ † ∂ 0 ( a ^ ) − H {\displaystyle {\mathcal {L}}=i{\hat {a}}^{\dagger }\partial _{0}({\hat {a}})-{\mathcal {H}}} . From now on we drop the hat and the asterisk. Remember that canonical quantization states ϕ ∼ ( a † + a ) {\displaystyle \phi \sim (a^{\dagger }+a)} . In light of the relation between partition function and its correlators, the variation of the vacuum amplitude gives

δ J ⟨ 0 , x 0 ′ | 0 , x 0 ″ ⟩ J = i ⟨ 0 , x 0 ′ | ∫ x 0 ″ x 0 ′ d x 0   δ J ( a † + a ) | 0 , x 0 ″ ⟩ J , {\displaystyle \delta _{J}\langle 0,x'_{0}|0,x''_{0}\rangle _{J}=i\left\langle 0,x'_{0}\right|\int _{x''_{0}}^{x'_{0}}dx_{0}~\delta J{\left(a^{\dagger }+a\right)}{\left|0,x''_{0}\right\rangle }_{J},} where x 0 ′ > x 0 > x 0 ″ {\displaystyle x_{0}'>x_{0}>x_{0}''} .

As the integral is in the time domain, one can Fourier transform it, together with the creation/annihilation operators, such that the amplitude eventually becomes¹⁶

⟨ 0 , x 0 ′ | 0 , x 0 ″ ⟩ J = exp ⁡ ( i 2 π ∫ d f   J ( f ) 1 f − E J ( − f ) ) . {\displaystyle {\left\langle 0,x'_{0}|0,x''_{0}\right\rangle }_{J}=\exp {\left({\frac {i}{2\pi }}\int df~J(f){\frac {1}{f-E}}J(-f)\right)}.}

It is easy to notice that there is a singularity at f = E {\displaystyle f=E} . Then, we can exploit the i ε {\displaystyle i\varepsilon } -prescription and shift the pole f − E + i ε {\displaystyle f-E+i\varepsilon } such that for x 0 > x 0 ′ {\displaystyle x_{0}>x_{0}'} the Green's function is revealed

⟨ 0 | 0 ⟩ J = exp ⁡ ( i 2 ∫ d x 0 d x 0 ′ J ( x 0 ) Δ ( x 0 − x 0 ′ ) J ( x 0 ′ ) ) Δ ( x 0 − x 0 ′ ) = ∫ d f 2 π e − i f ( x 0 − x 0 ′ ) f − E + i ε {\displaystyle {\begin{aligned}&{\left\langle 0|0\right\rangle }_{J}=\exp {\left({\frac {i}{2}}\int dx_{0}\,dx'_{0}\,J(x_{0})\Delta (x_{0}-x'_{0})J(x'_{0})\right)}\\[1ex]&\Delta (x_{0}-x'_{0})=\int {\frac {df}{2\pi }}{\frac {e^{-if\left(x_{0}-x'_{0}\right)}}{f-E+i\varepsilon }}\end{aligned}}}

The last result is the Schwinger's source theory for interacting scalar fields and can be generalized to any spacetime regions.¹⁷ The discussed examples below follow the metric η μ ν = diag ( 1 , − 1 , − 1 , − 1 ) {\displaystyle \eta _{\mu \nu }={\text{diag}}(1,-1,-1,-1)} .

Source theory for scalar fields

Causal perturbation theory explains how sources weakly act. For a weak source emitting spin-0 particles J e {\displaystyle J_{e}} by acting on the vacuum state with a probability amplitude ⟨ 0 | 0 ⟩ J e ∼ 1 {\displaystyle \langle 0|0\rangle _{J_{e}}\sim 1} , a single particle with momentum p {\displaystyle p} and amplitude ⟨ p | 0 ⟩ J e {\displaystyle \langle p|0\rangle _{J_{e}}} is created within certain spacetime region x ′ {\displaystyle x'} . Then, another weak source J a {\displaystyle J_{a}} absorbs that single particle within another spacetime region x {\displaystyle x} such that the amplitude becomes ⟨ 0 | p ⟩ J a {\displaystyle \langle 0|p\rangle _{J_{a}}} .¹⁸ Thus, the full vacuum amplitude is given by

⟨ 0 | 0 ⟩ J e + J a ∼ 1 + i 2 ∫ d x d x ′ J a ( x ) Δ ( x − x ′ ) J e ( x ′ ) {\displaystyle {\left\langle 0|0\right\rangle }_{J_{e}+J_{a}}\sim 1+{\frac {i}{2}}\int dx\,dx'\,J_{a}(x)\Delta (x-x')J_{e}(x')}

where Δ ( x − x ′ ) {\displaystyle \Delta (x-x')} is the propagator (correlator) of the sources. The second term of the last amplitude defines the partition function of free scalar field theory. And for some interaction theory, the Lagrangian of a scalar field ϕ {\displaystyle \phi } coupled to a current J {\displaystyle J} is given by¹⁹

L = 1 2 ∂ μ ϕ ∂ μ ϕ − 1 2 m 2 ϕ 2 + J ϕ . {\displaystyle {\mathcal {L}}={\tfrac {1}{2}}\partial _{\mu }\phi \partial ^{\mu }\phi -{\tfrac {1}{2}}m^{2}\phi ^{2}+J\phi .}

If one adds − i ε {\displaystyle -i\varepsilon } to the mass term then Fourier transforms both J {\displaystyle J} and ϕ {\displaystyle \phi } to the momentum space, the vacuum amplitude becomes

⟨ 0 | 0 ⟩ = exp ⁡ ( i 2 ∫ d 4 p ( 2 π ) 4 [ ϕ ~ ( p ) ( p μ p μ − m 2 + i ε ) ϕ ~ ( − p ) + J ( p ) 1 p μ p μ − m 2 + i ε J ( − p ) ] ) , {\displaystyle \langle 0|0\rangle =\exp {\left({\frac {i}{2}}\int {\frac {d^{4}p}{{\left(2\pi \right)}^{4}}}\left[{\tilde {\phi }}(p)\left(p_{\mu }p^{\mu }-m^{2}+i\varepsilon \right){\tilde {\phi }}(-p)+J(p){\frac {1}{p_{\mu }p^{\mu }-m^{2}+i\varepsilon }}J(-p)\right]\right)},}

where ϕ ~ ( p ) = ϕ ( p ) + J ( p ) p μ p μ − m 2 + i ε . {\displaystyle {\tilde {\phi }}(p)=\phi (p)+{\frac {J(p)}{p_{\mu }p^{\mu }-m^{2}+i\varepsilon }}.} It is easy to notice that the ϕ ~ ( p ) ( p μ p μ − m 2 + i ε ) ϕ ~ ( − p ) {\displaystyle {\tilde {\phi }}(p)\left(p_{\mu }p^{\mu }-m^{2}+i\varepsilon \right){\tilde {\phi }}(-p)} term in the amplitude above can be Fourier transformed into ϕ ~ ( x ) ( ◻ + m 2 ) ϕ ~ ( x ) = ϕ ~ ( x ) J ( x ) {\displaystyle {\tilde {\phi }}(x)\left(\Box +m^{2}\right){\tilde {\phi }}(x)={\tilde {\phi }}(x)\,J(x)} , i.e., the equation of motion ( ◻ + m 2 ) ϕ ~ = J {\displaystyle \left(\Box +m^{2}\right){\tilde {\phi }}=J} . As the variation of the free action, that of the term 1 2 ∂ μ ϕ ∂ μ ϕ − 1 2 m 2 ϕ 2 {\textstyle {\frac {1}{2}}\partial _{\mu }\phi \partial ^{\mu }\phi -{\frac {1}{2}}m^{2}\phi ^{2}} , yields the equation of motion, one can redefine the Green's function as the inverse of the operator G ( x 1 , x 2 ) ≡ ( ◻ + m 2 ) − 1 {\textstyle G(x_{1},x_{2})\equiv {\left(\Box +m^{2}\right)}^{-1}} such that ( ◻ x 1 + m 2 ) G ( x 1 , x 2 ) = δ ( x 1 − x 2 ) {\displaystyle \left(\Box _{x_{1}}+m^{2}\right)G(x_{1},x_{2})=\delta (x_{1}-x_{2})} if and only if ( p μ p μ − m 2 ) G ( p ) = 1 {\textstyle \left(p_{\mu }p^{\mu }-m^{2}\right)G(p)=1} , which is a direct application of the general role of functional derivative δ J ( x 2 ) δ J ( x 1 ) = δ ( x 1 − x 2 ) {\displaystyle {\frac {\delta J(x_{2})}{\delta J(x_{1})}}=\delta (x_{1}-x_{2})} . Thus, the generating functional is obtained from the partition function as follows.²⁰ The last result allows us to read the partition function as Z [ J ] = Z [ 0 ] exp ⁡ ( i 2 ⟨ J ( y ) Δ ( y − y ′ ) J ( y ′ ) ⟩ ) {\textstyle Z[J]=Z[0]\exp \left({\tfrac {i}{2}}\left\langle J(y)\Delta (y-y')J(y')\right\rangle \right)} , where Z [ 0 ] = ∫ D ϕ ~ exp ⁡ ( − i ∫ d t [ 1 2 ∂ μ ϕ ~ ∂ μ ϕ ~ − 1 2 ( m 2 − i ε ) ϕ ~ 2 ] ) , {\displaystyle Z[0]=\int {\mathcal {D}}{\tilde {\phi }}\,\exp \left(-i\int dt\left[{\tfrac {1}{2}}\partial _{\mu }{\tilde {\phi }}\partial ^{\mu }{\tilde {\phi }}-{\tfrac {1}{2}}\left(m^{2}-i\varepsilon \right){\tilde {\phi }}^{2}\right]\right),} and ⟨ J ( y ) Δ ( y − y ′ ) J ( y ′ ) ⟩ {\displaystyle \langle J(y)\Delta (y-y')J(y')\rangle } is the vacuum amplitude derived by the source ⟨ 0 | 0 ⟩ J {\displaystyle \langle 0|0\rangle _{J}} . Consequently, the propagator is defined by varying the partition function as follows.

− 1 Z [ 0 ] δ 2 Z [ J ] δ J ( x ) δ J ( x ′ ) | J = 0 = − 1 2 Z [ 0 ] δ δ J ( x ) [ Z [ J ] ( ∫ d 4 y ′ Δ ( x ′ − y ′ ) J ( y ′ ) + ∫ d 4 y J ( y ) Δ ( y − x ′ ) ) ] J = 0 = Z [ J ] Z [ 0 ] Δ ( x − x ′ ) | J = 0 = Δ ( x − x ′ ) . {\displaystyle {\begin{aligned}{\left.{\frac {-1}{Z[0]}}{\frac {\delta ^{2}Z[J]}{\delta J(x)\delta J(x')}}\right\vert }_{J=0}&={\frac {-1}{2Z[0]}}{\frac {\delta }{\delta J(x)}}{\left[Z[J]\left(\int d^{4}y'\,\Delta (x'-y')J(y')+\int d^{4}y\,J(y)\Delta (y-x')\right)\right]}_{J=0}\\[1.5ex]&={\left.{\frac {Z[J]}{Z[0]}}\Delta (x-x')\right\vert }_{J=0}\\[1.5ex]&=\Delta (x-x').\end{aligned}}}

This motivates discussing the mean field approximation below.

Effective action, mean field approximation, and vertex functions

Based on Schwinger's source theory, Steven Weinberg established the foundations of the effective field theory, which is widely appreciated among physicists. Despite the "shoes incident", Weinberg gave the credit to Schwinger for catalyzing this theoretical framework.²¹

All Green's functions may be formally found via Taylor expansion of the partition sum considered as a function of the source fields. This method is commonly used in the path integral formulation of quantum field theory. The general method by which such source fields are utilized to obtain propagators in both quantum, statistical-mechanics and other systems is outlined as follows. Upon redefining the partition function in terms of Wick-rotated amplitude W [ J ] = − i ln ⁡ ( ⟨ 0 | 0 ⟩ J ) {\displaystyle W[J]=-i\ln(\langle 0|0\rangle _{J})} , the partition function becomes Z [ J ] = e i W [ J ] {\displaystyle Z[J]=e^{iW[J]}} . One can introduce F [ J ] = i W [ J ] {\displaystyle F[J]=iW[J]} , which behaves as Helmholtz free energy in thermal field theories,²² to absorb the complex number, and hence ln ⁡ Z [ J ] = F [ J ] {\displaystyle \ln Z[J]=F[J]} . The function F [ J ] {\displaystyle F[J]} is also called reduced quantum action.²³ And with help of Legendre transform, we can invent a "new" effective energy functional,²⁴ or effective action, as

Γ [ ϕ ¯ ] = W [ J ] − ∫ d 4 x J ( x ) ϕ ¯ ( x ) , {\displaystyle \Gamma [{\bar {\phi }}]=W[J]-\int d^{4}x\,J(x){\bar {\phi }}(x),} with the transforms²⁵ δ W δ J = ϕ ¯   , δ W δ J | J = 0 = ⟨ ϕ ⟩   , δ Γ [ ϕ ¯ ] δ ϕ ¯ | J = − J   , δ Γ [ ϕ ¯ ] δ ϕ ¯ | ϕ ¯ = ⟨ ϕ ⟩ = 0. {\displaystyle {\begin{aligned}&{\frac {\delta W}{\delta J}}={\bar {\phi }}~,&&{\frac {\delta W}{\delta J}}{\Bigg |}_{J=0}=\langle \phi \rangle ~,\\[1.2ex]&{\frac {\delta \Gamma [{\bar {\phi }}]}{\delta {\bar {\phi }}}}{\Bigg |}_{J}=-J~,&&{\frac {\delta \Gamma [{\bar {\phi }}]}{\delta {\bar {\phi }}}}{\Bigg |}_{{\bar {\phi }}=\langle \phi \rangle }=0.\end{aligned}}}

The integration in the definition of the effective action is allowed to be replaced with sum over ϕ {\displaystyle \phi } , i.e., Γ [ ϕ ¯ ] = W [ J ] − J a ( x ) ϕ ¯ a ( x ) {\displaystyle \Gamma [{\bar {\phi }}]=W[J]-J_{a}(x){\bar {\phi }}^{a}(x)} .²⁶ The last equation resembles the thermodynamical relation F = E − T S {\displaystyle F=E-TS} between Helmholtz free energy and entropy. It is now clear that thermal and statistical field theories stem fundamentally from functional integrations and functional derivatives. Back to the Legendre transforms,

The ⟨ ϕ ⟩ {\displaystyle \langle \phi \rangle } is called mean field obviously because ⟨ ϕ ⟩ = ∫ D ϕ   e − i [ ∫ d t   L ( t ; ϕ , ϕ ˙ ) + ∫ d x 4 J ( x , t ) ϕ ( x , t ) ]   ϕ   Z [ J ] / N {\displaystyle \langle \phi \rangle ={\frac {\int {\mathcal {D}}\phi ~e^{-i[\int dt~{\mathcal {L}}(t;\phi ,{\dot {\phi }})+\int dx^{4}J(x,t)\phi (x,t)]}~\phi ~}{Z[J]/{\mathcal {N}}}}} , while ϕ ¯ {\displaystyle {\bar {\phi }}} is a background classical field.²⁷ A field ϕ {\displaystyle \phi } is decomposed into a classical part ϕ ¯ {\displaystyle {\bar {\phi }}} and fluctuation part η {\displaystyle \eta } , i.e., ϕ = ϕ ¯ + η {\displaystyle \phi ={\bar {\phi }}+\eta } , so the vacuum amplitude can be reintroduced as

e i Γ [ ϕ ¯ ] = N ∫ exp ⁡ [ i ( S [ ϕ ] − δ Γ [ ϕ ¯ ] δ ϕ ¯ η ) ] d ϕ , {\displaystyle e^{i\Gamma [{\bar {\phi }}]}={\mathcal {N}}\int \exp \left[i\left(S[\phi ]-{\frac {\delta \Gamma [{\bar {\phi }}]}{\delta {\bar {\phi }}}}\eta \right)\right]d\phi ,}

and any function F [ ϕ ] {\displaystyle {\mathcal {F}}[\phi ]} is defined as

⟨ F [ ϕ ] ⟩ = e − i Γ [ ϕ ¯ ]   N ∫ F [ ϕ ] exp ⁡ [ i ( S [ ϕ ] − δ Γ [ ϕ ¯ ] δ ϕ ¯ η ) ] d ϕ , {\displaystyle \langle {\mathcal {F}}[\phi ]\rangle =e^{-i\Gamma [{\bar {\phi }}]}~{\mathcal {N}}\int {\mathcal {F}}[\phi ]\exp \left[i\left(S[\phi ]-{\frac {\delta \Gamma [{\bar {\phi }}]}{\delta {\bar {\phi }}}}\eta \right)\right]d\phi ,}

where S [ ϕ ] {\displaystyle S[\phi ]} is the action of the free Lagrangian. The last two integrals are the pillars of any effective field theory.²⁸ This construction is indispensable in studying scattering (LSZ reduction formula), spontaneous symmetry breaking,²⁹³⁰ Ward identities, nonlinear sigma models, and low-energy effective theories.³¹ Additionally, this theoretical framework initiates line of thoughts, publicized mainly be Bryce DeWitt who was a PhD student of Schwinger, on developing a canonical quantized effective theory for quantum gravity.³²

Back to Green functions of the actions. Since Γ [ ϕ ¯ ] {\displaystyle \Gamma [{\bar {\phi }}]} is the Legendre transform of F [ J ] {\displaystyle F[J]} , and F [ J ] {\displaystyle F[J]} defines N-points connected correlator G F [ J ] N ,   c = δ F [ J ] δ J ( x 1 ) ⋯ δ J ( x N ) | J = 0 {\displaystyle G_{F[J]}^{N,~c}={\frac {\delta F[J]}{\delta J(x_{1})\cdots \delta J(x_{N})}}{\Big |}_{J=0}} , then the corresponding correlator obtained from F [ J ] {\displaystyle F[J]} , known as vertex function, is given by G Γ [ J ] N ,   c = δ Γ [ ϕ ¯ ] δ ϕ ¯ ( x 1 ) ⋯ δ ϕ ¯ ( x N ) | ϕ ¯ = ⟨ ϕ ⟩ {\displaystyle G_{\Gamma [J]}^{N,~c}=\left.{\frac {\delta \Gamma [{\bar {\phi }}]}{\delta {\bar {\phi }}(x_{1})\cdots \delta {\bar {\phi }}(x_{N})}}\right|_{{\bar {\phi }}=\langle \phi \rangle }} . Consequently in the one particle irreducible graphs (usually acronymized as 1PI), the connected 2-point F {\displaystyle F} -correlator is defined as the inverse of the 2-point Γ {\displaystyle \Gamma } -correlator, i.e., the usual reduced correlation is G F [ J ] ( 2 ) = δ ϕ ¯ ( x 1 ) δ J ( x 2 ) | J = 0 = 1 p μ p μ − m 2 {\displaystyle G_{F[J]}^{(2)}={\frac {\delta {\bar {\phi }}(x_{1})}{\delta J(x_{2})}}{\Big |}_{J=0}={\frac {1}{p_{\mu }p^{\mu }-m^{2}}}} , and the effective correlation is G Γ [ ϕ ] ( 2 ) = δ J ( x 1 ) δ ϕ ¯ ( x 2 ) | ϕ ¯ = ⟨ ϕ ⟩ = p μ p μ − m 2 {\displaystyle G_{\Gamma [\phi ]}^{(2)}={\frac {\delta J(x_{1})}{\delta {\bar {\phi }}(x_{2})}}{\Big |}_{{\bar {\phi }}=\langle \phi \rangle }=p_{\mu }p^{\mu }-m^{2}} . For J i = J ( x i ) {\displaystyle J_{i}=J(x_{i})} , the most general relations between the N-points connected F [ J ] {\displaystyle F[J]} and Z [ J ] {\displaystyle Z[J]} are

δ N F δ J 1 ⋯ δ J N = 1 Z [ J ] δ N Z [ J ] δ J 1 ⋯ δ J N − { 1 Z 2 [ J ] δ Z [ J ] δ J 1 δ N − 1 Z [ J ] δ J 2 ⋯ δ J N + perm } + { 1 Z 3 [ J ] δ Z [ J ] δ J 1 δ Z [ J ] δ J 2 δ N − 2 Z [ J ] δ J 3 ⋯ δ J N + perm } + ⋯ − { 1 Z 2 [ J ] δ 2 Z [ J ] δ J 1 δ J 2 δ N − 2 Z [ J ] δ J 3 ⋯ δ J N + perm } + { 1 Z 3 [ J ] δ 3 Z [ J ] δ J 1 δ J 2 δ J 3 δ N − 3 Z [ J ] δ J 4 ⋯ δ J N + perm } − ⋯ {\displaystyle {\begin{aligned}{\frac {\delta ^{N}F}{\delta J_{1}\cdots \delta J_{N}}}=&{\frac {1}{Z[J]}}{\frac {\delta ^{N}Z[J]}{\delta J_{1}\cdots \delta J_{N}}}-{\Big \{}{\frac {1}{Z^{2}[J]}}{\frac {\delta Z[J]}{\delta J_{1}}}{\frac {\delta ^{N-1}Z[J]}{\delta J_{2}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+{\big \{}{\frac {1}{Z^{3}[J]}}{\frac {\delta Z[J]}{\delta J_{1}}}{\frac {\delta Z[J]}{\delta J_{2}}}{\frac {\delta ^{N-2}Z[J]}{\delta J_{3}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+\cdots \\&-{\Big \{}{\frac {1}{Z^{2}[J]}}{\frac {\delta ^{2}Z[J]}{\delta J_{1}\delta J_{2}}}{\frac {\delta ^{N-2}Z[J]}{\delta J_{3}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+{\Big \{}{\frac {1}{Z^{3}[J]}}{\frac {\delta ^{3}Z[J]}{\delta J_{1}\delta J_{2}\delta J_{3}}}{\frac {\delta ^{N-3}Z[J]}{\delta J_{4}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}-\cdots \end{aligned}}}

and

1 Z [ J ] δ N Z [ J ] δ J 1 ⋯ δ J N = δ N F [ J ] δ J 1 ⋯ δ J N + { δ F [ J ] δ J 1 δ N − 1 F [ J ] δ J 2 ⋯ δ J N + perm } + { δ F [ J ] δ J 1 δ F [ J ] δ J 2 δ N − 2 F [ J ] δ J 3 ⋯ δ J N + perm } + ⋯ + { δ 2 F [ J ] δ J 1 δ J 2 δ N − 2 F [ J ] δ J 3 ⋯ δ J N + perm } + { δ 3 F [ J ] δ J 1 δ J 2 δ J 3 δ N − 3 F [ J ] δ J 4 ⋯ δ J N + perm } + ⋯ {\displaystyle {\begin{aligned}{\frac {1}{Z[J]}}{\frac {\delta ^{N}Z[J]}{\delta J_{1}\cdots \delta J_{N}}}=&{\frac {\delta ^{N}F[J]}{\delta J_{1}\cdots \delta J_{N}}}+{\Big \{}{\frac {\delta F[J]}{\delta J_{1}}}{\frac {\delta ^{N-1}F[J]}{\delta J_{2}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+{\Big \{}{\frac {\delta F[J]}{\delta J_{1}}}{\frac {\delta F[J]}{\delta J_{2}}}{\frac {\delta ^{N-2}F[J]}{\delta J_{3}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+\cdots \\&+{\Big \{}{\frac {\delta ^{2}F[J]}{\delta J_{1}\delta J_{2}}}{\frac {\delta ^{N-2}F[J]}{\delta J_{3}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+{\Big \{}{\frac {\delta ^{3}F[J]}{\delta J_{1}\delta J_{2}\delta J_{3}}}{\frac {\delta ^{N-3}F[J]}{\delta J_{4}\cdots \delta J_{N}}}+{\text{perm}}{\Big \}}+\cdots \end{aligned}}}

Source theory for fields

Vector fields

For a weak source producing a missive spin-1 particle with a general current J = J e + J a {\displaystyle J=J_{e}+J_{a}} acting on different causal spacetime points x 0 > x 0 ′ {\displaystyle x_{0}>x_{0}'} , the vacuum amplitude is

⟨ 0 | 0 ⟩ J = exp ⁡ ( i 2 ∫ d x   d x ′ [ J μ ( x ) Δ ( x − x ′ ) J μ ( x ′ ) + 1 m 2 ∂ μ J μ ( x ) Δ ( x − x ′ ) ∂ ν ′ J ν ( x ′ ) ] ) {\displaystyle \langle 0|0\rangle _{J}=\exp {\left({\frac {i}{2}}\int dx~dx'\left[J_{\mu }(x)\Delta (x-x')J^{\mu }(x')+{\frac {1}{m^{2}}}\partial _{\mu }J^{\mu }(x)\Delta (x-x')\partial '_{\nu }J^{\nu }(x')\right]\right)}}

In momentum space, the spin-1 particle with rest mass m {\displaystyle m} has a definite momentum p μ = ( m , 0 , 0 , 0 ) {\displaystyle p_{\mu }=(m,0,0,0)} in its rest frame, i.e. p μ p μ = m 2 {\displaystyle p_{\mu }p^{\mu }=m^{2}} . Then, the amplitude gives³³

( J μ ( p ) ) T   J μ ( p ) − 1 m 2 ( p μ J μ ( p ) ) T   p ν J ν ( p ) = ( J μ ( p ) ) T   J μ ( p ) − ( J μ ( p ) ) T   p μ p ν p σ p σ | on-shell   J ν ( p ) = ( J μ ( p ) ) T   [ η μ ν − p μ p ν m 2 ]   J ν ( p ) {\displaystyle {\begin{alignedat}{2}(J_{\mu }(p))^{T}~J^{\mu }(p)-{\frac {1}{m^{2}}}(p_{\mu }J^{\mu }(p))^{T}~p_{\nu }J^{\nu }(p)&=(J_{\mu }(p))^{T}~J^{\mu }(p)-(J^{\mu }(p))^{T}~{\frac {p_{\mu }p_{\nu }}{p_{\sigma }p^{\sigma }}}{\bigg |}_{\text{on-shell}}~J^{\nu }(p)\\&=(J^{\mu }(p))^{T}~\left[\eta _{\mu \nu }-{\frac {p_{\mu }p_{\nu }}{m^{2}}}\right]~J^{\nu }(p)\end{alignedat}}}

where η μ ν = diag ( 1 , − 1 , − 1 , − 1 ) {\displaystyle \eta _{\mu \nu }={\text{diag}}(1,-1,-1,-1)} and ( J μ ( p ) ) T {\displaystyle (J_{\mu }(p))^{T}} is the transpose of J μ ( p ) {\displaystyle J_{\mu }(p)} . The last result matches with the used propagator in the vacuum amplitude in the configuration space, that is,

⟨ 0 | T A μ ( x ) A ν ( x ′ ) | 0 ⟩ = − i ∫ d 4 p ( 2 π ) 4 1 p α p α + i ε [ η μ ν − ( 1 − ξ ) p μ p ν p σ p σ − ξ m 2 ] e i p μ ( x μ − x μ ′ ) . {\displaystyle \left\langle 0\right|TA_{\mu }(x)A_{\nu }(x')\left|0\right\rangle =-i\int {\frac {d^{4}p}{{\left(2\pi \right)}^{4}}}{\frac {1}{p_{\alpha }p^{\alpha }+i\varepsilon }}\left[\eta _{\mu \nu }-\left(1-\xi \right){\frac {p_{\mu }p_{\nu }}{p_{\sigma }p^{\sigma }-\xi m^{2}}}\right]e^{ip^{\mu }\left(x_{\mu }-x'_{\mu }\right)}.}

When ξ = 1 {\displaystyle \xi =1} , the chosen Feynman–'t Hooft gauge-fixing makes the spin-1 massless. And when ξ = 0 {\displaystyle \xi =0} , the chosen Landau gauge-fixing makes the spin-1 massive.³⁴ The massless case is obvious as studied in quantum electrodynamics. The massive case is more interesting as the current is not demanded to conserved. However, the current can be improved in a way similar to how the Belinfante-Rosenfeld tensor is improved so it ends up being conserved. And to get the equation of motion for the massive vector, one can define³⁵

W [ J ] = − i ln ⁡ ( ⟨ 0 | 0 ⟩ J ) = 1 2 ∫ d x   d x ′ [ J μ ( x ) Δ ( x − x ′ ) J μ ( x ′ ) + 1 m 2 ∂ μ J μ ( x ) Δ ( x − x ′ ) ∂ ν ′ J ν ( x ′ ) ] . {\displaystyle W[J]=-i\ln(\langle 0|0\rangle _{J})={\frac {1}{2}}\int dx~dx'\left[J_{\mu }(x)\Delta (x-x')J^{\mu }(x')+{\frac {1}{m^{2}}}\partial _{\mu }J^{\mu }(x)\Delta (x-x')\partial '_{\nu }J^{\nu }(x')\right].}

One can apply integration by part on the second term then single out ∫ d x J μ ( x ) {\textstyle \int dxJ_{\mu }(x)} to get a definition of the massive spin-1 field

A μ ( x ) ≡ ∫ d x ′ Δ ( x − x ′ ) J μ ( x ′ ) − 1 m 2 ∂ μ [ ∫ d x ′ Δ ( x − x ′ ) ∂ ν ′ J ν ( x ′ ) ] . {\displaystyle A_{\mu }(x)\equiv \int dx'\Delta (x-x')J^{\mu }(x')-{\frac {1}{m^{2}}}\partial _{\mu }\left[\int dx'\Delta (x-x')\partial '_{\nu }J^{\nu }(x')\right].}

Additionally, the equation above says that ∂ μ A μ = 1 m 2 ∂ μ J μ {\textstyle \partial _{\mu }A^{\mu }={\tfrac {1}{m^{2}}}\partial _{\mu }J^{\mu }} . Thus, the equation of motion can be written in any of the following forms

( ◻ + m 2 ) A μ = J μ + 1 m 2 ∂ ν ∂ μ J ν , ( ◻ + m 2 ) A μ + ∂ ν ∂ μ A ν = J μ . {\displaystyle {\begin{aligned}&\left(\Box +m^{2}\right)A_{\mu }=J_{\mu }+{\tfrac {1}{m^{2}}}\partial _{\nu }\partial _{\mu }J^{\nu },\\[1ex]&\left(\Box +m^{2}\right)A_{\mu }+\partial _{\nu }\partial _{\mu }A^{\nu }=J_{\mu }.\end{aligned}}}

Massive totally symmetric spin-2 fields

For a weak source in a flat Minkowski background, producing then absorbing a missive spin-2 particle with a general redefined energy-momentum tensor, acting as a current, T ¯ μ ν = T μ ν − 1 3 η μ α η ¯ ν β T α β {\textstyle {\bar {T}}^{\mu \nu }=T^{\mu \nu }-{\tfrac {1}{3}}\eta _{\mu \alpha }{\bar {\eta }}_{\nu \beta }T^{\alpha \beta }} , where η ¯ μ ν ( p ) = η μ ν − 1 m 2 p μ p ν {\textstyle {\bar {\eta }}_{\mu \nu }(p)=\eta _{\mu \nu }-{\tfrac {1}{m^{2}}}p_{\mu }p_{\nu }} is the vacuum polarization tensor, the vacuum amplitude in a compact form is³⁶

⟨ 0 | 0 ⟩ T ¯ = exp ⁡ ( − i 2 ∫ [ T ¯ μ ν ( x ) Δ ( x − x ′ ) T ¯ μ ν ( x ′ ) + 2 m 2 η λ ν ∂ μ T ¯ μ ν ( x ) Δ ( x − x ′ ) ∂ κ ′ T ¯ κ λ ( x ′ ) + 1 m 4 ∂ μ ∂ ν T ¯ μ ν ( x ) Δ ( x − x ′ ) ∂ κ ′ ∂ λ ′ T ¯ κ λ ( x ′ ) ] d x d x ′ ) , {\displaystyle {\begin{aligned}\langle 0|0\rangle _{\bar {T}}=\exp {\Biggl (}-{\frac {i}{2}}\int {\biggl [}&{\bar {T}}_{\mu \nu }(x)\Delta (x-x'){\bar {T}}^{\mu \nu }(x')\\&+{\frac {2}{m^{2}}}\eta _{\lambda \nu }\partial _{\mu }{\bar {T}}^{\mu \nu }(x)\Delta (x-x')\partial '_{\kappa }{\bar {T}}^{\kappa \lambda }(x')\\&+{\frac {1}{m^{4}}}\partial _{\mu }\partial _{\nu }{\bar {T}}^{\mu \nu }(x)\Delta (x-x')\partial '_{\kappa }\partial '_{\lambda }{\bar {T}}^{\kappa \lambda }(x'){\biggr ]}dx\,dx'{\Biggr )},\end{aligned}}}

or

⟨ 0 | 0 ⟩ T = exp ⁡ ( − i 2 ∫ [ T μ ν ( x ) Δ ( x − x ′ ) T μ ν ( x ′ ) + 2 m 2 η λ ν ∂ μ T μ ν ( x ) Δ ( x − x ′ ) ∂ κ ′ T κ λ ( x ′ ) + 1 m 4 ∂ μ ∂ μ T μ ν ( x ) Δ ( x − x ′ ) ∂ κ ′ ∂ λ ′ T κ λ ( x ′ ) − 1 3 ( η μ ν T μ ν ( x ) − 1 m 2 ∂ μ ∂ ν T μ ν ( x ) ) Δ ( x − x ′ ) ( η κ λ T κ λ ( x ′ ) − 1 m 2 ∂ κ ′ ∂ λ ′ T κ λ ( x ′ ) ) ] d x   d x ′ ) . {\displaystyle {\begin{aligned}\langle 0|0\rangle _{T}=\exp {\Biggl (}-{\frac {i}{2}}\int {\biggl [}&T_{\mu \nu }(x)\Delta (x-x')T^{\mu \nu }(x')\\&+{\frac {2}{m^{2}}}\eta _{\lambda \nu }\partial _{\mu }T^{\mu \nu }(x)\Delta (x-x')\partial '_{\kappa }T^{\kappa \lambda }(x')\\&+{\frac {1}{m^{4}}}\partial _{\mu }\partial _{\mu }T^{\mu \nu }(x)\Delta (x-x')\partial '_{\kappa }\partial '_{\lambda }T^{\kappa \lambda }(x')\\&-{\frac {1}{3}}\left(\eta _{\mu \nu }T^{\mu \nu }(x)-{\frac {1}{m^{2}}}\partial _{\mu }\partial _{\nu }T^{\mu \nu }(x)\right)\Delta (x-x')\left(\eta _{\kappa \lambda }T^{\kappa \lambda }(x')-{\frac {1}{m^{2}}}\partial '_{\kappa }\partial '_{\lambda }T^{\kappa \lambda }(x')\right){\biggr ]}dx~dx'{\Biggr )}.\end{aligned}}}

This amplitude in momentum space gives (transpose is imbedded)

T ¯ μ ν ( p ) η μ κ η ν λ T ¯ κ λ ( p ) − 1 m 2 T ¯ μ ν ( p ) η μ κ p ν p λ T ¯ κ λ ( p ) − 1 m 2 T ¯ μ ν ( p ) η ν λ p μ p κ T ¯ κ λ ( p ) + 1 m 4 T ¯ μ ν ( p ) p μ p ν p κ p λ T ¯ κ λ ( p ) = {\displaystyle {\begin{aligned}{\bar {T}}_{\mu \nu }(p)\eta ^{\mu \kappa }\eta ^{\nu \lambda }{\bar {T}}_{\kappa \lambda }(p)&-{\frac {1}{m^{2}}}{\bar {T}}_{\mu \nu }(p)\eta ^{\mu \kappa }p^{\nu }p^{\lambda }{\bar {T}}_{\kappa \lambda }(p)\\&-{\frac {1}{m^{2}}}{\bar {T}}_{\mu \nu }(p)\eta ^{\nu \lambda }p^{\mu }p^{\kappa }{\bar {T}}_{\kappa \lambda }(p)+{\frac {1}{m^{4}}}{\bar {T}}_{\mu \nu }(p)p^{\mu }p^{\nu }p^{\kappa }p^{\lambda }{\bar {T}}_{\kappa \lambda }(p)=\end{aligned}}}

η μ κ ( T ¯ μ ν ( p ) η ν λ T ¯ κ λ ( p ) − 1 m 2 T ¯ μ ν ( p ) p ν p λ T ¯ κ λ ( p ) ) − 1 m 2 p μ p κ ( T ¯ μ ν ( p ) η ν λ T ¯ κ λ ( p ) − 1 m 2 T ¯ μ ν ( p ) p ν p λ T ¯ κ λ ( p ) ) = ( η μ κ − 1 m 2 p μ p κ ) ( T ¯ μ ν ( p ) η ν λ T ¯ κ λ ( p ) − 1 m 2 T ¯ μ ν ( p ) p ν p λ T ¯ κ λ ( p ) ) = T ¯ μ ν ( p ) ( η μ κ − 1 m 2 p μ p κ ) ( η ν λ − 1 m 2 p ν p λ ) T ¯ κ λ ( p ) . {\displaystyle {\begin{aligned}\eta ^{\mu \kappa }{\biggl (}{\bar {T}}_{\mu \nu }(p)\eta ^{\nu \lambda }{\bar {T}}_{\kappa \lambda }(p)&-{\frac {1}{m^{2}}}{\bar {T}}_{\mu \nu }(p)p^{\nu }p^{\lambda }{\bar {T}}_{\kappa \lambda }(p){\biggr )}\\&-{\frac {1}{m^{2}}}p^{\mu }p^{\kappa }\left({\bar {T}}_{\mu \nu }(p)\eta ^{\nu \lambda }{\bar {T}}_{\kappa \lambda }(p)-{\frac {1}{m^{2}}}{\bar {T}}_{\mu \nu }(p)p^{\nu }p^{\lambda }{\bar {T}}_{\kappa \lambda }(p)\right)\\=\left(\eta ^{\mu \kappa }-{\frac {1}{m^{2}}}p^{\mu }p^{\kappa }\right)&\left({\bar {T}}_{\mu \nu }(p)\eta ^{\nu \lambda }{\bar {T}}_{\kappa \lambda }(p)-{\frac {1}{m^{2}}}{\bar {T}}_{\mu \nu }(p)p^{\nu }p^{\lambda }{\bar {T}}_{\kappa \lambda }(p)\right)\\=&{\bar {T}}_{\mu \nu }(p)\left(\eta ^{\mu \kappa }-{\frac {1}{m^{2}}}p^{\mu }p^{\kappa }\right)\left(\eta ^{\nu \lambda }-{\frac {1}{m^{2}}}p^{\nu }p^{\lambda }\right){\bar {T}}_{\kappa \lambda }(p).\end{aligned}}}

And with help of symmetric properties of the source, the last result can be written as T μ ν ( p ) Π μ ν κ λ ( p ) T κ λ ( p ) {\displaystyle T^{\mu \nu }(p)\Pi _{\mu \nu \kappa \lambda }(p)T^{\kappa \lambda }(p)} , where the projection operator, or the Fourier transform of Jacobi field operator obtained by applying Peierls braket on Schwinger's variational principle,³⁷ is Π μ ν κ λ ( p ) = 1 2 ( η ¯ μ κ ( p ) η ¯ ν λ ( p ) + η ¯ μ λ ( p ) η ¯ ν κ ( p ) − 2 3 η ¯ μ ν ( p ) η ¯ κ λ ( p ) ) {\textstyle \Pi _{\mu \nu \kappa \lambda }(p)={\tfrac {1}{2}}\left({\bar {\eta }}_{\mu \kappa }(p){\bar {\eta }}_{\nu \lambda }(p)+{\bar {\eta }}_{\mu \lambda }(p){\bar {\eta }}_{\nu \kappa }(p)-{\tfrac {2}{3}}{\bar {\eta }}_{\mu \nu }(p){\bar {\eta }}_{\kappa \lambda }(p)\right)} .

In N-dimensional flat spacetime, 2/3 is replaced by 2/(N−1).³⁸ And for massless spin-2 fields, the projection operator is defined as³⁹ Π μ ν κ λ m = 0 = 1 2 ( η μ κ η ν λ + η μ λ η ν κ − 1 2 η μ ν η κ λ ) {\displaystyle \Pi _{\mu \nu \kappa \lambda }^{m=0}={\tfrac {1}{2}}\left(\eta _{\mu \kappa }\eta _{\nu \lambda }+\eta _{\mu \lambda }\eta _{\nu \kappa }-{\tfrac {1}{2}}\eta _{\mu \nu }\eta _{\kappa \lambda }\right)} .

Together with help of Ward-Takahashi identity, the projector operator is crucial to check the symmetric properties of the field, the conservation law of the current, and the allowed physical degrees of freedom.

It is worth noting that the vacuum polarization tensor η ¯ ν β {\displaystyle {\bar {\eta }}_{\nu \beta }} and the improved energy momentum tensor T ¯ μ ν {\displaystyle {\bar {T}}^{\mu \nu }} appear in the early versions of massive gravity theories.⁴⁰⁴¹ Interestingly, massive gravity theories have not been widely appreciated until recently due to apparent inconsistencies obtained in the early 1970's studies of the exchange of a single spin-2 field between two sources. But in 2010 the dRGT approach⁴² of exploiting Stueckelberg field redefinition led to consistent covariantized massive theory free of all ghosts and discontinuities obtained earlier.

If one looks at ⟨ 0 | 0 ⟩ T {\displaystyle \langle 0|0\rangle _{T}} and follows the same procedure used to define massive spin-1 fields, then it is easy to define massive spin-2 fields as

h μ ν ( x ) = ∫ Δ ( x − x ′ ) T μ ν ( x ′ ) d x ′ − 1 m 2 ∂ μ ∫ Δ ( x − x ′ ) ∂ ′ κ T κ ν ( x ′ ) d x ′ − 1 m 2 ∂ ν ∫ Δ ( x − x ′ ) ∂ ′ κ T κ μ ( x ′ ) d x ′ + 1 m 4 ∂ μ ∂ ν ∫ Δ ( x − x ′ ) ∂ κ ′ ∂ λ ′ T κ λ ( x ′ ) d x ′ − 1 3 ( η μ ν − 1 m 2 ∂ μ ∂ ν ) ∫ Δ ( x − x ′ ) [ η κ λ T κ λ ( x ′ ) − 1 m 2 ∂ κ ′ ∂ λ ′ T κ λ ( x ′ ) ] d x ′ . {\displaystyle {\begin{aligned}h_{\mu \nu }(x)=&\int \Delta (x-x')T_{\mu \nu }(x')dx'\\&-{\frac {1}{m^{2}}}\partial _{\mu }\int \Delta (x-x')\partial '^{\kappa }T_{\kappa \nu }(x')dx'\\&-{\frac {1}{m^{2}}}\partial _{\nu }\int \Delta (x-x')\partial '^{\kappa }T_{\kappa \mu }(x')dx'\\&+{\frac {1}{m^{4}}}\partial _{\mu }\partial _{\nu }\int \Delta (x-x')\partial '_{\kappa }\partial '_{\lambda }T^{\kappa \lambda }(x')dx'\\&-{\frac {1}{3}}\left(\eta _{\mu \nu }-{\frac {1}{m^{2}}}\partial _{\mu }\partial _{\nu }\right)\int \Delta (x-x')\left[\eta _{\kappa \lambda }T^{\kappa \lambda }(x')-{\frac {1}{m^{2}}}\partial '_{\kappa }\partial '_{\lambda }T^{\kappa \lambda }(x')\right]dx'.\end{aligned}}}

The corresponding divergence condition is read ∂ μ h μ ν − ∂ ν h = 1 m 2 ∂ μ T μ ν {\displaystyle \partial ^{\mu }h_{\mu \nu }-\partial _{\nu }h={\frac {1}{m^{2}}}\partial ^{\mu }T_{\mu \nu }} , where the current ∂ μ T μ ν {\displaystyle \partial ^{\mu }T_{\mu \nu }} is not necessarily conserved (it is not a gauge condition as that of the massless case). But the energy-momentum tensor can be improved as T μ ν = T μ ν − 1 4 η μ ν T {\textstyle {\mathfrak {T}}_{\mu \nu }=T_{\mu \nu }-{\frac {1}{4}}\eta _{\mu \nu }{\mathfrak {T}}} such that ∂ μ T μ ν = 0 {\displaystyle \partial ^{\mu }{\mathfrak {T}}_{\mu \nu }=0} according to Belinfante-Rosenfeld construction. Thus, the equation of motion

( ◻ + m 2 ) h μ ν = T μ ν + 1 m 2 ( ∂ μ ∂ ρ T ρ ν + ∂ ν ∂ ρ T ρ μ − 1 2 η μ ν ∂ ρ ∂ σ T ρ σ ) + 2 3 m 4 ( ∂ μ ∂ ν − 1 4 η μ ν ◻ ) ∂ ρ ∂ σ T ρ σ {\displaystyle {\begin{aligned}\left(\square +m^{2}\right)h_{\mu \nu }=T_{\mu \nu }&+{\dfrac {1}{m^{2}}}\left(\partial _{\mu }\partial ^{\rho }T_{\rho \nu }+\partial _{\nu }\partial ^{\rho }T_{\rho \mu }-{\frac {1}{2}}\eta _{\mu \nu }\partial ^{\rho }\partial ^{\sigma }T_{\rho \sigma }\right)\\&+{\frac {2}{3m^{4}}}\left(\partial _{\mu }\partial _{\nu }-{\frac {1}{4}}\eta _{\mu \nu }\square \right)\partial ^{\rho }\partial ^{\sigma }T_{\rho \sigma }\end{aligned}}}

becomes

( ◻ + m 2 ) h μ ν = T μ ν − 1 4   η μ ν T − 1 6 m 4 ( ∂ μ ∂ ν − 1 4   η μ ν ◻ ) ( ◻ + 3 m 2 ) T . {\displaystyle \left(\square +m^{2}\right)h_{\mu \nu }={\mathfrak {T}}_{\mu \nu }-{\frac {1}{4}}~\eta _{\mu \nu }{\mathfrak {T}}-{\dfrac {1}{6m^{4}}}\left(\partial _{\mu }\partial _{\nu }-{\frac {1}{4}}~\eta _{\mu \nu }\square \right)\left(\square +3m^{2}\right){\mathfrak {T}}.}

One can use the divergence condition to decouple the non-physical fields ∂ μ h μ ν {\displaystyle \partial ^{\mu }h_{\mu \nu }} and h {\displaystyle h} , so the equation of motion is simplified as⁴³

( ◻ + m 2 ) h μ ν = T μ ν − 1 3   η μ ν T − 1 3 m 2   ∂ μ ∂ ν T . {\displaystyle \left(\square +m^{2}\right)h_{\mu \nu }={\mathfrak {T}}_{\mu \nu }-{\frac {1}{3}}~\eta _{\mu \nu }{\mathfrak {T}}-{\frac {1}{3m^{2}}}~\partial _{\mu }\partial _{\nu }{\mathfrak {T}}.}

Massive totally symmetric arbitrary integer spin fields

One can generalize T μ ν ( p ) {\displaystyle T^{\mu \nu }(p)} source to become S μ 1 ⋯ μ ℓ ( p ) {\displaystyle S^{\mu _{1}\cdots \mu _{\ell }}(p)} higher-spin source such that T μ ν ( p ) Π μ ν κ λ ( p ) T κ λ ( p ) {\displaystyle T^{\mu \nu }(p)\Pi _{\mu \nu \kappa \lambda }(p)T^{\kappa \lambda }(p)} becomes S μ 1 ⋯ μ ℓ ( p ) Π μ 1 ⋯ μ ℓ ν 1 ⋯ ν ℓ ( p ) S ν 1 ⋯ ν ℓ ( p ) {\displaystyle S^{\mu _{1}\cdots \mu _{\ell }}(p)\Pi _{\mu _{1}\cdots \mu _{\ell }\nu _{1}\cdots \nu _{\ell }}(p)S^{\nu _{1}\cdots \nu _{\ell }}(p)} .⁴⁴ The generalized projection operator also helps generalizing the electromagnetic polarization vector e m μ ( p ) {\displaystyle e_{m}^{\mu }(p)} of the quantized electromagnetic vector potential as follows. For spacetime points x {\displaystyle x} and x ′ {\displaystyle x'} , the addition theorem of spherical harmonics states that

x μ 1 ⋯ x μ ℓ Π μ 1 ⋯ μ ℓ ν 1 ⋯ ν ℓ ( p ) x ′ ν 1 ⋯ x ′ ν ℓ = 2 ℓ ( ℓ ! ) 2 ( 2 ℓ ) ! 4 π 2 ℓ + 1 ∑ m = − ℓ ℓ Y ℓ , m ( x ) Y ℓ , m ∗ ( x ′ ) . {\displaystyle x^{\mu _{1}}\cdots x^{\mu _{\ell }}\Pi _{\mu _{1}\cdots \mu _{\ell }\nu _{1}\cdots \nu _{\ell }}(p)x'^{\nu _{1}}\cdots x'^{\nu _{\ell }}={\frac {2^{\ell }(\ell !)^{2}}{(2\ell )!}}{\frac {4\pi }{2\ell +1}}\sum \limits _{m=-\ell }^{\ell }Y_{\ell ,m}(x)Y_{\ell ,m}^{*}(x').}

Also, the representation theory of the space of complex-valued homogeneous polynomials of degree ℓ {\displaystyle \ell } on a unit (N-1)-sphere defines the polarization tensor as⁴⁵ e ( m ) ( x 1 , … , x n ) = ∑ i 1 … i ℓ e ( m ) i 1 … i ℓ x i 1 ⋯ x i ℓ ,   ∀ x i ∈ S N − 1 . {\displaystyle e_{(m)}(x_{1},\dots ,x_{n})=\sum _{i_{1}\dots i_{\ell }}e_{(m)i_{1}\dots i_{\ell }}x_{i_{1}}\cdots x_{i_{\ell }},~\forall x_{i}\in S^{N-1}.} Then, the generalized polarization vector is e μ 1 ⋯ μ ℓ ( p )   x μ 1 ⋯ x μ ℓ = 2 ℓ ( ℓ ! ) 2 ( 2 ℓ ) ! 4 π 2 ℓ + 1     Y ℓ , m ( x ) . {\displaystyle e^{\mu _{1}\cdots \mu _{\ell }}(p)~x_{\mu _{1}}\cdots x_{\mu _{\ell }}={\sqrt {{\frac {2^{\ell }(\ell !)^{2}}{(2\ell )!}}{\frac {4\pi }{2\ell +1}}}}~~Y_{\ell ,m}(x).}

And the projection operator can be defined as Π μ 1 ⋯ μ ℓ ν 1 ⋯ ν ℓ ( p ) = ∑ m = − ℓ ℓ [ e m μ 1 ⋯ μ ℓ ( p ) ]   [ e m ν 1 ⋯ ν ℓ ( p ) ] ∗ . {\displaystyle \Pi ^{\mu _{1}\cdots \mu _{\ell }\nu _{1}\cdots \nu _{\ell }}(p)=\sum \limits _{m=-\ell }^{\ell }[e_{m}^{\mu _{1}\cdots \mu _{\ell }}(p)]~[e_{m}^{\nu _{1}\cdots \nu _{\ell }}(p)]^{*}.}

The symmetric properties of the projection operator make it easier to deal with the vacuum amplitude in the momentum space. Therefore rather that we express it in terms of the correlator Δ ( x − x ′ ) {\displaystyle \Delta (x-x')} in configuration space, we write

⟨ 0 | 0 ⟩ S = exp ⁡ [ i 2 ∫ d p 4 ( 2 π ) 4 S μ 1 ⋯ μ ℓ ( − p ) Π μ 1 ⋯ μ ℓ ν 1 ⋯ ν ℓ ( p ) p σ p σ − m 2 + i ε S ν 1 ⋯ ν ℓ ( p ) ] . {\displaystyle \langle 0|0\rangle _{S}=\exp {\left[{\frac {i}{2}}\int {\frac {dp^{4}}{(2\pi )^{4}}}S^{\mu _{1}\cdots \mu _{\ell }}(-p){\frac {\Pi _{\mu _{1}\cdots \mu _{\ell }\nu _{1}\cdots \nu _{\ell }}(p)}{p_{\sigma }p^{\sigma }-m^{2}+i\varepsilon }}S^{\nu _{1}\cdots \nu _{\ell }}(p)\right]}.}

Mixed symmetric arbitrary spin fields

Also, it is theoretically consistent to generalize the source theory to describe hypothetical gauge fields with antisymmetric and mixed symmetric properties in arbitrary dimensions and arbitrary spins. But one should take care of the unphysical degrees of freedom in the theory. For example in N-dimensions and for a mixed symmetric massless version of Curtright field T [ μ ν ] λ {\displaystyle T_{[\mu \nu ]\lambda }} and a source S [ μ ν ] λ = ∂ α ∂ α T [ μ ν ] λ {\displaystyle S_{[\mu \nu ]\lambda }=\partial _{\alpha }\partial ^{\alpha }T_{[\mu \nu ]\lambda }} , the vacuum amplitude is ⟨ 0 | 0 ⟩ S = exp ⁡ ( − 1 2 ∫ d x   d x ′ [ S [ μ ν ] λ ( x ) Δ ( x − x ′ ) S [ μ ν ] λ ( x ′ ) + 2 3 − N S [ μ α ] α ( x ) Δ ( x − x ′ ) S [ μ β ] β ( x ′ ) ] ) {\displaystyle \langle 0|0\rangle _{S}=\exp {\left(-{\frac {1}{2}}\int dx~dx'\left[S_{[\mu \nu ]\lambda }(x)\Delta (x-x')S_{[\mu \nu ]\lambda }(x')+{\frac {2}{3-N}}S_{[\mu \alpha ]\alpha }(x)\Delta (x-x')S_{[\mu \beta ]\beta }(x')\right]\right)}} which for a theory in N=4 makes the source eventually reveal that it is a theory of a non physical field.⁴⁶ However, the massive version survives in N≥5.

Arbitrary half-integer spin fields

For spin-1⁄2 fermion propagator S ( x − x ′ ) = ( p / + m ) Δ ( x − x ′ ) {\displaystyle S(x-x')=(p\!\!\!/+m)\Delta (x-x')} and current J = J e + J a {\displaystyle J=J_{e}+J_{a}} as defined above, the vacuum amplitude is⁴⁷

⟨ 0 | 0 ⟩ J = exp ⁡ [ i 2 ∫ d x d x ′   J ( x )   ( γ 0 S ( x − x ′ ) )   J ( x ′ ) ] = ⟨ 0 | 0 ⟩ J e exp ⁡ [ i ∫ d x d x ′   J e ( x )   ( γ 0 S ( x − x ′ )   )   J a ( x ′ ) ] ⟨ 0 | 0 ⟩ J a . {\displaystyle {\begin{aligned}\langle 0|0\rangle _{J}&=\exp {\left[{\frac {i}{2}}\int dxdx'~J(x)~\left(\gamma ^{0}S(x-x')\right)~J(x')\right]}\\&=\langle 0|0\rangle _{J_{e}}\exp {\left[i\int dxdx'~J_{e}(x)~\left(\gamma ^{0}S(x-x')~\right)~J_{a}(x')\right]}\langle 0|0\rangle _{J_{a}}.\end{aligned}}}

In momentum space the reduced amplitude is given by

W 1 2 = − 1 3 ∫ d 4 p ( 2 π ) 4   J ( − p ) [ γ 0 p / + m p 2 − m 2 ]   J ( p ) . {\displaystyle W_{\frac {1}{2}}=-{\frac {1}{3}}\int {\frac {d^{4}p}{(2\pi )^{4}}}~J(-p)\left[\gamma ^{0}{\frac {p\!\!\!/+m}{p^{2}-m^{2}}}\right]~J(p).}

For spin-3⁄2 Rarita-Schwinger fermions, Π μ ν = η ¯ μ ν − 1 3 γ α η ¯ α μ γ β η ¯ β ν . {\textstyle \Pi _{\mu \nu }={\bar {\eta }}_{\mu \nu }-{\tfrac {1}{3}}\gamma ^{\alpha }{\bar {\eta }}_{\alpha \mu }\gamma ^{\beta }{\bar {\eta }}_{\beta \nu }.} Then, one can use γ μ = η μ ν γ ν {\displaystyle \gamma _{\mu }=\eta _{\mu \nu }\gamma ^{\nu }} and the on-shell p / = − m {\displaystyle p\!\!\!/=-m} to get

W 3 2 = − 2 5 ∫ d 4 p ( 2 π ) 4 J μ ( − p ) [ γ 0 ( p / + m ) ( η ¯ μ ν | on-shell − 1 3 γ α η ¯ α μ | on-shell γ β η ¯ β ν | on-shell ) p 2 − m 2 ]   J ν ( p ) = − 2 5 ∫ d 4 p ( 2 π ) 4 J μ ( − p ) [ γ 0 ( η μ ν − p μ p ν m 2 ) ( p / + m ) − 1 3 ( γ μ + 1 m p μ ) ( p / + m ) ( γ ν + 1 m p ν ) p 2 − m 2 ]   J ν ( p ) . {\displaystyle {\begin{aligned}W_{\frac {3}{2}}&=-{\frac {2}{5}}\int {\frac {d^{4}p}{{\left(2\pi \right)}^{4}}}\,J^{\mu }(-p)\left[\gamma ^{0}{\frac {(p\!\!\!/+m)\left({\bar {\eta }}_{\mu \nu }|_{\text{on-shell}}-{\frac {1}{3}}\gamma ^{\alpha }{\bar {\eta }}_{\alpha \mu }|_{\text{on-shell}}\gamma ^{\beta }{\bar {\eta }}_{\beta \nu }|_{\text{on-shell}}\right)}{p^{2}-m^{2}}}\right]~J^{\nu }(p)\\&=-{\frac {2}{5}}\int {\frac {d^{4}p}{{\left(2\pi \right)}^{4}}}\,J^{\mu }(-p)\left[\gamma ^{0}{\frac {\left(\eta _{\mu \nu }-{\frac {p_{\mu }p_{\nu }}{m^{2}}}\right)(p\!\!\!/+m)-{\frac {1}{3}}\left(\gamma _{\mu }+{\frac {1}{m}}p_{\mu }\right)\left(p\!\!\!/+m\right)\left(\gamma _{\nu }+{\frac {1}{m}}p_{\nu }\right)}{p^{2}-m^{2}}}\right]~J^{\nu }(p).\end{aligned}}}

One can replace the reduced metric η ¯ μ ν {\displaystyle {\bar {\eta }}_{\mu \nu }} with the usual one η μ ν {\displaystyle \eta _{\mu \nu }} if the source J μ {\displaystyle J_{\mu }} is replaced with J ¯ μ ( p ) = 2 5 γ α Π μ α ν β γ β J ν ( p ) . {\displaystyle {\bar {J}}_{\mu }(p)={\frac {2}{5}}\gamma ^{\alpha }\Pi _{\mu \alpha \nu \beta }\gamma ^{\beta }J^{\nu }(p).}

For spin- ( j + 1 2 ) {\displaystyle (j+{\tfrac {1}{2}})} , the above results can be generalized to

W j + 1 2 = − j + 1 2 j + 3 ∫ d 4 p ( 2 π ) 4 J μ 1 ⋯ μ j ( − p )   [ γ 0   γ α   Π μ 1 ⋯ μ j α ν 1 ⋯ ν j β   γ β p 2 − m 2 ] J ν 1 ⋯ ν j ( p ) . {\displaystyle W_{j+{\frac {1}{2}}}=-{\frac {j+1}{2j+3}}\int {\frac {d^{4}p}{{\left(2\pi \right)}^{4}}}\,J^{\mu _{1}\cdots \mu _{j}}(-p)~\left[\gamma ^{0}{\frac {~\gamma ^{\alpha }~\Pi _{\mu _{1}\cdots \mu _{j}\alpha \nu _{1}\cdots \nu _{j}\beta }~\gamma ^{\beta }}{p^{2}-m^{2}}}\right]J^{\nu _{1}\cdots \nu _{j}}(p).}

The factor j + 1 2 j + 3 {\displaystyle {\frac {j+1}{2j+3}}} is obtained from the properties of the projection operator, the tracelessness of the current, and the conservation of the current after being projected by the operator.⁴⁸ These conditions can be derived form the Fierz-Pauli⁴⁹ and the Fang-Fronsdal⁵⁰⁵¹ conditions on the fields themselves. The Lagrangian formulations of massive fields and their conditions were studied by Lambodar Singh and Carl Hagen.⁵²⁵³ The non-relativistic version of the projection operators, developed by Charles Zemach who is another student of Schwinger,⁵⁴ is used heavily in hadron spectroscopy. Zemach's method could be relativistically improved to render the covariant projection operators.⁵⁵⁵⁶

See also

• Keldysh-Schwinger formalism
• Schwinger function
• Wigner-Bargmann equations
• Joos–Weinberg equation

References

1. Schwinger, Julian (1966-12-23). "Particles and Sources". Physical Review. 152 (4): 1219–1226. doi:10.1103/PhysRev.152.1219. ISSN 0031-899X. https://link.aps.org/doi/10.1103/PhysRev.152.1219 ↩

2. Schwinger, Julian (1968-09-25). "Sources and Gravitons". Physical Review. 173 (5): 1264–1272. doi:10.1103/PhysRev.173.1264. ISSN 0031-899X. https://link.aps.org/doi/10.1103/PhysRev.173.1264 ↩

3. Schwinger, Julian (1967-06-25). "Sources and Electrodynamics". Physical Review. 158 (5): 1391–1407. doi:10.1103/PhysRev.158.1391. ISSN 0031-899X. https://link.aps.org/doi/10.1103/PhysRev.158.1391 ↩

4. Kalbfleisch, George R.; Alvarez, Luis W.; Barbaro-Galtieri, Angela; Dahl, Orin I.; Eberhard, Philippe; Humphrey, William E.; Lindsey, James S.; Merrill, Deane W.; Murray, Joseph J.; Rittenberg, Alan; Ross, Ronald R.; Shafer, Janice B.; Shively, Frank T.; Siegel, Daniel M.; Smith, Gerald A. (1964-05-04). "Observation of a Nonstrange Meson of Mass 959 MeV". Physical Review Letters. 12 (18): 527–530. doi:10.1103/PhysRevLett.12.527. ISSN 0031-9007. https://link.aps.org/doi/10.1103/PhysRevLett.12.527 ↩

5. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

6. Schwinger, Julian (1966-12-23). "Particles and Sources". Physical Review. 152 (4): 1219–1226. doi:10.1103/PhysRev.152.1219. ISSN 0031-899X. https://link.aps.org/doi/10.1103/PhysRev.152.1219 ↩

7. Milton, Kimball A. (2015), "Quantum Action Principle", Schwinger's Quantum Action Principle, SpringerBriefs in Physics, Cham: Springer International Publishing, pp. 31–50, doi:10.1007/978-3-319-20128-3_4, ISBN 978-3-319-20127-6, retrieved 2023-05-06 978-3-319-20127-6 ↩

8. Toms, David J. (2007-11-15). The Schwinger Action Principle and Effective Action (1 ed.). Cambridge University Press. doi:10.1017/cbo9780511585913.008. ISBN 978-0-521-87676-6. 978-0-521-87676-6 ↩

9. Zee, A. (2010). Quantum field theory in a nutshell (2nd ed.). Princeton, N.J.: Princeton University Press. ISBN 978-0-691-14034-6. OCLC 318585662. 978-0-691-14034-6 ↩

10. Weinberg, Steven (1965-05-24). "Photons and Gravitons in Perturbation Theory: Derivation of Maxwell's and Einstein's Equations". Physical Review. 138 (4B): B988 – B1002. doi:10.1103/PhysRev.138.B988. ISSN 0031-899X. https://link.aps.org/doi/10.1103/PhysRev.138.B988 ↩

11. Schwinger, Julian (May 1961). "Brownian Motion of a Quantum Oscillator". Journal of Mathematical Physics. 2 (3): 407–432. doi:10.1063/1.1703727. ISSN 0022-2488. https://pubs.aip.org/aip/jmp/article/2/3/407-432/224719 ↩

12. Kamenev, Alex (2011). Field theory of non-equilibrium systems. Cambridge. ISBN 978-1-139-11485-1. OCLC 760413528.{{cite book}}: CS1 maint: location missing publisher (link) 978-1-139-11485-1 ↩

13. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

14. Ryder, Lewis (1996). Quantum Field Theory (2nd ed.). Cambridge University Press. p. 175. ISBN 9780521478144. 9780521478144 ↩

15. Nastase, Horatiu (2019-10-17). Introduction to Quantum Field Theory (1 ed.). Cambridge University Press. doi:10.1017/9781108624992.009. ISBN 978-1-108-62499-2. S2CID 241983970. 978-1-108-62499-2 ↩

16. Milton, Kimball A. (2015), "Quantum Action Principle", Schwinger's Quantum Action Principle, SpringerBriefs in Physics, Cham: Springer International Publishing, pp. 31–50, doi:10.1007/978-3-319-20128-3_4, ISBN 978-3-319-20127-6, retrieved 2023-05-06 978-3-319-20127-6 ↩

17. Toms, David J. (2007-11-15). The Schwinger Action Principle and Effective Action (1 ed.). Cambridge University Press. doi:10.1017/cbo9780511585913.008. ISBN 978-0-521-87676-6. 978-0-521-87676-6 ↩

18. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

19. Ramond, Pierre (2020). Field Theory: A Modern Primer (2nd ed.). Routledge. ISBN 978-0367154912. 978-0367154912 ↩

20. Zee, A. (2010). Quantum field theory in a nutshell (2nd ed.). Princeton, N.J.: Princeton University Press. ISBN 978-0-691-14034-6. OCLC 318585662. 978-0-691-14034-6 ↩

21. Weinberg, Steven (1979). "Phenomenological Lagrangians". Physica A: Statistical Mechanics and Its Applications. 96 (1–2): 327–340. doi:10.1016/0378-4371(79)90223-1. https://linkinghub.elsevier.com/retrieve/pii/0378437179902231 ↩

22. Fradkin, Eduardo (2021). Quantum Field Theory: An Integrated Approach. Princeton University Press. pp. 331–341. ISBN 9780691149080. 9780691149080 ↩

23. Zeidler, Eberhard (2006). Quantum Field Theory I: Basics in Mathematics and Physics: A Bridge between Mathematicians and Physicists. Springer. p. 455. ISBN 9783540347620. 9783540347620 ↩

24. Kleinert, Hagen; Schulte-Frohlinde, Verena (2001). Critical Properties of phi^4-Theories. World Scientific Publishing Co. pp. 68–70. ISBN 9789812799944. 9789812799944 ↩

25. Jona-Lasinio, G. (1964-12-01). "Relativistic field theories with symmetry-breaking solutions". Il Nuovo Cimento (1955-1965). 34 (6): 1790–1795. doi:10.1007/BF02750573. ISSN 1827-6121. S2CID 121276897. https://doi.org/10.1007/BF02750573 ↩

26. Esposito, Giampiero; Kamenshchik, Alexander Yu.; Pollifrone, Giuseppe (1997). Euclidean Quantum Gravity on Manifolds with Boundary. Dordrecht: Springer Netherlands. doi:10.1007/978-94-011-5806-0. ISBN 978-94-010-6452-1. 978-94-010-6452-1 ↩

27. Zeidler, Eberhard (2006). Quantum Field Theory I: Basics in Mathematics and Physics: A Bridge between Mathematicians and Physicists. Springer. p. 455. ISBN 9783540347620. 9783540347620 ↩

28. Esposito, Giampiero; Kamenshchik, Alexander Yu.; Pollifrone, Giuseppe (1997). Euclidean Quantum Gravity on Manifolds with Boundary. Dordrecht: Springer Netherlands. doi:10.1007/978-94-011-5806-0. ISBN 978-94-010-6452-1. 978-94-010-6452-1 ↩

29. Jona-Lasinio, G. (1964-12-01). "Relativistic field theories with symmetry-breaking solutions". Il Nuovo Cimento (1955-1965). 34 (6): 1790–1795. doi:10.1007/BF02750573. ISSN 1827-6121. S2CID 121276897. https://doi.org/10.1007/BF02750573 ↩

30. Farhi, E.; Jackiw, R. (January 1982), Dynamical Gauge Symmetry Breaking, WORLD SCIENTIFIC, pp. 1–14, doi:10.1142/9789814412698_0001, ISBN 978-9971-950-24-8, retrieved 2023-05-17 978-9971-950-24-8 ↩

31. Fradkin, Eduardo (2021). Quantum Field Theory: An Integrated Approach. Princeton University Press. pp. 331–341. ISBN 9780691149080. 9780691149080 ↩

32. Christensen, Steven M.; DeWitt, Bryce S., eds. (1984). Quantum theory of gravity: essays in honor of the 60. birthday of Bryce S. DeWitt. Bristol: Hilger. ISBN 978-0-85274-755-1. 978-0-85274-755-1 ↩

33. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

34. Bogoli︠u︡bov, N. N. (1982). Quantum fields. D. V. Shirkov. Reading, MA: Benjamin/Cummings Pub. Co., Advanced Book Program/World Science Division. ISBN 0-8053-0983-7. OCLC 8388186. 0-8053-0983-7 ↩

35. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

36. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

37. DeWitt-Morette, Cecile (1999). Quantum Field Theory: Perspective and Prospective. Jean Bernard Zuber. Dordrecht: Springer Netherlands. ISBN 978-94-011-4542-8. OCLC 840310329. 978-94-011-4542-8 ↩

38. DeWitt, Bryce S. (2003). The global approach to quantum field theory. Oxford: Oxford University Press. ISBN 0-19-851093-4. OCLC 50323237. 0-19-851093-4 ↩

39. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

40. Ogievetsky, V.I; Polubarinov, I.V (November 1965). "Interacting field of spin 2 and the einstein equations". Annals of Physics. 35 (2): 167–208. doi:10.1016/0003-4916(65)90077-1. https://linkinghub.elsevier.com/retrieve/pii/0003491665900771 ↩

41. Freund, Peter G. O.; Maheshwari, Amar; Schonberg, Edmond (August 1969). "Finite-Range Gravitation". The Astrophysical Journal. 157: 857. doi:10.1086/150118. ISSN 0004-637X. https://doi.org/10.1086%2F150118 ↩

42. de Rham, Claudia; Gabadadze, Gregory (2010-08-10). "Generalization of the Fierz-Pauli action". Physical Review D. 82 (4): 044020. arXiv:1007.0443. doi:10.1103/PhysRevD.82.044020. S2CID 119289878. https://link.aps.org/doi/10.1103/PhysRevD.82.044020 ↩

43. Van Kortryk, Thomas; Curtright, Thomas; Alshal, Hassan (2021). "On Enceladian Fields". Bulgarian Journal of Physics. 48 (2): 138–145. http://www.bjp-bg.com/paper1.php?id=1247 ↩

44. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

45. Gallier, Jean; Quaintance, Jocelyn (2020), "Spherical Harmonics and Linear Representations of Lie Groups", Differential Geometry and Lie Groups, Geometry and Computing, vol. 13, Cham: Springer International Publishing, pp. 265–360, doi:10.1007/978-3-030-46047-1_7, ISBN 978-3-030-46046-4, S2CID 122806576, retrieved 2023-05-08 978-3-030-46046-4 ↩

46. Curtright, Thomas (1985-12-26). "Generalized gauge fields". Physics Letters B. 165 (4): 304–308. doi:10.1016/0370-2693(85)91235-3. ISSN 0370-2693. https://dx.doi.org/10.1016/0370-2693%2885%2991235-3 ↩

47. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

48. Schwinger, Julian (1998). Particles, sources, and fields. Reading, Mass.: Advanced Book Program, Perseus Books. ISBN 0-7382-0053-0. OCLC 40544377. 0-7382-0053-0 ↩

49. "On relativistic wave equations for particles of arbitrary spin in an electromagnetic field". Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences. 173 (953): 211–232. 1939-11-28. doi:10.1098/rspa.1939.0140. ISSN 0080-4630. S2CID 123189221. https://royalsocietypublishing.org/doi/10.1098/rspa.1939.0140 ↩

50. Fronsdal, Christian (1978-11-15). "Massless fields with integer spin". Physical Review D. 18 (10): 3624–3629. doi:10.1103/PhysRevD.18.3624. https://link.aps.org/doi/10.1103/PhysRevD.18.3624 ↩

51. Fang, J.; Fronsdal, C. (1978-11-15). "Massless fields with half-integral spin". Physical Review D. 18 (10): 3630–3633. doi:10.1103/PhysRevD.18.3630. https://link.aps.org/doi/10.1103/PhysRevD.18.3630 ↩

52. Singh, L. P. S.; Hagen, C. R. (1974-02-15). "Lagrangian formulation for arbitrary spin. I. The boson case". Physical Review D. 9 (4): 898–909. doi:10.1103/PhysRevD.9.898. ISSN 0556-2821. https://link.aps.org/doi/10.1103/PhysRevD.9.898 ↩

53. Singh, L. P. S.; Hagen, C. R. (1974-02-15). "Lagrangian formulation for arbitrary spin. II. The fermion case". Physical Review D. 9 (4): 910–920. doi:10.1103/PhysRevD.9.910. ISSN 0556-2821. https://link.aps.org/doi/10.1103/PhysRevD.9.910 ↩

54. Zemach, Charles (1965-10-11). "Use of Angular-Momentum Tensors". Physical Review. 140 (1B): B97 – B108. doi:10.1103/PhysRev.140.B97. https://link.aps.org/doi/10.1103/PhysRev.140.B97 ↩

55. Filippini, V.; Fontana, A.; Rotondi, A. (1995-03-01). "Covariant spin tensors in meson spectroscopy". Physical Review D. 51 (5): 2247–2261. doi:10.1103/PhysRevD.51.2247. PMID 10018695. https://link.aps.org/doi/10.1103/PhysRevD.51.2247 ↩

56. Chung, S. U. (1998-01-01). "General formulation of covariant helicity-coupling amplitudes". Physical Review D. 57 (1): 431–442. doi:10.1103/PhysRevD.57.431. https://link.aps.org/doi/10.1103/PhysRevD.57.431 ↩