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

  • failed: orcidlink
  • failed: multibib

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

License: arXiv.org perpetual non-exclusive license
arXiv:2504.08631v1 [nucl-th] 11 Apr 2025
\newcites

NewReferences

Can the strong interactions between hadrons be determined using femtoscopy?

Evgeny Epelbaum\orcidlink0000-0002-7613-0210 evgeny.epelbaum@ruhr-uni-bochum.de Ruhr-Universität Bochum, Fakultät für Physik und Astronomie, Institut für Theoretische Physik II, D-44780 Bochum, Germany    Sven Heihoff sven.heihoff@ruhr-uni-bochum.de Ruhr-Universität Bochum, Fakultät für Physik und Astronomie, Institut für Theoretische Physik II, D-44780 Bochum, Germany    Ulf-G. Meißner\orcidlink0000-0003-1254-442X meissner@hiskp.uni-bonn.de Helmholtz-Institut für Strahlen- und Kernphysik, Rheinische Friedrich-Wilhelms Universität Bonn, D-53115 Bonn, Germany Bethe Center for Theoretical Physics, Rheinische Friedrich-Wilhelms Universität Bonn, D-53115 Bonn, Germany Center for Science and Thought, Rheinische Friedrich-Wilhelms Universitäat Bonn, D-53115 Bonn, Germany Institute for Advanced Simulation (IAS-4), Forschungszentrum Jülich, D-52425 Jülich, Germany Peng Huanwu Collaborative Center for Research and Education, International Institute for Interdisciplinary and Frontiers, Beihang University, Beijing 100191, China    Alexander Tscherwon alexander.tscherwon@ruhr-uni-bochum.de Ruhr-Universität Bochum, Fakultät für Physik und Astronomie, Institut für Theoretische Physik II, D-44780 Bochum, Germany
Abstract

In the last decades, femtoscopic measurements from heavy-ion collisions have become a popular tool to investigate the strong interactions between hadrons. The key observables measured in such experiments are the two-hadron momentum correlations, which depend on the production mechanism of hadron pairs and the final-state interactions. Given the complexity of ultra-relativistic collision experiments, the source term describing the production mechanism can only be modeled phenomenologically based on numerous assumptions. The commonly employed approach for analyzing femtoscopic data relies on the Koonin-Pratt formula, which relates the measured correlation functions with the relative wave function of an outgoing hadron pair and a source term that is assumed to be universal. Here, we critically examine this universality assumption and show that for strongly interacting particles such as nucleons, the interpretation of femtoscopic measurements suffers from a potentially large intrinsic uncertainty. We also comment on the ongoing efforts to explore three-body interactions using this experimental technique.

Introduction.—Femtoscopic measurements are becoming increasingly popular as a tool to study hadronic interactions and constitute an integral part of the ongoing and upcoming experimental programs at high-energy heavy-ion facilities such as RHIC, LHC, GSI/FAIR and J-PARC-HI. Originally developed as an imaging technique to extract spatial and temporal characteristics of particle production mechanisms in ultra-relativistic heavy-ion collisions [1, 2, 3, 4], femtoscopy has nowadays evolved into a method for measuring the strong interactions between hadrons [5, 6]. A traditional way of exploring hadron structure and dynamics by means of scattering experiments aims at the determination of the corresponding on-shell scattering amplitudes, which are unambiguously defined and experimentally measurable quantities. Unfortunately, the short lifetime of hadronic resonances makes it difficult to perform scattering experiments beyond the lightest hadrons. For example, there is a wealth of experimental data on nucleon-nucleon (NN) scattering, while only a handful of/no data are available for hyperon-nucleon/hyperon-hyperon scattering. Femtoscopic measurements from high-energy proton-proton (pp) or heavy-ion collisions do not require preparing a beam of unstable particles and thus provide an attractive alternative to scattering experiments. This, however, comes at the price of dealing with a complicated initial state after hadronization, whose modeling becomes an integral part of the analysis of the experimental data. After making several approximations and assumptions [4], the two-particle correlation function C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ) in the center-of-mass system (cms) is usually written in the form [1, 7, 4]

C(𝐤)=𝑑𝐫S12(𝐫)|Ψ(𝐫,𝐤)|2,𝐶𝐤differential-d𝐫subscript𝑆12𝐫superscriptΨ𝐫𝐤2C({\bf k})=\int d{\bf r}\,S_{12}({\bf r})\,\big{|}\Psi({\bf r},\,{\bf k})\big{% |}^{2}\,,italic_C ( bold_k ) = ∫ italic_d bold_r italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ) | roman_Ψ ( bold_r , bold_k ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (1)

where 𝐤𝐤{\bf k}bold_k is the relative momentum, S12(𝐫)subscript𝑆12𝐫S_{12}({\bf r})italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ) is the source function and Ψ(𝐫,𝐤)Ψ𝐫𝐤\Psi({\bf r},\,{\bf k})roman_Ψ ( bold_r , bold_k ) is the relative wave function of the outgoing two-body state, which coincides with the stationary solution of the scattering problem Ψ(𝐫,𝐤)=𝐫|Ψ𝐤(+)Ψ𝐫𝐤inner-product𝐫subscriptsuperscriptΨ𝐤\Psi({\bf r},\,{\bf k})=\langle{\bf r}|\Psi^{(+)}_{-\bf k}\rangleroman_Ψ ( bold_r , bold_k ) = ⟨ bold_r | roman_Ψ start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT ⟩ normalized to yield 𝐫|Ψ𝐤(+)ei𝐤𝐫inner-product𝐫subscriptsuperscriptΨ𝐤superscript𝑒𝑖𝐤𝐫\langle{\bf r}|\Psi^{(+)}_{-\bf k}\rangle\to e^{-i{\bf k}\cdot{\bf r}}⟨ bold_r | roman_Ψ start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT ⟩ → italic_e start_POSTSUPERSCRIPT - italic_i bold_k ⋅ bold_r end_POSTSUPERSCRIPT in the absence of the interaction, see e.g. Ref. [8]. This is the celebrated Koonin-Pratt formula, which is widely utilized to analyze femtoscopic measurements. The pathway from experiment to interpretation can then be schematically summarized as follows (see Refs. [5, 9] for details):

  • i.

    Measurement of the correlation functions C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ).

  • ii.

    Modeling of the source function S12(𝐫)subscript𝑆12𝐫S_{12}({\bf r})italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ) which is deemed to be universal. Here, one usually assumes a spherically symmetric Gaussian form, whose size r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is extracted from experimental data on C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ) using some model to describe the strong interaction. In particular, r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is often fitted to pp correlation functions using the Reid Soft-Core [10] or Argonne v18subscript𝑣18v_{18}italic_v start_POSTSUBSCRIPT 18 end_POSTSUBSCRIPT [11] potential models [12]. A more sophisticated modeling of the source is described in Ref. [13].

  • iii.

    Once the source function S12(𝐫)subscript𝑆12𝐫S_{12}({\bf r})italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ) is fixed, Eq. (1) allows one to probe hadronic interaction models using experimental data on C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ).

It goes beyond the scope of this paper to address the validity of various assumptions and approximations used to arrive at the formula (1), which are, in fact, well documented in the literature [14, 15, 4, 8]. Rather, we would like to point out that the way Eq. (1) is used to probe hadronic interactions as outlined above suffers from a fundamental flaw: Combined with the universality assumption for the source function S12(𝐫)subscript𝑆12𝐫S_{12}({\bf r})italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ), it implies the measurability of hadronic wave functions and thus also of the corresponding interaction potentials. Yet, hadronic potentials are well known not to represent observable quantities, see e.g. Ref. [16] for a recent discussion. While interaction potentials can, at least in principle, be determined ab initio using lattice QCD [17], their form depends on the choice of interpolating fields for parametrizing hadrons in terms of valence quarks. This inherent scheme dependence does, of course, not affect observable quantities like S-matrix, as can be shown by virtue of the LSZ reduction formalism [18].

To make the essence of the problem more explicit while keeping the presentation simple, we restrict ourselves to non-relativistic systems in the framework of quantum mechanics and start with rewriting Eq. (1) in a more general form

C(𝐤)=Ψ𝐤(+)|S^12|Ψ𝐤(+).𝐶𝐤quantum-operator-productsuperscriptsubscriptΨ𝐤subscript^𝑆12superscriptsubscriptΨ𝐤C({\bf k})=\langle\Psi_{{-\bf k}}^{(+)}|\hat{S}_{12}|\Psi_{{-\bf k}}^{(+)}% \rangle\,.italic_C ( bold_k ) = ⟨ roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT | over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT | roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT ⟩ . (2)

The Koonin-Pratt formula (1) is the coordinate-space representation of Eq. (2), subject to the restriction that the source term is local, 𝐫|S^12|𝐫=δ(𝐫𝐫)S12(𝐫)quantum-operator-productsuperscript𝐫subscript^𝑆12𝐫𝛿superscript𝐫𝐫subscript𝑆12𝐫\langle{\bf r}^{\prime}|\hat{S}_{12}|{\bf r}\rangle=\delta({\bf r}^{\prime}-{% \bf r})S_{12}({\bf r})⟨ bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT | bold_r ⟩ = italic_δ ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_r ) italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( bold_r ). Eq. (2) makes it explicit that the correlation functions are invariant under a change of basis in the Hilbert space induced by unitary transformations (UTs) U^^𝑈\hat{U}over^ start_ARG italic_U end_ARG as required for any observable quantity:

C(𝐤)𝐶𝐤\displaystyle C({\bf k})italic_C ( bold_k ) =\displaystyle== (Ψ𝐤(+)|U^)(U^S^12U^)(U^|Ψ𝐤(+))brasuperscriptsubscriptΨ𝐤superscript^𝑈^𝑈subscript^𝑆12superscript^𝑈^𝑈ketsuperscriptsubscriptΨ𝐤\displaystyle\big{(}\langle\Psi_{{-\bf k}}^{(+)}|\hat{U}^{\dagger}\big{)}\big{% (}\hat{U}\hat{S}_{12}\hat{U}^{\dagger}\big{)}\big{(}\hat{U}|\Psi_{{-\bf k}}^{(% +)}\rangle\big{)}( ⟨ roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT | over^ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) ( over^ start_ARG italic_U end_ARG over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT over^ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) ( over^ start_ARG italic_U end_ARG | roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( + ) end_POSTSUPERSCRIPT ⟩ ) (3)
\displaystyle\equiv Ψ𝐤(+)|S^12|Ψ𝐤(+).quantum-operator-productsuperscriptsubscriptΨ𝐤superscriptsubscript^𝑆12superscriptsubscriptΨ𝐤\displaystyle\langle\Psi_{{-\bf k}}^{\prime(+)}|\hat{S}_{12}^{\prime}|\Psi_{{-% \bf k}}^{\prime(+)}\rangle\,.⟨ roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ( + ) end_POSTSUPERSCRIPT | over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | roman_Ψ start_POSTSUBSCRIPT - bold_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ ( + ) end_POSTSUPERSCRIPT ⟩ .

However, it also shows that the source term cannot be assumed to be universal across interaction models, and its form must be off-shell consistent with that of the interaction under consideration. Failure to maintain off-shell consistency between the source and the wave function (or interaction potential) by assuming S^12=S^12superscriptsubscript^𝑆12subscript^𝑆12\hat{S}_{12}^{\prime}=\hat{S}_{12}over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT leads to model dependence of the calculated correlation functions. Given the quest for precision in femtoscopy experiments [6], it is important to quantify model dependence in C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ) caused by the assumed universality of the source.

Gedankenexperiment.—For demonstration purposes, we focus here on two stable distinguishable spinless particles interacting via a short-range force (but all arguments made here remain valid for identical particles, nonvanishing spin and/or if the Coulomb interaction is included) and perform a Gedankenexperiment by letting Alice and Bob analyze two-body correlations.

The interaction between particles considered by Alice coincides with the spin-00 projection of the neutron-proton chiral effective field theory (EFT) potential at fifth order (N4LO+) [19] with the cutoff parameter Λ=450Λ450\Lambda=450roman_Λ = 450 MeV. That is,

pl|V^Alice|pl=pl|V^np,N4LO+s=0|pl,quantum-operator-productsuperscript𝑝𝑙subscript^𝑉Alice𝑝𝑙quantum-operator-productsuperscript𝑝𝑙superscriptsubscript^𝑉npsuperscriptN4superscriptLO𝑠0𝑝𝑙\langle p^{\prime}l|\hat{V}_{\rm Alice}|pl\,\rangle\;=\;\langle{p^{\prime}}l|% \hat{V}_{\rm np,\;N^{4}LO^{+}}^{s=0}|p\,l\rangle,⟨ italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_l | over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT | italic_p italic_l ⟩ = ⟨ italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_l | over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_np , roman_N start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT roman_LO start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s = 0 end_POSTSUPERSCRIPT | italic_p italic_l ⟩ , (4)

where p|𝐩|𝑝𝐩p\equiv|{\bf p}|italic_p ≡ | bold_p | and p|𝐩|superscript𝑝superscript𝐩p^{\prime}\equiv|{\bf p}^{\prime}|italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≡ | bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | with 𝐩𝐩{\bf p}bold_p and 𝐩superscript𝐩{\bf p}^{\prime}bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT the initial and final momenta in the cms, respectively, while l𝑙litalic_l is the orbital angular momentum. The corresponding phase shifts in the l3𝑙3l\leq 3italic_l ≤ 3 partial waves are shown by black open circles in Fig. 1. Note that we use natural units with =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1 throughout this paper.

Refer to caption
Figure 1: (Color online). S-, P-, D- and F-wave phase shifts for the interaction VAlicesubscript𝑉AliceV_{\rm Alice}italic_V start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT are shown with open circles as functions of the cms momentum. The overlapping blue dotted and dashed lines show the phase shifts obtained from VBob-Isubscript𝑉Bob-IV_{\rm Bob\mbox{-}I}italic_V start_POSTSUBSCRIPT roman_Bob - roman_I end_POSTSUBSCRIPT and VBob-IIsubscript𝑉Bob-IIV_{\rm Bob\mbox{-}II}italic_V start_POSTSUBSCRIPT roman_Bob - roman_II end_POSTSUBSCRIPT, respectively.

For the source term, Alice adopts the commonly chosen Gaussian form

S12Alice(𝐫)=er2/(4r02)(4πr02)3/2𝐩|S^12Alice|𝐩=eq2r02,superscriptsubscript𝑆12Alice𝐫superscript𝑒superscript𝑟24superscriptsubscript𝑟02superscript4𝜋superscriptsubscript𝑟0232quantum-operator-productsuperscript𝐩superscriptsubscript^𝑆12Alice𝐩superscript𝑒superscript𝑞2superscriptsubscript𝑟02S_{12}^{\rm Alice}({\bf r})\;=\;\frac{e^{-r^{2}/(4r_{0}^{2})}}{(4\pi r_{0}^{2}% )^{3/2}}\;\;\Rightarrow\;\langle{\bf p}^{\prime}|\hat{S}_{12}^{\rm Alice}|{\bf p% }\rangle=e^{-q^{2}r_{0}^{2}}\,,italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Alice end_POSTSUPERSCRIPT ( bold_r ) = divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( 4 italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT end_ARG start_ARG ( 4 italic_π italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT end_ARG ⇒ ⟨ bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Alice end_POSTSUPERSCRIPT | bold_p ⟩ = italic_e start_POSTSUPERSCRIPT - italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , (5)

where q|𝐪|𝑞𝐪q\equiv|{\bf q}|italic_q ≡ | bold_q | with 𝐪=𝐩𝐩𝐪superscript𝐩𝐩{\bf q}={\bf p}^{\prime}-{\bf p}bold_q = bold_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p the momentum transfer. The radius r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is set to r0=1.5subscript𝑟01.5r_{0}=1.5italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1.5 fm. The S-wave momentum-space matrix elements of the potential and the source term used by Alice and specified in Eqs. (4) and (5) are visualized in the upper row of Fig. 2.

Refer to caption
Figure 2: (Color online). S-wave momentum-space matrix elements of the potential in units of GeV-2 (left column) and of the dimensionless source term (right column) as chosen by Alice (upper row) and seen by Bob (middle and bottom rows).

The correlation functions are usually calculated in coordinate space. Under the commonly made assumption that particles interact only in the l=0𝑙0l=0italic_l = 0 state, Eq. (1) can, for a spherically symmetric source function, be reduced to (see, e.g., Ref. [20]):

C(k)=1+04πr2𝑑rS12(r)[|Ψ(r,k)|2|j0(kr)|2],𝐶𝑘1superscriptsubscript04𝜋superscript𝑟2differential-d𝑟subscript𝑆12𝑟delimited-[]superscriptΨ𝑟𝑘2superscriptsubscript𝑗0𝑘𝑟2C(k)=1+\int_{0}^{\infty}4\pi r^{2}drS_{12}(r)\Big{[}|\Psi(r,\,k)|^{2}-|j_{0}(% kr)|^{2}\Big{]},italic_C ( italic_k ) = 1 + ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_r italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ( italic_r ) [ | roman_Ψ ( italic_r , italic_k ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - | italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (6)

with j0(kr)subscript𝑗0𝑘𝑟j_{0}(kr)italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k italic_r ) the spherical Bessel function and the S-wave scattering wave function Ψ(r,k)Ψ𝑟𝑘\Psi(r,\,k)roman_Ψ ( italic_r , italic_k ) is normalized according to

Ψ(r,k)r12ikr(e2iδ0(k)eikr+eikr).superscript𝑟Ψ𝑟𝑘12𝑖𝑘𝑟superscript𝑒2𝑖subscript𝛿0𝑘superscript𝑒𝑖𝑘𝑟superscript𝑒𝑖𝑘𝑟\Psi(r,\,k)\stackrel{{\scriptstyle r\to\infty}}{{\longrightarrow}}\frac{1}{2% ikr}\Big{(}-e^{-2i\delta_{0}(k)}e^{-ikr}+e^{ikr}\Big{)}.roman_Ψ ( italic_r , italic_k ) start_RELOP SUPERSCRIPTOP start_ARG ⟶ end_ARG start_ARG italic_r → ∞ end_ARG end_RELOP divide start_ARG 1 end_ARG start_ARG 2 italic_i italic_k italic_r end_ARG ( - italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_i italic_k italic_r end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_r end_POSTSUPERSCRIPT ) . (7)

Here, δ0(k)subscript𝛿0𝑘\delta_{0}(k)italic_δ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k ) is the S-wave phase shift. The wave-function Ψ(r,k)Ψ𝑟𝑘\Psi(r,\,k)roman_Ψ ( italic_r , italic_k ) can be obtained from the half-shell T-matrix, see e.g. Ref. [21]. However, to avoid numerical integrations of strongly oscillating functions, it is more convenient to directly compute the matrix element in Eq. (2) in the partial-wave momentum-space basis. For a spherically symmetric source, we find (see also Ref. [22]):

C(k)𝐶𝑘\displaystyle C(k)italic_C ( italic_k ) =\displaystyle== l2l+14πcos2δl(k)[Skkl+KkplSpkl\displaystyle\sum_{l}\frac{2l+1}{4\pi}\,\cos^{2}\delta_{l}(k)\,\Big{[}S_{kk}^{% l}+K_{kp}^{l}\circ S_{pk}^{l}∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT divide start_ARG 2 italic_l + 1 end_ARG start_ARG 4 italic_π end_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k ) [ italic_S start_POSTSUBSCRIPT italic_k italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT + italic_K start_POSTSUBSCRIPT italic_k italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_S start_POSTSUBSCRIPT italic_p italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT (8)
+\displaystyle++ SkplKpkl+KkplSpplKpkl],\displaystyle S_{kp}^{l}\circ K_{pk}^{l}+K_{kp}^{l}\circ S_{pp^{\prime}}^{l}% \circ K_{p^{\prime}k}^{l}\Big{]},italic_S start_POSTSUBSCRIPT italic_k italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_K start_POSTSUBSCRIPT italic_p italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT + italic_K start_POSTSUBSCRIPT italic_k italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_S start_POSTSUBSCRIPT italic_p italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_K start_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ] ,

where we have introduced a short-hand notation Spplpl|S^12|plsuperscriptsubscript𝑆𝑝superscript𝑝𝑙quantum-operator-product𝑝𝑙subscript^𝑆12superscript𝑝𝑙S_{pp^{\prime}}^{l}\equiv\langle pl|\hat{S}_{12}|p^{\prime}l\rangleitalic_S start_POSTSUBSCRIPT italic_p italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ≡ ⟨ italic_p italic_l | over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT | italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_l ⟩, Kpkl=Kkplpl|K^|klsuperscriptsubscript𝐾𝑝𝑘𝑙superscriptsubscript𝐾𝑘𝑝𝑙quantum-operator-product𝑝𝑙^𝐾𝑘𝑙K_{pk}^{l}=K_{kp}^{l}\equiv\langle pl|\hat{K}|kl\rangleitalic_K start_POSTSUBSCRIPT italic_p italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT = italic_K start_POSTSUBSCRIPT italic_k italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ≡ ⟨ italic_p italic_l | over^ start_ARG italic_K end_ARG | italic_k italic_l ⟩ and

ApplBpp′′lsuperscriptsubscript𝐴𝑝superscript𝑝𝑙superscriptsubscript𝐵superscript𝑝superscript𝑝′′𝑙\displaystyle A_{pp^{\prime}}^{l}\circ B_{p^{\prime}p^{\prime\prime}}^{l}italic_A start_POSTSUBSCRIPT italic_p italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_B start_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT \displaystyle\equiv 0p2𝑑pAppl2μk2p2Bpp′′l.superscriptsubscript0superscript𝑝2differential-dsuperscript𝑝superscriptsubscript𝐴𝑝superscript𝑝𝑙2𝜇superscript𝑘2superscript𝑝2superscriptsubscript𝐵superscript𝑝superscript𝑝′′𝑙\displaystyle\mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-4.86108pt}}{{\vbox{% \hbox{$\scriptstyle-$}}\kern-3.25pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}% \kern-2.29166pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-1.875pt}}\!\int_{0% }^{\infty}p^{\prime 2}dp^{\prime}\,A_{pp^{\prime}}^{l}\,\frac{2\mu}{k^{2}-p^{% \prime 2}}\,B_{p^{\prime}p^{\prime\prime}}^{l}\,.- ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT italic_d italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_p italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT divide start_ARG 2 italic_μ end_ARG start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT end_ARG italic_B start_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT . (9)

Here, μ𝜇\muitalic_μ is the reduced mass and \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-4.86108pt}}{{\vbox{\hbox{$% \scriptstyle-$}}\kern-3.25pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.291% 66pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-1.875pt}}\!\int- ∫ denotes the Cauchy principal value integral. The half-shell K-matrix can be easily calculated for arbitrary short-range interactions by solving the Lippmann-Schwinger integral equation

Kpklsuperscriptsubscript𝐾𝑝𝑘𝑙\displaystyle K_{pk}^{l}italic_K start_POSTSUBSCRIPT italic_p italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT =\displaystyle== Vpkl+VpplKpklsuperscriptsubscript𝑉𝑝𝑘𝑙superscriptsubscript𝑉𝑝superscript𝑝𝑙superscriptsubscript𝐾superscript𝑝𝑘𝑙\displaystyle V_{pk}^{l}+V_{pp^{\prime}}^{l}\circ K_{p^{\prime}k}^{l}italic_V start_POSTSUBSCRIPT italic_p italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT + italic_V start_POSTSUBSCRIPT italic_p italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ∘ italic_K start_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT (10)

using standard numerical methods. The on-shell K-matrix is related to the S-matrix via Sl(k)=e2iδl(k)=12iπμkKkklsubscript𝑆𝑙𝑘superscript𝑒2𝑖subscript𝛿𝑙𝑘12𝑖𝜋𝜇𝑘subscriptsuperscript𝐾𝑙𝑘𝑘S_{l}(k)=e^{2i\delta_{l}(k)}=1-2i\pi\mu kK^{l}_{kk}italic_S start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k ) = italic_e start_POSTSUPERSCRIPT 2 italic_i italic_δ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = 1 - 2 italic_i italic_π italic_μ italic_k italic_K start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k italic_k end_POSTSUBSCRIPT. We note in passing that Eq. (8) can be brought to the form of Eq. (6) if the source term is local and the interaction vanishes in all l0𝑙0l\neq 0italic_l ≠ 0 channels. The correlation function calculated by Alice using Eq. (8) is shown by open circles in Fig. 3. We have also checked these results by using Eq. (1) directly.

Refer to caption
Figure 3: (Color online). Correlation functions calculated by Alice and Bob. The results of Alice are shown by open circles. Red dash-dotted and dash-double-dotted lines show the correlation functions calculated by Bob using the interactions VBob-Isubscript𝑉Bob-IV_{\rm Bob\mbox{-}I}italic_V start_POSTSUBSCRIPT roman_Bob - roman_I end_POSTSUBSCRIPT and VBob-IIsubscript𝑉Bob-IIV_{\rm Bob\mbox{-}II}italic_V start_POSTSUBSCRIPT roman_Bob - roman_II end_POSTSUBSCRIPT, respectively, and the source term S12Alicesuperscriptsubscript𝑆12AliceS_{12}^{\rm Alice}italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Alice end_POSTSUPERSCRIPT (assumed to be universal). The overlapping blue dotted and dashed lines show the results of Bob using the properly transformed source terms S12Bob-Isuperscriptsubscript𝑆12Bob-IS_{12}^{\rm Bob\mbox{-}I}italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Bob - roman_I end_POSTSUPERSCRIPT and S12Bob-IIsuperscriptsubscript𝑆12Bob-IIS_{12}^{\rm Bob\mbox{-}II}italic_S start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_Bob - roman_II end_POSTSUPERSCRIPT, respectively.

On the other hand, Bob performs his analysis using a different basis in the Hilbert space with |ΨBob=U^|ΨAliceketsubscriptΨBob^𝑈ketsubscriptΨAlice|\Psi_{\rm Bob}\rangle=\hat{U}|\Psi_{\rm Alice}\rangle| roman_Ψ start_POSTSUBSCRIPT roman_Bob end_POSTSUBSCRIPT ⟩ = over^ start_ARG italic_U end_ARG | roman_Ψ start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT ⟩, where the unitary operator is taken as a rank-1 separable form

U^^𝑈\displaystyle\hat{U}over^ start_ARG italic_U end_ARG =\displaystyle== 12|gg|,g|g=1,12ket𝑔bra𝑔inner-product𝑔𝑔1\displaystyle 1-2|g\rangle\langle g|,\quad\langle g|g\rangle=1\,,1 - 2 | italic_g ⟩ ⟨ italic_g | , ⟨ italic_g | italic_g ⟩ = 1 , (11)

and |gket𝑔|g\rangle| italic_g ⟩ is chosen following Ref. [23] as

g(𝐫)𝑔𝐫\displaystyle g({\bf r})italic_g ( bold_r ) \displaystyle\equiv 𝐫|g=Cr(1βr)eαr,inner-product𝐫𝑔𝐶𝑟1𝛽𝑟superscript𝑒𝛼𝑟\displaystyle\langle{\bf r}|g\rangle=Cr(1-\beta r)e^{-\alpha r}\,,⟨ bold_r | italic_g ⟩ = italic_C italic_r ( 1 - italic_β italic_r ) italic_e start_POSTSUPERSCRIPT - italic_α italic_r end_POSTSUPERSCRIPT , (12)

with C𝐶Citalic_C the normalization constant fixed from 𝑑𝐫[g(𝐫)]2=1differential-d𝐫superscriptdelimited-[]𝑔𝐫21\int d{\bf r}\big{[}g({\bf r})\big{]}^{2}=1∫ italic_d bold_r [ italic_g ( bold_r ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1. The parameter α𝛼\alphaitalic_α specifies the inverse range of the transformation, while β1superscript𝛽1\beta^{-1}italic_β start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT gives the position of the node in the profile function g(r)𝑔𝑟g(r)italic_g ( italic_r ). The interaction VAlicesubscript𝑉AliceV_{\rm Alice}italic_V start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT in Bob’s convention has the form

V^Bobsubscript^𝑉Bob\displaystyle\hat{V}_{\rm Bob}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Bob end_POSTSUBSCRIPT =\displaystyle== U^(p^22μ+V^Alice)U^p^22μ,^𝑈superscript^𝑝22𝜇subscript^𝑉Alicesuperscript^𝑈superscript^𝑝22𝜇\displaystyle\hat{U}\bigg{(}\frac{\hat{p}^{2}}{2\mu}+\hat{V}_{\rm Alice}\bigg{% )}\hat{U}^{\dagger}-\frac{\hat{p}^{2}}{2\mu}\,,over^ start_ARG italic_U end_ARG ( divide start_ARG over^ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ end_ARG + over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT ) over^ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - divide start_ARG over^ start_ARG italic_p end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_μ end_ARG , (13)

where 𝐩^^𝐩\hat{\bf p}over^ start_ARG bold_p end_ARG is the cms momentum operator. It can easily be calculated numerically in momentum space. Notice that the considered transformation acts only in the S-wave. To be specific, consider two different transformations corresponding to the parameters α=1.0 fm1𝛼1.0superscript fm1\alpha=1.0\mbox{ fm}^{-1}italic_α = 1.0 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, β=0.25 fm1𝛽0.25superscript fm1\beta=0.25\mbox{ fm}^{-1}italic_β = 0.25 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (set-I) and α=0.7 fm1𝛼0.7superscript fm1\alpha=0.7\mbox{ fm}^{-1}italic_α = 0.7 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, β=2.0 fm1𝛽2.0superscript fm1\beta=2.0\mbox{ fm}^{-1}italic_β = 2.0 fm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (set-II). These transformations significantly affect the S-wave momentum-space matrix elements of the interaction as shown in Fig. 2. Yet, physical observables are, of course, independent of the choice of basis in the Hilbert space. In particular, we have verified that the phase shifts calculated from V^Alicesubscript^𝑉Alice\hat{V}_{\rm Alice}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Alice end_POSTSUBSCRIPT, V^Bob-Isubscript^𝑉Bob-I\hat{V}_{\rm Bob\mbox{-}I}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Bob - roman_I end_POSTSUBSCRIPT and V^Bob-IIsubscript^𝑉Bob-II\hat{V}_{\rm Bob\mbox{-}II}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_Bob - roman_II end_POSTSUBSCRIPT agree with each other to machine precision, see Fig. 1. In contrast, the correlation functions calculated by Bob under the assumption of the universal source term, S^12Bob=S^12Alicesubscriptsuperscript^𝑆Bob12subscriptsuperscript^𝑆Alice12\hat{S}^{\rm Bob}_{12}=\hat{S}^{\rm Alice}_{12}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT roman_Bob end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT roman_Alice end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT, are as expected different from the result found by Alice, as depicted by the red lines in Fig. 3. To restore the result for C(k)𝐶𝑘C(k)italic_C ( italic_k ) obtained by Alice, the source term needs to be brought into Bob’s convention by applying the UT, S^12Bob=U^S^12AliceU^subscriptsuperscript^𝑆Bob12^𝑈subscriptsuperscript^𝑆Alice12superscript^𝑈\hat{S}^{\rm Bob}_{12}=\hat{U}\hat{S}^{\rm Alice}_{12}\hat{U}^{\dagger}over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT roman_Bob end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT = over^ start_ARG italic_U end_ARG over^ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT roman_Alice end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT over^ start_ARG italic_U end_ARG start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT, see the right column of Fig. 2 and blue lines in Fig. 3.

Scheme dependence in chiral EFT.—The above example shows that off-shell ambiguities of the interaction potentials can result in a large model dependence of the correlation function if the source term is assumed to be universal. On the other hand, realistic models of hadronic interactions are constrained by physical principles like, e.g., pion-exchange dominance at large distances and often share similarities when it comes to modeling of the short-distance behavior. The remaining off-shell ambiguities may therefore be expected to be less pronounced in practice. In this context, it is instructive to examine how scheme dependence manifests itself in chiral EFT for nuclear forces, [24, 25, 26], the most extensively studied and best understood hadronic interactions. Leaving aside the (significant) ambiguity from the choice of the regulator, the inherent scheme dependence in nuclear chiral EFT first shows up at fourth expansion order (N3LO), stemming from the long-range relativistic corrections that depend on two arbitrary phases [27, 28] and three short-range interactions contributing to the 1S0, 3S1 and 3S1-3D1 potentials [19]. The corresponding five parameters can be chosen arbitrarily, subject to the naturalness constraint, and their values can be changed by applying suitable UTs, see Supplemental Material [29] for explicit expressions. Importantly, such UTs also induce many-body interactions and exchange currents. This shows, once again, that various scheme-dependent quantities such as two-body interactions, three-body forces (3BFs) and exchange currents must be used consistently with each other to avoid an uncontrollable model dependence.

The above power-counting-based arguments point towards a mild scheme-dependence of NN interactions in chiral EFT. However, the situation is different for 3BFs, which provide small but important corrections to the dominant pairwise forces and remain a challenging frontier in nuclear physics [30], see also Refs. [31, 32, 33] for recent attempts to explore 3BFs through femtoscopy. 3BFs first appear at third order (N2LO) in chiral EFT, and thus are much more sensitive to the above mentioned off-shell ambiguities. To illustrate this point we have generated a set of 27272727 NN N4LO+ potentials corresponding to different choices of the off-shell short-range interactions, see [29] for details. These potentials are nearly phase-equivalent in the two-body sector and equally valid from the EFT point of view. However, they lead to vastly different predictions for three-nucleon observables as visualized in Fig. 4, which illustrates the well-known inherent scheme dependence of [34] 3BFs [35]. In particular, the required 3BF contributions to the 3H binding energy can be both attractive and repulsive depending on the off-shell behavior of the employed NN interaction.

Refer to caption
Figure 4: (Color online). Neutron-deuteron total cross section (left) and the 3H binding energy (right) calculated using the N4LO+ NN potential of Ref. [36] (orange lines). Light-shaded blue bands show the results from the phase-equivalent but off-shell differing N4LO+ NN potentials as explained in the text.

Discussion and conclusions.—Hadronic correlations measured in ultra-relativistic collisions are sensitive to the strong interactions. However, probing final state interactions by means of the Koonin-Pratt formula violates basic principles of quantum mechanics if the source model is regarded to be universal. Using an example of two strongly interacting distinguishable particles, we have shown that off-shell ambiguities in the interaction can then translate into a significant model dependence for C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ). It is important to emphasize that the problematic universality assumption is essential as its relaxation sacrifices the predictive power of the femtoscopy approach.

The sensitivity of C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ) to the off-shell behavior of the strong force decreases for source radii r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT being large compared to the interaction range since the large-distance behavior of the wave function Ψ(𝐫,𝐤)Ψ𝐫𝐤\Psi({\bf r},\,{\bf k})roman_Ψ ( bold_r , bold_k ) is unambiguously determined by the S-matrix [37, 8, 4]. The interpretation of C(𝐤)𝐶𝐤C({\bf k})italic_C ( bold_k ) in terms of the average |Ψ(𝐫,𝐤)|2superscriptΨ𝐫𝐤2|\Psi({\bf r},\,{\bf k})|^{2}| roman_Ψ ( bold_r , bold_k ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT then becomes no more inherently problematic. Large r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT-values, however, also reduce the strength of femtoscopic signals. The source size in our example is, in fact, comparable to or even larger than those typically used in the literature [5, 6, 13, 9, 32]. Even smaller values for r0subscript𝑟0r_{0}italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT were obtained recently using a precise pion-kaon interaction [38].

Finally, we also discussed off-shell ambiguities of nuclear interactions in chiral EFT. While scheme-dependent contributions to the NN force are suppressed by power counting, the 3BF is highly sensitive to the off-shell components of the NN potentials. The lack of the off-shell consistency in femtoscopy analyses, therefore, raises concerns about the feasibility of extracting 3BFs from heavy-ion collisions as anticipated in Refs. [31, 32, 33].

Acknowledgements.
One of the authors (EE) is grateful to the organizers of the “Three-body femtoscopy meeting” in Prague, March 4-6, 2025, for their hospitality and appreciates useful discussions with Raffaele Del Grande, Laura Fabbietti and Alejandro Kievsky. This work has been supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 885150 and No. 101018170), by the MKW NRW under the funding code NW21-024-A, by JST ERATO (Grant No. JPMJER2304), by JSPS KAKENHI (Grant No. JP20H05636) and by the Chinese Academy of Sciences (CAS) President’s International Fellowship Initiative (PIFI) (Grant No. 2025PD0022).

References

  • [1] S. E. Koonin. Proton Pictures of High-Energy Nuclear Collisions. Phys. Lett. B, 70:43–47, 1977. doi:10.1016/0370-2693(77)90340-9.
  • [2] W. Bauer, C. K. Gelbke, and S. Pratt. Hadronic interferometry in heavy ion collisions. Ann. Rev. Nucl. Part. Sci., 42:77–100, 1992. doi:10.1146/annurev.ns.42.120192.000453.
  • [3] S. Pratt. What we are learning from correlation measurements. Nucl. Phys. A, 638:125–134, 1998. doi:10.1016/S0375-9474(98)00407-2.
  • [4] Michael Annan Lisa, Scott Pratt, Ron Soltz, and Urs Wiedemann. Femtoscopy in relativistic heavy ion collisions. Ann. Rev. Nucl. Part. Sci., 55:357–402, 2005. arXiv:nucl-ex/0505014, doi:10.1146/annurev.nucl.55.090704.151533.
  • [5] L. Fabbietti, V. Mantovani Sarti, and O. Vazquez Doce. Study of the Strong Interaction Among Hadrons with Correlations at the LHC. Ann. Rev. Nucl. Part. Sci., 71:377–402, 2021. arXiv:2012.09806, doi:10.1146/annurev-nucl-102419-034438.
  • [6] Alice Collaboration et al. Unveiling the strong interaction among hadrons at the LHC. Nature, 588:232–238, 2020. [Erratum: Nature 590, E13 (2021)]. arXiv:2005.11495, doi:10.1038/s41586-020-3001-6.
  • [7] R. Lednicky and V. L. Lyuboshits. Final State Interaction Effect on Pairing Correlations Between Particles with Small Relative Momenta. Yad. Fiz., 35:1316–1330, 1981.
  • [8] Richard Lednicky. Finite-size effects on two-particle production in continuous and discrete spectrum. Phys. Part. Nucl., 40:307–352, 2009. arXiv:nucl-th/0501065, doi:10.1134/S1063779609030034.
  • [9] Shreyasi Acharya et al. The ALICE experiment: a journey through QCD. Eur. Phys. J. C, 84(8):813, 2024. arXiv:2211.04384, doi:10.1140/epjc/s10052-024-12935-y.
  • [10] Roderick V. Reid, Jr. Local phenomenological nucleon-nucleon potentials. Annals Phys., 50:411–448, 1968. doi:10.1016/0003-4916(68)90126-7.
  • [11] Robert B. Wiringa, V. G. J. Stoks, and R. Schiavilla. An Accurate nucleon-nucleon potential with charge independence breaking. Phys. Rev. C, 51:38–51, 1995. arXiv:nucl-th/9408016, doi:10.1103/PhysRevC.51.38.
  • [12] D. L. Mihaylov, V. Mantovani Sarti, O. W. Arnold, L. Fabbietti, B. Hohlweger, and A. M. Mathis. A femtoscopic Correlation Analysis Tool using the Schrödinger equation (CATS). Eur. Phys. J. C, 78(5):394, 2018. arXiv:1802.08481, doi:10.1140/epjc/s10052-018-5859-0.
  • [13] Shreyasi Acharya et al. Search for a common baryon source in high-multiplicity pp collisions at the LHC. Phys. Lett. B, 811:135849, 2020. arXiv:2004.08018, doi:10.1016/j.physletb.2020.135849.
  • [14] S. Pratt. Validity of the smoothness assumption for calculating two-boson correlations in high-energy collisions. Phys. Rev. C, 56:1095–1098, 1997. doi:10.1103/PhysRevC.56.1095.
  • [15] D. Anchishkin, Ulrich W. Heinz, and P. Renk. Final state interactions in two particle interferometry. Phys. Rev. C, 57:1428–1439, 1998. arXiv:nucl-th/9710051, doi:10.1103/PhysRevC.57.1428.
  • [16] Michael C. Birse. Potential problems with interpolating fields. Eur. Phys. J. A, 53(11):223, 2017. arXiv:1208.4807, doi:10.1140/epja/i2017-12425-0.
  • [17] Sinya Aoki, Takumi Doi, Tetsuo Hatsuda, Yoichi Ikeda, Takashi Inoue, Noriyoshi Ishii, Keiko Murano, Hidekatsu Nemura, and Kenji Sasaki. Lattice QCD approach to Nuclear Physics. PTEP, 2012:01A105, 2012. arXiv:1206.5088, doi:10.1093/ptep/pts010.
  • [18] H. Lehmann, K. Symanzik, and W. Zimmermann. On the formulation of quantized field theories. Nuovo Cim., 1:205–225, 1955. doi:10.1007/BF02731765.
  • [19] P. Reinert, H. Krebs, and E. Epelbaum. Semilocal momentum-space regularized chiral two-nucleon potentials up to fifth order. Eur. Phys. J. A, 54(5):86, 2018. arXiv:1711.08821, doi:10.1140/epja/i2018-12516-4.
  • [20] Sungtae Cho et al. Exotic hadrons from heavy ion collisions. Prog. Part. Nucl. Phys., 95:279–322, 2017. arXiv:1702.00486, doi:10.1016/j.ppnp.2017.02.002.
  • [21] Johann Haidenbauer and Ulf-G. Meißner. Exploring the ΣΣ\Sigmaroman_Σ+p interaction by measurements of the correlation function. Phys. Lett. B, 829:137074, 2022. arXiv:2109.11794, doi:10.1016/j.physletb.2022.137074.
  • [22] M. Albaladejo, A. Feijoo, J. Nieves, E. Oset, and I. Vidaña. Femtoscopy correlation functions and mass distributions from production experiments. Phys. Rev. D, 110(11):114052, 2024. arXiv:2410.08880, doi:10.1103/PhysRevD.110.114052.
  • [23] P. U. Sauer. Can the charge symmetry of nuclear forces be confirmed by nucleon-nucleon scattering experiments? Phys. Rev. Lett., 32:626–630, 1974. doi:10.1103/PhysRevLett.32.626.
  • [24] Evgeny Epelbaum, Hans-Werner Hammer, and Ulf-G. Meißner. Modern Theory of Nuclear Forces. Rev. Mod. Phys., 81:1773–1825, 2009. arXiv:0811.1338, doi:10.1103/RevModPhys.81.1773.
  • [25] R. Machleidt and D. R. Entem. Chiral effective field theory and nuclear forces. Phys. Rept., 503:1–75, 2011. arXiv:1105.2919, doi:10.1016/j.physrep.2011.02.001.
  • [26] Evgeny Epelbaum, Hermann Krebs, and Patrick Reinert. High-precision nuclear forces from chiral EFT: State-of-the-art, challenges and outlook. Front. in Phys., 8:98, 2020. arXiv:1911.11875, doi:10.3389/fphy.2020.00098.
  • [27] James Lewis Friar. Equivalence of nonstatic two pion exchange nucleon-nucleon potentials. Phys. Rev. C, 60:034002, 1999. arXiv:nucl-th/9901082, doi:10.1103/PhysRevC.60.034002.
  • [28] V. Bernard, E. Epelbaum, H. Krebs, and U.-G. Meißner. Subleading contributions to the chiral three-nucleon force II: Short-range terms and relativistic corrections. Phys. Rev. C, 84:054001, 2011. arXiv:1108.3816, doi:10.1103/PhysRevC.84.054001.
  • [29] See Supplemental Material at [URL].
  • [30] Shimpei Endo, Evgeny Epelbaum, Pascal Naidon, Yusuke Nishida, Kimiko Sekiguchi, and Yoshiro Takahashi. Three-body forces and Efimov physics in nuclei and atoms. Eur. Phys. J. A, 61(1):9, 2025. arXiv:2405.09807, doi:10.1140/epja/s10050-024-01467-4.
  • [31] Shreyasi Acharya et al. Towards the understanding of the genuine three-body interaction for p–p–p and p–p–ΛΛ\Lambdaroman_Λ. Eur. Phys. J. A, 59(7):145, 2023. arXiv:2206.03344, doi:10.1140/epja/s10050-023-00998-6.
  • [32] Shreyasi Acharya et al. Exploring the Strong Interaction of Three-Body Systems at the LHC. Phys. Rev. X, 14(3):031051, 2024. arXiv:2308.16120, doi:10.1103/PhysRevX.14.031051.
  • [33] A. Kievsky, E. Garrido, M. Viviani, L. E. Marcucci, L. Serksnyte, and R. Del Grande. nnn and ppp correlation functions. Phys. Rev. C, 109(3):034006, 2024. arXiv:2310.10428, doi:10.1103/PhysRevC.109.034006.
  • [34] W. P. Abfalterer et al. Inadequacies of the nonrelativistic 3N Hamiltonian in describing the n + d total cross section. Phys. Rev. Lett., 81:57–60, 1998. doi:10.1103/PhysRevLett.81.57.
  • [35] W. N. Polyzou and W. Glöckle. Three-body interactions and on-shell equivalent two-body interactions. Few Body Syst., 9(2-3):97–121, 1990. doi:10.1007/BF01091701.
  • [36] P. Reinert, H. Krebs, and E. Epelbaum. Precision determination of pion-nucleon coupling constants using effective field theory. Phys. Rev. Lett., 126(9):092501, 2021. arXiv:2006.15360, doi:10.1103/PhysRevLett.126.092501.
  • [37] M. Gmitro, J. Kvasil, R. Lednicky, and V. L. Lyuboshits. On the Sensitivity of Nucleon-nucleon Correlations to the Form of Short Range Potential. Czech. J. Phys. B, 36:1281, 1986. doi:10.1007/BF01598029.
  • [38] Miguel Albaladejo, Alejandro Canoa, Juan Nieves, Jose Ramón Peláez, Enrique Ruiz-Arriola, and Jacobo Ruiz de Elvira. The role of chiral symmetry and the non-ordinary κ/K0(700)𝜅subscriptsuperscript𝐾0700\kappa/K^{*}_{0}(700)italic_κ / italic_K start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 700 ) nature in π±KSsuperscript𝜋plus-or-minussubscript𝐾𝑆\pi^{\pm}K_{S}italic_π start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT italic_K start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT femtoscopic correlations. 3 2025. arXiv:2503.19746.

I Supplemental Material

I.1 Scheme dependence in nuclear chiral EFT and phase equivalent NN potentials at N4LO+

In this Supplemental Material we focus on the off-shell ambiguities in the chiral nuclear interactions and describe the construction of the phase-equivalent but off-shell differing N4LO+ NN potentials.

As emphasized in the main text, scheme dependence is an inherent feature of nuclear interactions. Already the starting point for the derivation of the nuclear interactions, the effective chiral Lagrangian truncated at a given order in the derivative expansion, features a certain degree of ambiguity as reflected in the freedom to perform field redefinitions and apply equations of motion to eliminate various terms. The derivation of nuclear potentials requires off-the-energy-shell extensions of the (few-nucleon-irreducible) parts of the scattering amplitudes and introduces additional scheme dependence. For a description of various methods to derive interactions in chiral EFT see Ref. [26] and references therein. A novel approach using the path integral formalism, which is capable of dealing with regularized (non-local) effective Lagrangians [2], has been proposed in Ref. [3].

Here, we focus on the expressions for the NN potentials, 3NFs and current operators given in Refs. [4, 5, 6, 7, 8, 9, 10, 28, 11, 12, 13, 14, 15, 16, 17, 18], which were obtained using the method of unitary transformations (UTs). In this approach, one performes a UT of the effective pion-nucleon Hamiltonian to decouple the states on the Fock space involving pions from the purely nucleonic ones. This is achieved in a perturbative framework by utilizing the standard chiral expansion [4, 9]. To arrive at renormalized expressions for the 3BFs and current operators it was necessary, starting from N3LO, to systematically exploit the unitary ambiguity of the nuclear interactions by considering a broad class of transformations on the nucleonic subspace of the Fock space starting from N3LO [8, 10, 11, 14, 15, 16, 17, 18]. The corresponding unitary phases were then chosen in such a way that the resulting potentials remain finite after renormalization (using dimensional regularization). For the considered class of UTs, the resulting static expressions for the nuclear forces at N3LO and N4LO turn out to be determined unambiguously, while the leading relativistic corrections depend on two arbitrary real parameters β¯8subscript¯𝛽8\bar{\beta}_{8}over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT, β¯9subscript¯𝛽9\bar{\beta}_{9}over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT corresponding to the UTs [14]

U^1/m=eβ¯8S^8β¯9S^9,subscript^𝑈1𝑚superscript𝑒subscript¯𝛽8subscript^𝑆8subscript¯𝛽9subscript^𝑆9\hat{U}_{1/m}=e^{-\bar{\beta}_{8}\hat{S}_{8}-\bar{\beta}_{9}\hat{S}_{9}}\,,over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT 1 / italic_m end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT - over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT - over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (S1)

with the anti-Hermitian generators given by

S^8=η(H^kinηH^gAλ1ωπ3H^gAh.c.)η,S^9=η(H^gA1/mλ1ωπ2H^gAh.c.)η,formulae-sequencesubscript^𝑆8𝜂subscript^𝐻kin𝜂subscript^𝐻subscript𝑔𝐴subscript𝜆1superscriptsubscript𝜔𝜋3subscript^𝐻subscript𝑔𝐴h.c.𝜂subscript^𝑆9𝜂superscriptsubscript^𝐻subscript𝑔𝐴1𝑚subscript𝜆1superscriptsubscript𝜔𝜋2subscript^𝐻subscript𝑔𝐴h.c.𝜂\hat{S}_{8}=\eta\bigg{(}\hat{H}_{\rm kin}\,\eta\,\hat{H}_{g_{A}}\,\frac{% \lambda_{1}}{\omega_{\pi}^{3}}\,\hat{H}_{g_{A}}-\mbox{h.c.}\bigg{)}\eta\,,% \qquad\hat{S}_{9}=\eta\bigg{(}\hat{H}_{g_{A}}^{1/m}\,\frac{\lambda_{1}}{\omega% _{\pi}^{2}}\,\hat{H}_{g_{A}}-\mbox{h.c.}\bigg{)}\eta\,,over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT = italic_η ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT italic_η over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ω start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT - h.c. ) italic_η , over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT = italic_η ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / italic_m end_POSTSUPERSCRIPT divide start_ARG italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ω start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT - h.c. ) italic_η , (S2)

where η𝜂\etaitalic_η and λ1subscript𝜆1\lambda_{1}italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT are the projection operators on the purely nucleonic states and states involving a single pion, respectively, ωπsubscript𝜔𝜋\omega_{\pi}italic_ω start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT is the pion energy, H^gAsubscript^𝐻subscript𝑔𝐴\hat{H}_{g_{A}}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT is the leading-order pion-nucleon vertex proportional to the nucleon axial-vector coupling constant gAsubscript𝑔𝐴g_{A}italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT, H^gA1/msuperscriptsubscript^𝐻subscript𝑔𝐴1𝑚\hat{H}_{g_{A}}^{1/m}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / italic_m end_POSTSUPERSCRIPT is the leading relativistic correction to that vertex with m𝑚mitalic_m denoting the nucleon mass, while H^kinsubscript^𝐻kin\hat{H}_{\rm kin}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT refers to the kinetic energy operator of the nucleons. The UT in Eq. (S1) induces scheme-dependent contributions to the nuclear force of the form

δV^nucl1/m=U^1/m(H^kin+V^nucl)U^1/mH^kin=[(H^kin+V^nuclLO),(β¯8S^8+β¯9S^9)]+,𝛿superscriptsubscript^𝑉nucl1𝑚subscript^𝑈1𝑚subscript^𝐻kinsubscript^𝑉nuclsuperscriptsubscript^𝑈1𝑚subscript^𝐻kinsubscript^𝐻kinsuperscriptsubscript^𝑉nuclLOsubscript¯𝛽8subscript^𝑆8subscript¯𝛽9subscript^𝑆9\delta\hat{V}_{\rm nucl}^{1/m}=\hat{U}_{1/m}(\hat{H}_{\rm kin}+\hat{V}_{\rm nucl% })\hat{U}_{1/m}^{\dagger}-\hat{H}_{\rm kin}=\Big{[}\big{(}\hat{H}_{\rm kin}+% \hat{V}_{\rm nucl}^{\rm LO}\big{)},\;\big{(}\bar{\beta}_{8}\hat{S}_{8}+\bar{% \beta}_{9}\hat{S}_{9}\big{)}\Big{]}+\ldots\,,italic_δ over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / italic_m end_POSTSUPERSCRIPT = over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT 1 / italic_m end_POSTSUBSCRIPT ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT + over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT ) over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT 1 / italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT = [ ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT + over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT ) , ( over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT + over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT over^ start_ARG italic_S end_ARG start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT ) ] + … , (S3)

where the ellipses refer to terms beyond N4LO and V^nuclLOsuperscriptsubscript^𝑉nuclLO\hat{V}_{\rm nucl}^{\rm LO}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT denotes the leading contribution to the NN force stemming from the one-pion exchange and derivative-less contact interactions, V^nuclLO=V^1π+V^contLOsuperscriptsubscript^𝑉nuclLOsubscript^𝑉1𝜋superscriptsubscript^𝑉contLO\hat{V}_{\rm nucl}^{\rm LO}=\hat{V}_{1\pi}+\hat{V}_{\rm cont}^{\rm LO}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT = over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT 1 italic_π end_POSTSUBSCRIPT + over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_cont end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT. Evidently, the commutator with the kinetic energy term H^kinsubscript^𝐻kin\hat{H}_{\rm kin}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT generates 1/m21superscript𝑚21/m^{2}1 / italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT contributions to the one-pion exchange potential, while the one with V^1πsubscript^𝑉1𝜋\hat{V}_{1\pi}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT 1 italic_π end_POSTSUBSCRIPT induces the 1/m1𝑚1/m1 / italic_m corrections to the NN and three-nucleon two-pion exchange potentials V^2π1/msuperscriptsubscript^𝑉2𝜋1𝑚\hat{V}_{2\pi}^{1/m}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT 2 italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / italic_m end_POSTSUPERSCRIPT [28]. The resulting unitary ambiguities in the NN potential are well known and discussed in detail in Ref. [27]. Notice further that when considering reactions involving external electroweak probes, the unitary transformation in Eq. (S1) must be applied to the corresponding single-nucleon charge and current operators, yielding scheme-dependent two-nucleon contributions [19, 14, 15]. Approximate independence of electromagnetic NN observables on the unitary phases β¯8,9subscript¯𝛽89\bar{\beta}_{8,9}over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 8 , 9 end_POSTSUBSCRIPT requires using consistent expressions for nuclear potentials and current operators that correspond to the same values of β¯8,9subscript¯𝛽89\bar{\beta}_{8,9}over¯ start_ARG italic_β end_ARG start_POSTSUBSCRIPT 8 , 9 end_POSTSUBSCRIPT and has been explicitly verified in Refs. [20, 21].

In addition to the long-range UTs in Eq. (S1), nuclear potentials at N3LO feature the short-range ambiguity related to the UTs

U^shortrange=eγ1T^1γ2T^2γ3T^3,subscript^𝑈shortrangesuperscript𝑒subscript𝛾1subscript^𝑇1subscript𝛾2subscript^𝑇2subscript𝛾3subscript^𝑇3\hat{U}_{\rm short-range}=e^{-\gamma_{1}\hat{T}_{1}-\gamma_{2}\hat{T}_{2}-% \gamma_{3}\hat{T}_{3}}\,,over^ start_ARG italic_U end_ARG start_POSTSUBSCRIPT roman_short - roman_range end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (S4)

where γisubscript𝛾𝑖\gamma_{i}italic_γ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are arbitrary real parameters and the short-range anti-Hermitian NN operators T^isubscript^𝑇𝑖\hat{T}_{i}over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are given by [19]

𝐩1𝐩2|T^1|𝐩1𝐩2quantum-operator-productsuperscriptsubscript𝐩1superscriptsubscript𝐩2subscript^𝑇1subscript𝐩1subscript𝐩2\displaystyle\langle{\bf p}_{1}^{\prime}{\bf p}_{2}^{\prime}|\hat{T}_{1}|{\bf p% }_{1}{\bf p}_{2}\rangle⟨ bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ =\displaystyle== m8Λb4(p12+p22p12p22),𝑚8superscriptsubscriptΛb4superscriptsubscript𝑝12superscriptsubscript𝑝22superscriptsubscript𝑝12superscriptsubscript𝑝22\displaystyle\frac{m}{8\Lambda_{\rm b}^{4}}\big{(}p_{1}^{\prime 2}+p_{2}^{% \prime 2}-p_{1}^{2}-p_{2}^{2}\big{)}\,,divide start_ARG italic_m end_ARG start_ARG 8 roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ,
𝐩1𝐩2|T^2|𝐩1𝐩2quantum-operator-productsuperscriptsubscript𝐩1superscriptsubscript𝐩2subscript^𝑇2subscript𝐩1subscript𝐩2\displaystyle\langle{\bf p}_{1}^{\prime}{\bf p}_{2}^{\prime}|\hat{T}_{2}|{\bf p% }_{1}{\bf p}_{2}\rangle⟨ bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ =\displaystyle== m8Λb4(p12+p22p12p22)𝝈1𝝈2,𝑚8superscriptsubscriptΛb4superscriptsubscript𝑝12superscriptsubscript𝑝22superscriptsubscript𝑝12superscriptsubscript𝑝22subscript𝝈1subscript𝝈2\displaystyle\frac{m}{8\Lambda_{\rm b}^{4}}\big{(}p_{1}^{\prime 2}+p_{2}^{% \prime 2}-p_{1}^{2}-p_{2}^{2}\big{)}{\bm{\sigma}}_{1}\cdot{\bm{\sigma}}_{2}\,,divide start_ARG italic_m end_ARG start_ARG 8 roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) bold_italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ bold_italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ,
𝐩1𝐩2|T^3|𝐩1𝐩2quantum-operator-productsuperscriptsubscript𝐩1superscriptsubscript𝐩2subscript^𝑇3subscript𝐩1subscript𝐩2\displaystyle\langle{\bf p}_{1}^{\prime}{\bf p}_{2}^{\prime}|\hat{T}_{3}|{\bf p% }_{1}{\bf p}_{2}\rangle⟨ bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT | bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟩ =\displaystyle== m16Λb4(𝝈1(𝐩1𝐩2+𝐩1𝐩2)𝝈2(𝐩1𝐩2𝐩1+𝐩2)\displaystyle\frac{m}{16\Lambda_{\rm b}^{4}}\Big{(}{\bm{\sigma}}_{1}\cdot({\bf p% }_{1}-{\bf p}_{2}+{\bf p}_{1}^{\prime}-{\bf p}_{2}^{\prime})\;{\bm{\sigma}}_{2% }\cdot({\bf p}_{1}^{\prime}-{\bf p}_{2}^{\prime}-{\bf p}_{1}+{\bf p}_{2})divide start_ARG italic_m end_ARG start_ARG 16 roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( bold_italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) bold_italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋅ ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) (S5)
+𝝈1(𝐩1𝐩2𝐩1+𝐩2)𝝈2(𝐩1𝐩2+𝐩1𝐩2)).\displaystyle{}+{\bm{\sigma}}_{1}\cdot({\bf p}_{1}^{\prime}-{\bf p}_{2}^{% \prime}-{\bf p}_{1}+{\bf p}_{2})\;{\bm{\sigma}}_{2}\cdot({\bf p}_{1}-{\bf p}_{% 2}+{\bf p}_{1}^{\prime}-{\bf p}_{2}^{\prime})\Big{)}\,.+ bold_italic_σ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) bold_italic_σ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋅ ( bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + bold_p start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_p start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ) .

Here, 𝐩isubscript𝐩𝑖{\bf p}_{i}bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and 𝐩isuperscriptsubscript𝐩𝑖{\bf p}_{i}^{\prime}bold_p start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT denote the incoming and outgoing momenta of the nucleon i𝑖iitalic_i while ΛbsubscriptΛb\Lambda_{\rm b}roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT is the breakdown scale of chiral EFT, respectively. Note that in line with the commonly used notation, we do not show in Eq. (I.1) the overall factor of (2π)3superscript2𝜋3(2\pi)^{3}( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT and the δ𝛿\deltaitalic_δ-function corresponding to the total momentum conservation. We further emphasize that we do not consider here short-ranged UTs, whose generators vanish in the NN cms [22]. In a full analogy to Eq. (S3), the induced contributions to the nuclear forces have the form

δV^shortrange=[(H^kin+V^nuclLO),(γ1T^1+γ2T^2+γ3T^3)]+.𝛿subscript^𝑉shortrangesubscript^𝐻kinsuperscriptsubscript^𝑉nuclLOsubscript𝛾1subscript^𝑇1subscript𝛾2subscript^𝑇2subscript𝛾3subscript^𝑇3\delta\hat{V}_{\rm short-range}=\Big{[}\big{(}\hat{H}_{\rm kin}+\hat{V}_{\rm nucl% }^{\rm LO}\big{)},\;\big{(}\gamma_{1}\hat{T}_{1}+\gamma_{2}\hat{T}_{2}+\gamma_% {3}\hat{T}_{3}\big{)}\Big{]}+\ldots\,.italic_δ over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_short - roman_range end_POSTSUBSCRIPT = [ ( over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT + over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT ) , ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_γ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) ] + … . (S6)

In the two-nucleon system, the commutator with V^nuclLOsuperscriptsubscript^𝑉nuclLO\hat{V}_{\rm nucl}^{\rm LO}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT leads to short-range NN operators that can be absorbed into a redefinition of the contact interactions. On the other hand, the commutator with H^kinsubscript^𝐻kin\hat{H}_{\rm kin}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT generates purely off-shell short-range interactions in the NN 1S0, 3S1 and 3S1- 3D1 partial waves. Up to N4LO, the contact interactions in these channels have the form

1S0,p|V^cont|1S0,p\displaystyle\langle^{1}{\rm S}_{0},\,p^{\prime}|\hat{V}_{\rm cont}|^{1}{\rm S% }_{0},\,p\rangle⟨ start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_cont end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_p ⟩ =\displaystyle== C~S01+CS01(p2+p2)+DS01p2p2+DS01off(p2p2)2,subscript~𝐶superscriptsubscriptS01subscript𝐶superscriptsubscriptS01superscript𝑝2superscript𝑝2subscript𝐷superscriptsubscriptS01superscript𝑝2superscript𝑝2superscriptsubscript𝐷superscriptsubscriptS01offsuperscriptsuperscript𝑝2superscript𝑝22\displaystyle\tilde{C}_{{}^{1}{\rm S}_{0}}+C_{{}^{1}{\rm S}_{0}}(p^{2}+p^{% \prime 2})+D_{{}^{1}{\rm S}_{0}}p^{2}p^{\prime 2}+D_{{}^{1}{\rm S}_{0}}^{\rm off% }(p^{2}-p^{\prime 2})^{2}\,,over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ) + italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT ( italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
3S1,p|V^cont|3S1,p\displaystyle\langle^{3}{\rm S}_{1},\,p^{\prime}|\hat{V}_{\rm cont}|^{3}{\rm S% }_{1},\,p\rangle⟨ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_cont end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p ⟩ =\displaystyle== C~S13+CS13(p2+p2)+DS13p2p2+DS13off(p2p2)2,subscript~𝐶superscriptsubscriptS13subscript𝐶superscriptsubscriptS13superscript𝑝2superscript𝑝2subscript𝐷superscriptsubscriptS13superscript𝑝2superscript𝑝2superscriptsubscript𝐷superscriptsubscriptS13offsuperscriptsuperscript𝑝2superscript𝑝22\displaystyle\tilde{C}_{{}^{3}{\rm S}_{1}}+C_{{}^{3}{\rm S}_{1}}(p^{2}+p^{% \prime 2})+D_{{}^{3}{\rm S}_{1}}p^{2}p^{\prime 2}+D_{{}^{3}{\rm S}_{1}}^{\rm off% }(p^{2}-p^{\prime 2})^{2}\,,over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT + italic_C start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ) + italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT ( italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
3S1,p|V^cont|3D1,p\displaystyle\langle^{3}S_{1},\,p^{\prime}|\hat{V}_{\rm cont}|^{3}D_{1},\,p\rangle⟨ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT | over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_cont end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_p ⟩ =\displaystyle== Cϵ1p2+Dϵ1p2p2+Dϵ1offp2(p2p2),subscript𝐶subscriptitalic-ϵ1superscript𝑝2subscript𝐷subscriptitalic-ϵ1superscript𝑝2superscript𝑝2superscriptsubscript𝐷subscriptitalic-ϵ1offsuperscript𝑝2superscript𝑝2superscript𝑝2\displaystyle C_{\epsilon_{1}}p^{2}+D_{\epsilon_{1}}p^{2}p^{\prime 2}+D_{% \epsilon_{1}}^{\rm off}p^{2}(p^{\prime 2}-p^{2})\,,italic_C start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_p start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT - italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (S7)

where C~isubscript~𝐶𝑖\tilde{C}_{i}over~ start_ARG italic_C end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the LO low-energy constants (LECs), Cisubscript𝐶𝑖C_{i}italic_C start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are the next-to-leading order (NLO) LECs while Disubscript𝐷𝑖D_{i}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Dioffsuperscriptsubscript𝐷𝑖offD_{i}^{\rm off}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT are the N3LO LECs. Notice that the contact interactions proportional to DS01offsuperscriptsubscript𝐷superscriptsubscriptS01offD_{{}^{1}{\rm S}_{0}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT, DS13offsuperscriptsubscript𝐷superscriptsubscriptS13offD_{{}^{3}{\rm S}_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT and Dϵ1offsuperscriptsubscript𝐷subscriptitalic-ϵ1offD_{\epsilon_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT vanish in the on-shell kinematics with p=p=ksuperscript𝑝𝑝𝑘p^{\prime}=p=kitalic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_p = italic_k and thus cannot be determined reliably from fits to NN scattering data. This can also be understood from a different perspective by observing that the considered short-ranged UTs generate the NN contact interactions whose form is identical to those proportional to Dioffsuperscriptsubscript𝐷𝑖offD_{i}^{\rm off}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT when the commutator in Eq. (S6) is evaluated with H^kinsubscript^𝐻kin\hat{H}_{\rm kin}over^ start_ARG italic_H end_ARG start_POSTSUBSCRIPT roman_kin end_POSTSUBSCRIPT. This implies that the contact terms proportional to the LECs Dioffsuperscriptsubscript𝐷𝑖offD_{i}^{\rm off}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT can be rotated away by means of a suitably chosen UT. Accordingly, the NN potentials of Refs. [19, 36] were constructed using the scheme with

DS01off=DS13off=Dϵ1off=0.superscriptsubscript𝐷superscriptsubscriptS01offsuperscriptsubscript𝐷superscriptsubscriptS13offsuperscriptsubscript𝐷subscriptitalic-ϵ1off0D_{{}^{1}{\rm S}_{0}}^{\rm off}=D_{{}^{3}{\rm S}_{1}}^{\rm off}=D_{\epsilon_{1% }}^{\rm off}=0\,.italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = 0 . (S8)

It is important to emphasize that the considered UTs also induce 3BFs when evaluating the commutator in Eq. (S6) with V^nuclLOsuperscriptsubscript^𝑉nuclLO\hat{V}_{\rm nucl}^{\rm LO}over^ start_ARG italic_V end_ARG start_POSTSUBSCRIPT roman_nucl end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_LO end_POSTSUPERSCRIPT [19, 23]. This demonstrates, once again, that 3BFs can only be meaningfully defined in conjunction with the NN potential, i.e., within a given scheme fixed by a specific off-shell behavior of the NN interaction.

The choice specified in Eq. (S8) and adopted in Refs. [19, 36] is obviously just one possibility out of infinitely many. From the EFT point of view, any values of Dioffsuperscriptsubscript𝐷𝑖offD_{i}^{\rm off}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT are acceptable provided the LECs of the NN contact interactions are of natural size. To illustrate scheme dependence of the 3BF in chiral EFT, we have generated a set of semi-local momentum-space regularized (SMS) NN potentials [19, 36, 24], which are nearly phase equivalent but differ by the choices of the off-shell LECs DS01offsuperscriptsubscript𝐷superscriptsubscriptS01offD_{{}^{1}{\rm S}_{0}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT, DS13offsuperscriptsubscript𝐷superscriptsubscriptS13offD_{{}^{3}{\rm S}_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT and Dϵ1offsuperscriptsubscript𝐷subscriptitalic-ϵ1offD_{\epsilon_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT. Specifically, we consider the values

DS01off=DS13off=±3, 0;Dϵ1off=±1, 0formulae-sequencesuperscriptsubscript𝐷superscriptsubscriptS01offsuperscriptsubscript𝐷superscriptsubscriptS13offplus-or-minus3 0superscriptsubscript𝐷subscriptitalic-ϵ1offplus-or-minus1 0D_{{}^{1}{\rm S}_{0}}^{\rm off}=D_{{}^{3}{\rm S}_{1}}^{\rm off}=\pm 3,\,0;% \qquad D_{\epsilon_{1}}^{\rm off}=\pm 1,\,0italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = ± 3 , 0 ; italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = ± 1 , 0 (S9)

in units of 104superscript10410^{4}10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT GeV-6 used in Ref. [19] and employ the cutoff value of Λ=450Λ450\Lambda=450roman_Λ = 450 MeV. These units coincide with the natural units of 4π/(Fπ2Λb4)4𝜋superscriptsubscript𝐹𝜋2superscriptsubscriptΛb44\pi/(F_{\pi}^{2}\Lambda_{\rm b}^{4})4 italic_π / ( italic_F start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ) used in Refs. [25, 26], where Fπsubscript𝐹𝜋F_{\pi}italic_F start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT and ΛbsubscriptΛb\Lambda_{\rm b}roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT denote the pion decay constant and the breakdown scale of chiral EFT, respectively, if one sets Λb620similar-to-or-equalssubscriptΛb620\Lambda_{\rm b}\simeq 620roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT ≃ 620 MeV. To ensure approximate phase equivalence of the resulting potentials, we stay at the highest available EFT order N4LO+, which provides a sufficient flexibility to achieve a statistically perfect description of NN data up through the pion production threshold, see Refs. [19, 24] for details, and restrict ourselves to the cutoff value of Λ=450Λ450\Lambda=450roman_Λ = 450 MeV. The assumed range of values for DS01offsuperscriptsubscript𝐷superscriptsubscriptS01offD_{{}^{1}{\rm S}_{0}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT and DS13offsuperscriptsubscript𝐷superscriptsubscriptS13offD_{{}^{3}{\rm S}_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT can be considered as fairly conservative with regard to the naturalness assumption. For example, with the off-shell LECs switched off, the resulting N3LO LECs Disubscript𝐷𝑖D_{i}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT fulfill |Di|2.7×104subscript𝐷𝑖2.7superscript104|D_{i}|\leq 2.7\times 10^{4}| italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | ≤ 2.7 × 10 start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT GeV-6 for Λ=450Λ450\Lambda=450roman_Λ = 450 MeV [19]. For the LEC Dϵ1offsuperscriptsubscript𝐷subscriptitalic-ϵ1offD_{\epsilon_{1}}^{\rm off}italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT, the values Dϵ1off=±3superscriptsubscript𝐷subscriptitalic-ϵ1offplus-or-minus3D_{\epsilon_{1}}^{\rm off}=\pm 3italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = ± 3 turn out to cause unrealistically strong modifications of the deuteron D-state probability, which would render the resulting potentials impractical for many-body applications [26]. We have therefore limited ourselves to the values |Dϵ1off|1superscriptsubscript𝐷subscriptitalic-ϵ1off1|D_{\epsilon_{1}}^{\rm off}|\leq 1| italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT | ≤ 1.

For each of the 26 combinations of the off-shell LECs in Eq. (S9) beyond the already available one corresponding to Eq. (S8), we have fitted the remaining LECs accompanying the NN contact interactions to the neutron-proton and proton-proton scattering data up to Elab=280subscript𝐸lab280E_{\rm lab}=280italic_E start_POSTSUBSCRIPT roman_lab end_POSTSUBSCRIPT = 280 MeV, following the same protocol and using the same database as employed in Refs. [36, 27]. We emphasize that when changing the values of the off-shell LECs and/or the LECs beyond the considered expansion order, the LECs accompanying contact interactions at all orders must be refitted. This procedure corresponds to implicit renormalization within the considered EFT framework and ensures that all results are given in terms of physical parameters (i.e., experimental data for observables used in the fit) rather than bare LECs, see Ref. [26] for details. For all considered cases, we found an essentially perfect description of the neutron-proton (np) and proton-proton scattering data as reflected in the χ2/datumsuperscript𝜒2datum\chi^{2}/{\rm datum}italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_datum-values in the range of χ2/datum=1.0031.007superscript𝜒2datum1.0031.007\chi^{2}/{\rm datum}=1.003\ldots 1.007italic_χ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / roman_datum = 1.003 … 1.007. These results provide an important consistency check of our calculations and show, in particular, that the contributions in Eq. (I.1) that have been neglected at the considered accuracy level based on the power-counting arguments are indeed numerically negligibly small.

Refer to caption
Figure S1: (Color online). The results for the neutron-proton phase shifts and mixing angles calculated using the 27 N4LO+ potentials with different choices of the off-shell LECs specified in Eq. (S9) are shown by light-shaded blue bands. Phase shifts and mixing angles obtained using the potential from Ref. [36] with DS01off=DS13off=Dϵ1off=0superscriptsubscript𝐷superscriptsubscriptS01offsuperscriptsubscript𝐷superscriptsubscriptS13offsuperscriptsubscript𝐷subscriptitalic-ϵ1off0D_{{}^{1}{\rm S}_{0}}^{\rm off}=D_{{}^{3}{\rm S}_{1}}^{\rm off}=D_{\epsilon_{1% }}^{\rm off}=0italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 1 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT start_FLOATSUPERSCRIPT 3 end_FLOATSUPERSCRIPT roman_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = italic_D start_POSTSUBSCRIPT italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT = 0 are shown by orange lines. In all cases, the cutoff is set to Λ=450Λ450\Lambda=450roman_Λ = 450 MeV.

In Fig. S1, we show the resulting np phase shifts and mixing angles in low partial waves. These results demonstrate that the 27 potentials can indeed be regarded as essentially phase equivalent. The visible (but tiny) dependence of the mixing angle ϵ1subscriptitalic-ϵ1\epsilon_{1}italic_ϵ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT on the off-shell LECs reflects the fact that this particular observable is less well constrained by the experimental data as compared to other phase shifts. For an estimation of the EFT truncation uncertainty and other types of uncertainties see Refs. [26, 24, 27].

The predictions for the deuteron properties for the 27 N4LO+ potentials are collected in Table S1.

N4LO+, Ref. [36] N4LO+, off-shell LECs from Eq. (S9) Empirical
Bdsubscript𝐵𝑑B_{d}italic_B start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT [MeV] xxxxxxxxxxxxx 2.22462.22462.22462.2246xxxxxxxxxxxxxxx 2.22462.22462.22462.2246 2.224566142.224566142.224566142.22456614 (41)41(41)( 41 ) [28]
ASsubscript𝐴𝑆A_{S}italic_A start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT [fm-1/2] 0.88460.88460.88460.8846 0.88450.88480.88450.88480.8845\ldots 0.88480.8845 … 0.8848 0.88450.88450.88450.8845 (8)8(8)( 8 ) [29]
η𝜂\etaitalic_η 0.02610.02610.02610.0261 0.02600.02630.02600.02630.0260\ldots 0.02630.0260 … 0.0263 0.02560.02560.02560.0256 (4)4(4)( 4 ) [30]
rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT [fm] 1.96621.96621.96621.9662 1.95881.97091.95881.97091.9588\ldots 1.97091.9588 … 1.9709
Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT [fm2] 0.2750.2750.2750.275 0.2690.2800.2690.2800.269\ldots 0.2800.269 … 0.280
PDsubscript𝑃𝐷P_{D}italic_P start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT [%] 4.794.794.794.79 3.806.333.806.333.80\ldots 6.333.80 … 6.33
The deuteron binding energy has been taken as input in the fit.
Table S1: Deuteron binding energy Bdsubscript𝐵𝑑B_{d}italic_B start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, asymptotic S-state normalization ASsubscript𝐴𝑆A_{S}italic_A start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT, asymptotic D/S-state ratio η𝜂\etaitalic_η, matter radius rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, leading contribution to the quadrupole moment Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and D-state probability PDsubscript𝑃𝐷P_{D}italic_P start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT obtained using the SMS N4LO+ potential of Ref. [36] and the 27 N4LO+ potentials with the off-shell LECs Dioffsuperscriptsubscript𝐷𝑖offD_{i}^{\rm off}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_off end_POSTSUPERSCRIPT set according to Eq. (S9) are given in the second and third columns, respectively. The cutoff is set to Λ=450Λ450\Lambda=450roman_Λ = 450 MeV.

The resulting values for the S-state normalization observable ASsubscript𝐴𝑆A_{S}italic_A start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT and the asymptotic D/S-state ratio η𝜂\etaitalic_η show, similarly to the phase shifts, a very small sensitivity to the off-shell LECs and agree with the experimental data within errors, see Ref. [24] for the error analysis. On the other hand, the matter radius rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT (i.e., the expectation value of the relative distance between the nucleons), the quadrupole moment of the deuteron wave function Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and the D-state probability PDsubscript𝑃𝐷P_{D}italic_P start_POSTSUBSCRIPT italic_D end_POSTSUBSCRIPT are well known not to correspond to observable quantities, see e.g. [31]. Not surprisingly, our predictions for these quantities demonstrate a significant degree of scheme dependence. In contrast to rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, the deuteron charge radius and quadrupole moment related to the electric and quadrupole form factors GC(q2)subscript𝐺𝐶superscript𝑞2G_{C}(q^{2})italic_G start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) and GQ(q2)subscript𝐺𝑄superscript𝑞2G_{Q}(q^{2})italic_G start_POSTSUBSCRIPT italic_Q end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ), respectively, via rc=61GC(0)dGC(q2)dq2|q2=0subscript𝑟𝑐evaluated-at61subscript𝐺𝐶0𝑑subscript𝐺𝐶superscript𝑞2𝑑superscript𝑞2superscript𝑞20r_{c}=6\frac{1}{G_{C}(0)}\frac{dG_{C}(q^{2})}{dq^{2}}\big{|}_{q^{2}=0}italic_r start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 6 divide start_ARG 1 end_ARG start_ARG italic_G start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( 0 ) end_ARG divide start_ARG italic_d italic_G start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_d italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_POSTSUBSCRIPT italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 end_POSTSUBSCRIPT and Q=1md2GQ(0)𝑄1superscriptsubscript𝑚𝑑2subscript𝐺𝑄0Q=\frac{1}{m_{d}^{2}}G_{Q}(0)italic_Q = divide start_ARG 1 end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_G start_POSTSUBSCRIPT italic_Q end_POSTSUBSCRIPT ( 0 ) with mdsubscript𝑚𝑑m_{d}italic_m start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT denoting the deuteron mass are, of course, observables. The scheme-dependent quantities rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT provide the bulk contributions to the charge radius and the quadrupole moment as they originate from the dominant single-nucleon charge density, but one also needs to take into account two-body contributions to the charge density operator, which are often referred to as “meson-exchange currents”. These (scheme-dependent) meson-exchange currents must be chosen consistently with the nuclear interactions to ensure that the resulting form factors are unambiguous. Indeed, it is easy to see that the unitary transformation in Eq. (S4) generates short-range meson-exchange currents when acting on the single-nucleon charge density [21], rendering the calculated form factors independent of the arbitrary phases γisubscript𝛾𝑖\gamma_{i}italic_γ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Note that the spread in the obtained results for rmsubscript𝑟𝑚r_{m}italic_r start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and Q0subscript𝑄0Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT agrees qualitatively with the expected size of meson-exchange contributions from the power-counting, see Refs. [21] for details.

Finally, in Fig. S2, we show the results for the np and neutron-deuteron (nd) total cross section in comparison with the experimental data. As already evident from the results for phase shifts, the np cross section comes out nearly identical for all 27 potentials with the maximal relative differences below two-permille level. On the other hand, the nd cross section calculated using the NN forces only shows a significant scheme dependence, as already visible from Fig. 4.

Refer to caption
Figure S2: (Color online). Neutron-proton and neutron-deuteron total cross section as a function of the cms momentum kcmssubscript𝑘cmsk_{\rm cms}italic_k start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT. The upper and lower inset plots show the relative cross section differences for nd and np scattering, respectively, defined as δσ(σσVNN,[36])/σVNN,[36]𝛿𝜎𝜎subscript𝜎subscriptVNNdelimited-[]36subscript𝜎subscriptVNNdelimited-[]36\delta\sigma\equiv(\sigma-\sigma_{\rm V_{NN,\,[36]}})/\sigma_{\rm V_{NN,\,[36]}}italic_δ italic_σ ≡ ( italic_σ - italic_σ start_POSTSUBSCRIPT roman_V start_POSTSUBSCRIPT roman_NN , [ 36 ] end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) / italic_σ start_POSTSUBSCRIPT roman_V start_POSTSUBSCRIPT roman_NN , [ 36 ] end_POSTSUBSCRIPT end_POSTSUBSCRIPT. Light-shaded blue bands (not visible for neutron-proton scattering) are obtained from the 27 nearly phase-equivalent N4LO+ NN potentials and illustrate inherent scheme dependence of nuclear interactions in chiral EFT. Experimental data for the nd and np total cross section are taken from Refs. [34] and [34], respectively.

The difference between the nd experimental data and calculations utilizing a particular NN potential gives the contribution of the 3NF needed to reproduce the cross section data. The large spread in the predictions for three-nucleon observables from different but nearly phase equivalent N4LO+ NN potentials, reflected in the light-shaded blue bands in Figs. 4 and S2, demonstrates the strong inherent scheme dependence of the 3BF in the framework of chiral EFT.

The results for the nd total cross section and the 3H binding energy shown in Figs. 4 and S2 agree well with estimations based on the power counting, see Ref. [32] for a related discussion. For example, given the expansion parameter in chiral EFT of the order of Q1/3similar-to𝑄13Q\sim 1/3italic_Q ∼ 1 / 3 in chiral EFT and the expectation value of the NN interaction for 3H of VNN4050similar-todelimited-⟨⟩subscript𝑉NN4050\langle V_{\rm NN}\rangle\sim 40\ldots 50⟨ italic_V start_POSTSUBSCRIPT roman_NN end_POSTSUBSCRIPT ⟩ ∼ 40 … 50 MeV, one may expect the 3BF contribution to the 3H binding energy roughly of the order of V3NFQ3VNN1.5similar-todelimited-⟨⟩subscript𝑉3NFsuperscript𝑄3delimited-⟨⟩subscript𝑉NNsimilar-to1.5\langle V_{\rm 3NF}\rangle\sim Q^{3}\,\langle V_{\rm NN}\rangle\sim 1.5⟨ italic_V start_POSTSUBSCRIPT 3 roman_N roman_F end_POSTSUBSCRIPT ⟩ ∼ italic_Q start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ⟨ italic_V start_POSTSUBSCRIPT roman_NN end_POSTSUBSCRIPT ⟩ ∼ 1.5 MeV, where we took into account the first appearance of the 3BF at N2LO (Q3superscript𝑄3Q^{3}italic_Q start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT). Furthermore, the approximately constant deviations between the experimental data for the nd total cross sections and the blue band comprising the results based on the 27 N4LO+ NN potentials in Fig. 4 translate into the relative deviation that grows with energy and reaches about 1020similar-toabsent1020\sim 10\ldots 20∼ 10 … 20% at Elab=200subscript𝐸lab200E_{\rm lab}=200italic_E start_POSTSUBSCRIPT roman_lab end_POSTSUBSCRIPT = 200 MeV, which corresponds to kcms400similar-tosubscript𝑘cms400k_{\rm cms}\sim 400italic_k start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT ∼ 400 MeV. This pattern and the amount of underprediction of σndsuperscript𝜎nd\sigma^{\rm nd}italic_σ start_POSTSUPERSCRIPT roman_nd end_POSTSUPERSCRIPT are also well in line with the expected size of the 3BF contributions based on the chiral power counting [32]. In particular, the growing contributions of the 3NF at increasing energies, also seen in the context of the nuclear equation of state, are consistent with the assumed EFT expansion parameter Qkcms/Λbsimilar-to𝑄subscript𝑘cmssubscriptΛbQ\sim k_{\rm cms}/\Lambda_{\rm b}italic_Q ∼ italic_k start_POSTSUBSCRIPT roman_cms end_POSTSUBSCRIPT / roman_Λ start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT. Last but not least, we emphasize that the leading 3BF at N2LO was found to increase the nd total cross section in Ref. [33], thereby improving the agreement between theory and experiment.

References