HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: cellspace
  • failed: cuted
  • failed: simpler-wick
  • failed: simpler-wick

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: arXiv.org perpetual non-exclusive license
arXiv:2402.00634v3 [nucl-th] 11 Apr 2024
\affiliation

[1]organization=Physics Division, addressline=Argonne National Laboratory, city=Argonne, IL, postcode=60439, country=USA

\affiliation

[2]organization=Facility for Rare Isotope Beams and Department of Physics and Astronomy, addressline=Michigan State University, city=East Lansing, MI, postcode=48824, country=USA

\affiliation

[3]organization=Department of Physics, addressline=Ohio State University, city=Columbus, OH, postcode=43210, country=USA

\affiliation

[4]organization=Computational Science Division, addressline=Argonne National Laboratory, city=Argonne, IL, postcode=60439, country=USA

High-resolution momentum distributions from low-resolution wave functions

A. J. Tropiano [email protected] S. K. Bogner [email protected] R. J. Furnstahl [email protected] M. A. Hisham [email protected] A. Lovato [email protected] R. B. Wiringa [email protected]
(April 11, 2024)
Abstract

Nucleon momentum distributions calculated with a common one-body operator vary with the resolution scale (and scheme) of the Hamiltonian used. For high-resolution potentials such as Argonne v18subscript𝑣18v_{18}italic_v start_POSTSUBSCRIPT 18 end_POSTSUBSCRIPT (AV18) there is a high-momentum tail, reflecting short-range correlations in the nuclear wave function, which is reduced or absent for softer, lower-resolution interactions. We explore if the similarity renormalization group (SRG) can be used to quantitatively reproduce the high-resolution distributions from variational Monte Carlo at all momenta using SRG-evolved operators and empirically fit single-particle orbitals rather than a full RG evolution of many-body wave functions. The goal of this approach is to enable calculations of high-resolution distributions for a wider range of nuclei as well as for other interactions, and provides connections to phenomenological analyses of experiments.

1 Introduction

Nuclear experiments often seek to isolate process-independent quantities, which are expressed theoretically as matrix elements of well-defined operators. For some kinematic regimes these quantities are quark and gluon parton distributions; the analogs for low-energy nuclear physics include nucleon momentum distributions. For both we need robust factorization of reaction and structure in the analysis. This separation induces a scale (and scheme) dependence to the distributions but quantities at different scales are naturally related using renormalization group (RG) transformations Tropiano:2021qgf . In this paper we use the similarity RG (or SRG) Bogner:2006pc ; Bogner:2009bt ; Furnstahl:2013oba ; Hergert:2016iju to compare single-nucleon momentum distributions calculated at high resolution, which entails matrix elements of a one-body operator in many-body wave functions that include short-range correlations (SRCs), to distributions using SRG-evolved operators evaluated using simple wave functions appropriately matched. Such an approach would enable comparisons between results from different nuclear Hamiltonians and from phenomenogical analyses of experiments, and extends the range of nuclei for which high-resolution momentum distributions can be calculated.

A high-resolution Hamiltonian is one that couples momentum modes well above the Fermi momentum into low-energy states, in particular inducing SRCs in many-body wave functions. A prototypical example is the Argonne v18subscript𝑣18v_{18}italic_v start_POSTSUBSCRIPT 18 end_POSTSUBSCRIPT (AV18) nucleon-nucleon (NN) interaction Wiringa:1994wb , which when supplemented with appropriate three-body forces Carlson:1983kq ; Pieper:2001ap , has a long history of phenomenological successes Carlson:2014vla ; Lonardoni:2017egu . In conjunction with the generalized contact formalism (GCF) Weiss:2015mba ; Weiss:2016obx ; Weiss:2018tbu ; Weiss:2021zyb , these successes include the reproduction of SRC phenomenology from recent experiments that kinematically isolate the effects of short-distance physics Hen:2016kwk ; Korover:2014dma ; Hen:2014nza ; Duer:2018sby ; Duer:2018sxh ; Schmookler:2019nvf ; Cruz-Torres:2020uke ; Schmidt:2020kcl ; CLAS:2020rue . But this phenomenology was also shown in Ref. Tropiano:2021qgf to be reproduced with simple calculations at low resolution after RG evolution, which shifts the SRCs from wave functions to operators. (For a simple pedagogical model of these shifts in the context of field theory transformations, see Ref. Furnstahl:2001xq .) We build on these results to test whether this approach can work quantitatively to reproduce high-resolution momentum distributions across all momenta without sacrificing the simplicity.

In principle we can exactly reproduce high-resolution reaction calculations by consistently SRG-evolving both the operators and wave functions (or the Hamiltonian used to generate them). SRG transformations are unitary, thus preserving observables at all scales. However, treating both structure and reaction parts at the same SRG scale and scheme is required for consistent prediction of observables when comparing different theoretical approaches. The SRG resolution scale is associated with the flow parameter λ𝜆\lambdaitalic_λ, which roughly corresponds to the maximum-momentum components in low-energy wave functions of the transformed Hamiltonian. Note that the RG resolution scale λ𝜆\lambdaitalic_λ is not to be confused with the experimental resolution, which is set by the kinematics of the experiment.

The low-SRG-resolution approach naturally describes factorization of mean-field nuclear structure and two-body high-momentum physics associated with SRC pairs, as the SRG transformations themselves factorize when there is a large scale separation in momentum Bogner:2012zm ; Anderson:2010aq ; Tropiano:2020zwb . A full SRG evolution would involve tracking induced many-body forces and reaction operators beyond the two-body level, and accurately treating the long-range correlation structure of the many-body wave function. We seek to incorporate all of the important details of a low-SRG resolution wave function by using phenomenological Woods-Saxon orbitals in a single Slater determinant roughly matched to the low-momentum part of the high-resolution distribution. In doing so, we sacrifice full consistency for simplicity and wider applicability, without the need for computationally expensive machinery.

High-resolution nucleon momentum distributions are characterized by a “mean-field” distribution up to roughly the Fermi momentum joined to a high-momentum tail, with the latter dominantly attributed to SRCs (see Fig. 3). At low RG resolution the wave function becomes increasingly uncorrelated (soft), such that the momentum distribution from matrix elements of the same one-body operator used at high resolution would only exhibit the mean-field part. To recover the high-resolution distribution, one includes the induced two-body operator from RG evolution. Reference Tropiano:2021qgf demonstrated that a local density approximation (LDA) for the ground-state wave functions was sufficient to accurately reproduce the high-momentum tail of nucleon momentum distributions, but was not quantitative at lower momenta. Here we improve upon this approach by using a Slater determinant with phenomenologically fit single-particle (s.p.) wave functions.

Our detailed comparison to high-resolution results with the same short-distance physics uses variational Monte Carlo (VMC) calculations. VMC is an ab initio nuclear many-body method that solves the Schrödinger equation using local interactions in coordinate space Carlson:2014vla . VMC performs a variational minimization of the stochastically determined energy of a trial-state wave function, which is given by a correlation operator applied to a mean-field state. In contrast to many other nuclear many-body methods, it can accommodate high-resolution interactions and the resulting highly correlated wave functions without difficulties. Since there is no truncation in the correlation effects, the VMC approach scales exponentially with the number of nucleons, presently limiting its practical applicability to light nuclear systems. For larger nuclei, a cluster VMC (CVMC) method has been developed Lonardoni:2017egu in which a full 3A3𝐴3A3 italic_A-dimensional integral is made for the mean-field state, including central SRCs, while a linked cluster expansion (up to five-body) is made for the spin-isospin correlations.

In Sec. 2 we review the formalism for evaluating SRG-evolved momentum distributions and the methodology for VMC momentum distributions. In Sec. 3 SRG distributions evolved from AV18 are compared to VMC and CVMC distributions for AV18 with a three-nucleon potential added, for a range of nuclei. We find quantitative reproductions of the proton momentum distributions after matching using a single choice of SRG scale λ𝜆\lambdaitalic_λ, with a clean factorization at low resolution. We show the sensitivity to the choice of λ𝜆\lambdaitalic_λ and also how momentum distributions from other Hamiltonians can be SRG-transformed to compare with AV18 results. Section 4 gives a summary and an outlook with possible extensions of the present work.

2 Methodology

The single-nucleon momentum distributions at high and low resolution are given by matrix elements in the A𝐴Aitalic_A-nucleon ground state |Ψ0AketsuperscriptsubscriptΨ0𝐴\ket{\Psi_{0}^{A}}| start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG ⟩,

Ψ0A|n^τ(𝐪)|Ψ0Aexpectation-valuesuperscriptsubscript^𝑛𝜏𝐪superscriptsubscriptΨ0𝐴superscriptsubscriptΨ0𝐴\displaystyle\matrixelement{\Psi_{0}^{A}}{\widehat{n}_{\infty}^{\tau}(\mathbf{% q})}{\Psi_{0}^{A}}⟨ start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) end_ARG | start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG ⟩ =Ψ0A|U^λU^λn^τ(𝐪)U^λU^λ|Ψ0Aabsentexpectation-valuesuperscriptsubscript^𝑈𝜆subscript^𝑈𝜆superscriptsubscript^𝑛𝜏𝐪superscriptsubscript^𝑈𝜆subscript^𝑈𝜆superscriptsubscriptΨ0𝐴superscriptsubscriptΨ0𝐴\displaystyle=\matrixelement{\Psi_{0}^{A}}{\widehat{U}_{\lambda}^{\dagger}% \widehat{U}_{\lambda}\widehat{n}_{\infty}^{\tau}(\mathbf{q})\widehat{U}_{% \lambda}^{\dagger}\widehat{U}_{\lambda}}{\Psi_{0}^{A}}= ⟨ start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT end_ARG | start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT end_ARG ⟩
Ψ0A(λ)|n^λτ(𝐪)|Ψ0A(λ),absentexpectation-valuesuperscriptsubscript^𝑛𝜆𝜏𝐪superscriptsubscriptΨ0𝐴𝜆superscriptsubscriptΨ0𝐴𝜆\displaystyle\equiv\matrixelement{\Psi_{0}^{A}(\lambda)}{\widehat{n}_{\lambda}% ^{\tau}(\mathbf{q})}{\Psi_{0}^{A}(\lambda)},≡ ⟨ start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG | start_ARG over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) end_ARG | start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG ⟩ , (1)

where SRG transformations U^λsubscript^𝑈𝜆\widehat{U}_{\lambda}over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT are applied to both the wave function and operator Tropiano:2021qgf (after which they are labeled by λ𝜆\lambdaitalic_λ). The overall matrix element does not change because SRG transformations are unitary. Here the initial operator and evolved operators are given in second quantization by

n^τ(𝐪)=σa𝐪στa𝐪στ,superscriptsubscript^𝑛𝜏𝐪subscript𝜎subscriptsuperscript𝑎𝐪𝜎𝜏subscript𝑎𝐪𝜎𝜏\widehat{n}_{\infty}^{\tau}(\mathbf{q})=\sum_{\sigma}a^{\dagger}_{\mathbf{q}% \sigma\tau}a_{\mathbf{q}\sigma\tau},over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) = ∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_q italic_σ italic_τ end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT bold_q italic_σ italic_τ end_POSTSUBSCRIPT , (2)
n^λτ(𝐪)=U^λn^τ(𝐪)U^λ,superscriptsubscript^𝑛𝜆𝜏𝐪subscript^𝑈𝜆superscriptsubscript^𝑛𝜏𝐪superscriptsubscript^𝑈𝜆\widehat{n}_{\lambda}^{\tau}(\mathbf{q})=\widehat{U}_{\lambda}\widehat{n}_{% \infty}^{\tau}(\mathbf{q})\widehat{U}_{\lambda}^{\dagger},over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) = over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT ( bold_q ) over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , (3)

where 𝐪𝐪\mathbf{q}bold_q is the single-nucleon momentum, σ𝜎\sigmaitalic_σ is the spin projection, and τ𝜏\tauitalic_τ is the isospin projection. The subscript of the operator indicates whether it is SRG-evolved or not (λ=𝜆\lambda=\inftyitalic_λ = ∞ is unevolved). Up to this point, Eq. (2) is exact, regardless of the chosen SRG resolution scale λ𝜆\lambdaitalic_λ.

We replace the fully evolved ground state |Ψ0A(λ)ketsuperscriptsubscriptΨ0𝐴𝜆\ket{\Psi_{0}^{A}(\lambda)}| start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG ⟩ by a single Slater determinant of Woods-Saxon orbitals

|Ψ0A(λ)α<Faα|0,ketsuperscriptsubscriptΨ0𝐴𝜆subscriptproduct𝛼Fsubscriptsuperscript𝑎𝛼ket0\ket{\Psi_{0}^{A}(\lambda)}\rightarrow\prod_{\alpha<\rm{F}}a^{\dagger}_{\alpha% }\ket{0},| start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG ⟩ → ∏ start_POSTSUBSCRIPT italic_α < roman_F end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT | start_ARG 0 end_ARG ⟩ , (4)

where the indices run over occupied s.p. states α(nα\alpha\equiv(n_{\alpha}italic_α ≡ ( italic_n start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, lαsubscript𝑙𝛼l_{\alpha}italic_l start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, jαsubscript𝑗𝛼j_{\alpha}italic_j start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT, mjαsubscript𝑚subscript𝑗𝛼m_{j_{\alpha}}italic_m start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUBSCRIPT, mtα)m_{t_{\alpha}})italic_m start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) with spin sα=1/2subscript𝑠𝛼12s_{\alpha}=1/2italic_s start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = 1 / 2 and isospin tα=1/2subscript𝑡𝛼12t_{\alpha}=1/2italic_t start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = 1 / 2, and FF\rm{F}roman_F refers to the Fermi surface. The quantum numbers denoted by α𝛼\alphaitalic_α refer to the principal quantum number, orbital angular momentum, total angular momentum, total angular momentum projection, and isospin projection, respectively. In principle, the low-RG resolution wave function should be obtained by solving the Schrödinger equation associated with the evolved Hamiltonian, but in general it should reflect a dominantly “mean-field” description of nuclei. After this approximation, the combination of the wave functions with the evolved operator is no longer unitary, meaning the matrix element will depend on λ𝜆\lambdaitalic_λ. The rationale for how λ𝜆\lambdaitalic_λ is chosen is given in the following section.

The SRG unitary transformation at flow parameter λ𝜆\lambdaitalic_λ has the following schematic form in second quantization:

U^λ=I^+δUλ(2)aaaa+δUλ(3)aaaaaa+,subscript^𝑈𝜆^𝐼𝛿subscriptsuperscript𝑈2𝜆superscript𝑎superscript𝑎𝑎𝑎𝛿subscriptsuperscript𝑈3𝜆superscript𝑎superscript𝑎superscript𝑎𝑎𝑎𝑎\widehat{U}_{\lambda}=\widehat{I}+\sum\delta U^{(2)}_{\lambda}a^{\dagger}a^{% \dagger}aa+\sum\delta U^{(3)}_{\lambda}a^{\dagger}a^{\dagger}a^{\dagger}aaa+\cdots,over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT = over^ start_ARG italic_I end_ARG + ∑ italic_δ italic_U start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a italic_a + ∑ italic_δ italic_U start_POSTSUPERSCRIPT ( 3 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a italic_a italic_a + ⋯ , (5)

where we have suppressed the s.p. indices and combinatoric factors. In practice, δUλ(2)𝛿subscriptsuperscript𝑈2𝜆\delta U^{(2)}_{\lambda}italic_δ italic_U start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT is obtained in the relative momentum partial-wave basis by solving an SRG flow equation for the transformation directly, given an NN interaction. We apply SRG transformations to the initial momentum distribution operator (2) and use Wick’s theorem in operator form to truncate at the two-body (vacuum) level omitting three-body and higher-body operators of Eq. (5). There is an exact cancellation of evolved operators in computing the overall normalization of the nucleon momentum distribution, meaning that proton number Z𝑍Zitalic_Z and neutron number N𝑁Nitalic_N are preserved Tropiano:2021qgf .

It has been shown that the major features of SRC physics are well described within a two-body approximation Tropiano:2021qgf . The validity of such an approximation dates back to the seminal work of Brueckner and collaborators Brueckner:1955zzd . This approximation is also supported by the GCF, which has made a truncation at the two-body level in several calculations Weiss:2015mba ; Weiss:2016obx ; Weiss:2018tbu ; Weiss:2021zyb . Furthermore, both CVMC and correlated-basis function theory have shown that the two-body cluster contribution is by far the largest in the cluster expansion Pandharipande:1979bv ; Morales:2002qi ; Lonardoni:2017egu . We plan to quantify the three-body operator contributions in a future study. See Neff:2015xda ; Weiss:2023laq for further details on three-body contributions from an SRG and GCF standpoint, respectively.

The two-body evolved operator is evaluated with respect to antisymmetrized two-nucleon plane-wave kets   |𝐤1σ1τ1𝐤2σ2τ2ketsubscript𝐤1subscript𝜎1subscript𝜏1subscript𝐤2subscript𝜎2subscript𝜏2\ket{\mathbf{k}_{1}\sigma_{{1}}\tau_{{1}}\,\mathbf{k}_{2}\sigma_{{2}}\tau_{{2}}}| start_ARG bold_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ⟩, where σ𝜎\sigmaitalic_σ and τ𝜏\tauitalic_τ refer to nucleon spin and isospin projections. Suppressing the momentum, spin, and isospin dependence, the evolved operator has the schematic form

n^λτsuperscriptsubscript^𝑛𝜆𝜏\displaystyle\widehat{n}_{\lambda}^{\tau}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT n^τ+(δUλ(2)aaaa+δUλ(2)aaaa)absentsuperscriptsubscript^𝑛𝜏𝛿subscriptsuperscript𝑈2𝜆superscript𝑎superscript𝑎𝑎𝑎𝛿subscriptsuperscript𝑈absent2𝜆superscript𝑎superscript𝑎𝑎𝑎\displaystyle\approx\widehat{n}_{\infty}^{\tau}+\sum(\delta U^{(2)}_{\lambda}a% ^{\dagger}a^{\dagger}aa+\delta U^{\dagger(2)}_{\lambda}a^{\dagger}a^{\dagger}aa)≈ over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT + ∑ ( italic_δ italic_U start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a italic_a + italic_δ italic_U start_POSTSUPERSCRIPT † ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a italic_a )
+δUλ(2)δUλ(2)aaaa.𝛿subscriptsuperscript𝑈2𝜆𝛿subscriptsuperscript𝑈absent2𝜆superscript𝑎superscript𝑎𝑎𝑎\displaystyle\qquad\hbox{}+\sum\delta U^{(2)}_{\lambda}\delta U^{\dagger\,(2)}% _{\lambda}a^{\dagger}a^{\dagger}aa.+ ∑ italic_δ italic_U start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_δ italic_U start_POSTSUPERSCRIPT † ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_a italic_a . (6)

Equation (2) is approximate because the three-body and higher operators are truncated. To evaluate the matrix element, we transform the creation and annihilation operators from the plane-wave basis to the s.p. basis of Woods-Saxon orbitals using

a𝐤στ=αψα(𝐤;σ,τ)aα,subscript𝑎𝐤𝜎𝜏subscript𝛼subscript𝜓𝛼𝐤𝜎𝜏subscript𝑎𝛼a_{{\mathbf{k}}{\sigma}{\tau}}=\sum_{\alpha}\psi_{\alpha}(\mathbf{k};\sigma,% \tau)\,a_{\alpha},italic_a start_POSTSUBSCRIPT bold_k italic_σ italic_τ end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_k ; italic_σ , italic_τ ) italic_a start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT , (7)

where ψα(𝐤;σ,τ)subscript𝜓𝛼𝐤𝜎𝜏\psi_{\alpha}(\mathbf{k};\sigma,\tau)italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_k ; italic_σ , italic_τ ) is a s.p. wave function with respect to orbital α𝛼\alphaitalic_α, and contractions are given by

\wickαβ=Ψ0A(λ)|aαaβ|Ψ0A(λ)=δαβ,\wicksubscriptsuperscript𝛼subscript𝛽expectation-valuesubscriptsuperscript𝑎𝛼subscript𝑎𝛽superscriptsubscriptΨ0𝐴𝜆superscriptsubscriptΨ0𝐴𝜆subscript𝛿𝛼𝛽\wick{\c{a}^{\dagger}_{{\alpha}}\c{a}_{{\beta}}}=\matrixelement{\Psi_{0}^{A}(% \lambda)}{a^{\dagger}_{\alpha}a_{\beta}}{\Psi_{0}^{A}(\lambda)}=\delta_{\alpha% \beta},a̧ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT a̧ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT = ⟨ start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG | start_ARG italic_a start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT end_ARG | start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG ⟩ = italic_δ start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT , (8)

for α,β<F𝛼𝛽F\alpha,\beta<\rm{F}italic_α , italic_β < roman_F and zero otherwise. Following this procedure, the single-nucleon momentum distribution takes the form

nλτ(𝐪)subscriptsuperscript𝑛𝜏𝜆𝐪\displaystyle n^{\tau}_{\lambda}(\mathbf{q})italic_n start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( bold_q ) =σα<F|ψα(𝐪;σ,τ)|2+12σ1σ2σστ1τ2ταβ<Fabsentsubscript𝜎subscript𝛼Fsuperscriptsubscript𝜓𝛼𝐪𝜎𝜏212subscriptsubscript𝜎1subscript𝜎2𝜎superscript𝜎subscriptsubscript𝜏1subscript𝜏2superscript𝜏subscript𝛼𝛽F\displaystyle=\sum_{\sigma}\sum_{\alpha<\rm{F}}\absolutevalue{\psi_{\alpha}(% \mathbf{q};\sigma,\tau)}^{2}+\frac{1}{2}\sum_{\sigma_{{1}}\sigma_{{2}}\sigma% \sigma^{\prime}}\sum_{\tau_{{1}}\tau_{{2}}\tau^{\prime}}\sum_{\alpha\beta<\rm{% F}}= ∑ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_α < roman_F end_POSTSUBSCRIPT | start_ARG italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_q ; italic_σ , italic_τ ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_α italic_β < roman_F end_POSTSUBSCRIPT
d𝐊d𝐤[(𝐤σ1τ1σ2τ2|δUλ|𝐪𝐊/2στστ)\displaystyle\quad\int d\mathbf{K}\int d\mathbf{k}\Big{[}(\mathbf{k}\sigma_{{1% }}\tau_{{1}}\sigma_{{2}}\tau_{{2}}|\delta U_{\lambda}|\mathbf{q}-\mathbf{K}/2% \sigma\tau\sigma^{\prime}\tau^{\prime})∫ italic_d bold_K ∫ italic_d bold_k [ ( bold_k italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | italic_δ italic_U start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT | bold_q - bold_K / 2 italic_σ italic_τ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
×ψα(𝐊/2+𝐤;σ1,τ1)ψβ(𝐊/2𝐤;σ2,τ2)absentsubscriptsuperscript𝜓𝛼𝐊2𝐤subscript𝜎1subscript𝜏1subscriptsuperscript𝜓𝛽𝐊2𝐤subscript𝜎2subscript𝜏2\displaystyle\quad\qquad\times\psi^{\dagger}_{\alpha}(\mathbf{K}/2+\mathbf{k};% \sigma_{{1}},\tau_{{1}})\psi^{\dagger}_{\beta}(\mathbf{K}/2-\mathbf{k};\sigma_% {{2}},\tau_{{2}})× italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K / 2 + bold_k ; italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K / 2 - bold_k ; italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )
×(ψβ(𝐊𝐪;σ,τ)ψα(𝐪;σ,τ)\displaystyle\quad\qquad\times\bigl{(}\psi_{\beta}(\mathbf{K}-\mathbf{q};% \sigma^{\prime},\tau^{\prime})\psi_{\alpha}(\mathbf{q};\sigma,\tau)× ( italic_ψ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K - bold_q ; italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_q ; italic_σ , italic_τ )
ψα(𝐊𝐪;σ,τ)ψβ(𝐪;σ,τ))\displaystyle\qquad\qquad\qquad-\psi_{\alpha}(\mathbf{K}-\mathbf{q};\sigma^{% \prime},\tau^{\prime})\psi_{\beta}(\mathbf{q};\sigma,\tau)\bigr{)}- italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K - bold_q ; italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_q ; italic_σ , italic_τ ) )
+(𝐪𝐊/2στστ|δUλ|𝐤σ1τ1σ2τ2)𝐪𝐊2𝜎𝜏superscript𝜎superscript𝜏𝛿subscriptsuperscript𝑈𝜆𝐤subscript𝜎1subscript𝜏1subscript𝜎2subscript𝜏2\displaystyle\qquad+(\mathbf{q}-\mathbf{K}/2\sigma\tau\sigma^{\prime}\tau^{% \prime}|\delta U^{\dagger}_{\lambda}|\mathbf{k}\sigma_{{1}}\tau_{{1}}\sigma_{{% 2}}\tau_{{2}})+ ( bold_q - bold_K / 2 italic_σ italic_τ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT | bold_k italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )
×ψα(𝐊/2+𝐤;σ1,τ1)ψβ(𝐊/2𝐤;σ2,τ2)absentsubscript𝜓𝛼𝐊2𝐤subscript𝜎1subscript𝜏1subscript𝜓𝛽𝐊2𝐤subscript𝜎2subscript𝜏2\displaystyle\quad\qquad\times\psi_{\alpha}(\mathbf{K}/2+\mathbf{k};\sigma_{{1% }},\tau_{{1}})\psi_{\beta}(\mathbf{K}/2-\mathbf{k};\sigma_{{2}},\tau_{{2}})× italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K / 2 + bold_k ; italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K / 2 - bold_k ; italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )
×(ψβ(𝐊𝐪;σ,τ)ψα(𝐪;σ,τ)\displaystyle\quad\qquad\times\bigl{(}\psi^{\dagger}_{\beta}(\mathbf{K}-% \mathbf{q};\sigma^{\prime},\tau^{\prime})\psi^{\dagger}_{\alpha}(\mathbf{q};% \sigma,\tau)× ( italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K - bold_q ; italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_q ; italic_σ , italic_τ )
ψα(𝐊𝐪;σ,τ)ψβ(𝐪;σ,τ))]\displaystyle\qquad\qquad\qquad-\psi^{\dagger}_{\alpha}(\mathbf{K}-\mathbf{q};% \sigma^{\prime},\tau^{\prime})\psi^{\dagger}_{\beta}(\mathbf{q};\sigma,\tau)% \bigr{)}\Big{]}- italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K - bold_q ; italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_q ; italic_σ , italic_τ ) ) ]
+14σ1σ2σ3σ4σστ1τ2τ3τ4ταβ<F𝑑𝐊𝑑𝐤𝑑𝐤14subscriptsubscript𝜎1subscript𝜎2subscript𝜎3subscript𝜎4𝜎superscript𝜎subscriptsubscript𝜏1subscript𝜏2subscript𝜏3subscript𝜏4superscript𝜏subscript𝛼𝛽Fdifferential-d𝐊differential-d𝐤differential-dsuperscript𝐤\displaystyle\quad+\frac{1}{4}\sum_{\sigma_{{1}}\sigma_{{2}}\sigma_{{3}}\sigma% _{{4}}\sigma\sigma^{\prime}}\sum_{\tau_{{1}}\tau_{{2}}\tau_{{3}}\tau_{{4}}\tau% ^{\prime}}\sum_{\alpha\beta<\rm{F}}\int d\mathbf{K}\int d\mathbf{k}\int d% \mathbf{k^{\prime}}+ divide start_ARG 1 end_ARG start_ARG 4 end_ARG ∑ start_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_σ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_α italic_β < roman_F end_POSTSUBSCRIPT ∫ italic_d bold_K ∫ italic_d bold_k ∫ italic_d bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT
×(𝐤σ1τ1σ2τ2|δUλ|𝐪𝐊/2στστ)absent𝐤subscript𝜎1subscript𝜏1subscript𝜎2subscript𝜏2𝛿subscript𝑈𝜆𝐪𝐊2𝜎𝜏superscript𝜎superscript𝜏\displaystyle\qquad\qquad\times(\mathbf{k}\sigma_{{1}}\tau_{{1}}\sigma_{{2}}% \tau_{{2}}|\delta U_{\lambda}|\mathbf{q}-\mathbf{K}/2\sigma\tau\sigma^{\prime}% \tau^{\prime})× ( bold_k italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | italic_δ italic_U start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT | bold_q - bold_K / 2 italic_σ italic_τ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
×(𝐪𝐊/2στστ|δUλ|𝐤σ3τ3σ4τ4)absent𝐪𝐊2𝜎𝜏superscript𝜎superscript𝜏𝛿subscriptsuperscript𝑈𝜆superscript𝐤subscript𝜎3subscript𝜏3subscript𝜎4subscript𝜏4\displaystyle\qquad\qquad\times(\mathbf{q}-\mathbf{K}/2\sigma\tau\sigma^{% \prime}\tau^{\prime}|\delta U^{\dagger}_{\lambda}|\mathbf{k^{\prime}}\sigma_{{% 3}}\tau_{{3}}\sigma_{{4}}\tau_{{4}})× ( bold_q - bold_K / 2 italic_σ italic_τ italic_σ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT | bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_σ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT )
×ψα(𝐊/2+𝐤;σ1,τ1)ψβ(𝐊/2𝐤;σ2,τ2)absentsubscriptsuperscript𝜓𝛼𝐊2𝐤subscript𝜎1subscript𝜏1subscriptsuperscript𝜓𝛽𝐊2𝐤subscript𝜎2subscript𝜏2\displaystyle\qquad\qquad\times\psi^{\dagger}_{\alpha}(\mathbf{K}/2+\mathbf{k}% ;\sigma_{{1}},\tau_{{1}})\psi^{\dagger}_{\beta}(\mathbf{K}/2-\mathbf{k};\sigma% _{{2}},\tau_{{2}})× italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K / 2 + bold_k ; italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K / 2 - bold_k ; italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )
×(ψβ(𝐊/2𝐤;σ4,τ4)ψα(𝐊/2+𝐤;σ3,τ3)\displaystyle\qquad\qquad\times\bigl{(}\psi_{\beta}(\mathbf{K}/2-\mathbf{k^{% \prime}};\sigma_{{4}},\tau_{{4}})\psi_{\alpha}(\mathbf{K}/2+\mathbf{k^{\prime}% };\sigma_{{3}},\tau_{{3}})× ( italic_ψ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K / 2 - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_σ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K / 2 + bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_σ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT )
ψα(𝐊/2𝐤;σ4,τ4)ψβ(𝐊/2+𝐤;σ3,τ3)),\displaystyle\quad\qquad-\psi_{\alpha}(\mathbf{K}/2-\mathbf{k^{\prime}};\sigma% _{{4}},\tau_{{4}})\psi_{\beta}(\mathbf{K}/2+\mathbf{k^{\prime}};\sigma_{{3}},% \tau_{{3}})\bigr{)},- italic_ψ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ( bold_K / 2 - bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_σ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) italic_ψ start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT ( bold_K / 2 + bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_σ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) ) , (9)

where 𝐪𝐪\mathbf{q}bold_q is the single-nucleon momentum, 𝐤𝐤\mathbf{k}bold_k and 𝐤superscript𝐤\mathbf{k^{\prime}}bold_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are relative momenta, and 𝐊𝐊\mathbf{K}bold_K is the total momentum. For further details on the derivation of Eq. (2), we refer the reader to the supplemental material.

We benchmark the SRG single-nucleon momentum distributions against those obtained with VMC calculations. The VMC method Carlson:2014vla approximates the solution of the nuclear quantum many-body problem with a variational ansatz of the form

|ΨV=(1+i<j<kFijk)(𝒮i<jFij)|ΨJ.ketsubscriptΨ𝑉1subscript𝑖𝑗𝑘subscript𝐹𝑖𝑗𝑘𝒮subscriptproduct𝑖𝑗subscript𝐹𝑖𝑗ketsubscriptΨ𝐽|\Psi_{V}\rangle=\Big{(}1+\sum_{i<j<k}F_{ijk}\Big{)}\Big{(}\mathcal{S}\prod_{i% <j}F_{ij}\Big{)}|\Psi_{J}\rangle\,.| roman_Ψ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ⟩ = ( 1 + ∑ start_POSTSUBSCRIPT italic_i < italic_j < italic_k end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT ) ( caligraphic_S ∏ start_POSTSUBSCRIPT italic_i < italic_j end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) | roman_Ψ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ⟩ . (10)

Here, Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT and Fijksubscript𝐹𝑖𝑗𝑘F_{ijk}italic_F start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT represent two- and three-body correlation operators, respectively, which include both central and spin-isospin-dependent terms; the symbol 𝒮𝒮\mathcal{S}caligraphic_S denotes a symmetrized product over nucleon pairs necessary for ensuring permutation invariance in the wave function for those components of Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT which do not commute. The α𝛼\alphaitalic_α-cluster structure of light nuclei is explicitly accounted for by the antisymmetric Jastrow wave function |ΨJketsubscriptΨ𝐽|\Psi_{J}\rangle| roman_Ψ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ⟩ that is constructed from a sum over independent-particle terms, each having four nucleons in an α𝛼\alphaitalic_α-like core and the remaining (A4)𝐴4(A-4)( italic_A - 4 ) nucleons in p-shell orbitals Pieper:2002ne . The optimal set of variational parameters, defining Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, Fijksubscript𝐹𝑖𝑗𝑘F_{ijk}italic_F start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT, and |ΨJketsubscriptΨ𝐽|\Psi_{J}\rangle| roman_Ψ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ⟩, is determined by minimizing the expectation value of the energy:

EVΨV|H|ΨVΨV|ΨVE0,subscript𝐸𝑉quantum-operator-productsubscriptΨ𝑉𝐻subscriptΨ𝑉inner-productsubscriptΨ𝑉subscriptΨ𝑉subscript𝐸0E_{V}\equiv\frac{\langle\Psi_{V}|H|\Psi_{V}\rangle}{\langle\Psi_{V}|\Psi_{V}% \rangle}\geq E_{0},italic_E start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ≡ divide start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT | italic_H | roman_Ψ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ⟩ end_ARG start_ARG ⟨ roman_Ψ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ⟩ end_ARG ≥ italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , (11)

where E0subscript𝐸0E_{0}italic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT represents the true ground-state energy of the system, subject to the constraint of obtaining approximately correct charge radii. Evaluating the above expectation value involves a multi-dimensional integration over the 3A3𝐴3A3 italic_A spatial coordinates of the nucleons, performed stochastically using the Metropolis-Hastings algorithm Metropolis:1953 ; Hastings:1970 . Conversely, the sum over the 2A×(AZ)superscript2𝐴binomial𝐴𝑍2^{A}\times\binom{A}{Z}2 start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT × ( FRACOP start_ARG italic_A end_ARG start_ARG italic_Z end_ARG ) spin-isospin coordinates is carried out explicitly, resulting in an exponential cost with the number of nucleons which presently limits the applicability of the VMC to light (up to 1212{}^{12}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPTC) nuclear systems. For larger systems (1616{}^{16}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPTO, 4040{}^{40}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPTCa), the exponential cost can be ameliorated by performing a linked cluster expansion in the spin-isospin-dependent correlations Lonardoni:2017egu . The |ΨJketsubscriptΨ𝐽|\Psi_{J}\rangle| roman_Ψ start_POSTSUBSCRIPT italic_J end_POSTSUBSCRIPT ⟩ is now a product of shell-model-like s.p. determinants and a full 3A3𝐴3A3 italic_A-dimensional integral is evaluated for these and the central parts of Fijsubscript𝐹𝑖𝑗F_{ij}italic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT, which include a substantial part of the SRCs.

We note that as a critical advantage with respect to quantum many-body methods relying on a s.p. basis expansion, the VMC has no difficulties in dealing with high-resolution nuclear potentials, which generate high-momentum components in the ground-state wave function. As discussed in detail in Refs. Wiringa:2013ala ; Carlson:2014vla , the VMC momentum distributions are evaluated by

n(𝐪)𝑛𝐪\displaystyle n(\mathbf{q})italic_n ( bold_q ) =𝑑𝐫1𝑑𝐫1𝑑𝐫2𝑑𝐫AΨ(𝐫1,𝐫2𝐫A)ei𝐪(𝐫1𝐫1)absentdifferential-dsuperscriptsubscript𝐫1differential-dsubscript𝐫1differential-dsubscript𝐫2differential-dsubscript𝐫𝐴superscriptΨsuperscriptsubscript𝐫1subscript𝐫2subscript𝐫𝐴superscript𝑒𝑖𝐪subscript𝐫1superscriptsubscript𝐫1\displaystyle=\int d\mathbf{r}_{1}^{\prime}d\mathbf{r}_{1}d\mathbf{r}_{2}\dots d% \mathbf{r}_{A}\Psi^{\dagger}(\mathbf{r}_{1}^{\prime},\mathbf{r}_{2}\dots% \mathbf{r}_{A})e^{-i\mathbf{q}\cdot(\mathbf{r}_{1}-\mathbf{r}_{1}^{\prime})}= ∫ italic_d bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_d bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT … italic_d bold_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT roman_Ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT … bold_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_i bold_q ⋅ ( bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT
×Ψ(𝐫1,𝐫2𝐫A).absentΨsubscript𝐫1subscript𝐫2subscript𝐫𝐴\displaystyle\qquad\qquad\times\Psi(\mathbf{r}_{1},\mathbf{r}_{2}\dots\mathbf{% r}_{A}).× roman_Ψ ( bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT … bold_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) . (12)

The above Fourier transform is computed by sampling configurations from |Ψ(𝐫1,𝐫2𝐫A)|2superscriptsuperscriptΨsubscript𝐫1subscript𝐫2subscript𝐫𝐴2|\Psi^{\dagger}(\mathbf{r}_{1},\mathbf{r}_{2}\dots\mathbf{r}_{A})|^{2}| roman_Ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT … bold_r start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. We average over all particles i𝑖iitalic_i in each configuration, and for each particle, a grid of Gauss-Legendre points along a random direction is used to compute the Fourier transform. To reduce the statistical errors originating from the rapidly oscillating nature of the integrand, instead of just moving the position 𝐫isuperscriptsubscript𝐫𝑖\mathbf{r}_{i}^{\prime}bold_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the left-hand wave function away from a fixed position 𝐫isubscript𝐫𝑖\mathbf{r}_{i}bold_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT in the right-hand wave function, both positions are moved symmetrically away from 𝐫isubscript𝐫𝑖\mathbf{r}_{i}bold_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. The VMC wave functions reproduce experimental charge radii of 44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTHe and 1212{}^{12}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPTC within similar-to\sim1%, while the kinetic energy matches the more precise Green’s function Monte Carlo calculations within similar-to\sim2-8%. Because nearly half the kinetic energy comes from the high-momentum tails Wiringa:single_distributions , we believe these VMC momentum distributions to be slightly low but fairly accurate. The CVMC radii for 1616{}^{16}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPTO and 4040{}^{40}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPTCa are similar-to\sim2-4% larger than experiment.

3 Results

Refer to caption
Figure 1: Proton momentum distributions of O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O  with different Woods-Saxon parametrizations compared to CVMC results with and without a three-nucleon interaction. The SRG distributions are calculated using the AV18 interaction to evolve the operator to λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, comparing the Seminole parametrization (solid green) and Universal parametrization (dashdotted red). The CVMC results are calculated either with AV18 only (blue points), or AV18 and the Urbana IX (UIX) three-nucleon potential (orange points).

In Fig. 1 we show single-proton high-resolution momentum distributions up to 2fm12superscriptfm12\,\mbox{fm}^{-1}2 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O from CVMC calculations using both the AV18 two-nucleon interaction only and with AV18 and the Urbana IX (UIX) three-nucleon potential Pudliner:1995wk . The differences between the distributions are typical of other nuclei and also of differences between using UIX and the Urbana X (UX) potential Wiringa:2013ala . To match to SRG distributions using Eq. (2) we need to choose an appropriate s.p. basis for each interaction. We use adjusted Woods-Saxon orbitals as a phenomenological way to build in the relevant nuclear saturation physics without having to explicitly evolve three- and higher-body forces.

Figure 1 shows SRG results with two different Woods-Saxon parametrizations dubbed “Universal” Dudek:1982zz and “Seminole” Schwierz:2007ve ; Volya:woods_saxon , with both using AV18 to SRG-evolve the operator to λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The Universal parametrization describes heavy nuclei such as 208208{}^{208}start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPTPb, whereas the Seminole parametrization is intended for shell model calculations of O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O and heavier nuclei. The Universal distribution tends to be close to the CVMC distribution with AV18 and UIX, while the Seminole favors the AV18-only distribution. In all subsequent figures, we adjust the strength and radius of the central potential to best describe VMC calculations using the same values as the Universal parametrization for the other Woods-Saxon parameters; however, no fine-tuning of the parameters is necessary.

Figure 2: Proton momentum distributions for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He, C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C, O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O, and Ca40superscriptCa40{}^{40}\text{Ca}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPT Ca. The solid blue lines show the SRG distributions in which the operator is evolved under the AV18 interaction at λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The dashed orange lines show the IPM distributions (no operator evolution). The black points show VMC distributions calculated with AV18 and UX for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He and C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C, and CVMC distributions calculated with AV18 and UIX for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O and Ca40superscriptCa40{}^{40}\text{Ca}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPT Ca. Each distribution is divided by the proton number Z𝑍Zitalic_Z.
Refer to caption
Refer to caption
Figure 2: Proton momentum distributions for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He, C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C, O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O, and Ca40superscriptCa40{}^{40}\text{Ca}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPT Ca. The solid blue lines show the SRG distributions in which the operator is evolved under the AV18 interaction at λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The dashed orange lines show the IPM distributions (no operator evolution). The black points show VMC distributions calculated with AV18 and UX for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He and C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C, and CVMC distributions calculated with AV18 and UIX for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O and Ca40superscriptCa40{}^{40}\text{Ca}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPT Ca. Each distribution is divided by the proton number Z𝑍Zitalic_Z.
Figure 3: Same as Fig. 3 but on a linear y-scale with a factor of q2superscript𝑞2q^{2}italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT included.

Note that if one tried to use consistently calculated Hartree-Fock orbitals with soft NN-only Hamiltonians, the results would be poor because saturation would be distorted. The semi-phenomenological approach is in the spirit of hybrid calculations that successfully mix accurate structure with effective field theory current operators as well as with the traditional phenomenological analysis of (e,ep)𝑒superscript𝑒𝑝(e,e^{\prime}p)( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) experiments Lapikas:1993aa . Our justification here is empirical but is open to more controlled validation through further benchmarking with ab initio many-body calculations.

Spurious center-of-mass (CoM) effects can be sizable in calculations involving a Woods-Saxon s.p. basis for light nuclei. Subtracting the spurious CoM effect from calculated wave functions is a nontrivial issue. However the VMC performs a Monte Carlo integration in which the CoM component is exactly subtracted from the wave function Massella:2018xdj . We have compared VMC calculations with and without the CoM subtraction for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He  and C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C  finding a sizable effect in the former. Without the subtraction, the single-nucleon momentum distribution for He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He  is shifted to higher momentum, meaning that the probability of finding a nucleon with low (high) momentum decreases (increases). This is due to the spurious CoM motion giving an overall enhancement to the kinetic energy. The low RG resolution calculations do not make any CoM subtraction because the Woods-Saxon potential is adjusted to match the CoM-subtracted VMC distributions.

Figure 3 shows SRG proton momentum distributions of 44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTHe, 1212{}^{12}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPTC, 1616{}^{16}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPTO, and 4040{}^{40}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPTCa from Eq. (2) using AV18 with λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT compared to VMC and CVMC results. The figure label AV18(1.5) refers to the AV18 potential with λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT for all SRG calculations shown in this section. VMC with AV18 and UX is used to calculate He4superscriptHe4{}^{4}\text{He}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT He and C12superscriptC12{}^{12}\text{C}start_FLOATSUPERSCRIPT 12 end_FLOATSUPERSCRIPT C, and CVMC with AV18 and UIX is used for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O and Ca40superscriptCa40{}^{40}\text{Ca}start_FLOATSUPERSCRIPT 40 end_FLOATSUPERSCRIPT Ca. See the supplemental material for comparisons of SRG to VMC (or CVMC) with AV18 only. The orange dotted lines correspond to a single Slater determinant of Woods-Saxon s.p. states adjusted to either VMC results with AV18 and UX, or CVMC with AV18 and UIX. Including operator evolution reduces the independent particle model (IPM) description by negative δU𝛿𝑈\delta Uitalic_δ italic_U and δU𝛿superscript𝑈\delta U^{\dagger}italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT linear contributions as seen in the linear y-scale q2n(q)superscript𝑞2𝑛𝑞q^{2}n(q)italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_n ( italic_q ) figure 3. The high momentum tail arises from the δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT two-body term dependent on the NN interaction. The tail agrees nicely with the VMC and CVMC calculations regardless of nuclei because each calculation uses the same two-nucleon interaction AV18, which is the dominant contribution at high momentum.

Figure 4 shows the contributions to the O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O SRG proton momentum distribution. The black solid line shows the total momentum distribution, the blue dotted shows the contribution from the unevolved operator (i.e., IPM), the green dashed line shows the absolute value of the δU𝛿𝑈\delta Uitalic_δ italic_U and δU𝛿superscript𝑈\delta U^{\dagger}italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT terms, and the red dash-dotted line shows the δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term. The δU+δU𝛿𝑈𝛿superscript𝑈\delta U+\delta U^{\dagger}italic_δ italic_U + italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT contribution is negative up to about 1.4fm11.4superscriptfm11.4\,\mbox{fm}^{-1}1.4 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT reducing (“quenching”) the distribution from the IPM. The IPM and δU+δU𝛿𝑈𝛿superscript𝑈\delta U+\delta U^{\dagger}italic_δ italic_U + italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT contributions are weighted by s.p. wave functions that carry the q𝑞qitalic_q dependence. These wave functions do not have high momentum components, hence the two contributions drop off at high q𝑞qitalic_q. The q𝑞qitalic_q dependence of the δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT contribution is entirely driven by the δU𝛿𝑈\delta Uitalic_δ italic_U and δU𝛿superscript𝑈\delta U^{\dagger}italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT matrix elements and gives the full contribution to the distribution at high q𝑞qitalic_q. This contribution corresponds to the tail at high resolution originating with pairs in the Fermi sea being kicked to high momentum by a hard interaction and then dropping back with another interaction Brueckner:1955zzd .

Refer to caption
Figure 4: Contributions to the proton momentum distribution in O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O, corresponding to the first (mean-field), second (δU+δU𝛿𝑈𝛿superscript𝑈\delta U+\delta U^{\dagger}italic_δ italic_U + italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT), and third (δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT) terms in Eq. (2), all evolved to SRG λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT with AV18. The sum of the three is the solid line. Note that the dashed δU+δU𝛿𝑈𝛿superscript𝑈\delta U+\delta U^{\dagger}italic_δ italic_U + italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT contribution is negative up to q1.4fm1similar-to𝑞1.4superscriptfm1q\sim 1.4\,\mbox{fm}^{-1}italic_q ∼ 1.4 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.
Refer to caption
Figure 5: Same as Fig. 4 but using a local density approximation to compute proton momentum distributions as described in Ref. Tropiano:2021qgf . Here the proton densities are generated from the SLy4 Skyrme functional Chabanat:1997un using the HFBRAD code Bennaceur:2005mx .

The high momentum tail is explained by factorization of SRG transformations when there is a separation of scales Anderson:2010aq ; Bogner:2012zm . Mathematically, δUλ(k,q)Fλlo(k)Fλhi(q)𝛿subscript𝑈𝜆𝑘𝑞subscriptsuperscript𝐹lo𝜆𝑘subscriptsuperscript𝐹hi𝜆𝑞\delta U_{\lambda}(k,q)\approx F^{\rm lo}_{\lambda}(k)F^{\rm hi}_{\lambda}(q)italic_δ italic_U start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_k , italic_q ) ≈ italic_F start_POSTSUPERSCRIPT roman_lo end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_k ) italic_F start_POSTSUPERSCRIPT roman_hi end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_q ) for k<λq𝑘𝜆much-less-than𝑞k<\lambda\ll qitalic_k < italic_λ ≪ italic_q, where the labels “hi” and “lo” in the functions Fλhi(q)subscriptsuperscript𝐹hi𝜆𝑞F^{\rm hi}_{\lambda}(q)italic_F start_POSTSUPERSCRIPT roman_hi end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_q ) and Fλlo(k)subscriptsuperscript𝐹lo𝜆𝑘F^{\rm lo}_{\lambda}(k)italic_F start_POSTSUPERSCRIPT roman_lo end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_k ) refer to the separation of momentum scales above and below λ𝜆\lambdaitalic_λ. The low RG resolution wave function only supports momenta up to the Fermi momentum, which is generally less than λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT for all nuclei considered in this paper. Thus at high q𝑞qitalic_q, the δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term factorizes into a universal two-body function |Fλhi(q)|2superscriptsubscriptsuperscript𝐹hi𝜆𝑞2\absolutevalue{F^{\rm hi}_{\lambda}(q)}^{2}| start_ARG italic_F start_POSTSUPERSCRIPT roman_hi end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_q ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT that depends on the interaction but not the nucleus, and a low momentum nuclear matrix element independent of the interaction and q𝑞qitalic_q:

limqλnλ(q)|Fλhi(q)|2A|Fλlo(k)Fλlo(k)|A.proportional-tosubscriptmuch-greater-than𝑞𝜆subscript𝑛𝜆𝑞superscriptsubscriptsuperscript𝐹hi𝜆𝑞2expectation-valuesubscriptsuperscript𝐹lo𝜆𝑘subscriptsuperscript𝐹lo𝜆superscript𝑘𝐴𝐴\lim_{q\gg\lambda}n_{\lambda}(q)\propto\absolutevalue{F^{\rm hi}_{\lambda}(q)}% ^{2}\int\matrixelement{A}{F^{\rm lo}_{\lambda}(k)F^{\rm lo}_{\lambda}(k^{% \prime})}{A}.roman_lim start_POSTSUBSCRIPT italic_q ≫ italic_λ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_q ) ∝ | start_ARG italic_F start_POSTSUPERSCRIPT roman_hi end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_q ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ ⟨ start_ARG italic_A end_ARG | start_ARG italic_F start_POSTSUPERSCRIPT roman_lo end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_k ) italic_F start_POSTSUPERSCRIPT roman_lo end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG | start_ARG italic_A end_ARG ⟩ . (13)

This implies scaling of high-momentum tails because the high-q𝑞qitalic_q dependence cancels in ratios of nuclei leaving a quantity only sensitive to low momentum physics (e.g., SRC scaling factors a2subscript𝑎2a_{2}italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT). Note the universal high-momentum tail at qλmuch-greater-than𝑞𝜆q\gg\lambdaitalic_q ≫ italic_λ in the proton momentum distributions in Fig. 3.

Figure 5 shows the contributions to the proton momentum distribution but using a local density approximation (LDA) to model the low RG resolution wave function. This approach is described in Ref. Tropiano:2021qgf and was also utilized in Ref. Tropiano:2022jjj . The distribution in Fig. 5 uses proton densities generated from the SLy4 Skyrme functional Chabanat:1997un using the HFBRAD code Bennaceur:2005mx . The mean-field part of the momentum distribution will reflect the differences in modeling |Ψ0A(λ)ketsuperscriptsubscriptΨ0𝐴𝜆\ket{\Psi_{0}^{A}(\lambda)}| start_ARG roman_Ψ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ( italic_λ ) end_ARG ⟩, despite the SRG transformations and factorization arguments remaining the same. In the LDA version, there are sharp cutoffs at the SRG resolution scale λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, whereas the Woods-Saxon version smoothly falls off before transitioning to the δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term. The LDA distributions also diverge as q0fm1𝑞0superscriptfm1q\rightarrow 0\,\mbox{fm}^{-1}italic_q → 0 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT due to it being a poor approximation at low momentum. However, at qλmuch-greater-than𝑞𝜆q\gg\lambdaitalic_q ≫ italic_λ where factorization holds, we retain the same high q𝑞qitalic_q tail regardless of LDA or Woods-Saxon.

Refer to caption
Figure 6: Proton momentum distributions of O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O  using several interactions shown in the legend evolved to λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.
Refer to caption
Refer to caption
Figure 7: Proton momentum distribution for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O  varying the SRG λ𝜆\lambdaitalic_λ on a log y-scale (a) and linear y-scale (b) using the AV18 interaction. The black dotted line shows the distribution with no SRG evolution (IPM distribution), and the red solid line shows the distribution evolved to λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The red band indicates the variation in λ𝜆\lambdaitalic_λ from 2222 to 1.35fm11.35superscriptfm11.35\,\mbox{fm}^{-1}1.35 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.
Refer to caption
Figure 8: Proton momentum distributions using the matching procedure described in the text to match SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV to AV18. Here we calculate O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O  setting λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT in all cases. The black dotted line shows the SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV distribution without matching, and the solid blue line shows the AV18 distribution. The red dashed line shows the SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV distribution with λm=4.5fm1subscript𝜆𝑚4.5superscriptfm1\lambda_{m}=4.5\,\mbox{fm}^{-1}italic_λ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = 4.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT to match to AV18. The red band indicates variation in λmsubscript𝜆𝑚\lambda_{m}italic_λ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT from 5555 to 4fm14superscriptfm14\,\mbox{fm}^{-1}4 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT.

In Fig. 6 we show SRG proton momentum distributions for O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O with different NN interactions. We plot momentum distributions corresponding to two phenomenological interactions, AV18 and CD-Bonn Machleidt:2000ge , and two chiral effective field theory interactions, EMN N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 500 MeV Entem:2017gor and SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV Reinert:2017usi . The δU𝛿𝑈\delta Uitalic_δ italic_U matrix elements in Eq. (2) change between each curve because of a different interaction including different regulator schemes. Variation in the potential has the most visible effect on the high momentum tails because of the dominant δUδU𝛿𝑈𝛿superscript𝑈\delta U\delta U^{\dagger}italic_δ italic_U italic_δ italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term. There is also an effect at low momentum where the IPM distribution is quenched by some amount dependent on the interaction. Figure 6 reflects the scale and scheme dependence associated with the choice of the NN interaction in combination with SRG evolving the same initial one-body operator for the distributions.

In Fig. 7 we vary the SRG scale λ𝜆\lambdaitalic_λ. The black dotted line shows the result using the unevolved operator, that is, the IPM distribution. The red line shows the λ=1.5fm1𝜆1.5superscriptfm1\lambda=1.5\,\mbox{fm}^{-1}italic_λ = 1.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT distribution. The light red band indicates the variation in λ𝜆\lambdaitalic_λ from 2fm12superscriptfm12\,\mbox{fm}^{-1}2 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT down to 1.35fm11.35superscriptfm11.35\,\mbox{fm}^{-1}1.35 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. High λ𝜆\lambdaitalic_λ distributions approach the IPM description due to the mismatch of a low RG resolution wave function with a high-resolution operator. As λ𝜆\lambdaitalic_λ is lowered, the tail rises from the induced two-body operator, and the low-momentum part of the distribution begins to decrease from the IPM.

Reference Tropiano:2022jjj demonstrates how to use SRG transformations to approximately match different interactions. Here we match distributions from different interactions to the AV18 distribution, where we use a one-body operator for the AV18 distribution. Figure 8 shows the O16superscriptO16{}^{16}\text{O}start_FLOATSUPERSCRIPT 16 end_FLOATSUPERSCRIPT O  proton momentum distributions for SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV and AV18, where the former has less contributions at high relative momentum. We apply SRG transformations from AV18 onto the initial momentum distribution operator for the SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV distribution: n^soft=U^λn^hardU^λsubscript^𝑛softsubscript^𝑈𝜆subscript^𝑛hardsuperscriptsubscript^𝑈𝜆\widehat{n}_{\rm{soft}}=\widehat{U}_{\lambda}\widehat{n}_{\rm{hard}}\widehat{U% }_{\lambda}^{\dagger}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT roman_soft end_POSTSUBSCRIPT = over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT roman_hard end_POSTSUBSCRIPT over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT. The initial operator for the soft potential n^softsubscript^𝑛soft\widehat{n}_{\rm{soft}}over^ start_ARG italic_n end_ARG start_POSTSUBSCRIPT roman_soft end_POSTSUBSCRIPT becomes a two-body operator at some SRG scale indicated by λmsubscript𝜆𝑚\lambda_{m}italic_λ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. We then apply the same method as before in evolving the operator and approximating the low RG resolution wave function. Figure 8 shows the SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV with the initial two-body operator at λm=4.5fm1subscript𝜆𝑚4.5superscriptfm1\lambda_{m}=4.5\,\mbox{fm}^{-1}italic_λ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = 4.5 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, where the red band indicates λmsubscript𝜆𝑚\lambda_{m}italic_λ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT varying from 5555 to 4fm14superscriptfm14\,\mbox{fm}^{-1}4 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The induced two-body operator in the initial operator is responsible for approximately matching the SMS N44{}^{4}start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPTLO 550 MeV distribution to the AV18 distribution. We have verified that other matching procedures work in a similar way, such as using unitary transformations that directly relate the eigenstates of both potentials.

4 Summary and outlook

We have demonstrated in this paper that momentum distributions of the high-resolution AV18 potential for nuclei from A=4𝐴4A=4italic_A = 4 to A=40𝐴40A=40italic_A = 40 can be quantitatively reproduced at low- and high-momenta using an SRG-evolved operator truncated at the two-body level combined with structure described by Slater determinants of adjusted Woods-Saxon orbitals. The sensitivity to the choice of SRG flow parameter λ𝜆\lambdaitalic_λ is relatively small, and the same “optimal” choice works for all the nuclei. The enhanced factorization of the low-resolution operators is reflected in a clean separation of mean-field and SRC contributions to the momentum distributions. We also show that other interactions, such as state-of-the-art chiral EFT NN forces, can be matched to the reference AV18 distributions to reproduce close to the same distributions.

A key question is whether these successes can be extended to other operators, and ultimately to comparisons with experiment. At the same time, we need to quantify the error introduced by both the truncation of induced many-body components in the operators and the use of simplified many-body wave functions (and whether we are exploiting cancellations between these errors). Work is in progress to examine pair momentum distributions as well as exclusive quantities, such as spectral functions for analyzing (e,ep)𝑒superscript𝑒𝑝(e,e^{\prime}p)( italic_e , italic_e start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p ) experiments at low resolution. The latter is a doorway to more controlled phenomenological analysis and a modern RG-based formulation of optical potentials Hisham:2022jzt and spectroscopic factors. We will also evolve operators in single- and double-beta decay calculations to understand quenching from a low RG resolution perspective and connect to GCF approaches Weiss:2021rig .

5 Acknowledgments

This work was supported in part by the U.S. Department of Energy (DOE), Office of Science, Office of Nuclear Physics under contract number DE-AC02-06CH11357 (A.J.T., A.L., and R.B.W.) and by the SciDAC-NUCLEI (A.J.T., A.L., R.B.W., R.J.F., and M.A.H.) and SciDAC-NeuCol (A.L.) projects. A.L. is also supported by DOE Early Career Research Program awards. R.J.F. and M.A.H. are also supported in part by the National Science Foundation Award No. PHY-2209442. S.K.B. is supported in part by the National Science Foundation Award No. PHY-2310020. Numerical calculations were performed on the parallel computers of the Laboratory Computing Resource Center, Argonne National Laboratory, the computers of the Argonne Leadership Computing Facility via the INCITE grant “Ab-initio Nuclear Structure and Nuclear Reactions”.

References