This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Closed-form Brückner GG-matrix and nuclear matter in EFT(π\not\!\pi)

Ting-Wei Pan Ji-Feng Yang School of Physics and Electronic Science, East China Normal University, Shanghai 200241, China State Key Laboratory of Precision Spectroscopy, East China Normal University, Shanghai 200241, China
Abstract

The closed-form Brückner GG matrix for nuclear matter is computed in the S01{}^{1}S_{0} channel of EFT(π\not\!\!\pi) and renormalized in nonperturbative context. The nuclear medium environment yields additional constraints that are consistent with off-shell TT matrix renormalization, keeping the power counting intact and simplifying the running behaviors of the EFT couplings. With the GG obtained we computed the energy per particle for neutron and symmetric nuclear matter to demonstrate the physical relevance of certain ’physical’ parameters that arise from nonperturbative renormalization. We also explored the pairing phenomenon in S01{}^{1}S_{0} channel by examining the poles of the closed-form GG matrix with a given density, where again the physical relevance of the same set of physical parameters are clearly illustrated.

keywords:
Nuclear matter, Pionless EFT, Nonperturbative renormalization
journal: Elsevier

1 Introduction

EFT has become a main tool for quantitative study of many issues in nuclear physics, both for few body physics and for many body issues. Among the various EFTs for nuclear physics, the pionless EFT or EFT(π)(\not\!\!\pi) is particularly useful in illustrating many important issues[1, 2, 3] for its simple structure that facilitates both perturbative and nonperturbative studies.

EFT(π)(\not\!\!\pi) has been employed in our previous works[4, 5, 6] for demonstrating alternative solution of TT-matrices in nonperturbative contexts, namely closed-form solutions and the corresponding nonperturbative scenario of nuclear dynamics in very low energy situation. In contrast to the known ’perturbative’ schemes like KSW[7], it is shown that a novel scenario of renormalization of the simpler theory is tractable in the presence of tight constraints imposed by the closed form of the TT-matrices, with a conventional realization of EFT power counting that is naturally compatible with unnatural scattering behaviors between nucleons[4, 5, 6, 8, 9].

In this report, we wish to extend our approach to many-body contexts and to show that the alternative scenario of renormalization in nonperturbative contexts also works in such many body issues. To this end, we consider the closed-form Brückner GG matrices in uncoupled channels of EFT(π)(\not\!\!\pi). The first computation of Brückner GG matrix in EFT(π)(\not\!\!\pi) has been done twenty years ago in Ref.[10]. Actually, the pionless EFT has been perturbatively applied to many-body fermi gas in a number of papers almost two decades ago, see, e.g., Refs[11, 12]. We wish to extend the EFT framework to nonperturbative context with adapted renormalization. From our presentation, it is obvious that Brückner GG matrices could be readily obtained from the closed-form TT matrices by merely replacing the density-independent integrals by the density-dependent ones. Thus, the extension seems to be an easy job. The presence of medium does bring us additional constraints in the closed-form GG matrix, which imply additional ’physical’ or renormalization group invariant parameters to be independently fixed, reducing the number of running parameters. Naturally, there should be more physical inputs to fix these parameters in the presence of medium. As long as we work with EFT at a given order, the number of parameters to be fixed remain finite, even in a nonperturbative context. In this sense, the EFT spirit is feasible even beyond the most familiar perturbative formulations, as long as the traditional perturbative wisdom is properly updated.

This report is organized as below: In Sec. 2 the necessary theoretical set up is presented and the closed-form Brückner GG matrix in S01{}^{1}S_{0} channel is computed via Bethe-Goldstone equation with the potential given at the first two truncation orders. The renormalization of the closed-form of GG matrix is described in Sec. 3 through exploiting the tight constraints imposed by the closed-form of GG with the running couplings given as byproducts. The power counting for such EFT description is also described in Sec. 3. Sec. 4 is devoted to the calculation of energy per nucleon in S01{}^{1}S_{0} channel for demonstration of the physical relevance of the parameters derived from the tight constraints. Sec. 5 is devoted to a demonstration of the pairing phenomenon with the closed-form GG matrix. The discussion and summary is given in Sec 6.

2 Closed-form Brückner GG matrices

The pionless EFT for low energy NNNN interactions is characterized by the following local lagrangian:

(π̸)=N¯(i0+22MN)N12Cs(N¯N)212Ct(N¯σN)2+,\displaystyle\mathcal{L}_{(\not\pi)}=\bar{N}\left(i\partial_{0}+\frac{\nabla^{2}}{2M_{N}}\right)N-\frac{1}{2}C_{s}\left(\bar{N}N\right)^{2}-\frac{1}{2}C_{t}\left(\bar{N}\vec{\sigma}N\right)^{2}+\cdots, (1)

from which we could naturally read off the two-body (energy-independent) pionless potential of S01{}^{1}S_{0} channel truncated at the first two orders:

𝒪(Q0):V(q,q)=Cs;0;𝒪(Q2):V(q,q)=Cs;0+Cs;2(q2+q2).\displaystyle\mathcal{O}(Q^{0}):\ V(q,q^{\prime})=C_{s;0};\quad\quad\mathcal{O}(Q^{2}):\ V(q,q^{\prime})=C_{s;0}+C_{s;2}\left(q^{2}+{q^{\prime}}^{2}\right). (2)

It is known that the in-medium interactions for nuclear system could be described by the Brückner GG matrix which in turn satisfies the following Bethe-Goldstone (BG) equation in uncoupled channels[13, 14]

G(q,q;pF)=V(q,q)+MNk2dk2π2V(q,k)θ(kpF)MNEk2+i0+G(k,q;pF).\displaystyle G(q,q^{\prime};p_{F})=V(q,q^{\prime})+M_{N}\int\frac{k^{2}dk}{2\pi^{2}}V(q,k)\frac{\theta(k-p_{F})}{M_{N}E-k^{2}+i0^{+}}G(k,q^{\prime};p_{F}). (3)

Here EE denotes the total energy of the scattering pair of nucleons in center of mass frame, pFp_{F} the Fermi momentum. Obviously, this BGE shares the same structure with the Lippmann-Schwinger equation for NNNN scattering TT matrix except θ(kpF)\theta(k-p_{F}), and directly reduces to the latter in the zero-density limit. Moreover, just like the case of TT matrix, a closed-form GG matrix is also feasible in pionless EFT because the potential is separable.

Let us illustrate with the S01{}^{1}S_{0} channel for convenience. Extension to higher channels is a straightforward matter. In analogy to our previous studies using pionless EFT[4, 5], let us introduce the column vector

U(q)=(1q2)\displaystyle U(q)=\left(\begin{array}[]{c}1\\ q^{2}\end{array}\right) (6)

at truncation order 𝒪(Q2)\mathcal{O}(Q^{2}), to recast VV and GG into the following factorized form

V(q,q)\displaystyle V(q,q^{\prime}) =\displaystyle= UT(q)λU(q),G(q,q;pF)=UT(q)γU(q),\displaystyle U^{T}(q)\lambda U(q^{\prime}),\quad G(q,q^{\prime};p_{F})=U^{T}(q)\gamma U(q^{\prime}), (7)
λ\displaystyle\lambda \displaystyle\equiv (Cs;0Cs;2Cs;20),γ(γ11γ12γ21γ22).\displaystyle\left(\begin{array}[]{cc}C_{s;0}&C_{s;2}\\ C_{s;2}&0\\ \end{array}\right),\ \gamma\equiv\left(\begin{array}[]{cc}\gamma_{11}&\gamma_{12}\\ \gamma_{21}&\gamma_{22}\\ \end{array}\right). (12)

Then the BG equation reduces to the following algebraic one whose solution is direct to find

γ\displaystyle\gamma =\displaystyle= λ+λ~γγ=(1λ~)1λ,\displaystyle\lambda+\lambda\cdot\tilde{\mathcal{I}}\cdot\gamma\rightarrow\gamma=\left(1-\lambda\cdot\tilde{\mathcal{I}}\right)^{-1}\cdot\lambda, (13)

with

~\displaystyle\tilde{\mathcal{I}} \displaystyle\equiv (~0~2~2~4).\displaystyle\left(\begin{array}[]{cc}-\tilde{\mathcal{I}}_{0}&\tilde{\mathcal{I}}_{2}\\ \tilde{\mathcal{I}}_{2}&\tilde{\mathcal{I}}_{4}\\ \end{array}\right). (16)

It is easy to see that the renormalization of GG hinges upon the subtraction of the divergences residing in the matrix ~\tilde{\mathcal{I}}, which is defined and parametrized in the A.

Next, we could easily obtain the closed-form GG matrix by sandwiching γ\gamma between the vectors UTU^{T} and UU. For studying the nuclear matter, we need the on-shell (p=MNEp=\sqrt{M_{N}E}) GG matrix which reads at order 𝒪(Q2)\mathcal{O}(Q^{2})

1G(p;pF)=N~s;0D~s;0+D~s;1p2+~0,\displaystyle\frac{1}{G(p;p_{F})}=\frac{\tilde{N}_{s;0}}{\tilde{D}_{s;0}+\tilde{D}_{s;1}p^{2}}+\tilde{\mathcal{I}}_{0}, (17)
N~s;0(1Cs;2J~3)2,D~s;0Cs;0+Cs;22J~5,D~s;1Cs;2(2Cs;2J~3),\displaystyle\tilde{N}_{s;0}\equiv\left(1-C_{s;2}\tilde{J}_{3}\right)^{2},\ \tilde{D}_{s;0}\equiv C_{s;0}+C^{2}_{s;2}\tilde{J}_{5},\ \tilde{D}_{s;1}\equiv C_{s;2}\left(2-C_{s;2}\tilde{J}_{3}\right), (18)

and in analogy to the zero-density case, it is easy to verify the following linear constraints

N~s;0+D~s;1J~3=1,D~s;0J~3+D~s;1J~5=Cs;0J~3+2Cs;2J~5.\displaystyle\tilde{N}_{s;0}+\tilde{D}_{s;1}\tilde{J}_{3}=1,\ \tilde{D}_{s;0}\tilde{J}_{3}+\tilde{D}_{s;1}\tilde{J}_{5}=C_{s;0}\tilde{J}_{3}+2C_{s;2}\tilde{J}_{5}. (19)

The on-shell GG matrix at leading order 𝒪(Q0)\mathcal{O}(Q^{0}) is even simpler and coincides with the off-shell case:

1G(p;pF)=1Cs;0+~0=1G(q,q;pF),\displaystyle\frac{1}{G(p;p_{F})}=\frac{1}{C_{s;0}}+\tilde{\mathcal{I}}_{0}=\frac{1}{G(q,q^{\prime};p_{F})}, (20)

making it distinctive to all the higher orders in S01{}^{1}S_{0} channel.

In next section, the tight constraints of the closed-form GG matrix will be exploited to obtain the renormalized (running) couplings, following exactly the same procedure that has been developed in Refs.[4, 5, 6].

3 Tight constraints and renormalization

3.1 Running couplings from closed-form GG in S01{}^{1}S_{0} channel

To proceed, we introduce the following renormalization group invariant ratios that are now density dependent:

α~s;0N~s;01D~s;0,α~s;1N~s;01D~s;1,\displaystyle\tilde{\alpha}_{s;0}\equiv\tilde{N}_{s;0}^{-1}\tilde{D}_{s;0},\ \tilde{\alpha}_{s;1}\equiv\tilde{N}_{s;0}^{-1}\tilde{D}_{s;1}, (21)

then the on-shell GG matrix could be recast into the following renormalization group invariant form

1G(p;pF)=1α~s;0+α~s;1p2+~0,1T(p)=1G(p;pF=0)=1αs;0+αs;1p2+0,\displaystyle\frac{1}{G(p;p_{F})}=\frac{1}{\tilde{\alpha}_{s;0}+\tilde{\alpha}_{s;1}p^{2}}+\tilde{\mathcal{I}}_{0},\ \frac{1}{T(p)}=\frac{1}{G(p;p_{F}=0)}=\frac{1}{\alpha_{s;0}+\alpha_{s;1}p^{2}}+\mathcal{I}_{0}, (22)

where

αs;0α~s;0(pF=0)=Cs;0+Cs;22J5(1Cs;2J3)2,αs;1α~s;1(pF=0)=2Cs;2Cs;22J3(1Cs;2J3)2,0J0+iMN4πp.\displaystyle\alpha_{s;0}\equiv\tilde{\alpha}_{s;0}(p_{F}=0)=\frac{C_{s;0}+C_{s;2}^{2}J_{5}}{(1-C_{s;2}J_{3})^{2}},\ \alpha_{s;1}\equiv\tilde{\alpha}_{s;1}(p_{F}=0)=\frac{2C_{s;2}-C_{s;2}^{2}J_{3}}{(1-C_{s;2}J_{3})^{2}},\ \mathcal{I}_{0}\equiv J_{0}+i\frac{M_{N}}{4\pi}p. (23)

As in the zero-density case[4, 5, 6], it is easy to see that ~0\tilde{\mathcal{I}}_{0} becomes renormalization group invariant in GG beyond leading order of truncation, so is J0={~0(pF=0)}J_{0}=\Re\{\tilde{\mathcal{I}}_{0}(p_{F}=0)\}. Moreover, the presence of density further constrains J3J_{3} to be also renormalization group invariant, see B. This is not totally unanticipated if we further explore the renormalization of the off-shell TT matrix. For example in the S01{}^{1}S_{0} channel at order 𝒪(Q2)\mathcal{O}(Q^{2}), to renormalize the off-shell TT matrix in closed-form, the off-shell piece δˇS=0Cs;22\check{\delta}_{S}=-\mathcal{I}_{0}C^{2}_{s;2} (c.f. [6]) must conspire with Ns;0N_{s;0} to constitute a further renormalization group invariant δˇS/Ns;0\check{\delta}_{S}/N_{s;0}, which equals to ~0(pF=0)σs;22\tilde{\mathcal{I}}_{0}(p_{F}=0)\sigma^{2}_{s;2} with σs;2\sigma_{s;2} defined in B.

Working out all the renormalization group invariants, one could proceed to solve for the running couplings in the following two routes: One is to invert the expressions of appropriate renormalization group invariants to obtain running couplings; Another is to invert α~s;0\tilde{\alpha}_{s;0} and α~s;1\tilde{\alpha}_{s;1} for couplings, then to plug in more renormalization group invariance to cancel out the apparent density dependence. In either route, we need to first work out the highest order couplings, then go to lower orders, in perfect accordance with the general notion established in our previous studies of the closed-form TT matrices in pionless EFT that the renormalization of lower order couplings could be affected by higher order couplings, not the reverse[4, 5, 6]. In our view, this should be a very ’natural’ feature for any EFT formulation of subatomic and atomic systems. Unfortunately, it has not been much manifested or appreciated in literature.

Now, from Eqs.(47) and (51) in B, we have

Cs;2=σs;21+σs;2J3=σs;22αs;1σs;2.\displaystyle{C}_{s;2}=\frac{\sigma_{s;2}}{1+\sigma_{s;2}{J}_{3}}=\frac{\sigma_{s;2}^{2}}{\alpha_{s;1}-\sigma_{s;2}}. (24)

Interestingly, Cs;2C_{s;2} is now completely fixed or renormalization group invariant, a byproduct of the additional constraints due to medium background (or, renormalization of off-shell TT matrix). Next, we can simply find from Eq.(23) that

Cs;0=αs;0σs;22J5(μ)(αs;1σs;2)2σs;22,\displaystyle C_{s;0}=\frac{\alpha_{s;0}-\sigma_{s;2}^{2}J_{5}(\mu)}{(\alpha_{s;1}-\sigma_{s;2})^{2}}\sigma_{s;2}^{2}, (25)

which could also be found by using the second relation in Eq.(19).

As to the second route, we simply make use of the published results of the zero-density case[4, 6] and the replacement [J][J~][J_{\cdots}]\rightarrow[\tilde{J}_{\cdots}]:

C~s;2=J~31[1(1+α~s;1J~3)1/2],C~s;0=α~s;01+α~s;1J~3J~5J~32[1(1+α~s;1J~3)1/2]2.\displaystyle\tilde{C}_{s;2}=\tilde{J}^{-1}_{3}\left[1-\left(1+\tilde{\alpha}_{s;1}\tilde{J}_{3}\right)^{-1/2}\right],\ \tilde{C}_{s;0}=\frac{\tilde{\alpha}_{s;0}}{1+\tilde{\alpha}_{s;1}\tilde{J}_{3}}-\tilde{J}_{5}\tilde{J}^{-2}_{3}\left[1-\left(1+\tilde{\alpha}_{s;1}\tilde{J}_{3}\right)^{-1/2}\right]^{2}. (26)

Then, with the help of Eqs.(46) and (51), all the seemingly pFp_{F}-dependence cancel out and reproduce the results in Eqs.(24) and (25), see C. Going down to the leading order, the solution of Cs;0C_{s;0} would jump to the well-known KSW running as J0J_{0} is mixed with Cs;0C_{s;0} and hence runs, Cs;0=αs;01+αs;0J0(μ){C}_{s;0}=\frac{\alpha_{s;0}}{1+\alpha_{s;0}J_{0}(\mu)}, a very accidental situation that is in sheer contrast to all the higher orders’ situation[6].

The foregoing study of the S01{}^{1}S_{0} channel at 𝒪(Q2)\mathcal{O}(Q^{2}) can be the guiding example for higher channels and higher orders. As an example, the uncoupled PP channels will be explored in D and E.

3.2 ’Effective’ density-dependent couplings

Before leaving this section, we note in this subsection that the density-dependent ratios [α~L;i][\tilde{\alpha}_{L;i}] actually serve as ’effective’ couplings in the on-shell GG matrices in LL channel, whose dependence upon density is theoretically physical. Bringing in the values of the ratios [αL;i][{\alpha}_{L;i}] that could be reexpressed in terms of ERE parameters or other physical inputs, one could acquire the physical density-dependence of such (on-shell) ’effective’ couplings. Let us illustrate such dependence with the S01{}^{1}S_{0} channel at order 𝒪(Q2)\mathcal{O}(Q^{2}), for the purpose of comparison with Ref.[10].

To this end, we define the ’effective’ density-dependent couplings of S01{}^{1}S_{0} channel as below (C.f.B):

C~s;0(eff)(pF)α~s;0=αs;0+σs;22κ5(1σs;2κ3)2,C~s;2(eff)(pF)12α~s;1=αs;0σs;22κ32(1σs;2κ3)2,\displaystyle\tilde{C}^{(\texttt{\tiny eff})}_{s;0}(p_{F})\equiv\tilde{\alpha}_{s;0}=\frac{\alpha_{s;0}+\sigma^{2}_{s;2}\kappa_{5}}{\left(1-\sigma_{s;2}\kappa_{3}\right)^{2}},\quad\tilde{C}^{(\texttt{\tiny eff})}_{s;2}(p_{F})\equiv\frac{1}{2}\tilde{\alpha}_{s;1}=\frac{\alpha_{s;0}-\sigma^{2}_{s;2}\kappa_{3}}{2\left(1-\sigma_{s;2}\kappa_{3}\right)^{2}}, (27)

with which we could write

1G(p;pF)=1C~s;0(eff)(pF)+2C~s;2(eff)(pF)p2+~0.\displaystyle\frac{1}{G(p;p_{F})}=\frac{1}{\tilde{C}^{(\texttt{\tiny eff})}_{s;0}(p_{F})+2\tilde{C}^{(\texttt{\tiny eff})}_{s;2}(p_{F})p^{2}}+\tilde{\mathcal{I}}_{0}. (28)

Here, we note in passing that as the dimensionless factor σs;2κ30.21pF3/Λπ̸3\sigma_{s;2}\kappa_{3}\sim 0.21{p^{3}_{F}}/\Lambda^{3}_{\not\pi} is small after taking into account the fact that pFp_{F} is no larger than Λπ̸\Lambda_{\not\pi} (upper scale of EFT(π\not\!\pi)) for our EFT approach to make sense, the formal singularity in the ’effective’ couplings due to (1σs;2κ3)2\left(1-\sigma_{s;2}\kappa_{3}\right)^{-2} does not materialize within the realm of EFT(π)\not\!\pi), making their pFp_{F}-dependence actually a mild one. Therefore, the dominating influence of density background comes from the ’physical’ parameter ~0=J0+MN4π2(plnpF+ppFp2pF)\tilde{\mathcal{I}}_{0}=J_{0}+\frac{M_{N}}{4\pi^{2}}\left(p\ln\frac{p_{F}+p}{p_{F}-p}-2p_{F}\right) for ppFp\leq p_{F}. Actually, when pFp_{F} is around Λπ̸\Lambda_{\not\pi}, G(p;pF)G(p;p_{F}) is still regular and exclusively controlled by ~0\tilde{\mathcal{I}}_{0}: 1/G(p;pF=Λπ̸)=~01/G(p;p_{F}=\Lambda_{\not\pi})=\tilde{\mathcal{I}}_{0}, another merit in using the closed form of GG matrix.

3.3 Power Counting

In this subsection, we describe the power counting involved in the GG matrix, namely the scaling laws for the couplings, parameters from integrals and the renormalization group invariant ratios.

In our works[4, 5, 6, 8, 9], a natural scenario of EFT have been explored and tested in order to be able to describe unnaturally large S01{}^{1}S_{0} scattering length with closed-form TT matrix. We have demonstrated that with a large renormalization group invariant J0J_{0}, the following simple rules of power counting could realize the large S01{}^{1}S_{0} scattering length that incorporates naturally sized couplings:

CL;2i4πMNΛπ̸2i+1,i=0,1,2,;J0MNΛπ̸4πCs;01,J2l+1MNQ2l+14π,l=1,2,,\displaystyle{C}_{L;2i}\sim\frac{4\pi}{M_{N}\Lambda^{2i+1}_{\not\pi}},\ i=0,1,2,\cdots;\ {J}_{0}\sim\frac{M_{N}\Lambda_{\not\pi}}{4\pi}\sim{C}^{-1}_{s;0},\ {J}_{2l+1}\sim\frac{M_{N}Q^{2l+1}}{4\pi},\ l=1,2,\cdots, (29)

with QμϵΛπ̸Q\sim\mu\sim\epsilon\Lambda_{\not\pi}. For pFp_{F}, we note that Fermi momentum is actually an external scale for EFT that only enter the game via loop integrals to represent the many-body environment provided by medium. Thus due to their entrance through the EFT integrals, we can count it as either pFΛπ̸p_{F}\sim\Lambda_{\not\pi} or pFϵΛπ̸p_{F}\sim\epsilon\Lambda_{\not\pi}, depending on practical issues.

Then we have the following scaling laws for the renormalization group invariants

αL;iα~L;iη4πMNΛπ̸2i+1ηCL;2i,βL;iβ~L;i1Λπ̸2i,σL;2iCL;2i,i=0,1,2,\displaystyle\alpha_{L;i}\sim\tilde{\alpha}_{L;i}\sim\eta\frac{4\pi}{M_{N}\Lambda^{2i+1}_{\not\pi}}\sim\eta{C}_{L;2i},\ \beta_{L;i}\sim\tilde{\beta}_{L;i}\sim\frac{1}{\Lambda^{2i}_{\not\pi}},\ \sigma_{L;2i}\sim{C}_{L;2i},\ i=0,1,2,\cdots (30)

where η=1\eta=1 for diagonal couplings and η=2\eta=2 for off-diagonal couplings. Usually, ϵ1/4\epsilon\sim 1/4 for realistic situation, see refs.[5, 6, 8, 9] for details.

4 Energy per particle

It is known that an uncoupled partial wave (say S01{}^{1}S_{0}) GG matrix element contributes to ground state energy per particle for a system of AA nucleons with density ρ=gpF3/(6π2)\rho=gp^{3}_{F}/(6\pi^{2}) as below[10]

Eg.s.A=35pF22MN+g(g1)2ρF8d3P(2π)3d3p(2π)3G(p;pF),\displaystyle\frac{E_{g.s.}}{A}=\frac{3}{5}\frac{p^{2}_{F}}{2M_{N}}+\frac{g(g-1)}{2\rho}\int_{F}\frac{8d^{3}P}{(2\pi)^{3}}\frac{d^{3}p}{(2\pi)^{3}}G(p;p_{F}), (31)

with g=(2s+1)(2T+1)g=(2s+1)(2T+1) being the spin-isospin degeneracy and PP the average momentum of the incoming particles. In this report, the on-shell GG matrix will be partially fixed with ERE factors, the residual parameters like J0J_{0} and σs;2\sigma_{s;2} will be assigned with several choices to demonstrate their physical relevance. We also note in passing that the on-shell GG matrix becomes real once pp is below Fermi surface: ppF.p\leq p_{F}.

To fix the GG matrix in terms of ERE parameters as far as possible, we first putting that pF=0p_{F}=0 to go back to the TT matrix that is directly related to ERE as below

{1T}={1G(pF=0)}=M4πpcotδs(p)=M4π{1as+12re;sp2+k=2vkp2k}.\displaystyle\Re\left\{\frac{1}{T}\right\}=\Re\left\{\frac{1}{G(p_{F}=0)}\right\}=-\frac{M}{4\pi}p\cot\delta_{s}(p)=-\frac{M}{4\pi}\left\{-\frac{1}{a_{s}}+\frac{1}{2}r_{e;s}p^{2}+\sum_{k=2}^{\infty}{v}_{k}p^{2k}\right\}. (32)

Then we have at leading order a very simple form of GG

1as=4πMN(1Cs;0+J0):1G(p;pF)=MN4πasκ1+MNp4π2lnpF+p|pFp|.\displaystyle\frac{1}{a_{s}}=\frac{4\pi}{M_{N}}\left(\frac{1}{C_{s;0}}+J_{0}\right):\quad\frac{1}{G(p;p_{F})}=\frac{M_{N}}{4\pi{a}_{s}}-\kappa_{1}+\frac{M_{N}p}{4\pi^{2}}\ln\frac{p_{F}+p}{|p_{F}-p|}. (33)

Obviously, the on-shell GG matrix in S01{}^{1}S_{0} channel is totally determined by the scattering length apart from pp and pFp_{F} at leading order where J0J_{0} is a running scale, an accidental situation that actually furnaces the KSW scheme[6]. However, it is no loner true once one goes beyond the leading order of EFT truncation. At order 𝒪(Q2)\mathcal{O}(Q^{2}), we have a rather involved closed-form GG

1as=4πMN(1αs;0+J0),re;s=8πMNαs;1αs;02:\displaystyle\frac{1}{a_{s}}=\frac{4\pi}{M_{N}}\left(\frac{1}{\alpha_{s;0}}+J_{0}\right),\ r_{e;s}=\frac{8\pi}{M_{N}}\frac{\alpha_{s;1}}{\alpha^{2}_{s;0}}:
1G(p;pF)=(1σs;2κ3)2(MN4πasJ0)1+σs;22κ5+[MNre;s8π(MN4πasJ0)2σs;22κ3]p2+J0κ1+MNp4π2lnpF+p|pFp|.\displaystyle\frac{1}{G(p;p_{F})}=\frac{\left(1-\sigma_{s;2}\kappa_{3}\right)^{2}}{\left(\frac{M_{N}}{4\pi a_{s}}-J_{0}\right)^{-1}+\sigma_{s;2}^{2}\kappa_{5}+\left[\frac{M_{N}r_{e;s}}{8\pi}\left(\frac{M_{N}}{4\pi a_{s}}-J_{0}\right)^{-2}-\sigma_{s;2}^{2}\kappa_{3}\right]p^{2}}+J_{0}-\kappa_{1}+\frac{M_{N}p}{4\pi^{2}}\ln\frac{p_{F}+p}{|p_{F}-p|}. (34)

Here, the nontrivial dependence of GG matrix upon J0J_{0} and σ2\sigma_{2} besides ERE factors are evident.

With the GG matrix given above, we may then proceed in the following two routes: A). Taylor expand GG in terms of powers of p2p^{2} and then perform the integration analytically, hence forth called ’trimmed GG matrix’; B). Perform the integration numerically with the closed-form GG matrix.

A). First at leading order we have

G(p;pF)=4π2asMN(π2aspF)+𝒪(p2),\displaystyle{G(p;p_{F})}=\frac{4\pi^{2}{a}_{s}}{M_{N}(\pi-2a_{s}p_{F})}+\mathcal{O}(p^{2}), (35)

which again is totally fixed by scattering length. At order 𝒪(Q2)\mathcal{O}(Q^{2}), the GG matrix could not be totally fixed with ERE factors of the corresponding order due to the presence of J0J_{0} and σs;2\sigma_{s;2}. However, if we count pFp_{F} like pp also as QQ, then the terms like σs;2κ3\sigma_{s;2}\kappa_{3} and σs;22\sigma^{2}_{s;2} will be negligible and the nontrivial dependence upon J0J_{0} will also be suppressed up to 𝒪(p4,pF3)\mathcal{O}(p^{4},p^{3}_{F})

G(p;pF)=4π2asMN(π2aspF){1+πasπ2aspF(re;s22πpF)p2}+𝒪(p4,pF3).\displaystyle G(p;p_{F})=\frac{4\pi^{2}{a}_{s}}{M_{N}(\pi-2a_{s}p_{F})}\left\{1+\frac{\pi{a}_{s}}{\pi-2a_{s}p_{F}}\left(\frac{r_{e;s}}{2}-\frac{2}{\pi{p}_{F}}\right)p^{2}\right\}+\mathcal{O}(p^{4},p^{3}_{F}). (36)

The closed-form of on-shell GG, as listed above in Eq.(34), is definitely dependent upon the values of J0J_{0} and σs;2\sigma_{s;2}, whose physical relevance will be numerically demonstrated below.

Refer to captionRefer to caption
Figure 1: Energy per particle in S01{}^{1}S_{0} from the analytically ’trimmed GG matrix’ that retains scattering length asa_{s} only (dashed line), and that retains scattering length asa_{s} and effective range re;sr_{e;s} (solid line).

Now the energy per particle of nuclear matter at leading order of EFT truncation reads

Eg.s.A=pF2MN[310+(g1)aspF3(π2aspF)+𝒪(pF3)],\displaystyle\frac{E_{g.s.}}{A}=\frac{p^{2}_{F}}{M_{N}}\left[\frac{3}{10}+\frac{(g-1)a_{s}p_{F}}{3(\pi-2a_{s}p_{F})}+\mathcal{O}(p^{3}_{F})\right], (37)

in agreement with ref.[12]. Beyond the leading order of EFT truncation, we have

Eg.s.A=pF22MN[35+2(g1)aspF3(π2aspF)+(g1)πas2pF25(π2aspF)2(rs;epF22π)+𝒪(pF5)].\displaystyle\frac{E_{g.s.}}{A}=\frac{p^{2}_{F}}{2M_{N}}\left[\frac{3}{5}+\frac{2(g-1)a_{s}p_{F}}{3(\pi-2a_{s}p_{F})}+\frac{(g-1)\pi a^{2}_{s}p^{2}_{F}}{5(\pi-2a_{s}p_{F})^{2}}\left(\frac{r_{s;e}p_{F}}{2}-\frac{2}{\pi}\right)+\mathcal{O}(p^{5}_{F})\right]. (38)

The results given in Eq.(37) and Eq.(38) are plotted in Fig.1 in a wider range of pFp_{F}.

Evidently, the denominator 1/(π2aspF)1/(\pi-2a_{s}p_{F}) makes the formulae given by Eq.(37) and Eq.(38) better behaved than the perturbative one that is only valid when pF<π2as13.1p_{F}<\frac{\pi}{2a_{s}}\approx 13.1 MeV, a rather narrow range because of the large scattering length asa_{s}, which is in support of employing nonperturbative framework to deal with nuclear matter within pionless EFT. The saturation behavior for symmetric nuclear matter (g=4g=4) tends to show up only after the effective range is included (c.f. Eq.(38)), in other words, the leading order NNNN interaction, could not harbor the saturation phenomenon.

B). To proceed in the second route, we will parametrize σs;2\sigma_{s;2} in terms of αs;1\alpha_{s;1} and xx as σs;2=αs;12+x\sigma_{s;2}=\frac{\alpha_{s;1}}{2+x} with xϵx\sim\epsilon due to the relation of (24) and the power counting given in Sec. 4. We will demonstrate with the choices that ΛJ0=4πMNJ0\Lambda_{J_{0}}=\frac{4\pi}{M_{N}}J_{0}: 138MeV (Λπ̸\sim\Lambda_{\not\pi}) and 35 MeV (ϵΛπ̸\sim\epsilon\Lambda_{\not\pi}) and x=±0.2x=\pm 0.2. To show our main points, we simply work with the ERE data from proton-neutron S01{}^{1}S_{0} scattering, which could be seen as a ’realistic’ situation of exact isospin symmetry, i.e., a world where the electromagnetic interaction is completely turned off.

It is obvious from the curves in Fig.2 and Fig.3 that the numerical results obtained with closed-form GG conform to the approximate analytical results described by Eq.(38) in the zero-density end, and that the value of J0J_{0} matters a lot in the closed-form GG as a smaller value of J0J_{0} will yield more pathological energy curves against pFp_{F}, i.e., a pole like behaviour around pF=0.659p_{F}=0.659fm-1 for the ΛJ0=35\Lambda_{J_{0}}=35MeV and x=0.2x=0.2 case (around pF=0.629p_{F}=0.629fm-1 for ΛJ0=35\Lambda_{J_{0}}=35MeV and x=0.2x=-0.2 case), namely, it is a physical parameter rather than a running parameter. The reason goes as below: In pionless EFT, the typical scale of energy per particle should be no greater than εΛπ̸2/MN20\varepsilon\equiv\Lambda_{\not\pi}^{2}/M_{N}\approx 20MeV, thus the foregoing pole-like behavior is unacceptable. However, such violation merely comes from the choice ΛJ0=35\Lambda_{J_{0}}=35MeV, while the choice ΛJ0=138\Lambda_{J_{0}}=138MeV is free of such violation even with pF0.9p_{F}\sim 0.9fm-1 as is evident in Fig.2 and Fig.3. Thus, the pole-like behavior demonstrated in Fig. 2 and 3 simply expresses that J0J_{0} is a physical rather than an ordinary running parameter in the closed-form GG matrix of pionless EFT. Moreover, different choices of J0J_{0} yield more consequential results, for example, a smaller J0J_{0} would magnificently narrow down the distribution of poles in GG against density and hence reduce the ’space’ of the formation of ’Cooper pair’ of nucleons in nuclear matter, which will be discussed in next section.

Refer to captionRefer to captionRefer to captionRefer to caption
Figure 2: Energy per particle of neutron matter (S01{}^{1}S_{0}): dashed lines are the analytical results (solid line in the left panel of Fig.1), i.e., calculated with the ’trimmed GG matrix’ retaining asa_{s} and re;sr_{e;s}, solid lines with open circles are the numerical results from direct integration with GG matrix without any further analytical treatment.
Refer to captionRefer to captionRefer to captionRefer to caption
Figure 3: Energy per particle of nuclear matter (S01{}^{1}S_{0}): dashed lines are the analytical results (solid line in the right panel of Fig.1), i.e., calculated with the ’trimmed GG matrix’ retaining asa_{s} and re;sr_{e;s}, solid lines with open circles are the numerical results from direct integration with GG matrix without any further analytical treatment.

5 Pairing and poles in GG matrix

It is well known that nucleons tend to pair up as ’Cooper pairs’ in nuclei or nuclear matter. As GG matrix is real as long as the on-shell momentum is below Fermi surface, here we try to establish the pairing of nucleons by examining the existence of real poles of GG matrix (in an attractive channel) in terms of the on-shell momentum of the incoming nucleon[15, 16, 17] just below a given Fermi momentum pFp_{F}, instead of trying to establish Cooper paring using BCS solution with EFT interactions[18]. Again, we will pay more attention to the influences of J0J_{0} and xx on the poles’ existence and distribution.

Refer to captionRefer to captionRefer to captionRefer to caption
Figure 4: Pole distributions of GG matrix below Fermi surface with difference choices of xx and ΛJ0\Lambda_{J_{0}}.
Refer to captionRefer to captionRefer to captionRefer to caption
Figure 5: The shape of ’differences’ versus pFp_{F} with difference choices of xx and ΛJ0\Lambda_{J_{0}}.

To proceed, we seek for the solutions to the equation 1G(kp;pF)=0\frac{1}{G(k_{p};p_{F})}=0 in terms of kpk_{p} with a given pFp_{F}. At order 𝒪(Q2)\mathcal{O}(Q^{2}), the explicit form of this equation reads

1α~s;0(pF)+α~s;1(pF)kp2+J0MNpF2π2+MNkp4π2lnpF+kppFkp=0,\displaystyle\frac{1}{\tilde{\alpha}_{s;0}(p_{F})+\tilde{\alpha}_{s;1}(p_{F})k^{2}_{p}}+J_{0}-\frac{M_{N}p_{F}}{2\pi^{2}}+\frac{M_{N}k_{p}}{4\pi^{2}}\ln\frac{p_{F}+k_{p}}{p_{F}-k_{p}}=0, (39)

with the density- or pFp_{F}-dependent α~s;0,1\tilde{\alpha}_{s;0,1} given in the B. Eq.(39) is solved numerically with choices ΛJ0=138\Lambda_{J_{0}}=138MeV, 3535MeV and x=±0.2x=\pm 0.2. The real pole kpk_{p} just below pFp_{F}, i.e., near Fermi surface, and the ’difference’ δpolepFkp\delta_{pole}\equiv{p_{F}-k_{p}} are functions of pFp_{F} and plotted in Fig.4 and Fig.5, respectively. It is obvious that J0J_{0} and σs;2\sigma_{s;2} do affect the detailed behaviors and even the existence of pairing in S01{}^{1}S_{0} channel for a given pFp_{F}, and a smaller ΛJ0\Lambda_{J_{0}} leads to a narrower window in pFp_{F} allowing for a real near-Fermi-surface pole.

In particular, it can be shown that the pathological ’pole’ behavior in energy curves exhibited in Fig.2 and Fig.3 stems from a pole term of second order in GG with ΛJ0=35\Lambda_{J_{0}}=35MeV: G(kα±)2G\propto(k-\alpha_{\pm})^{-2}, where α+0.3996\alpha_{+}\approx 0.3996fm-1 for x=0.2x=0.2 and pF=0.6588p_{F}=0.6588fm-1, α0.3783\alpha_{-}\approx 0.3783fm-1 for x=0.2x=-0.2 and pF=0.6289p_{F}=0.6289fm-1. In Fig.4 this is reflected by the fact that the pole solution disappears after pFp_{F}\approx0.4fm-1 but reappears as a second-order pole that immediately bifurcates into two first-order poles around pF0.6588(0.6289)p_{F}\approx 0.6588(0.6289)fm-1. As these ’reappearing’ poles lie ’far’ below the Fermi surface, they could not be identified as the ’Cooper pairs’. In our view, such pathological ’form’ of GG implies that ΛJ0=35\Lambda_{J_{0}}=35MeV is not a reasonable or physical choice for the pionless EFT description of nuclear matter, as in any many body system constituted by low energy nucleons the single particle energy value could not fluctuate from \infty to -\infty around a pFp_{F} well below Λπ̸0.699\Lambda_{\not\pi}\approx 0.699fm-1. By contrast, the GG with choice ΛJ0=138\Lambda_{J_{0}}=138MeV does not suffer from such pathological behavior as long as pFp_{F} is less then 1.42fm-1, a value about twice of the upper scale of pionless EFT. We should note that for ΛJ0=138\Lambda_{J_{0}}=138MeV the real near-Fermi-surface pole ceases to exist for about pF>0.68p_{F}>0.68fm-1, a number quite close to the upper scale of EFT(π\not\!\!\pi): Λπ̸0.699\Lambda_{\not\pi}\approx 0.699fm-1, again in contrast to the ΛJ0=35\Lambda_{J_{0}}=35MeV case where the corresponding value of pFp_{F} is less than 0.40.4fm-1. The values of δpole\delta_{pole} in MeV are tabulated in Table 1 for ΛJ0=138\Lambda_{J_{0}}=138MeV, from which we see that they do take the typical values of the pairing gap in nuclear matter: around 2 MeV.

Table 1: δpole\delta_{pole} (MeV) versus pFp_{F} (fm-1) in S01{}^{1}S_{0} at 𝒪(Q2)\mathcal{O}(Q^{2}) with ΛJ0=138\Lambda_{J_{0}}=138MeV
pFp_{F} 0.10.1 0.20.2 0.30.3 0.40.4 0.50.5 0.60.6
δpole(pF;x=+0.2)\delta_{pole}(p_{F};x=+0.2) 0.81 2.07 2.47 1.91 0.79 0.07
δpole(pF;x=0.2)\delta_{pole}(p_{F};x=-0.2) 0.81 2.09 2.54 2.03 0.90 0.09

Note that the shape of ’difference’ δpole\delta_{pole} as a function of pFp_{F} bears a strong resemblance to the gap function Δ(pF)\Delta(p_{F}) determined from NNNN interactions[19, 20, 21, 22], suggesting that there should be a correspondence between δpole\delta_{pole} and Δ(pF)\Delta(p_{F}). From our presentation, it is obvious that for each given value of pFp_{F}, there is a unique value δpole\delta_{pole} (provided that J0J_{0} and σs;2\sigma_{s;2} are physically determined). Then the correspondence between Δ\Delta (also uniquely defined for a give npFp_{F}) and δpole\delta_{pole} should also be unique for a given pFp_{F}, thus, δpole\delta_{pole} could be seen as another measure of the gap function Δ=g(pF)\Delta=g(p_{F}). Formally, as long as Δ=g(pF)\Delta=g(p_{F}) and δpole=g~(pF;J0,σs;2)\delta_{pole}=\tilde{g}(p_{F};J_{0},\sigma_{s;2}) are single-valued functions, we have

δpole=g~(g1(Δ);J0,σs;2)=f(Δ;J0,σs;2).\displaystyle\delta_{pole}=\tilde{g}\left(g^{-1}(\Delta);J_{0},\sigma_{s;2}\right)=f(\Delta;J_{0},\sigma_{s;2}). (40)

Of course, for such correspondence to be valid, J0J_{0} and σs;2\sigma_{s;2} must be determined via certain plausible means, which is left as an open task. We hope what we demonstrated above could help to convince the community that J0J_{0} and σs;2\sigma_{s;2} (and the like) should be taken as physical parameters to be determined rather than as running ones, at least for closed-form objects like GG or TT matrices. We have at present no direct clue for a convenient determination of such physical parameters, further exploration is needed.

6 Discussions and Summary

Now it is time for some remarks: From our presentation, it is obvious that the nonperturbative scenario of renormalization of pionless EFT for NNNN scattering could be readily carried over to nuclear matter or many-body context, keeping the power counting depicted for few-body context intact. The Fermi momentum pFp_{F} or the density background sets an external scale that could be counted either as a typical scale or an upper scale for the EFT description to make sense, which imposes no obstacle in nonperturbative context. The running couplings remain density-independent, hence conceptually more consistent with the fact that the EFT couplings are originally defined in vacuum context, but the medium environment does provide additional ’physical’ inputs of information or outer constraints for the calibration of the running couplings and related quantities. Again, as in the zero-density case[4, 5, 6], the lower order EFT couplings’ renormalization are affected by higher couplings that characterize shorter distance interactions, not the reverse, which may be conjectured to be a general scenario of renormalization of EFT in nonperturbative contexts.

Using the closed-form GG matrix obtained, the energy per particle is computed for both neutron matter and symmetric nuclear matter, demonstrating the physical relevance of J0J_{0} and σs;2\sigma_{s;2} in reasonable description of physical issues, like the location of saturation in terms of density. Their relevance is also illustrated in the paring phenomenon exhibited via the poles of the GG matrix as a function of on-shell momentum with a given pFp_{F}. It is also worth mentioning that both the analytical form of energy per particle obtained within certain plausible approximation and the numerical one without that approximation exhibit better behaviors than the pure perturbative ones that is valid only within a very small window due to the large scattering length.

In summary, we presented the closed-form GG matrix in S01{}^{1}S_{0} channel obtained from BG equation using pionless EFT. Our experience here tells us that the nonperturbative solutions in our formulation are still tractable and trustworthy in many-body context, at least for nuclear matter. The GG matrix obtained is also applied to study some physical issues like energy per particle and pairing for both neutron and symmetric nuclear matter to demonstrate the physical relevance of certain parameters like J0J_{0} and σs;2\sigma_{s;2}, along with the better behaviors derived from the nonperturbative formulation of GG matrix.

Acknowledgement

The authors are grateful to Hong-Xing Qi and Guo-Tu Shen for their very kind helps on numerical treatment. We are grateful to the anonymous referees for their reports that greatly improved the manuscript. This project is supported by the National Natural Science Foundation of China under Grant No. 11435005 and by the Ministry of Education of China.

Appendix A Integrals

The integrals involved in this report are parametrized and defined as below (E+E+iϵ,pMNEE^{+}\equiv E+i\epsilon,\ p\equiv\sqrt{M_{N}E})

~2nθF(k)d3k(2π)3k2nE+k2/MN=~0p2n+l=1nJ~2l+1p2(nl),\displaystyle\tilde{\mathcal{I}}_{2n}\equiv\int\theta_{F}(k)\frac{d^{3}k}{(2\pi)^{3}}\frac{k^{2n}}{E^{+}-k^{2}/M_{N}}=-\tilde{\mathcal{I}}_{0}p^{2n}+\sum_{l=1}^{n}\tilde{J}_{2l+1}p^{2(n-l)}, (41)
~0=J~0+iθF(p)MN4πp+MN4π2plnpF+p|pFp|=pFk2dk2π21k2/MNE+,\displaystyle\tilde{\mathcal{I}}_{0}=\tilde{J}_{0}+i\theta_{F}(p)\frac{M_{N}}{4\pi}p+\frac{M_{N}}{4\pi^{2}}p\ln\frac{p_{F}+p}{|p_{F}-p|}=\int^{\infty}_{p_{F}}\frac{k^{2}dk}{2\pi^{2}}\frac{1}{k^{2}/M_{N}-E^{+}}, (42)
J~0MNpFdk2π2=J0κ1,J~2n+1MNpFk2ndk2π2=J2n+1+κ2n+1,(n1),\displaystyle\tilde{J}_{0}\equiv M_{N}\int^{\infty}_{p_{F}}\frac{dk}{2\pi^{2}}=J_{0}-\kappa_{1},\quad\tilde{J}_{2n+1}\equiv-M_{N}\int^{\infty}_{p_{F}}\frac{k^{2n}dk}{2\pi^{2}}={J}_{2n+1}+\kappa_{2n+1},\ (n\geq 1), (43)
J0MN0dk2π2,J2n+1MN0k2ndk2π2,κ2n+1MN0pFk2ndk2π2=MN2π2pF2n+12n+1,(n1),\displaystyle{J}_{0}\equiv M_{N}\int^{\infty}_{0}\frac{dk}{2\pi^{2}},\ {J}_{2n+1}\equiv-M_{N}\int^{\infty}_{0}\frac{k^{2n}dk}{2\pi^{2}},\ \kappa_{2n+1}\equiv{M}_{N}\int^{p_{F}}_{0}\frac{k^{2n}dk}{2\pi^{2}}=\frac{M_{N}}{2\pi^{2}}\frac{p^{2n+1}_{F}}{2n+1},\ (n\geq 1), (44)
θF(x)θ(xpF),\displaystyle\theta_{F}(x)\equiv\theta(x-p_{F}), (45)

where J0J_{0} and J2n+1J_{2n+1} are prescription dependent before imposing any constraints.

In dimensional schemes, we should have J2n+1=0J_{2n+1}=0 and J~2n+10\tilde{J}_{2n+1}\neq 0 since J~2n+1=J2n+1+κ2n+1\tilde{J}_{2n+1}=J_{2n+1}+\kappa_{2n+1} that is, the definite piece κ2n+1\kappa_{2n+1} should be kept intact. In the implementation of KSW scheme in GG matrix[10], this definite piece is totally removed. In a sense, such implementation of PDS in medium background is questionable.

Appendix B Renormalization group invariants of S01{}^{1}S_{0} at order 𝒪(Q2)\mathcal{O}(Q^{2})

First, let us recast the ratios α~p;0,1\tilde{\alpha}_{p;0,1} into the following forms

α~s;0=αs;0+σs;22κ5(1σs;2κ3)2,α~s;1=αs;1σs;22κ3(1σs;2κ3)2,\displaystyle\tilde{\alpha}_{s;0}=\frac{\alpha_{s;0}+\sigma_{s;2}^{2}\kappa_{5}}{\left(1-\sigma_{s;2}\kappa_{3}\right)^{2}},\ \tilde{\alpha}_{s;1}=\frac{\alpha_{s;1}-\sigma_{s;2}^{2}\kappa_{3}}{\left(1-\sigma_{s;2}\kappa_{3}\right)^{2}}, (46)
σs;2Cs;21Cs;2J3.\displaystyle\sigma_{s;2}\equiv\frac{C_{s;2}}{1-C_{s;2}J_{3}}. (47)

Since [α~p;0,1][\tilde{\alpha}_{p;0,1}] and [αs;0,1][\alpha_{s;0,1}] are physical parameters we have:

μdμ{α~s;0,α~s;1}=0,μdμ{αs;0,αs;1}=0,\displaystyle\mu{d}_{\mu}\left\{\tilde{\alpha}_{s;0},\tilde{\alpha}_{s;1}\right\}=0,\ \mu{d}_{\mu}\left\{\alpha_{s;0},\alpha_{s;1}\right\}=0, (48)

where μ\mu denotes a generic running scale possibly involved in any of the arguments of [α~p;0,α~p;1][\tilde{\alpha}_{p;0},\tilde{\alpha}_{p;1}] as formal functions of couplings and [J][J_{\cdots}]. Then from Eq.(46) we have

(1σs;2κ3)3(αs;0+σs;2κ31κ5)μdμσs;2=0,(1σs;2κ3)3(αs;1σs;2)μdμσs;2=0.\displaystyle\left(1-\sigma_{s;2}\kappa_{3}\right)^{-3}\left(\alpha_{s;0}+\sigma_{s;2}\kappa_{3}^{-1}\kappa_{5}\right)\mu{d}_{\mu}\sigma_{s;2}=0,\ \left(1-\sigma_{s;2}\kappa_{3}\right)^{-3}\left(\alpha_{s;1}-\sigma_{s;2}\right)\mu{d}_{\mu}\sigma_{s;2}=0. (49)

The only possibility of the two equations will be that

μdμσs;2=0.\displaystyle\mu{d}_{\mu}\sigma_{s;2}=0. (50)

It is a formal way of saying that Eqs.(46) forbid the ’running’ of σs;2\sigma_{s;2}, a constraint due to the presence of density. This could also be derived from the renormalization of the off-shell closed-from TT matrix as mentioned in Sec.3.1.

Apart from σs;2\sigma_{s;2}, J3J_{3} is also renormalization group invariant due to the identity

αs;12σs;2σs;22J3=0\displaystyle\alpha_{s;1}-2\sigma_{s;2}-\sigma_{s;2}^{2}J_{3}=0 (51)

that could be seen by combining the definitions in Eq.(23) and Eq.(47).

Appendix C Cancelation of pFp_{F}-dependence in the running couplings of S01{}^{1}S_{0} channel

To proceed, we employ Eqs.(46), Eq.(A.3) and Eq.(51) to simplify the formal solutions in Eq.(26)

C~s;2\displaystyle\tilde{C}_{s;2} =\displaystyle= σs;22αs;12σs;2+σs;22κ3(111+αs;1σs;22κ3(1σs;2κ3)2αs;12σs;2+σs;22κ3σs;22)\displaystyle\frac{\sigma_{s;2}^{2}}{\alpha_{s;1}-2\sigma_{s;2}+\sigma_{s;2}^{2}\kappa_{3}}\left(1-\frac{1}{\sqrt{1+\frac{\alpha_{s;1}-\sigma_{s;2}^{2}\kappa_{3}}{(1-\sigma_{s;2}\kappa_{3})^{2}}\cdot\frac{\alpha_{s;1}-2\sigma_{s;2}+\sigma_{s;2}^{2}\kappa_{3}}{\sigma_{s;2}^{2}}}}\right) (52)
=\displaystyle= σs;22αs;12σs;2+σs;22κ3(1σs;2σs;22κ3αs;1σs;2)=σs;22αs;1σs;2=Cs;2,\displaystyle\frac{\sigma_{s;2}^{2}}{\alpha_{s;1}-2\sigma_{s;2}+\sigma_{s;2}^{2}\kappa_{3}}\left(1-\frac{\sigma_{s;2}-\sigma_{s;2}^{2}\kappa_{3}}{\alpha_{s;1}-\sigma_{s;2}}\right)=\frac{\sigma_{s;2}^{2}}{\alpha_{s;1}-\sigma_{s;2}}=C_{s;2},

where we have chosen the ++ root in order to reproduce the vacuum case in the limit pF0p_{F}\rightarrow 0. Similarly, we have

C~s;0\displaystyle\tilde{C}_{s;0} =\displaystyle= αs;0+σs;22κ5(1σs;2κ3)2(σs;2σs;22κ3αs;1σs;2)2(J5(μ)+κ5)σs;24(αs;12σs;2+σs;22κ)2(111+αs;1σs;22κ3(1σs;2κ3)2αs;12σs;2+σs;22κ3σs;22)2\displaystyle\frac{\alpha_{s;0}+\sigma_{s;2}^{2}\kappa_{5}}{(1-\sigma_{s;2}\kappa_{3})^{2}}\left(\frac{\sigma_{s;2}-\sigma_{s;2}^{2}\kappa_{3}}{\alpha_{s;1}-\sigma_{s;2}}\right)^{2}-\frac{(J_{5}(\mu)+\kappa_{5})\sigma_{s;2}^{4}}{(\alpha_{s;1}-2\sigma_{s;2}+\sigma_{s;2}^{2}\kappa)^{2}}\left(1-\frac{1}{\sqrt{1+\frac{\alpha_{s;1}-\sigma_{s;2}^{2}\kappa_{3}}{(1-\sigma_{s;2}\kappa_{3})^{2}}\cdot\frac{\alpha_{s;1}-2\sigma_{s;2}+\sigma_{s;2}^{2}\kappa_{3}}{\sigma_{s;2}^{2}}}}\right)^{2} (53)
=\displaystyle= αs;0+σs;22κ5(αs;1σs;2)2σs;22J5(μ)+κ5(αs;1σs;2)2σs;24=αs;0σs;22J5(μ)(αs;1σs;2)2σs;22=Cs;0.\displaystyle\frac{\alpha_{s;0}+\sigma_{s;2}^{2}\kappa_{5}}{(\alpha_{s;1}-\sigma_{s;2})^{2}}\sigma_{s;2}^{2}-\frac{J_{5}(\mu)+\kappa_{5}}{(\alpha_{s;1}-\sigma_{s;2})^{2}}\sigma_{s;2}^{4}=\frac{\alpha_{s;0}-\sigma_{s;2}^{2}J_{5}(\mu)}{(\alpha_{s;1}-\sigma_{s;2})^{2}}\sigma_{s;2}^{2}=C_{s;0}.

The rationale for this property is that since the EFT couplings are originated from short-distance dynamics, then their renormalization could be only affected by the processes in vacuum and hence independent of medium environment.

Appendix D GG matrix and running couplings in uncoupled PP channels

The leading order (𝒪(Q2)\mathcal{O}(Q^{2})) uncoupled PP channel GG matrix is also quite simple:

1GP(p;pF)=1α~P;0p2+~0,α~P;0CP;21CP;2J~3=αP;01αP;0κ3,αP;0CP;21CP:2J3.\displaystyle\frac{1}{G_{P}(p;p_{F})}=\frac{1}{\tilde{\alpha}_{P;0}p^{2}}+\tilde{\mathcal{I}}_{0},\quad\tilde{\alpha}_{P;0}\equiv\frac{C_{P;2}}{1-C_{P;2}\tilde{J}_{3}}=\frac{\alpha_{P;0}}{1-\alpha_{P;0}\kappa_{3}},\ \alpha_{P;0}\equiv\frac{C_{P;2}}{1-C_{P:2}{J}_{3}}. (54)

Simple as it is, here we have two renormalization group invariants, J0J_{0} and αP;0{\alpha}_{P;0} from which we have

CP;2=αP;01+αP;0J3(μ).\displaystyle{C}_{P;2}=\frac{\alpha_{P;0}}{1+\alpha_{P;0}J_{3}(\mu)}. (55)

At order 𝒪(Q4)\mathcal{O}(Q^{4}), the PP channel GG matrix reads

1G(p;pF)=N~P;0+N~P;1p2D~P;0p2+D~P;1p4+~0,\displaystyle\frac{1}{G(p;p_{F})}=\frac{\tilde{N}_{P;0}+\tilde{N}_{P;1}p^{2}}{\tilde{D}_{P;0}p^{2}+\tilde{D}_{P;1}p^{4}}+\tilde{\mathcal{I}}_{0}, (56)
N~P;0=(1CP;4J~5)2CP;2J~3CP;42J~3J~7,N~P;1=CP;42J~3J~52CP;4J~3,\displaystyle\tilde{N}_{P;0}=(1-C_{P;4}\tilde{J}_{5})^{2}-C_{P;2}\tilde{J}_{3}-C_{P;4}^{2}\tilde{J}_{3}\tilde{J}_{7},\ \tilde{N}_{P;1}=C_{P;4}^{2}\tilde{J}_{3}\tilde{J}_{5}-2C_{P;4}\tilde{J}_{3}, (57)
D~P;0=CP;2+CP;42J~7,D~P;1=2CP;4CP;42J~5.\displaystyle\tilde{D}_{P;0}=C_{P;2}+C_{P;4}^{2}\tilde{J}_{7},\ \tilde{D}_{P;1}=2C_{P;4}-C_{P;4}^{2}\tilde{J}_{5}. (58)

Obviously, the following ratios must be renormalization group invariant,

α~P;0N~P;01D~P;0,α~P;1N~P;01D~P;1,β~P;1N~P;01N~P;1.\displaystyle\tilde{\alpha}_{P;0}\equiv\tilde{N}_{P;0}^{-1}\tilde{D}_{P;0},\ \tilde{\alpha}_{P;1}\equiv\tilde{N}_{P;0}^{-1}\tilde{D}_{P;1},\ \tilde{\beta}_{P;1}\equiv\tilde{N}_{P;0}^{-1}\tilde{N}_{P;1}. (59)

Then we can obtain the running couplings simply by making the replacement [JJ~][J_{\cdots}\rightarrow\tilde{J}_{\cdots}] from that given in Ref.[6]

CP;4=J~51{11α~P;1J~51+α~P;0J~3+α~P;1J~5},CP;2=α~P;01+α~P;0J~3+α~P;1J~5C~P;42J~7.\displaystyle{C}_{P;4}=\tilde{J}_{5}^{-1}\left\{1-\sqrt{1-\frac{\tilde{\alpha}_{P;1}\tilde{J}_{5}}{1+\tilde{\alpha}_{P;0}\tilde{J}_{3}+\tilde{\alpha}_{P;1}\tilde{J}_{5}}}\right\},\ {C}_{P;2}=\frac{\tilde{\alpha}_{P;0}}{1+\tilde{\alpha}_{P;0}\tilde{J}_{3}+\tilde{\alpha}_{P;1}\tilde{J}_{5}}-\tilde{C}_{P;4}^{2}\tilde{J}_{7}. (60)

Similar to the S01{}^{1}S_{0} case, the apparent density-dependence cancels out after plugging in the full contents of renormalization group invariance, resulting in the following density-independent running couplings

CP;4=σP;42αP10σP;4,CP;2=αP00σP;42J7(μ)(αP10σP;4)2σP;42,\displaystyle{C}_{P;4}=\frac{\sigma^{2}_{P;4}}{\alpha_{P10}-\sigma_{P;4}},\ C_{P;2}=\frac{\alpha_{P00}-\sigma^{2}_{P;4}J_{7}(\mu)}{(\alpha_{P10}-\sigma_{P;4})^{2}}\sigma_{P;4}^{2}, (61)

with

αP00D~P;0(pF=0)(1CP;4J5)2,αP10D~P;1(pF=0)(1CP;4J5)2,σP;4CP;41CP;4J5.\displaystyle\alpha_{P00}\equiv\frac{\tilde{D}_{P;0}(p_{F}=0)}{(1-C_{P;4}J_{5})^{2}},\ \alpha_{P10}\equiv\frac{\tilde{D}_{P;1}(p_{F}=0)}{(1-C_{P;4}J_{5})^{2}},\ \sigma_{P;4}\equiv\frac{C_{P;4}}{1-C_{P;4}J_{5}}. (62)

The renormalization group invariance of αP;00,αP;10\alpha_{P;00},\alpha_{P;10} and σP;4\sigma_{P;4} will be shown in E.

Appendix E Renormalization group invariants in the uncoupled PP channels

First, let us recast [α~P;i,i=0,1;β~P;1][\tilde{\alpha}_{P;i},\ i=0,1;\tilde{\beta}_{P;1}] into the following transparent form

α~P;0=αp00+σP;42κ7(1σP;4κ5)2J~3(αP00+σP;42κ7),α~P;1=αp10σP;42κ5(1σP;4κ5)2J~3(αP00+σP;42κ7).\displaystyle\tilde{\alpha}_{P;0}=\frac{\alpha_{p00}+\sigma^{2}_{P;4}\kappa_{7}}{(1-\sigma_{P;4}\kappa_{5})^{2}-\tilde{J}_{3}(\alpha_{P00}+\sigma^{2}_{P;4}\kappa_{7})},\ \tilde{\alpha}_{P;1}=\frac{\alpha_{p10}-\sigma^{2}_{P;4}\kappa_{5}}{(1-\sigma_{P;4}\kappa_{5})^{2}-\tilde{J}_{3}(\alpha_{P00}+\sigma^{2}_{P;4}\kappa_{7})}. (63)

Second, J3J_{3} is already renormalization group invariant due to the constraint β~P;1+J~3α~P;1=0\tilde{\beta}_{P;1}+\tilde{J}_{3}\tilde{\alpha}_{P;1}=0 which is ready to see from the expressions of N~P;1\tilde{N}_{P;1} and D~P;1\tilde{D}_{P;1} given above.

Now, consider μdμ{α~P;0,α~P;1}=0\mu{d}_{\mu}\{\tilde{\alpha}_{P;0},\tilde{\alpha}_{P;1}\}=0, or equivalently μdμ(α~P;01)=0,μdμ(α~P;1α~P;01)=0.\mu{d}_{\mu}\left(\tilde{\alpha}^{-1}_{P;0}\right)=0,\ \mu{d}_{\mu}\left(\tilde{\alpha}_{P;1}\tilde{\alpha}^{-1}_{P;0}\right)=0. Bringing in the detailed expressions of α~P;0,1\tilde{\alpha}_{P;0,1} listed in Eq.(63), we can find from μdμ(α~P;01)=0\mu{d}_{\mu}\left(\tilde{\alpha}^{-1}_{P;0}\right)=0 that

(κ5σP;41)μdμ(σP;42αP00)+2σP;42(σP;42αP00+κ7)μdμσP;4=0.\displaystyle\left(\kappa_{5}-\sigma^{-1}_{P;4}\right)\mu{d}_{\mu}\left(\sigma_{P;4}^{-2}\alpha_{P00}\right)+2\sigma_{P;4}^{-2}\left(\sigma_{P;4}^{-2}\alpha_{P00}+\kappa_{7}\right)\mu{d}_{\mu}\sigma_{P;4}=0. (64)

As terms of different powers of pFp_{F} must be independent of each other, we conclude that

μdμσP;4=0,μdμαP00=0.\displaystyle\mu{d}_{\mu}\sigma_{P;4}=0,\quad\mu{d}_{\mu}\alpha_{P00}=0. (65)

Then, from μdμ(α~P;1α~P;01)=0\mu{d}_{\mu}\left(\tilde{\alpha}_{P;1}\tilde{\alpha}^{-1}_{P;0}\right)=0, we have

μdμαP10=0.\displaystyle\mu{d}_{\mu}\alpha_{P10}=0. (66)

Just like J3J_{3} in Eq.(51), here J5J_{5} becomes ’physical’ due to similar reason:

αP102σP;4σP;42J5=0.\displaystyle\alpha_{P10}-2\sigma_{P;4}-\sigma^{2}_{P;4}{J}_{5}=0. (67)

References

  • [1] S.R. Beane, et al., arXiv: nucl-th/0008064.
  • [2] E. Epelbaum, H.-W. Hammer, Ulf-G. Meißner, Rev. Mod. Phys. 81, 1773 (2009).
  • [3] R. Machleidt, D.R. Entem, Phys. Reports 511, 1 (2011).
  • [4] J.-F. Yang, J.-H. Huang, Phys. Rev. C71, 034001, 069901(E) (2005).
  • [5] J.-F. Yang, Annals Phys. (N.Y.) 339, 160 (2013).
  • [6] J.-J. Lü, J.-F. Yang, Int. J. Mod. Phys. E30, 2150026 (2021).
  • [7] D.B. Kaplan, M.J. Savage, M.B. Wise, Phys. Lett. B424, 390 (1998); Nucl. Phys. B534, 329 (1998).
  • [8] J.-F. Yang, Europhys. Lett. 85, 51003 (2009).
  • [9] J.-F. Yang, Europhys. Lett. 94, 41002 (2011).
  • [10] B. Krippa, arXiv: hep-ph/0006305.
  • [11] H.-W. Hammer, R.J. Furnstahl, Nucl. Phys. A678, 277 (2000).
  • [12] J.V. Steele, arXiv: nucl-th/0010066.
  • [13] H.A. Bethe, J. Goldstone, Proc. Roy. Soc. (London) A238, 551 (1957).
  • [14] R.F. Bishop, Annals Phys. 99, 318 (1976).
  • [15] M. Schmidt, G. Röpke, H. Schulz, Annals Phys. 202, 57 (1990)
  • [16] T. Alm, B.L. Friman, G. Röpke and H. Schulz, Nucl. Phys. 551, 45 (1993).
  • [17] A. Sdrakian, D. Blaschke, G. Röpke and H. Schulz, Phys. Lett. B338, 111 (1994).
  • [18] T. Papenbrock, G.F. Bertsch, Phys. Rev. C59, 2052 (1999).
  • [19] V.A. Khodel, V.V. Khodel, J.W. Clark, Nucl. Phys. A589, 390 (1996).
  • [20] Ø. Elgarøy, M. Hjorth-Jensen, Phys. Rev. C57, 1174 (1998).
  • [21] U. Lombardo, H.-J. Schulze, Lect. Notes Phys. 578, 30-53 (2001).
  • [22] K. Hebeler, A. Schwenk, B. Friman, Phys. Lett. B648, 176 (2007).