Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

[1]\fnmM.\surViviani

[1]\orgdivSezione di Pisa, \orgnameIstituto Nazionale di Fisica Nucleare, \orgaddress\streetLargo B. Pontecorvo 3, \cityPisa, \postcodeI-56127, \countryItaly

2]\orgdivDepartment of Physics “E. Fermi”, \orgnameUniversity of Pisa, \orgaddress\streetLargo B. Pontecorvo 3, \cityPisa, \postcodeI-56127, \countryItaly

3]\orgdivDepartment of Mathematics and Physics, \orgnameUniversity of Salento, \orgaddress\streetVia Arnesano, \cityLecce, \postcodeI-73100, \countryItaly

4]\orgdivSezione di Lecce, \orgnameIstituto Nazionale di Fisica Nucleare, \orgaddress\streetVia Arnesano, \cityLecce, \postcodeI-73100, \countryItaly

Study of the alpha-particle monopole transition form factor

michele.viviani@pi.infn.it    \fnmA.\surKievsky alejandro.kievsky@pi.infn.it    \fnmL.E.\surMarcucci laura.elisa.marcucci@unipi.it    \fnmL.\surGirlanda girlanda@le.infn.it * [ [ [
Abstract

The He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He monopole form factor is studied by computing the transition matrix element of the electromagnetic charge operator between the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ground-state and the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H and n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He scattering states. The nuclear wave functions are calculated using the hyperspherical harmonic method, by starting from Hamiltonians including two- and three-body forces derived in chiral effective field theory. The electromagnetic charge operator retains, beyond the leading order (impulse approximation) term, also higher order contributions, as relativistic corrections and meson-exchange currents. The results for the monopole form factor are in fairly agreement with recent MAMI data. Comparison with other theoretical calculations are also provided.

1 Introduction

The He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He nucleus is a fundamental system for our comprehension of nuclear forces. The four nucleons form a ground state of quantum numbers Jπ=0+superscript𝐽𝜋superscript0J^{\pi}=0^{+}italic_J start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, hereafter denoted as the 00+subscriptsuperscript000^{+}_{0}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT state. Such a state is rather deeply bound, with a binding energy of about 7777 MeV per nucleon. In addition, the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He nucleus has also a number of excited states, which, however, are not true bound states but resonances. The first excited state 01+subscriptsuperscript010^{+}_{1}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (which has the same quantum numbers as the ground state) is, in fact, unstable for the splitting in the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H subsystems. It lies approximately 20 MeV above the ground state, but below the opening of the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He channel [1]. Clearly, for the description of this resonance, the Coulomb interaction plays a very important role [2].

The nature of such a resonance is still a puzzle after many years of studies [3]. The process He4(e,e)XsuperscriptHe4𝑒superscript𝑒𝑋{{}^{4}{\rm He}}(e,e^{\prime})Xstart_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_X can be used to obtain direct information on the monopole form factor FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) (which is essentially the matrix element of the electromagnetic transition operator between the initial and final states), detecting scattered electrons which have lost approximately 20202020 MeV of energy. The experiments performed in the past [4, 5, 6] could not achieve a great accuracy. However, more recently, an experiment performed at the Mainz Microtrom (MAMI) allowed to extract quite accurate data for FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) [7]. In this experiment, electron beams with energies of 450450450450, 690690690690, and 795795795795 MeV were directed onto a target consisting of cryogenic helium gas. The scattered electrons were detected using a sophisticated apparatus, which allowed to observe both the elastic peak and the first-excited state resonance. The He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He elastic peak was used to determine quite accurately the luminosity and to estimate the experimental resolution needed for the precise extraction of the monopole form factor (however, a careful analysis of the data is necessary in order to subtract the non-resonant contributions, see Ref. [7] for more details).

In the past years, several theoretical studies of FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) were also performed. In Ref. [8], FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) was calculated using a bound state technique, expanding the wave functions over a Gaussian basis. The result of this calculation is in good agreement with both the old and the MAMI experimental data. In Refs. [9, 10, 7], a calculation using the Lorentz Integral Transform (LIT) method to sum implicitly all the intermediate states was performed. In this case, the calculated monopole form factor was found to be rather at variance with respect to the experimental data, in particular with respect to the precise MAMI data [7]. More recently, a calculation performed using the no-core Gamow shell model method, including explicit p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He, and d+d𝑑𝑑d+ditalic_d + italic_d reaction channels, allows to reproduce the MAMI data [11]. A similar conclusion was found in another recent calculation performed in the framework of nuclear lattice effective field theory [12].

These calculations were performed using different Hamiltonians. In Ref. [8], the results were obtained using the Argonne V8 (AV8’) [14] nucleon-nucleon (NN) potential plus a simple three-nucleon (3N) interaction. The calculations of Refs. [9, 10, 7] were performed using a NN+3N interaction derived within the framework of the chiral effective field theory (χ𝜒\chiitalic_χEFT). The Hamiltonian used in the calculation of Ref. [11] is based on the Vlowksubscript𝑉𝑙𝑜𝑤𝑘V_{low-k}italic_V start_POSTSUBSCRIPT italic_l italic_o italic_w - italic_k end_POSTSUBSCRIPT version of the same NN interaction used in Refs. [9, 10, 7], adopting the cutoff value Λ=1.9Λ1.9\Lambda=1.9roman_Λ = 1.9 fm-1 [13], but without including any 3N force. Finally, in the calculation performed in the framework of nuclear lattice effective field theory [12], a rather simple nuclear interaction has been used, in practice containing NN+3N contact terms. Anyway, this interaction is capable of reproducing the ground state properties of light nuclei, medium-mass nuclei, and neutron matter simultaneously with no more than a few percent error in the energies and charge radii [12].

In order to analyse further this process, we have reconsidered the study of the monopole transition form factor, exploiting our expertise in the calculation of four-nucleon (4N) scattering wave functions. Using modern realistic Hamiltonians we have computed the transition matrix element between the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ground-state and the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H and n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He scattering states including in the transition operator terms beyond the leading order (impulse approximation), as relativistic corrections and meson-exchange contributions. This calculation follows somewhat the experimental technique itself, where the electrons scatters the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He nuclei, producing final states composed by different clusters as p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He, etc. To compute FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) we have to integrate over the possible final states of different energies produced in the process.

We have performed this study using the NN chiral interaction derived at next-to-next-to-next-to-leading order (N3LO) by Entem and Machleidt [15, 16], with cutoffs Λ=500Λ500\Lambda=500roman_Λ = 500, 600600600600 MeV. We have also performed calculations including the chiral 3N interaction derived at next-to-next-to leading order (N2LO) in Refs. [17, 18]. The two free parameters in this N2LO 3N potential, denoted usually as cDsubscript𝑐𝐷c_{D}italic_c start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT and cEsubscript𝑐𝐸c_{E}italic_c start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, have been fixed in order to reproduce the experimental values of the A=3𝐴3A=3italic_A = 3 binding energies and the Gamow-Teller matrix element of the tritium β𝛽\betaitalic_β decay [19, 20]. Note that these parameters have been recently redetermined [21, 22, 23].

The 4N wave functions are calculated using the so-called hyperspherical harmonics (HH) technique [24, 25]. Several benchmarks performed in the past have shown the good accuracy which can be achieved by this method for both the 4N bound state problem [26, 27] and the 4N scattering problem [28, 29]. The detailed application of the HH method to the 4N scattering problem is reported in Ref. [30], where the convergence issues are throughout discussed and several results for n+H3𝑛superscriptH3n+{{}^{3}{\rm H}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, p+He3𝑝superscriptHe3p+{{}^{3}{\rm He}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He, p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, and n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He scattering are given.

This paper is organized as follows. In Section 2, a description of the HH method for bound and scattering states is briefly resumed, and the approach for calculating FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) is presented. The results are given in Section 3, where the comparison with the experimental data and the results of other theoretical calculations is reported. The conclusions and the perspectives of this work will be given in Section 4.

2 Theoretical formalism

This section is divided into three subsections. In the first two, we briefly introduce the HH method to compute 4N bound and scattering states. In the last subsection we present the approach employed to calculate FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ).

2.1 The HH method

We start with the definition of the Jacobi vectors which, for a system of four identical particles (disregarding the proton-neutron mass difference), are given by

𝝃1psubscript𝝃1𝑝\displaystyle{\bm{\xi}}_{1p}bold_italic_ξ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT =\displaystyle== 32(𝒓l𝒓i+𝒓j+𝒓k3),32subscript𝒓𝑙subscript𝒓𝑖subscript𝒓𝑗subscript𝒓𝑘3\displaystyle\sqrt{\frac{3}{2}}\left({\bm{r}}_{l}-\frac{{\bm{r}}_{i}+{\bm{r}}_% {j}+{\bm{r}}_{k}}{3}\right)\ ,square-root start_ARG divide start_ARG 3 end_ARG start_ARG 2 end_ARG end_ARG ( bold_italic_r start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - divide start_ARG bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + bold_italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG ) ,
𝝃2psubscript𝝃2𝑝\displaystyle{\bm{\xi}}_{2p}bold_italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT =\displaystyle== 43(𝒓k𝒓i+𝒓j2),43subscript𝒓𝑘subscript𝒓𝑖subscript𝒓𝑗2\displaystyle\sqrt{\frac{4}{3}}\left({\bm{r}}_{k}-\frac{{\bm{r}}_{i}+{\bm{r}}_% {j}}{2}\right)\ ,square-root start_ARG divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_ARG ( bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT - divide start_ARG bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + bold_italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) , (1)
𝝃3psubscript𝝃3𝑝\displaystyle{\bm{\xi}}_{3p}bold_italic_ξ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT =\displaystyle== 𝒓j𝒓i,subscript𝒓𝑗subscript𝒓𝑖\displaystyle{\bm{r}}_{j}-{\bm{r}}_{i}\ ,bold_italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ,

where p𝑝pitalic_p specifies a permutation corresponding to the order i𝑖iitalic_i, j𝑗jitalic_j, k𝑘kitalic_k and l𝑙litalic_l of the particles. By definition, the permutation p=1𝑝1p=1italic_p = 1 is chosen to correspond to the order 1111, 2222, 3333 and 4444. In terms of the Jacobi vectors, the kinetic energy T𝑇Titalic_T is written as

T=1M(𝝃1p2+𝝃2p2+𝝃3p2),𝑇1𝑀subscriptsuperscript2subscript𝝃1𝑝subscriptsuperscript2subscript𝝃2𝑝subscriptsuperscript2subscript𝝃3𝑝T=-{1\over M}\Bigl{(}\nabla^{2}_{{\bm{\xi}}_{1p}}+\nabla^{2}_{{\bm{\xi}}_{2p}}% +\nabla^{2}_{{\bm{\xi}}_{3p}}\biggr{)}\ ,italic_T = - divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ( ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_italic_ξ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT end_POSTSUBSCRIPT + ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT end_POSTSUBSCRIPT + ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_italic_ξ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) , (2)

where M𝑀Mitalic_M is the nucleon mass (hereafter =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1). For a given choice of the Jacobi vectors, the hyperspherical coordinates are given by the so-called hyperradius ρ𝜌\rhoitalic_ρ, defined by

ρ=ξ1p2+ξ2p2+ξ3p2,(independentofp),𝜌superscriptsubscript𝜉1𝑝2superscriptsubscript𝜉2𝑝2superscriptsubscript𝜉3𝑝2independentof𝑝\rho=\sqrt{\xi_{1p}^{2}+\xi_{2p}^{2}+\xi_{3p}^{2}}\ ,\quad({\rm independent\ % of\ }p)\ ,italic_ρ = square-root start_ARG italic_ξ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , ( roman_independent roman_of italic_p ) , (3)

and by a set of angular variables which in the Zernike and Brinkman [31, 32] representation are (i) the polar angles 𝝃^ip(θip,ϕip)subscript^𝝃𝑖𝑝subscript𝜃𝑖𝑝subscriptitalic-ϕ𝑖𝑝\hat{\bm{\xi}}_{ip}\equiv(\theta_{ip},\phi_{ip})over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT italic_i italic_p end_POSTSUBSCRIPT ≡ ( italic_θ start_POSTSUBSCRIPT italic_i italic_p end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_i italic_p end_POSTSUBSCRIPT ) of each Jacobi vector, and (ii) two additional angles, called hyperangles, φ2psubscript𝜑2𝑝\varphi_{2p}italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT and φ3psubscript𝜑3𝑝\varphi_{3p}italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT defined as

cosφ2p=ξ2pξ1p2+ξ2p2,cosφ3p=ξ3pξ1p2+ξ2p2+ξ3p2,formulae-sequencesubscript𝜑2𝑝subscript𝜉2𝑝superscriptsubscript𝜉1𝑝2superscriptsubscript𝜉2𝑝2subscript𝜑3𝑝subscript𝜉3𝑝superscriptsubscript𝜉1𝑝2superscriptsubscript𝜉2𝑝2superscriptsubscript𝜉3𝑝2\cos\varphi_{2p}=\frac{\xi_{2p}}{\sqrt{\xi_{1p}^{2}+\xi_{2p}^{2}}}\ ,\quad\cos% \varphi_{3p}=\frac{\xi_{3p}}{\sqrt{\xi_{1p}^{2}+\xi_{2p}^{2}+\xi_{3p}^{2}}}\ ,roman_cos italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT = divide start_ARG italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG italic_ξ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , roman_cos italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT = divide start_ARG italic_ξ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG italic_ξ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ξ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (4)

where ξjpsubscript𝜉𝑗𝑝\xi_{jp}italic_ξ start_POSTSUBSCRIPT italic_j italic_p end_POSTSUBSCRIPT is the modulus of the Jacobi vector 𝝃jpsubscript𝝃𝑗𝑝{\bm{\xi}}_{jp}bold_italic_ξ start_POSTSUBSCRIPT italic_j italic_p end_POSTSUBSCRIPT. The set of angular variables 𝝃^1p,𝝃^2p,𝝃^3p,φ2psubscript^𝝃1𝑝subscript^𝝃2𝑝subscript^𝝃3𝑝subscript𝜑2𝑝\hat{\bm{\xi}}_{1p},\hat{\bm{\xi}}_{2p},\hat{\bm{\xi}}_{3p},\varphi_{2p}over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT , over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT , over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT , italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT, φ3psubscript𝜑3𝑝\varphi_{3p}italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT is denoted hereafter as ΩpsubscriptΩ𝑝\Omega_{p}roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT. The expression of a generic HH function is

1,2,3,L2,n2,n3K,Λ,M(Ωp)=subscriptsuperscript𝐾Λ𝑀subscript1subscript2subscript3subscript𝐿2subscript𝑛2subscript𝑛3subscriptΩ𝑝absent\displaystyle{\cal H}^{K,\Lambda,M}_{\ell_{1},\ell_{2},\ell_{3},L_{2},n_{2},n_% {3}}(\Omega_{p})=\qquad\qquadcaligraphic_H start_POSTSUPERSCRIPT italic_K , roman_Λ , italic_M end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) = (5)
𝒩n2,n31,2,3[(Y1(𝝃^1p)Y2(𝝃^2p))L2Y3(𝝃^3p)]ΛMsubscriptsuperscript𝒩subscript1subscript2subscript3subscript𝑛2subscript𝑛3subscriptdelimited-[]subscriptsubscript𝑌subscript1subscript^𝝃1𝑝subscript𝑌subscript2subscript^𝝃2𝑝subscript𝐿2subscript𝑌subscript3subscript^𝝃3𝑝Λ𝑀\displaystyle{\cal N}^{\ell_{1},\ell_{2},\ell_{3}}_{n_{2},n_{3}}\left[\Bigl{(}% Y_{\ell_{1}}(\hat{\bm{\xi}}_{1p})Y_{\ell_{2}}(\hat{\bm{\xi}}_{2p})\Bigr{)}_{L_% {2}}Y_{\ell_{3}}(\hat{\bm{\xi}}_{3p})\right]_{\Lambda M}caligraphic_N start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ ( italic_Y start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT ) italic_Y start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT ) ) start_POSTSUBSCRIPT italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_Y start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_ξ end_ARG start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT ) ] start_POSTSUBSCRIPT roman_Λ italic_M end_POSTSUBSCRIPT
×(sinφ2p)1(cosφ2p)2Pn21+12,2+12(cos2φ2p)absentsuperscriptsubscript𝜑2𝑝subscript1superscriptsubscript𝜑2𝑝subscript2subscriptsuperscript𝑃subscript112subscript212subscript𝑛22subscript𝜑2𝑝\displaystyle\times(\sin\varphi_{2p})^{\ell_{1}}(\cos\varphi_{2p})^{\ell_{2}}P% ^{\ell_{1}+\frac{1}{2},\ell_{2}+\frac{1}{2}}_{n_{2}}(\cos 2\varphi_{2p})× ( roman_sin italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_cos italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_P start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_cos 2 italic_φ start_POSTSUBSCRIPT 2 italic_p end_POSTSUBSCRIPT )
×(sinφ3p)1+2+2n2(cosφ3p)3Pn31+2+2n2+2,3+12(cos2φ3p),absentsuperscriptsubscript𝜑3𝑝subscript1subscript22subscript𝑛2superscriptsubscript𝜑3𝑝subscript3subscriptsuperscript𝑃subscript1subscript22subscript𝑛22subscript312subscript𝑛32subscript𝜑3𝑝\displaystyle\times(\sin\varphi_{3p})^{\ell_{1}+\ell_{2}+2n_{2}}(\cos\varphi_{% 3p})^{\ell_{3}}P^{\ell_{1}+\ell_{2}+2n_{2}+2,\ell_{3}+\frac{1}{2}}_{n_{3}}(% \cos 2\varphi_{3p})\ ,× ( roman_sin italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 2 italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( roman_cos italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_P start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 2 italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + 2 , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_cos 2 italic_φ start_POSTSUBSCRIPT 3 italic_p end_POSTSUBSCRIPT ) ,

where Pna,bsubscriptsuperscript𝑃𝑎𝑏𝑛P^{a,b}_{n}italic_P start_POSTSUPERSCRIPT italic_a , italic_b end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are Jacobi polynomials and the coefficients 𝒩n2,n31,2,3subscriptsuperscript𝒩subscript1subscript2subscript3subscript𝑛2subscript𝑛3{\cal N}^{\ell_{1},\ell_{2},\ell_{3}}_{n_{2},n_{3}}caligraphic_N start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT normalization factors. The quantity K=1+2+3+2(n2+n3)𝐾subscript1subscript2subscript32subscript𝑛2subscript𝑛3K=\ell_{1}+\ell_{2}+\ell_{3}+2(n_{2}+n_{3})italic_K = roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + 2 ( italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) is the grand angular quantum number. The HH functions are the eigenfunctions of the hyperangular part of the kinetic energy operator. Furthermore, ρK1,2,3,L2,n2,n3K,Λ,M(Ωp)superscript𝜌𝐾subscriptsuperscript𝐾Λ𝑀subscript1subscript2subscript3subscript𝐿2subscript𝑛2subscript𝑛3subscriptΩ𝑝\rho^{K}{\cal H}^{K,\Lambda,M}_{\ell_{1},\ell_{2},\ell_{3},L_{2},n_{2},n_{3}}(% \Omega_{p})italic_ρ start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT caligraphic_H start_POSTSUPERSCRIPT italic_K , roman_Λ , italic_M end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) are homogeneous polynomials of the particle coordinates of degree K𝐾Kitalic_K.

A set of antisymmetric hyperangular–spin–isospin states of grand angular quantum number K𝐾Kitalic_K, total orbital angular momentum ΛΛ\Lambdaroman_Λ, total spin ΣΣ\Sigmaroman_Σ, and total isospin T𝑇Titalic_T (for given values of total angular momentum J𝐽Jitalic_J and parity π𝜋\piitalic_π) can be constructed as follows:

ΨμKΛΣT=p=112ΦμKΛΣT(i,j,k,l),superscriptsubscriptΨ𝜇𝐾ΛΣ𝑇superscriptsubscript𝑝112superscriptsubscriptΦ𝜇𝐾ΛΣ𝑇𝑖𝑗𝑘𝑙\Psi_{\mu}^{K\Lambda\Sigma T}=\sum_{p=1}^{12}\Phi_{\mu}^{K\Lambda\Sigma T}(i,j% ,k,l)\ ,roman_Ψ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 12 end_POSTSUPERSCRIPT roman_Φ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT ( italic_i , italic_j , italic_k , italic_l ) , (6)

where the sum is over the 12121212 even permutations pi,j,k,l𝑝𝑖𝑗𝑘𝑙p\equiv i,j,k,litalic_p ≡ italic_i , italic_j , italic_k , italic_l, and

ΦμKΛΣT(i,j;k;l)=subscriptsuperscriptΦ𝐾ΛΣ𝑇𝜇𝑖𝑗𝑘𝑙absent\displaystyle\Phi^{K\Lambda\Sigma T}_{\mu}(i,j;k;l)=\qquad\qquadroman_Φ start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_i , italic_j ; italic_k ; italic_l ) = (7)
{1,2,3,L2,n2,n3K,Λ(Ωp)[[(sisj)Sask]Sbsl]Σ}JJz[[(titj)Tatk]Tbtl]TTz.subscriptsubscriptsuperscript𝐾Λsubscript1subscript2subscript3subscript𝐿2subscript𝑛2subscript𝑛3subscriptΩ𝑝subscriptdelimited-[]subscriptdelimited-[]subscriptsubscript𝑠𝑖subscript𝑠𝑗subscript𝑆𝑎subscript𝑠𝑘subscript𝑆𝑏subscript𝑠𝑙Σ𝐽subscript𝐽𝑧subscriptdelimited-[]subscriptdelimited-[]subscriptsubscript𝑡𝑖subscript𝑡𝑗subscript𝑇𝑎subscript𝑡𝑘subscript𝑇𝑏subscript𝑡𝑙𝑇subscript𝑇𝑧\displaystyle\biggl{\{}{\cal H}^{K,\Lambda}_{\ell_{1},\ell_{2},\ell_{3},L_{2},% n_{2},n_{3}}(\Omega_{p})\biggl{[}\Bigl{[}\bigl{(}s_{i}s_{j}\bigr{)}_{S_{a}}s_{% k}\Bigr{]}_{S_{b}}s_{l}\biggr{]}_{\Sigma}\biggr{\}}_{JJ_{z}}\biggl{[}\Bigl{[}% \bigl{(}t_{i}t_{j}\bigr{)}_{T_{a}}t_{k}\Bigr{]}_{T_{b}}t_{l}\biggr{]}_{TT_{z}}\ .{ caligraphic_H start_POSTSUPERSCRIPT italic_K , roman_Λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) [ [ ( italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT roman_Σ end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT [ [ ( italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_T start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_T italic_T start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT .

Here, 1,2,3,L2,n2,n3K,Λ(Ωp)subscriptsuperscript𝐾Λsubscript1subscript2subscript3subscript𝐿2subscript𝑛2subscript𝑛3subscriptΩ𝑝{\cal H}^{K,\Lambda}_{\ell_{1},\ell_{2},\ell_{3},L_{2},n_{2},n_{3}}(\Omega_{p})caligraphic_H start_POSTSUPERSCRIPT italic_K , roman_Λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) is the HH state defined in Eq. (5), and sisubscript𝑠𝑖s_{i}italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT (tisubscript𝑡𝑖t_{i}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT) denotes the spin (isospin) function of particle i𝑖iitalic_i. The total orbital angular momentum ΛΛ\Lambdaroman_Λ of the HH function is coupled to the total spin ΣΣ\Sigmaroman_Σ to give the total angular momentum JJz𝐽subscript𝐽𝑧JJ_{z}italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, whereas π=(1)1+2+3𝜋superscript1subscript1subscript2subscript3\pi=(-1)^{\ell_{1}+\ell_{2}+\ell_{3}}italic_π = ( - 1 ) start_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. The quantum number T𝑇Titalic_T specifies the total isospin of the state. The integer index μ𝜇\muitalic_μ labels the possible choices of hyperangular, spin and isospin quantum numbers, namely

μ{1,2,3,L2,n2,n3,Sa,Sb,Ta,Tb},𝜇subscript1subscript2subscript3subscript𝐿2subscript𝑛2subscript𝑛3subscript𝑆𝑎subscript𝑆𝑏subscript𝑇𝑎subscript𝑇𝑏\mu\equiv\{\ell_{1},\ell_{2},\ell_{3},L_{2},n_{2},n_{3},S_{a},S_{b},T_{a},T_{b% }\}\ ,italic_μ ≡ { roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT , italic_T start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , italic_T start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT } , (8)

compatibles with the given values of K𝐾Kitalic_K, ΛΛ\Lambdaroman_Λ, ΣΣ\Sigmaroman_Σ, T𝑇Titalic_T, J𝐽Jitalic_J and π𝜋\piitalic_π. Each state ΨμKΛΣTsubscriptsuperscriptΨ𝐾ΛΣ𝑇𝜇\Psi^{K\Lambda\Sigma T}_{\mu}roman_Ψ start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT entering the expansion of the 4N wave function must be antisymmetric under the exchange of any pair of particles. To this aim it is sufficient to consider states such that

ΦμKΛΣT(i,j;k;l)=ΦμKΛΣT(j,i;k;l),subscriptsuperscriptΦ𝐾ΛΣ𝑇𝜇𝑖𝑗𝑘𝑙subscriptsuperscriptΦ𝐾ΛΣ𝑇𝜇𝑗𝑖𝑘𝑙\Phi^{K\Lambda\Sigma T}_{\mu}(i,j;k;l)=-\Phi^{K\Lambda\Sigma T}_{\mu}(j,i;k;l)\ ,roman_Φ start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_i , italic_j ; italic_k ; italic_l ) = - roman_Φ start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_j , italic_i ; italic_k ; italic_l ) , (9)

which is fulfilled when the condition

3+Sa+Ta=odd,subscript3subscript𝑆𝑎subscript𝑇𝑎odd\ell_{3}+S_{a}+T_{a}={\rm odd}\ ,roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + italic_S start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + italic_T start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT = roman_odd , (10)

is satisfied. Note that many of the antisymmetric states ΨμKΛΣTsubscriptsuperscriptΨ𝐾ΛΣ𝑇𝜇\Psi^{K\Lambda\Sigma T}_{\mu}roman_Ψ start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT are linearly dependent between themselves.

The 4N wave function can be finally written as

ΨC=KΛΣTμuKΛΣTμ(ρ)ΨμKΛΣT.,subscriptΨ𝐶subscript𝐾ΛΣ𝑇subscript𝜇subscript𝑢𝐾ΛΣ𝑇𝜇𝜌superscriptsubscriptΨ𝜇𝐾ΛΣ𝑇\Psi_{C}=\sum_{K\Lambda\Sigma T}\sum_{\mu}u_{K\Lambda\Sigma T\mu}(\rho)\Psi_{% \mu}^{K\Lambda\Sigma T}\ .,roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT italic_K roman_Λ roman_Σ italic_T italic_μ end_POSTSUBSCRIPT ( italic_ρ ) roman_Ψ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K roman_Λ roman_Σ italic_T end_POSTSUPERSCRIPT . , (11)

where the sum is restricted only to the linearly independent states. This expansion can be used to compute either a bound-state wave function or the “internal” part of the scattering wave function (see next subsection). We have found convenient to expand the hyperradial functions uKΛΣTμ(ρ)subscript𝑢𝐾ΛΣ𝑇𝜇𝜌u_{K\Lambda\Sigma T\mu}(\rho)italic_u start_POSTSUBSCRIPT italic_K roman_Λ roman_Σ italic_T italic_μ end_POSTSUBSCRIPT ( italic_ρ ) in a complete set of functions, namely

uKΛΣTμ(ρ)=m=0M1cKΛΣTμmgm(ρ),subscript𝑢𝐾ΛΣ𝑇𝜇𝜌superscriptsubscript𝑚0𝑀1subscript𝑐𝐾ΛΣ𝑇𝜇𝑚subscript𝑔𝑚𝜌u_{K\Lambda\Sigma T\mu}(\rho)=\sum_{m=0}^{M-1}c_{K\Lambda\Sigma T\mu m}\;g_{m}% (\rho)\ ,italic_u start_POSTSUBSCRIPT italic_K roman_Λ roman_Σ italic_T italic_μ end_POSTSUBSCRIPT ( italic_ρ ) = ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_c start_POSTSUBSCRIPT italic_K roman_Λ roman_Σ italic_T italic_μ italic_m end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_ρ ) , (12)

and we have chosen

gm(ρ)=b9m!(m+8)!Lm(8)(bρ)eb2ρ,subscript𝑔𝑚𝜌superscript𝑏9𝑚𝑚8subscriptsuperscript𝐿8𝑚𝑏𝜌superscripte𝑏2𝜌g_{m}(\rho)=\sqrt{b^{9}\frac{m!}{(m+8)!}}\,\,\,L^{(8)}_{m}(b\rho)\,\,{\rm e}^{% -\frac{b}{2}\rho}\ ,italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_ρ ) = square-root start_ARG italic_b start_POSTSUPERSCRIPT 9 end_POSTSUPERSCRIPT divide start_ARG italic_m ! end_ARG start_ARG ( italic_m + 8 ) ! end_ARG end_ARG italic_L start_POSTSUPERSCRIPT ( 8 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_b italic_ρ ) roman_e start_POSTSUPERSCRIPT - divide start_ARG italic_b end_ARG start_ARG 2 end_ARG italic_ρ end_POSTSUPERSCRIPT , (13)

where Lm(8)(bρ)subscriptsuperscript𝐿8𝑚𝑏𝜌L^{(8)}_{m}(b\rho)italic_L start_POSTSUPERSCRIPT ( 8 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_b italic_ρ ) are Laguerre polynomials [33] and b𝑏bitalic_b is a parameter to be variationally optimized.

One of the problem we have to face is that the number of linearly independent states is still very high, and increases noticeably with K𝐾Kitalic_K. In order to reduce the number of states to be included in the expansion, we adopt the same strategy as described in Refs. [27, 30]. Namely, we divide the basis in classes, depending on the value of the quantity =1+2+3subscript1subscript2subscript3\mathcal{L}=\ell_{1}+\ell_{2}+\ell_{3}caligraphic_L = roman_ℓ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_ℓ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and the values of n2subscript𝑛2n_{2}italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, n3subscript𝑛3n_{3}italic_n start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, see Section 3 of Ref. [27] for the detailed definition of the classes. Hereafter, we consider only the definition of the classes of HH functions for the state having total angular momentum and parity Jπ=0+superscript𝐽𝜋superscript0J^{\pi}=0^{+}italic_J start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT and total isospin T=0𝑇0T=0italic_T = 0, which is the case we are interested in. In fact, in the present work, we can safely disregard HH states with T>0𝑇0T>0italic_T > 0.

Briefly, the first two classes include the states with =00{\cal L}=0caligraphic_L = 0 and a selected set of states with =22{\cal L}=2caligraphic_L = 2, the third class the remaining states with =22{\cal L}=2caligraphic_L = 2 and the fourth and the fifth classes the states with =44{\cal L}=4caligraphic_L = 4 and =66{\cal L}=6caligraphic_L = 6, respectively. We have found that the convergence of the various quantities depends critically on the value of {\cal L}caligraphic_L. Classes with low values of {\cal L}caligraphic_L, typically =0,202{\cal L}=0,2caligraphic_L = 0 , 2, require the inclusion of HH states with large values of K𝐾Kitalic_K whereas this is not the case for higher values of {\cal L}caligraphic_L. The contributions of the fourth and fifth classes to either the binding energy or to scattering observables becomes smaller and smaller as K𝐾Kitalic_K is increased, in particular the contribution of the fifth class is practically negligible. This is due to the fact that states with large values of {\cal L}caligraphic_L suffer for a high centrifugal barrier describing with a low probability particles close to each other. This reduces the importance of the corresponding HH states (we remember that the nuclear force is short range). In the following, we report the results obtained using different basis sets of HH functions, each of one corresponding to different values of Kαsubscript𝐾𝛼K_{\alpha}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, α=1,5𝛼15\alpha=1,5italic_α = 1 , 5. These values specify that in the class α𝛼\alphaitalic_α, only states of grand angular quantum number KKα𝐾subscript𝐾𝛼K\leq K_{\alpha}italic_K ≤ italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT are included. The values adopted in the present work are given in Table 1, together with the total number of HH functions included in the expansion.

The ground state is calculated using the expansion given in Eq.(11), and expanding the hyperradial functions as in Eq.(12). In order to describe with great accuracy this state the values of Kαsubscript𝐾𝛼K_{\alpha}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT given in the upper part of Table 1 can be used. For the scattering state, the function given in Eq. (11) is used to describe the internal part of the wave function, namely the region where all the four nucleons are close to each other (the full wave function will be detailed in the next subsection). In this case the expansion has to describe the transition between the internal region and the asymptotic region in which the clusters are well separated with the consequence that one needs to increase K15subscript𝐾15K_{1-5}italic_K start_POSTSUBSCRIPT 1 - 5 end_POSTSUBSCRIPT. For both the ground state and the scattering states, we provide three basis sets with increasing values of Kαsubscript𝐾𝛼K_{\alpha}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, see Table 1. The various basis sets will be used in Sect. 3 to check the convergence of the results.

Table 1: Different basis sets of HH functions used in this calculation. Each basis set is specified by giving the maximum grand angular quantum numbers for the various classes of HH states included in ΨCsubscriptΨ𝐶\Psi_{C}roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. The value of Kαsubscript𝐾𝛼K_{\alpha}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT for the class α𝛼\alphaitalic_α means that we have included all HH functions with KKα𝐾subscript𝐾𝛼K\leq K_{\alpha}italic_K ≤ italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT (for the definition of the classes, see Refs. [27, 30]).
For the ground state
set K1subscript𝐾1K_{1}italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT K2subscript𝐾2K_{2}italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT K3subscript𝐾3K_{3}italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT K4subscript𝐾4K_{4}italic_K start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT K5subscript𝐾5K_{5}italic_K start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT N𝑁Nitalic_N
A1 28 20 20 20 0 02,498
A2 30 22 22 22 0 03,145
A3 32 24 24 24 0 03,871
For the scattering states
set K1subscript𝐾1K_{1}italic_K start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT K2subscript𝐾2K_{2}italic_K start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT K3subscript𝐾3K_{3}italic_K start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT K4subscript𝐾4K_{4}italic_K start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT K5subscript𝐾5K_{5}italic_K start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT N𝑁Nitalic_N
B1 46 42 32 40 20 07,548
B2 48 44 34 42 22 08,838
B3 50 46 36 44 24 10,053

2.2 The scattering wave function

In the following, a specific clusterization A+B𝐴𝐵A+Bitalic_A + italic_B will be denoted by the index γ𝛾\gammaitalic_γ. More specifically, γ=1𝛾1\gamma=1italic_γ = 1 (2222) stands for the clusterization p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H (n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He). Let us consider a scattering state with total angular momentum quantum number JJz𝐽subscript𝐽𝑧JJ_{z}italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, and parity π𝜋\piitalic_π. Here, we are interested only on the case where Jπ=0+superscript𝐽𝜋superscript0J^{\pi}=0^{+}italic_J start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, so in the following these values are understood. The wave function ΨγLSsuperscriptΨ𝛾𝐿𝑆\Psi^{\gamma LS}roman_Ψ start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT describing incoming clusters γ𝛾\gammaitalic_γ with relative orbital angular momentum L𝐿Litalic_L and channel spin S𝑆Sitalic_S, coupled to JJz𝐽subscript𝐽𝑧JJ_{z}italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT, can be written as

ΨγLS=ΨCγLS+ΨAγLS,superscriptΨ𝛾𝐿𝑆superscriptsubscriptΨ𝐶𝛾𝐿𝑆superscriptsubscriptΨ𝐴𝛾𝐿𝑆\Psi^{\gamma LS}=\Psi_{C}^{\gamma LS}+\Psi_{A}^{\gamma LS}\ ,roman_Ψ start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT = roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT + roman_Ψ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT , (14)

where the core part ΨCγLSsuperscriptsubscriptΨ𝐶𝛾𝐿𝑆\Psi_{C}^{\gamma LS}roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT describes the four particles when they are close to each other; it can be conveniently expanded as in Eq. (11). The other term, ΨAγLSsuperscriptsubscriptΨ𝐴𝛾𝐿𝑆\Psi_{A}^{\gamma LS}roman_Ψ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT, describes the relative motion of the two clusters in the asymptotic regions, where the mutual interaction is negligible (except for the long-range Coulomb interaction), and it can be decomposed as a linear combination of the following functions

ΩγLSFsuperscriptsubscriptΩ𝛾𝐿𝑆𝐹\displaystyle\Omega_{\gamma LS}^{F}roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT =\displaystyle== 14𝒜{[YL(𝒚^γ)[Φγ(ijk)sl]S]JJzFL(ηγ,qγyγ)qγyγ},14𝒜subscriptdelimited-[]subscript𝑌𝐿subscript^𝒚𝛾subscriptdelimited-[]subscriptΦ𝛾𝑖𝑗𝑘subscript𝑠𝑙𝑆𝐽subscript𝐽𝑧subscript𝐹𝐿subscript𝜂𝛾subscript𝑞𝛾subscript𝑦𝛾subscript𝑞𝛾subscript𝑦𝛾\displaystyle{1\over\sqrt{4}}{\cal A}\bigg{\{}\Bigl{[}Y_{L}(\hat{\bm{y}}_{% \gamma})[\Phi_{\gamma}(ijk)s_{l}]_{S}\Bigr{]}_{JJ_{z}}{\frac{F_{L}(\eta_{% \gamma},q_{\gamma}y_{\gamma})}{q_{\gamma}y_{\gamma}}}\bigg{\}}\ ,divide start_ARG 1 end_ARG start_ARG square-root start_ARG 4 end_ARG end_ARG caligraphic_A { [ italic_Y start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_y end_ARG start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) [ roman_Φ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) italic_s start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT , italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) end_ARG start_ARG italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG } , (15)
ΩγLSGsuperscriptsubscriptΩ𝛾𝐿𝑆𝐺\displaystyle\Omega_{\gamma LS}^{G}roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT =\displaystyle== 14𝒜{[YL(𝒚^γ)[Φγ(ijk)sl]S]JJzGL(ηγ,qγyγ)qγyγ(1eβyγ)2L+1},14𝒜subscriptdelimited-[]subscript𝑌𝐿subscript^𝒚𝛾subscriptdelimited-[]subscriptΦ𝛾𝑖𝑗𝑘subscript𝑠𝑙𝑆𝐽subscript𝐽𝑧subscript𝐺𝐿subscript𝜂𝛾subscript𝑞𝛾subscript𝑦𝛾subscript𝑞𝛾subscript𝑦𝛾superscript1superscript𝑒𝛽subscript𝑦𝛾2𝐿1\displaystyle{1\over\sqrt{4}}{\cal A}\bigg{\{}\Bigl{[}Y_{L}(\hat{\bm{y}}_{% \gamma})[\Phi_{\gamma}(ijk)s_{l}]_{S}\Bigr{]}_{JJ_{z}}\frac{G_{L}(\eta_{\gamma% },q_{\gamma}y_{\gamma})}{q_{\gamma}y_{\gamma}}(1-e^{-\beta y_{\gamma}})^{2L+1}% \bigg{\}}\ ,divide start_ARG 1 end_ARG start_ARG square-root start_ARG 4 end_ARG end_ARG caligraphic_A { [ italic_Y start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_y end_ARG start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) [ roman_Φ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) italic_s start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT , italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) end_ARG start_ARG italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG ( 1 - italic_e start_POSTSUPERSCRIPT - italic_β italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 italic_L + 1 end_POSTSUPERSCRIPT } , (16)

where yγsubscript𝑦𝛾y_{\gamma}italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is the distance between the center-of-mass (c.m.) of clusters A𝐴Aitalic_A and B𝐵Bitalic_B, qγsubscript𝑞𝛾q_{\gamma}italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is the magnitude of the relative momentum between the two clusters, and Φγ(ijk)subscriptΦ𝛾𝑖𝑗𝑘\Phi_{\gamma}(ijk)roman_Φ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) are the bound state wave functions (clearly, Φ1ΦH3subscriptΦ1subscriptΦsuperscriptH3\Phi_{1}\equiv\Phi_{{}^{3}{\rm H}}roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≡ roman_Φ start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H end_POSTSUBSCRIPT and Φ2ΦHe3subscriptΦ2subscriptΦsuperscriptHe3\Phi_{2}\equiv\Phi_{{}^{3}{\rm He}}roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≡ roman_Φ start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He end_POSTSUBSCRIPT). In the present work, the trinucleon bound state wave functions Φγ(ijk)subscriptΦ𝛾𝑖𝑗𝑘\Phi_{\gamma}(ijk)roman_Φ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) (for both He3superscriptHe3{{}^{3}{\rm He}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He and H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H) are described using the HH method [24, 34]. Moreover, the channel spin S𝑆Sitalic_S is obtained coupling the angular momentum of the two clusters. In our case, we have S=0,1𝑆01S=0,1italic_S = 0 , 1. The symbol 𝒜𝒜{\cal A}caligraphic_A means that the expression between the curly braces has to be properly antisymmetrized, summing over the permutations of the particles (ijk),l𝑖𝑗𝑘𝑙(ijk),l( italic_i italic_j italic_k ) , italic_l with l=1,,4𝑙14l=1,\ldots,4italic_l = 1 , … , 4 (Φγ(ijk)subscriptΦ𝛾𝑖𝑗𝑘\Phi_{\gamma}(ijk)roman_Φ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) are already antisymmetric under the exchange of ijk𝑖𝑗𝑘ijkitalic_i italic_j italic_k).

The c.m. kinetic energy Eγsubscript𝐸𝛾E_{\gamma}italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT in the channel γ𝛾\gammaitalic_γ is defined by the relations

ET=B(H3)+E1=B(He3)+E2subscript𝐸𝑇𝐵superscriptH3subscript𝐸1𝐵superscriptHe3subscript𝐸2E_{T}=-B({{}^{3}{\rm H}})+E_{1}=-B({{}^{3}{\rm He}})+E_{2}\,italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = - italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H ) + italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He ) + italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (17)

where ETsubscript𝐸𝑇E_{T}italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT is the c.m. energy of the state and B(H3)𝐵superscriptH3B({{}^{3}{\rm H}})italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H ) and B(He3)𝐵superscriptHe3B({{}^{3}{\rm He}})italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He ) the binding energies of H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H and He3superscriptHe3{{}^{3}{\rm He}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He, respectively. Depending on the value of ETsubscript𝐸𝑇E_{T}italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT, Eγsubscript𝐸𝛾E_{\gamma}italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT can be either positive or negative. In the present paper, we are interested in the range of energies B(H3)ET2B(d)𝐵superscriptH3subscript𝐸𝑇2𝐵𝑑-B({{}^{3}{\rm H}})\leq E_{T}\leq-2B(d)- italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H ) ≤ italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≤ - 2 italic_B ( italic_d ), where B(d)𝐵𝑑B(d)italic_B ( italic_d ) is the deuteron binding energy. Namely, we are below the opening of the d+d𝑑𝑑d+ditalic_d + italic_d channel. When Eγ>0subscript𝐸𝛾0E_{\gamma}>0italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT > 0, the wave number qγsubscript𝑞𝛾q_{\gamma}italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is defined as

Eγ=qγ22μγ,1μγ=1MA+1MB,formulae-sequencesubscript𝐸𝛾superscriptsubscript𝑞𝛾22subscript𝜇𝛾1subscript𝜇𝛾1subscript𝑀𝐴1subscript𝑀𝐵E_{\gamma}={q_{\gamma}^{2}\over 2\mu_{\gamma}}\ ,\qquad{1\over\mu_{\gamma}}={1% \over M_{A}}+{1\over M_{B}}\ ,italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = divide start_ARG italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG , divide start_ARG 1 end_ARG start_ARG italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG , (18)

and MXsubscript𝑀𝑋M_{X}italic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT is the mass of the cluster X𝑋Xitalic_X. Clearly, in the case of a single nucleon MX=Msubscript𝑀𝑋𝑀M_{X}=Mitalic_M start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT = italic_M. In the present case E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is always positive, while E2<0subscript𝐸20E_{2}<0italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 0 for B(H3)ETB(He3)𝐵superscriptH3subscript𝐸𝑇𝐵superscriptHe3-B({{}^{3}{\rm H}})\leq E_{T}\leq-B({{}^{3}{\rm He}})- italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H ) ≤ italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ≤ - italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He ) (see below to see how this case has been treated).

In Eqs. (15) and (16), the functions FLsubscript𝐹𝐿F_{L}italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and GLsubscript𝐺𝐿G_{L}italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT describe the asymptotic radial motion of the clusters A𝐴Aitalic_A and B𝐵Bitalic_B. If the two clusters are composed of ZAsubscript𝑍𝐴Z_{A}italic_Z start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT and ZBsubscript𝑍𝐵Z_{B}italic_Z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT protons, respectively, the parameter ηγsubscript𝜂𝛾\eta_{\gamma}italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is defined as ηγ=μγZAZBe2/qγsubscript𝜂𝛾subscript𝜇𝛾subscript𝑍𝐴subscript𝑍𝐵superscript𝑒2subscript𝑞𝛾\eta_{\gamma}=\mu_{\gamma}Z_{A}Z_{B}e^{2}/q_{\gamma}italic_η start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_Z start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_Z start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_q start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT, where e2=1.43997superscript𝑒21.43997e^{2}=1.43997italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1.43997 MeV fm. The functions FL(η,qy)subscript𝐹𝐿𝜂𝑞𝑦F_{L}(\eta,qy)italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) and GL(η,qy)subscript𝐺𝐿𝜂𝑞𝑦G_{L}(\eta,qy)italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) are the regular and irregular Coulomb function, respectively. The term (1eβyγ)2L+1superscript1superscript𝑒𝛽subscript𝑦𝛾2𝐿1(1-e^{-\beta y_{\gamma}})^{2L+1}( 1 - italic_e start_POSTSUPERSCRIPT - italic_β italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 italic_L + 1 end_POSTSUPERSCRIPT is used to “regularize” the irregular Coulomb function for yγ0subscript𝑦𝛾0y_{\gamma}\rightarrow 0italic_y start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT → 0 (see Ref. [30] for more details), but it does not affect the long range behavior. The parameter β𝛽\betaitalic_β is usually chosen to be β=0.25𝛽0.25\beta=0.25italic_β = 0.25 fm-1. Let us also define

ΩγLS±=ΩγLSG±iΩγLSF,superscriptsubscriptΩ𝛾𝐿𝑆plus-or-minusplus-or-minussuperscriptsubscriptΩ𝛾𝐿𝑆𝐺isuperscriptsubscriptΩ𝛾𝐿𝑆𝐹\Omega_{\gamma LS}^{\pm}=\Omega_{\gamma LS}^{G}\pm{\rm i}\Omega_{\gamma LS}^{F% }\ ,roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT = roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_G end_POSTSUPERSCRIPT ± roman_i roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT , (19)

where ΩγLS+superscriptsubscriptΩ𝛾𝐿𝑆\Omega_{\gamma LS}^{+}roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT (ΩγLSsuperscriptsubscriptΩ𝛾𝐿𝑆\Omega_{\gamma LS}^{-}roman_Ω start_POSTSUBSCRIPT italic_γ italic_L italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT) describes the outgoing (ingoing) relative motion of the clusters specified by γ𝛾\gammaitalic_γ. In fact, their asymptotic behavious is described as

GL(η,qy)±iFL(η,qy)e±i(qyLπ/2ηln(2qy)+σL),plus-or-minussubscript𝐺𝐿𝜂𝑞𝑦isubscript𝐹𝐿𝜂𝑞𝑦superscript𝑒plus-or-minusi𝑞𝑦𝐿𝜋2𝜂2𝑞𝑦subscript𝜎𝐿G_{L}(\eta,qy)\pm{\rm i}F_{L}(\eta,qy)\rightarrow e^{\pm{\rm i}\bigl{(}qy-L\pi% /2-\eta\ln(2qy)+\sigma_{L}\bigr{)}}\ ,italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) ± roman_i italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) → italic_e start_POSTSUPERSCRIPT ± roman_i ( italic_q italic_y - italic_L italic_π / 2 - italic_η roman_ln ( 2 italic_q italic_y ) + italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT , (20)

where σLsubscript𝜎𝐿\sigma_{L}italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT is the Coulomb phase shift.

If one of the clusters is a neutron (case γ=2𝛾2\gamma=2italic_γ = 2), then η=0𝜂0\eta=0italic_η = 0 and the functions FLsubscript𝐹𝐿F_{L}italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and GLsubscript𝐺𝐿G_{L}italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT reduce to

FL(η,qy)qyjL(qy),GL(η,qy)qyyL(qy),formulae-sequencesubscript𝐹𝐿𝜂𝑞𝑦𝑞𝑦subscript𝑗𝐿𝑞𝑦subscript𝐺𝐿𝜂𝑞𝑦𝑞𝑦subscript𝑦𝐿𝑞𝑦{F_{L}(\eta,qy)\over qy}\rightarrow j_{L}(qy)\ ,\qquad{G_{L}(\eta,qy)\over qy}% \rightarrow-y_{L}(qy)\ ,divide start_ARG italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) end_ARG start_ARG italic_q italic_y end_ARG → italic_j start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_q italic_y ) , divide start_ARG italic_G start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_η , italic_q italic_y ) end_ARG start_ARG italic_q italic_y end_ARG → - italic_y start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_q italic_y ) , (21)

where jLsubscript𝑗𝐿j_{L}italic_j start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and yLsubscript𝑦𝐿y_{L}italic_y start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT are the regular and irregular spherical Bessel functions defined, for example, in Ref. [33]. Finally, the general expression of ΨAγLSsuperscriptsubscriptΨ𝐴𝛾𝐿𝑆\Psi_{A}^{\gamma LS}roman_Ψ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ italic_L italic_S end_POSTSUPERSCRIPT entering Eq. (14) is

ΨAγ,L,S=Ωγ,L,SF+γ,L,S𝒯L,S;L,Sγ,γΩγ,L,S+,superscriptsubscriptΨ𝐴𝛾𝐿𝑆superscriptsubscriptΩ𝛾𝐿𝑆𝐹subscriptsuperscript𝛾superscript𝐿superscript𝑆subscriptsuperscript𝒯𝛾superscript𝛾𝐿𝑆superscript𝐿superscript𝑆superscriptsubscriptΩsuperscript𝛾superscript𝐿superscript𝑆\Psi_{A}^{\gamma,L,S}=\Omega_{\gamma,L,S}^{F}+\sum_{\gamma^{\prime},L^{\prime}% ,S^{\prime}}{\cal T}^{\gamma,\gamma^{\prime}}_{L,S;L^{\prime},S^{\prime}}% \Omega_{\gamma^{\prime},L^{\prime},S^{\prime}}^{+}\ ,roman_Ψ start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_γ , italic_L , italic_S end_POSTSUPERSCRIPT = roman_Ω start_POSTSUBSCRIPT italic_γ , italic_L , italic_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT + ∑ start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT caligraphic_T start_POSTSUPERSCRIPT italic_γ , italic_γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L , italic_S ; italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT , (22)

where the parameters 𝒯LS,LSγ,γsubscriptsuperscript𝒯𝛾superscript𝛾𝐿𝑆superscript𝐿superscript𝑆{\cal T}^{\gamma,\gamma^{\prime}}_{LS,L^{\prime}S^{\prime}}caligraphic_T start_POSTSUPERSCRIPT italic_γ , italic_γ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_S , italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT are the so-called T𝑇Titalic_T-matrix elements. Of course, the sum over Lsuperscript𝐿L^{\prime}italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and Ssuperscript𝑆S^{\prime}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is over all values compatible with the given J𝐽Jitalic_J and parity π𝜋\piitalic_π. In the present case, with Jπ=0+superscript𝐽𝜋superscript0J^{\pi}=0^{+}italic_J start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT = 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT, we have simply L,S=L,S=0,0formulae-sequence𝐿𝑆superscript𝐿superscript𝑆00L,S=L^{\prime},S^{\prime}=0,0italic_L , italic_S = italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 0 , 0.

Limiting ourselves to energies below the opening of the d+d𝑑𝑑d+ditalic_d + italic_d channels, the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H scattering wave function in the 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT state is given by

Ψ1,0,0(E1)=ΨC1,0,0+Ω1,0,0F+𝒯0,0;0,01,1Ω1,0,0++𝒯0,0;0,01,2Ω2,0,0+.superscriptΨ100subscript𝐸1superscriptsubscriptΨ𝐶100superscriptsubscriptΩ100𝐹subscriptsuperscript𝒯110000superscriptsubscriptΩ100subscriptsuperscript𝒯120000superscriptsubscriptΩ200\Psi^{1,0,0}(E_{1})=\Psi_{C}^{1,0,0}+\Omega_{1,0,0}^{F}+{\cal T}^{1,1}_{0,0;0,% 0}\Omega_{1,0,0}^{+}+{\cal T}^{1,2}_{0,0;0,0}\Omega_{2,0,0}^{+}\ .roman_Ψ start_POSTSUPERSCRIPT 1 , 0 , 0 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 , 0 , 0 end_POSTSUPERSCRIPT + roman_Ω start_POSTSUBSCRIPT 1 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT + caligraphic_T start_POSTSUPERSCRIPT 1 , 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 ; 0 , 0 end_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT 1 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT + caligraphic_T start_POSTSUPERSCRIPT 1 , 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 ; 0 , 0 end_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT . (23)

Here we have included the term Ω2,0,0+superscriptsubscriptΩ200\Omega_{2,0,0}^{+}roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold even if the channel is energetically “closed” (namely the energy E2subscript𝐸2E_{2}italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, fixed by the relation ET=BHe3+E2subscript𝐸𝑇subscript𝐵superscriptHe3subscript𝐸2E_{T}=-B_{{{}^{3}{\rm He}}}+E_{2}italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT = - italic_B start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He end_POSTSUBSCRIPT + italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, is such that E2<0subscript𝐸20E_{2}<0italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 0). In this case q2=iα2subscript𝑞2isubscript𝛼2q_{2}={\rm i}\alpha_{2}italic_q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_i italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, where α2=2μ2|E2|subscript𝛼22subscript𝜇2subscript𝐸2\alpha_{2}=\sqrt{2\mu_{2}|E_{2}|}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = square-root start_ARG 2 italic_μ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_ARG, and Ω2,0,0+superscriptsubscriptΩ200\Omega_{2,0,0}^{+}roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT reduces to

Ω2,0,0+=14𝒜{[Y0(𝒚^γ)[Φ2(ijk)sl]0]0,0eα2y2y2(1eβy2)}.superscriptsubscriptΩ20014𝒜subscriptdelimited-[]subscript𝑌0subscript^𝒚𝛾subscriptdelimited-[]subscriptΦ2𝑖𝑗𝑘subscript𝑠𝑙000superscript𝑒subscript𝛼2subscript𝑦2subscript𝑦21superscript𝑒𝛽subscript𝑦2\Omega_{2,0,0}^{+}={1\over\sqrt{4}}{\cal A}\bigg{\{}\Bigl{[}Y_{0}(\hat{\bm{y}}% _{\gamma})[\Phi_{2}(ijk)s_{l}]_{0}\Bigr{]}_{0,0}{e^{-\alpha_{2}y_{2}}\over y_{% 2}}(1-e^{-\beta y_{2}})\bigg{\}}\ .roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 4 end_ARG end_ARG caligraphic_A { [ italic_Y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_y end_ARG start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) [ roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_i italic_j italic_k ) italic_s start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG italic_y start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ( 1 - italic_e start_POSTSUPERSCRIPT - italic_β italic_y start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ) } . (24)

From a computational point of view, the presence of this term below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold is very useful. In fact, as ETB(He3)subscript𝐸𝑇𝐵superscriptHe3E_{T}\rightarrow-B({{}^{3}{\rm He}})italic_E start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT → - italic_B ( start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He ) (from below), α2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT becomes rather small and the component Ω2,0,0+superscriptsubscriptΩ200\Omega_{2,0,0}^{+}roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT will have a long-range tail, in spite of the exponential term eα2y2superscript𝑒subscript𝛼2subscript𝑦2e^{-\alpha_{2}y_{2}}italic_e start_POSTSUPERSCRIPT - italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. Configurations of this type are rather difficult to be constructed in terms of the “internal” part ΨCsubscriptΨ𝐶\Psi_{C}roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. Therefore, including this term in the variational wave function is decisive in order to solve the convergence problem found for p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H scattering in Ref. [30] below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold.

Above the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold, we have to consider also the wave function with the term Ω2,0,0FsuperscriptsubscriptΩ200𝐹\Omega_{2,0,0}^{F}roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT, namely

Ψ2,0,0(E2)=ΨC2,0,0+Ω2,0,0F+𝒯0,0;0,02,1Ω1,0,0++𝒯0,0;0,02,2Ω2,0,0+.superscriptΨ200subscript𝐸2superscriptsubscriptΨ𝐶200superscriptsubscriptΩ200𝐹subscriptsuperscript𝒯210000superscriptsubscriptΩ100subscriptsuperscript𝒯220000superscriptsubscriptΩ200\Psi^{2,0,0}(E_{2})=\Psi_{C}^{2,0,0}+\Omega_{2,0,0}^{F}+{\cal T}^{2,1}_{0,0;0,% 0}\Omega_{1,0,0}^{+}+{\cal T}^{2,2}_{0,0;0,0}\Omega_{2,0,0}^{+}\ .roman_Ψ start_POSTSUPERSCRIPT 2 , 0 , 0 end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = roman_Ψ start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 , 0 , 0 end_POSTSUPERSCRIPT + roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_F end_POSTSUPERSCRIPT + caligraphic_T start_POSTSUPERSCRIPT 2 , 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 ; 0 , 0 end_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT 1 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT + caligraphic_T start_POSTSUPERSCRIPT 2 , 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 ; 0 , 0 end_POSTSUBSCRIPT roman_Ω start_POSTSUBSCRIPT 2 , 0 , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT . (25)

We remember that the relation between E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and E2subscript𝐸2E_{2}italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is given in Eq. (17).

2.3 The monopole form factor

As discussed in the Introduction, the monopole form factor is extracted from the e+He4𝑒superscriptHe4e+{{}^{4}{\rm He}}italic_e + start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He cross section. Below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold, the process to be considered is He4(e,ep)H3superscriptHe4𝑒superscript𝑒𝑝superscriptH3{{}^{4}{\rm He}}(e,e^{\prime}p){{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, while above that threshold, the contribution of the process He4(e,en)He3superscriptHe4𝑒superscript𝑒𝑛superscriptHe3{{}^{4}{\rm He}}(e,e^{\prime}n){{}^{3}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_n ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He has also to be considered. However, for the sake of simplicity, in the present subsection we work out the cross section for the He4(e,ep)H3superscriptHe4𝑒superscript𝑒𝑝superscriptH3{{}^{4}{\rm He}}(e,e^{\prime}p){{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H process only, giving the complete expression of FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) at the end. In any case, we restrict our study to energies below the d+d𝑑𝑑d+ditalic_d + italic_d threshold.

In the following 𝒌𝒌{\bm{k}}bold_italic_k and s𝑠sitalic_s (𝒌superscript𝒌{\bm{k}}^{\prime}bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ssuperscript𝑠s^{\prime}italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) are the momentum and spin projection of the incoming (outgoing) electron. The He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He is considered at rest, while the final proton (H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H) has momentum 𝒑1subscript𝒑1{\bm{p}}_{1}bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (𝒑3subscript𝒑3{\bm{p}}_{3}bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT) and spin projection m1subscript𝑚1m_{1}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (m3subscript𝑚3m_{3}italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT). Clearly 𝒒=𝒌𝒌𝒒𝒌superscript𝒌{\bm{q}}={\bm{k}}-{\bm{k}}^{\prime}bold_italic_q = bold_italic_k - bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ω=kk𝜔𝑘superscript𝑘\omega=k-k^{\prime}italic_ω = italic_k - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are the momentum and energy transfer. The electrons are ultrarelativistic, hence we will consider them as massless. For example, in the MAMI experiment, the incident beam energy was in the range 430-780 MeV. As discussed above, ω20𝜔20\omega\approx 20italic_ω ≈ 20 MeV, so also the final electrons can be safely considered as ultrarelativistic.

The cross section can be calculated using the Fermi Golden Rule

dσ=12ssm1,m3𝒌,𝒑1,𝒑32πδ(EiEf)|Tfi|2δ𝒌,𝒌+𝒑1+𝒑3,𝑑𝜎12subscript𝑠superscript𝑠subscriptsubscript𝑚1subscript𝑚3subscriptsuperscript𝒌subscript𝒑1subscript𝒑32𝜋𝛿subscript𝐸𝑖subscript𝐸𝑓superscriptsubscript𝑇𝑓𝑖2subscript𝛿𝒌superscript𝒌subscript𝒑1subscript𝒑3d\sigma={1\over 2}\sum_{ss^{\prime}}\sum_{m_{1},m_{3}}\sum_{{\bm{k}}^{\prime},% {\bm{p}}_{1},{\bm{p}}_{3}}2\pi\delta(E_{i}-E_{f})|T_{fi}|^{2}\delta_{{\bm{k}},% {\bm{k}}^{\prime}+{\bm{p}}_{1}+{\bm{p}}_{3}}\ ,italic_d italic_σ = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_s italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT 2 italic_π italic_δ ( italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) | italic_T start_POSTSUBSCRIPT italic_f italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT bold_italic_k , bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT , (26)

where Ei=k+M4subscript𝐸𝑖𝑘subscript𝑀4E_{i}=k+M_{4}italic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_k + italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and

Ef=k+M3+𝒑322M3+M+𝒑122M,subscript𝐸𝑓superscript𝑘subscript𝑀3superscriptsubscript𝒑322subscript𝑀3𝑀superscriptsubscript𝒑122𝑀E_{f}=k^{\prime}+M_{3}+{{\bm{p}}_{3}^{2}\over 2M_{3}}+M+{{\bm{p}}_{1}^{2}\over 2% M}\ ,italic_E start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + divide start_ARG bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG + italic_M + divide start_ARG bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG , (27)

M𝑀Mitalic_M, M3subscript𝑀3M_{3}italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, and M4subscript𝑀4M_{4}italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT being the nucleon, H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, and He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He masses, respectively. In the previous expression, we can safely use the non relativistic expression for the proton and H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H kinetic energies. The transition matrix element Tfisubscript𝑇𝑓𝑖T_{fi}italic_T start_POSTSUBSCRIPT italic_f italic_i end_POSTSUBSCRIPT is given by

Tfi=4παHμμ(Q2),subscript𝑇𝑓𝑖4𝜋𝛼superscript𝐻𝜇subscript𝜇superscript𝑄2T_{fi}=4\pi\alpha{H^{\mu}\ell_{\mu}\over(-Q^{2})}\ ,italic_T start_POSTSUBSCRIPT italic_f italic_i end_POSTSUBSCRIPT = 4 italic_π italic_α divide start_ARG italic_H start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_ARG start_ARG ( - italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG , (28)

where Hμsuperscript𝐻𝜇H^{\mu}italic_H start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and μsuperscript𝜇\ell^{\mu}roman_ℓ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT are the hadronic and leptonic matrix elements, respectively, and Q2=q2ω2superscript𝑄2superscript𝑞2superscript𝜔2Q^{2}=q^{2}-\omega^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Above, α𝛼\alphaitalic_α is the fine structure constant, α1/137𝛼1137\alpha\approx 1/137italic_α ≈ 1 / 137. The hadronic matrix element is decomposed as usual in multipoles. We are interested to the transition 00+01+subscriptsuperscript00subscriptsuperscript010^{+}_{0}\rightarrow 0^{+}_{1}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT → 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT induced by the electron scattering, therefore, we only need to compute the matrix element of the charge operator ρ^(𝒒)^𝜌𝒒\hat{\rho}({\bm{q}})over^ start_ARG italic_ρ end_ARG ( bold_italic_q ), which at leading order (or in impulse approximation) is simply given by

ρ^(𝒒)=j=14fp(q)1+τz(j)2ei𝒒𝒓j,^𝜌𝒒superscriptsubscript𝑗14subscript𝑓𝑝𝑞1subscript𝜏𝑧𝑗2superscript𝑒𝑖𝒒subscript𝒓𝑗\hat{\rho}({\bm{q}})=\sum_{j=1}^{4}f_{p}(q){1+\tau_{z}(j)\over 2}e^{i{\bm{q}}% \cdot{\bm{r}}_{j}}\ ,over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( italic_q ) divide start_ARG 1 + italic_τ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( italic_j ) end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i bold_italic_q ⋅ bold_italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (29)

where fp(q)subscript𝑓𝑝𝑞f_{p}(q)italic_f start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( italic_q ) is the proton form factor chosen to be [35]

fp(q)=1(1+0.056q2)2,subscript𝑓𝑝𝑞1superscript10.056superscript𝑞22f_{p}(q)={1\over(1+0.056\;q^{2})^{2}}\ ,italic_f start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( italic_q ) = divide start_ARG 1 end_ARG start_ARG ( 1 + 0.056 italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (30)

q𝑞qitalic_q being given in fm-1. In principle, the proton form factor should depend on Q𝑄Qitalic_Q, with Q2=q2ω2superscript𝑄2superscript𝑞2superscript𝜔2Q^{2}=q^{2}-\omega^{2}italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, ω𝜔\omegaitalic_ω being the energy transfer. However, in the process under consideration ω20𝜔20\omega\approx 20italic_ω ≈ 20 MeV, while the typical values of q𝑞qitalic_q are of the order of 1111 fm1200{}^{-1}\approx 200start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT ≈ 200 MeV, so we can safely neglect ω2superscript𝜔2\omega^{2}italic_ω start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT with respect to q2superscript𝑞2q^{2}italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

In the calculation, we will consider also the contribution of various corrections to the operator given in Eq. (29), as relativistic corrections and meson-exchange terms, derived within χ𝜒\chiitalic_χEFT [36]. As we will see, these latter contributions are small but sizable, in particular for large values of q𝑞qitalic_q. The wave function of the final p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H state can be written as

Ψm3,m11+3(𝒑)subscriptsuperscriptΨ13subscript𝑚3subscript𝑚1𝒑\displaystyle\Psi^{1+3}_{m_{3},m_{1}}({\bm{p}})roman_Ψ start_POSTSUPERSCRIPT 1 + 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( bold_italic_p ) =\displaystyle== SSzLMJJz(12,m3,12,m1|S,Sz)(L,M,S,Sz|J,Jz)subscript𝑆subscript𝑆𝑧𝐿𝑀𝐽subscript𝐽𝑧12subscript𝑚312conditionalsubscript𝑚1𝑆subscript𝑆𝑧𝐿𝑀𝑆conditionalsubscript𝑆𝑧𝐽subscript𝐽𝑧\displaystyle\sum_{SS_{z}LMJJ_{z}}({1\over 2},m_{3},{1\over 2},m_{1}|S,S_{z})(% L,M,S,S_{z}|J,J_{z})∑ start_POSTSUBSCRIPT italic_S italic_S start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_L italic_M italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_S , italic_S start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) ( italic_L , italic_M , italic_S , italic_S start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT | italic_J , italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) (31)
×4πiLeiσLYLM(𝒑^)ΨJJz1,L,S(E1),absent4𝜋superscript𝑖𝐿superscript𝑒𝑖subscript𝜎𝐿subscriptsuperscript𝑌𝐿𝑀^𝒑subscriptsuperscriptΨ1𝐿𝑆𝐽subscript𝐽𝑧subscript𝐸1\displaystyle\times 4\pi i^{L}e^{i\sigma_{L}}Y^{*}_{LM}(\hat{\bm{p}})\Psi^{1,L% ,S}_{JJ_{z}}(E_{1})\ ,× 4 italic_π italic_i start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_Y start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_M end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_p end_ARG ) roman_Ψ start_POSTSUPERSCRIPT 1 , italic_L , italic_S end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ,

where 𝒑𝒑{\bm{p}}bold_italic_p is the c.m. relative momentum between proton and H3superscriptH3{{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H in the final state, E1=p2/2μ1subscript𝐸1superscript𝑝22subscript𝜇1E_{1}=p^{2}/2\mu_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, μ1subscript𝜇1\mu_{1}italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT being the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H reduced mass, σLsubscript𝜎𝐿\sigma_{L}italic_σ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT is the Coulomb phase shift, and ΨJJz1,L,S(E1)subscriptsuperscriptΨ1𝐿𝑆𝐽subscript𝐽𝑧subscript𝐸1\Psi^{1,L,S}_{JJ_{z}}(E_{1})roman_Ψ start_POSTSUPERSCRIPT 1 , italic_L , italic_S end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) the scattering wave function given in Eq. (23). Note that in this subsection, the dependence on JJz𝐽subscript𝐽𝑧JJ_{z}italic_J italic_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT is explicitly reported. Now, as discussed above, we can reduce the calculation considering only the product H00superscript𝐻0subscript0H^{0}\ell_{0}italic_H start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and the contribution of the wave with J=L=S=0𝐽𝐿𝑆0J=L=S=0italic_J = italic_L = italic_S = 0. Therefore

H0superscript𝐻0\displaystyle H^{0}italic_H start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT =\displaystyle== Ψm3,m11+3(𝒑)|ρ^(𝒒)|Ψ0,quantum-operator-productsubscriptsuperscriptΨ13subscript𝑚3subscript𝑚1𝒑^𝜌𝒒subscriptΨ0\displaystyle\langle\Psi^{1+3}_{m_{3},m_{1}}({\bm{p}})|\hat{\rho}({\bm{q}})|% \Psi_{0}\rangle\ ,⟨ roman_Ψ start_POSTSUPERSCRIPT 1 + 3 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( bold_italic_p ) | over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ , (32)
\displaystyle\approx 4π(12,m3,12,m1|0,0)eiσ0Ψ0,01,0,0(E1)|ρ^(𝒒)|Ψ04𝜋12subscript𝑚312conditionalsubscript𝑚100superscript𝑒𝑖subscript𝜎0quantum-operator-productsubscriptsuperscriptΨ10000subscript𝐸1^𝜌𝒒subscriptΨ0\displaystyle\sqrt{4\pi}({1\over 2},m_{3},{1\over 2},m_{1}|0,0)e^{i\sigma_{0}}% \langle\Psi^{1,0,0}_{0,0}(E_{1})|\hat{\rho}({\bm{q}})|\Psi_{0}\ranglesquare-root start_ARG 4 italic_π end_ARG ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | 0 , 0 ) italic_e start_POSTSUPERSCRIPT italic_i italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ⟨ roman_Ψ start_POSTSUPERSCRIPT 1 , 0 , 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩
=\displaystyle== 4π(12,m3,12,m1|0,0)eiσ04πC0000(q,E1),4𝜋12subscript𝑚312conditionalsubscript𝑚100superscript𝑒𝑖subscript𝜎04𝜋superscriptsubscript𝐶0000𝑞subscript𝐸1\displaystyle\sqrt{4\pi}({1\over 2},m_{3},{1\over 2},m_{1}|0,0)e^{i\sigma_{0}}% \sqrt{4\pi}C_{0}^{000}(q,E_{1})\ ,square-root start_ARG 4 italic_π end_ARG ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | 0 , 0 ) italic_e start_POSTSUPERSCRIPT italic_i italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT square-root start_ARG 4 italic_π end_ARG italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ,

where Ψ0subscriptΨ0\Psi_{0}roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ground state wave function and C0000(q,E1)subscriptsuperscript𝐶0000𝑞subscript𝐸1C^{000}_{0}(q,E_{1})italic_C start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) the monopole (=00\ell=0roman_ℓ = 0) reduced matrix element (RME) of the charge operator, which we define as

Ψ0,01,0,0|ρ^(𝒒)|Ψ0=4πC0000(q,E1).quantum-operator-productsubscriptsuperscriptΨ10000^𝜌𝒒subscriptΨ04𝜋subscriptsuperscript𝐶0000𝑞subscript𝐸1\langle\Psi^{1,0,0}_{0,0}|\hat{\rho}({\bm{q}})|\Psi_{0}\rangle=\sqrt{4\pi}C^{0% 00}_{0}(q,E_{1})\ .⟨ roman_Ψ start_POSTSUPERSCRIPT 1 , 0 , 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT | over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ = square-root start_ARG 4 italic_π end_ARG italic_C start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) . (33)

Thus

m3,m1H0(H0)=(4π)2|C0000(q,E1)|2,subscriptsubscript𝑚3subscript𝑚1superscript𝐻0superscriptsuperscript𝐻0superscript4𝜋2superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12\sum_{m_{3},m_{1}}H^{0}(H^{0})^{*}=(4\pi)^{2}|C_{0}^{000}(q,E_{1})|^{2}\ ,∑ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_H start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( italic_H start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = ( 4 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (34)

The leptonic current matrix element μsuperscript𝜇\ell^{\mu}roman_ℓ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT is given by

𝒌s,𝒌sμ=u¯(𝒌,s)γμu(𝒌,s),subscriptsuperscript𝜇𝒌𝑠superscript𝒌superscript𝑠¯𝑢superscript𝒌superscript𝑠superscript𝛾𝜇𝑢𝒌𝑠\ell^{\mu}_{{\bm{k}}s,{\bm{k}}^{\prime}s^{\prime}}=\overline{u}({\bm{k}}^{% \prime},s^{\prime})\,\gamma^{\mu}\,u({\bm{k}},s)\ ,roman_ℓ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_italic_k italic_s , bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = over¯ start_ARG italic_u end_ARG ( bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_u ( bold_italic_k , italic_s ) , (35)

where we have chosen to normalize the four spinors as uusuperscript𝑢𝑢u^{\dagger}u\,italic_u start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_u= 11\,11. Clearly, we have to consider only 0superscript0\ell^{0}roman_ℓ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT. The sum over the electron spins can be now obtained easily

s,s0(0)=1+cosθ,subscript𝑠superscript𝑠superscript0superscriptsuperscript01𝜃\sum_{s,s^{\prime}}\ell^{0}(\ell^{0})^{*}=1+\cos\theta\ ,∑ start_POSTSUBSCRIPT italic_s , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT roman_ℓ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( roman_ℓ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = 1 + roman_cos italic_θ , (36)

where cosθ=k^k^𝜃^𝑘superscript^𝑘\cos\theta=\hat{k}\cdot\hat{k}^{\prime}roman_cos italic_θ = over^ start_ARG italic_k end_ARG ⋅ over^ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and θ𝜃\thetaitalic_θ is the electron scattering angle. Thus

dσ𝑑𝜎\displaystyle d\sigmaitalic_d italic_σ =\displaystyle== 12𝒌,𝒑1,𝒑3(4παQ2)2(4π)2|C0000(q,E1)|2(1+cosθ)12subscriptsuperscript𝒌subscript𝒑1subscript𝒑3superscript4𝜋𝛼superscript𝑄22superscript4𝜋2superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸121𝜃\displaystyle{1\over 2}\sum_{{\bm{k}}^{\prime},{\bm{p}}_{1},{\bm{p}}_{3}}\left% ({4\pi\alpha\over Q^{2}}\right)^{2}(4\pi)^{2}|C_{0}^{000}(q,E_{1})|^{2}(1+\cos\theta)divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( divide start_ARG 4 italic_π italic_α end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 4 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos italic_θ ) (37)
×δ(k+M4kMM3p122Mp322M3)δ𝒒,𝒑1+𝒑3.absent𝛿𝑘subscript𝑀4superscript𝑘𝑀subscript𝑀3superscriptsubscript𝑝122𝑀superscriptsubscript𝑝322subscript𝑀3subscript𝛿𝒒subscript𝒑1subscript𝒑3\displaystyle\times\delta\Bigl{(}k+M_{4}-k^{\prime}-M-M_{3}-{p_{1}^{2}\over 2M% }-{p_{3}^{2}\over 2M_{3}}\Bigr{)}\delta_{{\bm{q}},{\bm{p}}_{1}+{\bm{p}}_{3}}\ .× italic_δ ( italic_k + italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_M - italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG - divide start_ARG italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG ) italic_δ start_POSTSUBSCRIPT bold_italic_q , bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT .

The total momentum of the two nuclear clusters is 𝑷=𝒑1+𝒑3𝑷subscript𝒑1subscript𝒑3{\bm{P}}={\bm{p}}_{1}+{\bm{p}}_{3}bold_italic_P = bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, while the relative momentum is 𝒑=(M𝒑3M3𝒑1)/(M+M3)𝒑𝑀subscript𝒑3subscript𝑀3subscript𝒑1𝑀subscript𝑀3{\bm{p}}=(M{\bm{p}}_{3}-M_{3}{\bm{p}}_{1})/(M+M_{3})bold_italic_p = ( italic_M bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ). Clearly, 𝒑1,𝒑3𝑷,𝒑subscriptsubscript𝒑1subscript𝒑3subscript𝑷𝒑\sum_{{\bm{p}}_{1},{\bm{p}}_{3}}\equiv\sum_{{\bm{P}},{\bm{p}}}∑ start_POSTSUBSCRIPT bold_italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≡ ∑ start_POSTSUBSCRIPT bold_italic_P , bold_italic_p end_POSTSUBSCRIPT, and

p122M+p322M3=p22μ1+P22(M+M3)E1+P22(M+M3).superscriptsubscript𝑝122𝑀superscriptsubscript𝑝322subscript𝑀3superscript𝑝22subscript𝜇1superscript𝑃22𝑀subscript𝑀3subscript𝐸1superscript𝑃22𝑀subscript𝑀3{p_{1}^{2}\over 2M}+{p_{3}^{2}\over 2M_{3}}={p^{2}\over 2\mu_{1}}+{P^{2}\over 2% (M+M_{3})}\equiv E_{1}+{P^{2}\over 2(M+M_{3})}\ .divide start_ARG italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M end_ARG + divide start_ARG italic_p start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG ≡ italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG . (38)

The momentum-conserving delta function fixes 𝑷=𝒒𝑷𝒒{\bm{P}}={\bm{q}}bold_italic_P = bold_italic_q. At this point we can go to the continuum limit and write

𝒌,𝒑=d3k(2π)3d3p(2π)3.subscriptsuperscript𝒌𝒑superscript𝑑3superscript𝑘superscript2𝜋3superscript𝑑3𝑝superscript2𝜋3\sum_{{\bm{k}}^{\prime},{\bm{p}}}=\int{d^{3}k^{\prime}\over(2\pi)^{3}}{d^{3}p% \over(2\pi)^{3}}\ .∑ start_POSTSUBSCRIPT bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_italic_p end_POSTSUBSCRIPT = ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG . (39)

However, we will not integrate over the momentum direction of the outgoing electron since we want to compute the differential cross section dσ/dk^dσ/dΩ𝑑𝜎𝑑superscript^𝑘𝑑𝜎𝑑Ωd\sigma/d\hat{k}^{\prime}\equiv d\sigma/d\Omegaitalic_d italic_σ / italic_d over^ start_ARG italic_k end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ italic_d italic_σ / italic_d roman_Ω. The modulus of 𝒌superscript𝒌{\bm{k}}^{\prime}bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is fixed by the energy-conservation delta. We have

𝑑kδ(kΔBkq22(M+M3))F(k)=fRF(k)|k=kΔB+,differential-dsuperscript𝑘𝛿𝑘Δ𝐵superscript𝑘superscript𝑞22𝑀subscript𝑀3𝐹superscript𝑘evaluated-atsubscript𝑓𝑅𝐹superscript𝑘superscript𝑘𝑘Δ𝐵\int dk^{\prime}\;\delta\Bigl{(}k-\Delta B-k^{\prime}-{q^{2}\over 2(M+M_{3})}% \Bigr{)}F(k^{\prime})=f_{R}F(k^{\prime})|_{k^{\prime}=k-\Delta B+\cdots}\ ,∫ italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_δ ( italic_k - roman_Δ italic_B - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG ) italic_F ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_F ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) | start_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_k - roman_Δ italic_B + ⋯ end_POSTSUBSCRIPT , (40)

where

fR=11+kkcosθ(M+M3),ΔB=E1+M+M3M420MeV.formulae-sequencesubscript𝑓𝑅11superscript𝑘𝑘𝜃𝑀subscript𝑀3Δ𝐵subscript𝐸1𝑀subscript𝑀3subscript𝑀420MeV\qquad f_{R}={1\over 1+{k^{\prime}-k\cos\theta\over(M+M_{3})}}\ ,\qquad\Delta B% =E_{1}+M+M_{3}-M_{4}\approx 20\ {\rm MeV}\ .italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 1 + divide start_ARG italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_k roman_cos italic_θ end_ARG start_ARG ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG end_ARG , roman_Δ italic_B = italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ≈ 20 roman_MeV . (41)

The “recoil” factor fRsubscript𝑓𝑅f_{R}italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT can be safely approximated to 1111. For example, in the MAMI experiment we have k=795𝑘795k=795italic_k = 795 MeV (in the worst case) and the outgoing detector is placed at an angle of θ=18,3𝜃18superscript3\theta=18,3^{\circ}italic_θ = 18 , 3 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT. Since kksuperscript𝑘𝑘k^{\prime}\approx kitalic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≈ italic_k, fRsubscript𝑓𝑅f_{R}italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT turns out to be 0.99absent0.99\approx 0.99≈ 0.99. So in the following we will take simply fR=1subscript𝑓𝑅1f_{R}=1italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = 1. Moreover Q2=(𝒌𝒌)2(kk)2=4kksin2(θ/2)superscript𝑄2superscriptsuperscript𝒌superscript𝒌2superscript𝑘superscript𝑘24𝑘superscript𝑘superscript2𝜃2Q^{2}=({\bm{k}}^{\prime}-{\bm{k}}^{\prime})^{2}-(k-k^{\prime})^{2}=4kk^{\prime% }\sin^{2}(\theta/2)italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = ( bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_k - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 4 italic_k italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ / 2 ). Putting all together, we obtain

dσdΩ𝑑𝜎𝑑Ω\displaystyle{d\sigma\over d\Omega}divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω end_ARG \displaystyle\approx 12d3p(2π)3dkk2(2π)3(4παQ2)2(4π)2|C0000(q,E1)|2(1+cosθ)12superscript𝑑3𝑝superscript2𝜋3𝑑superscript𝑘superscript𝑘2superscript2𝜋3superscript4𝜋𝛼superscript𝑄22superscript4𝜋2superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸121𝜃\displaystyle{1\over 2}\int{d^{3}p\over(2\pi)^{3}}{dk^{\prime}k^{\prime 2}% \over(2\pi)^{3}}\;\left({4\pi\alpha\over Q^{2}}\right)^{2}(4\pi)^{2}|C_{0}^{00% 0}(q,E_{1})|^{2}(1+\cos\theta)divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_k start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG 4 italic_π italic_α end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 4 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos italic_θ ) (42)
×2πδ(kΔBkq22(M+M3)),absent2𝜋𝛿𝑘Δ𝐵superscript𝑘superscript𝑞22𝑀subscript𝑀3\displaystyle\times 2\pi\delta\Bigl{(}k-\Delta B-k^{\prime}-{q^{2}\over 2(M+M_% {3})}\Bigr{)}\ ,× 2 italic_π italic_δ ( italic_k - roman_Δ italic_B - italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG ) ,
=\displaystyle== 4πα2Q4k2(1+cosθ)d3p|C0000(q,E1)|2,4𝜋superscript𝛼2superscript𝑄4superscript𝑘21𝜃superscript𝑑3𝑝superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12\displaystyle{4\over\pi}{\alpha^{2}\over Q^{4}}k^{\prime 2}(1+\cos\theta)\int d% ^{3}p\;|C_{0}^{000}(q,E_{1})|^{2}\ ,divide start_ARG 4 end_ARG start_ARG italic_π end_ARG divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_Q start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG italic_k start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ( 1 + roman_cos italic_θ ) ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (43)
=\displaystyle== α24k2sin4(θ/2)cos2(θ/2)0𝑑E1 8μ1p|C0000(q,E1)|2,superscript𝛼24superscript𝑘2superscript4𝜃2superscript2𝜃2superscriptsubscript0differential-dsubscript𝐸18subscript𝜇1𝑝superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12\displaystyle{\alpha^{2}\over 4k^{2}\sin^{4}(\theta/2)}\cos^{2}(\theta/2)\int_% {0}^{\infty}dE_{1}\;8\mu_{1}p|C_{0}^{000}(q,E_{1})|^{2}\ ,divide start_ARG italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ / 2 ) end_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ / 2 ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 8 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_p | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (44)
=\displaystyle== (dσdΩ)Mott0𝑑E1 8μ1p|C0000(q,E1)|2.subscript𝑑𝜎𝑑Ω𝑀𝑜𝑡𝑡superscriptsubscript0differential-dsubscript𝐸18subscript𝜇1𝑝superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12\displaystyle\left({d\sigma\over d\Omega}\right)_{Mott}\int_{0}^{\infty}dE_{1}% \;8\mu_{1}p|C_{0}^{000}(q,E_{1})|^{2}\ .( divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω end_ARG ) start_POSTSUBSCRIPT italic_M italic_o italic_t italic_t end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 8 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_p | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (45)

We remember that p=2μ1E1𝑝2subscript𝜇1subscript𝐸1p=\sqrt{2\mu_{1}E_{1}}italic_p = square-root start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG and k=kΔB+superscript𝑘𝑘Δ𝐵k^{\prime}=k-\Delta B+\cdotsitalic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_k - roman_Δ italic_B + ⋯. Above, dσdΩMottsubscript𝑑𝜎𝑑Ω𝑀𝑜𝑡𝑡{d\sigma\over d\Omega}_{Mott}divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω end_ARG start_POSTSUBSCRIPT italic_M italic_o italic_t italic_t end_POSTSUBSCRIPT is the Mott cross section, i.e. the differential cross section for the scattering of an electron by a point-like charge.

As in the experiment, we define

|FM(q)|2=dσdΩ/[Z24π(dσdΩ)Mott].superscriptsubscript𝐹𝑀𝑞2𝑑𝜎𝑑Ωdelimited-[]superscript𝑍24𝜋subscript𝑑𝜎𝑑Ω𝑀𝑜𝑡𝑡|F_{M}(q)|^{2}={d\sigma\over d\Omega}/\Bigl{[}Z^{2}4\pi\left({d\sigma\over d% \Omega}\right)_{Mott}\Bigr{]}\ .| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω end_ARG / [ italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 4 italic_π ( divide start_ARG italic_d italic_σ end_ARG start_ARG italic_d roman_Ω end_ARG ) start_POSTSUBSCRIPT italic_M italic_o italic_t italic_t end_POSTSUBSCRIPT ] . (46)

Here Z=2𝑍2Z=2italic_Z = 2 takes into account the total charge of the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He nucleus. Finally

|FM(q)|2=116π0𝑑E1 8pμ1|C0000(q,E1)|2.superscriptsubscript𝐹𝑀𝑞2116𝜋superscriptsubscript0differential-dsubscript𝐸18𝑝subscript𝜇1superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12|F_{M}(q)|^{2}={1\over 16\pi}\int_{0}^{\infty}dE_{1}\;8p\mu_{1}|C_{0}^{000}(q,% E_{1})|^{2}\ .| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 16 italic_π end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 8 italic_p italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (47)

This expression is correct up to the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold. Above, it has to be modified as

|FM(q)|2=116πγ=1,20𝑑Eγ 8pγμγ|C0000(q,Eγ)|2,superscriptsubscript𝐹𝑀𝑞2116𝜋subscript𝛾12superscriptsubscript0differential-dsubscript𝐸𝛾8subscript𝑝𝛾subscript𝜇𝛾superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸𝛾2|F_{M}(q)|^{2}={1\over 16\pi}\sum_{\gamma=1,2}\int_{0}^{\infty}dE_{\gamma}\;8p% _{\gamma}\mu_{\gamma}|C_{0}^{000}(q,E_{\gamma})|^{2}\ ,| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 16 italic_π end_ARG ∑ start_POSTSUBSCRIPT italic_γ = 1 , 2 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT 8 italic_p start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (48)

where pγ=2μγEγsubscript𝑝𝛾2subscript𝜇𝛾subscript𝐸𝛾p_{\gamma}=\sqrt{2\mu_{\gamma}E_{\gamma}}italic_p start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT = square-root start_ARG 2 italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT end_ARG, μγsubscript𝜇𝛾\mu_{\gamma}italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT is the reduced mass for the clusterization γ𝛾\gammaitalic_γ, and C0000(q,Eγ)superscriptsubscript𝐶0000𝑞subscript𝐸𝛾C_{0}^{000}(q,E_{\gamma})italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) the RME coming from Ψ0,0γ,0,0(Eγ)|ρ^(𝒒)|Ψ0quantum-operator-productsubscriptsuperscriptΨ𝛾0000subscript𝐸𝛾^𝜌𝒒subscriptΨ0\langle\Psi^{\gamma,0,0}_{0,0}(E_{\gamma})|\hat{\rho}({\bm{q}})|\Psi_{0}\rangle⟨ roman_Ψ start_POSTSUPERSCRIPT italic_γ , 0 , 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) | over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩. The expression given in Eq. (47) agrees with those used in Ref. [9] (where the sum over the final states was obtained using the LIT), as discussed in Appendix A.

3 Results

First of all, we compute the scattering wave functions Ψ0,0γ,0,0(Eγ)subscriptsuperscriptΨ𝛾0000subscript𝐸𝛾\Psi^{\gamma,0,0}_{0,0}(E_{\gamma})roman_Ψ start_POSTSUPERSCRIPT italic_γ , 0 , 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT ( italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) for various center-of-mass (c.m.) energy Eγsubscript𝐸𝛾E_{\gamma}italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT. The calculation has been performed by increasing the size of the HH basis as discussed before. As an example, we report the results for the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H phase-shift calculated at E1=0.20subscript𝐸10.20E_{1}=0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.20, 0.550.550.550.55, 0.740.740.740.74, and 1.501.501.501.50 MeV in Table 2. The calculations have been performed with the N3LO500/N2LO500 and N3LO600/N2LO600 NN+3N chiral interactions. As it can be seen, the convergence is quite slow especially at the lowest energy, namely close to the resonance position. As the energy is increased, the convergence is faster. At E=1.50𝐸1.50E=1.50italic_E = 1.50 MeV (above the opening of the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He channel), the convergence is almost achieved. In the last line of the table, the extrapolated value for the phase-shift as obtained from the calculated values for the different basis set is also reported (see Appendix B for more details about the extrapolation procedure).

Table 2: Convergence of the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H phase-shift (deg) calculated at four different energies E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, for the three different basis sets specified in Table 1. The calculations have been performed with the N3LO500/N2LO500 and N3LO600/N2LO600 interactions. At E1=0.74subscript𝐸10.74E_{1}=0.74italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.74 MeV (E1=0.73subscript𝐸10.73E_{1}=0.73italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.73 MeV) for N3LO500/N2LO500 (N3LO600/N2LO600), we are just below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold. In the lines labeled “Extr.”, the extrapolated values for the phase shifts are reported.
N3LO500/N2LO500
basis set E1=0.20subscript𝐸10.20E_{1}=0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.20 MeV E1=0.55subscript𝐸10.55E_{1}=0.55italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.55 MeV E1=0.74subscript𝐸10.74E_{1}=0.74italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.74 MeV E1=1.50subscript𝐸11.50E_{1}=1.50italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1.50 MeV
B1 46.046.046.046.0 82.282.282.282.2 100.2100.2100.2100.2 86.686.686.686.6
B2 46.746.746.746.7 82.682.682.682.6 100.4100.4100.4100.4 86.886.886.886.8
B3 47.347.347.347.3 82.882.882.882.8 100.5100.5100.5100.5 86.986.986.986.9
Extr. 49.249.249.249.2 83.683.683.683.6 101.0101.0101.0101.0 87.287.287.287.2
N3LO600/N2LO600
basis set E1=0.20subscript𝐸10.20E_{1}=0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.20 MeV E1=0.55subscript𝐸10.55E_{1}=0.55italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.55 MeV E1=0.73subscript𝐸10.73E_{1}=0.73italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.73 MeV E1=1.50subscript𝐸11.50E_{1}=1.50italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 1.50 MeV
B1 31.431.431.431.4 70.370.370.370.3 91.091.091.091.0 82.182.182.182.1
B2 32.032.032.032.0 70.970.970.970.9 91.491.491.491.4 82.282.282.282.2
B3 32.532.532.532.5 71.471.471.471.4 91.791.791.791.7 82.382.382.382.3
Extr. 34.534.534.534.5 73.273.273.273.2 92.992.992.992.9 82.682.682.682.6

In Fig. 1, we report the “extrapolated” phase-shifts calculated with both interactions, compared with the available “experimental” results, extracted from an R-matrix analysis performed in Ref. [37]. Below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold, the phase shifts show the typical resonance behavior: a sharp increase with the phase shift reaching the value 90909090 deg. The convergence pattern is similar for both interactions. The position of the resonance can be deduced by looking to the so-called time delay, namely the quantity δ(E1)=dδ(E1)/dE1superscript𝛿subscript𝐸1𝑑𝛿subscript𝐸1𝑑subscript𝐸1\delta^{\prime}(E_{1})=d\delta(E_{1})/dE_{1}italic_δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = italic_d italic_δ ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. The energy ERsubscript𝐸𝑅E_{R}italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT of the resonance is deduced for the energy E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT where δ(E1)superscript𝛿subscript𝐸1\delta^{\prime}(E_{1})italic_δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) has a maximum and its width ΓΓ\Gammaroman_Γ by the value of 2/δ(ER)2superscript𝛿subscript𝐸𝑅2/\delta^{\prime}(E_{R})2 / italic_δ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ). In the present case, we obtain ER0.1subscript𝐸𝑅0.1E_{R}\approx 0.1italic_E start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ≈ 0.1 MeV and Γ0.4Γ0.4\Gamma\approx 0.4roman_Γ ≈ 0.4 MeV.

By inspecting Fig. 1, it can be noticed that above the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold there is a sharp change, since the phase shift starts to decrease steadily. This behavior is also observed in the “experimental” phase shifts. Above the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold, evidently the dynamics of the reaction changes. In fact, the process p+H3n+He3𝑝superscriptH3𝑛superscriptHe3p+{{}^{3}{\rm H}}\rightarrow n+{{}^{3}{\rm He}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H → italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He starts to become rapidly dominant, and the reaction does not show any sign of the production of the resonant state.

Refer to caption
Figure 1: (color online) 0+superscript00^{+}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H phase shift as function of the c.m. kinetic energy E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT calculated with the NN+3N N3LO500/N2LO500 (black curve) and N3LO600/N2LO600 (red curve) interactions. Crosses: phase-shift extracted from the R-matrix analysis [37]. The vertical dashed line denotes the energy of the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold.
Refer to caption
Figure 2: (color online) The function S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) calculated for various values of q𝑞qitalic_q and with the N3LO500/N2LO500 interaction as function of the c.m. kinetic energy E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT of the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H clusters. The vertical line denotes the opening of the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He channel. For each value of q𝑞qitalic_q, the dashed, thin solid, and thick solid lines are obtained using the sets B1, B2, and B3 in the expansion of the scattering wave function, respectively. The calculations with set B2 are practically coincident with the results obtained with set B3 and they can be hardly distinguished. Above the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold only the calculations with set B3 are reported, as the results obtained with sets B1 and B2 are practically coincident. Furthermore, the results are very independent on the basis set A1, A2, or A3 used to describe the ground state wave function.

Using the so determined wave functions, we can calculate the matrix elements with the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ground state wave function using Eq. (32). In Fig. 2, we report the function S(q,E1)=γ=1,28pμγ|C0000(q,Eγ)|2𝑆𝑞subscript𝐸1subscript𝛾128𝑝subscript𝜇𝛾superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸𝛾2S(q,E_{1})=\sum_{\gamma=1,2}8p\mu_{\gamma}|C_{0}^{000}(q,E_{\gamma})|^{2}italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_γ = 1 , 2 end_POSTSUBSCRIPT 8 italic_p italic_μ start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT italic_γ end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT vs E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT calculated with the N3LO500/N2LO500 interaction (we remember that E1subscript𝐸1E_{1}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and E2subscript𝐸2E_{2}italic_E start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are related by Eq. (17)). Clearly, for E1<Ethrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}<E_{thr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT, where Ethrsubscript𝐸𝑡𝑟E_{thr}italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT is the energy where the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He channel opens, S(q,E1)=8pμ1|C0000(q,E1)|2𝑆𝑞subscript𝐸18𝑝subscript𝜇1superscriptsuperscriptsubscript𝐶0000𝑞subscript𝐸12S(q,E_{1})=8p\mu_{1}|C_{0}^{000}(q,E_{1})|^{2}italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) = 8 italic_p italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_C start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

By inspecting Fig. 2, first of all, we can note the good convergence reached by this quantity as the basis sets used to describe the wave functions are enlarged. In fact, the results are very independent on the basis set A1, A2, or A3 used to describe the ground state wave function. Regarding the scattering wave functions, S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) comes out to be practically the same using basis sets B2 and B3.

Second, we note that S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) has a form of a peak, related to the formation of the 01+subscriptsuperscript010^{+}_{1}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT state in the scattering process. However, above Ethrsubscript𝐸𝑡𝑟E_{thr}italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT, the energy dependence of S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) becomes totally different. For such energies, the process is dominated by the direct charge-exchange reaction p+H3n+He3𝑝superscriptH3𝑛superscriptHe3p+{{}^{3}{\rm H}}\rightarrow n+{{}^{3}{\rm He}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H → italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He, and the dynamics is not anymore related to the excitation of the 01+subscriptsuperscript010^{+}_{1}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT state. We have then adopted the following procedure.

  1. 1.

    We have fitted the calculated S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) for 0<E1<Ethr0subscript𝐸1subscript𝐸𝑡𝑟0<E_{1}<E_{thr}0 < italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT with the function aE12ebE1𝑎superscriptsubscript𝐸12superscript𝑒𝑏subscript𝐸1aE_{1}^{2}e^{-bE_{1}}italic_a italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, determining the parameters a𝑎aitalic_a and b𝑏bitalic_b using a least-square method.

  2. 2.

    We have modified Eq. (47) as

    |FM(q)|2superscriptsubscript𝐹𝑀𝑞2\displaystyle|F_{M}(q)|^{2}| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== 116π[0Ethr𝑑E1S(q,E1)+Ethr𝑑E1aE12ebE1],116𝜋delimited-[]superscriptsubscript0subscript𝐸𝑡𝑟differential-dsubscript𝐸1𝑆𝑞subscript𝐸1superscriptsubscriptsubscript𝐸𝑡𝑟differential-dsubscript𝐸1𝑎superscriptsubscript𝐸12superscript𝑒𝑏subscript𝐸1\displaystyle{1\over 16\pi}\Bigl{[}\int_{0}^{E_{thr}}dE_{1}\;S(q,E_{1})+\int_{% E_{thr}}^{\infty}dE_{1}\;aE_{1}^{2}e^{-bE_{1}}\Bigr{]}\ ,divide start_ARG 1 end_ARG start_ARG 16 italic_π end_ARG [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + ∫ start_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_a italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] , (49)
    =\displaystyle== 116π[0Ethr𝑑E1S(q,E1)+ab3(2+bEthr(2+bEthr))ebEthr].116𝜋delimited-[]superscriptsubscript0subscript𝐸𝑡𝑟differential-dsubscript𝐸1𝑆𝑞subscript𝐸1𝑎superscript𝑏32𝑏subscript𝐸𝑡𝑟2𝑏subscript𝐸𝑡𝑟superscript𝑒𝑏subscript𝐸𝑡𝑟\displaystyle{1\over 16\pi}\Bigl{[}\int_{0}^{E_{thr}}dE_{1}\;S(q,E_{1})+{a% \over b^{3}}\bigl{(}2+bE_{thr}(2+bE_{thr})\Bigr{)}e^{-bE_{thr}}\Bigr{]}\ .divide start_ARG 1 end_ARG start_ARG 16 italic_π end_ARG [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + divide start_ARG italic_a end_ARG start_ARG italic_b start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ( 2 + italic_b italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT ( 2 + italic_b italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT ) ) italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] .

In Fig. 3, we show an example of the fit, plotting the function ln(S(q,E1)/E12)𝑆𝑞subscript𝐸1superscriptsubscript𝐸12\ln\Bigl{(}S(q,E_{1})/E_{1}^{2}\Bigr{)}roman_ln ( italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). As it can be seen, for E1>0.20subscript𝐸10.20E_{1}>0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > 0.20 MeV the calculated values of this function are located in a very good approximation along a line, easily fitted by the chosen function ln(a)bE1𝑎𝑏subscript𝐸1\ln(a)-bE_{1}roman_ln ( italic_a ) - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. We have then prolonged S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) above Ethrsubscript𝐸𝑡𝑟E_{thr}italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT with the simple function aE12ebE1𝑎superscriptsubscript𝐸12superscript𝑒𝑏subscript𝐸1aE_{1}^{2}e^{-bE_{1}}italic_a italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. In Fig. 4, we report the functions S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) as in Fig. 2, but for E1>Ethrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}>E_{thr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT they are continued with the results of the fit (thin lines for E1>Ethrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}>E_{thr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT). The contribution of the E1>Ethrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}>E_{thr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT region to the integral turns out to be about 10%. At the end, |FM(q)|2superscriptsubscript𝐹𝑀𝑞2|F_{M}(q)|^{2}| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is calculated using solely S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) determined for E1<Ethrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}<E_{thr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < italic_E start_POSTSUBSCRIPT italic_t italic_h italic_r end_POSTSUBSCRIPT.

Refer to caption
Figure 3: (color online) Example of the fit of the calculated S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) with the function aE12ebE1𝑎superscriptsubscript𝐸12superscript𝑒𝑏subscript𝐸1aE_{1}^{2}e^{-bE_{1}}italic_a italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. Solid circles: ln[S(q,E1)/E12]𝑆𝑞subscript𝐸1superscriptsubscript𝐸12\ln[S(q,E_{1})/E_{1}^{2}]roman_ln [ italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) / italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] calculated for q=1.2𝑞1.2q=1.2italic_q = 1.2 fm-1 with the N3LO500/N2LO500 interaction and the set B3 of HH functions. At it can be seen, for E1>0.2subscript𝐸10.2E_{1}>0.2italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > 0.2 MeV the calculated values of this function are located in a very good approximation along a line, which is then fitted using a least-square method using the function ln(a)bE1𝑎𝑏subscript𝐸1\ln(a)-bE_{1}roman_ln ( italic_a ) - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT.
Refer to caption
Figure 4: (color online) The same as in Fig. 2. The dashed lines for E1>Etrsubscript𝐸1subscript𝐸𝑡𝑟E_{1}>E_{tr}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_E start_POSTSUBSCRIPT italic_t italic_r end_POSTSUBSCRIPT show the functions aE12ebE1𝑎superscriptsubscript𝐸12superscript𝑒𝑏subscript𝐸1aE_{1}^{2}e^{-bE_{1}}italic_a italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_b italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, fitted as explained in the main text. Only the calculation of set B3 of the HH basis is shown.

The result of Eq. (49) is reported in Fig. 5, for the two adopted interactions, including only the leading order (or impulse approximation) contribution. The calculations are compared with the experimental data of Refs. [4, 5, 6, 7] and with some of the theoretical values reported in the literature [8, 9]. As it can be seen, in this case the calculations are in reasonable agreement with the experimental data, in particular with the MAMI data [7]. The spread between the calculations obtained with the N3LO500/N2LO500 and N3LO600/N2LO600, related to the different cutoff values used to regularize the potentials, reflects our current ignorance about the short-range part of the nuclear interaction.

Finally, in Fig. 6, we report a calculation where the corrections beyond the leading order term for the nuclear charge operator (the relativistic corrections and meson-exchange terms) are included (“full” calculation). As it can be seen, the “full” calculations slightly reduces the monopole form factor, especially for large values of q𝑞qitalic_q, bringing the calculations very close to the MAMI data.

Refer to caption
Figure 5: (color online) The monopole form factor |FM(q)|2superscriptsubscript𝐹𝑀𝑞2|F_{M}(q)|^{2}| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT calculated using Eq. (49) as function of q𝑞qitalic_q, obtained with the N3LO500/N2LO500 and N3LO600/N2LO600 interactions. The charge operator includes only the one-body leading-order (impulse approximation) term given in Eq. (29). The experimental data are from Refs. [4, 5, 6, 7] The results of the calculations of Refs. [8, 9] are also reported.
Refer to caption
Figure 6: (color online) The same as in Fig. 5 but adding the results obtained with the full charge operator (dashed lines), as derived in Ref. [36].

4 Conclusion

In this paper, we have studied the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He monopole form factor by calculating the He4(e,ep)H3superscriptHe4𝑒superscript𝑒𝑝superscriptH3{{}^{4}{\rm He}}(e,e^{\prime}p){{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H and He4(e,e,n)He3superscriptHe4𝑒superscript𝑒𝑛superscriptHe3{{}^{4}{\rm He}}(e,e^{\prime},n){{}^{3}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_n ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He cross sections. The monopole form factor (squared) is then defined by the ratio of this cross section with the Mott cross section. This procedure requires the summation over all possible final energies. However, above the opening of the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold, the dynamics of the process appears to drastically change, not involving anymore the formation of the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He first excited state (that in this approach enters as a resonant state). We have then calculated the response S(q,E1)𝑆𝑞subscript𝐸1S(q,E_{1})italic_S ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) up to Etrsubscript𝐸𝑡𝑟E_{tr}italic_E start_POSTSUBSCRIPT italic_t italic_r end_POSTSUBSCRIPT, using an approximate procedure to complete the summation for E>Etr𝐸subscript𝐸𝑡𝑟E>E_{tr}italic_E > italic_E start_POSTSUBSCRIPT italic_t italic_r end_POSTSUBSCRIPT. A similar procedure has been adopted also in the MAMI experiment [7], as the contribution of the process 00+01+subscriptsuperscript00subscriptsuperscript010^{+}_{0}\rightarrow 0^{+}_{1}0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT → 0 start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT has to be extracted in some way from the measured cross section of the process He4(e,ep)H3superscriptHe4𝑒superscript𝑒𝑝superscriptH3{{}^{4}{\rm He}}(e,e^{\prime}p){{}^{3}{\rm H}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H, (see Ref. [7] for the procedure adopted in the MAMI experiment).

As it can be seen by inspecting Fig. 5, our results are in reasonable agreement with the data, and with the theoretical study by Hiyama et al. [8] and the more recent calculations reported in Refs. [11, 12]. However, they are at variance with the calculation of Ref. [9].

Although limited to just two nuclear interaction models derived within the χ𝜒\chiitalic_χEFT framework, we believe that the results obtained are significant and representative. However, it is essential to study this observable also using other interaction models. We plan to perform this study in the future, in order to better understand how the calculated FM(q)subscript𝐹𝑀𝑞F_{M}(q)italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) depends on the interaction.

Appendix A The formulation of Ref. [9]

In Ref. [9], the monopole form factor is defined as

|F~M(q)|2=1Z2𝑑ω𝒮(q,ω),superscriptsubscript~𝐹𝑀𝑞21superscript𝑍2differential-d𝜔𝒮𝑞𝜔|\tilde{F}_{M}(q)|^{2}={1\over Z^{2}}\int d\omega{\cal S}(q,\omega)\ ,| over~ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_Z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ italic_d italic_ω caligraphic_S ( italic_q , italic_ω ) , (50)

where q,ω𝑞𝜔q,\omegaitalic_q , italic_ω are as usual the momentum and energy transfer. The quantity 𝒮(q,ω)𝒮𝑞𝜔{\cal S}(q,\omega)caligraphic_S ( italic_q , italic_ω ) is defined as

𝒮(q,ω)=n|n|(q)|0|2δ(ωEn+E0).𝒮𝑞𝜔subscript𝑛superscriptquantum-operator-product𝑛𝑞02𝛿𝜔subscript𝐸𝑛subscript𝐸0{\cal S}(q,\omega)=\sum_{n}|\langle n|{\cal M}(q)|0\rangle|^{2}\delta(\omega-E% _{n}+E_{0})\ .caligraphic_S ( italic_q , italic_ω ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | ⟨ italic_n | caligraphic_M ( italic_q ) | 0 ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ ( italic_ω - italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) . (51)

where |0ket0|0\rangle| 0 ⟩ and |nket𝑛|n\rangle| italic_n ⟩ are eigenfunctions of the the nuclear Hamiltonian, E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and Ensubscript𝐸𝑛E_{n}italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT the corresponding eigenvalues, and

(q)=fp(q)2j=14j0(qrj),𝑞subscript𝑓𝑝𝑞2superscriptsubscript𝑗14subscript𝑗0𝑞subscript𝑟𝑗{\cal M}(q)={f_{p}(q)\over 2}\sum_{j=1}^{4}j_{0}(qr_{j})\ ,caligraphic_M ( italic_q ) = divide start_ARG italic_f start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( italic_q ) end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) , (52)

is the isoscalar monopole operator (j0subscript𝑗0j_{0}italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is a Bessel function). Note that this operator is the =00\ell=0roman_ℓ = 0 isoscalar component of our operator ρ^(𝒒)^𝜌𝒒\hat{\rho}({\bm{q}})over^ start_ARG italic_ρ end_ARG ( bold_italic_q ) given in Eq. (29). In our case |0ket0|0\rangle| 0 ⟩ is the He4superscriptHe4{{}^{4}{\rm He}}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT roman_He ground state and |nket𝑛|n\rangle| italic_n ⟩ the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H scattering state, given in Eq. (31) (here we limit ourselves to consider states below the n+He3𝑛superscriptHe3n+{{}^{3}{\rm He}}italic_n + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_He threshold). Considering only the contribution of the L=S=J=0𝐿𝑆𝐽0L=S=J=0italic_L = italic_S = italic_J = 0 wave, we have

𝒮(q,ω)𝒮𝑞𝜔\displaystyle{\cal S}(q,\omega)caligraphic_S ( italic_q , italic_ω ) =\displaystyle== m1,m3,𝒑(12,m3,12,m1|0,0)24π|Ψ0,01,0,0|(q)|Ψ0|2subscriptsubscript𝑚1subscript𝑚3𝒑superscript12subscript𝑚312conditionalsubscript𝑚10024𝜋superscriptquantum-operator-productsubscriptsuperscriptΨ10000𝑞subscriptΨ02\displaystyle\sum_{m_{1},m_{3},{\bm{p}}}({1\over 2},m_{3},{1\over 2},m_{1}|0,0% )^{2}4\pi|\langle\Psi^{1,0,0}_{0,0}|{\cal M}(q)|\Psi_{0}\rangle|^{2}∑ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , bold_italic_p end_POSTSUBSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , divide start_ARG 1 end_ARG start_ARG 2 end_ARG , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | 0 , 0 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 4 italic_π | ⟨ roman_Ψ start_POSTSUPERSCRIPT 1 , 0 , 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , 0 end_POSTSUBSCRIPT | caligraphic_M ( italic_q ) | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (53)
×δ(ωMM3p22μ1+M4),absent𝛿𝜔𝑀subscript𝑀3superscript𝑝22subscript𝜇1subscript𝑀4\displaystyle\qquad\times\delta(\omega-M-M_{3}-{p^{2}\over 2\mu_{1}}+M_{4})\ ,× italic_δ ( italic_ω - italic_M - italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG + italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) ,

where, as in subsection 2.3, we can neglect the recoil term q22(M+M3)superscript𝑞22𝑀subscript𝑀3q^{2}\over 2(M+M_{3})divide start_ARG italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 ( italic_M + italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG in the δ𝛿\deltaitalic_δ-function. Introducing the RME as in Eq. (33) and changing 𝒑d3p/(2π)3subscript𝒑superscript𝑑3𝑝superscript2𝜋3\sum_{{\bm{p}}}\rightarrow\int d^{3}p/(2\pi)^{3}∑ start_POSTSUBSCRIPT bold_italic_p end_POSTSUBSCRIPT → ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p / ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, we have

𝒮(q,ω)=d3p(2π)3(4π)2|C0000(q,E1)|2δ(ωMM3p22μ1+M4).𝒮𝑞𝜔superscript𝑑3𝑝superscript2𝜋3superscript4𝜋2superscriptsubscriptsuperscript𝐶0000𝑞subscript𝐸12𝛿𝜔𝑀subscript𝑀3superscript𝑝22subscript𝜇1subscript𝑀4{\cal S}(q,\omega)=\int{d^{3}p\over(2\pi)^{3}}\;(4\pi)^{2}|C^{000}_{0}(q,E_{1}% )|^{2}\delta(\omega-M-M_{3}-{p^{2}\over 2\mu_{1}}+M_{4})\ .caligraphic_S ( italic_q , italic_ω ) = ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_p end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ( 4 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_C start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ ( italic_ω - italic_M - italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG + italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) . (54)

The integration over dp^𝑑^𝑝d\hat{p}italic_d over^ start_ARG italic_p end_ARG gives simply 4π4𝜋4\pi4 italic_π, and changing integration variable to E1=p22μ1subscript𝐸1superscript𝑝22subscript𝜇1E_{1}={p^{2}\over 2\mu_{1}}italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG, we obtain

𝒮(q,ω)=𝑑E1 8pμ1|C0000(q,E1)|2δ(ωMM3p22μ1+M4).𝒮𝑞𝜔differential-dsubscript𝐸18𝑝subscript𝜇1superscriptsubscriptsuperscript𝐶0000𝑞subscript𝐸12𝛿𝜔𝑀subscript𝑀3superscript𝑝22subscript𝜇1subscript𝑀4{\cal S}(q,\omega)=\int dE_{1}\;8p\mu_{1}|C^{000}_{0}(q,E_{1})|^{2}\delta(% \omega-M-M_{3}-{p^{2}\over 2\mu_{1}}+M_{4})\ .caligraphic_S ( italic_q , italic_ω ) = ∫ italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 8 italic_p italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_C start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ ( italic_ω - italic_M - italic_M start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG + italic_M start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) . (55)

Finally, by integrating over ω𝜔\omegaitalic_ω, we have

|F~M(q)|2=14𝑑E1 8pμ1|C0000(q,E1)|2.superscriptsubscript~𝐹𝑀𝑞214differential-dsubscript𝐸18𝑝subscript𝜇1superscriptsubscriptsuperscript𝐶0000𝑞subscript𝐸12|\tilde{F}_{M}(q)|^{2}={1\over 4}\int dE_{1}\;8p\mu_{1}|C^{000}_{0}(q,E_{1})|^% {2}\ .| over~ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∫ italic_d italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 8 italic_p italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | italic_C start_POSTSUPERSCRIPT 000 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q , italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (56)

Note that in Ref. [9], the monopole form factor which is compared with the data is |F~M(q)|2/4πsuperscriptsubscript~𝐹𝑀𝑞24𝜋|\tilde{F}_{M}(q)|^{2}/4\pi| over~ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 italic_π, which therefore agrees with our definition of |FM(q)|2superscriptsubscript𝐹𝑀𝑞2|F_{M}(q)|^{2}| italic_F start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_q ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT given in Eq. (47).

Appendix B The extrapolation procedure

In this appendix, we present the procedure adopted to extrapolate a given quantity X𝑋Xitalic_X (for example, the pH3𝑝superscriptH3p-{{}^{3}{\rm H}}italic_p - start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H phase-shift δ𝛿\deltaitalic_δ, etc.) estimating the “missing” part caused by the truncation of the HH basis in the calculations. First of all, we perform several calculations of X𝑋Xitalic_X using different basis sets n=0,,N𝑛0𝑁n=0,\ldots,Nitalic_n = 0 , … , italic_N of HH functions (usually, N=6𝑁6N=6italic_N = 6). Basis set n=0𝑛0n=0italic_n = 0 is characterized by a given choice of the grand angular quantum numbers Kα(0)superscriptsubscript𝐾𝛼0K_{\alpha}^{(0)}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT for each class α=1,,5𝛼15\alpha=1,\ldots,5italic_α = 1 , … , 5. Then, for the basis set n𝑛nitalic_n, Kα=Kα(0)+2nsubscript𝐾𝛼superscriptsubscript𝐾𝛼02𝑛K_{\alpha}=K_{\alpha}^{(0)}+2nitalic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT + 2 italic_n, etc. Let us denote with Xnsubscript𝑋𝑛X_{n}italic_X start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT the quantity X𝑋Xitalic_X calculated with the basis set n𝑛nitalic_n. We have found that the ratios

xn=XnXn1Xn1Xn2,n=2,,N,formulae-sequencesubscript𝑥𝑛subscript𝑋𝑛subscript𝑋𝑛1subscript𝑋𝑛1subscript𝑋𝑛2𝑛2𝑁x_{n}={X_{n}-X_{n-1}\over X_{n-1}-X_{n-2}}\ ,\qquad n=2,\ldots,N\ ,italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = divide start_ARG italic_X start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_X start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_n - 2 end_POSTSUBSCRIPT end_ARG , italic_n = 2 , … , italic_N , (57)

are, in a good approximation, independent of n𝑛nitalic_n. Namely, xnxsubscript𝑥𝑛𝑥x_{n}\approx xitalic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ≈ italic_x, and x𝑥xitalic_x is always less than 1111. That means, that each time the Kαsubscript𝐾𝛼K_{\alpha}italic_K start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT are increased by 2222, the “increment” of X𝑋Xitalic_X is reduced by a factor x𝑥xitalic_x. Therefore, assuming that this property is maintained also for n>N𝑛𝑁n>Nitalic_n > italic_N, we can extrapolate the final value Xsubscript𝑋X_{\infty}italic_X start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT of X𝑋Xitalic_X for an “infinite” basis, as

X=XN+xΔ+x2Δ+x3Δ+=XN+x1xΔ,subscript𝑋subscript𝑋𝑁𝑥Δsuperscript𝑥2Δsuperscript𝑥3Δsubscript𝑋𝑁𝑥1𝑥ΔX_{\infty}=X_{N}+x\Delta+x^{2}\Delta+x^{3}\Delta+\cdots=X_{N}+{x\over 1-x}% \Delta\ ,italic_X start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT = italic_X start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT + italic_x roman_Δ + italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Δ + italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_Δ + ⋯ = italic_X start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT + divide start_ARG italic_x end_ARG start_ARG 1 - italic_x end_ARG roman_Δ , (58)

where Δ=XNXN1Δsubscript𝑋𝑁subscript𝑋𝑁1\Delta=X_{N}-X_{N-1}roman_Δ = italic_X start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_N - 1 end_POSTSUBSCRIPT. Typical values of x𝑥xitalic_x are around 0.80.80.80.8. In Table 3, we report an example of this procedure. Finally, we estimate the “error” of Xsubscript𝑋X_{\infty}italic_X start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT by varying x𝑥xitalic_x by ±2.5plus-or-minus2.5\pm 2.5± 2.5%.

Table 3: Convergence of the p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H phase-shift δ𝛿\deltaitalic_δ at E1=0.20subscript𝐸10.20E_{1}=0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.20 MeV, calculated with the N3LO500/N2LO500 interaction, using basis set n𝑛nitalic_n. In the third column, the ratio xn=(XnXn1)/(Xn1Xn2)subscript𝑥𝑛subscript𝑋𝑛subscript𝑋𝑛1subscript𝑋𝑛1subscript𝑋𝑛2x_{n}=(X_{n}-X_{n-1})/(X_{n-1}-X_{n-2})italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = ( italic_X start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT ) / ( italic_X start_POSTSUBSCRIPT italic_n - 1 end_POSTSUBSCRIPT - italic_X start_POSTSUBSCRIPT italic_n - 2 end_POSTSUBSCRIPT ) is given. In the last row, we report the extrapolated values of δ𝛿\deltaitalic_δ using Eq. (58), with x=x6𝑥subscript𝑥6x=x_{6}italic_x = italic_x start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT.
Basis set p+H3𝑝superscriptH3p+{{}^{3}{\rm H}}italic_p + start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_H scattering at E1=0.20subscript𝐸10.20E_{1}=0.20italic_E start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.20 MeV
n𝑛nitalic_n δnsubscript𝛿𝑛\delta_{n}italic_δ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT (deg) xnsubscript𝑥𝑛x_{n}italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT
0 40.1040.1040.1040.10 --
1 42.2042.2042.2042.20 --
2 43.8343.8343.8343.83 0.780.780.780.78
3 45.0445.0445.0445.04 0.740.740.740.74
4 45.9845.9845.9845.98 0.780.780.780.78
5 46.7046.7046.7046.70 0.770.770.770.77
6 47.2647.2647.2647.26 0.780.780.780.78
Extr. 49.2449.2449.2449.24
\bmhead

Acknowledgements The Authors would like to acknowledge S. Bacca, N. Barnea, W. Leidemann, and G. Orlandini for usefull discussions.

References

  • [1] D.R. Tilley, H.R. Weller, and G.M. Hale, Nucl. Phys. A541, 1 (1992)
  • [2] M. Gattobigio and A. Kievsky, Few-Body Syst. 64, 86 (2023)
  • [3] E. Epelbaum, Physics 16 58 (2023)
  • [4] Th. Walcher, Phys. Lett. B31, 442 (1970)
  • [5] R.F. Frosch et al., Nucl. Phys. A110, 657 (1968)
  • [6] G. Kobschall et al., Nucl. Phys. A405, 648 (1983)
  • [7] S. Kegel et al., Phys. Rev. Lett. 130, 152502 (2023)
  • [8] E. Hiyama, B.F. Gibson, and M. Kamimura, Phys. Rev. C 70, 031001(R) (2004)
  • [9] S. Bacca, N. Barnea, W. Leidemann, and G. Orlandini, Phys. Rev. Lett. 110, 042503 (2013)
  • [10] S. Bacca, N. Barnea, W. Leidemann, and G. Orlandini, Phys. Rev. C 91, 024303 (2015)
  • [11] N. Michel,W. Nazarewicz and M. Ploszajczak, arXiv:2306.05192
  • [12] Ulf-G. Meißner, S. Shen, S. Elhatisari, and D. Lee, arXiv:2309.01558
  • [13] S. Bogner, T. Kuo, and A. Schwenk, Physics Reports 386, 1 (2003)
  • [14] R.B. Wiringa, V.G.J. Stoks, and R. Schiavilla, Phys. Rev. C 51, 38 (1995)
  • [15] D.R. Entem and R. Machleidt, Phys. Rev. C 68, 041001(R) (2003)
  • [16] R. Machleidt and D.R. Entem, Phys. Rep. 503, 1 (2011)
  • [17] E. Epelbaum et al., Phys. Rev. C 66, 064001 (2002)
  • [18] P. Navrátil, Few-Body Syst. 41, 117 (2007)
  • [19] A. Gardestig and D.R. Phillips, Phys. Rev. Lett. 96, 232301 (2006)
  • [20] D. Gazit, S. Quaglioni, and P. Navrátil, Phys. Rev. Lett. 103, 102502 (2009)
  • [21] L.E. Marcucci, A. Kievsky, S. Rosati, R. Schiavilla, and M. Viviani, Phys. Rev. Lett. 108, 052502 (2012); Erratum, Phys. Rev. Lett. 121, 049901(E) (2018)
  • [22] A. Baroni et al., Phys. Rev. C 98, 044003 (2018)
  • [23] L. E. Marcucci, F. Sammarruca, M. Viviani, and R. Machleidt, Phys. Rev. C 99, 034003 (2019)
  • [24] A. Kievsky et al., J. Phys. G: Nucl. Part. Phys. 35, 063101 (2008)
  • [25] L. E. Marcucci et al., ArXiv:1912.09751
  • [26] H. Kamada, A. Nogga, W. Glockle, E. Hiyama, M. Kamimura, K. Varga, et al., Phys. Rev. C 64, 044001 (2001)
  • [27] M. Viviani, A. Kievsky, and S. Rosati, Phys. Rev. C 71, 024006 (2005)
  • [28] M. Viviani, A. Deltuva, R. Lazauskas, J. Carbonell, A.C. Fonseca, A. Kievsky, L.E. Marcucci, and S. Rosati, Phys. Rev. C 84, 054010 (2011)
  • [29] M. Viviani, A. Deltuva, R. Lazauskas, A. C. Fonseca, A. Kievsky, and L. E. Marcucci, Phys. Rev. C 95, 034003 (2017)
  • [30] M. Viviani, L. Girlanda, A. Kievsky, and L.E. Marcucci, Phys. Rev. C 102, 034007 (2020)
  • [31] F. Zernike and H.C. Brinkman, Proc. Kon. Ned. Acad. Wensch. 33, 3 (1935)
  • [32] M. Fabre de la Ripelle, Ann. Phys. (N.Y.) 147, 281 (1983)
  • [33] M. Abramowitz and I. Stegun, Handbook of Mathematical Functions (Dover Publications, Inc., New York, 1970)
  • [34] A. Nogga, A. Kievsky, H. Kamada, W. Glockle, L.E. Marcucci, S. Rosati, and M. Viviani, Phys. Rev. C 67, 034004 (2003)
  • [35] G. Shen, L. E. Marcucci, J. Carlson, S. Gandolfi, and R. Schiavilla Phys. Rev. C 86, 035503 (2012)
  • [36] S. Pastore, L. Girlanda, R. Schiavilla, and M. Viviani, Phys. Rev. C 84, 024001 (2011)
  • [37] H.M. Hofmann and G.M. Hale, Phys. Rev. C 77, 044002 (2008)