Present address: ]INFN, Sezione di Pisa, 56127 Pisa, Italy

Relativistic Corrections to the CBF Effective Nuclear Hamiltonian

Andrea Sabatucci [ Dipartimento di Fisica, “Sapienza” University of Rome, 00185 Roma, Italy INFN, Sezione di Roma, 00185 Roma, Italy    Omar Benhar INFN, Sezione di Roma, 00185 Roma, Italy    Alessandro Lovato Physics Division, Argonne National Laboratory. Argonne, Illinois 60439, USA INFN, Trento Institute of Fundamental Physics and Applications, 38123 Trento, Italy
Abstract

We discuss the inclusion of relativistic boost corrections into the CBF effective nuclear Hamiltonian, derived from a realistic model of two- and three-nucleon interactions using the formalism of correlated basis functions and the cluster expansion technique. Different procedures to take into account the effects of boost interactions are compared on the basis of the ability to reproduce the nuclear matter equation of state obtained from accurate many-body calculations. The results of our study show that the repulsive contribution of the boost interaction significantly depends on the underlying model of the non relativistic potential. On the other hand, the dominant relativistic correction turns out to be the corresponding reduction of the strength of repulsive three-nucleon interactions, leading to a significant softening of the equation of state at supranuclear densities.

I Introduction

According to the paradigm of many-body theory, all nuclear systems—from the deuteron to neutron stars—can be treated as collections of point-like protons and neutrons interacting via instantaneous potentials [1]. It should be kept in mind, however, that this description, while proving adequate to explain a wealth of nuclear properties, is inherently inconsistent with the requirement of causality, because it leads to predict a speed of sound larger then the speed of light in dense nuclear matter.

Pioneering studies of relativistic effects in both nuclear matter and the three-nucleon bound states were carried out by Coester et al. in the 1970s and 1980s; see Refs. [2, 3]. More recently, relativistic corrections to the properties of the three- and four-nucleon systems have been thoroughly analysed by the authors of Ref. [4] using a relativistic Hamiltonian—obtained from state-of-the-art phenomenological potentials following the procedure described in Ref. [5]—and Quantum Monte Carlo techniques. The results of this study indicate that, owing to the occurrence of large cancellations, the dominant relativistic effects, referred to as boost corrections, are driven by the total momentum of the interacting particles. Boost corrections to the ground-state energies turn out to be repulsive, and account for a sizeable fraction of the potential energy originating from irreducible repulsive interactions involving three nucleons.

Relativistic boost corrections to the energies of pure neutron matter (PNM) and isospin-symmetric nuclear matter (SNM), computed within the scheme described in Refs. [5, 4], are included in the equation of state (EOS) of charge-neutral β𝛽\betaitalic_β-stable matter derived by Akmal, Pandharipande and Ravenhall [6], widely employed in studies of neutron star properties. The results of Ref. [6]—obtained from accurate variational calculations performed with a phenomenological nuclear Hamiltonian comprising the Argonne v18subscript𝑣18v_{18}italic_v start_POSTSUBSCRIPT 18 end_POSTSUBSCRIPT (AV18) nucleon-nucleon (NN) potential [7] and the Urbana IX (UIX) three-nucleon (NNN) potential [8, 9]—show that the suppression of repulsive three-nucleon interactions associated with relativistic boost corrections leads to a conspicuous softening of the EOS at supranuclear density, which appreciably affects the mass and radius of stable neutron stars obtained from the solution of the equations of Tolman, Oppenheimer and Volkoff. The resulting maximum mass turns out to decrease from 2.3 to 2.2 Msubscript𝑀direct-productM_{\odot}italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT, with Msubscript𝑀direct-productM_{\odot}italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT being the solar mass, while the radius of a 1.4 Msubscript𝑀direct-productM_{\odot}italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT neutron star is reduced from 12.7 to 11.6 Km. The inclusion of boost corrections also alleviates the problem of violation of causality, pushing its occurrence towards higher density.

Over the past decade, the dynamical model underlying the work of Ref. [6] has been used, in conjunction with the formalism of Correlated Basis Function (CBF) [10] and the cluster expansion technique [11], to derive a density-dependent effective interaction suitable to carry out perturbative calculations of nuclear matter properties at both zero and non-zero temperature [12, 13, 14, 15]. The resulting NN potential includes the contributions of two- and three-nucleon forces, and is properly renormalised to take into account the screening of non-perturbative interactions arising from strong short-range correlations among the nucleons.

The CBF effective Hamiltonian is designed to reproduce the EOSs of PNM and SNM obtained from accurate many-body calculations, carried out using a simplified version of the AV18+UIX Hamiltonian without taking into account the relativistic boost corrections considered in Ref [6]. In this article, we discuss an extension of the approach of Ref. [12] allowing to include these corrections, which are known to affect significantly the properties of nuclear matter in the high-density regime relevant to neutron stars.

The rest of this article is organised as follows. The phenomenological nuclear Hamiltonian providing the basis of the CBF effective interaction and the associated relativistic boost corrections are discussed in Section II, while Section III is devoted to a short description of the procedure employed to derive the nuclear Hamiltonian of Ref. [12], which essentially amounts to a renormalisation of nuclear forces in matter. The impact of relativistic boost corrections on nuclear matter energy and the explicit expression of the underlying effective interaction are analysed in Sections IV and V, respectively. Finally, in Section VI we summarise our findings and state the conclusions.

II Dynamical model

In this section, we outline the model of nuclear dynamics underlying our approach, as well as the formalism employed to include the contribution of relativistic boost interactions.

II.1 Nuclear Hamiltonian

In non relativistic many-body theory, nuclear dynamics are described by the Hamiltonian

HNR=i=1A𝐩i22m+j>i=1Avij+k>j>i=1AVijk,subscript𝐻NRsuperscriptsubscript𝑖1𝐴superscriptsubscript𝐩𝑖22𝑚superscriptsubscript𝑗𝑖1𝐴subscript𝑣𝑖𝑗superscriptsubscript𝑘𝑗𝑖1𝐴subscript𝑉𝑖𝑗𝑘\displaystyle H_{\rm NR}=\sum_{i=1}^{A}\frac{{\bf p}_{i}^{2}}{2m}+\sum_{j>i=1}% ^{A}v_{ij}+\sum_{k>j>i=1}^{A}V_{ijk}\ ,italic_H start_POSTSUBSCRIPT roman_NR end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT divide start_ARG bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + ∑ start_POSTSUBSCRIPT italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT , (1)

where A𝐴Aitalic_A is the number of particles, 𝐩isubscript𝐩𝑖{\bf p}_{i}bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and m𝑚mitalic_m denote the momentum of the i𝑖iitalic_i-th nucleon and its mass, and the potentials vijsubscript𝑣𝑖𝑗v_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and Vijksubscript𝑉𝑖𝑗𝑘V_{ijk}italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT describe two- and three-nucleon interactions, respectively.

Phenomenological nucleon-nucleon (NN) potentials are determined by fitting the observed properties of the two-nucleon system—including the deuteron binding energy, magnetic moment and electric quadrupole moment, as well as the data obtained from the measured NN scattering cross sections—and reduce to Yukawa’s one-pion-exchange potential at large distance. They are usually written in the form

vij=pvp(rij)Oijp,subscript𝑣𝑖𝑗subscript𝑝superscript𝑣𝑝subscript𝑟𝑖𝑗subscriptsuperscript𝑂𝑝𝑖𝑗\displaystyle v_{ij}=\sum_{p}v^{p}(r_{ij})O^{p}_{ij}\ ,italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (2)

where the functions vpsuperscript𝑣𝑝v^{p}italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT only depend upon the distance between the interacting particles, rij=|𝐫i𝐫j|subscript𝑟𝑖𝑗subscript𝐫𝑖subscript𝐫𝑗r_{ij}=|{\bf r}_{i}-{\bf r}_{j}|italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = | bold_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT |. The operators Oijpsubscriptsuperscript𝑂𝑝𝑖𝑗O^{p}_{ij}italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT with p=1,,6𝑝16p=1,\ldots,6italic_p = 1 , … , 6 account for the strong spin-isospin dependence of nuclear forces, as well as for the ocurrence of non-central interactions. They are defined as

Oijp6=[1,(𝝈i𝝈j),Sij][1,(𝝉i𝝉j)],subscriptsuperscript𝑂𝑝6𝑖𝑗tensor-product1subscript𝝈𝑖subscript𝝈𝑗subscript𝑆𝑖𝑗1subscript𝝉𝑖subscript𝝉𝑗\displaystyle O^{p\leq 6}_{ij}=[1,(\bm{\sigma}_{i}\cdot\bm{\sigma}_{j}),S_{ij}% ]\otimes[1,(\bm{\tau}_{i}\cdot\bm{\tau}_{j})]\ ,italic_O start_POSTSUPERSCRIPT italic_p ≤ 6 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = [ 1 , ( bold_italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ bold_italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) , italic_S start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ] ⊗ [ 1 , ( bold_italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ bold_italic_τ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ] , (3)

where 𝝈isubscript𝝈𝑖\bm{\sigma}_{i}bold_italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and 𝝉isubscript𝝉𝑖\bm{\tau}_{i}bold_italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are Pauli matrices acting in spin and isospin space, respectively, and

Sij=3rij2(𝝈i𝐫ij)(𝝈j𝐫ij)(𝝈i𝝈j).subscript𝑆𝑖𝑗3superscriptsubscript𝑟𝑖𝑗2subscript𝝈𝑖subscript𝐫𝑖𝑗subscript𝝈𝑗subscript𝐫𝑖𝑗subscript𝝈𝑖subscript𝝈𝑗\displaystyle S_{ij}=\frac{3}{r_{ij}^{2}}(\bm{\sigma}_{i}\cdot{\bf r}_{ij})(% \bm{\sigma}_{j}\cdot{\bf r}_{ij})-(\bm{\sigma}_{i}\cdot\bm{\sigma}_{j})\ .italic_S start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = divide start_ARG 3 end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( bold_italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ bold_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) ( bold_italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⋅ bold_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) - ( bold_italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ⋅ bold_italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) . (4)

State-of-the-art models, such as the Argonne v18subscript𝑣18v_{18}italic_v start_POSTSUBSCRIPT 18 end_POSTSUBSCRIPT (AV18) potential [7], include twelve additional terms. The contributions corresponding to p=7,,14𝑝714p~{}=~{}7,\ldots,14italic_p = 7 , … , 14 are associated with non-static components of the potential, including spin-orbit and other angular momentum-dependent terms, while those corresponding to p=15,,18𝑝1518p=15,\ldots,18italic_p = 15 , … , 18 take into account small violations of charge symmetry and charge independence.

Three-body forces are long known to be required to model the interactions of extended composite bodies, such as protons and neutrons, without considering their internal structure explicitly; see, e.g., Ref. [16]. In nuclear many-body theory, the inclusion of irreducible NNN forces, described by the potential Vijksubscript𝑉𝑖𝑗𝑘V_{ijk}italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT, is needed to explain both the observed binding energies of the three-nucleon systems and saturation—that is, the occurrence of a minimum of the energy per particle E(ϱ)/A𝐸italic-ϱ𝐴E(\varrho)/Aitalic_E ( italic_ϱ ) / italic_A at non-vanishing density ϱ0=0.16fm3subscriptitalic-ϱ00.16superscriptfm3\varrho_{0}=0.16\ {\rm fm}^{-3}italic_ϱ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.16 roman_fm start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT—in SNM.

Phenomenological models of the NNN force such as the UIX potential [8, 9] are written in the form

Vijk=Vijk2π+VijkR,subscript𝑉𝑖𝑗𝑘superscriptsubscript𝑉𝑖𝑗𝑘2𝜋superscriptsubscript𝑉𝑖𝑗𝑘𝑅\displaystyle V_{ijk}=V_{ijk}^{2\pi}+V_{ijk}^{R}\ ,italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT = italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT + italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT , (5)

where Vijk2πsuperscriptsubscript𝑉𝑖𝑗𝑘2𝜋V_{ijk}^{2\pi}italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT is the attractive Fujita-Miyazawa potential [17], describing two-pion-exchange processes associated with the appearance of a ΔΔ\Deltaroman_Δ resonance in the intermediate state, while VijkRsuperscriptsubscript𝑉𝑖𝑗𝑘𝑅V_{ijk}^{R}italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT is a purely phenomenological repulsive term. The UIX model involves two parameters, determined from fits to the empirical data performed using the AV18+UIX nuclear Hamiltonian. The strength of the two-pion exchange contribution is fixed in such a way as to reproduce the observed ground-state energies of \isotope[3][]He and \isotope[4][]He, while that of the isoscalar repulsive contribution is adjusted to obtain the saturation density of SNM inferred from extrapolation of nuclear data.

The non relativistic Hamiltonian employed to obtain the effective interaction discussed in this work comprises the Argonne v6superscriptsubscript𝑣6v_{6}^{\prime}italic_v start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT (AV6P) NN potential [18], determined projecting the full AV18 potential onto the basis of the six operators appearing in the expression of the one-pion-exchange potential, defined by Eqs.(3) and (4), and the UIX NNN potential. The AV6P potential predicts the binding energy and electric quadrupole moment of the deuteron with accuracy of 1%, and 4%, respectively, and provides an excellent fit of the elastic NN scattering phase shifts in the S01superscriptsubscriptS01{}^{1}{\rm S}_{0}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT channel333We will adopt the spectroscopic notation, according to which the two-nucleon states labelled S01superscriptsubscriptS01{{}^{1}}{\rm S}_{0}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and P11superscriptsubscriptP11{{}^{1}}{\rm P}_{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT correspond to spin S=0𝑆0S=0italic_S = 0 and orbital angular momentum =00\ell=0roman_ℓ = 0 and 1, respectively.—which is dominant in pure neutron matter—up to laboratory energies 600similar-toabsent600\sim 600∼ 600 MeV, well above the pion production threshold.

It must be pointed out that the procedure employed to obtain the AV6P potential effectively takes into account interactions described by components of the AV18 potential having p>6𝑝6p>6italic_p > 6. This feature is clearly illustrated in Fig. 1, providing a comparison between the neutron-proton scattering phase shifts in the S01superscriptsubscriptS01{}^{1}{\rm S}_{0}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and P11superscriptsubscriptP11{}^{1}{\rm P}_{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT channels computed using the AV6P potential and those obtained from the AV18 potential neglecting the terms vp>6superscript𝑣𝑝6v^{p>6}italic_v start_POSTSUPERSCRIPT italic_p > 6 end_POSTSUPERSCRIPT. In appears that the AV6P model provides a description of the data comparable to that obtained from the full AV18 potential in both channels. On the other hand, the truncated AV18 potential, while being capable to predict the S01superscriptsubscriptS01{}^{1}{\rm S}_{0}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT phase shifts, conspicuously fails to reproduce the data in the P11superscriptsubscriptP11{}^{1}{\rm P}_{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT channel at energies larger than similar-to\sim100 MeV.

Refer to caption
Refer to caption
Figure 1: Proton-neutron scattering phase shifts in the S01superscriptsubscriptS01{}^{1}{\rm S}_{0}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT (A) and P11superscriptsubscriptP11{}^{1}{\rm P}_{1}start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (B) channels, plotted as a function of the kinetic energy of the beam particle in the laboratory frame. The results obtained using the AV6P and the truncated AV18 potentials are represented by solid and dashed lines, respectively. The triangles correspond to the full AV18 potential. The data are taken from Refs. [19, 20] (circles) and [21] (squares).

This pattern suggests that the contributions of angular momentum-dependent interactions, which turn out to be significant, are, in fact, largely included in the projected AV6P potential.

The results of a study performed using accurate many-body techniques also show that the EOSs of PNM computed using the AV6P potential and the full AV18 potential remarkably agree with one another. At saturation density, the discrepancy between the energies per particle obtained from Auxiliary Field Diffusion Monte Carlo (AFDMC) calculations using the two potential models turns out to be similar-to\sim10-15% [22].

II.2 Relativistic corrections

The relativistic description of nuclear systems is a long-standing challenge, which has been confronted within different theoretical approaches. Here, we outline the formalism originally developed by Krajcik and Foldy [23], and further elaborated by Friar [24].

The authors of Ref. [23] derived the Relativistic Hamiltonian of a system with fixed number of particles from a covariant approach based on the well established conceptual framework of non-relativistic quantum mechanics. In this context, relativistic covariance refers to the requirement that the descriptions of physical phenomena observed in different inertial frames can be obtained from one another by performing a Poincaré transformation. Such a requirement entails the definition of a representation of the Poincaré group in the Hilbert space associated with the observed system, and the derivation of the relativistic Hamiltonian from the commutation rules of the Poincaré algebra. A clear and exhaustive discussion of the assumptions underlying this approach can be found in Ref. [25].

The relativistic Hamiltonian of an interacting many-particle system, HRsubscript𝐻RH_{\rm R}italic_H start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT, is defined as the sum of the relativistic single-particle kinetic energies, the interaction potentials and the associated relativistic boost corrections. The explicit expression comprising interactions involving up to three particles can be written in the form

HR=i=1Ami2+𝐩i2subscript𝐻Rsuperscriptsubscript𝑖1𝐴superscriptsubscript𝑚𝑖2superscriptsubscript𝐩𝑖2\displaystyle H_{\rm R}=\sum_{i=1}^{A}\sqrt{m_{i}^{2}+\mathbf{p}_{i}^{2}}italic_H start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT square-root start_ARG italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG +j>i=1A[v~ij+δvij(𝐏ij)]superscriptsubscript𝑗𝑖1𝐴delimited-[]subscript~𝑣𝑖𝑗𝛿subscript𝑣𝑖𝑗subscript𝐏𝑖𝑗\displaystyle+\sum_{j>i=1}^{A}\left[\tilde{v}_{ij}+\delta v_{ij}(\mathbf{P}_{% ij})\right]+ ∑ start_POSTSUBSCRIPT italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT [ over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) ] (6)
+k>j>i=1A[V~ijk+δVijk(𝐏ijk)],superscriptsubscript𝑘𝑗𝑖1𝐴delimited-[]subscript~𝑉𝑖𝑗𝑘𝛿subscript𝑉𝑖𝑗𝑘subscript𝐏𝑖𝑗𝑘\displaystyle+\sum_{k>j>i=1}^{A}\left[\widetilde{V}_{ijk}+\delta V_{ijk}(% \mathbf{P}_{ijk})\right]\ ,+ ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT [ over~ start_ARG italic_V end_ARG start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT + italic_δ italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( bold_P start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ) ] ,

to be compared to Eq. (1). In the above equation, v~ijsubscript~𝑣𝑖𝑗\tilde{v}_{ij}over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and V~ijksubscript~𝑉𝑖𝑗𝑘\widetilde{V}_{ijk}over~ start_ARG italic_V end_ARG start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT denote the two- and three-body potentials in the rest frames of the interacting nucleons, defined by the conditions

𝐏ij=𝐩i+𝐩j=0,subscript𝐏𝑖𝑗subscript𝐩𝑖subscript𝐩𝑗0\mathbf{P}_{ij}=\mathbf{p}_{i}+\mathbf{p}_{j}=0\ ,bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT = 0 , (7)

and

𝐏ijk=𝐩i+𝐩j+𝐩k=0,subscript𝐏𝑖𝑗𝑘subscript𝐩𝑖subscript𝐩𝑗subscript𝐩𝑘0\mathbf{P}_{ijk}=\mathbf{p}_{i}+\mathbf{p}_{j}+\mathbf{p}_{k}=0\ ,bold_P start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT = bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = 0 , (8)

with 𝐩isubscript𝐩𝑖{\bf p}_{i}bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, 𝐩jsubscript𝐩𝑗{\bf p}_{j}bold_p start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT and 𝐩ksubscript𝐩𝑘{\bf p}_{k}bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT being the nucleon momenta. The boost corrections δvij𝛿subscript𝑣𝑖𝑗\delta v_{ij}italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and δVijk𝛿subscript𝑉𝑖𝑗𝑘\delta V_{ijk}italic_δ italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT originate from the motion of the two- and three-nucleon center of mass in the rest frame of the A𝐴Aitalic_A-nucleon system. They satisfy the obvious requirements

δvij(𝐏ij=0)=δVijk(𝐏ijk=0)=0.𝛿subscript𝑣𝑖𝑗subscript𝐏𝑖𝑗0𝛿subscript𝑉𝑖𝑗𝑘subscript𝐏𝑖𝑗𝑘00\delta v_{ij}(\mathbf{P}_{ij}=0)=\delta V_{ijk}(\mathbf{P}_{ijk}=0)=0\ .italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 0 ) = italic_δ italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ( bold_P start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT = 0 ) = 0 . (9)

Because, in principle, v~ijsubscript~𝑣𝑖𝑗\tilde{v}_{ij}over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and the non relativistic vijsubscript𝑣𝑖𝑗{v}_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT of Eq. (1) can be both obtained from a fit to experimental data [26], one can reasonably assume that relativistic effects taken into account using v~ijsubscript~𝑣𝑖𝑗\tilde{v}_{ij}over~ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT in conjunction with square root kinetic energies are, in fact, implicitly included in vijsubscript𝑣𝑖𝑗{v}_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT.

In the 1970s, Krajcik and Foldy [23] and Friar [24] obtained an expression of the boost correction δv(𝐏)𝛿𝑣𝐏\delta v({\bf P})italic_δ italic_v ( bold_P )333The subscripts specifying the labels of the interacting particles will be omitted whenever not necessary. from an expansion in powers of 𝐏2/4m2superscript𝐏24superscript𝑚2{\bf P}^{2}/4m^{2}bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. On the other hand, relativistic corrections to the NNN potential, whose contribution to the energy is known to be much smaller than the one arising from NN interactions, have been generally neglected [5, 26]. The present discussion will be limited to the calculation of the leading order contribution to δv(𝐏)𝛿𝑣𝐏\delta v({\bf P})italic_δ italic_v ( bold_P ) within the scheme of Forest et al. [5]. This approximation appears to be amply justified by the results of numerical calculations, showing that the probability of 𝐏2superscript𝐏2{\bf P}^{2}bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT being larger than m2superscript𝑚2m^{2}italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is, in fact, quite small; see, e.g., Ref. [26].

The starting point is the decomposition

H=H0+HI,𝐻subscript𝐻0subscript𝐻𝐼H=H_{0}+H_{I}\ ,italic_H = italic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT , (10)

where H0subscript𝐻0H_{0}italic_H start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the Hamiltonian describing two non interacting nucleons and HIsubscript𝐻𝐼H_{I}italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT, containing all interaction terms, can be conveniently written in the form

HI=v+δv+.subscript𝐻𝐼𝑣𝛿𝑣H_{I}=v+\delta v+...\ .italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT = italic_v + italic_δ italic_v + … . (11)

The potential v𝑣vitalic_v, independent of 𝐏𝐏\mathbf{P}bold_P, can be assumed to be of order 1/m1𝑚1/m1 / italic_m, because in nuclear systems interaction energy and non-relativistic kinetic energy are known to be of comparable magnitude. The correction δv𝛿𝑣\delta vitalic_δ italic_v is of order 1/m31superscript𝑚31/m^{3}1 / italic_m start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, and the ellipsis represents terms of order 1/m41superscript𝑚41/m^{4}1 / italic_m start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT or higher. The presence of HIsubscript𝐻𝐼H_{I}italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT entails the appearance of a corresponding term in the boost generator, that can be written in the form

𝐊=𝐊0+𝐊I.𝐊subscript𝐊0subscript𝐊𝐼\mathbf{K}=\mathbf{K}_{0}+\mathbf{K}_{I}\ .bold_K = bold_K start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + bold_K start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT . (12)

The leading contributions to HIsubscript𝐻𝐼H_{I}italic_H start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT and 𝐊Isubscript𝐊𝐼\mathbf{K}_{I}bold_K start_POSTSUBSCRIPT italic_I end_POSTSUBSCRIPT have been derived in Refs. [23, 24]. Substitution of the resulting expressions into the relevant commutation relations of the Poincaré algebra yields the boost interaction at order 𝐏2/4m2superscript𝐏24superscript𝑚2\mathbf{P}^{2}/4m^{2}bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [5]

δv(𝐏)=𝛿𝑣𝐏absent\displaystyle\delta v(\mathbf{P})=italic_δ italic_v ( bold_P ) = 𝐏28m2v~+18m2[(𝐏𝐫)(𝐏),v~]superscript𝐏28superscript𝑚2~𝑣18superscript𝑚2𝐏𝐫𝐏~𝑣\displaystyle-\frac{\mathbf{P}^{2}}{8m^{2}}\tilde{v}+\frac{1}{8m^{2}}[(\mathbf% {P}\cdot\mathbf{r})(\mathbf{P}\cdot\gradient),\tilde{v}]- divide start_ARG bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG over~ start_ARG italic_v end_ARG + divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( bold_P ⋅ bold_r ) ( bold_P ⋅ start_OPERATOR ∇ end_OPERATOR ) , over~ start_ARG italic_v end_ARG ] (13)
+18m2[(𝝈1𝝈2)×(𝐏),v~],18superscript𝑚2subscript𝝈1subscript𝝈2𝐏~𝑣\displaystyle+\frac{1}{8m^{2}}[(\bm{\sigma}_{1}-\bm{\sigma}_{2})\times(\mathbf% {P}\cdot\gradient),\tilde{v}]\ ,+ divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( bold_italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) × ( bold_P ⋅ start_OPERATOR ∇ end_OPERATOR ) , over~ start_ARG italic_v end_ARG ] ,

where the potential in the NN center-of-mass frame, v~~𝑣\tilde{v}over~ start_ARG italic_v end_ARG, includes all relativistic corrections independent of 𝐏𝐏\mathbf{P}bold_P, and the gradient operator acts on the relative coordinate. The first two terms in the right hand side of the above equation are associated with the relativistic energy-momentum relation and Lorentz contraction, respectively, whereas the last contribution—which has been shown to be negligibly small in light nuclei [27]—account for Thomas precession and quantum mechanical effects.

The results reported in this work have been obtained using the Hamiltonian

HNR=i=1A𝐩i22msubscriptsuperscript𝐻NRsuperscriptsubscript𝑖1𝐴superscriptsubscript𝐩𝑖22𝑚\displaystyle H^{*}_{\rm NR}=\sum_{i=1}^{A}\frac{{\bf p}_{i}^{2}}{2m}italic_H start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_NR end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT divide start_ARG bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG +j>i=1A[vij+δv(𝐏ij)]superscriptsubscript𝑗𝑖1𝐴delimited-[]subscript𝑣𝑖𝑗𝛿𝑣subscript𝐏𝑖𝑗\displaystyle+\sum_{j>i=1}^{A}[v_{ij}+\delta v({\mathbf{P}}_{ij})]+ ∑ start_POSTSUBSCRIPT italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT [ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v ( bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) ]
+k>j>i=1AVijk,superscriptsubscript𝑘𝑗𝑖1𝐴subscriptsuperscript𝑉𝑖𝑗𝑘\displaystyle+\sum_{k>j>i=1}^{A}V^{*}_{ijk}\ ,+ ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT , (14)

in which Vijksubscriptsuperscript𝑉𝑖𝑗𝑘V^{*}_{ijk}italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT denotes the NNN potential modified to account for the presence of the boost interaction δv𝛿𝑣\delta vitalic_δ italic_v. The calculation of δv𝛿𝑣\delta vitalic_δ italic_v has been carried out following the approximations employed in Ref. [6], which amounts to neglecting the second line of Eq. (13) as well as non-static NN interactions, corresponding to the p>6𝑝6p>6italic_p > 6 components of the NN potential.

III Effective Hamiltonian

Within the approach developed by the authors of Ref. [12]—a simplified implementation of which was originally proposed in Ref. [28]—the effective interaction is defined by the equation

Ψ0|HNR|Ψ0quantum-operator-productsubscriptΨ0subscript𝐻NRsubscriptΨ0\displaystyle\langle\Psi_{0}|H_{\text{NR}}|\Psi_{0}\rangle⟨ roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | italic_H start_POSTSUBSCRIPT NR end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ =TF+Φ0|Veff|Φ0absentsubscript𝑇𝐹quantum-operator-productsubscriptΦ0subscript𝑉effsubscriptΦ0\displaystyle=T_{F}+\langle\Phi_{0}|V_{\rm eff}|\Phi_{0}\rangle= italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT + ⟨ roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT | roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ (15)

where HNRsubscript𝐻NRH_{\text{NR}}italic_H start_POSTSUBSCRIPT NR end_POSTSUBSCRIPT is the non relativistic Hamiltonian of Eq. (1), TFsubscript𝑇𝐹T_{F}italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT denotes the energy of the non interacting system, and

Veff=j>i=1Avijeff,subscript𝑉effsuperscriptsubscript𝑗𝑖1𝐴subscriptsuperscript𝑣eff𝑖𝑗\displaystyle V_{\rm eff}=\sum_{j>i=1}^{A}v^{\textnormal{eff}}_{ij}\ ,italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_v start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (16)

with the effective NN potential vijeffsubscriptsuperscript𝑣eff𝑖𝑗v^{\textnormal{eff}}_{ij}italic_v start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT written as in Eq.(2) and including p6𝑝6p\leq 6italic_p ≤ 6 contributions only.

The nuclear mater ground state |Ψ0ketsubscriptΨ0|\Psi_{0}\rangle| roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ is obtained from the Fermi gas ground state, |Φ0ketsubscriptΦ0|\Phi_{0}\rangle| roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩, through the transformation

|Ψ0=|Φ0Φ0||Φ0,ketsubscriptΨ0ketsubscriptΦ0quantum-operator-productsubscriptΦ0superscriptsubscriptΦ0|\Psi_{0}\rangle=\frac{\mathcal{F}|\Phi_{0}\rangle}{\sqrt{\langle\Phi_{0}|% \mathcal{F}^{\dagger}\mathcal{F}|\Phi_{0}\rangle}}\ ,| roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ = divide start_ARG caligraphic_F | roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ end_ARG start_ARG square-root start_ARG ⟨ roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT caligraphic_F | roman_Φ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ end_ARG end_ARG , (17)

with

=𝒮j>iFij.𝒮subscriptproduct𝑗𝑖subscript𝐹𝑖𝑗\mathcal{F}=\mathcal{S}\prod_{j>i}F_{ij}\ .caligraphic_F = caligraphic_S ∏ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT . (18)

The two-nucleon correlation functions appearing in the right-hand side of the above equation are meant to embody all dynamical effects. As a consequence, they can be conveniently written in the form

Fij=p=16fp(rij)Oijp,subscript𝐹𝑖𝑗superscriptsubscript𝑝16superscript𝑓𝑝subscript𝑟𝑖𝑗subscriptsuperscript𝑂𝑝𝑖𝑗\displaystyle F_{ij}=\sum_{p=1}^{6}f^{p}(r_{ij})O^{p}_{ij}\ ,italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (19)

reminiscent of the NN potential of Eq. (2). Note that because, in general, [Fij,Fjk]0subscript𝐹𝑖𝑗subscript𝐹𝑗𝑘0[F_{ij},F_{jk}]\neq 0[ italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_F start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT ] ≠ 0, the product in Eq.(18) needs to be symmetrised through the action of the operator 𝒮𝒮\mathcal{S}caligraphic_S. The most prominent effect of the inclusion of correlations is the appearance of screening, that is, a strong suppression of the probability to find two nucleons within the range of the non perturbative repulsive core of the NN interaction.

Using the formalism described in Ref. [12], the effective Hamiltonian of Eq. (15) can be readily used to obtain the energy of nuclear matter with arbitrary neutron excess. In the case one-component Fermi liquids, such as PNM and SNM, the ground state expectation value of the effective interaction reduces to the form333Hereafter, delimited-⟨⟩\langle\ldots\rangle⟨ … ⟩ will denote an expectation value in the Fermi gas ground state

Veff=Aϱ2d3r12CTr[v12eff(1P^12στ2(kFr12))],delimited-⟨⟩subscript𝑉eff𝐴italic-ϱ2superscript𝑑3subscript𝑟12CTrdelimited-[]subscriptsuperscript𝑣eff121subscriptsuperscript^𝑃𝜎𝜏12superscript2subscript𝑘𝐹subscript𝑟12\langle~{}V_{\rm eff}~{}\rangle=A~{}\frac{\varrho}{2}\int d^{3}r_{12}\,\mbox{% CTr}\left[v^{\textnormal{eff}}_{12}\left(1-\widehat{P}^{\sigma\tau}_{12}\ell^{% 2}(k_{F}r_{12})\right)\right]\ ,⟨ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ⟩ = italic_A divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT CTr [ italic_v start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( 1 - over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ) ] , (20)

where kFsubscript𝑘𝐹k_{F}italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is the Fermi momentum and r=|𝐫1𝐫2|𝑟subscript𝐫1subscript𝐫2r=|\mathbf{r}_{1}-\mathbf{r}_{2}|italic_r = | bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT |. In the above equation, CTr[]CTrdelimited-[]\text{CTr}~{}[\ldots]CTr [ … ] denotes the trace operation in spin-isospin space, normalised such that CTr[𝟙]=1CTrdelimited-[]double-struck-𝟙1\text{CTr}~{}[\,\mathbb{1}\,]=1CTr [ blackboard_𝟙 ] = 1, and P^12στsubscriptsuperscript^𝑃𝜎𝜏12\widehat{P}^{\sigma\tau}_{12}over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT is the spin-isospin exchange operator, defined as

P^12στ=14(1+𝝈1𝝈2)(1+𝝉1𝝉2).subscriptsuperscript^𝑃𝜎𝜏12141subscript𝝈1subscript𝝈21subscript𝝉1subscript𝝉2\widehat{P}^{\sigma\tau}_{12}=\frac{1}{4}(1+\bm{\sigma}_{1}\cdot\bm{\sigma}_{2% })(1+\bm{\tau}_{1}\cdot\bm{\tau}_{2})\ .over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( 1 + bold_italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ bold_italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ( 1 + bold_italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ bold_italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) . (21)

The function (kFr)subscript𝑘𝐹𝑟\ell(k_{F}r)roman_ℓ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r )—often referred to as Slater function—is trivially related to the density matrix of the non interacting system at density ϱitalic-ϱ\varrhoitalic_ϱ through

(kFr)subscript𝑘𝐹𝑟\displaystyle\ell(k_{F}r)roman_ℓ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) =1A𝐤θ(kF|𝐤|)ei𝐤𝐫absent1𝐴subscript𝐤𝜃subscript𝑘𝐹𝐤superscript𝑒𝑖𝐤𝐫\displaystyle=\frac{1}{A}\sum_{\bf k}\theta(k_{F}-|{\bf k}|)~{}e^{i{\bf k}% \cdot{\bf r}}= divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ∑ start_POSTSUBSCRIPT bold_k end_POSTSUBSCRIPT italic_θ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT - | bold_k | ) italic_e start_POSTSUPERSCRIPT italic_i bold_k ⋅ bold_r end_POSTSUPERSCRIPT
=3[sin((kFr))(kFr)cos((kFr))(kFr)3],absent3delimited-[]subscript𝑘𝐹𝑟subscript𝑘𝐹𝑟subscript𝑘𝐹𝑟superscriptsubscript𝑘𝐹𝑟3\displaystyle=3\left[\frac{\sin{(k_{F}r)}-(k_{F}r)\cos{(k_{F}r)}}{(k_{F}r)^{3}% }\right]\ ,= 3 [ divide start_ARG roman_sin ( start_ARG ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) end_ARG ) - ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) roman_cos ( start_ARG ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) end_ARG ) end_ARG start_ARG ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ] , (22)

with θ(x)𝜃𝑥\theta(x)italic_θ ( italic_x ) being the Heaviside step function, respectively.

The effective interaction is obtained from Eq. (15) using the cluster expansion formalism [11], which amounts to rewrite the left-hand side in the form

Ψ0|HNR|Ψ0=TF+(ΔE)2+,quantum-operator-productsubscriptΨ0subscript𝐻NRsubscriptΨ0subscript𝑇𝐹subscriptΔ𝐸2\langle\Psi_{0}|{H}_{\text{NR}}|\Psi_{0}\rangle=T_{F}+(\Delta E)_{2}+\ldots\ ,⟨ roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | italic_H start_POSTSUBSCRIPT NR end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ⟩ = italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT + ( roman_Δ italic_E ) start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + … , (23)

where (ΔE)nsubscriptΔ𝐸𝑛(\Delta E)_{n}( roman_Δ italic_E ) start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is the contribution arising from subsystems—or clusters—comprising n𝑛nitalic_n particles.

Kee** only two-body terms, one obtains the simple expression

vijeff=1m(Fij)2+FijvijFij,subscriptsuperscript𝑣eff𝑖𝑗1𝑚superscriptbold-∇subscript𝐹𝑖𝑗2subscript𝐹𝑖𝑗subscript𝑣𝑖𝑗subscript𝐹𝑖𝑗v^{\textnormal{eff}}_{ij}=-\frac{1}{m}(\bm{\nabla}F_{ij})^{2}+F_{ij}v_{ij}F_{% ij}\ ,italic_v start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG italic_m end_ARG ( bold_∇ italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (24)

which clearly illustrates how the the bare NN potential is renormalised by the action of the correlation functions.

Refer to caption
Figure 2: Radial and density dependence of the CBF effective interaction obtained from the AV6P+UIX Hamiltonian. For comparison, the thick solid line shows the behaviour of the bare AV6P potential.

The shape of the fp(r)superscript𝑓𝑝𝑟f^{p}(r)italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) is found by solving the set of Euler-Lagrange equations obtained from the minimisation of the ground state energy, evaluated at the two-body cluster level using the NN potential

v¯ij=p[δp1+(1δp1)α]vp(rij)Oijp,subscript¯𝑣𝑖𝑗subscript𝑝delimited-[]subscript𝛿𝑝11subscript𝛿𝑝1𝛼superscript𝑣𝑝subscript𝑟𝑖𝑗subscriptsuperscript𝑂𝑝𝑖𝑗{\bar{v}}_{ij}=\sum_{p}[\delta_{p1}+(1-\delta_{p1})\alpha]v^{p}(r_{ij})O^{p}_{% ij}\ ,over¯ start_ARG italic_v end_ARG start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT [ italic_δ start_POSTSUBSCRIPT italic_p 1 end_POSTSUBSCRIPT + ( 1 - italic_δ start_POSTSUBSCRIPT italic_p 1 end_POSTSUBSCRIPT ) italic_α ] italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (25)

with α𝛼\alphaitalic_α being a parameter meant to take into account the quenching of two-nucleon interactions due to the presence of the nuclear medium. The correlation functions satisfy the boundary conditions

fp(rdp)=δ1p,dfp(r)dr|dp=0,f^{p}(r\geq d^{p})=\delta_{1p}\ \ ,\ \ \left.\frac{df^{p}(r)}{dr}\right|_{{d^{% p}}}=0\ ,italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ≥ italic_d start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) = italic_δ start_POSTSUBSCRIPT 1 italic_p end_POSTSUBSCRIPT , divide start_ARG italic_d italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) end_ARG start_ARG italic_d italic_r end_ARG | start_POSTSUBSCRIPT italic_d start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 0 , (26)

where, following Ref. [29], we have set

dp<5=dc,dp=5,6=dt.\displaystyle d^{p<5}=d_{c}\ \ \ \ ,\ \ \ \ d^{p=5,6}=d_{t}\ .italic_d start_POSTSUPERSCRIPT italic_p < 5 end_POSTSUPERSCRIPT = italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_d start_POSTSUPERSCRIPT italic_p = 5 , 6 end_POSTSUPERSCRIPT = italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT . (27)

From the above discussion, it follows that, for any density ϱitalic-ϱ\varrhoitalic_ϱ, the correlation functions associated with a given nuclear Hamiltonian depend on three parameters: the quenching factor α𝛼\alphaitalic_α and the two relaxation distances dcsubscript𝑑𝑐d_{c}italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and dtsubscript𝑑𝑡d_{t}italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. In principle, they should be regarded as variational parameters, to be determined from the minimisation of the ground-state energy within an advanced computational method, such as the FHNC/SOC summation scheme or the Monte Carlo technique. According to the philosophy underlying the effective interaction formalism, on the other hand, they are adjusted in such a way as to reproduce a set of target results—obtained from accurate non perturbative calculations—using the potential Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT defined by Eqs. (15)–(16) and first order perturbation theory. This procedure has been successfully implemented to derive an effective interaction from the AV6P+UIX Hamiltonian, with the role of target results being played by the EOSs of SNM and PNM, obtained from the same Hamiltonian using the FHNC/SOC and the AFDMC computational techniques, respsctively.

As pointed out previously, the determination of Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT from Eq. (15) involves the calculation of the expectation value of the the nuclear Hamiltonian in the correlated ground sate, performed using the cluster expansion method. The lowest order approximation allowing to take into account both the NN and NNN potentials involves two- and three-body cluster contributions. The resulting expression can be cast in the form

Veffdelimited-⟨⟩subscript𝑉eff\displaystyle\langle~{}V_{\text{eff}}~{}\rangle⟨ italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ⟩ =[T,]|2b+VNN|2babsentevaluated-atdelimited-⟨⟩superscript𝑇2bevaluated-atdelimited-⟨⟩superscriptsubscript𝑉NN2b\displaystyle=\langle~{}\mathcal{F}^{\dagger}[T,\mathcal{F}]~{}\rangle|_{\text% {2b}}+\langle~{}\mathcal{F}^{\dagger}V_{\text{NN}}\mathcal{F}~{}\rangle|_{% \text{2b}}= ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_T , caligraphic_F ] ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT + ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT NN end_POSTSUBSCRIPT caligraphic_F ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT (28)
+VNNN|3b,evaluated-atdelimited-⟨⟩superscriptsubscript𝑉NNN3b\displaystyle+\langle~{}\mathcal{F}^{\dagger}V_{\text{NNN}}\mathcal{F}~{}% \rangle|_{\text{3b}}\ ,+ ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT NNN end_POSTSUBSCRIPT caligraphic_F ⟩ | start_POSTSUBSCRIPT 3b end_POSTSUBSCRIPT ,

where T𝑇Titalic_T denotes the A𝐴Aitalic_A-body kinetic energy operator,

VNN=j>i=1Avij,VNNN=k>j>i=1AVijk,\displaystyle V_{\text{NN}}=\sum_{j>i=1}^{A}v_{ij}\ \ ,\ \ V_{\text{NNN}}=\sum% _{k>j>i=1}^{A}V_{ijk}\ ,italic_V start_POSTSUBSCRIPT NN end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , italic_V start_POSTSUBSCRIPT NNN end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT , (29)

and the subscripts 2b2𝑏2b2 italic_b and 3b3𝑏3b3 italic_b label two- and three-nucleon cluster contributions, respectively.

It should be emphasised that the correlation operator \mathcal{F}caligraphic_F appearing in Eq. (28) is not the same as the one determined performing a minimisation of the ground-state energy of nuclear matter. The values of the parameters α𝛼\alphaitalic_α, dcsubscript𝑑𝑐d_{c}italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, and dtsubscript𝑑𝑡d_{t}italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT entering the calculation of the right-hand side of Eq. (28) are instead adjusted to satisfy Eq. (15) using the effective interaction Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT—obtained from the AV6P+UIX Hamiltonian—and the target results appearing in the the left-hand side. The radial and density dependence of CBF effective potential obtained from the AV6P+UIX Hamiltonian are illustrated in Fig. 2

IV Boost correction to the EOS of nuclear matter

As a first approximation, the impact of including relativistic boost corrections into the effective interaction of Ref. [12] has been investigated by treating the corresponding contribution to the ground-state energy as a perturbation. The resulting expression reads

V~eff=Veff+δV|2b=Veff+δVeff,subscript~𝑉effsubscript𝑉effevaluated-atdelimited-⟨⟩superscript𝛿𝑉2𝑏subscript𝑉eff𝛿subscript𝑉eff\widetilde{V}_{\text{eff}}=V_{\text{eff}}+\langle~{}\mathcal{F}^{\dagger}~{}% \delta V~{}\mathcal{F}~{}\rangle|_{2b}=V_{\text{eff}}+\delta V_{\text{eff}}\ ,over~ start_ARG italic_V end_ARG start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT + ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_δ italic_V caligraphic_F ⟩ | start_POSTSUBSCRIPT 2 italic_b end_POSTSUBSCRIPT = italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT + italic_δ italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT , (30)

with

δV=j>iδvij,𝛿𝑉subscript𝑗𝑖𝛿subscript𝑣𝑖𝑗\displaystyle\delta V=\sum_{j>i}\delta v_{ij},italic_δ italic_V = ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (31)

where, following Ref. [6], the form of δvij𝛿subscript𝑣𝑖𝑗\delta v_{ij}italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is approximated by

δvij=𝛿subscript𝑣𝑖𝑗absent\displaystyle\delta v_{ij}=italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 𝐏ij28m2vij+18m2[(𝐏ij𝐫)(𝐏ij),vij].superscriptsubscript𝐏𝑖𝑗28superscript𝑚2subscript𝑣𝑖𝑗18superscript𝑚2subscript𝐏𝑖𝑗𝐫subscript𝐏𝑖𝑗subscript𝑣𝑖𝑗\displaystyle-\frac{\mathbf{P}_{ij}^{2}}{8m^{2}}{v_{ij}}+\frac{1}{8m^{2}}[(% \mathbf{P}_{ij}\cdot\mathbf{r})(\mathbf{P}_{ij}\cdot\gradient),{v_{ij}}]\ .- divide start_ARG bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ ( bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⋅ bold_r ) ( bold_P start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⋅ start_OPERATOR ∇ end_OPERATOR ) , italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ] . (32)

In the above equation, the gradient operates on the relative coordinate and vijsubscript𝑣𝑖𝑗v_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT is a NN potential whose operator structure is described by the Op6superscript𝑂𝑝6O^{p\leq 6}italic_O start_POSTSUPERSCRIPT italic_p ≤ 6 end_POSTSUPERSCRIPT of Eqs. (3) and (4).

IV.1 AV18 and AV6P Hamiltonians

In order to pin down the effects of δv𝛿𝑣\delta vitalic_δ italic_v alone, we have first considered Hamiltonian models including only the two-nucleon potential.

The EOSs of PNM and SNM computed by the authors of Refs. [30, 6] using the AV18 and AV18+δv𝛿𝑣\delta vitalic_δ italic_v Hamiltonians have been compared to those obtained from the corresponding effective interactions, derived from the AV6P potential using the AV18 EOSs as target.

It must be kept in mind that, while having the same operator structure, the truncated AV18 potential—employed to evaluate the contribution of the relativistic boost interaction in Ref. [6]—differs significantly from the projected AV6P potential. The discrepancies observed in the NN scattering phase shifts, discussed in Section II.1, also strikingly emerge in the density dependence of the energy per nucleon of PNM computed using the AFDMC technique; see Fig. 3.

Refer to caption
Figure 3: Energy per particle of PNM, obtained from AFDMC calculations performed including NN interactions only. Squares and triangles correspond to the AV6P potential and to the truncated AV18 potential discussed in the text.

Figure 4 shows a comparison between the variational ground-state energies of PNM and SNM determined by Akmal et al. using the AV18 and AV18+δv𝛿𝑣\delta vitalic_δ italic_v Hamiltonians and the corresponding results obtained using the CBF effective interaction with and without inclusion of the relativistic correction defined by Eq. (30). The results of calculations carried out using the AV6P and the truncated AV18 potential—labelled δVeff(AV6P)𝛿subscript𝑉eff𝐴𝑉6𝑃\delta V_{\rm eff}(AV6P)italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 6 italic_P ) and δVeff(AV18)𝛿subscript𝑉eff𝐴𝑉18\delta V_{\rm eff}(AV18)italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 18 ), respectively—turn out to be significantly different, with δVeff(AV18)𝛿subscript𝑉eff𝐴𝑉18\delta V_{\rm eff}(AV18)italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 18 ) being appreciably larger than δVeff(AV6P)𝛿subscript𝑉eff𝐴𝑉6𝑃\delta V_{\rm eff}(AV6P)italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 6 italic_P ) over the whole density range. It is apparent that both the Veff+δVeff(AV6P)subscript𝑉eff𝛿subscript𝑉eff𝐴𝑉6𝑃V_{\rm eff}+\delta V_{\rm eff}(AV6P)italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT + italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 6 italic_P ) and Veff+δVeff(AV18)subscript𝑉eff𝛿subscript𝑉eff𝐴𝑉18V_{\rm eff}+\delta V_{\rm eff}(AV18)italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT + italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT ( italic_A italic_V 18 ) models fail to reproduce the results obtained using the AV18+δv𝛿𝑣\delta vitalic_δ italic_v Hamiltonian.

We investigated the origin of the pattern emerging from Fig. 4 by studying the sensitivity of the boost interaction energy to modifications of the NN correlation functions fp(r)superscript𝑓𝑝𝑟f^{p}(r)italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ). In Fig. 5, the lines labelled (X,Y)—with X,Y \equiv AV18 or AV6P—represent results obtained using the potential model X for the solution of the Euler-Lagrange equations determining the shape of the fp(r)superscript𝑓𝑝𝑟f^{p}(r)italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ), and model Y in the calculation of the boost interaction energy. It appears that the observed behaviour is primarily driven by the NN potential, although in the case X\equivAV6P appreciable differences between the energies corresponding to different correlation functions are visible at high densities.

Refer to caption
Figure 4: Energy dependence of the binding energy per particle of PNM and SNM obtained using Hamiltonians including only NN potentials.The meaning of the curves is explained in the text.
Refer to caption
Figure 5: Density dependence of the relativistic boost correction δVeff𝛿subscript𝑉eff\delta V_{\rm eff}italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT—defined by Eq. (30)—in PNM. The results have been obtained using different NN potentials and correlation functions. The meaning of the curves is explained in the text.

IV.2 AV18+UIX and AV6P+UIX Hamiltonians

The formalism described in the previous sections has been generalised to allow the treatment of models of nuclear dynamics including a NNN potential, the corresponding effective interaction being defined by Eq.(28).

The parameters α𝛼\alphaitalic_α, dcsubscript𝑑𝑐d_{c}italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and dtsubscript𝑑𝑡d_{t}italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT entering the definition of the two-nucleon correlation functions, discussed in Section III, have been adjusted to reproduce the EOSs of both PNM and SNM reported by Akmal et al. in Ref. [6]. In the following, the EOSs obtained by these authors using the AV18+UIX and AV18+δv𝛿𝑣\delta vitalic_δ italic_v+UIX Hamiltonians will be referred to as APR1 and APR2, respectively. We recall the reader that the presence of the repulsive boost interaction brings about a significant modification of the UIX potential. The strength of the isoscalar repulsive contribution to the resulting NNN interaction, denoted UIX, turns out to be reduced by a factor γ=0.63𝛾0.63\gamma=0.63italic_γ = 0.63 [4, 6].

The energies per nucleon corresponding to the APR2 model reported in Ref. [6] have been obtained by adding to the corresponding APR1 results the contribution of the boost interaction and the associated modification of the NNN potential, computed in first order perturbation theory. The resulting expression can be written in the form

(EA)APR2=(EA)APR1+1A[δV+(γ1)VR],subscript𝐸𝐴APR2subscript𝐸𝐴APR11𝐴delimited-⟨⟩superscriptdelimited-[]𝛿𝑉𝛾1superscript𝑉𝑅\displaystyle\left(\frac{E}{A}\right)_{\text{APR2}}=\left(\frac{E}{A}\right)_{% \text{APR1}}+\frac{1}{A}\langle\mathcal{F}^{\dagger}[\delta V+(\gamma-1)V^{R}]% \mathcal{F}\rangle,( divide start_ARG italic_E end_ARG start_ARG italic_A end_ARG ) start_POSTSUBSCRIPT APR2 end_POSTSUBSCRIPT = ( divide start_ARG italic_E end_ARG start_ARG italic_A end_ARG ) start_POSTSUBSCRIPT APR1 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_δ italic_V + ( italic_γ - 1 ) italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT ] caligraphic_F ⟩ , (33)

with the correlation operator \mathcal{F}caligraphic_F being determined from minimisation of the expectation value of the AV18+UIX Hamiltoinan in the correlated ground state, and

VR=k>j>iVijkR.superscript𝑉𝑅subscript𝑘𝑗𝑖subscriptsuperscript𝑉𝑅𝑖𝑗𝑘\displaystyle V^{R}=\sum_{k>j>i}V^{R}_{ijk}\ .italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i end_POSTSUBSCRIPT italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT . (34)

To identify the effects of relativistic corrections, we have evaluated the contribution of the effective potential to the ground-state energy using different prescriptions. In the first scenario, relativistic boost corrections are neglected altogether, whereas the two additional definitions are

δVeff=[δV+(γ1)VR],𝛿subscript𝑉effdelimited-⟨⟩superscriptdelimited-[]𝛿𝑉𝛾1superscript𝑉𝑅\displaystyle\delta{V_{\rm eff}}=\langle{\mathcal{F}}^{\dagger}[\delta V+(% \gamma-1)V^{R}]\mathcal{F}\rangle\ ,italic_δ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_δ italic_V + ( italic_γ - 1 ) italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT ] caligraphic_F ⟩ , (35)

and

δVeff=(γ1)VR.𝛿subscriptsuperscript𝑉eff𝛾1delimited-⟨⟩superscriptsuperscript𝑉𝑅\displaystyle\delta{V^{*}_{\rm eff}}=(\gamma-1)\langle{\mathcal{F}}^{\dagger}V% ^{R}\mathcal{F}\rangle\ .italic_δ italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT = ( italic_γ - 1 ) ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT caligraphic_F ⟩ . (36)

In all three cases the correlation functions determining the effective interaction are the same, with the corresponding parameters being adjusted using as target results the APR1 EOSs of Ref. [6].

The solid lines of Fig. 6—which reproduce the APR1 EOSs by construction—represent the results obtained using Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT defined by Eq. (28), while the dashed lines correspond to calculations carried out using δVeff𝛿subscriptsuperscript𝑉eff\delta V^{*}_{\text{eff}}italic_δ italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT of Eq. (36). The results obtained including the full relativistic correction of Eq.(35) and using the AV6P and the truncated AV18 in the calculation of δV𝛿𝑉\delta Vitalic_δ italic_V are displayed by the dot-dash and dotted lines, respectively.

It clearly appears that the differences originating from the use of the AV6P or the truncated AV18 potential in the calculation of the boost interaction energy, while being still visible, are largely obscured by the size of the associated modification of the repulsive NNN potential.

Refer to caption
Figure 6: Energy dependence of the binding energy per particle of PNM and SNM obtained using Hamiltonians including both NN and NNN potentials. The meaning of the curves is explained in the text.

V Boost correction to the CBF Effective Interaction

In the previous sections, the relativistic boost interaction has been treated in perturbation theory, which amounted to adding to the CBF effective potential of Eq. (28) the expectation value of δV𝛿𝑉\delta Vitalic_δ italic_V in the correlated ground state, defined by Eq. (30). Here, we will discuss a procedure to take into account the boost interaction at operator level, which implies determining the relativistic effective potential, denoted Veffsubscriptsuperscript𝑉effV^{\prime}_{\rm eff}italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, from the equation

H=TF+Veff,delimited-⟨⟩superscriptsuperscriptHsubscript𝑇𝐹delimited-⟨⟩superscriptsubscript𝑉eff\langle{\mathcal{F}}^{\dagger}{\rm H}^{\prime}{\mathcal{F}}\rangle=T_{F}+% \langle{V}_{\rm eff}^{\prime}\rangle,⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT roman_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT caligraphic_F ⟩ = italic_T start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT + ⟨ italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⟩ , (37)

where

H=i𝐩i22m+j>i(vij+δvij)+k>j>iVijk,superscriptHsubscript𝑖subscriptsuperscript𝐩2𝑖2𝑚subscript𝑗𝑖subscript𝑣𝑖𝑗𝛿subscript𝑣𝑖𝑗subscript𝑘𝑗𝑖subscriptsuperscript𝑉𝑖𝑗𝑘{\rm H}^{\prime}=\sum_{i}\frac{\mathbf{p}^{2}_{i}}{2m}+\sum_{j>i}(v_{ij}+% \delta v_{ij})+\sum_{k>j>i}V^{*}_{ijk}\ ,roman_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT divide start_ARG bold_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m end_ARG + ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT ( italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) + ∑ start_POSTSUBSCRIPT italic_k > italic_j > italic_i end_POSTSUBSCRIPT italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT , (38)

the operator structure of Veffsubscriptsuperscript𝑉effV^{\prime}_{\rm eff}italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT being the same as that of Eq.(2) with p6𝑝6p\leq 6italic_p ≤ 6.

It clearly appears that the procedure based on Eqs. (37) and (38) allows to take into account the effects of boost interactions in the determination of the radial dependence of the correlation functions fp(r)superscript𝑓𝑝𝑟f^{p}(r)italic_f start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ), which in turn drives the behaviour of the effective interaction.

The numerical results obtained from the above method are summarised in Fig. 7. In analogy to Sect. IV.2 we have considered two different definitions of the effective potential. The first one, which takes into account boost corrections only through the replacement VNNNVNNNsubscript𝑉NNNsubscriptsuperscript𝑉NNNV_{\rm NNN}~{}\to~{}V^{*}_{\rm NNN}italic_V start_POSTSUBSCRIPT roman_NNN end_POSTSUBSCRIPT → italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_NNN end_POSTSUBSCRIPT, is written in the form

Veffdelimited-⟨⟩subscript𝑉eff\displaystyle\langle~{}V_{\text{eff}}~{}\rangle⟨ italic_V start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ⟩ =[T,]|2b+VNN|2babsentevaluated-atdelimited-⟨⟩superscript𝑇2bevaluated-atdelimited-⟨⟩superscriptsubscript𝑉NN2b\displaystyle=\langle~{}\mathcal{F}^{\dagger}[T,\mathcal{F}]~{}\rangle|_{\text% {2b}}+\langle~{}\mathcal{F}^{\dagger}V_{\text{NN}}\mathcal{F}~{}\rangle|_{% \text{2b}}= ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_T , caligraphic_F ] ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT + ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT NN end_POSTSUBSCRIPT caligraphic_F ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT (39)
+VNNN|3b,evaluated-atdelimited-⟨⟩superscriptsubscriptsuperscript𝑉NNN3b\displaystyle+\langle~{}\mathcal{F}^{\dagger}V^{*}_{\text{NNN}}\mathcal{F}~{}% \rangle|_{\text{3b}}\ ,+ ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT NNN end_POSTSUBSCRIPT caligraphic_F ⟩ | start_POSTSUBSCRIPT 3b end_POSTSUBSCRIPT ,

reminiscent of the non relativistic expression of Eq. (28). The second prescription, on the other hand, is obtained from Eq. (37), and includes relativistic corrections to both the NN and NNN potentals. The corresponding expression reads

Veffdelimited-⟨⟩subscriptsuperscript𝑉eff\displaystyle\langle~{}V^{\prime}_{\text{eff}}~{}\rangle⟨ italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ⟩ =[T,]|2b+(VNN+δV)|2babsentevaluated-atdelimited-⟨⟩superscript𝑇2bevaluated-atdelimited-⟨⟩superscriptsubscript𝑉NN𝛿𝑉2b\displaystyle=\langle~{}\mathcal{F}^{\dagger}[T,\mathcal{F}]~{}\rangle|_{\text% {2b}}+\langle~{}\mathcal{F}^{\dagger}(V_{\text{NN}}+\delta V)\mathcal{F}~{}% \rangle|_{\text{2b}}= ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_T , caligraphic_F ] ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT + ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_V start_POSTSUBSCRIPT NN end_POSTSUBSCRIPT + italic_δ italic_V ) caligraphic_F ⟩ | start_POSTSUBSCRIPT 2b end_POSTSUBSCRIPT (40)
+VNNN|3b.evaluated-atdelimited-⟨⟩superscriptsubscriptsuperscript𝑉NNN3b\displaystyle+\langle~{}\mathcal{F}^{\dagger}V^{*}_{\text{NNN}}\mathcal{F}~{}% \rangle|_{\text{3b}}\ .+ ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_V start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT NNN end_POSTSUBSCRIPT caligraphic_F ⟩ | start_POSTSUBSCRIPT 3b end_POSTSUBSCRIPT .

The effective potentials defined by Eqs. (39) and (40) have been both determined in such a way as to reproduce the APR2 EOSs, obtained using the AV18+δv𝛿𝑣\delta vitalic_δ italic_v+UIX Hamiltonian. The details of the calculations can be found in the appendix.

The density dependence of the parameters α𝛼\alphaitalic_α, dcsubscript𝑑𝑐d_{c}italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and dtsubscript𝑑𝑡d_{t}italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT obtained by fitting the target EOSs with the effective potentials of Eqs.(39) and (40) are displayed in panels (a) and (b) of Fig. 7, respectively, while panels (c) and (d) show the corresponding energies per particle of PNM and SNM. The jump in the values of the parameters determining the shape of the correlation functions, clearly visible at ϱ0.2fm3italic-ϱ0.2superscriptfm3\varrho\approx 0.2\,{\rm fm}^{-3}italic_ϱ ≈ 0.2 roman_fm start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, is likely to reflect the appearance of the spin-isospin ordered phase—associated with the occurrence of neutral pion condensation—discussed in Ref.[6]. The small kink at ϱ0.32fm3italic-ϱ0.32superscriptfm3\varrho\approx 0.32\,{\rm fm}^{-3}italic_ϱ ≈ 0.32 roman_fm start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT may also be ascribed to this phase transition in SNM. It appears that the inclusion of boost interactions has only a marginal impact on the parameter values, and the target energies can be accurately reproduced with both choices of the effective potential.

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 7: The top panels show the correlation ranges and quenching parameters, defined by Eqs. (25)-(27) obtained optimizing the effective interaction to reproduce APR2 EOSs without (a) and with (b) the inclusion of boost corrections in its definition. The corresponding energies per nucleon of both SNM and PNM are displayed in panels (c) and (d). Squares and circles represent the results of Akmal et al. [6].

Figure 8 illustrates the radial behaviour of the CBF effective potential acting in the two-nucleon channel of spin-isospin S=0𝑆0S=0italic_S = 0 and T=1𝑇1T=1italic_T = 1 at density ϱ=0.16italic-ϱ0.16\varrho=0.16italic_ϱ = 0.16 and 0.640.640.640.64 fm-3. The solid line corresponds to Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT of Eq. (28), while the dashed line represents the effective interaction Veffsubscriptsuperscript𝑉effV^{\prime}_{\rm eff}italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT determined including relativistic boost interactions according to Eq. (40). The UIX NNN potential has been used in both cases. Note that, because the effective interactions Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT and Veffsubscriptsuperscript𝑉effV^{\prime}_{\rm eff}italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT are optimised to reproduce the same APR2 EOSs, the values of the adjustable parameters α𝛼\alphaitalic_α, dcsubscript𝑑𝑐d_{c}italic_d start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and dtsubscript𝑑𝑡d_{t}italic_d start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT determining the shape of the correlation functions involved in their definitions are not the same. The modification arising from boost interactions are clearly visible.

Refer to caption
Refer to caption
Figure 8: Radial dependence of the CBF effective interaction in the S=0𝑆0S=0italic_S = 0, T=1𝑇1T=1italic_T = 1 channel at density ϱ=0.16italic-ϱ0.16\varrho=0.16italic_ϱ = 0.16 (a) and 0.640.640.640.64 fm-3 (b). The solid line represents the potential Veffsubscript𝑉effV_{\rm eff}italic_V start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT obtained from Eq. (39) using the UIX NNN potential, while the dashed line corresponds to the effective interaction Veffsubscriptsuperscript𝑉effV^{\prime}_{\rm eff}italic_V start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_eff end_POSTSUBSCRIPT, determined including the contribution of relativistic boost interactions according to Eq. (40).

VI Summary and outlook

We have investigated the impact of including relativistic boost corrections into the density-dependent effective interaction of Ref.[12], derived from the AV6P+UIX model of the nuclear Hamiltonian using the CBF formalism and the cluster expansion technique. The contribution of the boost interaction δV𝛿𝑉\delta Vitalic_δ italic_V has been considered both at average level, by treating its expectation value in the correlated ground state as a perturbation, and at microscopic level, by explicitly taking into account δV𝛿𝑉\delta Vitalic_δ italic_V in the determination the effective potential.

The form of δV𝛿𝑉\delta Vitalic_δ italic_V has been obtained following the procedure described in Refs. [4, 5], designed to be used with static NN potentials. We found significant differences between the contributions of the boost interaction to nuclear matter energy computed with either the AV6P potential or the truncated version of the AV18 model employed by Akmal et al. [6], in which all angular-momentum-dependent terms are neglected. These discrepancies suggest that the projection method used by the authors of Ref.[18] to obtain the AV6P potential allows to effectively capture some important features of non static interactions. The contribution of the boost interaction computed using the truncated AV18 interaction turns out to be considerably larger than that obtained from the AV6P at all densities.

The inclusion of a repulsive correction to the NN potential obviously entails a corresponding decrease of the repulsive component of the NNN potential, VRsuperscript𝑉𝑅V^{R}italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT, needed to preserve the capability of the Hamiltonian to explain the measured binding energies of \isotope[3][]He and \isotope[4][]He and the empirical value of the saturation density of SNM. Our analysis shows that the resulting 30similar-toabsent30\sim 30∼ 30% reduction of the strength of repulsive NNN interactions is, in fact, the dominant relativistic correction, leading to a significant softening of the nuclear matter EOS at high densities.

In this context, it is worth mentioning that additional constraints on NNN interactions in dense matter may be provided by multimessenger neutron star observations. The results of the analyses performed by the authors of Refs.[31, 32] suggest that the existing and forthcoming data have the potential to allow an accurate determination of the parameter γ𝛾\gammaitalic_γ of Eq. (33), providing a measure of the relativistic boost correction to the strength of VRsuperscript𝑉𝑅V^{R}italic_V start_POSTSUPERSCRIPT italic_R end_POSTSUPERSCRIPT.

The analysis described in this article is meant to be a first exploratory step towards a fully consistent inclusion of relativistic boost corrections into the effective interaction of Ref. [12]. The achievement of this goal—which involves using correlation functions optimised to reproduce the EOSs of PNM and SNM obtained from the AV6P+UIX Hamiltonian—will extend the density region in which the CBF effective Hamiltonian can be expected to provide a reliable description of nuclear matter properties relevant to neutron star structure and dynamics.

Relativistic modifications of the three-nucleon potential have been also recently discussed by the authors of Ref. [33], who derived the boost corrections to the leading order NNN contact interaction from the constraints imposed by Poincaré algebra on non relativistic dynamics. However, their impact on nuclear properties has not been studied yet.

As a final remark, it should be emphasised that, in assessing the role of relativistic corrections to the dynamics of dense matter, one has to keep in mind that the approach followed in our study is only applicable in the density regime in which nuclear matter can be described in terms of nucleon degrees of freedom. The data recently reported by the Neutron Star Internal Composition Explorer (NICER)[34, 35], showing that neutron stars of 1.4similar-toabsent1.4\sim 1.4∼ 1.4 and 2.1similar-toabsent2.1\sim 2.1∼ 2.1 solar masses have similar radii, provide convincing evidence that the limit of applicability of this description may be as high as 4ϱ0similar-toabsent4subscriptitalic-ϱ0\sim 4\varrho_{0}∼ 4 italic_ϱ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT.

Acknowledgements.
This research was funded by the U.S. Department of Energy, Office of Science, Office of Nuclear Physics, under contract DE-AC02-06CH11357 (A.L.), the NUCLEI SciDAC program (A.L.), and the Italian National Institute for Nuclear Research (INFN), under grant TEONGRAV (O.B. and A.S.).

Appendix A Boost corrections to the CBF effective interaction

In this Appendix, we provide details on the calculation of the effective interaction defined by Eq. (40), in which the corrections arising from relativistic boost interactions are explicitly taken into account at operator level. In view of the fact that the contribution of δV𝛿𝑉\delta Vitalic_δ italic_V is computed in the two-body cluster approximation, we can limit our discussion to the case of a Hamiltonian comprising two-nucleon terms only, which can be written

H=T+VNN+δV=i𝐩i22m+j>i(vij+δvij).𝐻𝑇subscript𝑉NN𝛿𝑉subscript𝑖superscriptsubscript𝐩𝑖22𝑚subscript𝑗𝑖subscript𝑣𝑖𝑗𝛿subscript𝑣𝑖𝑗H=T+V_{\rm NN}+\delta V=\sum_{i}\frac{\mathbf{p}_{i}^{2}}{2m}+\sum_{j>i}\left(% v_{ij}+\delta v_{ij}\right).italic_H = italic_T + italic_V start_POSTSUBSCRIPT roman_NN end_POSTSUBSCRIPT + italic_δ italic_V = ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT divide start_ARG bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT ( italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) . (41)

The effective interaction is obtained by expanding the expectation value of H𝐻Hitalic_H in the correlated ground state, and retaining only the two-body cluster contribution (ΔE)2subscriptΔ𝐸2(\Delta E)_{2}( roman_Δ italic_E ) start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT; see Eq. (23). In this case, the boost correction, which will be denoted δvijeff𝛿subscriptsuperscript𝑣eff𝑖𝑗\delta v^{\rm eff}_{ij}italic_δ italic_v start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, is implicitly defined by the equation

(ΔE)2=[T,]|2b+j>i(vij+δvij)|2b=j>i(vijeff+δvijeff),subscriptΔ𝐸2evaluated-atdelimited-⟨⟩superscript𝑇2𝑏evaluated-atdelimited-⟨⟩superscriptsubscript𝑗𝑖subscript𝑣𝑖𝑗𝛿subscript𝑣𝑖𝑗2𝑏delimited-⟨⟩subscript𝑗𝑖subscriptsuperscript𝑣eff𝑖𝑗𝛿subscriptsuperscript𝑣eff𝑖𝑗\displaystyle(\Delta E)_{2}=\langle~{}{\mathcal{F}}^{\dagger}[T,\mathcal{F}]~{% }\rangle|_{2b}+\langle~{}{\mathcal{F}}^{\dagger}\sum_{j>i}(v_{ij}+\delta v_{ij% })\mathcal{F}~{}\rangle|_{2b}=\langle~{}\sum_{j>i}(v^{\rm eff}_{ij}+\delta v^{% \rm eff}_{ij})~{}\rangle\ ,( roman_Δ italic_E ) start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT [ italic_T , caligraphic_F ] ⟩ | start_POSTSUBSCRIPT 2 italic_b end_POSTSUBSCRIPT + ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT ( italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) caligraphic_F ⟩ | start_POSTSUBSCRIPT 2 italic_b end_POSTSUBSCRIPT = ⟨ ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT ( italic_v start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_δ italic_v start_POSTSUPERSCRIPT roman_eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) ⟩ , (42)

where

vijeff=1m(Fij)2+FijvijFij,subscriptsuperscript𝑣eff𝑖𝑗1𝑚superscriptbold-∇subscript𝐹𝑖𝑗2subscript𝐹𝑖𝑗subscript𝑣𝑖𝑗subscript𝐹𝑖𝑗v^{\textnormal{eff}}_{ij}=-\frac{1}{m}(\bm{\nabla}F_{ij})^{2}+F_{ij}v_{ij}F_{% ij}\ ,italic_v start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG italic_m end_ARG ( bold_∇ italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (43)

with Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT being the NN correlation function of Eq. (19). Because both vijsubscript𝑣𝑖𝑗v_{ij}italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT depend linearly on the operators Op6superscript𝑂𝑝6O^{p\leq 6}italic_O start_POSTSUPERSCRIPT italic_p ≤ 6 end_POSTSUPERSCRIPT defined by Eqs. (3) and (4), one can exploit the algebra

OijpOijq=r=16KpqrOijr,subscriptsuperscript𝑂𝑝𝑖𝑗subscriptsuperscript𝑂𝑞𝑖𝑗superscriptsubscript𝑟16superscript𝐾𝑝𝑞𝑟subscriptsuperscript𝑂𝑟𝑖𝑗O^{p}_{ij}O^{q}_{ij}=\sum_{r=1}^{6}K^{pqr}O^{r}_{ij}\ ,italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_r = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_p italic_q italic_r end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_r end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT , (44)

with the coefficients Kpqrsuperscript𝐾𝑝𝑞𝑟K^{pqr}italic_K start_POSTSUPERSCRIPT italic_p italic_q italic_r end_POSTSUPERSCRIPT given in, e.g., Ref.[36], to cast the NN effective potential in the form

vijeff=p=16veff,p(rij)Oijp.superscriptsubscript𝑣𝑖𝑗effsuperscriptsubscript𝑝16superscript𝑣eff𝑝subscript𝑟𝑖𝑗superscriptsubscript𝑂𝑖𝑗𝑝v_{ij}^{\textnormal{eff}}=\sum_{p=1}^{6}v^{{\rm eff},p}(r_{ij})O_{ij}^{p}\ .italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT eff end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_v start_POSTSUPERSCRIPT roman_eff , italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) italic_O start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT . (45)

The form of the boost interaction employed in this work, given by Eq.(32), has been derived using the approximations discussed in Refs. [5, 6]. It does not include the terms arising from Thomas Precession and the commutators involving the spin-dependent part of the NN potential present in Eq. (13), whose contributions to the binding energies of \isotope[3][]He and \isotope[4][]He have been found to be negligible [37]. For a static NN potential written as in Eq. (2) one obtains

δv12=p=16[𝐏28m2vp(r12)+(𝐏𝐫^12)28m2r12dvpdr12]O12p+p=16(𝐏𝐫12)8m2vp(r12)(𝐏)O12p,𝛿subscript𝑣12superscriptsubscript𝑝16delimited-[]superscript𝐏28superscript𝑚2superscript𝑣𝑝subscript𝑟12superscript𝐏subscript^𝐫1228superscript𝑚2subscript𝑟12𝑑superscript𝑣𝑝𝑑subscript𝑟12subscriptsuperscript𝑂𝑝12superscriptsubscript𝑝16𝐏subscript𝐫128superscript𝑚2superscript𝑣𝑝subscript𝑟12𝐏subscriptsuperscript𝑂𝑝12\begin{split}\delta v_{12}=\sum_{p=1}^{6}\left[-\frac{\mathbf{P}^{2}}{8m^{2}}v% ^{p}(r_{12})+\frac{(\mathbf{P}\cdot{\hat{\bf r}}_{12})^{2}}{8m^{2}}r_{12}\frac% {dv^{p}}{dr_{12}}\right]O^{p}_{12}+\sum_{p=1}^{6}\frac{(\mathbf{P}\cdot\mathbf% {r}_{12})}{8m^{2}}v^{p}(r_{12})(\mathbf{P}\cdot\gradient)O^{p}_{12}\ ,\end{split}start_ROW start_CELL italic_δ italic_v start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT [ - divide start_ARG bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) + divide start_ARG ( bold_P ⋅ over^ start_ARG bold_r end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG ] italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT + ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT divide start_ARG ( bold_P ⋅ bold_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ( bold_P ⋅ start_OPERATOR ∇ end_OPERATOR ) italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT , end_CELL end_ROW (46)

where 𝐫^12=𝐫12/r12subscript^𝐫12subscript𝐫12subscript𝑟12{\hat{\bf r}}_{12}={\bf r}_{12}/r_{12}over^ start_ARG bold_r end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = bold_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT / italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT. Note that the last term in the right-hand side of the above equation involves the gradient of the tensor operator S12subscript𝑆12S_{12}italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT, whose expectation value vanishes in unpolarised matter. For this reason, here we limit ourselves to consider the expression

δv12=p=16[𝐏28m2vp(r12)+(𝐏𝐫^12)28m2r12dvpdr12]O12p=i=16δvp(r12)O12p.𝛿subscript𝑣12superscriptsubscript𝑝16delimited-[]superscript𝐏28superscript𝑚2superscript𝑣𝑝subscript𝑟12superscript𝐏subscript^𝐫1228superscript𝑚2subscript𝑟12𝑑superscript𝑣𝑝𝑑subscript𝑟12subscriptsuperscript𝑂𝑝12superscriptsubscript𝑖16𝛿superscript𝑣𝑝subscript𝑟12subscriptsuperscript𝑂𝑝12\delta v_{12}=\sum_{p=1}^{6}\left[-\frac{\mathbf{P}^{2}}{8m^{2}}v^{p}(r_{12})+% \frac{(\mathbf{P}\cdot{\hat{\bf r}}_{12})^{2}}{8m^{2}}r_{12}\frac{dv^{p}}{dr_{% 12}}\right]O^{p}_{12}=\sum_{i=1}^{6}\delta v^{p}(r_{12})O^{p}_{12}\ .italic_δ italic_v start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT [ - divide start_ARG bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) + divide start_ARG ( bold_P ⋅ over^ start_ARG bold_r end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG ] italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT . (47)

To obtain the expression of the relativistic boost correction we need to calculate the two-body cluster contribution to the expectation value of δV𝛿𝑉\delta Vitalic_δ italic_V in the correlated ground state. As a first step, we consider the expectation value in the Fermi gas ground state, which can be readily evaluated and split into direct and exchange contributions according to

1AδV=1Aj>iδvij=1AδVD1AδVE,1𝐴delimited-⟨⟩𝛿𝑉1𝐴delimited-⟨⟩subscript𝑗𝑖𝛿subscript𝑣𝑖𝑗1𝐴subscriptdelimited-⟨⟩𝛿𝑉𝐷1𝐴subscriptdelimited-⟨⟩𝛿𝑉𝐸\displaystyle\frac{1}{A}~{}\langle\delta V\rangle=\frac{1}{A}~{}\langle\sum_{j% >i}\delta v_{ij}\rangle=\frac{1}{A}~{}\langle\delta V\rangle_{D}-\frac{1}{A}~{% }\langle\delta V\rangle_{E}\ ,divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ = divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ⟩ = divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT , (48)

where

1AδVD=15ϱ8m2kF2pd3r12[r12dvp(r12)dr123vp(r12)]CTr[O12p],1𝐴subscriptdelimited-⟨⟩𝛿𝑉𝐷15italic-ϱ8superscript𝑚2superscriptsubscript𝑘𝐹2subscript𝑝superscript𝑑3subscript𝑟12delimited-[]subscript𝑟12𝑑superscript𝑣𝑝subscript𝑟12𝑑subscript𝑟123superscript𝑣𝑝subscript𝑟12CTrdelimited-[]subscriptsuperscript𝑂𝑝12\begin{split}\frac{1}{A}~{}\langle\delta V\rangle_{D}=\frac{1}{5}\frac{\varrho% }{8m^{2}}k_{F}^{2}\sum_{p}\int d^{3}r_{12}\left[r_{12}\frac{dv^{p}(r_{12})}{dr% _{12}}-3v^{p}(r_{12})\right]\mbox{CTr}[O^{p}_{12}]\ ,\end{split}start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 5 end_ARG divide start_ARG italic_ϱ end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT [ italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG - 3 italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ] CTr [ italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ] , end_CELL end_ROW (49)

and

1AδVE=ϱ16m2pd3r12[r12dvp(r12)dr12I2(kF,r12)vp(r)I1(kF,r12)]CTr[OpP^12στ],1𝐴subscriptdelimited-⟨⟩𝛿𝑉𝐸italic-ϱ16superscript𝑚2subscript𝑝superscript𝑑3subscript𝑟12delimited-[]subscript𝑟12𝑑superscript𝑣𝑝subscript𝑟12𝑑subscript𝑟12subscript𝐼2subscript𝑘𝐹subscript𝑟12superscript𝑣𝑝𝑟subscript𝐼1subscript𝑘𝐹subscript𝑟12CTrdelimited-[]superscript𝑂𝑝subscriptsuperscript^𝑃𝜎𝜏12\begin{split}\frac{1}{A}\langle\delta V\rangle_{E}=\frac{\varrho}{16m^{2}}\sum% _{p}\int d^{3}r_{12}\left[r_{12}\frac{dv^{p}(r_{12})}{dr_{12}}I_{2}(k_{F},r_{1% 2})-v^{p}(r)I_{1}(k_{F},r_{12})\right]\mbox{CTr}[O^{p}\widehat{P}^{\sigma\tau}% _{12}]\ ,\end{split}start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = divide start_ARG italic_ϱ end_ARG start_ARG 16 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT [ italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) - italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ] CTr [ italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ] , end_CELL end_ROW (50)

with

I1(kF,r)subscript𝐼1subscript𝑘𝐹𝑟\displaystyle I_{1}(k_{F},r)italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) =2[(kFr)]22(kFr)r2(kFr),absent2superscriptdelimited-[]superscriptsubscript𝑘𝐹𝑟22subscript𝑘𝐹𝑟subscriptsuperscript2𝑟subscript𝑘𝐹𝑟\displaystyle=2[\ell^{\prime}(k_{F}r)]^{2}-2\ell(k_{F}r)\gradient^{2}_{r}\ell(% k_{F}r)\ ,= 2 [ roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 roman_ℓ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) start_OPERATOR ∇ end_OPERATOR start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_ℓ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) ,
I2(kF,r)subscript𝐼2subscript𝑘𝐹𝑟\displaystyle I_{2}(k_{F},r)italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) =2[(kFr)]22(kFr)′′(kFr).absent2superscriptdelimited-[]superscriptsubscript𝑘𝐹𝑟22subscript𝑘𝐹𝑟superscript′′subscript𝑘𝐹𝑟\displaystyle=2[\ell^{\prime}(k_{F}r)]^{2}-2\ell(k_{F}r)\ell^{\prime\prime}(k_% {F}r)\ .= 2 [ roman_ℓ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 roman_ℓ ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) roman_ℓ start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) .

Here a prime indicates derivative with respect to r𝑟ritalic_r,

r21r2r2r,subscriptsuperscript2𝑟1𝑟superscript2superscript𝑟2𝑟\gradient^{2}_{r}\equiv\frac{1}{r}\frac{\partial^{2}}{\partial r^{2}}r\ ,start_OPERATOR ∇ end_OPERATOR start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ≡ divide start_ARG 1 end_ARG start_ARG italic_r end_ARG divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_r , (51)

and kFsubscript𝑘𝐹k_{F}italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT denotes the Fermi momentum. Note that in this work we only consider one-component Fermi liquids, such as PNM and SNM.

A more compact expression can be obtained collecting the direct and exchange terms in the right-hand side of Eq. (48). The result can be written in the form

1AδV=ϱ2p=16{d3r12Ap(kF,r12)CTr[O12p]d3r12Bp(kF,r12)CTr[O12pP^12στ]}.1𝐴delimited-⟨⟩𝛿𝑉italic-ϱ2superscriptsubscript𝑝16superscript𝑑3subscript𝑟12superscript𝐴𝑝subscript𝑘𝐹subscript𝑟12CTrdelimited-[]superscriptsubscript𝑂12𝑝superscript𝑑3subscript𝑟12superscript𝐵𝑝subscript𝑘𝐹subscript𝑟12CTrdelimited-[]superscriptsubscript𝑂12𝑝subscriptsuperscript^𝑃𝜎𝜏12\frac{1}{A}\langle~{}\delta V\rangle=\frac{\varrho}{2}\sum_{p=1}^{6}\left\{% \int d^{3}r_{12}\,A^{p}(k_{F},r_{12})\mbox{CTr}[O_{12}^{p}]-\int d^{3}r_{12}\,% B^{p}(k_{F},r_{12})\mbox{CTr}[O_{12}^{p}\widehat{P}^{\sigma\tau}_{12}]\right\}.divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ = divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT { ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_A start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) CTr [ italic_O start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ] - ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_B start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) CTr [ italic_O start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ] } . (52)

where

Ap(kF,r)18m225kF2[rdvp(r)dr3vp(r)],Bp(kF,r)18m2[rdvp(r)drI2(kF,r)vp(r)I1(kF,r)].formulae-sequencesuperscript𝐴𝑝subscript𝑘𝐹𝑟18superscript𝑚225superscriptsubscript𝑘𝐹2delimited-[]𝑟𝑑superscript𝑣𝑝𝑟𝑑𝑟3superscript𝑣𝑝𝑟superscript𝐵𝑝subscript𝑘𝐹𝑟18superscript𝑚2delimited-[]𝑟𝑑superscript𝑣𝑝𝑟𝑑𝑟subscript𝐼2subscript𝑘𝐹𝑟superscript𝑣𝑝𝑟subscript𝐼1subscript𝑘𝐹𝑟\begin{split}A^{p}(k_{F},r)&\equiv\frac{1}{8m^{2}}\frac{2}{5}k_{F}^{2}\left[r% \frac{dv^{p}(r)}{dr}-3v^{p}(r)\right]\ ,\\ B^{p}(k_{F},r)&\equiv\frac{1}{8m^{2}}\left[r\frac{dv^{p}(r)}{dr}I_{2}(k_{F},r)% -v^{p}(r)I_{1}(k_{F},r)\right]\ .\end{split}start_ROW start_CELL italic_A start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) end_CELL start_CELL ≡ divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG 2 end_ARG start_ARG 5 end_ARG italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ italic_r divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) end_ARG start_ARG italic_d italic_r end_ARG - 3 italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) ] , end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) end_CELL start_CELL ≡ divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ italic_r divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) end_ARG start_ARG italic_d italic_r end_ARG italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) - italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) ] . end_CELL end_ROW (53)

Finally, because the spin-isospin exchange operator can be written in terms of the operators of Eq. (3) as

P^12στ=14q=14O12q,subscriptsuperscript^𝑃𝜎𝜏1214superscriptsubscript𝑞14superscriptsubscript𝑂12𝑞\widehat{P}^{\sigma\tau}_{12}=\frac{1}{4}\sum_{q=1}^{4}O_{12}^{q},over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_O start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT , (54)

we can use the algebra (44) to obtain

1AδV=ϱ2p,m=16d3r12[Ap(kF,r12)δpm14q=14KpmqBp(kF,r12)]CTr[O12m].1𝐴delimited-⟨⟩𝛿𝑉italic-ϱ2superscriptsubscript𝑝𝑚16superscript𝑑3subscript𝑟12delimited-[]superscript𝐴𝑝subscript𝑘𝐹subscript𝑟12subscript𝛿𝑝𝑚14superscriptsubscript𝑞14superscript𝐾𝑝𝑚𝑞superscript𝐵𝑝subscript𝑘𝐹subscript𝑟12CTrdelimited-[]superscriptsubscript𝑂12𝑚\frac{1}{A}\langle\delta V\rangle=\frac{\varrho}{2}\sum_{p,m=1}^{6}\int d^{3}r% _{12}\,\left[A^{p}(k_{F},r_{12})\delta_{pm}-\frac{1}{4}\sum_{q=1}^{4}K^{pmq}B^% {p}(k_{F},r_{12})\right]\mbox{CTr}[O_{12}^{m}].divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ = divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_p , italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT [ italic_A start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_δ start_POSTSUBSCRIPT italic_p italic_m end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_p italic_m italic_q end_POSTSUPERSCRIPT italic_B start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ] CTr [ italic_O start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ] . (55)

Let us now consider the two-body cluster approximation to the expectation value of δV𝛿𝑉\delta Vitalic_δ italic_V in the correlated ground state, derived in, e.g., Ref. [38], whose expression reads

1A(j>iδvij)|2bevaluated-at1𝐴delimited-⟨⟩superscriptsubscript𝑗𝑖𝛿subscript𝑣𝑖𝑗2𝑏\displaystyle\frac{1}{A}~{}\langle~{}\mathcal{F}^{\dagger}(\sum_{j>i}\delta v_% {ij})~{}\mathcal{F}~{}\rangle|_{2b}divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ caligraphic_F start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( ∑ start_POSTSUBSCRIPT italic_j > italic_i end_POSTSUBSCRIPT italic_δ italic_v start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) caligraphic_F ⟩ | start_POSTSUBSCRIPT 2 italic_b end_POSTSUBSCRIPT =ϱ2d3r12CTr[mF12δvm(r12)F12O12m(1P^12στ2(kFr12))]absentitalic-ϱ2superscript𝑑3subscript𝑟12CTrdelimited-[]subscript𝑚superscriptsubscript𝐹12𝛿superscript𝑣𝑚subscript𝑟12subscript𝐹12subscriptsuperscript𝑂𝑚121subscriptsuperscript^𝑃𝜎𝜏12superscript2subscript𝑘𝐹subscript𝑟12\displaystyle=\frac{\varrho}{2}\int d^{3}r_{12}\,\mbox{CTr}\left[\sum_{m}F_{12% }^{\dagger}\delta v^{m}(r_{12})F_{12}O^{m}_{12}\left(1-\widehat{P}^{\sigma\tau% }_{12}\ell^{2}(k_{F}r_{12})\right)\right]= divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT CTr [ ∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_δ italic_v start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_F start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( 1 - over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ) ] (56)
=ϱ2d3r12CTr[qmnfq(r12)δvm(r12)fn(r12)O12qO12mO12n(1P^12στ2(kFr12))].absentitalic-ϱ2superscript𝑑3subscript𝑟12CTrdelimited-[]subscript𝑞𝑚𝑛superscript𝑓𝑞subscript𝑟12𝛿superscript𝑣𝑚subscript𝑟12superscript𝑓𝑛subscript𝑟12subscriptsuperscript𝑂𝑞12subscriptsuperscript𝑂𝑚12subscriptsuperscript𝑂𝑛121subscriptsuperscript^𝑃𝜎𝜏12superscript2subscript𝑘𝐹subscript𝑟12\displaystyle=\frac{\varrho}{2}\int d^{3}r_{12}\,\mbox{CTr}\left[\sum_{qmn}f^{% q}(r_{12})\delta v^{m}(r_{12})f^{n}(r_{12})O^{q}_{12}O^{m}_{12}O^{n}_{12}\left% (1-\widehat{P}^{\sigma\tau}_{12}\ell^{2}(k_{F}r_{12})\right)\right]\ .= divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT CTr [ ∑ start_POSTSUBSCRIPT italic_q italic_m italic_n end_POSTSUBSCRIPT italic_f start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_δ italic_v start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_f start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_O start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( 1 - over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ) ] .

It clearly appears that by rewriting δvp𝛿superscript𝑣𝑝\delta v^{p}italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT in the form

δvp(r12)=𝐏28m2wp(r12)+(𝐏𝐫^12)28m2gp(r12)𝛿superscript𝑣𝑝subscript𝑟12superscript𝐏28superscript𝑚2superscript𝑤𝑝subscript𝑟12superscript𝐏subscript^𝐫1228superscript𝑚2superscript𝑔𝑝subscript𝑟12\displaystyle\delta v^{p}(r_{12})=-\frac{\mathbf{P}^{2}}{8m^{2}}w^{p}(r_{12})+% \frac{(\mathbf{P}\cdot{\hat{\bf r}_{12}})^{2}}{8m^{2}}g^{p}(r_{12})italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) = - divide start_ARG bold_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_w start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) + divide start_ARG ( bold_P ⋅ over^ start_ARG bold_r end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_g start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) (57)

with

wp(r12)=vp(r12),gp(r12)=r12dvpdr12,w^{p}(r_{12})=v^{p}(r_{12})\ \ \ \ \ \ ,\ \ \ \ \ \ g^{p}(r_{12})=r_{12}\frac{% dv^{p}}{dr_{12}}\ ,italic_w start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) = italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) , italic_g start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) = italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_r start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_ARG , (58)

and exploiting again the algebra of Eq. (44), the right-hand side of Eq. (56) can by simply computed replacing

wp(r)mnqKmnKqpfq(r)vm(r)fn(r),gp(r)mnqKmnKqpfq(r)rdvmdrfn(r),formulae-sequencesuperscript𝑤𝑝𝑟subscript𝑚𝑛𝑞superscript𝐾𝑚𝑛superscript𝐾𝑞𝑝superscript𝑓𝑞𝑟superscript𝑣𝑚𝑟superscript𝑓𝑛𝑟superscript𝑔𝑝𝑟subscript𝑚𝑛𝑞superscript𝐾𝑚𝑛superscript𝐾𝑞𝑝superscript𝑓𝑞𝑟𝑟𝑑superscript𝑣𝑚𝑑𝑟superscript𝑓𝑛𝑟\begin{split}w^{p}(r)&\rightarrow\sum_{mn\ell q}K^{mn\ell}K^{q\ell p}f^{q}(r)% \,v^{m}(r)\,f^{n}(r)\ ,\\ g^{p}(r)&\rightarrow\sum_{mn\ell q}K^{mn\ell}K^{q\ell p}f^{q}(r)\,r\frac{dv^{m% }}{dr}\,f^{n}(r)\ ,\end{split}start_ROW start_CELL italic_w start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL → ∑ start_POSTSUBSCRIPT italic_m italic_n roman_ℓ italic_q end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_m italic_n roman_ℓ end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_q roman_ℓ italic_p end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ( italic_r ) italic_v start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_r ) italic_f start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( italic_r ) , end_CELL end_ROW start_ROW start_CELL italic_g start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL → ∑ start_POSTSUBSCRIPT italic_m italic_n roman_ℓ italic_q end_POSTSUBSCRIPT italic_K start_POSTSUPERSCRIPT italic_m italic_n roman_ℓ end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_q roman_ℓ italic_p end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT ( italic_r ) italic_r divide start_ARG italic_d italic_v start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG italic_d italic_r end_ARG italic_f start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( italic_r ) , end_CELL end_ROW (59)

in the expectation value of δV𝛿𝑉\delta Vitalic_δ italic_V in the Fermi gas ground state.

From now on, summation over repeated indices of the Op6superscript𝑂𝑝6O^{p\leq 6}italic_O start_POSTSUPERSCRIPT italic_p ≤ 6 end_POSTSUPERSCRIPT operators of Eq. (44) will be understood, as well as the subscripts labeling the interacting particles. By defining the quantities

ξm(kF,r)={Am(kF,r)14q=14KpqmBp(kF,r)},Mpm=14q=14Kpqm.formulae-sequencesuperscript𝜉𝑚subscript𝑘𝐹𝑟superscript𝐴𝑚subscript𝑘𝐹𝑟14superscriptsubscript𝑞14superscript𝐾𝑝𝑞𝑚superscript𝐵𝑝subscript𝑘𝐹𝑟subscript𝑀𝑝𝑚14superscriptsubscript𝑞14superscript𝐾𝑝𝑞𝑚\begin{split}\xi^{m}(k_{F},r)&=\left\{A^{m}(k_{F},r)-\frac{1}{4}\sum_{q=1}^{4}% K^{pqm}B^{p}(k_{F},r)\right\},\\ M_{pm}&=\frac{1}{4}\sum_{q=1}^{4}K^{pqm}.\end{split}start_ROW start_CELL italic_ξ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) end_CELL start_CELL = { italic_A start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) - divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_p italic_q italic_m end_POSTSUPERSCRIPT italic_B start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) } , end_CELL end_ROW start_ROW start_CELL italic_M start_POSTSUBSCRIPT italic_p italic_m end_POSTSUBSCRIPT end_CELL start_CELL = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_p italic_q italic_m end_POSTSUPERSCRIPT . end_CELL end_ROW (60)

we can rewrite the Fermi gas result in the form

1AδV1𝐴delimited-⟨⟩𝛿𝑉\displaystyle\frac{1}{A}\langle\delta V\rangledivide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ =ϱ2d3rCTr[Om]ξm(kF,r)absentitalic-ϱ2superscript𝑑3𝑟CTrdelimited-[]superscript𝑂𝑚superscript𝜉𝑚subscript𝑘𝐹𝑟\displaystyle=\frac{\varrho}{2}\int d^{3}r\,\mbox{CTr}[O^{m}]\xi^{m}(k_{F},r)= divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r CTr [ italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ] italic_ξ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) (61)
=ϱ2d3rCTr[Om][δmn2(kFr)Mmn][δnp2(kFr)Mnp]1ξp(kF,r).absentitalic-ϱ2superscript𝑑3𝑟CTrdelimited-[]superscript𝑂𝑚delimited-[]subscript𝛿𝑚𝑛superscript2subscript𝑘𝐹𝑟subscript𝑀𝑚𝑛superscriptdelimited-[]subscript𝛿𝑛𝑝superscript2subscript𝑘𝐹𝑟subscript𝑀𝑛𝑝1superscript𝜉𝑝subscript𝑘𝐹𝑟\displaystyle=\frac{\varrho}{2}\int d^{3}r\,\mbox{CTr}[O^{m}]\left[\delta_{mn}% -\ell^{2}(k_{F}r)M_{mn}\right]\left[\delta_{np}-\ell^{2}(k_{F}r)M_{np}\right]^% {-1}\xi^{p}(k_{F},r)\ .= divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r CTr [ italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ] [ italic_δ start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT - roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ] [ italic_δ start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT - roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) .

Since

[δmp2(kFr)Mmp]1=114(kFr)[δmp+2(kFr)Mmp],superscriptdelimited-[]subscript𝛿𝑚𝑝superscript2subscript𝑘𝐹𝑟subscript𝑀𝑚𝑝111superscript4subscript𝑘𝐹𝑟delimited-[]subscript𝛿𝑚𝑝superscript2subscript𝑘𝐹𝑟subscript𝑀𝑚𝑝\left[\delta_{mp}-\ell^{2}(k_{F}r)M_{mp}\right]^{-1}=\frac{1}{1-\ell^{4}(k_{F}% r)}\left[\delta_{mp}+\ell^{2}(k_{F}r)M_{mp}\right],[ italic_δ start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT - roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 1 - roman_ℓ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) end_ARG [ italic_δ start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT + roman_ℓ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT ] , (62)

we finally obtain

1AδV=ϱ2d3rCTr[Om][δmpl2(kFr)Mmp]δvp(kF,r)1𝐴delimited-⟨⟩𝛿𝑉italic-ϱ2superscript𝑑3𝑟CTrdelimited-[]superscript𝑂𝑚delimited-[]subscript𝛿𝑚𝑝superscript𝑙2subscript𝑘𝐹𝑟subscript𝑀𝑚𝑝𝛿superscript𝑣𝑝subscript𝑘𝐹𝑟\frac{1}{A}\langle\delta V\rangle=\frac{\varrho}{2}\int d^{3}r\,\mbox{CTr}[O^{% m}]\left[\delta_{mp}-l^{2}(k_{F}r)M_{mp}\right]\delta v^{p}(k_{F},r)divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ = divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r CTr [ italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ] [ italic_δ start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT - italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_m italic_p end_POSTSUBSCRIPT ] italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) (63)

where we have defined

δvp(kF,r)11l4(kFr)[δpm+l2(kFr)Mpm]ξm(kF,r).𝛿superscript𝑣𝑝subscript𝑘𝐹𝑟11superscript𝑙4subscript𝑘𝐹𝑟delimited-[]subscript𝛿𝑝𝑚superscript𝑙2subscript𝑘𝐹𝑟subscript𝑀𝑝𝑚superscript𝜉𝑚subscript𝑘𝐹𝑟\delta v^{p}(k_{F},r)\equiv\frac{1}{1-l^{4}(k_{F}r)}\left[\delta_{pm}+l^{2}(k_% {F}r)M_{pm}\right]\xi^{m}(k_{F},r).italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) ≡ divide start_ARG 1 end_ARG start_ARG 1 - italic_l start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) end_ARG [ italic_δ start_POSTSUBSCRIPT italic_p italic_m end_POSTSUBSCRIPT + italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) italic_M start_POSTSUBSCRIPT italic_p italic_m end_POSTSUBSCRIPT ] italic_ξ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) . (64)

By recalling that the operator M𝑀Mitalic_M is linked to the spin-isospin exchange operator P^στsuperscript^𝑃𝜎𝜏\widehat{P}^{\sigma\tau}over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT, Eq. (63) can be written as

1AδV=ϱ2d3rCTr[Op(1l2(kFr)P^στ)]δvp(kF,r)1𝐴delimited-⟨⟩𝛿𝑉italic-ϱ2superscript𝑑3𝑟CTrdelimited-[]superscript𝑂𝑝1superscript𝑙2subscript𝑘𝐹𝑟superscript^𝑃𝜎𝜏𝛿superscript𝑣𝑝subscript𝑘𝐹𝑟\frac{1}{A}\langle\delta V\rangle=\frac{\varrho}{2}\int d^{3}r\,\mbox{CTr}% \left[O^{p}\left(1-l^{2}(k_{F}r)\widehat{P}^{\sigma\tau}\right)\right]\delta v% ^{p}(k_{F},r)divide start_ARG 1 end_ARG start_ARG italic_A end_ARG ⟨ italic_δ italic_V ⟩ = divide start_ARG italic_ϱ end_ARG start_ARG 2 end_ARG ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r CTr [ italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( 1 - italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r ) over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT ) ] italic_δ italic_v start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_k start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , italic_r ) (65)

which is the expression we were looking for.

Finally we are going to derive the expression of Eq. (62). Since the operator we want to invert has the form

𝟙l2Mdouble-struck-𝟙superscript𝑙2𝑀\mathbb{1}-l^{2}Mblackboard_𝟙 - italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M (66)

we have that

(𝟙l2M)(𝟙+l2M1)double-struck-𝟙superscript𝑙2𝑀double-struck-𝟙superscript𝑙2superscript𝑀1\displaystyle\left(\mathbb{1}-l^{2}M\right)\left(\mathbb{1}+l^{2}M^{-1}\right)( blackboard_𝟙 - italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M ) ( blackboard_𝟙 + italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) =\displaystyle== (1l4)𝟙l2M+l2M1.1superscript𝑙4double-struck-𝟙superscript𝑙2𝑀superscript𝑙2superscript𝑀1\displaystyle(1-l^{4})\mathbb{1}-l^{2}M+l^{2}M^{-1}.( 1 - italic_l start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) blackboard_𝟙 - italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M + italic_l start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (67)

Therefore if we show that

M=M1𝑀superscript𝑀1M=M^{-1}italic_M = italic_M start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (68)

we have done. We start from the identity

OmOpOq=KmplKlqsOssuperscript𝑂𝑚superscript𝑂𝑝superscript𝑂𝑞superscript𝐾𝑚𝑝𝑙superscript𝐾𝑙𝑞𝑠superscript𝑂𝑠O^{m}O^{p}O^{q}=K^{mpl}K^{lqs}O^{s}italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = italic_K start_POSTSUPERSCRIPT italic_m italic_p italic_l end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_l italic_q italic_s end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT (69)

and summing over p,q=1,,4formulae-sequence𝑝𝑞14p,q=1,...,4italic_p , italic_q = 1 , … , 4 we have

p,q=14OmOpOq=Omp=14Opq=14Oq=Om(4P^στ)(4P^στ)=16Om(P^στ)2=16Om.superscriptsubscript𝑝𝑞14superscript𝑂𝑚superscript𝑂𝑝superscript𝑂𝑞superscript𝑂𝑚superscriptsubscript𝑝14superscript𝑂𝑝superscriptsubscript𝑞14superscript𝑂𝑞superscript𝑂𝑚4superscript^𝑃𝜎𝜏4superscript^𝑃𝜎𝜏16superscript𝑂𝑚superscriptsuperscript^𝑃𝜎𝜏216superscript𝑂𝑚\displaystyle\sum_{p,q=1}^{4}O^{m}O^{p}O^{q}=O^{m}\sum_{p=1}^{4}O^{p}\sum_{q=1% }^{4}O^{q}=O^{m}(4\widehat{P}^{\sigma\tau})(4\widehat{P}^{\sigma\tau})=16\,O^{% m}(\widehat{P}^{\sigma\tau})^{2}=16\,O^{m}.∑ start_POSTSUBSCRIPT italic_p , italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( 4 over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT ) ( 4 over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT ) = 16 italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( over^ start_ARG italic_P end_ARG start_POSTSUPERSCRIPT italic_σ italic_τ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 16 italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT . (70)

Therefore we can write

Om=116p,q=14OmOpOq=(14p=14Kmpl)(14q=14Klqs)Os=MmlMlsOssuperscript𝑂𝑚116superscriptsubscript𝑝𝑞14superscript𝑂𝑚superscript𝑂𝑝superscript𝑂𝑞14superscriptsubscript𝑝14superscript𝐾𝑚𝑝𝑙14superscriptsubscript𝑞14superscript𝐾𝑙𝑞𝑠superscript𝑂𝑠subscript𝑀𝑚𝑙subscript𝑀𝑙𝑠superscript𝑂𝑠\displaystyle O^{m}=\frac{1}{16}\sum_{p,q=1}^{4}O^{m}O^{p}O^{q}=\left(\frac{1}% {4}\sum_{p=1}^{4}K^{mpl}\right)\left(\frac{1}{4}\sum_{q=1}^{4}K^{lqs}\right)O^% {s}=M_{ml}M_{ls}O^{s}italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 16 end_ARG ∑ start_POSTSUBSCRIPT italic_p , italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_O start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT = ( divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_p = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_m italic_p italic_l end_POSTSUPERSCRIPT ) ( divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_K start_POSTSUPERSCRIPT italic_l italic_q italic_s end_POSTSUPERSCRIPT ) italic_O start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT = italic_M start_POSTSUBSCRIPT italic_m italic_l end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_l italic_s end_POSTSUBSCRIPT italic_O start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT (71)

which entails

MmlMls=δmsM=M1.subscript𝑀𝑚𝑙subscript𝑀𝑙𝑠subscript𝛿𝑚𝑠𝑀superscript𝑀1M_{ml}M_{ls}=\delta_{ms}\;\Rightarrow\;M=M^{-1}.italic_M start_POSTSUBSCRIPT italic_m italic_l end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_l italic_s end_POSTSUBSCRIPT = italic_δ start_POSTSUBSCRIPT italic_m italic_s end_POSTSUBSCRIPT ⇒ italic_M = italic_M start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (72)

References