1 Introduction

In the last few years there has been an extraordinary amount of activity on the analysis of heavy baryon and heavy meson semileptonic decays \(B_1(M_1) \rightarrow B_2(M_2) + \ell +\nu \) and rare decays \(B_1(M_1) \rightarrow B_2(M_2) + \ell ^+ +\ell ^-\) where \(\ell =e,\mu ,\tau \). This ever-increasing activity has been fuelled by possible signals of lepton flavour violation in these semileptonic or rare decay processes. Almost without exception the analysis of the semileptonic and rare heavy hadron decays was done in cascade fashion where the decays were treated as a sequence of two two-body decays [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]. For example, the semileptonic meson decay \(M_1 \rightarrow M_2 + \ell + \nu \) is described by the first stage two-body decay \(M_1 \rightarrow M_2 + W_\mathrm{off-shell}\) followed by the second stage two-body decay \(W_\mathrm{off-shell} \rightarrow \ell + \nu \). In contrast to this, neutron \(\beta \) decays and semileptonic hyperon decays have traditionally been analyzed in terms of the basic three-body decay process \(B_1 \rightarrow B_2 + \ell +\nu \) [23,24,25, 27,28,29,30,31]. In this paper we wish to demonstrate that there are many advantages in also treating neutron \(\beta \) decays as a cascade decay process \(n \rightarrow p + W^-_{\mathrm{off-shell}}\) followed by \(W^-_{\mathrm{off-shell}}\rightarrow e^- +{\bar{\nu }}_e\). In the first two-body decay \(n \rightarrow p + W^-_\mathrm{off-shell}\) the \(W^-_{\mathrm{off-shell}}\) emerges polarized, the polarization of which is subsequently analyzed by the second stage decay \(W^-_{\mathrm{off-shell}}\rightarrow e^- +{\bar{\nu }}_e\).

The advantage of the cascade approach to polarized neutron decays is that one can define a larger number of unpolarized and neutron spin-related polarization observables than is possible in the three-body decay approach. One can count the number of independent hadronic helicity structure functions that describe the quasi-two-body process \(n(\lambda _1) \rightarrow p(\lambda _2) +W^-_\mathrm{off-shell}(\lambda _W)\) by looking at the independent elements of the hermitian double spin density matrix \({{\mathcal {H}}}_{\lambda _W\, \lambda '_W}^{\,\lambda _1\,\lambda '_1}\). We denote the helicities of the three particles involved in the quasi-two-body decay by \(\lambda _1, \lambda _2, \lambda _W\) such that \(\lambda _1 = \lambda _2 -\lambda _W\). One has to keep in mind that \(\lambda _1 +\lambda _W= \lambda _1' +\lambda _W'\) since one is not observing the spin of the final state proton. Further one has \(|\lambda _1 +\lambda _W|= |\lambda _1' +\lambda _W'|= 1/2\) since the helicity of the proton can only take the values \(\lambda _2=\pm 1/2\). The helicity of the off-shell W boson can assume the four values \(\lambda _W=t,+1,0,-1\) where t denotes the time component of the off-shell W boson. There are thus altogether sixteen independent double spin density matrix elements

$$\begin{aligned}&{{\mathcal {H}}}_{--}^{++},\,{\mathcal {H}}_{++}^{--},\,{\mathcal {H}}_{00}^{++},\, {\mathcal {H}}_{00}^{--},\,\mathrm{Re}{\mathcal {H}}_{-0}^{+-},\,\mathrm{Im}{\mathcal {H}}_{-0}^{+-}, \mathrm{Re}{\mathcal {H}}_{+0}^{-+},\nonumber \\&\mathrm{Im}{\mathcal {H}}_{+0}^{-+} \,{\mathcal {H}}_{tt}^{++},\,{\mathcal {H}}_{t0}^{++},\,{\mathcal {H}}_{tt}^{--},\,{\mathcal {H}}_{t0}^{--}\mathrm{Re}{\mathcal {H}}_{-t}^{+-},\,\mathrm{Im}{\mathcal {H}}_{-t}^{+-},\,\nonumber \\&\mathrm{Re}{\mathcal {H}}_{+t}^{-+},\,\mathrm{Im}{\mathcal {H}}_{+t}^{-+}. \end{aligned}$$
(1)

We employ a concise notation for the double spin density matrix elements in that we write \((\pm =\pm 1/2)\) for the upper indices \((\lambda _1\,\lambda _1')\) and \((\pm =\pm 1)\) for the lower indices \((\lambda _W\,\lambda _W')\). The set of sixteen double spin density matrix elements in Eq. (1) contains twelve T-even and four T-odd structure functions. When counting the number of polarization observables one has to subtract the trace of the double density matrix since polarization observables correspond to normalized double spin density matrix elements. This leaves one with eleven T-even and four T-odd observables. In this paper we discuss a subset of seven angular and three electron spin observables which are contributed to by linear combinations of the above set of double spin density matrix elements. We are not exhausting the full set of possible spin measurements which explains why the number of our observables is smaller than the number of double spin density matrix elements. For example, we do not consider the polarization of the final state proton which would be very difficult to measure.

Compare this to the four independent single spin density matrix elements

$$\begin{aligned} {{\mathcal {H}}}^{++},\,{{\mathcal {H}}}^{--},\, \mathrm{Re}{{\mathcal {H}}}^{+-},\,\mathrm{Im}\mathcal{H}^{+-} \end{aligned}$$
(2)

of the polarized decay \(n(\uparrow ) \rightarrow p + e^- +{\bar{\nu }}_e\) where there are three T-even and one T-odd structure functions. The relevant angular decay distribution reads (see e.g. Ref. [15])

$$\begin{aligned} \frac{d\Gamma _{\mathrm{tot}}}{d\cos \theta _P d\chi }\sim & {} A+B\,P_n\cos \theta _P +C\,P_n\sin \theta _P \cos \chi \nonumber \\&+ D\,P_n\sin \theta _P \sin \chi \end{aligned}$$
(3)

where \(A\sim {{\mathcal {H}}}^{++}+{{\mathcal {H}}}^{--}\), \(B\sim {{\mathcal {H}}}^{++}-\mathcal{H}^{--}\), \(C\sim \mathrm{Re}{{\mathcal {H}}}^{+-}\) and \(D\sim \mathrm{Im}{{\mathcal {H}}}^{+-}\), and \(P_n=|{\vec {P}}_n|\) is the magnitude of the polarization of the neutron. This leaves one with the three independent normalized observables given by B / A, C / A and D / A compared to the 15 observables in the helicity approach. The angles \(\theta _P\) and \(\chi \) describe the orientation of the polarization vector \({\vec {P}}_n\) of the neutron relative to the decay plane formed by the three final state particles \((p,\,e^-,\,{\bar{\nu }})\). The correlation angles and thereby the correlation coefficients \(B,\,C,\,D\) depend on the choice of the z axis to be in the decay plane or perpendicular to the plane (see e.g. Ref. [15]).

It must be clear that the physical content of the cascade approach and the direct decay approach are the same but the physics appears in different guises in the two approaches. By applying appropriate boosts, one can always convert the results of one approach into the results of the other approach either analytically or with the help of a Monte Carlo event generation program as e.g. described in Ref. [10].

2 Helicity and invariant amplitudes

We define the usual set of three parity conserving (p.c.) and three parity violating (p.v.) invariant form factors for the current-induced transition \(n \rightarrow p\). One has (\(\sigma _{\mu \nu }=i/2(\gamma _\mu \gamma _\nu -\gamma _\nu \gamma _\mu ))\)

$$\begin{aligned} M_\mu ^V= & {} \langle B_2|J_\mu ^V|B_1\rangle = {\bar{u}}_p(p_2)\bigg [F_1^{V}(q^2)\gamma _\mu \nonumber \\&-i\frac{F_2^V(q^2)}{M_n}\sigma _{\mu \nu }q^\nu +\frac{F_3^V(q^2)}{M_n}q_\mu \bigg ]u_n(p_1),\nonumber \\ M_\mu ^A= & {} \langle B_2|J_\mu ^A|B_1\rangle = {\bar{u}}_p(p_2)\bigg [F_1^A(q^2)\gamma _\mu \nonumber \\&-i\frac{F_2^A(q^2)}{M_n}\sigma _{\mu \nu }q^\nu +\frac{F_3^A(q^2)}{M_n}q_\mu \bigg ]\gamma _5 u_n(p_1), \end{aligned}$$
(4)

where, differing from Ref. [10], we use the conventions of Bjorken–Drell for the \(\gamma \) matrices. In particular, we use

$$\begin{aligned} \gamma _5=\left( \begin{array}{cc}0 &{}\quad 1 \\ 1 &{}\quad 0 \end{array} \right) . \end{aligned}$$
(5)

Next we linearly relate the six invariant form factors to six helicity amplitudes \(H^{V/A}_{\lambda _2\, \lambda _W}\) for the quasi-two-body process \(n(p_1,\lambda _1) \rightarrow p(p_2,\lambda _2) +W^-_{\mathrm{off-shell}}(q;\lambda _W)\) where \(\lambda _1=\lambda _2-\lambda _W\). One obtains (see e.g. Ref. [10])

$$\begin{aligned} H_{\frac{1}{2}1}^{V/A}= & {} \sqrt{2Q_\mp }\left( - F_1^{V/A}(q^2) \mp \frac{ M_\pm }{M_n} F_2^{V/A}(q^2) \right) , \nonumber \\ H_{\frac{1}{2}0}^{V/A}= & {} \frac{\sqrt{Q_\mp }}{\sqrt{q^2}}\left( M_\pm F_1^{V/A}(q^2) \pm \frac{q^2}{M_n} F_2^{V/A}(q^2) \right) , \nonumber \\ H_{\frac{1}{2}t}^{V/A}= & {} \frac{\sqrt{Q_\pm }}{\sqrt{q^2}}\left( M_\mp F_1^{V/A}(q^2) \pm \frac{q^2}{M_n} F_3^{V/A}(q^2) \right) . \end{aligned}$$
(6)

We use the abbreviations \(M_\pm = (M_n \pm M_p)\) and \(Q_\pm =(M_n \pm M_p)^2 - q^2\). The remaining helicity amplitudes are obtained from the parity relations \(H_{-\lambda _2, -\lambda _W}^{V/A} = \pm H_{\lambda _2, \lambda _W}^{V/A}\).

At the zero-recoil point \(q^2 = (M_n-M_p)^{2}\) only the s-wave transitions survive. These are conventionally called allowed Fermi and allowed Gamow–Teller transitions, respectively. The surviving helicity amplitudes are

$$\begin{aligned} H^{V}_{\frac{1}{2} t}= & {} H^{V}_{-\frac{1}{2} t} \nonumber \\= & {} 2\sqrt{M_{1}M_{2}}\,\left( F_{1}^{V}+\frac{M_{-}}{M_{1}}F_{3}^{V}\right) \quad \text{ allowed } \text{ Fermi, } \nonumber \\ \end{aligned}$$
(7)
$$\begin{aligned} H^{A}_{\frac{1}{2} 1}/\sqrt{2}= & {} -H^{A}_{-\frac{1}{2} -1}/\sqrt{2} = H^{A}_{\frac{1}{2} 0}=-H^{A}_{-\frac{1}{2} 0}\nonumber \\= & {} 2\,\sqrt{M_{1}M_{2}}\,\left( F_{1}^{A} -\frac{M_{-}}{M_{1}}F_{2}^{A}\right) \,\nonumber \\&\quad \text{ allowed } \text{ Gamow--Teller. } \end{aligned}$$
(8)

When one converts the helicity amplitudes to (LS) amplitudes, one can see that the above recoil relations project onto the (LS) amplitudes \((L=0, S=1/2)\) in both cases.

The ultimate goal in neutron \(\beta \)-decay experiments would be to measure the complete set of six form factors \(F_i^{V/A}\,(i=1,2,3)\) independent of any theoretical input and then to confront the measurements with theoretical expectations. This goal is difficult to realize because the contributions of some of the form factors to the rate and to the polarization observables are quite small and difficult to measure. In practise one concentrates on the measurement of the axial form factor \(F_1^A\) and, in that order, on the weak magnetism form factor \(F_2^V\).

Let us briefly list the theoretical expectations for five of the six form factors that are based on (i) the conserved vector current (CVC) hypothesis determining the vector form factor \(F_1^V(0)\) and the weak magnetism form factor \(F_2^V(0)\), (ii) partial conservation of the axial vector current (PCAC) specifying the induced pseudoscalar scalar form factor \(F_3^A(0)\), and (iii) the absence of second class currents leading to the vanishing of the induced scalar form factor \(F_3^V(0)\) and the tensor form factor \(F_2^A(0)\) as e.g. described in Ref. [32]. One has

$$\begin{aligned} F_1^V(0)= & {} 1, \quad F_2^V(0)\!=\!\tfrac{1}{2} (\kappa _p -\kappa _n)=1.853, \quad F_3^V(0)=0 ,\nonumber \\ F_2^A(0)= & {} 0, \quad F_3^A(0)\!=\!2\, \frac{M_n^2}{m_\pi ^2} F_1^A(0)=118.02, \quad [32]\nonumber \\ F_3^A(0)= & {} 175, \quad [33] \end{aligned}$$
(9)

where we have included a second theoretical estimate of the induced scalar form factor using some lattice data given in Ref. [33].

The value of the axial form factor \(F_1^A(0)\) is not determined by any general theoretical argument. The PDG presents the measured value of \(F_1^A(0)\) in terms of the ratio \(\lambda =F_1^A(0)/F_1^V(0) =1.2724(23)\) [34]. However, since the CVC value of \(F_1^V(0)=1\) is protected from first order symmetry breaking by the Ademollo–Gatto theorem [35], we shall use the PDG value for \(F_1^A(0)/F_1^V(0)\) directly for \(F_1^A(0)\). In our numerical analysis we thus take the PDG-based value

$$\begin{aligned} F_1^A(0)=1.2724(23). \end{aligned}$$
(10)

The errors of the lattice calculations of the values of \(F_1^A(0)\) have been considerably reduced over the last few years and have reached the \(1\,\%\) level. Berkowitz et al. quote \(F_1^A(0)=1.278(21)(26)\) [36] or from later papers by the same lattice collaboration \(F_1^A(0)=1.271(13)\) [37, 38]. Ottnad et al. quote \(F_1^A(0)=1.251(24)\) [39]. The present situation concerning lattice calculations of the neutron \(\beta \)-decay form factor values is nicely summarized in Ref. [40]. In a non-lattice calculation the authors of Ref. [41] have used a covariant constituent quark model that incorporates chiral effects through a chiral expansion to calculate \(F_2^V(0)=1.853\), \(F_1^A(0)=1.2695\) and \(F_3^A(0)=112.270\). In an explicit calculation the authors verified that the model satisfies the Ademollo–Gatto theorem.

As we shall see in Sect. 4, the \(q^2\) dependence of the form factors sets in only at NNLO or even at higher order in the recoil expansion. To the accuracy we are aiming at one can therefore use \(F_i^{V/A}(q^2)=F_i^{V/A}(0)\). For the sake of brevity we shall always drop the argument in the form factors and set \(F_i^{V/A}\) for \(F_i^{V/A}(0)\) everywhere.

The experimental measurement of the axial form factor \(F_1^A\) is based on life-time measurements for which there are two differing results from either beam measurements or from trap measurements of ultracold neutrons which differ from each other by \(4\,\sigma \) (see e.g. Ref. [42]). In addition, there is a recent claim that the size of the radiative corrections to neutron \(\beta \) decay needed in the evaluation of \(F_1^A\) was underestimated in previous analysis’ [43, 44] calling into question the previously determined values of \(F_1^A\). The present situation thus calls for an independent measurement of \(F_1^A\) which, in addition, does not depend on the value of \(V_{ud}\). In Sect. 6 we therefore analyze the sensitivity of our set of observables to variations in the input value of \(F_1^A\).

Table 1 Definition of helicity structure functions and their parity properties

In Table 1 we list the bilinear forms of the helicity amplitudes that appear in the four-fold angular decay distribution to be discussed in the next section. The helicity amplitudes \(H_{\lambda _2\, \lambda _W}\) appearing in Table 1 refer to the linear combination of the vector and axial vector helicity amplitudes given by

$$\begin{aligned} H_{\lambda _2\,\lambda _W} =H^V_{\lambda _2\,\lambda _W}-H^A_{\lambda _2\,\lambda _W}. \end{aligned}$$
(11)

The parity properties of the helicity structure functions given in Table 1 follow from the parity transformation properties of the vector current \(V^\mu \sim (0^+,1^-)\) and the axial vector current \(A^\mu \sim (0^-,1^+)\) expressed as \(J^P\) separately for the time and space components. For the diagonal spin 0 - spin 0 and spin 1 - spin 1 contributions the parity can be seen to be positive/negative for the sums/differences of helicity bilinears with helicity labels \(\lambda _2\,\lambda _W\) and \(-\lambda _2\,-\lambda _W\). For the nondiagonal spin 1 - spin 0 contributions there is an extra minus sign resulting from the parity properties of the currents.

The zero-recoil structure of the helicity amplitudes Eqs. (7) and (8) has implications for the helicity structure functions listed in Table 1. The eight p.v. helicity structure functions vanish at zero recoil, i.e.

$$\begin{aligned} {{\mathcal {H}}}_{ILT_-},\,{{\mathcal {H}}}_{IST_+},\,{{\mathcal {H}}}_{SL_+},\,\mathcal{H}_{F},\, {{\mathcal {H}}}_{L_-},\,{{\mathcal {H}}}_{S_-}, {{\mathcal {H}}}_{LT_{-}},\mathcal{H}_{ISL_{+}}=0. \end{aligned}$$
(12)

Six of the seven p.c. helicity structure functions take the recoil values

$$\begin{aligned} {{\mathcal {H}}}_{U}= & {} 2\,{{\mathcal {H}}}_{L} = \sqrt{2}\,{{\mathcal {H}}}_{LT_+} = 4M_nM_p\, |F_1^A|^2, \nonumber \\ {{\mathcal {H}}}_{ST_-}= & {} 2\,{{\mathcal {H}}}_{SL_-} = -8\sqrt{2}M_nM_p \,\mathrm{Re}\left( F_1^V\,F_1^{A *}\right) \nonumber \\ {{\mathcal {H}}}_{S}= & {} 8M_nM_p\,|F_1^V|^2, \quad {{\mathcal {H}}}_{ILT_+}=0, \end{aligned}$$
(13)

while the p.c. helicity structure function \({{\mathcal {H}}}_{ILT_+}\) is zero. As in Eqs. (7) and (8) we have set the second class form factors \(F_3^V\) and \(F_2^A\) to zero. One can check that the p.v. helicity structure functions are proportional to p when \(F_3^V=F_2^A=0\) in agreement with Eq. (12). The zero-recoil relations can be used to quickly assess the limiting behavior of the polarization observables in the zero-recoil limit.

3 Four-fold angular decay distribution

The angular decay distribution \(W(\theta ,\theta _P,\chi )\) is determined by the master formula (see e.g. Ref. [10])

$$\begin{aligned}&W(\theta ,\theta _P,\chi ) \nonumber \\&\quad \propto \sum _{\lambda _e,\lambda _W,\lambda '_W,J,J',\lambda _2} \rho _{\lambda _2-\lambda _W,\lambda _2-\lambda '_W}(\theta _P)(-1)^{J+J'} |h_{\lambda _e\lambda _{{\bar{\nu }}}=1/2}|^2 e^{-i(\lambda _W-\lambda '_W)\chi } \nonumber \\&\quad \times d^J_{\lambda _W,\,\lambda _e-\lambda _{{\bar{\nu }}}}(\theta ) d^{J'}_{\lambda '_W,\,\lambda _e-\lambda _{{\bar{\nu }}}}(\theta ) H_{\lambda _2\lambda _W}H^*_{\lambda _2\lambda '_W}, \end{aligned}$$
(14)

where \(\lambda _{\bar{\nu }}=1/2\) for the massless antineutrino and \(\lambda _{e}=\pm 1/2\). In the configuration \(\lambda _{e}=+1/2\) the electron helicity is flipped whereas the helicity is not flipped when \(\lambda _{e}=-1/2\). The penalty factor for flipping the helicity of the electron is given by the ratio of the squares of the relevant leptonic flip and nonflip helicity amplitudes \(|h_{\lambda _e=1/2\,\lambda _{\nu }=1/2}|^2/ \,|h_{\lambda _e =-1/2\,\,\lambda _{\nu }=1/2}|^2 = m_e^2/2q^2\,=:\,\delta _e\). The polarization of the neutron is described by the normalized density matrix

$$\begin{aligned} \rho _{\lambda _{1}\lambda _{1}^{'}}(\theta _P)=\frac{1}{2}\left( \begin{array}{cc} 1+P_n \cos \theta _P &{}\quad P_n \sin \theta _P\\ P_n \sin \theta _P &{}\quad 1-P_n \cos \theta _P \end{array} \right) , \end{aligned}$$
(15)

where \(P_n\) denotes the magnitude of the polarization of the neutron. For completeness we list the Wigner small \(d^1(\theta )\) function appearing in Eq. (14) which is given by

$$\begin{aligned} d^1_{mm'}(\theta )=\left( \begin{array}{ccc} \frac{1}{2}(1+\cos \theta )&{}-\frac{1}{\sqrt{2}}\sin \theta &{}\frac{1}{2}(1-\cos \theta ) \\ \frac{1}{\sqrt{2}}\sin \theta &{}\cos \theta &{}-\frac{1}{\sqrt{2}}\sin \theta \\ \frac{1}{2}(1-\cos \theta )&{}\frac{1}{\sqrt{2}}\sin \theta &{}\frac{1}{2}(1+\cos \theta ) \end{array}\right) . \end{aligned}$$
(16)
Fig. 1
figure 1

Definition of the polar angles \(\theta \) and \(\theta _P\), and the azimuthal angle \(\chi \) describing the decay of a polarized neutron using the lepton pair as polarization analyzer. \(\vec {P}_{n}\) denotes the polarization vector of the neutron which is chosen to lie in the (xz) plane. The components of the polarization vector of the electron \({\vec {P}}_e\) are defined in the right-handed \((x_e,y_e,z_e)\) coordinate frame. The \(y_e\)-axis points into the page

The rows and columns are labeled in the order of \((1,0,-1)\). The spin-0 Wigner function is simply \(d^0_{00}(\theta )=1\).

The angles \(\theta \), \(\theta _P\) and \(\chi \) are defined in Fig. 1. Figure 1 provides a clear visualization of the two reference frames used in the cascade analysis. For once, there is the neutron rest frame which we will refer to as the n frame, and second, one has the \(W_\mathrm{off-shell}\) rest frame (or \((e^-\,\bar{\nu })\) center-of-mass frame) which will be referred to as the q frame.

We mention that we have checked the correctness of the leptonic part of the angular decay distribution (14) given by

$$\begin{aligned}&{{\mathcal {L}}}_{\lambda _W\,\lambda '_W}^{J\,J'}(\lambda _e) \nonumber \\&\quad = |h _{\lambda _e\lambda _{\bar{\nu }}=1/2}|^2 e^{-i(\lambda _W-\lambda '_W)\chi } d^J_{\lambda _W,\,\lambda _e-\lambda _{\bar{\nu }}}(\theta ) d^{J'}_{\lambda '_W,\,\lambda _e-\lambda _{\bar{\nu }},}(\theta )\nonumber \\ \end{aligned}$$
(17)

by an independent covariant calculation.

Putting in the correct normalization one obtains the four-fold decay distribution which we write as

$$\begin{aligned}&\frac{d\Gamma _{\mathrm{tot}}}{dq^2 d\cos \theta d\chi d\cos \theta _P}\nonumber \\&\quad = \frac{1}{4\pi }\frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2} \left( W(\theta ) +P_n\cdot W^P(\theta ,\theta _P,\chi ) \right) ,\nonumber \\ \end{aligned}$$
(18)

where

$$\begin{aligned} \Gamma _0 =\frac{G^2|V_{ud}|^2 M_n^5}{192\pi ^3}. \end{aligned}$$
(19)

The momentum factor p denotes the magnitude of the three-momentum of the proton or of the \(W^-_{\mathrm{off-shell}}\) boson given by \(p=\sqrt{Q_+Q_-}/2M_n\).

The \(\cos \theta \)-dependent unpolarized decay distribution \(W(\theta )\) and the \((\theta ,\theta _P,\chi )\)-dependent three-fold polarized angular decay distributions \(W^P(\theta ,\theta _P,\chi )\) can be calculated from Eq. (14). One has

$$\begin{aligned} W(\theta )= & {} \frac{3}{8}(1+\cos ^2\theta )\left( |H_{\frac{1}{2}1}|^2 +|H_{-\frac{1}{2}-1}|^2\right) \nonumber \\&-\frac{3}{4}\cos \theta \left( |H_{\frac{1}{2}1}|^2 -|H_{-\frac{1}{2}-1}|^2\right) \nonumber \\&+\frac{3}{4}\sin ^2\theta \Big (|H_{\frac{1}{2}0}|^2 +|H_{-\frac{1}{2}0}|^2\Big ) \nonumber \\&+\frac{m_e^2}{2q^2} \bigg \{\frac{3}{2}\left( |H_{\frac{1}{2}t}|^2+|H_{-\frac{1}{2}t}|^2\right) \nonumber \\&-3\cos \theta \, \mathrm{Re}\left( H_{\frac{1}{2}t}H^*_{\frac{1}{2}0} + H_{-\frac{1}{2}t}H^*_{-\frac{1}{2}0}\right) \nonumber \\&+\frac{3}{2}\cos ^2\theta \left( |H_{\frac{1}{2}0}|^2 +|H_{-\frac{1}{2}0}|^2 \right) \nonumber \\&+\frac{3}{4}\sin ^2\theta \bigg (|H_{\frac{1}{2}1}|^2 +|H_{-\frac{1}{2}-1}|^2\bigg ) \bigg \} \end{aligned}$$
(20)

and

$$\begin{aligned}&W^P(\theta ,\theta _P,\chi )\nonumber \\&\quad = \bigg [-\frac{3}{8}(1+\cos ^2\theta )\bigg (|H_{\frac{1}{2}1}|^2-|H_{-\frac{1}{2}-1}|^2\bigg )\nonumber \\&\qquad +\frac{3}{4}\cos \theta \bigg (|H_{\frac{1}{2}\,1}|^2 +|H_{-\frac{1}{2}-1}|^2\bigg )\nonumber \\&\qquad +\frac{3}{4}\sin ^2\theta \Big (|H_{\frac{1}{2}0}|^2 -|H_{-\frac{1}{2}0}|^2\Big )\bigg ]\cos \theta _P \nonumber \\&\qquad -\frac{3}{2\sqrt{2}} \sin \theta \sin \theta _P \Big [\cos \chi \mathrm{Re}\left( H_{\frac{1}{2}1} H^*_{\frac{1}{2}0} + H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\right) \nonumber \\&\qquad +\sin \chi \mathrm{Im}\left( H_{\frac{1}{2}1} H^*_{\frac{1}{2}0} -H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\right) \Bigg ] \nonumber \\&\qquad +\frac{3}{4\sqrt{2}}\sin 2\theta \sin \theta _P \Big [\cos \chi \mathrm{Re}\left( H_{\frac{1}{2}1}H^*_{\frac{1}{2}0}-H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\right) \nonumber \\&\qquad +\sin \chi \mathrm{Im}\left( H_{\frac{1}{2}1}H^*_{\frac{1}{2}0} +H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\right) \Bigg ] \nonumber \\&\qquad +\frac{m_e^2}{2q^2} \bigg \{\frac{3}{2}\cos \theta _P\bigg (|H_{\frac{1}{2}t}|^2-|H_{-\frac{1}{2}t}|^2\bigg )\nonumber \\&\qquad -3\cos \theta \cos \theta _P \mathrm{Re}\Big ( H_{\frac{1}{2}t}H^*_{\frac{1}{2}0} -H_{-\frac{1}{2}t}H^*_{-\frac{1}{2}0}\Big ) \nonumber \\&\qquad +\frac{3}{2}\cos ^2\theta \cos \theta _P \Big (|H_{\frac{1}{2}0}|^2-|H_{-\frac{1}{2}0}|^2\Big )\nonumber \\&\qquad -\frac{3}{4}\sin ^2\theta \cos \theta _P\bigg (|H_{\frac{1}{2}1}|^2 -|H_{-\frac{1}{2}-1}|^2 \bigg ) \nonumber \\&\qquad +\frac{3}{\sqrt{2}} \sin \theta \sin \theta _P \Big [ \cos \chi \, \mathrm{Re}\Big (H_{\frac{1}{2}1}H^*_{\frac{1}{2}t} -H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}t}\Big ) \nonumber \\&\qquad +\sin \chi \, \mathrm{Im}\Big (H_{\frac{1}{2}1}H^*_{\frac{1}{2}t} +H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}t}\Big )\Big ] \nonumber \\&\qquad -\frac{3}{2\sqrt{2}}\sin 2 \theta \sin \theta _P \Big [\cos \chi \, \mathrm{Re}\Big (H_{\frac{1}{2}1}H^*_{\frac{1}{2}0}-H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\Big ) \nonumber \\&\qquad +\sin \chi \, \mathrm{Im}\Big (H_{\frac{1}{2}1}H^*_{\frac{1}{2}0} +H_{-\frac{1}{2}-1}H^*_{-\frac{1}{2}0}\Big )\Big ] \bigg \}, \end{aligned}$$
(21)

where one has to remember to take the extra minus sign into account for the spin 0–spin 1 interference contributions in Eq. (21) according to the factor \((-1)^{J+J'}\). This factor arises from having used the Minkowski metric in the contraction of the lepton and hadron tensors (see e.g. Ref. [3]).

Let us briefly pause to discuss some kinematical aspects of the problem. The angle \(\theta \) can be determined by measuring the energy \(E_e\) of the electron in the neutron rest frame from the relation (see Sect. 7)

$$\begin{aligned} \cos \theta =\frac{1}{p(q^2-m_e^2)}\left( 2q^2E_e-q_0(q^2+m_e^2)\right) . \end{aligned}$$
(22)

This would require the knowledge of \(q^2\), the value of which could be determined from a measurement of the energy or momentum of the recoiling proton. Barring hard photon emission from the neutron, proton or the \(W_{\mathrm{off-shell}}\), the relevant relations are \(E_p=(M_n^2+M_p^2-q^2)/2M_n\) and \(p=\sqrt{Q_+Q_-}/2M_n\). If the energy and/or the momentum of the proton cannot be measured, one can determine \(q^2\) by inverting the relation \(\cos \theta _{pe}=\cos \theta _{pe}(E_e,q^2)\) between the cosine of the opening angle of the proton and the electron in the n frame and the kinematic variables \(E_e\) and \(q^2\) given by

$$\begin{aligned} \cos \theta _{pe}=M_n\frac{2E_pE_e-M_n(E_p+E_e)+M_p^2+m_e^2}{\sqrt{Q_+Q_-} \,|{\vec {p}}_e|}. \end{aligned}$$
(23)

In this case one would have to take care to properly treat the two solutions of the quadratic equation in \(q^2\) that would result from inverting Eq. (23).

Returning to Eq. (21), one notes that the angular factors multiplying the imaginary parts of the helicity bilinears in Eq. (21) can be identified as T-odd triple momentum factors by writing

$$\begin{aligned} \sin \chi \sin \theta \sin \theta _P= & {} -{\hat{p}}_e \cdot ({\hat{s}}_n \times {\hat{p}}_p) \nonumber \\ \sin \chi \sin 2\theta \sin \theta _P= & {} -2\,\,{\hat{p}}_e \cdot ({\hat{s}}_n \times {\hat{p}}_p)\,{\hat{s}}_n \cdot {\hat{p}}_p \end{aligned}$$
(24)

where \({\hat{s}}_n\) is a unit vector in the direction of the polarization of the neutron and where the various unit three-vectors can be read-off from Fig. 1. In explicit form they read \({\hat{p}}_p=(0,0,1)\), \({\hat{s}}_n=(\sin \theta _P,0,\cos \theta _P)\) and \({\hat{p}}_e=-(\sin \theta \cos \chi ,\sin \theta \sin \chi ,\cos \theta )\). It is not difficult to see that the triple momentum product \({\hat{p}}_e \cdot ({\hat{s}}_n \times {\hat{p}}_p)\) can be rewritten in the form \( {\hat{p}}_e' \cdot ({\hat{s}}_n \times {\hat{p}}_{{\hat{\nu }}}' )\) where the primed three-vectors refer to the corresponding three-vectors in the n frame and where one has used three-momentum conservation in the n frame \({\hat{p}}_p+{\hat{p}}_e'+{\hat{p}}_{{\hat{\nu }}}'=0\). The coefficient multiplying the triple product \( {\hat{p}}_e' \cdot ({\hat{s}}_n \times {\hat{p}}_{{\hat{\nu }}}' )\) is referred to as the D term in the conventional three-body-decay approach. The associated T-odd observables can be fed by true CP-violating contributions or by CP-conserving electromagnetic rescattering corrections. In the Standard Model the CP-violating contributions in the \(d\rightarrow u\) sector are of \({{\mathcal {O}}}(10^{-12})\) and are thus negligibly small [45]. The radiative rescattering corrections are also quite small. In the following we therefore assume that the form factors \(F_i^{V/A}\) are relatively real and shall not further discuss the T-odd observables.

It is convenient and by now common practise to rewrite the angular decay distribution (18) in terms of the three Legendre polynomials \(P_0(\cos \theta )=1\), \(P_1(\cos \theta )=\cos \theta \) and \(P_2(\cos \theta )=(3\cos ^2\theta -1)/2\). One obtains

$$\begin{aligned}&\frac{ d\Gamma _{\mathrm{tot}}}{dq^2 d\cos \theta d\cos \theta _P d\chi } \nonumber \\&\quad =\frac{1}{8\pi }\Gamma _0 \frac{(q^2-m_e^2)^2p}{M_n^7q^2} \bigg \{{{\mathcal {H}}}_{\mathrm{tot}}(q^2) + {{\mathcal {H}}}_1(q^2) P_1(\cos \theta ) \nonumber \\&\qquad + {{\mathcal {H}}}_2(q^2) P_2(\cos \theta ) + P_n \, \cos \theta _P \Big ( {{\mathcal {H}}}_3(q^2) \nonumber \\&\qquad + \mathcal{H}_4(q^2) P_1(\cos \theta ) + {{\mathcal {H}}}_5(q^2) P_2(\cos \theta ) \Big ) \nonumber \\&\qquad + P_n \, \cos \chi \sin \theta _P \Big ( \sin \theta \, \mathcal{H}_6(q^2) + \sin 2\theta \, {{\mathcal {H}}}_7(q^2) \Big ) \, \bigg \},\nonumber \\ \end{aligned}$$
(25)

where

$$\begin{aligned} {{\mathcal {H}}}_{\mathrm{tot}}={{\mathcal {H}}}_U+{{\mathcal {H}}}_L +\delta _e (3{{\mathcal {H}}}_S +{{\mathcal {H}}}_U+{{\mathcal {H}}}_L). \end{aligned}$$
(26)

The parity properties of the angular factors in Eq. (25) are determined by the parity transformations \(\theta \rightarrow (\pi - \theta )\), \(\theta _P \rightarrow (\pi - \theta _P)\) and \(\chi \rightarrow \chi + \pi \). The coefficients \({{\mathcal {H}}}_i(q^2)\) multiplying the angular factors are linear superpositions of the helicity structure functions defined in Table 1. For the unpolarized case one has

$$\begin{aligned} {{\mathcal {H}}}_1(q^2)= & {} - \frac{3}{2} \Big ({{\mathcal {H}}}_F + 4\, \delta _e {{\mathcal {H}}}_{SL_+}\Big ), \quad \text{(p.v.) } \nonumber \\ \mathcal{H}_2(q^2)= & {} \frac{1}{2} \left( 1 - 2\,\delta _e \right) \Big ( \mathcal{H}_U - 2 {{\mathcal {H}}}_L \Big ), \quad \text{(p.c.) } \end{aligned}$$
(27)

and for the polarized case

$$\begin{aligned} {{\mathcal {H}}}_3(q^2)= & {} -\left( 1 + \,\delta _e\right) \left( {{\mathcal {H}}}_F - {{\mathcal {H}}}_{L_-} \right) + 3 \,\delta _e {{\mathcal {H}}}_{S_-}, \quad \text{(p.v.) } \nonumber \\ {{\mathcal {H}}}_4(q^2)= & {} \frac{3}{2} \left( {{\mathcal {H}}}_U - 4\,\delta _e {{\mathcal {H}}}_{SL_-} \right) , \quad \text{(p.c.) } \nonumber \\ {{\mathcal {H}}}_5(q^2)= & {} -\frac{1}{2} \left( 1 - 2\,\delta _e \right) \left( {{\mathcal {H}}}_F + 2 {{\mathcal {H}}}_{L_-} \right) , \quad \text{(p.v.) } \nonumber \\ {{\mathcal {H}}}_6 (q^2)= & {} - \frac{3}{\sqrt{2}} \left( {{\mathcal {H}}}_{LT_+} - 2\,\delta _e {{\mathcal {H}}}_{ST_-} \right) , \quad \text{(p.c.) }\nonumber \\ {{\mathcal {H}}}_7(q^2)= & {} \frac{3}{2 \sqrt{2}} \left( 1 - 2\,\delta _e \right) {{\mathcal {H}}}_{LT_-}. \quad \text{(p.v.) } \end{aligned}$$
(28)

The parity properties of the helicity structure functions indicated in round brackets follow from the parity properties of the bilinear forms listed in Table 1.

Integrating the distribution (25) over the three angles \(\theta \), \(\theta _P\), and \(\chi \) one obtains the total differential rate given by

$$\begin{aligned} \frac{d\Gamma _{\mathrm{tot}}}{dq^2} =\frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2}\,{{\mathcal {H}}}_{\mathrm{tot}}(q^2). \end{aligned}$$
(29)

In analogy to Eq. (29) we define partial differential rates according to

$$\begin{aligned} \frac{d\Gamma _i}{dq^2}=\frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2}\, {{\mathcal {H}}}_i(q^2). \end{aligned}$$
(30)

This leads to our final form of the angular decay distribution where we factor out the total differential rate from the curly bracket in Eq. (25). One has

$$\begin{aligned}&\frac{d\Gamma _{\mathrm{tot}}}{dq^2 d\cos \theta d\cos \theta _P d\chi } \nonumber \\&\quad =\frac{1}{8\pi }\frac{d\Gamma _{\mathrm{tot}}}{dq^2} \bigg \{1 + {{\mathcal {O}}}_1(q^2) P_1(\cos \theta ) + {{\mathcal {O}}}_2(q^2) P_2(\cos \theta ) \nonumber \\&\qquad + P_n \, \cos \theta _P \Big ( {{\mathcal {O}}}_3(q^2)+ {{\mathcal {O}}}_4(q^2) P_1(\cos \theta ) \nonumber \\&\qquad + {{\mathcal {O}}}_5(q^2) P_2(\cos \theta ) \Big ) \nonumber \\&\qquad + P_n \, \cos \chi \sin \theta _P \Big ( \sin \theta \, {{\mathcal {O}}}_6(q^2) + \sin 2\theta \, {{\mathcal {O}}}_7(q^2) \Big ) \, \bigg \},\nonumber \\ \end{aligned}$$
(31)

where the normalized observables \({{\mathcal {O}}}_i(q^2)\) are given by

$$\begin{aligned} {{\mathcal {O}}}_i(q^2)=\frac{{{\mathcal {H}}}_i(q^2)}{{{\mathcal {H}}}_{\mathrm{tot}}(q^2)} = \frac{d\Gamma _i\big /\,dq^2}{d\Gamma _{\mathrm{tot}} \big /\,dq^2}. \end{aligned}$$
(32)

Next we discuss how to isolate the individual angular observables from the full decay distribution (25). There are three principal ways to do so. The most straightforward way is by a fit to the experimental angular decay distribution. A second possibility is to project out the observables by taking moments of the angular decay distribution w.r.t. appropriately chosen trigonometric functions as in Refs. [50, 51]. For example, the \(\cos \theta \) dependent terms can be projected out by folding with Legendre polynomials. We follow a third method where one divides the angular phase space into different sectors and takes piece-wise sums and differences of the different sectors. This definition naturally leads to the set of frequently discussed asymmetry parameters.

The first observable \({{\mathcal {O}}}_1(q^2)\) can be projected out by the standard forward–backward projection

$$\begin{aligned}&A_{\mathrm{FB}}(q^2) = \frac{1}{2} {{\mathcal {O}}}_1(q^2)\nonumber \\&\quad =\frac{1}{d\Gamma _{\mathrm{tot}}/dq^2}\cdot \,\left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta \int _{-1}^1 d\cos \theta _P\nonumber \\&\qquad \times \int _{0}^{2\pi }d\chi \frac{d\Gamma _{\mathrm{tot}}}{dq^2 d\cos \theta d\cos \theta _P d\chi }\nonumber \\&\quad = I_1(p.w.)\left[ \left( \int _{0}^{1}-\int _{-1}^{0}\right) d\cos \theta \right] , \end{aligned}$$
(33)

where in the second row we have introduced a symbolic notation for the piece-wise (p.w.) integration described in the first row. The symbolic notation implies that the angular variables that do not appear in the symbolic-integration symbol are integrated over their full range. Using the symbolic notation one can project out the remaining observables in the angular decay distribution (25). One has

$$\begin{aligned}&A_{\mathrm{conv}}(q^2) = \frac{3}{8} {{\mathcal {O}}}_2(q^2)\nonumber \\&\quad =I_2(p.w.)\bigg [ \left( \int _{1/2}^{1} - \int _{0}^{1/2} - \int _{-1/2}^{0} + \int _{-1}^{-1/2} \right) d\cos \theta \bigg ], \nonumber \\&A_{\mathrm{PFB}}(q^2)\ =\ P_n \cdot \frac{1}{2} {{\mathcal {O}}}_3(q^2)\nonumber \\&\quad =I_3(p.w.)\bigg [ \left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta _P \bigg ],\nonumber \\&A_{\mathrm{DFB}}(q^2)\ =\ P_n \cdot \frac{1}{4}{{\mathcal {O}}}_4(q^2) \nonumber \\&\quad =I_4(p.w.)\bigg [\left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta \bigg ] \nonumber \\&\qquad \times \bigg [\left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta _P \bigg ], \nonumber \\&A_{\mathrm{Pconv}}(q^2)\ =\ P_n \cdot \frac{3}{16}{{\mathcal {O}}}_5(q^2) \nonumber \\&\quad =I_5(p.w.)\bigg [ \left( \int _{1/2}^{1} - \int _{0}^{1/2} - \int _{-1/2}^{0} + \int _{-1}^{-1/2} \right) d\cos \theta \bigg ] \nonumber \\&\qquad \times \bigg [\left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta _P \bigg ], \nonumber \\&A_{\chi _1(q^2)}\ =\ P_n \cdot \frac{\pi }{8}{{\mathcal {O}}}_6(q^2)\nonumber \\&\quad =I_6(p.w.)\bigg [2\left( \int _{0}^{\pi /2} - \int _{\pi /2}^{\pi } \right) d\chi \bigg ], \nonumber \\&A_{\chi _2}(q^2)\ =\ P_n \cdot \frac{1}{3}{{\mathcal {O}}}_7(q^2) \nonumber \\&\quad =I_7(p.w.)\bigg [ \left( \int _{0}^{1} - \int _{-1}^{0} \right) d\cos \theta \bigg ]\nonumber \\&\qquad \times \bigg [2\left( \int _{0}^{\pi /2} - \int _{\pi /2}^{\pi } \right) d\chi \bigg ]. \end{aligned}$$
(34)

We denote the two asymmetries \(A_{\mathrm{con}}\) and \(A_{\mathrm{Pcon}}\) associated with the square of \(\cos \theta \) as the unpolarized and polarized convexity asymmetries because the respective angular decay distributions are described by a tilted upward or downward paraboloid depending on the sign of the corresponding coefficients \({{\mathcal {O}}}_2\) and \({{\mathcal {O}}}_5\). The convexity coefficients could also be isolated by taking the second derivative of the angular decay distribution w.r.t. \(\cos \theta \).

Corresponding to the total and partial differential rates (29) and (30) we define integrated total and partial rates according to

$$\begin{aligned} \Gamma _{\mathrm{tot}}= & {} \int _{m_e^2}^{(M_n^2-M_p^2) }dq^2 \frac{d\Gamma _{\mathrm{tot}}}{dq^2},\nonumber \\ \Gamma _i= & {} \int _{m_e^2}^{(M_n^2-M_p^2)}dq^2 \frac{d\Gamma _i}{dq^2}. \end{aligned}$$
(35)

This leads us to the definition of the average values of the observables \(\langle {{\mathcal {O}}}_i \rangle \) which are the focus of the analysis in our paper. One has

$$\begin{aligned} \langle {{\mathcal {O}}}_i \rangle = \frac{\Gamma _i}{\Gamma _{\mathrm{tot}}} = \frac{\int _{m_e^2}^{(M_n^2-M_p^2) }dq^2\,F(q^2){{\mathcal {H}}}_i(q^2) }{\int _{m_e^2}^{(M_n^2-M_p^2) }dq^2F(q^2){{\mathcal {H}}}_{\mathrm{tot}}(q^2)}, \end{aligned}$$
(36)

where \(F(q^2)\) is a \(q^2\)-dependent phase-space factor given by \(F(q^2)=(q^2-m_e^2)^2p/q^2\).

4 Unpolarized neutron decays

We begin our discussion with the total differential rate given by

$$\begin{aligned} \frac{d\Gamma _{\mathrm{tot}}}{dq^2}= & {} \frac{\Gamma _0(q^2-m_e^2)^2 p}{M_n^7q^2} \nonumber \\&\times \left[ {{\mathcal {H}}}_U + {{\mathcal {H}}}_L +\; \delta _e \; \Big \{ 3 {{\mathcal {H}}}_{S} + {{\mathcal {H}}}_U + {{\mathcal {H}}}_L \Big \}\right] . \end{aligned}$$
(37)

As mentioned before the squared momentum transfer can be determined from the energy or momentum of the decay proton in the neutron rest frame. Note that ultracold neutrons (UCN) are practically at rest when they decay. They have typical velocities of 5 ms\(^{-1}\) which corresponds to a kinetic energy of the neutron of \(E_e^\mathrm{kin}=E_e-m_n=1.31\times 10^{-4}\mathrm{MeV}\).

Fig. 2
figure 2

\(q^2\) dependence of the partial flip and non-flip rates and the total rate

In Eq. (37) we have separated the helicity nonflip and helicity flip contributions where the last three terms in Eq. (37) muliplied by the helicity flip factor \(\delta _e= m_e^2/(2q^2)\) represent the helicity flip contribution. In Fig. 2 we present a plot of the \(q^2\) dependence of the partial differential helicity nonflip rate \(d\Gamma _\mathrm{nf}/dq^2\) and helicity flip rate \(d\Gamma _{\mathrm{hf}}/dq^2\) as well as the sum of the two which is nothing but the total differential rate. The helicity flip contributions are negligibly small for \(\ell = e,\mu \) in semileptonic bottom hadron decays and quite small (\(\mathcal{O}(1\,\%)\)) for \(\ell =\mu \) in semileptonic charm hadron decays. Contrary to this, the helicity flip contribution can obviously not be neglected in neutron \(\beta \) decay. The helicity flip factor \(\delta _e=m_e^2/(2q^2)\) can become quite large close to threshold \(q^2=m_e^2\). Numerically one has \( 0.5\ge \delta _e \ge 0.07805\) and \(0.7071\ge \sqrt{\delta _e} \ge 0.2794 \). We have also listed the corresponding range of \(\sqrt{\delta _e}\) which determines the flip suppression for the transverse polarization of the electron to be discussed later on. The total rate as well as the partial rates vanish at threshold \(q^2=m_e^2\) (maximal recoil) and at zero recoil \(q^2=(M_n-M_p)^2\) due to the overall kinematical factors \((q^2-m^2_e)^2\) and \(p \sim ((M_n-M_p)^2-q^2)^{1/2}\) in the rate expression (18). At zero recoil one has \(d\Gamma _\mathrm{hf}/d\Gamma _{\mathrm{nf}}=(1+(F_1^V/F_1^A)^2)\delta _e(\mathrm z.r.)\) where the zero-recoil value of \(\delta _e\) is \(\delta _e(\mathrm z.r.)=0.078\) (see above). The total differential rate can be seen to be almost symmetrically distributed w.r.t. to its peak position at around \(q^2=1\mathrm{MeV}^2\).

Fig. 3
figure 3

\(q^2\) dependence of the longitudinal polarisation \(P_e^\ell (q^2)\) for two different sets of form factors (solid and dashed lines). The straight lines represent the longitudinal polarisation integrated over \(q^2\in [m_\ell ^2,(M_n-M_p)^2]\)

The separation into helicity nonflip and flip contributions allows one to immediately conclude for the average longitudinal polarization of the electron in the q frame along the electron’s momentum direction when one has integrated over the three correlation angles \((\theta ,\,\theta _P,\,\chi )\). One has

$$\begin{aligned} P_e^\ell =\frac{d\Gamma _{\mathrm{hf}}-d\Gamma _{\mathrm{nf}}}{d\Gamma _\mathrm{hf}+d\Gamma _{\mathrm{nf}}}, \end{aligned}$$
(38)

since the helicity nonflip and flip rates correspond to the electron’s helicity values of \(\lambda _e=-1/2\) and \(\lambda _e=+1/2\), respectively. Close to threshold \(q^2=m_e^2\) where the differential rates are small, the flip contribution is larger than the nonflip contribution in a narrow range of \(q^2\) implying a small positive value of the longitudinal polarization of the electron, as can be seen in Fig. 3 where we plot the \(q^2\) dependence of the longitudinal polarization of the electron. Starting at around \(q^2=0.5\,\mathrm{MeV^2}\) the differential rate is dominated by the nonflip contribution such that the longitudinal polarization of the electron is negative in the remaining \(q^2\) range as again evidenced in Fig. 3. The longitudinal polarization at zero recoil is determined by the flip/nonflip ratio at zero recoil calculated above which results in \(P_e^\ell =-0.776\) at zero recoil in agreement with Fig. 3. The average value of the longitudinal polarization \(\langle P_e^\ell \rangle \approx 0.50\) is close to the value of the polarization \(P_e^\ell (q^2)\) at the peak position of the differential rate at around \(q^2\approx 1\,\mathrm{GeV}^2\). In Sect. 6 we shall also present results on the transverse polarization of the decay electron. In Fig. 4 we present a plot of the \(q^2\) dependence of the forward–backward asymmetry \(A_{\mathrm{FB}}(q^2)\) where, according to Eq. (33), \(A_{\mathrm{FB}}(q^2)\) is given by

$$\begin{aligned} A_{\mathrm{FB}}(q^2) = \frac{1}{2} \frac{{{\mathcal {H}}}_1(q^2)}{{{\mathcal {H}}}_\mathrm{tot}(q^2)}. \end{aligned}$$
(39)

The forward–backward asymmetry starts with a rather large negative value \(A_{\mathrm{FB}}(m_e^2)=-0.46\) at threshold and goes to zero at zero recoil. The vanishing of the forward–backward asymmetry at zero recoil can be understood from the fact that \({{\mathcal {H}}}_1\) is proportional to \(( {{\mathcal {H}}}_F + 4\delta _e{{\mathcal {H}}}_{SL_+})\). Both of these components vanish in the zero-recoil limit [see Eq. (13)].

Fig. 4
figure 4

Forward–backward asymmetry \(A_{\mathrm{FB}}(q^2)\) as a function of \(q^2\) for two different sets of form factors (solid and dashed lines). The straight lines represent the average value forward–backward asymmetry integrated over \(q^2\in [m_\ell ^2,(M_n-M_p)^2]\)

If there is enough data and if the energy of the recoiling proton can be measured, it would certainly be interesting to take a detailed look at the \(q^2\) dependence of the rate and the various polarization observables. In a more inclusive analysis one can also consider \(q^2\)-integrated quantities such as the total rate and the \(q^2\) averages of the various polarization observables. It turns out that the \(q^2\) integration of the rate and the polarization observables can be done analytically even including possible \(q^2\) dependencies of the form factors. However, the resulting analytical expressions become quite long and unwieldy. A much more transparent and discerning representation of the integrated quantities can be obtained by performing a recoil expansion of the analytical results in terms of powers of the small parameter

$$\begin{aligned} \delta =(M_n-M_p)/(M_n+M_p)= 0.689\cdot 10^{-3}. \end{aligned}$$
(40)

In the recoil expansion it is convenient to split off an overall factor of \(1/(1+\delta )^8\). We thus write

$$\begin{aligned} \Gamma _i=\frac{1}{(1+\delta )^8}\left( \Gamma _i^{(5)}\delta ^5 +\Gamma _i^{(6)}\delta ^6 +\cdots \right) \end{aligned}$$
(41)

and formally call \(\Gamma _i^{(5)}\), \(\Gamma _i^{(6)}\) or common constant fractions of them the LO, NLO contributions in the recoil expansion.

In order to exhibit form factor effects and the linear contributions of the form factor \(F^A_3\), the recoil expansion has to be done up to NNLO order, namely up to the order \({{\mathcal {O}}}(\delta ^7)\), where these contributions first appear. For the recoil expansion of the total rate one obtains

$$\begin{aligned} \Gamma= & {} \frac{512\Gamma _0}{5(1+\delta )^8} \times \Big [\Big \{\left( 3(F_1^A)^2+(F_1^V)^2\right) \,r(x)\Big \}\,\delta ^5 \nonumber \\&+\Big \{5F_1^VF_3^Vx^2\left( (2+13x^2)\sqrt{1-x^2}+3x^2(4+x^2) L_2\right) \nonumber \\&-F_1^AF_2^A\left( (8-26x^2+33x^4)\sqrt{1-x^2}+15x^6 L(x)\right) \Big \}\delta ^6 \nonumber \\&+\Big \{\frac{48}{7}(F_2^A)^2(1-x^2)^{7/2}\nonumber \\&+2(F_3^V)^2x^2\left( (2-9x^2-8x^4)\sqrt{1-x^2}-15x^4 L(x)\right) \nonumber \\&+F_1^AF_2^A\left( (8-26x^2+33x^4)\sqrt{1-x^2}+15x^6 L(x)\right) \nonumber \\&+\frac{1}{7}(3F_1^V+2F_2^V)F_2^V\left( (8-38x^2\right. \nonumber \\&\left. +87x^4+48x^6)\sqrt{1-x^2} +105x^6L(x)\right) \nonumber \\&-5F_1^VF_3^Vx^2\left( (2+13x^2)\sqrt{1-x^2}+3x^2(4+x^2)L(x)\right) \nonumber \\&-F_1^AF_3^Ax^2\left( (6+83x^2+16x^4)\sqrt{1-x^2}\right. \nonumber \\&\left. +15x^2(4+3x^2)L(x)\right) -\frac{1}{14}(F_1^A)^2\left( (30-69x^2+188x^4\right. \nonumber \\&\left. -44x^6)\sqrt{1-x^2} +105x^4L(x)\right) \nonumber \\&+\frac{3}{14}(F_1^V)^2 \left( (2-27x^2-92x^4+12x^6)\sqrt{1-x^2}\right. \nonumber \\&\left. -105x^4L(x)\right) \nonumber \\&+\frac{2}{21}(F_1^A)^2M_n^2\left( (20-32x^2+319x^4+8x^6)\sqrt{1-x^2}\right. \nonumber \\&\left. +105x^4(2+x^2)L(x)\right) \langle (r_1^A)^2\rangle \nonumber \\&+\frac{2}{21}(F_1^V)^2M_n^2\left( (4+16x^2+271x^4+24x^6)\sqrt{1-x^2}\right. \nonumber \\&\left. +105x^4(2+x^2)L(x)\right) \langle (r_1^V)^2\rangle \Big \}\,\delta ^7 +\cdots \Big ]. \end{aligned}$$
(42)

Since we assume the form factors to be relatively real, we use a simplified notation and write \((F_1^A)^2=|F_1^A|^2\), \(F_1^A\,F_2^A=\mathrm{Re}(F_1^AF_2^{A\dagger })\) etc. in Eq. (42) and elsewhere. The LO \({{\mathcal {O}}}(\delta ^5)\) contribution has the familiar form proportional to \(\left( 3(F_1^A)^2+(F_1^V)^2\right) r(x)\) where (\(r(0)=1\))

$$\begin{aligned} r(x)= & {} \frac{1}{2}\left( (2-9x^2-8x^4)\sqrt{1-x^2}\right. \nonumber \\&\left. -15x^4\ln \left( \frac{1-\sqrt{1-x^2}}{x}\right) \right) =0.4726, \end{aligned}$$
(43)

and where

$$\begin{aligned} x=m_e/(M_n-M_p)=0.395. \end{aligned}$$
(44)

It is quite remarkable that the electron mass dependence factors out in the LO term. If the second class form factor contributions are set to zero, the NLO contribution in the formal recoil expansion can be seen to vanish. This has been noted before in Refs. [10, 47]. The NLO contribution is again proportional to \(\left( 3(F_1^A)^2+(F_1^V)^2\right) r(x)\) in a formal sense if one expands \(1/(1+\delta )^8=1-8\delta +\cdots \).

As Eq. (42) shows, the factorization of the electron mass dependence is no longer true for the higher order terms in the recoil expansion. The higher order terms in Eq. (42) contain the logarithmic factor

$$\begin{aligned} L(x):=\ln \left( \frac{1-\sqrt{1-x^2}}{x}\right) =-1.580 \end{aligned}$$
(45)

which is always multiplied by powers of x such that the L(x) contribution vanishes in the zero electron mass limit.

In the literature the phase space factor needed for the total rate is usually obtained by first integrating over \(E_\nu \) to obtain the \(E_e\) spectrum followed by the integration over the \(E_e\) spectrum. One obtains the well-known simple expressions only if one introduces zero recoil approximations in the integrand from the very beginning. Without zero recoil approximations the integration over \((E_\nu ,E_e)\) phase space becomes quite complicated even in the unpolarized case (see Ref. [26] and Ref. [27, Sec. 15.1]) and is best done numerically. Compare this to our integration over the \((\cos \theta ,q^2)\) phase space which is quite straightforward because the phase-space integrations factorize. In addition, the first \(\cos \theta \) integration is trivial. The \((\cos \theta ,q^2)\) integration route allows one to obtain compact expressions for the coefficients of the recoil expansion, as Eq. (42) shows. We emphasize that we do the zero recoil expansion after having done the full integration whereas in the \((E_\nu ,E_e)\) phase space calculations the recoil expansion is frequently done prior to the last \(E_e\) integration [27] which may lead to inaccurate results.

The contribution of the large induced pseudoscalar form factor \(F_3^A\) sets in only at NNLO in the recoil expansion where it enters linearly. It is multiplied by the x-dependent factor

$$\begin{aligned}&x^2\left( (6+83x^2+16x^4)\sqrt{1-x^2}+15x^2(4+3x^2)L(x)\right) \nonumber \\&\quad =0.193. \end{aligned}$$
(46)

The accompanying relative recoil factor \(\delta ^2=0.475\cdot 10^{-6}\) reduces the linear \({{\mathcal {O}}}(\delta ^7)\) rate contribution of \(F_3^A\) to an insignificant level. As it turns out, the same observation is true for the contribution of \(F_3^A\) to all other partial rates.

In order to check on the sensitivity of the recoil expansion to the \(q^2\) dependence of the form factors we have made a linear Ansatz for the form factors in terms of the isovector radii, i.e. we write

$$\begin{aligned} F_i^X(q^2)=F_i^X(0)\left( 1+\langle (r_i^X)^2\rangle \frac{q^2}{6}\right) \end{aligned}$$
(47)

for \(i=1,2,3\); \(X=V,A\). Equation (42) shows that the form factor dependence of the form factors \(F_1^{V/A}(q^2)\) sets in only at NNLO while the form factor dependence of \(F_{2,3}^{V/A}(q^2)\) contributes only to higher orders in the recoil expansion. For the radii of the \(F_1^V(q^2)\) and \(F_1^A(q^2)\) form factors we take \(\langle (r_1^V)^2\rangle =0.66\,\mathrm{fm^2}=1.695\times 10^{-5} \mathrm{MeV^{-2}}\) and \(\langle (r_1^A)^2\rangle =0.45\,\mathrm{fm^2}=1.156\times 10^{-5} \mathrm{MeV^{-2}}\) [41, 48].

In order to be able to assess the importance of the \(q^2\) dependence of the form factors in the \({{\mathcal {O}}}(\delta ^7)\) terms we take a closer numerical look at the first LO term and the last four \(\mathcal{O}(\delta ^7)\) terms in Eq. (42). One has

$$\begin{aligned} \Gamma _\mathrm{tot}= & {} \frac{512\Gamma _0\,\delta ^5}{5(1+\delta )^8} \bigg [\Big \{\Big (3(F_1^A)^2+(F_1^V)^2\Big )0.47\Big \}\cdots \nonumber \\&-\Big \{\frac{1}{14}(F_1^A)^2 \Big (9.245-166.423\Big )\nonumber \\&+\frac{3}{14}(F_1^V)^2 \Big (12.782-22.623\Big )\Big \}\,\delta ^2\,+\cdots \bigg ], \end{aligned}$$
(48)

where the numbers 166.423 and 22.623 refer to the \(\langle (r_1^A)^2\rangle \) and \(\langle (r_1^V)^2\rangle \) contributions. Equation (48) shows that the \(q^2\)-dependent NNLO form factor contributions can become quite large compared to their \(q^2\)-independent NNLO counterparts. However, when multiplied by \(\delta ^2=0.475\cdot 10^{-6}\) the overall contribution of the \(q^2\)-dependent NNLO form factor contributions is insignificant. We have checked that this is true for all partial rates treated in this paper.

Returning to Eq. (42) one notes the remarkable result that the \({{\mathcal {O}}}(\delta ^6)\) term in the rate expansion vanishes altogether when the second class current contributions are set to zero, i.e. for \(F_3^V=F_2^A=0\). The second class currents can be expected to be at most of \({{\mathcal {O}}}(\delta ^1)\), and thus the initial NLO \({{\mathcal {O}}}(\delta ^6)\) contribution of the second class form factors would be shifted up to the order \({{\mathcal {O}}}(\delta ^7)\). In fact, in a \(SU(6)_W\) quark model calculation one finds \(F_3^V\approx (M_n-M_p)\) and \(F_2^A=0\) [49]. The absence of NLO contributions in the recoil expansion of the rate implies that the NLO corrections to the \(q^2\) average of an observable are entirely determined by the NLO correction to the partial rate associated with the observable.

This can be seen as follows. Consider the \(q^2\) average \(\langle {{\mathcal {O}}}_i\rangle \) of a given observable \({{\mathcal {O}}}_i\). In the recoil expansion one has

$$\begin{aligned} \langle {{\mathcal {O}}}_i\rangle= & {} \frac{(\Gamma _i^{(5)}\,\delta ^5 + \Gamma _i^{(6)}\,\delta ^6 + \cdots )}{(\Gamma _{\mathrm{tot}}^{(5)}\, \delta ^5 + \Gamma _{\mathrm{tot}}^{(7)}\,\delta ^7 + \cdots )}\nonumber \\= & {} \frac{\Gamma _i^{(5)}}{\Gamma _{\mathrm{tot}}^{(5)}}\,\,\bigg (1 +\Gamma _i^{(6)}/\Gamma _i^{(5)}\,\delta \nonumber \\&+\Big (\Gamma _i^{(7)}/\Gamma _i^{(5)} -\Gamma _{\mathrm{tot}}^{(7)}/\Gamma _\mathrm{tot}^{(5)}\Big )\,\delta ^2+\cdots \bigg ), \end{aligned}$$
(49)

which shows that the NLO correction to \(\langle {{\mathcal {O}}}_i\rangle \) is solely determined by the ratio \(\Gamma _i^{(6)}/\Gamma _i^{(5)}\) when the contributions of the second class currents are set to zero. In Sect. 7 we provide numerical results on the LO ratios \(\Gamma _i^{(5)}/\Gamma _{\mathrm{tot}}^{(5)}\) as well as the NLO corrections \(\Gamma _i^{(6)}/\Gamma _i^{(5)}\) for the various observables.

We now list the recoil expansion for the two unpolarized partial rates \(\Gamma _{\mathrm{FB}}\) and \(\Gamma _{\mathrm{conv}}\). One has

  • p.v. partial forward–backward rate \(\Gamma _{\mathrm{FB}}\) (\({{\mathcal {H}}}_{\mathrm{FB}}=\frac{1}{2}\,{{\mathcal {H}}}_1 = -\frac{3}{4}\,({{\mathcal {H}}}_F +4\delta _e {{\mathcal {H}}}_{SL_+}\))

    $$\begin{aligned} \Gamma _{\mathrm{FB}}= & {} \frac{1}{2} \,\,\Gamma _1 \ =\ \frac{64\Gamma _0}{(1+\delta )^8} \Big [3x^2((F_1^V)^2\nonumber \\&+(F_1^A)^2)\left( (1-x^2)(5+x^2)\right. \nonumber \\&\left. +4(1+2x^2)\ln x\right) \delta ^5+2\Big ((1-x^2)\nonumber \\&\times \left( (F_1^V+2F_2^V)F_1^A(1-5x^2-2x^4)\right. \nonumber \\&\left. -3(F_1^VF_3^V-F_1^AF_2^A)x^2(1+5x^2)\right) \nonumber \\&-12x^4\left( (F_1^V+2F_2^V)F_1^A+(F_1^VF_3^V\right. \nonumber \\&\left. -F_1^AF_2^A)(2+x^2)\right) \ln x \Big )\delta ^6+O(\delta ^7)\Big ]. \end{aligned}$$
    (50)

    The LO term in the recoil expansion can be seen to be entirely given by the longitudinal–scalar interference term \(\delta _e\mathcal{H}_{SL_+}\) with the characteristic overall factor \(x^2\sim m_e^2\). The parity-violating structure function \({{\mathcal {H}}}_F\) comes in only at NLO and is proportional to \((F_1^V+2F_2^V)F_1^A\) when \(F_3^V=F_2^A=0\).

  • p.c. partial convexity rate \(\Gamma _{\mathrm{conv}}\)    (\({{\mathcal {H}}}_{\mathrm{conv}}=\frac{3}{8}\,{{\mathcal {H}}}_2 =\frac{3}{16}(1-2\delta _e) ({{\mathcal {H}}}_U-2{{\mathcal {H}}}_L\))) For the integrated partial rate \(\Gamma _{\mathrm{conv}}\) associated with the \(\cos ^2\theta \) contribution one obtains the recoil expansion

    $$\begin{aligned} \Gamma _{\mathrm{conv}}= & {} \frac{3}{8} \Gamma _2 \ =\ -\frac{24\Gamma _0}{5(1+\delta )^8} \Bigg [7\left( (F_1^V)^2+(F_1^A)^2\right) \nonumber \\&\times \Bigg ((8+194x^2+113x^4)\sqrt{1-x^2} \nonumber \\&+15x^2(8+12x^2+x^4)\,L(x)\Bigg )\delta ^5\nonumber \\&-2\left( 3(F_1^V)^2+3(F_1^A)^2+8(F_2^V)^2+8(F_2^A)^2\right) \nonumber \\&\times \Bigg ((4-40x^2-247x^4-32x^6)\sqrt{1-x^2}\nonumber \\&-105x^4(2+x^2)\,L(x)\Bigg )\delta ^7+O(\delta ^8)\Bigg ]. \end{aligned}$$
    (51)

    One notes that their are no NLO contributions to the p.c. partial rate \(\Gamma _{\mathrm{conv}}\) when \(F_3^V=F_2^A=0\).

5 Polarized neutron decays

With the availability of polarized neutron sources the number of possible correlation measurements in neutron \(\beta \) decays is increased from two to seven as Eq. (25) shows. The neutron spin correlation measurements are proportional to the magnitude of the polarization of the neutron \(P_n\), the value of which needs to be known to a high accuracy. Fortunately, one can presently avail of neutron beams with a very high degree of polarization close to 100\(\%\) [52,53,54].

We now list the partial rates needed for the numerators of the five polarized observable \(\langle {{\mathcal {O}}}_3\rangle \) to \(\langle \mathcal{O}_7\rangle \) where we include the respective projection factors from Eq. (34). The recoil expansion is carried out up to NLO. One obtains

  • p.v. polarized forward–backward asymmetry \(\Gamma _{\mathrm{PFB}}\) (\({{\mathcal {H}}}_{\mathrm{PFB}}(q^2)=\frac{1}{2} {{\mathcal {H}}}_3(q^2)=-\frac{1}{2}(1+\delta _e) ({{\mathcal {H}}}_F-{{\mathcal {H}}}_{L_-})+\frac{3}{2} \delta _e \mathcal{H}_{S_-}\))

    $$\begin{aligned} \Gamma _{\mathrm{PFB}}= & {} \frac{128\Gamma _0}{3(1+\delta )^8} \Big [3F_1^VF_1^A\left( (1-x^2)(1-5x^2-2x^4)\right. \nonumber \\&\left. -12x^4\ln x\right) \delta ^5 -\Big ((1-x^2)\left( (2-7x^2+11x^4)\right. \nonumber \\&\times \left. \left( (F_1^V+2F_2^V)F_1^A+F_1^VF_2^A\right) \right. \nonumber \\&\left. -9x^2(1+5x^2)F_3^VF_1^A\right) \nonumber \\&+12x^4\left( x^2\left( (F_1^V+2F_2^V)F_1^A+F_1^VF_2^A\right) \right. \nonumber \\&-\left. 3(2+x^2)F_1^AF_3^V\right) \ln x\Big )\delta ^6+O(\delta ^7)\Big ]. \end{aligned}$$
    (52)

    For \(F_3^V=F_2^A=0\) the axial form factor \(F_1^A\) factors out and one arrives at the simple form

    $$\begin{aligned} \Gamma _{\mathrm{PFB}}= & {} \frac{128\Gamma _0}{15(1+\delta )^8}\,F_1^A \Big [3F_1^V\left( (1-x^2)(1-5x^2-2x^4)\right. \nonumber \\&\left. -12x^4\ln x\right) \delta ^5 +(F_1^V+2F_2^V) \nonumber \\&\times \Big (2-9x^2 +18x^4+x^6\Big )\delta ^6 +O(\delta ^7)\Big ] \end{aligned}$$
    (53)

    The LO contribution agrees with the corresponding result of Ref. [55].

  • p.c. double forward–backward asymmetry (\({{\mathcal {H}}}_{\mathrm{DFB}}(q^2)=\frac{1}{4} {{\mathcal {H}}}_4(q^2)=\frac{3}{8} (\mathcal{H}_U - 4\delta _e {{\mathcal {H}}}_{SL_-})\))

    $$\begin{aligned} \Gamma _{\mathrm{DFB}}= & {} \frac{32\Gamma _0}{5(1+\delta )^8}\Bigg [F_1^A \Bigg (\left( 5x^2(46+29x^2)F_1^V\right. \nonumber \\&\left. -4(2-9x^2-8x^4)F_1^A\right) \sqrt{1-x^2} \nonumber \\&+15x^2\left( (8\!+\!16x^2\!+\!x^4)F_1^V\!+\!4x^2F_1^A\right) \,L(x) \Bigg )\delta ^5\nonumber \\&+4\Bigg (\left( 5x^2(2+13x^2)(F_1^VF_2^A-F_3^VF_1^A)\right. \nonumber \\&\left. +4(2-9x^2-8x^4)F_1^AF_2^A\right) \sqrt{1-x^2}\nonumber \\&+15x^4\left( (4+x^2)(F_1^VF_2^A-F_3^VF_1^A)\right. \nonumber \\&\left. -4F_1^AF_2^A\right) L(x)\Bigg )\delta ^6 +O(\delta ^7)\Bigg ]\,. \end{aligned}$$
    (54)

    The NLO contribution can be seen to vanish for \(F_3^V=F_2^A=0\).

  • p.v. polarized convexity parameter (\({{\mathcal {H}}}_{\mathrm{Pconv}}(q^2)\,{=}\,\frac{3}{16} {{\mathcal {H}}}_5(q^2) \,{=}\,-\frac{3}{32}(1-2\delta _e)({{\mathcal {H}}}_F+2{{\mathcal {H}}}_{L_-})\))

    $$\begin{aligned} \Gamma _{\mathrm{Pconv}}= & {} \frac{-16\Gamma _0}{(1+\delta )^8}\Big [3F_1^VF_1^A \left( (1-x^2)(1+10x^2+x^4)\right. \nonumber \\&\left. +12x^2(1+x^2)\ln x\right) \delta ^5 \nonumber \\&+\left( (F_1^V+2F_2^V)F_1^A-2F_1^VF_2^A\right) \nonumber \\&\times \Big ((1-x^2)(1-8x^2-17x^4)\nonumber \\&-12x^4(3+x^2)\ln x\Big )\delta ^6+O(\delta ^7)\Big ]\,, \end{aligned}$$
    (55)
  • p.c. azimuthal asymmetry 1 (\({{\mathcal {H}}}_{\chi _1}(q^2)=\frac{\pi }{8} {{\mathcal {H}}}_6(q^2) =-\frac{3\pi }{8\sqrt{2}}({{\mathcal {H}}}_{LT_+}-2\delta _e{{\mathcal {H}}}_{ST_-})\))

    $$\begin{aligned} \Gamma _{\chi _1}= & {} \frac{-4\pi \Gamma _0}{(1+\delta )^8}\bigg [2F_1^A \Big (x\sqrt{1-x^2}\left( 4x^2(13+2x^2)F_1^V\right. \nonumber \\&\left. -3(1+14x^2)F_1^A\right) \nonumber \\&-3\left( 4x^2(1+4x^2)F_1^V+(1-8x^2\right. \nonumber \\&\left. -8x^4)F_1^A\right) \arccos (x)\Big )\delta ^5 \nonumber \\&-\bigg (x\sqrt{1-x^2}\Big ((3+94x^2\!+\!8x^4)F_1^V(F_1^V\!+\!2F_2^V)\nonumber \\&-10x^2(11+10x^2)(F_1^V+2F_2^V)F_1^A\nonumber \\&-2(9+74x^2-8x^4)F_1^AF_2^A\nonumber \\&+16x^2(13+2x^2)F_1^VF_2^A\nonumber \\&+12x^2(1+14x^2)F_3^VF_1^A \Big )\nonumber \\&+3\Big ((1-12x^2-24x^4)F_1^V(F_1^V+2F_2^V)\nonumber \\&+2x^2(3+24x^2+8x^4)(F_1^V+2F_2^V)F_1^A\nonumber \\&-2(3-20x^2-8x^4)F_1^AF_2^A\nonumber \\&-16x^2(1+4x^2)F_1^VF_2^A+4x^2(1-8x^2-8x^4) \nonumber \\&\times F_3^VF_1^A\Big )\arccos (x)\bigg )\delta ^6+O(\delta ^7)\bigg ], \end{aligned}$$
    (56)
  • p.v. azimuthal asymmetry 2 (\({{\mathcal {H}}}_{\chi _2}(q^2)=\frac{1}{3} {{\mathcal {H}}}_7(q^2) =\frac{1}{2\sqrt{2}}(1-2\delta _e){{\mathcal {H}}}_{LT_-}\))

    $$\begin{aligned} \Gamma _{\chi _2}= & {} \frac{512\Gamma _0}{15(1+\delta )^8} (1-x)^5(1+5x)\Big [F_1^VF_1^A\delta ^5\nonumber \\&+\left( (F_1^V+2F_2^V)F_1^A-2F_1^VF_2^A\right) \delta ^6+O(\delta ^7)\Big ].\nonumber \\ \end{aligned}$$
    (57)

6 Polarization of the decay electron

In Sect. 4 we have already discussed some aspects of the longitudinal polarization of the decay electron. In this section we provide explicit LO and NLO expressions needed for the calculation of the average of the longitudinal polarization \(\langle P_e^\ell \rangle \). We also extend the discussion to the transverse component of the decay electron. In all generality the two polarization components depend on the correlation angles \((\theta ,\theta _P,\chi )\). In this work we consider only averages of the two polarization components where the averaging is done w.r.t. the three correlation angles \((\theta ,\theta _P,\chi )\). This implies that we do not consider the correlation of the electron polarization with the neutron polarization as has been done e.g. in Ref. [29].

Using a slightly modified version of the master formula (14) one can calculate the differential \(q^2\) distributions of the numerators of the relevant polarization expressions. One has

$$\begin{aligned}&\frac{d\Gamma (P_e^\ell )}{dq^2} = \frac{d\Gamma _\mathrm{hf}}{dq^2}-\frac{d\Gamma _{\mathrm{nf}}}{dq^2} \nonumber \\&\quad = \frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2}\bigg (\delta _e \Big (3\mathcal{H}_S+{{\mathcal {H}}}_U+{{\mathcal {H}}}_L\Big )\nonumber \\&\qquad -\Big ({{\mathcal {H}}}_U+{{\mathcal {H}}}_L\Big )\bigg ),\quad \text{(p.c.) } \end{aligned}$$
(58)
$$\begin{aligned}&\frac{d\Gamma (P_e^t)}{dq^2} = 2\frac{d\Gamma (\lambda _e=\tfrac{1}{2},\lambda '_e=-\tfrac{1}{2})}{dq^2}\nonumber \\&\quad = -\frac{3\pi }{4}\frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2} \sqrt{\frac{\delta _e}{2}} \Big ({{\mathcal {H}}}_F -2{{\mathcal {H}}}_{SL_+}\Big ). \quad \text{(p.v.) }\nonumber \\ \end{aligned}$$
(59)

The transverse polarization is proportional to the interference of the nonflip and flip helicity amplitudes and is thus proportional to the square root \(\sqrt{\delta _e}\) of the helicity flip penalty factor. One needs to know the sign of the interference contribution which is given by

$$\begin{aligned} h_{\lambda _e=1/2\,\lambda _{\nu }=1/2} / \,h_{\lambda _e = -1/2\,\,\lambda _{\nu }=1/2} = \sqrt{m_e^2/2q^2} = \sqrt{\delta _e}. \end{aligned}$$
(60)
Fig. 5
figure 5

Transverse polarisation of the electron as a function of \(q^2\) for two different sets of form factors (solid and dashed lines). The straight lines represent the longitudinal polarisation integrated over \(q^2\in [m_\ell ^2,(M_n-M_p)^2]\)

The corresponding expressions for the two components of the polarization are given by

$$\begin{aligned} P_e^\ell = \frac{d\Gamma (P_e^\ell )}{dq^2}\Big / \frac{d\Gamma _\mathrm{tot}}{dq^2}, \quad P_e^t = \frac{d\Gamma (P_e^t)}{dq^2}\Big / \frac{d\Gamma _{\mathrm{tot}}}{dq^2}. \end{aligned}$$
(61)

As expected, the electron can be seen to be \(100\,\%\) longitudinally polarized \(P_e^\ell =-1\) in the limit of a vanishing electron mass, i.e. when setting \(\delta _e=0\) in Eq. (58). In the same limit the transverse component vanishes as can again be seen by setting \(\sqrt{\delta _e}=0\) in Eq. (59). In Fig. 5 we show a plot of the transverse polarization of the electron. The transverse polarization starts with a rather large positive value at threshold and then drops to zero at zero recoil. The vanishing at zero-recoil results from the fact that both \(\mathcal{H}_F\) and \({{\mathcal {H}}}_{SL_+}\) vanish at zero recoil [see Eq. (13)]. As in the case of the longitudinal polarization of the electron, the average value \(\langle P_e^t\rangle \approx 0.45\) of the transverse polarization is close to the value of \(P_e^t(q^2)\) at the peak position of the differential total rate.

Next we integrate the numerators of the two polarization components in Eq. (61) over \(q^2\) and expand the resulting expressions up to NLO in the recoil parameter \(\delta \). One has

$$\begin{aligned}&\Gamma (P_e^\ell )=-\frac{256\Gamma _0}{15(1+\delta )^8} \Bigg \{\Bigg [\left( (F_1^V)^2r(x)+(F_1^A)^2 r(x)\right) \Bigg ]\delta ^5\nonumber \\&\quad -6\Bigg [\left( 5x^2(2+13x^2)F_1^VF_3^V\right. \nonumber \\&\quad \left. +(8-46x^2-97x^4)F_1^AF_2^A\right) \sqrt{1-x^2}\nonumber \\&\quad +15x^4\left( (4+x^2)F_1^VF_3^V-(8+x^2)F_1^AF_2^A\right) L(x) \Bigg ]\delta ^6\nonumber \\&\quad +O(\delta ^7)\Bigg \}, \end{aligned}$$
(62)
$$\begin{aligned}&\Gamma (P_e^t)=\frac{256\pi \Gamma _0}{(1+\delta )^8}x(1-x)^4 \Bigg \{\left[ (F_1^V)^2+(F_1^A)^2\right] \delta ^5\nonumber \\&\quad +\frac{2}{5}(1+4x)\left[ F_1^VF_3^V-F_1^AF_2^A+(F_1^V+2F_2^V)F_1^A\right] \delta ^6\nonumber \\&\quad +O(\delta ^7)\Bigg \}. \end{aligned}$$
(63)

It is important to realize that we define the two components of the polarization of the electron in the q frame and not in the n frame. The authors of Ref. [5] have shown how to convert the two polarization components from one frame to the other.

For completeness we present the numerator expression for the normal polarization of the electron which is given by

$$\begin{aligned} \frac{d\Gamma (P_e^n)}{dq^2} = -\frac{3\pi }{2} \frac{\Gamma _0(q^2-m_e^2)^2p}{M_n^7q^2} \sqrt{\frac{\delta _e}{2}}{{\mathcal {H}}}_{ISL_+}. \end{aligned}$$
(64)

The normal polarization \(P_e^n\) is a T-odd observable and is thus contributed to by the imaginary part of the bilinear helicity forms as shown in Eq. (64). The corresponding triple momentum product can be seen to be \(({\hat{p}}_e \times {\hat{p}}_p)\cdot {\hat{s}}_e\).

7 Electron energy distributions

One can turn the differential \(\cos \theta \) distributions used in the cascade approach into differential \(E_e\) distributions in the direct decay approach employing the relations

$$\begin{aligned} \cos \theta= & {} \frac{2q^2 E_e-q_0(q^2+m_e^2)}{p(q^2-m_e^2)}\,, \qquad \nonumber \\ d\cos \theta= & {} dE_e\,\frac{2q^2}{p(q^2-m_e^2)} \end{aligned}$$
(65)

(\(q_0=(M_n^2-M_p^2+q^2)/2M_n\)), where \(E_e\) is the energy of the electron in the n frame (\(m_e \le E_e \le (M_n^2-M_p^2+m_e^2)/2M_n\)). The first relation of Eq. (65) can be obtained by evaluating the scalar product \(p_n\cdot p_e\) both in the q frame and in the n frame. The relevant four-vectors in the two frames read

$$\begin{aligned}&n\,\mathrm{frame:} \quad p_n=(M_n;0,0,0)\nonumber \\&p_e=(E_e;p_{e\,x},0,p_{e\,z}) \nonumber \\&q\,\mathrm{frame:}\quad p_n=M_n/\sqrt{q^2}\,(q_0;0,0,p)\nonumber \\&p_e= ({\tilde{E}}_e; | \tilde{\vec {p}}_e|\sin \theta , - |\,\tilde{\vec {p}}_e|\cos \theta ) \end{aligned}$$
(66)

where \({\tilde{E}}_e=(q^2+m_e^2)/2\sqrt{q^2}\) and \(|\,\tilde{\vec {p}}_e|=(q^2-m_e^2)/2\sqrt{q^2}\) are the energy and magnitude of the three-momentum of the electron in the q frame. One then arrives at Eq. (65).

Next we consider the azimuthally integrated form of Eq. (25) and effect the change of variables given in Eq. (22). For the \((q^2,E_e)\) distribution one obtains

$$\begin{aligned}&\frac{d\Gamma }{dq^2dE_ed\cos \theta _P}\nonumber \\&\quad =\frac{\Gamma _0}{M_n^7} \Big (A_0(q^2,m_e)+A_1(q^2,m_e)E_e+A_2(q^2)E_e^2\nonumber \\&\qquad +P_n\cos \theta _P\left( A_0^P(q^2,m_e)\right. \nonumber \\&\qquad \left. +A_1^P(q^2,m_e)E_e+A_2^P(q^2)E_e^2 \right) \Big ). \end{aligned}$$
(67)

Quite remarkably, the coefficients of the quadratic energy dependence \(A_2(q^2)\) and \(A_2^P(q^2)\) depend only on \(q^2\) and not on the mass \(m_e\) of the lepton [18]. For these two coefficients one finds

$$\begin{aligned} A_2(q^2)= & {} \,\frac{3q^2}{2p^2}({{\mathcal {H}}}_U-2\mathcal{H}_L), \nonumber \\ A_2^P(q^2)= & {} -\,\frac{3q^2}{2p^2}({{\mathcal {H}}}_F+2\mathcal{H}_{L_-}). \end{aligned}$$
(68)

An explicit calculation shows that \(({{\mathcal {H}}}_F+2{{\mathcal {H}}}_{L_-})\sim p^2\) which will compensate the \(p^2\) factor in the denominator of the polarized term \(A_2^P(q^2)\) in Eq. (68). The unpolarized term \(A_2(q^2)\) proportional to \(({{\mathcal {H}}}_U-2{{\mathcal {H}}}_L)\sim p^3\) even vanishes at the zero recoil point \(q^2=(M_n-M_p)^2\) and \(E_e=((M_n-M_p)^2+m_e^2)/(2(M_n-M_p))\).

The remaining coefficients in (67) are given by

$$\begin{aligned}&A_0(q^2,m_e)=\frac{3}{8q^2p^2}\Big (q^2(q^2+m_e^2) \nonumber \\&\quad \times (2p^2+q^2+m_e^2)\left( {{\mathcal {H}}}_U-2{{\mathcal {H}}}_L\right) \nonumber \\&\quad +2p^2(q^2-m_e^2)\left( (2q^2+m_e^2){{\mathcal {H}}}_L+m_e^2{{\mathcal {H}}}_S\right) \nonumber \\&\quad +2q_0p(q^2+m_e^2)\left( q^2{{\mathcal {H}}}_F+2m_e^2\mathcal{H}_{SL+}\right) \Big )\,,\nonumber \\&A_1(q^2,m_e)=\frac{-3}{2p^2}\Big (q_0(q^2+m_e^2) \left( \mathcal{H}_U-2{{\mathcal {H}}}_L\right) \nonumber \\&\quad +p\left( q^2{{\mathcal {H}}}_F+2m_e^2\mathcal{H}_{SL+}\right) \Big )\,,\nonumber \\&A_0^P(q^2,m_e)=\frac{-3}{8q^2p^2}\Big (q^2(q^2+m_e^2)\nonumber \\&\quad \times (2p^2+q^2+m_e^2)\left( {{\mathcal {H}}}_F+2{{\mathcal {H}}}_{L-}\right) \nonumber \\&\quad -2p^2(q^2-m_e^2)\left( (2q^2+m_e^2){{\mathcal {H}}}_{L-}+m_e^2\mathcal{H}_{S-}\right) \nonumber \\&\quad +2q_0p(q^2+m_e^2)\left( q^2{{\mathcal {H}}}_U-2m_e^2\mathcal{H}_{SL-}\right) \Big )\,,\nonumber \\&A_1^P(q^2,m_e)=\frac{3}{2p^2}\Big (q_0(q^2+m_e^2) \left( \mathcal{H}_F+2{{\mathcal {H}}}_{L-}\right) \nonumber \\&\quad +p\left( q^2{{\mathcal {H}}}_U-2m_e^2\mathcal{H}_{SL-}\right) \Big ). \end{aligned}$$
(69)

The two-fold distribution (67) can be further integrated over \(q^2\) or \(E_e\) where the respective limits of integration can be derived from Eq. (22) by setting \(\cos \theta =\pm 1\). They read

$$\begin{aligned} E_e^\pm = \frac{1}{2q^2}\Big (q_0(q^2+m_e^2) \pm p(q^2-m_e^2)\Big ) \end{aligned}$$
(70)

and

$$\begin{aligned} q^2_{\pm }= & {} \frac{M_n(M_n^2-M_p^2+m_e^2-2M_nE_e) \Big ( E_e \pm \sqrt{E_e^2-m_e^2}\Big )}{M_n^2+m_e^2-2M_nE_e} \nonumber \\= & {} \frac{2M_n^2}{2M_n(E_e^{\mathrm{max}}-E_e)+M_p^2}\left( (E_e^\mathrm{max}-E_e) \right. \nonumber \\&\left. \times \bigg (E_e \pm \sqrt{E_e^2-m_e^2}\,\,\bigg ) + \frac{m_e^2M_p^2}{2M_n^2} \right) , \end{aligned}$$
(71)

where \(E_e^{\mathrm{max}}=(M_n^2-M_p^2+m_e^2)/2M_n\). Integrating the distribution (67) over \(E_e\) in the limits (70) one obtains the one-fold \(q^2\) distribution discussed in Sect. 3. On the other hand, integrating (67) over \(q^2\) in the limits (71) one obtains the one-fold \(E_e\) distribution discussed in Refs. [26, 27] for the unpolarized case.

8 Numerical results

In Table 2 we list our analytical and numerical results for the nine average asymmetries calculated in this paper where we include the two polarization components of the electron in the list of the asymmetries since the polarization components are frequently referred to as polarization asymmetries in the literature. In order to simplify the discussion we set \(P_n=1\) for the five polarization observables, i.e. we set \(\langle A_i \rangle /P_n=\langle A_i \rangle \) for the five polarization observables \(\langle A_{\mathrm{PFB}} \rangle \) to \(\langle A_{\chi _2} \rangle \).

Table 2 Asymmetries in neutron \(\beta \) decay. First column: asymmetry; second column: analytical expression for LO result \(\Gamma _i^{(5)}/\Gamma ^{(5)}\); third column: full result; fourth column: numerical value of the lo result; fifth column: numerical value for the relative NLO correction; sixth column: error propagation factor

Column 2 contains our analytical LO results for the average asymmetries \(\langle A_i \rangle = P_i\, \langle {{\mathcal {O}}}_i\rangle =P_i\,\Gamma _i^{(5)}/\Gamma ^{(5)}\) where the factors \(P_i\) are the same as in Eqs. (33) and (34), \(P_\ell =P_t=1\). We have cancelled some numerical factors in the ratio expressions which are now normalized to the rate factor

$$\begin{aligned} R(x)=\left( 3 (F_1^A)^2 + (F_1^V)^2\right) r(x), \end{aligned}$$
(72)

where r(x) is listed in Eq. (43). The LO contributions in column 2 are written in terms of a number of x-dependent functions \(r_{1}(x)\) to \(r_{9}(x)\) which are defined by

$$\begin{aligned} r_1(x)= & {} \frac{15}{8}x^2\left[ (1-x^2)(5+x^2)+4(1+2x^2)\ln x\right] \nonumber \\= & {} -0.1531, \nonumber \\ r_2(x)= & {} -\frac{3}{64}\left[ \sqrt{1-x^2}\left( 8+194x^2+113x^4\right) \right. \nonumber \\&\left. +15x^2\left( 8+12x^2+x^4\right) L(x)\right] \ =\ -0.05042, \nonumber \\ r_3(x)= & {} \frac{5}{4}\left[ \left( 1-x^2\right) \left( 1-5x^2-2x^4\right) -12x^4\ln x\right] \nonumber \\= & {} 0.5196, \nonumber \\ r_4(x)= & {} -\frac{1}{2}r(x)\ =\ -0.2363, \nonumber \\ r_4'(x)= & {} \frac{5}{16}x^2\left[ \sqrt{1-x^2}\left( 46+29x^2\right) \right. \nonumber \\&\left. +3\left( 8+16x^2+x^4\right) L(x)\right] \ =\ -0.1691, \nonumber \\ r_5(x)= & {} -\frac{15}{32}\left[ \left( 1-x^2\right) \left( 1+10x^2+x^4\right) \right. \nonumber \\&\left. +12x^2(1+x^2)\ln x\right] \ =\ -0.08004, \nonumber \\ r_6(x)= & {} \frac{15}{64}\left[ x\sqrt{1-x^2}\left( 1+14x^2\right) \right. \nonumber \\&\left. +\left( 1-8x^2-8x^4\right) \arccos x\right] \ =\ 0.1498, \nonumber \\ r_6'(x)= & {} -\frac{5}{16}x^2\left[ x\sqrt{1-x^2}\left( 13+2x^2\right) \right. \nonumber \\&\left. -3\left( 1+4x^2\right) \arccos x\right] \ =\ 0.04116, \nonumber \\ r_7(x)= & {} \frac{1}{3}(1-x)^5(1+5x)\ =\ 0.08033, \nonumber \\ r_8(x)= & {} -\frac{1}{6}\left[ \sqrt{1-x^2}\left( 18+139x^2+8x^4\right) \right. \nonumber \\&\left. +15x^2\left( 8+3x^2\right) L(x)\right] \ =\ -0.8855, \nonumber \\ r_8'(x)= & {} -\frac{1}{6}\left[ \sqrt{1-x^2}\left( 6+193x^2+56x^4\right) \right. \nonumber \\&\left. +15x^2\left( 8+9x^2\right) L(x)\right] \ =\ 0.05966, \nonumber \\ r_9(x)= & {} \frac{5}{2}x(1-x)^4\ =\ 0.1322. \end{aligned}$$
(73)

In column 3 we list numerical values for the full results using the form factor values specified in Eqs. (9) and (10). The full values are calculated prior to the expansion in \(\delta \), not taking into account the \(q^2\) dependence of the form factors. This \(q^2\) dependence of the form factors effects the result far below the precision given in Table 2. The predicted values for the average asymmetries range from \(\langle {A}_{\chi _2}\rangle =0.03705 \) to \(\langle {P}_e^\ell \rangle =-0.4964\). The small value of \(\langle {A}_{\chi _2}\rangle =0.03705\) results in part from the smallness of the sector projection factor \(P_{{A}_{\chi _2}}=1/3\). In column 4 we write down the LO numerical values of the analytical LO results in column 3. The LO values can be seen to be quite close to the full results.

In order to check on the magnitude of the NLO corrections we list the numerical values for the relative NLO corrections \(\delta _i\hbox {(NLO)}\) in column 4. According to Eq. (49) the NLO corrections are given by \(\delta _i(\mathrm{NLO})=\Gamma _i^{(6)}/\Gamma _i^{(5)}\,\delta \). The analytical expressions for the NLO corrections can be found in Eqs. (5057) and Eqs. (6263) and have been evaluated with the form factor values listed in Eqs. (9) and (10). The NLO corrections to the LO results listed in column 5 are generally quite small or even zero. The largest NLO correction occurs for the forward–backward asymmetry \(\langle F_{\mathrm{FB}} \rangle \) with \(\delta _{\mathrm{FB}}(\mathrm{NLO})=-5.35\)  ‰. The NLO corrections move the LO values very close to the full result in column 3 which shows that one can safely truncate the recoil expansion at NLO.

Our results on the polarization observable \(\langle A_{\mathrm{PFB}} \rangle \) can be directly compared to the experiment since the average asymmetry \(\langle A_{\mathrm{PFB}} \rangle \) is identical to the so-called proton asymmetry parameter C in the conventional approach. The parameter C has been measured by the PERKEO II collaboration with the result \(C=-0.2377(26)\) [57]. This value is quite compatible with our full result \(\langle A_{\mathrm{PFB}} \rangle =C=-0.2382\). The relative NLO correction \(\delta _i\, (\mathrm{NLO})=-2.47 \) ‰ shifts the LO result \(\langle A_{\mathrm{PFB}} \rangle (\mathrm{LO})=0.2328\) close to the central experimental value.

It is interesting to know how an error in the value of the axial form factor propagates to the average asymmetries. This bears on the question on how accurately one can determine the value of the axial form factor from a measurement of the average asymmetries discussed in this paper. We discuss this issue using the usual ratio \(\lambda =F_1^A/F_1^V\). Expanding the asymmetry around the central value \(\lambda =1.2724\) from Ref. [34], one has

$$\begin{aligned} \langle A_i \rangle (\lambda +\Delta \lambda )= \langle A_i \rangle (\lambda )\left( 1 + \frac{\langle A_i \rangle '(\lambda )}{\langle A_i \rangle (\lambda )}\cdot \Delta \lambda \right) . \end{aligned}$$
(74)

The experimental value of \(\Delta \lambda =0.0023\) [34] is small enough that we can terminate the Taylor expansion after the linear term. The relative error of the average asymmetry \(\langle A_i \rangle \) is given by \(\delta \langle A_i \rangle = \langle A_i \rangle '(\lambda )/ \langle A_i \rangle (\lambda )\cdot \Delta \lambda \). The ratio

$$\begin{aligned} \frac{\delta \langle A_i \rangle }{\Delta \lambda } = \frac{\langle A_i \rangle '(\lambda )}{\langle A_i \rangle (\lambda )}, \end{aligned}$$
(75)

provides a measure of the error propagation from the absolute error of \(\lambda \) to the relative error of the asymmetry \(\langle A_i\rangle (\lambda )\). One wants the error propagation factor to be as large as possible. Of course, one can turn this argument around. The error propagation from the relative error of the asymmetry \(\langle A_i\rangle (\lambda )\) to the absolute error of \(\lambda \) is given by the inverse of Eq. (75). A good asymmetry measurement is characterized by a small value of the inverse of Eq. (75). In column 6 we have listed the LO values of the ratio \(\langle A_i \rangle '(\lambda )/\langle A_i \rangle (\lambda )\) where we take the central PDG value \(\lambda =1.2724\). The error propagation factor ranges from 0.129 for \(\langle A_{\chi _1} \rangle \) to 0.518 for \(\langle A_{\mathrm{PFB}}\rangle ,\, \langle A_{\mathrm{Pconv}}\rangle \) and \(\langle A_{\chi _2}\rangle \). The latter three asymmetries are thus the best candidates for an accurate measurement of the axial form factor \(F_1^A\). These three asymmetries would have to be measured with an error less than 1.19 ‰ to reduce the present PDG error on \(\lambda \) given by 2.3 ‰.

It is interesting to compare the error propagation of \(\lambda \) into the total rate where one has \(\Gamma '(\lambda )/\Gamma (\lambda ) = 6\lambda /((1+3\lambda ^2)=1.303\). As concerns the error propagation, the rate measurement is 2.5 times better than the best asymmetry measurement. However, the extraction of \(\lambda \) from the rate measurement requires additional input in the form of the value of \(V_{ud}\) and the size of the radiative corrections [58]. In contrast to this the asymmetry measurements are independent of the value of \(V_{ud}\). Furthermore, the bulk of the radiative corrections can be expected to cancel out in the asymmetry ratios.

9 Summary and conclusion

We have presented the results of a detailed analysis of unpolarized and polarized neutron \(\beta \) decays in the helicity framework. We have derived exact relativistic formulas for the \(q^2\) distribution of the total rate and the partial correlation rates without employing any recoil approximations. The \(q^2\) integration of the differential rates was done analytically, and the results were checked by numerical integration. After the \(q^2\) integration we performed an expansion in the small recoil parameter \(\delta =(M_n-M_p)/(M_n+M_p)= 0.689\cdot 10^{-3}\), the series of which has very rapid convergence properties. Doing the recoil expansion after the integration spares one from having to guess to which order a given term will contribute to the final result before doing the final integration. We found that the NLO term in the recoil expansion vanish for three of the four p.c. observables analyzed in this paper. These are \(\langle A_{\mathrm{conv}} \rangle \), \(\langle A_{\mathrm{DFB}} \rangle \) and the average value of the longitudinal polarization \(P_e^\ell \) of the electron.

At the LO of the recoil expansion one has contributions only from the form factors \(F_1^V\) and \(F_1^A\). This opens the opportunity for further measurements of the form factor \(F_1^A\) from other observables on top of the usual determination of \(F_1^A\) from the rate measurement (see the discussion in Ref. [42, 58]). Particularly well suited for such a measurement of \(F_1^A\) would be the three observables \(\langle A_{\mathrm{PFB}}\rangle \), \(\langle A_\mathrm{Pconv}\rangle \) and \(\langle A_{\chi _2}\rangle \) which are the most sensitive asymmetries for a determination of \(F_1^A\). We find that there is no possibility to measure the value of the form factor \(F_3^A\) nor the slope of the form factors \(F_1^V(q^2)\) or \(F_1^V(q^2)\) close to origin since both contribute only to higher orders in the recoil expansion.

Some of our results are directly applicable to results derived in the conventional three-body decay analysis done in the n frame. Very obviously, this holds true for the total rate and the spin–momentum correlation between the spin of the neutron and the momentum of the proton conventionally called the spin–proton correlation parameter C. The spin–electron and spin–neutrino correlations defined in the conventional approach are not directly related to the corresponding correlations in the helicity approach. As concerns azimuthal correlations one can choose the momentum of the proton to define the z axis in the direct decay approach (system 2 in Ref. [56]). For this choice the azimuthal correlations in the two approaches are simply related. As shown in Sect. 3, the T-odd triple correlation parameter D of the conventional approach is proportional to \((-1/2\, \mathcal{H}_{ILT_-}+ \delta _e{{\mathcal {H}}}_{IST_+})\) in the helicity approach. The same holds true for the T-odd normal polarization \(P_e^n\) of the electron discussed in Sect. 7.

As discussed in Sect. 7, one can turn the differential \(\cos \theta \) distribution used in the helicity approach into a differential electron energy distribution in the conventional direct decay approach employing the relation (22),

$$\begin{aligned} \cos \theta = \frac{2q^2 E_e-q_0(q^2+m_e^2)}{p(q^2-m_e^2)}, \end{aligned}$$
(76)

where \(E_e\) is the energy of the electron in the neutron rest frame.

Other results of the conventional three-body decay analysis such as opening angle distributions between pairs of the three final state particles \((p,\,e^-,\,\bar{\nu })\) in the neutron rest frame are not part of the helicity analysis. These distributions can be obtained by applying the appropriate boosts to the helicity distributions either analytically or by Monte Carlo event generation methods as has been done in the analysis of polarized hyperon decays \(\Xi ^0 \rightarrow \Sigma ^+ + \ell ^- +\bar{\nu }_\ell \,\, (\ell ^-=e^-,\,\mu ^-)\) in Ref. [10].

One of the advantages of using normalized angular observables is that they do not depend on the value of \(|V_{ud}|\) which is welcome even if the relative error on \(|V_{ud}|\) is small (\(\sim \) 0.1 ‰ [34]). Furthermore, the bulk of the radiative corrections can be expected to cancel when taking ratios of rates since large parts of the radiative corrections are proportional to the Born term rates.

In this paper we have restricted our discussion to the helicity analysis of free neutron \(\beta \) decays. There is no obstacle to also apply the helicity method to nuclear \(\beta \) decays.

The results of this paper can also be formulated in terms of an effective field theory (EFT) approach (see e.g. Ref. [46]). In addition, New Physics effects (see e.g. Ref. [59]) are easily incorporated into the helicity framework. An EFT helicity approach to neutron \(\beta \) decay including New Physics effects will be the subject of a sequel to this paper.