Characterizing the nuclear models informed by PREX and CREX: a view from Bayesian inference

Tianqi Zhao [email protected] Department of Physics, University of California Berkeley, Berkeley, California 94720, USA Department of Physics and Astronomy, Ohio University, Athens, Ohio 45701, USA    Zidu Lin [email protected] University of Tennessee, Knoxville, Tennessee 37996, USA    Bharat Kumar [email protected] Department of Physics & Astronomy, National Institute of Technology, Rourkela 769008, India    Andrew W. Steiner [email protected] University of Tennessee, Knoxville, Tennessee 37996, USA Physics Division, Oak Ridge National Laboratory    Madappa Prakash [email protected] Department of Physics and Astronomy, Ohio University, Athens, Ohio 45701, USA
(June 7, 2024)
Abstract

New measurements of the weak charge density distributions of 48Ca and 208Pb challenge existing nuclear models. In the post-PREX-CREX era, it is unclear if current models can simultaneously describe weak charge distributions along with accurate measurements of binding energy and charge radii. In this letter, we explore the parameter space of relativistic and non-relativistic models to study the differences between the form factors of the electric and weak charge distributions, ΔF=FchFwΔ𝐹subscript𝐹𝑐subscript𝐹𝑤\Delta F=F_{ch}-F_{w}roman_Δ italic_F = italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT, in 48Ca and 208Pb. We show, for the first time, the parts of the mean-field models which are the most important in determining the relative magnitude of the neutron skin in lead and calcium nuclei. We carefully disentangle the tension between the PREX/CREX constraints and the ability of the RMF and Skyrme models to accurately describe binding energies and charge radii. We find that the nuclear symmetry energy coefficient SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and the isovector spin-orbit coefficient b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT play different roles in determining ΔFΔ𝐹\Delta Froman_Δ italic_F of 48Ca and 208Pb. Consequently, adjusting SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT or b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT shifts predicted ΔFΔ𝐹\Delta Froman_Δ italic_F values toward or away from PREX/CREX measurements. Additionally, SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and the slope L are marginally correlated given the constraints of our Bayesian inference, allowing us to infer them separately from PREX and CREX data.

preprint: N3AS-24-028

Nuclear models describing finite nuclei and nuclear matter – One of the goals in nuclear physics is to construct a unified theory describing the basic properties of a variety of nuclei and neutron star observables. Historically, the binding energy, the charge radii and the response properties of nuclei have been used to calibrate nuclear models. The requirement of simultaneously describing the charge distributions of a variety of isotopes has spurred the improvement of both relativistic mean field (RMF) and non-relativistic Skyrme models, but has remained to be an outstanding challenge for the state-of-the-art nuclear structure theories Lalazissis et al. (1997a); König et al. (2023); Sommer et al. (2022); Malbrunot-Ettenauer et al. (2022); Reinhard and Nazarewicz (2022). It has also been recognized that the neutron distributions in finite nuclei are less sensitive to experimentally measurable quantities like binding energy and charge radii Horowitz and Piekarewicz (2001), leading to less-constrained isovector interactions in traditional nuclear models. Nonetheless, isospin-dependent interactions play a crucial role in describing neutron star properties. Recently, information about differences between the form factors of electric and weak charge distributions ΔF=FchFwΔ𝐹subscript𝐹𝑐subscript𝐹𝑤\Delta F=F_{ch}-F_{w}roman_Δ italic_F = italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT of two neutron-rich magic nuclei, 208Pb and 48Ca, has been model-independently measured via parity-violating electron scattering experiments Adhikari et al. (2021a, 2022a).Can existing forms of relativistic RMF models and non-relativistic Skyrme models simultaneously describe the weak charge distributions inferred by PREX and CREX, while maintaining consistency with the basic ground state properties of finite nuclei? If so, what would be the implications for the isospin-dependent interactions of such models? In this letter, we study the parameterizations of existing nuclear models informed by the PREX and the CREX experiments. The linear relationship between the isovector-dependent parts of the nuclear models and the neutron skin thickness of two nuclei (208Pb and 48Ca) discovered in this work for the first time gives the plausible region of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT that are mainly constrained by the PREX and CREX, disentangling the information of iso-vector interactions given by neutron skin thickness measurements from those given by the other nuclei property measurements. This linear relationship together with the region of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT enhance our understanding of both the nuclei and neutron star properties.

The picture of SvLsubscript𝑆v𝐿S_{\mathrm{v}}-Litalic_S start_POSTSUBSCRIPT roman_v end_POSTSUBSCRIPT - italic_L inferred by joint PREX and CREX measurements – For densities of relevance to nuclei, the energy of asymmetric nuclear matter can be expressed as the sum of symmetric nuclear matter (SNM) and symmetry energies as

E(np,nn)=E(np=nn=n/2)+S(np,nn),𝐸subscript𝑛𝑝subscript𝑛𝑛𝐸subscript𝑛𝑝subscript𝑛𝑛𝑛2𝑆subscript𝑛𝑝subscript𝑛𝑛E(n_{p},n_{n})=E(n_{p}=n_{n}=n/2)+S(n_{p},n_{n})~{},italic_E ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = italic_E ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_n / 2 ) + italic_S ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , (1)

where nnsubscript𝑛𝑛n_{n}italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and npsubscript𝑛𝑝n_{p}italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT are the neutron and proton densities, and n𝑛nitalic_n is their sum. The SNM energy E𝐸Eitalic_E can be expanded around the saturation density n0subscript𝑛0n_{0}italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT:

E(np=nn=n/2)=B+K018n02(nn0)2+.𝐸subscript𝑛𝑝subscript𝑛𝑛𝑛2𝐵subscript𝐾018superscriptsubscript𝑛02superscript𝑛subscript𝑛02E(n_{p}=n_{n}=n/2)=-B+\frac{K_{0}}{18n_{0}^{2}}(n-n_{0})^{2}+...~{}.italic_E ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_n / 2 ) = - italic_B + divide start_ARG italic_K start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 18 italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_n - italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + … . (2)

Above, B𝐵Bitalic_B is the binding energy, and K0subscript𝐾0K_{0}italic_K start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the SNM incompressibility. To good approximation, the symmetry energy S𝑆Sitalic_S is given by the quadratic term in the expansion (asymmetry) parameter (nnnp)/nsubscript𝑛𝑛subscript𝑛𝑝𝑛(n_{n}-n_{p})/n( italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) / italic_n:

S(np,nn)=S(n)(nnnpn)2+,𝑆subscript𝑛𝑝subscript𝑛𝑛𝑆𝑛superscriptsubscript𝑛𝑛subscript𝑛𝑝𝑛2S(n_{p},n_{n})=S(n)\left(\frac{n_{n}-n_{p}}{n}\right)^{2}+...~{},italic_S ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) = italic_S ( italic_n ) ( divide start_ARG italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG italic_n end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + … , (3)

where S(n)𝑆𝑛S(n)italic_S ( italic_n ) is the density-dependent symmetry energy. An alternative definition based on pure neutron matter (PNM), S(n)=S(nn=n,np=0)𝑆𝑛𝑆formulae-sequencesubscript𝑛𝑛𝑛subscript𝑛𝑝0S(n)=S(n_{n}=n,n_{p}=0)italic_S ( italic_n ) = italic_S ( italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_n , italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0 ), has also been used Gandolfi et al. (2014). The deviation of S(n)𝑆𝑛S(n)italic_S ( italic_n ) between these two definitions represents the breaking of the quadratic approximation, which is usually small for most Skyrme models Lee et al. (1998); Zuo et al. (1999); Drischler et al. (2014). However, such a deviation can be larger in some other models Cai and Chen (2019). In RMF models, the inclusion of the δ𝛿\deltaitalic_δ-meson breaks the quadratic approximation significantly as shown in Salinas and Piekarewicz (2024). Despite the differences in definitions, S(n)𝑆𝑛S(n)italic_S ( italic_n ) can be expanded around the saturation density as

S(n)𝑆𝑛\displaystyle S(n)italic_S ( italic_n ) =\displaystyle== SV+L3n0(nn0)+Ksym18n0(nn0)+,subscript𝑆V𝐿3subscript𝑛0𝑛subscript𝑛0subscript𝐾𝑠𝑦𝑚18subscript𝑛0𝑛subscript𝑛0\displaystyle S_{\mathrm{V}}+\frac{L}{3n_{0}}(n-n_{0})+\frac{K_{sym}}{18n_{0}}% (n-n_{0})+...,italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT + divide start_ARG italic_L end_ARG start_ARG 3 italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( italic_n - italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) + divide start_ARG italic_K start_POSTSUBSCRIPT italic_s italic_y italic_m end_POSTSUBSCRIPT end_ARG start_ARG 18 italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( italic_n - italic_n start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) + … , (4)

where SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT is the bulk symmetry energy, L𝐿Litalic_L refers to the slope of the symmetry energy slope, and Ksymsubscript𝐾𝑠𝑦𝑚K_{sym}italic_K start_POSTSUBSCRIPT italic_s italic_y italic_m end_POSTSUBSCRIPT to the curvature of the symmetry energy.

It has long been recognized that neutron skin thicknesses of neutron-rich nuclei are primarily determined by S(n)𝑆𝑛S(n)italic_S ( italic_n ). The strong correlation between L𝐿Litalic_L and the neutron skin thickeness has been extensively studied using Skyrme and RMF models of nuclei Horowitz et al. (2001); Reed et al. (2021). The neutron skin can also be understood using a simple droplet model in terms of the competition between the bulk symmetry term SVIsubscript𝑆V𝐼S_{\mathrm{V}}\cdot Iitalic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ⋅ italic_I and the surface term ΔRnpQΔsubscript𝑅𝑛𝑝𝑄\Delta R_{np}\cdot Qroman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT ⋅ italic_Q  Myers and Swiatecki (1980); Centelles et al. (2009); Warda et al. (2009). Here, I=(NZ)/A𝐼𝑁𝑍𝐴I=(N-Z)/Aitalic_I = ( italic_N - italic_Z ) / italic_A with N𝑁Nitalic_N and Z𝑍Zitalic_Z being the neutron and proton numbers in a nucleus and A𝐴Aitalic_A their sum, ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT is the neutron-proton radius difference, and Q𝑄Qitalic_Q is the surface stiffness parameter. The first of these competing terms is closely related to the properties of bulk matter in the central regions of nuclei and the second relates also to the spin-orbit interaction.

It is not certain that the aforementioned models and approximations work equivalently well to explain the neutron skin thicknesses of all light-to-heavy nuclei. Given the possible sensitivity of neutron skin thickness to both SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L (as suggested by previous works) and the weak correlation between them observed in both RMF and Skyrme models, in this work we study the dependence of ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca}48}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT on SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L by extensively surveying the parameter space of both RMF and Skyrme models. Comparing to previous work studying the information content of PREX and CREX Reinhard et al. (2022a); Zhang and Chen (2023); Salinas and Piekarewicz (2023), we apply minimum constraints that are sensitive to isovector interactions except for the PREX and CREX data. This “minimum setting” allows us to characterize the isospin-dependent features of nuclear models mainly informed by PREX and CREX data, rather than the existing extensive measurements of charge radii, binding energy and electric dipole polarizability of finite nuclei.

Refer to caption
Figure 1: Symmetry energy parameters SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L constrained by parity violating asymmetry of 48Ca (CREX) and 208Pb (PREX). Dashed (dotted) line and the corresponding band represent mean and 1-σ𝜎\sigmaitalic_σ band of PREX (CREX) alone based on the correlations in Eq. (9) and Eq. (8). Dash-dotted ellipse represent 1-σ𝜎\sigmaitalic_σ contour of joint PREX and CREX constraints. The PREX-2 analysis Reed et al. (2021) as well as constraints from the unitary gas conjecture Tews et al. (2017) and dipole polarizability Piekarewicz et al. (2012) are shown for comparison. The horizontally shaded ellipse show the 1-σ𝜎\sigmaitalic_σ contour of the posterior with basic nuclei constraints as the yellow distribution for basic nuclei in Fig. 2, whereas the other two shaded ellipses show the posterior with the +PREX+CREX experiment for Skyrme (vertical shade) and RMF (diagonal shade) models, respectively. The green ellipse shows the UNDEF correlation considering properties of more nuclei Kortelainen et al. (2010). The small black ellipse shows the correlation from chiral EFT calculation of PNMDrischler et al. (2024).

In Fig. 1, we present the constraints of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L given the information of ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca}48}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and/or ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT without assuming the correlation between them. Given the large number of three-dimensional points of (ΔFCa48,ΔFPb208,SV)Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208subscript𝑆V(\Delta F^{\mathrm{Ca}48},\Delta F^{\mathrm{Pb}208},S_{\mathrm{V}})( roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT , italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ) and (ΔFCa48,ΔFPb208,L)Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208𝐿(\Delta F^{\mathrm{Ca}48},\Delta F^{\mathrm{Pb}208},L)( roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT , italic_L ) sampled from the posterior distribution of RMF/Skyrme models, we find that SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L can be well approximated by a linear combination of ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca}48}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT as

SVsubscript𝑆V\displaystyle S_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT =\displaystyle== aΔFCa48+bΔFPb208+c𝑎Δsuperscript𝐹𝐶𝑎48𝑏Δsuperscript𝐹𝑃𝑏208𝑐\displaystyle a\Delta F^{Ca48}+b\Delta F^{Pb208}+citalic_a roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT + italic_b roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT + italic_c (5)
L𝐿\displaystyle Litalic_L =\displaystyle== aΔFCa48+bΔFPb208+c.superscript𝑎Δsuperscript𝐹𝐶𝑎48superscript𝑏Δsuperscript𝐹𝑃𝑏208superscript𝑐\displaystyle a^{\prime}\Delta F^{Ca48}+b^{\prime}\Delta F^{Pb208}+c^{\prime}~% {}.italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT + italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT . (6)
a𝑎aitalic_a b𝑏bitalic_b c𝑐citalic_c asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bsuperscript𝑏b^{\prime}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT csuperscript𝑐c^{\prime}italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT a′′superscript𝑎′′a^{\prime\prime}italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT b′′superscript𝑏′′b^{\prime\prime}italic_b start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT c′′superscript𝑐′′c^{\prime\prime}italic_c start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT
RMF 575.2±5.1plus-or-minus575.25.1-575.2\pm 5.1- 575.2 ± 5.1 916.3±4.6plus-or-minus916.34.6916.3\pm 4.6916.3 ± 4.6 32.2±3.7plus-or-minus32.23.732.2\pm 3.732.2 ± 3.7 2938.7±43.5plus-or-minus2938.743.52938.7\pm 43.52938.7 ± 43.5 2420.6±33.9plus-or-minus2420.633.92420.6\pm 33.92420.6 ± 33.9 149.8±25.6plus-or-minus149.825.6-149.8\pm 25.6- 149.8 ± 25.6 31.8±0.2plus-or-minus31.80.2-31.8\pm 0.2- 31.8 ± 0.2 23.5±0.1plus-or-minus23.50.123.5\pm 0.123.5 ± 0.1 0.94±0.11plus-or-minus0.940.110.94\pm 0.110.94 ± 0.11
Skyrme 503.2±7.8plus-or-minus503.27.8-503.2\pm 7.8- 503.2 ± 7.8 945.2±5.5plus-or-minus945.25.5945.2\pm 5.5945.2 ± 5.5 31.9±2.9plus-or-minus31.92.931.9\pm 2.931.9 ± 2.9 1791.2±27.2plus-or-minus1791.227.21791.2\pm 27.21791.2 ± 27.2 2652.0±19.0plus-or-minus2652.019.02652.0\pm 19.02652.0 ± 19.0 91.5±10.1plus-or-minus91.510.1-91.5\pm 10.1- 91.5 ± 10.1 52.0±0.4plus-or-minus52.00.4-52.0\pm 0.4- 52.0 ± 0.4 27.8±0.3plus-or-minus27.80.327.8\pm 0.327.8 ± 0.3 1.67±0.15plus-or-minus1.670.151.67\pm 0.151.67 ± 0.15
Table 1: Parameters for the fitting formulae of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT (Eq. 5) and L𝐿Litalic_L (Eq. 6) are in units of MeV, and for b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT (Eq. 14), they are in units of fm4.

The slope coefficients a𝑎aitalic_a, b𝑏bitalic_b, asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, and bsuperscript𝑏b^{\prime}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, as well as the intercept parameters c𝑐citalic_c and csuperscript𝑐c^{\prime}italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, are determined by fitting them to the posterior distribution of (ΔFCa48,ΔFPb208,SV)Δsuperscript𝐹𝐶𝑎48Δsuperscript𝐹𝑃𝑏208subscript𝑆V(\Delta F^{Ca48},\Delta F^{Pb208},S_{\mathrm{V}})( roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT , italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ) and (ΔFCa48,ΔFPb208,L)Δsuperscript𝐹𝐶𝑎48Δsuperscript𝐹𝑃𝑏208𝐿(\Delta F^{Ca48},\Delta F^{Pb208},L)( roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT , italic_L ), respectively. These parameters may reflect the inherent structure of RMF and Skyrme models and could be insensitive to the choice of model parameters and the experimental constraints applied in the Bayesian inference. All the sampled points from the posterior that show clear linear relationships are presented in the supplemental material. The fitted slope and intercept parameters are summarized in Table 1. The precision of the fitting formula in Eq. (5) remains within 10% (1-σ𝜎\sigmaitalic_σ) for both Skyrme and RMF models. Given the mean and standard deviation of ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT and ΔFCa48Δsuperscript𝐹𝐶𝑎48\Delta F^{Ca48}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT measured by PREX and CREX and the linear relationship in Eq. (5) and Eq. (6), we obtain the mean and covariance of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L to be

(S¯V,L¯)subscript¯𝑆V¯𝐿\displaystyle(\bar{S}_{\mathrm{V}},\bar{L})( over¯ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT , over¯ start_ARG italic_L end_ARG ) =\displaystyle== (56.7,66.8)Skyrme,(53.8,30.9)RMFsubscript56.766.8𝑆𝑘𝑦𝑟𝑚𝑒subscript53.830.9𝑅𝑀𝐹\displaystyle(56.7,~{}~{}66.8)_{Skyrme},~{}~{}~{}(53.8,~{}~{}30.9)_{RMF}( 56.7 , 66.8 ) start_POSTSUBSCRIPT italic_S italic_k italic_y italic_r italic_m italic_e end_POSTSUBSCRIPT , ( 53.8 , 30.9 ) start_POSTSUBSCRIPT italic_R italic_M italic_F end_POSTSUBSCRIPT (7)
covcov\displaystyle\sqrt{\mathrm{cov}}square-root start_ARG roman_cov end_ARG =\displaystyle== (19.631.231.256.5)Skyrme,(19.531.031.066.3)RMFsubscriptmatrix19.631.231.256.5𝑆𝑘𝑦𝑟𝑚𝑒subscriptmatrix19.531.031.066.3𝑅𝑀𝐹\displaystyle\begin{pmatrix}19.6&31.2\\ 31.2&56.5\end{pmatrix}_{Skyrme},~{}~{}\begin{pmatrix}19.5&31.0\\ 31.0&66.3\end{pmatrix}_{RMF}( start_ARG start_ROW start_CELL 19.6 end_CELL start_CELL 31.2 end_CELL end_ROW start_ROW start_CELL 31.2 end_CELL start_CELL 56.5 end_CELL end_ROW end_ARG ) start_POSTSUBSCRIPT italic_S italic_k italic_y italic_r italic_m italic_e end_POSTSUBSCRIPT , ( start_ARG start_ROW start_CELL 19.5 end_CELL start_CELL 31.0 end_CELL end_ROW start_ROW start_CELL 31.0 end_CELL start_CELL 66.3 end_CELL end_ROW end_ARG ) start_POSTSUBSCRIPT italic_R italic_M italic_F end_POSTSUBSCRIPT

in units of MeV for Skyrme and RMF models, respectively. See the red and blue dashdotted ellipses in Fig. 1. The covariance is dominated by the experimental error of ΔFCa48Δsuperscript𝐹𝐶𝑎48\Delta F^{Ca48}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT or ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT. The precision of the fitting formulas in Eq. (5) and Eq. (6) serves as a minor modification.

Based on the linear relationship inferred from the posterior distribution of the chosen RMF and Skyrme models, we further examine the L𝐿Litalic_L and SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT values inferred from the PREX and CREX experiments, respectively. Equations (5) and (6) can be rewritten as

L𝐿\displaystyle Litalic_L =\displaystyle== aaSVbabaaΔFPb208accaasuperscript𝑎𝑎subscript𝑆V𝑏superscript𝑎superscript𝑏𝑎𝑎Δsuperscript𝐹Pb208superscript𝑎𝑐superscript𝑐𝑎𝑎\displaystyle\frac{a^{\prime}}{a}S_{\mathrm{V}}-\frac{ba^{\prime}-b^{\prime}a}% {a}\Delta F^{\text{Pb208}}-\frac{a^{\prime}c-c^{\prime}a}{a}divide start_ARG italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_a end_ARG italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT - divide start_ARG italic_b italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_a end_ARG start_ARG italic_a end_ARG roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT - divide start_ARG italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_c - italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_a end_ARG start_ARG italic_a end_ARG (8)
L𝐿\displaystyle Litalic_L =\displaystyle== bbSVbababΔFCa48bccbbsuperscript𝑏𝑏subscript𝑆Vsuperscript𝑏𝑎𝑏superscript𝑎𝑏Δsuperscript𝐹Ca48superscript𝑏𝑐superscript𝑐𝑏𝑏\displaystyle\frac{b^{\prime}}{b}S_{\mathrm{V}}-\frac{b^{\prime}a-ba^{\prime}}% {b}\Delta F^{\text{Ca48}}-\frac{b^{\prime}c-c^{\prime}b}{b}divide start_ARG italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_b end_ARG italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT - divide start_ARG italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_a - italic_b italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_b end_ARG roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT - divide start_ARG italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_c - italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_b end_ARG start_ARG italic_b end_ARG (9)

Given the ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\text{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT and ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\text{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT values measured by PREX and CREX, respectively, Eqs. (8) and (9) define a band in the SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT-L𝐿Litalic_L plane, as shown in Fig. 1. Note that the slope coefficients a/asuperscript𝑎𝑎a^{\prime}/aitalic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT / italic_a and b/bsuperscript𝑏𝑏b^{\prime}/bitalic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT / italic_b are very different. These differing slopes allow us to constrain SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L independently using either ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\text{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT or ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\text{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT. Our PREX constraint band on SVLsubscript𝑆𝑉𝐿S_{V}-Litalic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT - italic_L is superior to that of previous PREX-2 analysisReed et al. (2021) as shown in Fig.1, since we disentangle the PREX constraint from the SVLsubscript𝑆𝑉𝐿S_{V}-Litalic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT - italic_L correlation due to binding energies and charge radii. The overlap** region of these two bands represents the range of SV,Lsubscript𝑆V𝐿{S_{\mathrm{V}},L}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT , italic_L inferred by the 1-σ𝜎\sigmaitalic_σ experimental measurements from both PREX and CREX, which is quantitatively described by Eq. (7).

The constraints on SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT-L𝐿Litalic_L correlation outlined above are derived from a combination of the experimental measurements of the neutron skin thickness and the quasi-linear relationships between ΔFΔ𝐹\Delta Froman_Δ italic_F and SV,Lsubscript𝑆V𝐿{S_{\mathrm{V}},L}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT , italic_L. Notably, these constraints remain independent of the constraints of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT-L𝐿Litalic_L based on measurements of nuclei masses and radii, such as those depicted in the UNDEF constraint Kortelainen et al. (2010) shown in Fig. 1. Consequently, one should not anticipate a significant proportion of the sampled points from the posterior distribution of our Bayesian inference to fall within this overlapped region. This is because the Bayesian inference incorporates constraints not only from the PREX and CREX measurements, but also from other fundamental properties of finite nuclei, such as th binding energies and charge radii. Indeed, as illustrated in Fig. 1, the SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT values inferred from measurements of nuclei masses typically range from 30 to 32 MeV, which is in tension with those favored by the combined PREX and CREX measurements.

Refer to caption
Refer to caption
Figure 2: The posterior distribution of bulk symmetry energy SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and symmetry energy slope L𝐿Litalic_L at saturation density constrained by basic nuclei constraints (dashed yellow), +PREX experiment (dashdotted blue), +CREX experiment (dashdotted red), +PREX+CREX experiment (solid black). Dotted black curve includes additional constraint from dipole Polarizability Piekarewicz et al. (2012). Details of prior and likelihood are discussed in Supplemental Material.

In Fig. 2, we analyze the evolution of the posterior distributions for SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L under five different constraint sets: basic nuclear constraints as the ”minimum setting”; inclusion of either PREX or CREX experimental data; inclusion of both PREX and CREX experimental data; and inclusion of additional dipole polarizability constraint. In the upper two panels for the Skyrme model, we observe that the range of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT is approximately [20,50] MeV, whereas the range of L𝐿Litalic_L spans from [0,150] MeV across all Bayesian inferences. The black dot-dashed curve in Fig. 1 illustrates the joint distribution. In the upper right (Skyrme) and lower right (RMF) panels, the posteriors of L𝐿Litalic_L exhibit similar trends. The posterior of L𝐿Litalic_L constrained by CREX (PREX) measurements has a mean smaller (larger) than that of the posterior constrained by only basic properties of finite nuclei. Moreover, the posterior of L𝐿Litalic_L constrained by both PREX and CREX measurements has a mean lower than the one without any constraints from neutron skin measurements, yet slightly higher than the one including only the CREX constraint. This trend is consistent across both our RMF and Skyrme models and aligns with previous studies using Skyrme models Reinhard et al. (2021); Reinhard and Nazarewicz (2022); Zhang and Chen (2023) and RMF models Reed et al. (2021); Salinas and Piekarewicz (2023); Yüksel and Paar (2023). The overlap** integral suggests a probability of inconsistency of 93% (1.8-σ𝜎\sigmaitalic_σ) for Skyrme models and 76% (1.2-σ𝜎\sigmaitalic_σ) for RMF models, significantly lower than other analyses showing over 2-σ𝜎\sigmaitalic_σ inconsistency Zhang and Chen (2023); Salinas and Piekarewicz (2023); Yüksel and Paar (2023). Further details of our Bayesian inference and Monte Carlo sampling are provided in the supplemental material.

Impact of spin-orbit interactions – Unlike the Hamiltonian of infinite dense matter, the Hamiltonian of finite nuclei incorporates terms proportional to the derivative of isoscalar (vector) densities, primarily arising from spin-orbit interactions. The impact of spin-orbit interactions on single-particle spectra and the charge distributions of various neutron-rich isotopes has been acknowledged and discussed in prior studies Reinhard and Flocard (1995a); Horowitz and Piekarewicz (2012a). However, the isospin-dependent spin-orbit interactions are not well constrained, in comparison with other interactions constrained by isobaric analog states (IAS) Roca-Maza et al. (2018) and mirror nuclei Sagawa et al. (2024). Considering that the values of Fchsubscript𝐹chF_{\mathrm{ch}}italic_F start_POSTSUBSCRIPT roman_ch end_POSTSUBSCRIPT and FWsubscript𝐹WF_{\mathrm{W}}italic_F start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT measured in both PREX and CREX are approximately the same, leading to a ΔFΔ𝐹\Delta Froman_Δ italic_F that is roughly one order of magnitude smaller, the influence of spin-orbit terms may play crucial roles in determining the distribution of points of ΔFCa48,ΔFPb208Δsuperscript𝐹𝐶𝑎48Δsuperscript𝐹𝑃𝑏208{\Delta F^{Ca48},\Delta F^{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT. For the first time (as far as we are aware), we investigate the influence of spin-orbit interactions on both ΔFCa48Δsuperscript𝐹𝐶𝑎48\Delta F^{Ca48}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT and ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT across a very large parameter space encompassing both RMF and Skyrme parameterizations. This investigation is based on the posterior distribution incorporating constraints from both PREX and CREX measurements.

Refer to caption
Refer to caption
Figure 3: Charge and weak from factor difference of 48Ca and 208Pb for samples of RMF (left) and Skyrme (right) model colored by the isovector spin-orbit parameter b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT in unit fm4. Colorful lines corresponds to the minimum χ2superscript𝜒2\chi^{2}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT fitting of linear function same as Eq.(5) and Eq.(6) with b4=[0.2,0,0.2,0.4,0.6,0.8]subscriptsuperscript𝑏40.200.20.40.60.8b^{\prime}_{4}=[-0.2,0,0.2,0.4,0.6,0.8]italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = [ - 0.2 , 0 , 0.2 , 0.4 , 0.6 , 0.8 ]. Constraints from unitary gas conjectureTews et al. (2017) and nuclei propertiesKortelainen et al. (2010) calculated from corresponding curves in Fig.1 based on the correlation Eq.(5) and Eq.(6). Blue dashed line shows 1-,2- and 3-σ𝜎\sigmaitalic_σ confidence region of joint PREX and CREX results. ‘x’ marker on left panels are RMF models listed in Supplementary material. Reference and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT for Skyrme models with marker ‘x’ is discussed in the text. ‘+’ marker represent the recently calibrated Skyrme modelZhang and Chen (2023), the relativistic Hartree-Bogoliubov modelYüksel and Paar (2023) and RMF model with tensor interactionSalinas and Piekarewicz (2024) including PREX and CREX experiment which take different form of interactions.

The spin-orbit interactions in Skyrme models are written as,

HSO=b4Jn+b4(Jnnn+Jpnp),subscript𝐻SOsubscript𝑏4J𝑛subscriptsuperscript𝑏4subscriptJ𝑛subscript𝑛𝑛subscriptJ𝑝subscript𝑛𝑝\begin{split}H_{\mathrm{SO}}=b_{4}\textbf{J}\cdot\triangledown n+b^{\prime}_{4% }(\textbf{J}_{n}\cdot\triangledown n_{n}+\textbf{J}_{p}\cdot\triangledown n_{p% }),\end{split}start_ROW start_CELL italic_H start_POSTSUBSCRIPT roman_SO end_POSTSUBSCRIPT = italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT J ⋅ ▽ italic_n + italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ( J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⋅ ▽ italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + J start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ⋅ ▽ italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) , end_CELL end_ROW (10)

where the b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT coefficients are corresponding to the isoscalar and isovector constributions of the spin-orbit potentials. To compare the influence of spin-orbit interactions in both relativistic and non-relativistic models in a parallel manner, we recast the Dirac equation in Schrödinger form using the Foldy-Wouthuysen transformation and the spin-orbit contributions in RMF models can be approximated as:

VSOp/nsubscriptsuperscript𝑉𝑝𝑛𝑆𝑂\displaystyle V^{p/n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p / italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== 2b4rdρBdrb4rddr[ρB±(ρpρn)],2subscript𝑏4𝑟𝑑subscript𝜌𝐵𝑑𝑟subscriptsuperscript𝑏4𝑟𝑑𝑑𝑟delimited-[]plus-or-minussubscript𝜌𝐵subscript𝜌𝑝subscript𝜌𝑛\displaystyle-\frac{2b_{4}}{r}\frac{d\rho_{B}}{dr}-\frac{b^{\prime}_{4}}{r}% \frac{d}{dr}\left[\rho_{B}\pm(\rho_{p}-\rho_{n})\right]~{},- divide start_ARG 2 italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_r end_ARG - divide start_ARG italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_r end_ARG [ italic_ρ start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ± ( italic_ρ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_ρ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ] , (11)

with

b4subscript𝑏4\displaystyle b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT \displaystyle\approx 14m2(gσ2mσ2+gω2mω2gδ24mδ2gρ24mρ2),14superscript𝑚2superscriptsubscript𝑔𝜎2subscriptsuperscript𝑚2𝜎superscriptsubscript𝑔𝜔2subscriptsuperscript𝑚2𝜔superscriptsubscript𝑔𝛿24subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌24subscriptsuperscript𝑚2𝜌\displaystyle\frac{1}{4m^{2}}\left(\frac{g_{\sigma}^{2}}{m^{2}_{\sigma}}+\frac% {g_{\omega}^{2}}{m^{2}_{\omega}}-\frac{g_{\delta}^{2}}{4m^{2}_{\delta}}-\frac{% g_{\rho}^{2}}{4m^{2}_{\rho}}\right),divide start_ARG 1 end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG - divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG - divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ) , (12)
b4subscriptsuperscript𝑏4\displaystyle b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT \displaystyle\approx 18m2(gδ2mδ2+gρ2mρ2).18superscript𝑚2superscriptsubscript𝑔𝛿2subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌2subscriptsuperscript𝑚2𝜌\displaystyle\frac{1}{8m^{2}}\left(\frac{g_{\delta}^{2}}{m^{2}_{\delta}}+\frac% {g_{\rho}^{2}}{m^{2}_{\rho}}\right).divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ) . (13)

The detailed derivation of spin-orbit contributions in RMF models is provided in the supplemental material.

In Fig. 3, we present the distributions of {ΔFCa48,ΔFPb208}Δsuperscript𝐹𝐶𝑎48Δsuperscript𝐹𝑃𝑏208\{\Delta F^{Ca48},\Delta F^{Pb208}\}{ roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT } colored by b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT in both RMF and Skyrme models. Interestingly, we observe that an increase of b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT (which represents the isovector contribution to the spin-orbit interactions) leads to a larger ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT while resulting in a smaller ΔFCa48Δsuperscript𝐹𝐶𝑎48\Delta F^{Ca48}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT. This causes the points of ΔFCa48,ΔFPb208Δsuperscript𝐹𝐶𝑎48Δsuperscript𝐹𝑃𝑏208{\Delta F^{Ca48},\Delta F^{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT to collectively move towards the mean of joint PREX and CREX measurements. Neutron skin thickness ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT follows the same trend as ΔFΔ𝐹\Delta Froman_Δ italic_F when varying b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT. The detailed proton and neutron density profiles are presented in the supplemental material. We can fit the parameter b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT as:

b4=a′′ΔFCa48+b′′ΔFPb208+c′′,subscriptsuperscript𝑏4superscript𝑎′′Δsuperscript𝐹𝐶𝑎48superscript𝑏′′Δsuperscript𝐹𝑃𝑏208superscript𝑐′′\displaystyle b^{\prime}_{4}=a^{\prime\prime}\Delta F^{Ca48}+b^{\prime\prime}% \Delta F^{Pb208}+c^{\prime\prime},italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT + italic_c start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT , (14)

where the corresponding fitting parameters a′′superscript𝑎′′a^{\prime\prime}italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT, b′′superscript𝑏′′b^{\prime\prime}italic_b start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT, and c′′superscript𝑐′′c^{\prime\prime}italic_c start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT for Skyrme and RMF models are shown in Table 1. The accuracy of the fitting is captured in c′′=1.69±0.15superscript𝑐′′plus-or-minus1.690.15c^{\prime\prime}=1.69\pm 0.15italic_c start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT = 1.69 ± 0.15 (0.93±0.11plus-or-minus0.930.110.93\pm 0.110.93 ± 0.11) in Skyrme (RMF), which is well within the experimental error of PREX and CREX. Based on this correlation, b4=1.37±0.49subscriptsuperscript𝑏4plus-or-minus1.370.49b^{\prime}_{4}=1.37\pm 0.49italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 1.37 ± 0.49 fm4 for Skyrme models can be estimated from PREX and CREX measurements of ΔFΔ𝐹\Delta Froman_Δ italic_F, corresponding to a 90% lower bound of b4>0.744subscriptsuperscript𝑏40.744b^{\prime}_{4}>0.744italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT > 0.744 fm4. The widely used SLy4 model has W0123subscript𝑊0123W_{0}\in 123italic_W start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∈ 123 MeV fm5Chabanat et al. (1998), equivalent to b4=b4=0.312subscript𝑏4subscriptsuperscript𝑏40.312b_{4}=b^{\prime}_{4}=0.312italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.312 fm4, which lies on the 2-σ𝜎\sigmaitalic_σ contour of the PREX and CREX measurement, as seen in Fig. 3. The first Skyrme models, SkI3 and SkI4, with b4b4subscript𝑏4subscriptsuperscript𝑏4b_{4}\neq b^{\prime}_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ≠ italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, are introduced with b40<b4subscriptsuperscript𝑏40subscript𝑏4b^{\prime}_{4}\leq 0<b_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ≤ 0 < italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, placing them further away from the PREX and CREX measurement Reinhard and Flocard (1995b). SV classes of Skyrme model prefer 0<b4/b4<0.50subscriptsuperscript𝑏4subscript𝑏40.50<b^{\prime}_{4}/b_{4}<0.50 < italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT / italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT < 0.5, see Fig. 9 in Klüpfel et al. (2009). TOV-min take a relatively large b4=0.426subscriptsuperscript𝑏40.426b^{\prime}_{4}=0.426italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.426Erler et al. (2013), placing it closer towards the right bottom corner in Fig. 3. More recent calibrated models UNDEF0 with b4=0.634subscript𝑏40.634b_{4}=0.634italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.634, b4=0.463subscriptsuperscript𝑏40.463b^{\prime}_{4}=-0.463italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = - 0.463 and UNDEF1 with b4=0.194subscript𝑏40.194b_{4}=0.194italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.194, b4=0.362subscriptsuperscript𝑏40.362b^{\prime}_{4}=0.362italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.362 have b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT of opposite signKortelainen et al. (2012). Therefore, UNDEF1 is much closer to the PREX and CREX measurements compared to UNDEF0. In the case of RMF models, the effective parameter is b4=1.02±0.37subscriptsuperscript𝑏4plus-or-minus1.020.37b^{\prime}_{4}=1.02\pm 0.37italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 1.02 ± 0.37, corresponding to a 90% lower bound of b4>0.544subscriptsuperscript𝑏40.544b^{\prime}_{4}>0.544italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT > 0.544 fm4 or gδ2+1.65gρ2>2433superscriptsubscript𝑔𝛿21.65superscriptsubscript𝑔𝜌22433g_{\delta}^{2}+1.65g_{\rho}^{2}>2433italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1.65 italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 2433 after incorporating the masses of nucleons and mesons. Widely used RMF models without delta mesons, such as FSUGold2 Chen and Piekarewicz (2014) with gδ2=80.4656superscriptsubscript𝑔𝛿280.4656g_{\delta}^{2}=80.4656italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 80.4656 and FSUGarnet Chen and Piekarewicz (2015) with gδ2=192.9274superscriptsubscript𝑔𝛿2192.9274g_{\delta}^{2}=192.9274italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 192.9274, typically exhibit a small effective b4<0.1subscriptsuperscript𝑏40.1b^{\prime}_{4}<0.1italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT < 0.1. Consequently, such RMF models generally fall short of reaching the 2-σ𝜎\sigmaitalic_σ confidence region of PREX and CREX, as demonstrated by recent efforts like HPUA-CSharma et al. (2023). New RMF models featuring δ𝛿\deltaitalic_δ mesons with small isovector Yukawa coupling, such as BSRV with gδ2<20superscriptsubscript𝑔𝛿220g_{\delta}^{2}<20italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < 20 and gρ2<265superscriptsubscript𝑔𝜌2265g_{\rho}^{2}<265italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < 265, corresponding to b40.1less-than-or-similar-tosuperscript𝑏40.1b^{\prime}4\lesssim 0.1italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT 4 ≲ 0.1, also do not show significant improvement Kumar et al. (2023). However, models like DINOa-c, which display large isovector Yukawa couplings (gδ2>1100superscriptsubscript𝑔𝛿21100g_{\delta}^{2}>1100italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 1100 and gρ2>800superscriptsubscript𝑔𝜌2800g_{\rho}^{2}>800italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 800), all surpass the 90% lower bound of b4>0.544subscriptsuperscript𝑏40.544b^{\prime}_{4}>0.544italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT > 0.544 Reed et al. (2024). Consequently, DINOa-c lies close to the 1-σ𝜎\sigmaitalic_σ confidence region of PREX and CREX, as depicted in Figure 3. Exploring the parameter space with large gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT and gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT, we identify a new parameter set, CPREX1 (b4=0.652subscriptsuperscript𝑏40.652b^{\prime}_{4}=0.652italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.652), which resides on the 1-σ𝜎\sigmaitalic_σ upper (lower) edge of ΔFCa48Δsuperscript𝐹𝐶𝑎48\Delta F^{Ca48}roman_Δ italic_F start_POSTSUPERSCRIPT italic_C italic_a 48 end_POSTSUPERSCRIPT (ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT), and well within the 1-σ𝜎\sigmaitalic_σ joint contour. CPREX1 also yields reasonable nuclear properties forC48asuperscript𝐶48𝑎{}^{48}Castart_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a, Z90rsuperscript𝑍90𝑟{}^{90}Zrstart_FLOATSUPERSCRIPT 90 end_FLOATSUPERSCRIPT italic_Z italic_r, and P208bsuperscript𝑃208𝑏{}^{208}Pbstart_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b, along with decent neutron star properties, featuring a maximum mass of M=max{}_{max}=start_FLOATSUBSCRIPT italic_m italic_a italic_x end_FLOATSUBSCRIPT = 2.04 M and a dimensionless tidal deformability of Λ1.4=584subscriptΛ1.4584\Lambda_{1.4}=584roman_Λ start_POSTSUBSCRIPT 1.4 end_POSTSUBSCRIPT = 584 within the GW170817 constraintAbbott et al. (2018). Additionally, we introduce CPREX2 with an intermediate b4=0.386subscriptsuperscript𝑏40.386b^{\prime}_{4}=0.386italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.386, closely aligned with Skyrme models like UNDEF1 and SV. Model parameters and other properties of CPREX are tabulated in the supplementary material. Their corresponding neutron star EOSs with crust calculated from the liquid droplet model are available from the public GitHub repositoryZhao .

Conclusion and discussion – In this letter, we first demonstrated that by using the existing forms of nuclear models, it’s possible to find a set of RMF parameterizations that falls within the 1-σ𝜎\sigmaitalic_σ of the PREX and CREX respectively, while maintaining good agreement (<1%absentpercent1<1\%< 1 % deviation) with the binding energy, the charge radii of Pb208superscriptPb208{}^{208}\mathrm{Pb}start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT roman_Pb, Zr90superscriptZr90{}^{90}\mathrm{Zr}start_FLOATSUPERSCRIPT 90 end_FLOATSUPERSCRIPT roman_Zr and Ca48superscriptCa48{}^{48}\mathrm{Ca}start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT roman_Ca as well as tidal deformability and maximum mass of neutron stars.

Based on large samples of RMF and Skyrme models from our Bayesian inference, we further identified a linear equation describing the relationship between the symmetry energy parameters (SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L) and the ΔFΔ𝐹\Delta Froman_Δ italic_F values of 208Pb and 48Ca. This linear relationship exhibits a weak dependency on specific choices of model parameterizations. Unlike L𝐿Litalic_L, which is positively related to the ΔFΔ𝐹\Delta Froman_Δ italic_F values of both the 208Pb and 48Ca, SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT impacts 208Pb and 48Ca differently. This suggests that SV40greater-than-or-equivalent-tosubscript𝑆V40S_{\mathrm{V}}\gtrsim 40italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ≳ 40 MeV is favored by PREX and CREX measurements. The large SVsubscript𝑆VS_{\textrm{V}}italic_S start_POSTSUBSCRIPT V end_POSTSUBSCRIPT compared with empirical value (around 32 MeV) demonstrates the tension between the current nuclear models and joint PREX and CREX experiments.

Besides SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, we found that the isovector parts of the spin-orbit interactions corresponding to the b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT term in the Skyrme model also influence the neutron skin of 208Pb and 48Ca differently. We derived the equivalent density-independent b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT parameter in terms of gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT and gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT in the RMF model and observed a similar trend. Although the correlation between b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and ΔFCa48/Pb208Δsuperscript𝐹Ca48Pb208\Delta F^{\mathrm{Ca}48/\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 / Pb208 end_POSTSUPERSCRIPT may not be strong, as also observed in Reinhard et al. (2022b), b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT can be quite sensitive to a linear combination of ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca}48}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT, such as a′′ΔFCa48+b′′ΔFPb208superscript𝑎′′Δsuperscript𝐹Ca48superscript𝑏′′Δsuperscript𝐹Pb208a^{\prime\prime}\Delta F^{\mathrm{Ca}48}+b^{\prime\prime}\Delta F^{\mathrm{Pb}% 208}italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT, and can effectively control the discrepancy between the model predictions of ΔFPb208,ΔFCa48Δsuperscript𝐹Pb208Δsuperscript𝐹Ca48{\Delta F^{\mathrm{Pb208}},\Delta F^{\mathrm{Ca48}}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and the combined PREX and CREX measurements. We also realized that in RMF models, the increase of b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT usually comes with the amplification of the (isovector) nucleon density fluctuation in the nuclei.

In RMF models, the large b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT is achieved by large gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT and gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT, which break the common quadratic dependence of symmetry energy on asymmetry. For example, the CPREX1 RMF model, calibrated to reach the 1σ1𝜎1-\sigma1 - italic_σ bound of PREX and CREX, ended up with SV=32.9subscript𝑆V32.9S_{\mathrm{V}}=32.9italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT = 32.9 MeV around SNM, but SV=54.3subscript𝑆V54.3S_{\mathrm{V}}=54.3italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT = 54.3 MeV defined with PNM. Although the slope L𝐿Litalic_L is close to zero, the neutron star EOS in β𝛽\betaitalic_β-equilibrium remains stable due to the large L defined with PNM. CPREX1 and CPREX2 could be interesting for both the nuclear and astrophysics communities, as the neutron star properties satisfy maximum mass and tidal deformability constraints.

Follow-up neutron skin experiments, like the Mainz Radius EXperiment (MREX), will continue to refine the possible uncertainty of the PREX experiment Sfienti . The linear relations between the isovector parameters (SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L, and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT) and the ΔFΔ𝐹\Delta Froman_Δ italic_F values of 208Pb and 48Ca may be extended to other double magic nuclei, serving as a simple “emulator” for rapidly and reliably approximating SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L, and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT in the investigations of future neutron skin thickness experiments.

Acknowledgements.
We acknowledge Jorge Piekarewicz and Jim Lattimer for the helpful discussions. T.Z. acknowledges helpful discussions held during the INT Workshop INT-22R-2A. TZ was supported by the Department of Energy, Award No. DE-FG02-93ER40756 and by the Network for Neutrinos, Nuclear Astrophysics and Symmetries, through the National Science Foundation Physics Frontier Center Grant No. PHY-2020275. M.P. acknowledges support by the Department of Energy, Award No. DE-FG02-93ER40756. ZL and AWS were supported by NSF PHY 21-16686. AWS was also supported by the Department of Energy Office of Nuclear Physics. B.K. acknowledges partial support from the Department of Science and Technology, Government of India, with grant no. CRG/2021/000101. All the Bayesian samples and data for making plots are available from the GitHub repositoryZhao .

I Supplemental Mateiral

I.1 Relativistic mean field model and Skyrme model

Experiment NL3 FSU2 IOPB-I IUFSU BigApple HPUC BSRV DINOa DINOb DINOc CPREX1 CPREX2
B/A𝐵𝐴B/Aitalic_B / italic_A [MeV]  7.87 7.88 7.87 7.86 7.88 7.85 7.85 7.84 7.87 7.87 7.87 7.84 7.86
Rchsubscript𝑅𝑐R_{ch}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT [fm]  5.50 5.51 5.49 5.52 5.49 5.50 5.56 5.53 5.51 5.51 5.51 5.49 5.49
208Pb ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT [fm]  0.159±plus-or-minus\pm± 0.017 0.2797 0.2862 0.2195 0.1618 0.1508 0.1196 0.2595 0.1746 0.1993 0.2235 0.1905 0.1525
Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT []  0.409 0.4067 0.4094 0.4052 0.4106 0.4080 0.3992 0.4043 0.4074 0.4075 0.4073 0.4100 0.4092
ΔFΔ𝐹\Delta Froman_Δ italic_F []  0.041±plus-or-minus\pm±0.013 0.0414 0.0423 0.0319 0.0233 0.0214 0.0168 0.0378 0.0262 0.0303 0.0342 0.0282 0.0222
B/A𝐵𝐴B/Aitalic_B / italic_A [MeV]  8.67 8.65 8.62 8.64 8.53 8.52 8.65 8.66 8.67 8.67 8.67 8.64 8.66
Rchsubscript𝑅𝑐R_{ch}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT [fm]  3.48 3.45 3.43 3.45 3.44 3.46 3.46 3.44 3.47 3.47 3.47 3.48 3.46
48Ca ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT [fm]  0.137±plus-or-minus\pm±0.015 0.2255 0.2318 0.1995 0.1736 0.1690 0.1479 0.2196 0.0994 0.1054 0.1141 0.1252 0.1357
Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT []  0.158 0.1604 0.1665 0.1616 0.1647 0.1582 0.1577 0.1621 0.1591 0.1589 0.1585 0.1537 0.1571
ΔFΔ𝐹\Delta Froman_Δ italic_F []  0.0277±plus-or-minus\pm±0.0055 0.0551 0.0564 0.0490 0.0435 0.0413 0.0391 0.0527 0.0330 0.0345 0.0364 0.0335 0.0362
Table 2: Experimental data for the binding energy per nucleonWang et al. (2012), charge radiiAngeli and Marinova (2013), neutron skins (excluding PREX and CREX)Lattimer (2023), charge from factor and form factor difference from PREXAdhikari et al. (2021b) for 208Pb and CREXAdhikari et al. (2022b) for 48Ca. Also displayed are the theoretical results obtained with NL3Lalazissis et al. (1997b), FSUGold2Chen and Piekarewicz (2014), IOPB-IKumar et al. (2018), IUFSUFattoyev et al. (2010), BigAppleFattoyev et al. (2020), HPUCSharma et al. (2023), BSRVKumar et al. (2023), DINOa-cReed et al. (2024) and the two new parameterizations, CPREX1 and CPREX2.
NL3 FSU2 IOPB-I IUFSU BigApple HPUC BSRV DINOa DINOb DINOc CPREX1 CPREX2
ns [fm-3] 0.1483 0.1504 0.1495 0.1546 0.1546 0.1490 0.1480 0.1522 0.1525 0.1519 0.1516 0.1518
M [MeV] 558.7 557.0 557.2 572.1 572.8 572.9 565.3 587.4 593.0 593.9 692.8 648.1
B [MeV] 16.24 16.26 16.10 16.40 16.34 15.98 16.10 16.16 16.21 16.21 16.29 16.14
SNM K [MeV] 271.6 237.7 222.6 231.3 227.0 220.2 227.2 210.0 207.0 206.0 223.8 223.5
SV [MeV] 37.3 37.6 33.3 31.3 31.3 28.4 36.1 31.4 33.1 34.6 32.9 29.8
L [MeV] 118.2 112.7 63.6 47.2 39.8 41.6 84.6 50.0 70.0 90.0 -3.5 0.4
Ksym [MeV] 101.0 25.4 -37.0 28.5 87.5 81.1 -73.2 506.0 609.1 714.8 -418.4 -239.8
Mnsubscriptsuperscriptabsent𝑛{}^{*}_{n}start_FLOATSUPERSCRIPT ∗ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT [MeV] 569.2 566.0 566.7 580.5 582.8 581.4 573.3 352.1 333.0 320.5 377.4 465.6
Mpsubscriptsuperscriptabsent𝑝{}^{*}_{p}start_FLOATSUPERSCRIPT ∗ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT [MeV] 569.2 566.0 566.7 580.5 582.8 581.4 574.8 908.8 948.2 969.1 1062.5 870.1
PNM SV [MeV] 38.3 38.6 34.7 32.9 33.1 29.9 37.2 46.5 50.6 53.4 54.3 38.4
L [MeV] 121.2 115.9 67.7 49.5 40.6 42.7 88.7 172.1 216.4 247.8 211.2 75.9
Ksym [MeV] 100.3 27.2 -45.5 23.1 74.3 89.2 -70.6 726.7 907.2 1021.2 801.8 76.4
Mmax [M] 2.77 2.07 2.15 1.94 2.60 2.05 2.04 2.17 2.15 2.15 2.04 2.12
R1.0 [km] 14.4 14.1 13.2 12.6 12.8 12.6 13.6 14.4 14.8 15.1 13.9 12.9
NS R1.4 [km] 14.5 13.9 13.2 12.6 13.1 12.8 13.4 14.4 14.6 14.9 13.4 12.9
Λ1.0subscriptΛ1.0\Lambda_{1.0}roman_Λ start_POSTSUBSCRIPT 1.0 end_POSTSUBSCRIPT [] 7797 6473 4347 3384 3918 3752 4903 6623 7572 8579 4543 3544
Λ1.4subscriptΛ1.4\Lambda_{1.4}roman_Λ start_POSTSUBSCRIPT 1.4 end_POSTSUBSCRIPT [] 1275 876 687 500 719 593 689 1065 1150 1256 584 570
Table 3: Saturation properties and neutron star properties of RMF models listed in Table 2. Saturation properties for SNM and PNM are defined in the letter. Neutron star properties are calculated with the crust EOSs constructed with the compressible liquid droptlet model repectively for various RMF models with fixed surface tension parameters σs=1.2subscript𝜎𝑠1.2\sigma_{s}=1.2italic_σ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1.2 MeV fm-2, SS=48subscript𝑆𝑆48S_{S}=48italic_S start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT = 48 MeVLattimer and Swesty (1991).
Table 4: σ𝜎\sigmaitalic_σ meson mass and 7 coupling constant of RMF models.
mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT (MeV) gσ2superscriptsubscript𝑔𝜎2g_{\sigma}^{2}italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT gδ2superscriptsubscript𝑔𝛿2g_{\delta}^{2}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT gω2superscriptsubscript𝑔𝜔2g_{\omega}^{2}italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT gρ2superscriptsubscript𝑔𝜌2g_{\rho}^{2}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT κ𝜅\kappaitalic_κ (MeV) λ𝜆\lambdaitalic_λ ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT ζ𝜁\zetaitalic_ζ
CPREX1 452.852 60.4489 1348.64 96.8552 948.802 12.1881 -0.0342058 0.00227575 0.00587231
CPREX2 484.272 77.601 754.613 120.463 589.842 7.6226 -0.0211199 0.00335068 0.0116056

In this section, we provide an overview of the theoretical framework utilized. For a more comprehensive understanding, interested readers can refer to the detailed discussions available in various sources such as Kumar et al. (2017, 2018); Yang and Piekarewicz (2020) along with their cited references. The starting point for our relativistic calculation of nuclear response is based on the covariant model presented in Ref. Chen and Piekarewicz (2014). Additionally, we incorporate the δ𝛿\deltaitalic_δ-meson to accommodate the CREX experiment, which prefers a softer symmetry energy Adhikari et al. (2022b). The interacting Lagrangian density can be expressed as:

intsubscriptint\displaystyle{\mathscr{L}}_{\rm int}script_L start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT =\displaystyle== ψ¯[gσσ+gδ2𝝉𝜹(gωωμ+gρ2𝝉𝝆μ+e2(1+τ3)Aμ)γμ]ψ¯𝜓delimited-[]subscript𝑔𝜎𝜎subscript𝑔𝛿2𝝉𝜹subscript𝑔𝜔subscript𝜔𝜇subscript𝑔𝜌2𝝉subscript𝝆𝜇𝑒21subscript𝜏3subscript𝐴𝜇superscript𝛾𝜇𝜓\displaystyle\bar{\psi}\left[g_{\sigma}\sigma+\frac{g_{\delta}}{2}{\mbox{% \boldmath$\tau$}}\cdot{\mbox{\boldmath$\delta$}}\!-\!\left(g_{\omega}\omega_{% \mu}\!+\!\frac{g_{\rho}}{2}{\mbox{\boldmath$\tau$}}\cdot{\mbox{\boldmath$\rho$% }}_{\mu}\!+\!\frac{e}{2}(1\!+\!\tau_{3})A_{\mu}\right)\gamma^{\mu}\right]\psiover¯ start_ARG italic_ψ end_ARG [ italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_σ + divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG bold_italic_τ ⋅ bold_italic_δ - ( italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG bold_italic_τ ⋅ bold_italic_ρ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + divide start_ARG italic_e end_ARG start_ARG 2 end_ARG ( 1 + italic_τ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ) italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ] italic_ψ (15)
\displaystyle-- κ3!(gσσ)3λ4!(gσσ)4+ζω4!gω4(ωμωμ)2+Λωρ(gρ2𝝆μ𝝆μ)(gω2ωνων).𝜅3superscriptsubscript𝑔𝜎𝜎3𝜆4superscriptsubscript𝑔𝜎𝜎4subscript𝜁𝜔4superscriptsubscript𝑔𝜔4superscriptsubscript𝜔𝜇superscript𝜔𝜇2subscriptΛ𝜔𝜌superscriptsubscript𝑔𝜌2subscript𝝆𝜇superscript𝝆𝜇superscriptsubscript𝑔𝜔2subscript𝜔𝜈superscript𝜔𝜈\displaystyle\frac{\kappa}{3!}(g_{\sigma}\sigma)^{3}\!-\!\frac{\lambda}{4!}(g_% {\sigma}\sigma)^{4}\!+\!\frac{\zeta_{\omega}}{4!}g_{\omega}^{4}(\omega_{\mu}% \omega^{\mu})^{2}+\Lambda_{\omega\rho}\Big{(}g_{\rho}^{2}\,{\mbox{\boldmath$% \rho$}}_{\mu}\cdot{\mbox{\boldmath$\rho$}}^{\mu}\Big{)}\Big{(}g_{\omega}^{2}% \omega_{\nu}\omega^{\nu}\Big{)}\;.divide start_ARG italic_κ end_ARG start_ARG 3 ! end_ARG ( italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_σ ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - divide start_ARG italic_λ end_ARG start_ARG 4 ! end_ARG ( italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_σ ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + divide start_ARG italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG start_ARG 4 ! end_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_italic_ρ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ⋅ bold_italic_ρ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ) ( italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) .

The Lagrangian density used in our study includes the isodoublet nucleon field ψ𝜓\psiitalic_ψ as the basic degree of freedom. These nucleons interact via photon (Aμsubscript𝐴𝜇A_{\mu}italic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT) exchange and through the exchange of four massive mesons: a scalar-isoscalar (σ𝜎\sigmaitalic_σ), scalar-isovector (δ𝛿\deltaitalic_δ), a vector-isoscalar (ωμsuperscript𝜔𝜇\omega^{\mu}italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT), and a vector-isovector (ρμsuperscript𝜌𝜇\rho^{\mu}italic_ρ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT). This formulation is based on the works of Walecka (1974); Serot and Walecka (1986, 1997). The coupling constant ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT for the isoscalar-isovector interaction plays a crucial role in determining the density dependence of the symmetry energy, particularly its slope at saturation density L𝐿Litalic_L as discussed in Horowitz and Piekarewicz (2001). It is noteworthy that the model can be calibrated using an analytic one-to-one correspondence between bulk parameters of infinite nuclear matter and the various coupling constants. Specifically, the values of the symmetry energy SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, its slope L𝐿Litalic_L, and curvature Ksymsubscript𝐾𝑠𝑦𝑚K_{sym}italic_K start_POSTSUBSCRIPT italic_s italic_y italic_m end_POSTSUBSCRIPT at saturation density are correlated to the isovector parameters (gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT, gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT, and ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT) as explained in Chen and Piekarewicz (2014); Singh et al. (2014). Table 4 shows the σ𝜎\sigmaitalic_σ meson mass and 8 coupling constants for CPREX1 and CPREX2 proposed in this letter. The masses of other massive mesons and the free nucleon are mδ=980subscript𝑚𝛿980m_{\delta}=980italic_m start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT = 980 MeV, mω=782.5subscript𝑚𝜔782.5m_{\omega}=782.5italic_m start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = 782.5 MeV, mρ=763subscript𝑚𝜌763m_{\rho}=763italic_m start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT = 763 MeV and m=939𝑚939m=939italic_m = 939 MeV. The nuclear properties of 48Ca and 208Pb are shown in Table 2 along with experimental measurement and our Hatree calculations for various models for comparison. Table 3 shows the infinite nuclear matter properties at saturation density and the neutron star properties calculated from EOSs in β𝛽\betaitalic_β-equilibrium. The crust EOSs are constructed with the compressible liquid droplet model with fixed surface tension parameters σs=1.2subscript𝜎𝑠1.2\sigma_{s}=1.2italic_σ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1.2 MeV fm-2, SS=48subscript𝑆𝑆48S_{S}=48italic_S start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT = 48 MeVLattimer and Swesty (1991). The tabulated complete EOSs of these RMF models can be found in the GitHub repository [].

To gain a complementary understanding of both PREX and CREX measurements, we also study the Skyrme interactions inferred from those neutron skin thickness measurements. The Skyrme Hamiltonian for infinite nuclear matter is written as,

HSk=kFn510π2mn+kFp510π2mp+Hpot(nn,np),subscript𝐻Sksuperscriptsubscript𝑘𝐹𝑛510superscript𝜋2superscriptsubscript𝑚𝑛superscriptsubscript𝑘𝐹𝑝510superscript𝜋2superscriptsubscript𝑚𝑝subscript𝐻potsubscript𝑛𝑛subscript𝑛𝑝H_{\mathrm{Sk}}=\frac{k_{Fn}^{5}}{10\pi^{2}m_{n}^{*}}+\frac{k_{Fp}^{5}}{10\pi^% {2}m_{p}^{*}}+H_{\mathrm{pot}}(n_{n},n_{p}),italic_H start_POSTSUBSCRIPT roman_Sk end_POSTSUBSCRIPT = divide start_ARG italic_k start_POSTSUBSCRIPT italic_F italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG start_ARG 10 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_k start_POSTSUBSCRIPT italic_F italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT end_ARG start_ARG 10 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG + italic_H start_POSTSUBSCRIPT roman_pot end_POSTSUBSCRIPT ( italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) , (16)

where the first two terms are the kinetic terms for the neutrons and the protons with effective mass contribution and Hpotsubscript𝐻potH_{\mathrm{pot}}italic_H start_POSTSUBSCRIPT roman_pot end_POSTSUBSCRIPT is the potential term expressed as:

Hpot=12n2t0[1+x02)12(nn2+np2)t0(12+x0)+124nγt3(n2(2+x3)(nn2+np2)(1+2x3)].\begin{split}H_{\mathrm{pot}}=&\frac{1}{2}n^{2}t_{0}\left[1+\frac{x_{0}}{2}% \right)-\frac{1}{2}(n_{n}^{2}+n_{p}^{2})t_{0}\left(\frac{1}{2}+x_{0}\right)\\ +&\frac{1}{24}n^{\gamma}t_{3}\left(n^{2}(2+x_{3})-(n_{n}^{2}+n_{p}^{2})(1+2x_{% 3})\right].\end{split}start_ROW start_CELL italic_H start_POSTSUBSCRIPT roman_pot end_POSTSUBSCRIPT = end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [ 1 + divide start_ARG italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG + italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL + end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG 24 end_ARG italic_n start_POSTSUPERSCRIPT italic_γ end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 + italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) - ( italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ( 1 + 2 italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) ] . end_CELL end_ROW (17)

The neutron and proton effective masses are functions of densities as,

mn/pmn/p=1+mn/p4{n[t1(2+x1)+t2(2+x2)]+nn/p[t1(1+2x1)+t2(1+2x2)]}.subscript𝑚𝑛𝑝subscriptsuperscript𝑚𝑛𝑝1subscript𝑚𝑛𝑝4𝑛delimited-[]subscript𝑡12subscript𝑥1subscript𝑡22subscript𝑥2subscript𝑛𝑛𝑝delimited-[]subscript𝑡112subscript𝑥1subscript𝑡212subscript𝑥2\begin{split}\frac{m_{n/p}}{m^{*}_{n/p}}=&1+\frac{m_{n/p}}{4}\Big{\{}n\big{[}t% _{1}(2+x_{1})+t_{2}(2+x_{2})\big{]}\\ +&n_{n/p}\big{[}-t_{1}(1+2x_{1})+t_{2}(1+2x_{2})\big{]}\Big{\}}\,.\end{split}start_ROW start_CELL divide start_ARG italic_m start_POSTSUBSCRIPT italic_n / italic_p end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n / italic_p end_POSTSUBSCRIPT end_ARG = end_CELL start_CELL 1 + divide start_ARG italic_m start_POSTSUBSCRIPT italic_n / italic_p end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG { italic_n [ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 2 + italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 2 + italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ] end_CELL end_ROW start_ROW start_CELL + end_CELL start_CELL italic_n start_POSTSUBSCRIPT italic_n / italic_p end_POSTSUBSCRIPT [ - italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( 1 + 2 italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + 2 italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ] } . end_CELL end_ROW (18)

To describe a finite nucleus, two additional terms are included in the Skyrme Hamiltonian Reinhard and Flocard (1995a); Chabanat et al. (1998). These terms are:

HSO=b4Jn+b4(Jnnn+Jpnp),subscript𝐻SOsubscript𝑏4J𝑛subscriptsuperscript𝑏4subscriptJ𝑛subscript𝑛𝑛subscriptJ𝑝subscript𝑛𝑝\begin{split}H_{\mathrm{SO}}=b_{4}\textbf{J}\cdot\triangledown n+b^{\prime}_{4% }(\textbf{J}_{n}\cdot\triangledown n_{n}+\textbf{J}_{p}\cdot\triangledown n_{p% }),\end{split}start_ROW start_CELL italic_H start_POSTSUBSCRIPT roman_SO end_POSTSUBSCRIPT = italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT J ⋅ ▽ italic_n + italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ( J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ⋅ ▽ italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + J start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ⋅ ▽ italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) , end_CELL end_ROW (19)

and

HJ=116(t1x1+t2x2)J2+116(t1t2)(Jn2+Jp2),subscript𝐻J116subscript𝑡1subscript𝑥1subscript𝑡2subscript𝑥2superscriptJ2116subscript𝑡1subscript𝑡2subscriptsuperscriptJ2𝑛subscriptsuperscriptJ2𝑝\begin{split}H_{\mathrm{J}}=-\frac{1}{16}(t_{1}x_{1}+t_{2}x_{2})\textbf{J}^{2}% +\frac{1}{16}(t_{1}-t_{2})(\textbf{J}^{2}_{n}+\textbf{J}^{2}_{p}),\end{split}start_ROW start_CELL italic_H start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT = - divide start_ARG 1 end_ARG start_ARG 16 end_ARG ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG 16 end_ARG ( italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ( J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + J start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) , end_CELL end_ROW (20)

where HSOsubscript𝐻SOH_{\mathrm{SO}}italic_H start_POSTSUBSCRIPT roman_SO end_POSTSUBSCRIPT are spin-orbit interactions and HJsubscript𝐻JH_{\mathrm{J}}italic_H start_POSTSUBSCRIPT roman_J end_POSTSUBSCRIPT are the central tensor terms. The 𝐉𝐧/𝐩subscript𝐉𝐧𝐩\bf{J}_{n/p}bold_J start_POSTSUBSCRIPT bold_n / bold_p end_POSTSUBSCRIPT is the spin-orbit density 𝐉𝐧/𝐩=ψ𝐧/𝐩σ×ψ𝐧/𝐩subscript𝐉𝐧𝐩subscriptsuperscript𝜓𝐧𝐩𝜎subscript𝜓𝐧𝐩\bf{J}_{n/p}=\psi^{\dagger}_{n/p}\overrightarrow{\sigma}\times\overrightarrow{% \triangledown}\psi_{n/p}bold_J start_POSTSUBSCRIPT bold_n / bold_p end_POSTSUBSCRIPT = italic_ψ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n / bold_p end_POSTSUBSCRIPT over→ start_ARG italic_σ end_ARG × over→ start_ARG ▽ end_ARG italic_ψ start_POSTSUBSCRIPT bold_n / bold_p end_POSTSUBSCRIPT and 𝐉=𝐉𝐧+𝐉𝐩𝐉subscript𝐉𝐧subscript𝐉𝐩\bf{J}=\bf{J}_{n}+\bf{J}_{p}bold_J = bold_J start_POSTSUBSCRIPT bold_n end_POSTSUBSCRIPT + bold_J start_POSTSUBSCRIPT bold_p end_POSTSUBSCRIPT.

I.2 The approximated spin-orbit potential in RMF models

The large component of Dirac equation follows,

[σp12M+ϵSVσpS+V]g(r)delimited-[]𝜎𝑝12𝑀italic-ϵ𝑆𝑉𝜎𝑝𝑆𝑉𝑔𝑟\displaystyle\left[\vec{\sigma}\cdot\vec{p}\frac{1}{2M+\epsilon-S-V}\vec{% \sigma}\cdot\vec{p}-S+V\right]g(r)[ over→ start_ARG italic_σ end_ARG ⋅ over→ start_ARG italic_p end_ARG divide start_ARG 1 end_ARG start_ARG 2 italic_M + italic_ϵ - italic_S - italic_V end_ARG over→ start_ARG italic_σ end_ARG ⋅ over→ start_ARG italic_p end_ARG - italic_S + italic_V ] italic_g ( italic_r ) =\displaystyle== ϵg(r)italic-ϵ𝑔𝑟\displaystyle\epsilon g(r)italic_ϵ italic_g ( italic_r ) (21)

where S=gσσ0±gδδ0𝑆plus-or-minussubscript𝑔𝜎subscript𝜎0subscript𝑔𝛿subscript𝛿0S=g_{\sigma}\ \sigma_{0}\pm g_{\delta}\delta_{0}italic_S = italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ± italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, V=gωω±gρρ0𝑉plus-or-minussubscript𝑔𝜔𝜔subscript𝑔𝜌subscript𝜌0V=g_{\omega}\ \omega\pm g_{\rho}\rho_{0}italic_V = italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT italic_ω ± italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, are mean field potential from classical expectation value of meson fields. By reducing the spherically symmetric Dirac equation with scalar and vector potentials to the non-relativistic Schrödinger equation to order (p/m)2superscript𝑝𝑚2(p/m)^{2}( italic_p / italic_m ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPTHorowitz and Serot (1981); Reinhard (1989), the effective single nucleon classical Hamiltonian is,

H𝐻\displaystyle Hitalic_H =\displaystyle== p12MpS(r)+V(r)+VSOsl𝑝12superscript𝑀𝑝𝑆𝑟𝑉𝑟subscript𝑉𝑆𝑂𝑠𝑙\displaystyle\vec{p}\frac{1}{2M^{*}}\vec{p}-S(r)+V(r)+V_{SO}\vec{s}\cdot\vec{l}over→ start_ARG italic_p end_ARG divide start_ARG 1 end_ARG start_ARG 2 italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG over→ start_ARG italic_p end_ARG - italic_S ( italic_r ) + italic_V ( italic_r ) + italic_V start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT over→ start_ARG italic_s end_ARG ⋅ over→ start_ARG italic_l end_ARG (22)
VSOsubscript𝑉𝑆𝑂\displaystyle V_{SO}italic_V start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== 1rddr[1M]1𝑟𝑑𝑑𝑟delimited-[]1superscript𝑀\displaystyle-\frac{1}{r}\frac{d}{dr}\left[\frac{1}{M^{*}}\right]- divide start_ARG 1 end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_r end_ARG [ divide start_ARG 1 end_ARG start_ARG italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG ] (23)

where l=r×p𝑙𝑟𝑝\vec{l}=\vec{r}\times\vec{p}over→ start_ARG italic_l end_ARG = over→ start_ARG italic_r end_ARG × over→ start_ARG italic_p end_ARG, s=σ/2𝑠𝜎2\vec{s}=\vec{\sigma}/2over→ start_ARG italic_s end_ARG = over→ start_ARG italic_σ end_ARG / 2 and M=mS(r)superscript𝑀𝑚𝑆𝑟M^{*}=m-S(r)italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_m - italic_S ( italic_r ) assuming that the relativistic single particle energy ϵ+S(r)V(r)<<2(mS)much-less-thanitalic-ϵ𝑆𝑟𝑉𝑟2𝑚𝑆\epsilon+S(r)-V(r)<<2(m-S)italic_ϵ + italic_S ( italic_r ) - italic_V ( italic_r ) < < 2 ( italic_m - italic_S ). However, it’s possible to rearrange terms of higher order in (p/m)2superscript𝑝𝑚2(p/m)^{2}( italic_p / italic_m ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT to obtain an equivalent form, M=mV(r)superscript𝑀𝑚𝑉𝑟M^{*}=m-V(r)italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_m - italic_V ( italic_r ), as shown in the Appendix of Reinhard (1989). Although these two expressions are equivalent to order (p/m)2superscript𝑝𝑚2(p/m)^{2}( italic_p / italic_m ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, their ratio can be of the order of 10%. Therefore, it’s reasonable to consider the average of these two choices,

Msuperscript𝑀\displaystyle M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT =\displaystyle== mS(r)+V(r)2,𝑚𝑆𝑟𝑉𝑟2\displaystyle m-\frac{S(r)+V(r)}{2},italic_m - divide start_ARG italic_S ( italic_r ) + italic_V ( italic_r ) end_ARG start_ARG 2 end_ARG , (24)

which can also be justified by taking ϵ<<2mSVmuch-less-thanitalic-ϵ2𝑚𝑆𝑉\epsilon<<2m-S-Vitalic_ϵ < < 2 italic_m - italic_S - italic_V Ring (1996); Ebran et al. (2016). Since scalar and vector potentials are mainly determined by the corresponding densities of the two-form current, modified by Coulomb interaction and the self and mixing couplings of mesons, we can simplify by considering only Yukawa coupling to generate the potentials. Furthermore, vector densities are strongly correlated with scalar densities, allowing us to approximate scalar densities with vector densities:

S(r)𝑆𝑟\displaystyle S(r)italic_S ( italic_r ) =\displaystyle== gσ2mσ2nB±gδ24mδ2(npnn)plus-or-minussuperscriptsubscript𝑔𝜎2subscriptsuperscript𝑚2𝜎subscript𝑛𝐵superscriptsubscript𝑔𝛿24subscriptsuperscript𝑚2𝛿subscript𝑛𝑝subscript𝑛𝑛\displaystyle\frac{g_{\sigma}^{2}}{m^{2}_{\sigma}}n_{B}\pm\frac{g_{\delta}^{2}% }{4m^{2}_{\delta}}(n_{p}-n_{n})divide start_ARG italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_ARG italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ± divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) (25)
V(r)𝑉𝑟\displaystyle V(r)italic_V ( italic_r ) =\displaystyle== gω2mω2nB±gρ24mρ2(npnn)plus-or-minussuperscriptsubscript𝑔𝜔2subscriptsuperscript𝑚2𝜔subscript𝑛𝐵superscriptsubscript𝑔𝜌24subscriptsuperscript𝑚2𝜌subscript𝑛𝑝subscript𝑛𝑛\displaystyle\frac{g_{\omega}^{2}}{m^{2}_{\omega}}n_{B}\pm\frac{g_{\rho}^{2}}{% 4m^{2}_{\rho}}(n_{p}-n_{n})divide start_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ± divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) (26)

where the upper sign is for protons and the lower sign for neutrons. The difference of isospin potential between proton and neutron is,

VSOp+VSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}+V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT + italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== drdr[Mp+MnMpMn]𝑑𝑟𝑑𝑟delimited-[]subscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛subscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛\displaystyle-\frac{d}{rdr}\left[\frac{M^{*}_{p}+M^{*}_{n}}{M^{*}_{p}M^{*}_{n}% }\right]- divide start_ARG italic_d end_ARG start_ARG italic_r italic_d italic_r end_ARG [ divide start_ARG italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ] (27)
VSOpVSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}-V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT - italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== drdr[MpMnMpMn]𝑑𝑟𝑑𝑟delimited-[]subscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛subscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛\displaystyle\frac{d}{rdr}\left[\frac{M^{*}_{p}-M^{*}_{n}}{M^{*}_{p}M^{*}_{n}}\right]divide start_ARG italic_d end_ARG start_ARG italic_r italic_d italic_r end_ARG [ divide start_ARG italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG ] (28)
MpMnsubscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛\displaystyle M^{*}_{p}-M^{*}_{n}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT =\displaystyle== (gδ2mδ2+gρ2mρ2)npnn4superscriptsubscript𝑔𝛿2subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌2subscriptsuperscript𝑚2𝜌subscript𝑛𝑝subscript𝑛𝑛4\displaystyle-(\frac{g_{\delta}^{2}}{m^{2}_{\delta}}+\frac{g_{\rho}^{2}}{m^{2}% _{\rho}})\frac{n_{p}-n_{n}}{4}- ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ) divide start_ARG italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG 4 end_ARG (29)
Mp+Mnsubscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛\displaystyle M^{*}_{p}+M^{*}_{n}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT =\displaystyle== 2m(gσ2mσ2+gω2mω2)nB2𝑚superscriptsubscript𝑔𝜎2subscriptsuperscript𝑚2𝜎superscriptsubscript𝑔𝜔2subscriptsuperscript𝑚2𝜔subscript𝑛𝐵\displaystyle 2m-(\frac{g_{\sigma}^{2}}{m^{2}_{\sigma}}+\frac{g_{\omega}^{2}}{% m^{2}_{\omega}})n_{B}2 italic_m - ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG ) italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT (30)

since (Mp+Mn)2>>(MpMn)2much-greater-thansuperscriptsubscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛2superscriptsubscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛2(M^{*}_{p}+M^{*}_{n})^{2}>>(M^{*}_{p}-M^{*}_{n})^{2}( italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > > ( italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, we can take MpMn(Mp+Mn)2/4subscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛superscriptsubscriptsuperscript𝑀𝑝subscriptsuperscript𝑀𝑛24M^{*}_{p}M^{*}_{n}\approx(M^{*}_{p}+M^{*}_{n})^{2}/4italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ≈ ( italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4, kee** only linear term in vector densities,

VSOp+VSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}+V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT + italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT \displaystyle\approx gσ2mσ2+gω2mω2rm2dnBdrsuperscriptsubscript𝑔𝜎2subscriptsuperscript𝑚2𝜎superscriptsubscript𝑔𝜔2subscriptsuperscript𝑚2𝜔𝑟superscript𝑚2𝑑subscript𝑛𝐵𝑑𝑟\displaystyle-\frac{\frac{g_{\sigma}^{2}}{m^{2}_{\sigma}}+\frac{g_{\omega}^{2}% }{m^{2}_{\omega}}}{rm^{2}}\frac{dn_{B}}{dr}- divide start_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG end_ARG start_ARG italic_r italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_r end_ARG (31)
VSOpVSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}-V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT - italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT \displaystyle\approx gδ2mδ2+gρ2mρ24rm2d(npnn)dr.superscriptsubscript𝑔𝛿2subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌2subscriptsuperscript𝑚2𝜌4𝑟superscript𝑚2𝑑subscript𝑛𝑝subscript𝑛𝑛𝑑𝑟\displaystyle-\frac{\frac{g_{\delta}^{2}}{m^{2}_{\delta}}+\frac{g_{\rho}^{2}}{% m^{2}_{\rho}}}{4rm^{2}}\frac{d(n_{p}-n_{n})}{dr}.- divide start_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG end_ARG start_ARG 4 italic_r italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_d ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_ARG start_ARG italic_d italic_r end_ARG . (32)

A similar form without the delta meson has been used to study the isospin dependence of the spin-orbit interaction, contrasting with the spin-orbit force in non-relativistic Skyrme models Sharma et al. (1995); Lalazissis et al. (1998); Pearson (2001). Isospin dependence of spin-orbit interaction is introduce to Skyrme models as:

VSOp/nsubscriptsuperscript𝑉𝑝𝑛𝑆𝑂\displaystyle V^{p/n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p / italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== 2b4rdnBdrb4rddr[nB±(npnn)]2subscript𝑏4𝑟𝑑subscript𝑛𝐵𝑑𝑟subscriptsuperscript𝑏4𝑟𝑑𝑑𝑟delimited-[]plus-or-minussubscript𝑛𝐵subscript𝑛𝑝subscript𝑛𝑛\displaystyle-\frac{2b_{4}}{r}\frac{dn_{B}}{dr}-\frac{b^{\prime}_{4}}{r}\frac{% d}{dr}\left[n_{B}\pm(n_{p}-n_{n})\right]- divide start_ARG 2 italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_r end_ARG - divide start_ARG italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_r end_ARG [ italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ± ( italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ] (33)

to address the problem of isotope shifts in the Pb regionReinhard and Flocard (1995b). Note that older models with only one spin-orbit potential parameter, W0=2b4=2b4subscript𝑊02subscript𝑏42subscriptsuperscript𝑏4W_{0}=2b_{4}=2b^{\prime}_{4}italic_W start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 2 italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 2 italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT is about 100 MeV\cdotfm5Chabanat et al. (1997); Pearson (2001).

VSOp+VSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}+V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT + italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== 4b4+2b4rdnBdr4subscript𝑏42subscriptsuperscript𝑏4𝑟𝑑subscript𝑛𝐵𝑑𝑟\displaystyle-\frac{4b_{4}+2b^{\prime}_{4}}{r}\frac{dn_{B}}{dr}- divide start_ARG 4 italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT + 2 italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT end_ARG start_ARG italic_d italic_r end_ARG (34)
VSOpVSOnsubscriptsuperscript𝑉𝑝𝑆𝑂subscriptsuperscript𝑉𝑛𝑆𝑂\displaystyle V^{p}_{SO}-V^{n}_{SO}italic_V start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT - italic_V start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_S italic_O end_POSTSUBSCRIPT =\displaystyle== 2b4rddr[npnn]2subscriptsuperscript𝑏4𝑟𝑑𝑑𝑟delimited-[]subscript𝑛𝑝subscript𝑛𝑛\displaystyle-\frac{2b^{\prime}_{4}}{r}\frac{d}{dr}\left[n_{p}-n_{n}\right]- divide start_ARG 2 italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG start_ARG italic_r end_ARG divide start_ARG italic_d end_ARG start_ARG italic_d italic_r end_ARG [ italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ] (35)

By comparing Eq. (34-35) with Eq. (31-32), the model parameter b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and b4superscriptsubscript𝑏4b_{4}^{\prime}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT can expressed as:

b4subscript𝑏4\displaystyle b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT \displaystyle\approx 14m2(gσ2mσ2+gω2mω2gδ24mδ2gρ24mρ2),14superscript𝑚2superscriptsubscript𝑔𝜎2subscriptsuperscript𝑚2𝜎superscriptsubscript𝑔𝜔2subscriptsuperscript𝑚2𝜔superscriptsubscript𝑔𝛿24subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌24subscriptsuperscript𝑚2𝜌\displaystyle\frac{1}{4m^{2}}\left(\frac{g_{\sigma}^{2}}{m^{2}_{\sigma}}+\frac% {g_{\omega}^{2}}{m^{2}_{\omega}}-\frac{g_{\delta}^{2}}{4m^{2}_{\delta}}-\frac{% g_{\rho}^{2}}{4m^{2}_{\rho}}\right),divide start_ARG 1 end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT end_ARG - divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG - divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ) , (36)
b4subscriptsuperscript𝑏4\displaystyle b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT \displaystyle\approx 18m2(gδ2mδ2+gρ2mρ2).18superscript𝑚2superscriptsubscript𝑔𝛿2subscriptsuperscript𝑚2𝛿superscriptsubscript𝑔𝜌2subscriptsuperscript𝑚2𝜌\displaystyle\frac{1}{8m^{2}}\left(\frac{g_{\delta}^{2}}{m^{2}_{\delta}}+\frac% {g_{\rho}^{2}}{m^{2}_{\rho}}\right).divide start_ARG 1 end_ARG start_ARG 8 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_ARG + divide start_ARG italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT end_ARG ) . (37)

In RMF models, we obtain b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and b4superscriptsubscript𝑏4b_{4}^{\prime}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT similar to those in non-relativistic models, as described in the above equations. In principle, b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and b4superscriptsubscript𝑏4b_{4}^{\prime}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are density dependent in RMF models. We take the leading order term so that b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and b4superscriptsubscript𝑏4b_{4}^{\prime}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are essentially a linear combination of coupling Yukawa coupling strength.

I.3 Weak Charge form factors with spin-orbit contributions

Form factors are key observable in electron scattering experiments. To calculate the weak charge form factor measured in PREX and CREX. We need to perform finite nuclei calculations to obtain the proton and neutron profiles then perform Fourier transform on the profile to get the corresponding form factor. In this work, we consider the impact of spin-orbit currents on the electromagnetic and weak charge form factors of Ca48superscriptCa48{}^{48}\mathrm{Ca}start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT roman_Ca and Pb208superscriptPb208{}^{208}\mathrm{Pb}start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT roman_Pb. It has been shown the contributions from spin-orbit currents are comparable to the present CREX experimental error barsHorowitz and Piekarewicz (2012b), and therefore should be necessary to incorporate spin-orbit currents in the calculation of weak form factors as:

ZFch(q)=i=p,n{GEi(q2)FVi(q)+GMi(q2)GEi(q2)1+τ×[τFVi(q)+q2mFTi(q)]},𝑍subscriptFch𝑞subscript𝑖𝑝𝑛superscriptsubscriptGE𝑖superscript𝑞2superscriptsubscriptFV𝑖𝑞superscriptsubscriptGM𝑖superscript𝑞2superscriptsubscriptGE𝑖superscript𝑞21𝜏delimited-[]𝜏superscriptsubscriptFV𝑖𝑞𝑞2msuperscriptsubscriptFT𝑖𝑞\begin{split}Z\mathrm{F}_{\mathrm{ch}}(q)&=\sum_{i=p,n}\{\mathrm{G}_{\mathrm{E% }}^{i}(q^{2})\mathrm{F}_{\mathrm{V}}^{i}(q)+\frac{\mathrm{G}_{\mathrm{M}}^{i}(% q^{2})-\mathrm{G}_{\mathrm{E}}^{i}(q^{2})}{1+\tau}\\ &\times[\tau\mathrm{F}_{\mathrm{V}}^{i}(q)+\frac{q}{2\mathrm{m}}\mathrm{F}_{% \mathrm{T}}^{i}(q)]\}~{},\end{split}start_ROW start_CELL italic_Z roman_F start_POSTSUBSCRIPT roman_ch end_POSTSUBSCRIPT ( italic_q ) end_CELL start_CELL = ∑ start_POSTSUBSCRIPT italic_i = italic_p , italic_n end_POSTSUBSCRIPT { roman_G start_POSTSUBSCRIPT roman_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_F start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) + divide start_ARG roman_G start_POSTSUBSCRIPT roman_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - roman_G start_POSTSUBSCRIPT roman_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 1 + italic_τ end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × [ italic_τ roman_F start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) + divide start_ARG italic_q end_ARG start_ARG 2 roman_m end_ARG roman_F start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) ] } , end_CELL end_ROW

and

QWFW(q)=i=p,n{G~Ei(q2)FVi(q)+G~Mi(q2)G~Ei(q2)1+τ×[τFVi(q)+q2mFTi(q)]},subscript𝑄WsubscriptFW𝑞subscript𝑖𝑝𝑛superscriptsubscript~GE𝑖superscript𝑞2superscriptsubscriptFV𝑖𝑞superscriptsubscript~GM𝑖superscript𝑞2superscriptsubscript~GE𝑖superscript𝑞21𝜏delimited-[]𝜏superscriptsubscriptFV𝑖𝑞𝑞2msuperscriptsubscriptFT𝑖𝑞\begin{split}Q_{\mathrm{W}}\mathrm{F}_{\mathrm{W}}(q)&=\sum_{i=p,n}\{\tilde{% \mathrm{G}}_{\mathrm{E}}^{i}(q^{2})\mathrm{F}_{\mathrm{V}}^{i}(q)+\frac{\tilde% {\mathrm{G}}_{\mathrm{M}}^{i}(q^{2})-\tilde{\mathrm{G}}_{\mathrm{E}}^{i}(q^{2}% )}{1+\tau}\\ &\times[\tau\mathrm{F}_{\mathrm{V}}^{i}(q)+\frac{q}{2\mathrm{m}}\mathrm{F}_{% \mathrm{T}}^{i}(q)]\}~{},\end{split}start_ROW start_CELL italic_Q start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT roman_F start_POSTSUBSCRIPT roman_W end_POSTSUBSCRIPT ( italic_q ) end_CELL start_CELL = ∑ start_POSTSUBSCRIPT italic_i = italic_p , italic_n end_POSTSUBSCRIPT { over~ start_ARG roman_G end_ARG start_POSTSUBSCRIPT roman_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_F start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) + divide start_ARG over~ start_ARG roman_G end_ARG start_POSTSUBSCRIPT roman_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - over~ start_ARG roman_G end_ARG start_POSTSUBSCRIPT roman_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG 1 + italic_τ end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × [ italic_τ roman_F start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) + divide start_ARG italic_q end_ARG start_ARG 2 roman_m end_ARG roman_F start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ( italic_q ) ] } , end_CELL end_ROW

where the GE,MisubscriptsuperscriptG𝑖EM\mathrm{G}^{i}_{\mathrm{E,M}}roman_G start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_E , roman_M end_POSTSUBSCRIPT are electric and magnetic single nucleon form factors and the G~E,Misubscriptsuperscript~G𝑖EM\tilde{\mathrm{G}}^{i}_{\mathrm{E,M}}over~ start_ARG roman_G end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_E , roman_M end_POSTSUBSCRIPT are electric and magnetic form factors for the weak-neutral current. Similar as Horowitz and Piekarewicz (2012b), we adopted a simple dipole parametrization of these single-nucleon form factors.

The vector and tensor form factors Fv(q)subscriptFv𝑞\mathrm{F}_{\mathrm{v}}(q)roman_F start_POSTSUBSCRIPT roman_v end_POSTSUBSCRIPT ( italic_q ) and FT(q)subscriptFT𝑞\mathrm{F}_{\mathrm{T}}(q)roman_F start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ( italic_q ) are obtained by:

FV(q)=nκ(2j+1)0[gnκ2(r)+fnκ2(r)]j0(qr)𝑑r,subscriptFV𝑞subscript𝑛𝜅2𝑗1superscriptsubscript0delimited-[]subscriptsuperscript𝑔2𝑛𝜅𝑟subscriptsuperscript𝑓2𝑛𝜅𝑟subscript𝑗0𝑞𝑟differential-d𝑟\mathrm{F}_{\mathrm{V}}(q)=\sum_{n\kappa}(2j+1)\int_{0}^{\infty}[g^{2}_{n% \kappa}(r)+f^{2}_{n\kappa}(r)]j_{0}(qr)dr~{},roman_F start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ( italic_q ) = ∑ start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( 2 italic_j + 1 ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT [ italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) + italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) ] italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_q italic_r ) italic_d italic_r ,

and

FT(q)=nκ2(2j+1)0gnκ(r)fnκ(r)j1(qr)𝑑r,subscriptFT𝑞subscript𝑛𝜅22𝑗1superscriptsubscript0subscript𝑔𝑛𝜅𝑟subscript𝑓𝑛𝜅𝑟subscript𝑗1𝑞𝑟differential-d𝑟\mathrm{F}_{\mathrm{T}}(q)=\sum_{n\kappa}2(2j+1)\int_{0}^{\infty}g_{n\kappa}(r% )f_{n\kappa}(r)j_{1}(qr)dr~{},roman_F start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ( italic_q ) = ∑ start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT 2 ( 2 italic_j + 1 ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) italic_f start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) italic_j start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_q italic_r ) italic_d italic_r ,

where gnκ(r)subscript𝑔𝑛𝜅𝑟g_{n\kappa}(r)italic_g start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) and fnκsubscript𝑓𝑛𝜅f_{n\kappa}italic_f start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT are upper and lower component of Dirac spinor in RMF models. Wave functions in non-relativistic Skyrme model corresponds to the larger upper component gnκ(r)subscript𝑔𝑛𝜅𝑟g_{n\kappa}(r)italic_g start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ). The lower component fnκsubscript𝑓𝑛𝜅f_{n\kappa}italic_f start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT is obtained by assuming a free space relation Horowitz and Piekarewicz (2012b); Adhikari et al. (2022b).

fnκ=12m(ddr+κr)gnκ(r).subscript𝑓𝑛𝜅12m𝑑𝑑𝑟𝜅𝑟subscript𝑔𝑛𝜅𝑟f_{n\kappa}=\frac{1}{2\mathrm{m}}(\frac{d}{dr}+\frac{\kappa}{r})g_{n\kappa}(r).italic_f start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 roman_m end_ARG ( divide start_ARG italic_d end_ARG start_ARG italic_d italic_r end_ARG + divide start_ARG italic_κ end_ARG start_ARG italic_r end_ARG ) italic_g start_POSTSUBSCRIPT italic_n italic_κ end_POSTSUBSCRIPT ( italic_r ) .
Table 5: Prior distribution of Skyrme and RMF parameters. nssubscript𝑛𝑠n_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, B𝐵Bitalic_B, Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, K𝐾Kitalic_K and SVsubscript𝑆𝑉S_{V}italic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT map to t0subscript𝑡0t_{0}italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, t1subscript𝑡1t_{1}italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, t2subscript𝑡2t_{2}italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, t3subscript𝑡3t_{3}italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, γ𝛾\gammaitalic_γ for Skyrme models and gσsubscript𝑔𝜎g_{\sigma}italic_g start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT, gωsubscript𝑔𝜔g_{\omega}italic_g start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT, gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT, κ𝜅\kappaitalic_κ, λ𝜆\lambdaitalic_λ for RMF models.
parameter prior
nssubscript𝑛𝑠n_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT [MeV] [0.14,0.165]
B𝐵Bitalic_B [MeV] [-15.5,-16.5]
Both Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT [MeV] [0.5,0.8]×\times× 939
K𝐾Kitalic_K [MeV] [210,250]
SVsubscript𝑆𝑉S_{V}italic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ([MeV] [20,50]
mσsubscript𝑚𝜎m_{\sigma}italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT [MeV] [450,550]
mδsubscript𝑚𝛿m_{\delta}italic_m start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT [MeV] 980
mωsubscript𝑚𝜔m_{\omega}italic_m start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT [MeV] 782.5
RMF mρsubscript𝑚𝜌m_{\rho}italic_m start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT [MeV] 763
L𝐿Litalic_L [MeV] [Lsuperscript𝐿L^{-}italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT,L+superscript𝐿L^{+}italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT]
gδ2[]superscriptsubscript𝑔𝛿2g_{\delta}^{2}[]italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ ] [0,1500]
ζωsubscript𝜁𝜔\zeta_{\omega}italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT [] [0,0.03]
x0subscript𝑥0x_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [] [-1.81,2.15]
x1subscript𝑥1x_{1}italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [] [-7.53, 3.77]
Skyrme x2subscript𝑥2x_{2}italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT [] [-49.90, 91.93]
x3subscript𝑥3x_{3}italic_x start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT [] [-3.41, 3.73]
b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT [fm4superscriptfm4\mathrm{fm}^{4}roman_fm start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT] [-0.36, 0.72]
b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT [fm4superscriptfm4\mathrm{fm}^{4}roman_fm start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT] [-0.36, 0.72]

I.4 Prior

In this and the following two sections, we describe the prior, likelihood and Posterior in our Bayesian analysis. Our RMF model have 12 parameters. We fixed the δ𝛿\deltaitalic_δ, ω𝜔\omegaitalic_ω and ρ𝜌\rhoitalic_ρ meson masses, mδ=980subscript𝑚𝛿980m_{\delta}=980italic_m start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT = 980 MeV, mω=782.5subscript𝑚𝜔782.5m_{\omega}=782.5italic_m start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = 782.5 MeV and mρ=763subscript𝑚𝜌763m_{\rho}=763italic_m start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT = 763 MeV as in many FSU type models, leaving us with 9 free parameters. σ𝜎\sigmaitalic_σ meson mass is a free parameter with uniform distribution [450,550]450550[450,550][ 450 , 550 ] MeV. We also take uniform prior in SNM properties nssubscript𝑛𝑠n_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, BE𝐵𝐸BEitalic_B italic_E, Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and K𝐾Kitalic_K, see Table 5. These 4 bulk nuclear properties can be mapped to 4 isoscalar coupling constant, as in Chen and Piekarewicz (2014), except for ω𝜔\omegaitalic_ω meson self-coupling ζωsubscript𝜁𝜔\zeta_{\omega}italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT which take flat distribution [0,0.03]00.03[0,0.03][ 0 , 0.03 ]. Isovector sector is governed by gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT, gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT and ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT which can be mapped to symmetry energy properties SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L, assuming a flat distribution of gδ[0,1500]subscript𝑔𝛿01500g_{\delta}\in[0,1500]italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT ∈ [ 0 , 1500 ]. SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT take uniformly prior while L𝐿Litalic_L is uniformly distributed in [L,L+]superscript𝐿superscript𝐿[L^{-},L^{+}][ italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT , italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ]. Because Lsuperscript𝐿L^{-}italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and L+superscript𝐿L^{+}italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT are not fixed but determined by other parameters. And flat distributions of these parameters finally result in a non-flat prior distribution of L,

In this and the following two sections, we describe the prior, likelihood, and posterior in our Bayesian analysis. Our RMF model has 12 parameters. We fixed the δ𝛿\deltaitalic_δ, ω𝜔\omegaitalic_ω, and ρ𝜌\rhoitalic_ρ meson masses at mδ=980subscript𝑚𝛿980m_{\delta}=980italic_m start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT = 980 MeV, mω=782.5subscript𝑚𝜔782.5m_{\omega}=782.5italic_m start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT = 782.5 MeV, and mρ=763subscript𝑚𝜌763m_{\rho}=763italic_m start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT = 763 MeV, as in many FSU-type models, leaving us with 9 free parameters. The σ𝜎\sigmaitalic_σ meson mass is a free parameter with a uniform distribution in the range [450,550]450550[450,550][ 450 , 550 ] MeV. We also take a uniform prior for the symmetric nuclear matter (SNM) properties nssubscript𝑛𝑠n_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, BE𝐵𝐸BEitalic_B italic_E, Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, and K𝐾Kitalic_K, as shown in Table 5. These 4 bulk nuclear properties can be mapped to 4 isoscalar coupling constants, as in Chen and Piekarewicz (2014), except for the ω𝜔\omegaitalic_ω meson self-coupling ζωsubscript𝜁𝜔\zeta_{\omega}italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT, which takes a flat distribution in the range [0,0.03]00.03[0,0.03][ 0 , 0.03 ]. The isovector sector is governed by gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT, gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT, and ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT, which can be mapped to the symmetry energy properties SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L, assuming a flat distribution of gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT in the range [0,1500]01500[0,1500][ 0 , 1500 ]. SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT takes a uniform prior, while L𝐿Litalic_L is uniformly distributed in [L,L+]superscript𝐿superscript𝐿[L^{-},L^{+}][ italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT , italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ]. Because Lsuperscript𝐿L^{-}italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT and L+superscript𝐿L^{+}italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT are not fixed but determined by other parameters, the flat distributions of these parameters result in a non-flat prior distribution of L𝐿Litalic_L:

P(L)=ζωζω+mσmσ+L(mσ,,ζω)L+(mσ,,ζω)δ(LL)𝑑L𝑑mσ𝑑ζω𝑃𝐿subscriptsuperscriptsuperscriptsubscript𝜁𝜔superscriptsubscript𝜁𝜔subscriptsuperscriptsuperscriptsubscript𝑚𝜎superscriptsubscript𝑚𝜎superscriptsubscriptsuperscript𝐿subscript𝑚𝜎subscript𝜁𝜔superscript𝐿subscript𝑚𝜎subscript𝜁𝜔𝛿superscript𝐿𝐿differential-dsuperscript𝐿differential-dsubscript𝑚𝜎differential-dsubscript𝜁𝜔\displaystyle P(L)=\int^{\zeta_{\omega}^{+}}_{\zeta_{\omega}^{-}}\dots\int^{m_% {\sigma}^{+}}_{m_{\sigma}^{-}}\int_{L^{-}(m_{\sigma},\dots,\zeta_{\omega})}^{L% ^{+}(m_{\sigma},\dots,\zeta_{\omega})}\delta(L^{\prime}-L)dL^{\prime}dm_{% \sigma}\dots d\zeta_{\omega}italic_P ( italic_L ) = ∫ start_POSTSUPERSCRIPT italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT … ∫ start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT , … , italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ) end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT ( italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT , … , italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT italic_δ ( italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_L ) italic_d italic_L start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d italic_m start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT … italic_d italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT (38)

Lsuperscript𝐿L^{-}italic_L start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT is a physical bound beyond which the quadratic formula for map** L𝐿Litalic_L to ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT has no solution Chen and Piekarewicz (2014). L+superscript𝐿L^{+}italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT can be solved by setting Λωρ=0subscriptΛ𝜔𝜌0\Lambda_{\omega\rho}=0roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT = 0, so that L<L+𝐿superscript𝐿L<L^{+}italic_L < italic_L start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT corresponds to Λωρ>0subscriptΛ𝜔𝜌0\Lambda_{\omega\rho}>0roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT > 0, ensuring that β𝛽\betaitalic_β-equilibrium matter remains neutron-rich (np<nnsubscript𝑛𝑝subscript𝑛𝑛n_{p}<n_{n}italic_n start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT < italic_n start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT) at high density. Positive ΛωρsubscriptΛ𝜔𝜌\Lambda_{\omega\rho}roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT is introduced to reduce the symmetry energy, similar to the positive ζωsubscript𝜁𝜔\zeta_{\omega}italic_ζ start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT, which serves to reduce the SNM energy. Thus, we take Λωρ=0subscriptΛ𝜔𝜌0\Lambda_{\omega\rho}=0roman_Λ start_POSTSUBSCRIPT italic_ω italic_ρ end_POSTSUBSCRIPT = 0 as our natural upper bound for the symmetry energy slope in the RMF model.

The prior distribution of Skyrme parameters is chosen similarly to ensure consistency with the prior distribution used for the RMF models. We use flat prior distributions for nssubscript𝑛𝑠n_{s}italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, B𝐵Bitalic_B, Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, K𝐾Kitalic_K, and SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, as well as for the xisubscript𝑥𝑖x_{i}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT parameters with bounds in Table 5. The range of the xisubscript𝑥𝑖x_{i}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, and b4superscriptsubscript𝑏4b_{4}^{\prime}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT parameters in the Skyrme prior distributions are determined as follows. First, we examined 11 widely used Skyrme models (SGII, NRAPR, UNEDF0, UNEDF2, SLy4, SV-min, SkO, SkOp, BSk16, KDE0v, and Gs). We then identified the maximum and minimum xisubscript𝑥𝑖x_{i}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT parameters in these 11 models, denoted as ximaxsuperscriptsubscript𝑥𝑖maxx_{i}^{\mathrm{max}}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT, ximinsuperscriptsubscript𝑥𝑖minx_{i}^{\mathrm{min}}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT, b4maxsuperscriptsubscript𝑏4maxb_{4}^{\mathrm{max}}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT, b4minsuperscriptsubscript𝑏4minb_{4}^{\mathrm{min}}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT, b4maxsuperscriptsubscript𝑏4maxb_{4}^{\prime\mathrm{max}}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_max end_POSTSUPERSCRIPT, and b4minsuperscriptsubscript𝑏4minb_{4}^{\prime\mathrm{min}}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_min end_POSTSUPERSCRIPT. To cover a wide range of possible Skyrme parameters, we determine the prior distribution of xisubscript𝑥𝑖x_{i}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, b4subscript𝑏4b_{4}italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, and b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT parameters as [ximinΔxi,ximax+Δxi]superscriptsubscript𝑥𝑖minΔsubscript𝑥𝑖superscriptsubscript𝑥𝑖maxΔsubscript𝑥𝑖[x_{i}^{\mathrm{min}}-\Delta x_{i},x_{i}^{\mathrm{max}}+\Delta x_{i}][ italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT - roman_Δ italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT + roman_Δ italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ], [b4minΔb4,b4max+Δb4]superscriptsubscript𝑏4minΔsubscript𝑏4superscriptsubscript𝑏4maxΔsubscript𝑏4[b_{4}^{\mathrm{min}}-\Delta b_{4},b_{4}^{\mathrm{max}}+\Delta b_{4}][ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT - roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT + roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ], and [b4minΔb4,b4max+Δb4]superscriptsubscript𝑏4minΔsuperscriptsubscript𝑏4superscriptsubscript𝑏4maxΔsuperscriptsubscript𝑏4[b_{4}^{\prime\mathrm{min}}-\Delta b_{4}^{\prime},b_{4}^{\prime\mathrm{max}}+% \Delta b_{4}^{\prime}][ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_min end_POSTSUPERSCRIPT - roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_max end_POSTSUPERSCRIPT + roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ], where Δxi=ximaxximinΔsubscript𝑥𝑖superscriptsubscript𝑥𝑖maxsuperscriptsubscript𝑥𝑖min\Delta x_{i}=x_{i}^{\mathrm{max}}-x_{i}^{\mathrm{min}}roman_Δ italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT - italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT, Δb4=b4maxb4minΔsubscript𝑏4superscriptsubscript𝑏4maxsuperscriptsubscript𝑏4min\Delta b_{4}=b_{4}^{\mathrm{max}}-b_{4}^{\mathrm{min}}roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT - italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT, and Δb4=b4maxb4minΔsuperscriptsubscript𝑏4superscriptsubscript𝑏4maxsuperscriptsubscript𝑏4min\Delta b_{4}^{\prime}=b_{4}^{\prime\mathrm{max}}-b_{4}^{\prime\mathrm{min}}roman_Δ italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_max end_POSTSUPERSCRIPT - italic_b start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ roman_min end_POSTSUPERSCRIPT.

Additionally, we constrain our RMF and Skyrme models to ensure that the pressure of matter in β𝛽\betaitalic_β-equilibrium is always increasing with increasing energy density and to ensure that the proton fraction in β𝛽\betaitalic_β-equilibrium never vanishes. Note that this doesn’t guarantee that symmetry energy slope L𝐿Litalic_L defined around SNM has to be positive.

Table 6: The list of experiment and observation with adopted errors. Charge and weak form factor Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT and FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT listed here correspond to momentum transfer q=0.8733𝑞0.8733q=0.8733italic_q = 0.8733 fm-1 for 48Ca in CREX or 0.39770.39770.39770.3977 fm-1 for in PREX.
Property Mean Standard Deviation
RchC48asuperscriptsubscript𝑅𝑐superscript𝐶48𝑎R_{ch}^{{}^{48}Ca}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a end_POSTSUPERSCRIPT [fm] 3.48 0.070
RchZ90rsuperscriptsubscript𝑅𝑐superscript𝑍90𝑟R_{ch}^{{}^{90}Zr}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 90 end_FLOATSUPERSCRIPT italic_Z italic_r end_POSTSUPERSCRIPT [fm] 4.27 0.085
RchP208bsuperscriptsubscript𝑅𝑐superscript𝑃208𝑏R_{ch}^{{}^{208}Pb}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b end_POSTSUPERSCRIPT [fm] 5.50 0.11
Basic nuclei BEC48asuperscript𝐶48𝑎{}^{{}^{48}Ca}start_FLOATSUPERSCRIPT start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a end_FLOATSUPERSCRIPT [MeV] 8.67 0.173
constraints BEZ90rsuperscript𝑍90𝑟{}^{{}^{90}Zr}start_FLOATSUPERSCRIPT start_FLOATSUPERSCRIPT 90 end_FLOATSUPERSCRIPT italic_Z italic_r end_FLOATSUPERSCRIPT [MeV] 8.71 0.174
BEP208bsuperscript𝑃208𝑏{}^{{}^{208}Pb}start_FLOATSUPERSCRIPT start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b end_FLOATSUPERSCRIPT [MeV] 7.87 0.157
FchC48asuperscriptsubscript𝐹𝑐superscript𝐶48𝑎F_{ch}^{{}^{48}Ca}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a end_POSTSUPERSCRIPT [] 0.1581 0.001
FchP208bsuperscriptsubscript𝐹𝑐superscript𝑃208𝑏F_{ch}^{{}^{208}Pb}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b end_POSTSUPERSCRIPT [] 0.409 0.001
CREX FWC48aFchC48asuperscriptsubscript𝐹𝑊superscript𝐶48𝑎superscriptsubscript𝐹𝑐superscript𝐶48𝑎F_{W}^{{}^{48}Ca}-F_{ch}^{{}^{48}Ca}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a end_POSTSUPERSCRIPT - italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 48 end_FLOATSUPERSCRIPT italic_C italic_a end_POSTSUPERSCRIPT [] 0.0277 0.0055
PREX FWP208bFchP208bsuperscriptsubscript𝐹𝑊superscript𝑃208𝑏superscriptsubscript𝐹𝑐superscript𝑃208𝑏F_{W}^{{}^{208}Pb}-F_{ch}^{{}^{208}Pb}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b end_POSTSUPERSCRIPT - italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT 208 end_FLOATSUPERSCRIPT italic_P italic_b end_POSTSUPERSCRIPT [] 0.041 0.013

I.5 Likelihood

In the Bayesian analysis of RMF and Skyrme models, we use the same constraints and uncertainties. To account for theoretical uncertainty, we incorporate a 2% uncertainty in the measured value of Rchsubscript𝑅𝑐R_{ch}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT and a 5% uncertainty in the standard deviation of B/A𝐵𝐴B/Aitalic_B / italic_A. It is also necessary to constrain Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT accurately to ensure that the electric weak form factor difference, FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT, can be interpreted as a measurement in PREX and CREX. The constraints on B/A𝐵𝐴B/Aitalic_B / italic_A, Rchsubscript𝑅𝑐R_{ch}italic_R start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT, and Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT together form the basic nuclear constraints in our Bayesian analysis, as listed in Table 6.

Sampling with basic nuclear constraints results in drastically different posteriors for L𝐿Litalic_L. In the Skyrme model, negative L𝐿Litalic_L is suppressed by the constraint that the pressure of matter in β𝛽\betaitalic_β-equilibrium is always increasing with energy density. However, RMF models with negative L𝐿Litalic_L around SNM can have a large symmetry energy slope around PNM due to the breakdown of the quadratic formula of symmetry energy with large gδsubscript𝑔𝛿g_{\delta}italic_g start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT and gρsubscript𝑔𝜌g_{\rho}italic_g start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT. Since our goal is not to constrain the nuclear model with basic nuclear constraints, we add an additional likelihood factor to our RMF models to ensure the SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT-L𝐿Litalic_L distribution is compatible with only basic nuclei constraints, as shown by the black dashed ellipse in Fig. 1 in the letter.

In addition to the basic nuclei constraints, we impose additional PREX and CREX seperately and jointly, forming 4 sets of likelyhoods: basic nuclei, +PREX, +CREX and +PREX+CREX. We take the electric weak form factor difference FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT instead of weak form factor FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT as constraints of PREX and CREX experiments as tabulated in Table 6. In principle, weak form factor FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT can be determined from the parity violating asymmetry APVsubscript𝐴𝑃𝑉A_{PV}italic_A start_POSTSUBSCRIPT italic_P italic_V end_POSTSUBSCRIPT measured in PREX and CREX experiments by the Coulomb distortion calculation assuming a electric charge distribution. As the electric charge distribution has already been determined experimentally with great accuracy, both FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT and FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT are determined experimentally from the measured APVsubscript𝐴𝑃𝑉A_{PV}italic_A start_POSTSUBSCRIPT italic_P italic_V end_POSTSUBSCRIPT without any model dependence. However, the theoretical models like RMF and Skyrme models optimized with charge radius doesn’t have enough accuracy to ensure consistency with the charge distribution assumed in Coulomb distortion calculation. Therefore, we need to make sure that the value of Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT used in our calculations is close to that used in analysis of PREX and CREX. To achieve this, we take σFch=0.001subscript𝜎subscript𝐹𝑐0.001\sigma_{F_{ch}}=0.001italic_σ start_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT end_POSTSUBSCRIPT = 0.001 which is much smaller than σFWsubscript𝜎subscript𝐹𝑊\sigma_{F_{W}}italic_σ start_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_POSTSUBSCRIPT. And due to the remaining uncertainty in Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT, we consider FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT in the likelihood for its better constraints than FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT.

In addition to the basic nuclear constraints, we impose additional PREX and CREX constraints separately and jointly, forming four sets of likelihoods: basic nuclei, +PREX, +CREX, and +PREX+CREX. We take the electric weak form factor difference FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT instead of the weak form factor FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT as constraints of PREX and CREX experiments, as tabulated in Table 6. In principle, the weak form factor FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT can be determined from the parity-violating asymmetry APVsubscript𝐴𝑃𝑉A_{PV}italic_A start_POSTSUBSCRIPT italic_P italic_V end_POSTSUBSCRIPT measured in PREX and CREX experiments through Coulomb distortion calculations, assuming an electric charge distribution. Since the electric charge distribution has already been determined experimentally with great accuracy, both FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT and FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT are determined experimentally from the measured APVsubscript𝐴𝑃𝑉A_{PV}italic_A start_POSTSUBSCRIPT italic_P italic_V end_POSTSUBSCRIPT without any model dependence. However, theoretical models like RMF and Skyrme models, optimized with charge radius, do not have enough accuracy to ensure consistency with the charge distribution assumed in Coulomb distortion calculations. Therefore, we need to make sure that the value of Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT used in our calculations is close to that used in the analysis of PREX and CREX. To achieve this, we take σFch=0.001subscript𝜎subscript𝐹𝑐0.001\sigma_{F_{ch}}=0.001italic_σ start_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT end_POSTSUBSCRIPT = 0.001, which is much smaller than σFWsubscript𝜎subscript𝐹𝑊\sigma_{F_{W}}italic_σ start_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_POSTSUBSCRIPT. Due to the remaining uncertainty in Fchsubscript𝐹𝑐F_{ch}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT, we consider FchFWsubscript𝐹𝑐subscript𝐹𝑊F_{ch}-F_{W}italic_F start_POSTSUBSCRIPT italic_c italic_h end_POSTSUBSCRIPT - italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT in the likelihood for its better constraints compared to FWsubscript𝐹𝑊F_{W}italic_F start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT.

Finally, we want to comment on additional constraints from giant monopole resonances (GMR) and dipole polarizability, which we do not consider explicitly in the likelihood. Instead, we use a tight prior on the compressibility K𝐾Kitalic_K within the empirical window [210,250]210250[210,250][ 210 , 250 ] MeV to account for GMR. Although we don’t include dipole polarizability explicitly, it is possible to consider dipole polarizability as an additional independent constraint on SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT Piekarewicz et al. (2012):

SV=L+[146±1]MeV[6.11±0.316]subscript𝑆V𝐿delimited-[]plus-or-minus1461MeVdelimited-[]plus-or-minus6.110.316\displaystyle S_{\mathrm{V}}=\frac{L+\left[146\pm 1\right]\rm{~{}MeV}}{\left[6% .11\pm 0.316\right]}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT = divide start_ARG italic_L + [ 146 ± 1 ] roman_MeV end_ARG start_ARG [ 6.11 ± 0.316 ] end_ARG (39)

This is shown in Fig. 1 and applied in Fig. 2 in the letter.

Refer to caption
Refer to caption
Figure 4: The posterior distributions of model parameters, saturation properties and ΔFΔ𝐹\Delta Froman_Δ italic_F measured in PREX and CREX for Skyrme model (upper) and RMF (lower) model.
Refer to caption
Refer to caption
Figure 5: The Pearson correlation coefficient between model parameters, saturation properties and ΔFΔ𝐹\Delta Froman_Δ italic_F measured in PREX and CREX for Skyrme model (upper) and RMF (lower) model.
Refer to caption
Refer to caption
Figure 6: The posterior distributions of basic nuclear properties used in the likelihood as well as neutron skins of 48Ca and 208Pb for Skyrme model (upper) and RMF (lower) model.

I.6 Posterior

With the prior and likelihood discussed above, we obtain the posterior distributions of model parameters, saturation properties, and ΔFΔ𝐹\Delta Froman_Δ italic_F measured in PREX and CREX, as shown in 4. To highlight the significant aspects of the posterior distribution, we also plot the Pearson correlation coefficient between any two parameters, as shown in Fig. 5. Some model parameters, such as t0subscript𝑡0t_{0}italic_t start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, t3subscript𝑡3t_{3}italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, and α=γ2𝛼𝛾2\alpha=\gamma-2italic_α = italic_γ - 2, are tightly correlated due to the map** between saturation properties used in our prior. Isoscalar and isovector Yukawa couplings are also tightly correlated due to the priors on binding energy B𝐵Bitalic_B and effective mass Msuperscript𝑀M^{*}italic_M start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT. For both Skyrme and RMF models, the symmetry energy SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and its slope L𝐿Litalic_L are very sensitive parameters related to the form factor difference measured in PREX and CREX. From the posterior of Bayesian analysis, we obtain the mean and covariance of SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L with +PREX+CREX constraints,

(S¯V,L¯)subscript¯𝑆V¯𝐿\displaystyle(\bar{S}_{\mathrm{V}},\bar{L})( over¯ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT , over¯ start_ARG italic_L end_ARG ) =\displaystyle== (34.1,40.3)Skyrme,(31.4,49.1)RMFsubscript34.140.3𝑆𝑘𝑦𝑟𝑚𝑒subscript31.449.1𝑅𝑀𝐹\displaystyle(34.1,~{}~{}40.3)_{Skyrme},~{}~{}~{}(31.4,~{}~{}49.1)_{RMF}( 34.1 , 40.3 ) start_POSTSUBSCRIPT italic_S italic_k italic_y italic_r italic_m italic_e end_POSTSUBSCRIPT , ( 31.4 , 49.1 ) start_POSTSUBSCRIPT italic_R italic_M italic_F end_POSTSUBSCRIPT (40)
covcov\displaystyle\sqrt{\mathrm{cov}}square-root start_ARG roman_cov end_ARG =\displaystyle== (6.59.19.121.3)Skyrme,(5.29.69.627.4)RMFsubscriptmatrix6.59.19.121.3𝑆𝑘𝑦𝑟𝑚𝑒subscriptmatrix5.29.69.627.4𝑅𝑀𝐹\displaystyle\begin{pmatrix}6.5&9.1\\ 9.1&21.3\end{pmatrix}_{Skyrme},~{}~{}\begin{pmatrix}5.2&9.6\\ 9.6&27.4\end{pmatrix}_{RMF}( start_ARG start_ROW start_CELL 6.5 end_CELL start_CELL 9.1 end_CELL end_ROW start_ROW start_CELL 9.1 end_CELL start_CELL 21.3 end_CELL end_ROW end_ARG ) start_POSTSUBSCRIPT italic_S italic_k italic_y italic_r italic_m italic_e end_POSTSUBSCRIPT , ( start_ARG start_ROW start_CELL 5.2 end_CELL start_CELL 9.6 end_CELL end_ROW start_ROW start_CELL 9.6 end_CELL start_CELL 27.4 end_CELL end_ROW end_ARG ) start_POSTSUBSCRIPT italic_R italic_M italic_F end_POSTSUBSCRIPT

compared with the posterior with basic nuclei constraints only,

(S¯V,L¯)subscript¯𝑆V¯𝐿\displaystyle(\bar{S}_{\mathrm{V}},\bar{L})( over¯ start_ARG italic_S end_ARG start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT , over¯ start_ARG italic_L end_ARG ) =\displaystyle== (32.8,66.8),cov=(5.911.711.731.2)32.866.8covmatrix5.911.711.731.2\displaystyle(32.8,~{}~{}66.8),~{}~{}~{}\sqrt{\mathrm{cov}}=\begin{pmatrix}5.9% &11.7\\ 11.7&31.2\end{pmatrix}( 32.8 , 66.8 ) , square-root start_ARG roman_cov end_ARG = ( start_ARG start_ROW start_CELL 5.9 end_CELL start_CELL 11.7 end_CELL end_ROW start_ROW start_CELL 11.7 end_CELL start_CELL 31.2 end_CELL end_ROW end_ARG ) (41)

.

Interestingly, despite the weak correlation between b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and ΔFCa48/Pb208Δsuperscript𝐹Ca48Pb208\Delta F^{\mathrm{Ca}48/\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 / Pb208 end_POSTSUPERSCRIPT in the Skyrme model, as observed in Reinhard et al. (2022b), b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT can be quite sensitive to a linear combination of ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca}48}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT, such as a′′ΔFCa48+b′′ΔFPb208superscript𝑎′′Δsuperscript𝐹Ca48superscript𝑏′′Δsuperscript𝐹Pb208a^{\prime\prime}\Delta F^{\mathrm{Ca}48}+b^{\prime\prime}\Delta F^{\mathrm{Pb}% 208}italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT + italic_b start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT, significantly influencing the distribution of ΔFCa48,ΔFPb208Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208\Delta F^{\mathrm{Ca}48},\Delta F^{\mathrm{Pb}208}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT. The posterior for b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT increases to b4=0.310+0.240.26superscript𝑏4superscript0.3100.240.26b^{\prime}4=0.310^{+0.24}{-0.26}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT 4 = 0.310 start_POSTSUPERSCRIPT + 0.24 end_POSTSUPERSCRIPT - 0.26 with additional PREX and CREX constraints from b4=0.244+0.210.19subscriptsuperscript𝑏4superscript0.2440.210.19b^{\prime}_{4}=0.244^{+0.21}{-0.19}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.244 start_POSTSUPERSCRIPT + 0.21 end_POSTSUPERSCRIPT - 0.19 with basic nuclei constraints only. A similar trend is also observed in RMF models. The detailed impact of b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT on the nucleon distribution is discussed in a separate section below.

Figure 6 shows the finite nuclei properties of 48Ca, 90Zr, and 208Pb of the Bayesian posterior samples with +PREX+CREX constraints. This distribution is consistent with the likelihood imposed in Table 6, with the exception that the charge posterior is more constrained than the 2% charge radius constraints we impose. This tighter constraint on charge radius is indeed due to the charge form factor being more constraining. We also noticed a much weaker ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT-ΔFΔ𝐹\Delta Froman_Δ italic_F correlation in 48Ca than in 208Pb, since the momentum transfer of electron elastic scattering is much higher in CREX than in PREX due to the experimental setup. Therefore, CREX should be viewed more as a measurement of form factor difference than the neutron skin of 48Ca.

Refer to caption
Refer to caption
Figure 7: Similar to Fig. 3 in the letter but colored by symmetry energy parameter SVsubscript𝑆𝑉S_{V}italic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT. Colorful lines corresponds to the minimum χ2superscript𝜒2\chi^{2}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT fitting of Eq.(5) in the letter with SV=[20,25,30,35,40,45]subscript𝑆𝑉202530354045S_{V}=[20,25,30,35,40,45]italic_S start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT = [ 20 , 25 , 30 , 35 , 40 , 45 ] MeV.
Refer to caption
Refer to caption
Figure 8: Similar to Fig. 3 in the letter but colored by symmetry energy parameterL𝐿Litalic_L. Colorful lines corresponds to the minimum χ2superscript𝜒2\chi^{2}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT fitting of Eq. (6) in the letter with L=[0,25,50,75,100,125,150]𝐿0255075100125150L=[0,25,50,75,100,125,150]italic_L = [ 0 , 25 , 50 , 75 , 100 , 125 , 150 ] MeV.
Refer to caption
Figure 9: Pearson covariance coefficient between neutron skin (form factor difference) of 48Ca (solid) and 208Pb (dashed), and pressure at various baryon number densities. Blue and Red correspond to RMF models and Skyrme models.

I.7 Linear Correlation Between SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L, ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT, and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT

Based on all the samples used in the Bayesian analysis, we found that any three of the variables SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT, L𝐿Litalic_L, ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT, and ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT can form semi-linear relations with each other, resulting in four relations as shown in Eqs. (5-9) in the letter. These pocket formulas could help interpret future parity-violating asymmetry experiments. In this section, we explicitly show how these formulas perform for Skyrme and RMF models.

Figures 7-8 show the distributions of (ΔFCa48,ΔFPb208,SV)Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208subscript𝑆V(\Delta F^{\mathrm{Ca48}},\Delta F^{\mathrm{Pb208}},S_{\mathrm{V}})( roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT , italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT ) and (ΔFCa48,ΔFPb208,L)Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208𝐿(\Delta F^{\mathrm{Ca48}},\Delta F^{\mathrm{Pb208}},L)( roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT , italic_L ), where the linear correlations in Eqs. (5-6) in the letter are observed. The precision of the fitting formula in Eq. (5) remains within 10% (1-σ𝜎\sigmaitalic_σ) for both Skyrme and RMF models, while Eq. (6) shows about a 10 MeV deviation for the Skyrme model and a 25 MeV deviation in the RMF model. An interesting trend is noted in Fig. 7 for both RMF and Skyrme models: the predicted points of ΔFCa48,ΔFPb208Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208{\Delta F^{\mathrm{Ca48}},\Delta F^{\mathrm{Pb208}}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT move collectively from left to right (towards the mean of joint PREX and CREX measurements) with increasing SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT. This collective movement results from SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT being sensitive to the neutron skin of 208Pb while being insensitive to the neutron skin of 48Ca in both RMF and Skyrme models. The difference in sensitivity of ΔFPb208Δsuperscript𝐹Pb208\Delta F^{\mathrm{Pb208}}roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT and ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT to SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT is reflected by the slope coefficients a𝑎aitalic_a and b𝑏bitalic_b in Eq. (5) in the letter, where b𝑏bitalic_b is much larger than a𝑎aitalic_a in both Skyrme and RMF fittings.

In Fig. 8, we present the corresponding L𝐿Litalic_L values of our sampled points of ΔFCa48,ΔFPb208Δsuperscript𝐹Ca48Δsuperscript𝐹Pb208{\Delta F^{\mathrm{Ca48}},\Delta F^{\mathrm{Pb208}}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT , roman_Δ italic_F start_POSTSUPERSCRIPT Pb208 end_POSTSUPERSCRIPT. As expected, L𝐿Litalic_L is sensitive to both the neutron skin of 48Ca and 208Pb, with the points moving collectively from lower left to upper right with increasing L𝐿Litalic_L. This movement highlights the challenge of finding parameterizations that satisfy both PREX and CREX measurements by only tuning parameters controlling the L𝐿Litalic_L values. Notably, for the same L𝐿Litalic_L, Skyrme models predict slightly smaller ΔFΔ𝐹\Delta Froman_Δ italic_F due to the larger slope of the constant L𝐿Litalic_L relation for ΔFΔ𝐹\Delta Froman_Δ italic_F compared to RMF models, as seen in Fig. 8. This can be understood from the Pearson correlation coefficient between ΔFΔ𝐹\Delta Froman_Δ italic_F and L(nB)𝐿subscript𝑛𝐵L(n_{B})italic_L ( italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT ) in Fig. 9. The Pearson correlation peaks around two-thirds of the saturation density for 208Pb, where the neutron skin correlates well with the form factor difference ΔFΔ𝐹\Delta Froman_Δ italic_F for 208Pb. The neutron skin is known to correlate best with the symmetry energy slope at two-thirds of the saturation density for the Skyrme model Brown (2000), a correlation confirmed by RMF models as well Typel and Brown (2001). Our Pearson correlation study for ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT suggests that ΔFCa48Δsuperscript𝐹Ca48\Delta F^{\mathrm{Ca48}}roman_Δ italic_F start_POSTSUPERSCRIPT Ca48 end_POSTSUPERSCRIPT measured in CREX is most sensitive to the symmetry energy slope L𝐿Litalic_L at higher densities: nB=0.12subscript𝑛𝐵0.12n_{B}=0.12italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 0.12 fm-3 for the RMF model and nB=0.16subscript𝑛𝐵0.16n_{B}=0.16italic_n start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT = 0.16 fm-3 for the Skyrme model, around saturation density. The Pearson correlation is equal between the two nuclei for the RMF model, while the Pearson correlation for 208Pb is much higher than for 48Ca in Skyrme models, explaining the larger slope of the constant L𝐿Litalic_L relation for ΔFΔ𝐹\Delta Froman_Δ italic_F.

Refer to caption
Refer to caption
Refer to caption
Figure 10: Vector densities of proton (lower) and neutron (upper) in 48Ca, 90Zr and 208Pb. Different colored band represent 18%, 50% and 82% percentile under various constraints.
Refer to caption
Refer to caption
Refer to caption
Figure 11: Similar to Fig. 10. Different colored band represent RMF models with various b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT defined in Eq.(37).

I.8 Nucleon density distribution of 48Ca and 208Pb in RMF model

In this section, we delve into the proton and neutron density distributions of 48Ca and 208Pb within RMF models, utilizing samples with four different likelihoods. We computed the baryon number density, denoted as n(r)𝑛𝑟n(r)italic_n ( italic_r ), as a function of radius r𝑟ritalic_r and assessed the 18%, 50%, and 82% percentiles of n(r)𝑛𝑟n(r)italic_n ( italic_r ) across all radii.

Figure 10 illustrates the 18%, 50%, and 82% percentiles of proton and neutron densities in 48Ca and 208Pb under various likelihood scenarios. The yellow band represents the basic nuclear constraints outlined in Table 6. Interestingly, this band significantly overlaps with the blue band, which incorporates additional constraints from PREX. This overlap is expected due to the abundance of RMF models in our prior with large SVsubscript𝑆VS_{\mathrm{V}}italic_S start_POSTSUBSCRIPT roman_V end_POSTSUBSCRIPT and L𝐿Litalic_L, coupled with the relatively larger statistical error of PREX compared to CREX. Similar overlaps are observed between the black and red bands. However, the imposition of CREX constraints notably alters the proton and neutron distributions, as evidenced by the discernible differences between the yellow and red bands (or black and blue bands). In 48Ca, the neutron bulge around 2.5 fm increases by approximately 0.005 fm-3 with the imposition of CREX constraints, while the distributions for r<1𝑟1r<1italic_r < 1 fm remain unchanged. Consequently, the neutron distribution around the surface contracts inward by about 0.05 fm, resulting in smaller values for ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT and ΔFΔ𝐹\Delta Froman_Δ italic_F. Conversely, in 208Pb, the imposition of CREX constraints enhances neutron bulges at 1.5 fm and 4 fm, while also increasing neutron deficits and proton bulges at the center. Since the central region contributes minimally to the neutron skin, the overall neutron distribution shifts inward, albeit not as significantly as in 48Ca.

As highlighted in our letter, the degeneracy (correlation) between ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT (or ΔFΔ𝐹\Delta Froman_Δ italic_F) of 48Ca and 208Pb may be mitigated by breaking S𝐕subscript𝑆𝐕S_{\mathbf{V}}italic_S start_POSTSUBSCRIPT bold_V end_POSTSUBSCRIPT-L𝐿Litalic_L relations or adjusting b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT. We categorized the sample into five bins based on b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT and assessed the 18%, 50%, and 82% percentiles of n(r)𝑛𝑟n(r)italic_n ( italic_r ) accordingly. Figure 11 elucidates how varying b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT modulates the density distribution of protons and neutrons. For 48Ca, increasing b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT amplifies the neutron bulge and suppresses the proton bulge around 2.5 fm. Given that the bulge around 2.5 fm exerts the greatest influence on the overall nucleon distribution due to the r2superscript𝑟2r^{2}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT factor in the volume weighting, the heightened isovector density in the bulge precipitates a notable decrease in ΔRnpΔ𝑅𝑛𝑝\Delta R{np}roman_Δ italic_R italic_n italic_p and ΔFΔ𝐹\Delta Froman_Δ italic_F for 48Ca. The behavior of the intermediate nucleus 90Zr appears to mirror that of 48Ca, albeit with slightly smaller variations in magnitude. However, for 208Pb, increasing b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT deepens the neutron deficit and enhances the proton bulge at the center, while also diminishing the isovector density at 3 fm. Although neutron excesses increase around 1.5 fm and 4 fm, the overall neutron excess remains relatively unchanged. Notably, ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT and ΔFΔ𝐹\Delta Froman_Δ italic_F exhibit insensitivity or slight positive correlation with b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT. This can also been seen from Fig. 5.

Across all nuclei, a larger b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT accentuates the isovector density oscillations throughout the nuclei. However, in 48Ca, these oscillations manifest as a neutron excess in the bulk interior, while maintaining a relatively consistent average neutron excess in the interior of 208Pb. Since a substantial neutron excess in the nuclear interior correlates with a smaller neutron skin and a diminished form factor difference, adjusting b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT may break the correlation between ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT (or ΔFΔ𝐹\Delta Froman_Δ italic_F) of 48Ca and 208Pb.

In summary, the CREX experiment necessitates a small ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT and ΔFΔ𝐹\Delta Froman_Δ italic_F for 48Ca, while the PREX experiment demands a large ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT and ΔFΔ𝐹\Delta Froman_Δ italic_F for 208Pb. Given the larger error bars in ΔFΔ𝐹\Delta Froman_Δ italic_F for the PREX experiment (three times standard deviation) compared to the CREX experiment, the joint PREX and CREX results are predominantly influenced by the CREX experiment, thereby shifting ΔRnpΔsubscript𝑅𝑛𝑝\Delta R_{np}roman_Δ italic_R start_POSTSUBSCRIPT italic_n italic_p end_POSTSUBSCRIPT and ΔFΔ𝐹\Delta Froman_Δ italic_F for both 48Ca and 208Pb towards smaller values, consistent with other Bayesian analysesZhang and Chen (2023); Salinas and Piekarewicz (2023). If future experiments, such as MREX, confirm the large ΔFPb208Δsuperscript𝐹𝑃𝑏208\Delta F^{Pb208}roman_Δ italic_F start_POSTSUPERSCRIPT italic_P italic_b 208 end_POSTSUPERSCRIPT by narrowing down the statistical error, one potential solution involves introducing a significant isospin-dependent term of the spin-orbit interaction to amplify the variation of isovector density. Such variation impacts the average interior neutron excess differently between 48Ca and 208Pb. In this study, we achieve this by adjusting b4subscriptsuperscript𝑏4b^{\prime}_{4}italic_b start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, although other interactions such as the isovector tensor interaction, may serve a similar purpose Salinas and Piekarewicz (2024). Accounting for multiple interactions that excite isovector density oscillations may offer insights into resolving the tension between PREX and CREX.

References

  • Lalazissis et al. (1997a) G. A. Lalazissis, J. Konig,  and P. Ring, Phys. Rev. C 55, 540 (1997a)arXiv:nucl-th/9607039 .
  • König et al. (2023) K. König et al.Phys. Rev. Lett. 131, 102501 (2023)arXiv:2309.02839 [nucl-ex] .
  • Sommer et al. (2022) F. Sommer et al.Phys. Rev. Lett. 129, 132501 (2022)arXiv:2210.01924 [nucl-ex] .
  • Malbrunot-Ettenauer et al. (2022) S. Malbrunot-Ettenauer et al.Phys. Rev. Lett. 128, 022502 (2022)arXiv:2112.03382 [nucl-ex] .
  • Reinhard and Nazarewicz (2022) P.-G. Reinhard and W. Nazarewicz, Phys. Rev. C 105, L021301 (2022)arXiv:2201.02238 [nucl-th] .
  • Horowitz and Piekarewicz (2001) C. J. Horowitz and J. Piekarewicz, Phys. Rev. Lett. 86, 5647 (2001).
  • Adhikari et al. (2021a) D. Adhikari et al. (PREX), Phys. Rev. Lett. 126, 172502 (2021a)arXiv:2102.10767 [nucl-ex] .
  • Adhikari et al. (2022a) D. Adhikari et al. (CREX), Phys. Rev. Lett. 129, 042501 (2022a)arXiv:2205.11593 [nucl-ex] .
  • Gandolfi et al. (2014) S. Gandolfi, J. Carlson, S. Reddy, A. Steiner,  and R. Wiringa, The European Physical Journal A 50, 1 (2014).
  • Lee et al. (1998) C.-H. Lee, T. Kuo, G. Li,  and G. Brown, Physical Review C 57, 3488 (1998).
  • Zuo et al. (1999) W. Zuo, I. Bombaci,  and U. Lombardo, Physical Review C 60, 024605 (1999).
  • Drischler et al. (2014) C. Drischler, V. Soma,  and A. Schwenk, Physical Review C 89, 025806 (2014).
  • Cai and Chen (2019) B.-J. Cai and L.-W. Chen, Physical Review C 100, 024303 (2019).
  • Salinas and Piekarewicz (2024) M. Salinas and J. Piekarewicz, Phys. Rev. C 109, 045807 (2024).
  • Horowitz et al. (2001) C. Horowitz, S. J. Pollock, P. A. Souder,  and R. Michaels, Physical Review C 63, 025501 (2001).
  • Reed et al. (2021) B. T. Reed, F. J. Fattoyev, C. J. Horowitz,  and J. Piekarewicz, Physical Review Letters 126 (2021), 10.1103/PhysRevLett.126.172503.
  • Myers and Swiatecki (1980) W. D. Myers and W. J. Swiatecki, Nucl. Phys. A 336, 267 (1980).
  • Centelles et al. (2009) M. Centelles, X. Roca-Maza, X. Vinas,  and M. Warda, Phys. Rev. Lett. 102, 122502 (2009)arXiv:0806.2886 [nucl-th] .
  • Warda et al. (2009) M. Warda, X. Viñas, X. Roca-Maza,  and M. Centelles, Physical Review C - Nuclear Physics 80 (2009), 10.1103/PhysRevC.80.024316.
  • Reinhard et al. (2022a) P.-G. Reinhard, X. Roca-Maza,  and W. Nazarewicz, Physical Review Letters 129, 232501 (2022a).
  • Zhang and Chen (2023) Z. Zhang and L.-W. Chen, Phys. Rev. C 108, 024317 (2023).
  • Salinas and Piekarewicz (2023) M. Salinas and J. Piekarewicz, Physical Review C 107, 045802 (2023).
  • Tews et al. (2017) I. Tews, J. M. Lattimer, A. Ohnishi,  and E. E. Kolomeitsev, The Astrophysical Journal 848, 105 (2017).
  • Piekarewicz et al. (2012) J. Piekarewicz, B. K. Agrawal, G. Colò, W. Nazarewicz, N. Paar, P. G. Reinhard, X. Roca-Maza,  and D. Vretenar, Physical Review C - Nuclear Physics 85 (2012), 10.1103/PhysRevC.85.041302.
  • Kortelainen et al. (2010) M. Kortelainen, T. Lesinski, J. Moré, W. Nazarewicz, J. Sarich, N. Schunck, M. Stoitsov,  and S. Wild, Physical Review C 82, 024313 (2010).
  • Drischler et al. (2024) C. Drischler, P. Giuliani, S. Bezoui, J. Piekarewicz,  and F. Viens, arXiv preprint arXiv:2405.02748  (2024).
  • Reinhard et al. (2021) P. G. Reinhard, X. Roca-Maza,  and W. Nazarewicz, Physical Review Letters 127 (2021), 10.1103/PhysRevLett.127.232501.
  • Yüksel and Paar (2023) E. Yüksel and N. Paar, Physics Letters B 836, 137622 (2023).
  • Reinhard and Flocard (1995a) P. G. Reinhard and H. Flocard, Nucl. Phys. A 584, 467 (1995a).
  • Horowitz and Piekarewicz (2012a) C. J. Horowitz and J. Piekarewicz, Phys. Rev. C 86, 045503 (2012a)arXiv:1208.2249 [nucl-th] .
  • Roca-Maza et al. (2018) X. Roca-Maza, G. Colò,  and H. Sagawa, Physical review letters 120, 202501 (2018).
  • Sagawa et al. (2024) H. Sagawa, T. Naito, X. Roca-Maza, T. Hatsuda, et al., Physical Review C 109, L011302 (2024).
  • Chabanat et al. (1998) E. Chabanat, P. Bonche, P. Haensel, J. Meyer,  and R. Schaeffer, Nucl. Phys. A 635, 231 (1998), [Erratum: Nucl.Phys.A 643, 441–441 (1998)].
  • Reinhard and Flocard (1995b) P.-G. Reinhard and H. Flocard, Nuclear Physics A 584, 467 (1995b).
  • Klüpfel et al. (2009) P. Klüpfel, P.-G. Reinhard, T. Bürvenich,  and J. Maruhn, Physical Review C 79, 034310 (2009).
  • Erler et al. (2013) J. Erler, C. Horowitz, W. Nazarewicz, M. Rafalski,  and P.-G. Reinhard, Physical Review C 87, 044320 (2013).
  • Kortelainen et al. (2012) M. Kortelainen, J. McDonnell, W. Nazarewicz, P.-G. Reinhard, J. Sarich, N. Schunck, M. Stoitsov,  and S. Wild, Physical Review C 85, 024304 (2012).
  • Chen and Piekarewicz (2014) W.-C. Chen and J. Piekarewicz, Phys. Rev. C 90, 044305 (2014).
  • Chen and Piekarewicz (2015) W.-C. Chen and J. Piekarewicz, Physics Letters B 748, 284 (2015).
  • Sharma et al. (2023) A. Sharma, M. Kumar, S. Kumar, V. Thakur, R. Kumar,  and S. K. Dhiman, Nuclear Physics A 1040, 122762 (2023).
  • Kumar et al. (2023) M. Kumar, S. Kumar, V. Thakur, R. Kumar, B. Agrawal,  and S. K. Dhiman, Physical Review C 107, 055801 (2023).
  • Reed et al. (2024) B. T. Reed, F. Fattoyev, C. Horowitz,  and J. Piekarewicz, Physical Review C 109, 035803 (2024).
  • Abbott et al. (2018) B. P. Abbott, R. Abbott, T. Abbott, F. Acernese, K. Ackley, C. Adams, T. Adams, P. Addesso, R. X. Adhikari, V. B. Adya, et al., Physical review letters 121, 161101 (2018).
  • (44) T. Zhao, “GitHub repository: CPREX,” .
  • Reinhard et al. (2022b) P.-G. Reinhard, X. Roca-Maza,  and W. Nazarewicz, Phys. Rev. Lett. 129, 232501 (2022b)arXiv:2206.03134 [nucl-th] .
  • (46) C. Sfienti, Research Grants .
  • Wang et al. (2012) M. Wang, G. Audi, A. H. Wapstra, F. G. Kondev, M. MacCormick, X. Xu,  and B. Pfeiffer, Chinese Phys. C 36, 1603 (2012).
  • Angeli and Marinova (2013) I. Angeli and K. Marinova, At. Data Nucl. Data Tables 99, 69 (2013).
  • Lattimer (2023) J. M. Lattimer, Particles 6, 30 (2023).
  • Adhikari et al. (2021b) D. Adhikari, H. Albataineh, D. Androic, K. Aniol, D. Armstrong, T. Averett, C. A. Gayoso, S. Barcus, V. Bellini, R. Beminiwattha, et al., Physical review letters 126, 172502 (2021b).
  • Adhikari et al. (2022b) D. Adhikari, H. Albataineh, D. Androic, K. Aniol, D. Armstrong, T. Averett, C. A. Gayoso, S. Barcus, V. Bellini, R. Beminiwattha, et al.Physical Review Letters 129, 042501 (2022b).
  • Lalazissis et al. (1997b) G. Lalazissis, J. König,  and P. Ring, Physical Review C 55, 540 (1997b).
  • Kumar et al. (2018) B. Kumar, S. K. Patra,  and B. K. Agrawal, Phys. Rev. C 97, 045806 (2018).
  • Fattoyev et al. (2010) F. J. Fattoyev, C. J. Horowitz, J. Piekarewicz,  and G. Shen, Physical Review C 82, 055803 (2010).
  • Fattoyev et al. (2020) F. Fattoyev, C. Horowitz, J. Piekarewicz,  and B. Reed, Physical Review C 102, 065805 (2020).
  • Lattimer and Swesty (1991) J. M. Lattimer and F. D. Swesty, Nuclear Physics A 535, 331 (1991).
  • Kumar et al. (2017) B. Kumar, S. Singh, B. Agrawal,  and S. Patra, Nuclear Physics A 966, 197 (2017).
  • Yang and Piekarewicz (2020) J. Yang and J. Piekarewicz, Annual Review of Nuclear and Particle Science 70, 21 (2020).
  • Walecka (1974) J. Walecka, Annals of Physics 83, 491 (1974).
  • Serot and Walecka (1986) B. D. Serot and J. D. Walecka, Adv. Nucl. Phys. 16, 1 (1986).
  • Serot and Walecka (1997) B. D. Serot and J. D. Walecka, International Journal of Modern Physics E 06, 515 (1997).
  • Singh et al. (2014) S. K. Singh, S. Biswal, M. Bhuyan,  and S. Patra, Physical Review C 89, 044001 (2014).
  • Horowitz and Serot (1981) C. Horowitz and B. D. Serot, Nuclear Physics A 368, 503 (1981).
  • Reinhard (1989) P.-G. Reinhard, Reports on Progress in Physics 52, 439 (1989).
  • Ring (1996) P. Ring, Progress in Particle and Nuclear Physics 37, 193 (1996).
  • Ebran et al. (2016) J.-P. Ebran, A. Mutschler, E. Khan,  and D. Vretenar, Physical Review C 94, 024304 (2016).
  • Sharma et al. (1995) M. Sharma, G. Lalazissis, J. König,  and P. Ring, Physical review letters 74, 3744 (1995).
  • Lalazissis et al. (1998) G. Lalazissis, D. Vretenar, W. Pöschl,  and P. Ring, Physics Letters B 418, 7 (1998).
  • Pearson (2001) J. Pearson, Physics Letters B 513, 319 (2001).
  • Chabanat et al. (1997) E. Chabanat, P. Bonche, P. Haensel, J. Meyer,  and R. Schaeffer, Nuclear Physics A 627, 710 (1997).
  • Horowitz and Piekarewicz (2012b) C. Horowitz and J. Piekarewicz, Physical Review C 86, 045503 (2012b).
  • Brown (2000) B. A. Brown, Physical review letters 85, 5296 (2000).
  • Typel and Brown (2001) S. Typel and B. A. Brown, Physical Review C 64, 027302 (2001).