1 Introduction

Nowadays, effective field theories (EFTs) are recognized as the standard framework for dealing with the nuclear interaction [1,2,3,4,5,6,7]. The starting points are the identification of the most general effective Lagrangian preserving all the low energy symmetries of the fundamental theory and a power counting to organize the infinite tower of permitted interactions. This leads to the emergence of a predictive setting in which the interactions are expressed at each order of the low-energy expansion in terms of a finite number of low-energy constants (LECs), which can be treated as fitting parameters and extracted from phenomenology. Of particular interest among these fitting parameters are the LECs related to contact interactions between nucleons. They are strongly constrained by discrete symmetries and also by Poincaré symmetry, although the typical setting of nuclear physics is a nonrelativistic quantum-mechanical context.

Relativistic effects in nuclear interaction vertices can be determined by the nonrelativistic reduction of a relativistic quantum-field theoretical Lagrangian and evaluated order by order in the low-energy expansion, since they scale with the soft nucleon momenta [8, 9]. An alternative approach derives from the Poincaré algebra constraints in a purely quantum mechanical setting [10, 11]. Indeed, at sufficiently low energy scales, when the effects of creation and annihilation of particles can be ignored, the system can be considered as constituted by a fixed number of particles, and interactions can be described as direct (i.e., they explicitly depend on the physical variables associated to the constituents of the system) rather than mediated by fields.

The analysis of relativistic corrections on two-nucleon contact forces up to order \(1/m^2\), m being the nucleon mass, has already been discussed in Refs. [12, 13] both via the nonrelativistic reduction of covariant Lagrangians and from the point of view of the constraints imposed by the Poincaré algebra. Furthermore, the analysis of these constraints up to \(1/m^4\) in Refs. [14, 15] led to the to the identification of two free LECs that parameterize a nucleon-nucleon (NN) interaction dependent on the overall momentum of the pair.

In this work we extend the above results to the three-body contact forces.

The first contribution to the contact 3N force is represented by a single operator \( O_0\), accompanied by the LEC \(E_0\), whose matrix elements are constant in momentum space and take the form of the identity operator in spin-flavor space. The subleading terms involve two powers of momenta and were classified in Ref. [16] as consisting of 13 independent operators in the 3N center of mass frame. In a general frame the 3N contact potential reads

$$\begin{aligned} V_{3N}= & {} E_0 -\sum _{i \ne j \ne k}\bigl \{ E_1 {\textbf{k}}_i^2 +E_2 {\textbf{k}}_i^2 \varvec{\tau }_i \cdot \varvec{\tau }_j \nonumber \\{} & {} + E_3 {\textbf{k}}_i^2 \varvec{\sigma }_i \cdot \varvec{\sigma }_j+E_4{\textbf{k}}_i^2 \varvec{\sigma }_i \cdot \varvec{\sigma }_j \varvec{\tau }_i \cdot \varvec{\tau }_j \nonumber \\{} & {} +E_5\left( 3 {\textbf{k}}_i \cdot \varvec{\sigma }_i {\textbf{k}}_i \cdot \varvec{\sigma }_j-{\textbf{k}}_i^2 \varvec{\sigma }_i \cdot \varvec{\sigma }_j\right) \nonumber \\{} & {} + E_6\left( 3 {\textbf{k}}_i \cdot \varvec{\sigma }_i {\textbf{k}}_i \cdot \varvec{\sigma }_j-{\textbf{k}}_i^2 \varvec{\sigma }_i \cdot \varvec{\sigma }_j\right) \varvec{\tau }_i \cdot \varvec{\tau }_j\nonumber \\{} & {} + \frac{i}{4} E_7{\textbf{k}}_i \times \left( {\textbf{Q}}_i-{\textbf{Q}}_j\right) \cdot \left( \varvec{\sigma }_i+\varvec{\sigma }_j\right) \nonumber \\{} & {} +\, \frac{i}{4}E_8 {\textbf{k}}_i \times \left( {\textbf{Q}}_i-{\textbf{Q}}_j\right) \cdot \left( \varvec{\sigma }_i+\varvec{\sigma }_j\right) \varvec{\tau }_j \cdot \varvec{\tau }_k\nonumber \\{} & {} +\, E_9 {\textbf{k}}_i \cdot \varvec{\sigma }_i {\textbf{k}}_j \cdot \varvec{\sigma }_j+E_{10}{\textbf{k}}_i \cdot \varvec{\sigma }_i {\textbf{k}}_j \cdot \varvec{\sigma }_j \tau _i \cdot \varvec{\tau }_j \nonumber \\{} & {} +\, E_{11} {\textbf{k}}_i \cdot \varvec{\sigma }_j {\textbf{k}}_j \cdot \varvec{\sigma }_i \nonumber \\{} & {} +\, E_{12}{\textbf{k}}_i \cdot \varvec{\sigma }_j {\textbf{k}}_j \cdot \varvec{\sigma }_i \varvec{\tau }_i \cdot \varvec{\tau }_j\nonumber \\{} & {} +\, E_{13} {\textbf{k}}_i \cdot \varvec{\sigma }_j {\textbf{k}}_j \cdot \varvec{\sigma }_i \varvec{\tau }_i \cdot \varvec{\tau }_k \nonumber \\{} & {} +\,E_{1}^* {{\varvec{P}}^2} + i E_{2}^* {\varvec{P}}\times {{\varvec{k}}}_i \cdot {{\varvec{\sigma }}}_i \nonumber \\{} & {} +\, i \bigl ( E_{3}^* {{\varvec{P}}}\cdot {{\varvec{k}}}_i \, {{\varvec{\sigma }}}_i \cdot {{\varvec{\sigma }}}_j + E_{4}^* {{\varvec{P}}} \cdot {{\varvec{\sigma }}}_i \, {{\varvec{k}}}_j \cdot {{\varvec{\sigma }}}_j \nonumber \\{} & {} +\, E_{5}^* {{\varvec{P}}} \cdot {{\varvec{\sigma }}}_i \, {{\varvec{k}}}_j \cdot {{\varvec{\sigma }}}_k \bigr ) {{\varvec{\tau }}}_i \times {{\varvec{\tau }}}_j \cdot {{\varvec{\tau }}}_k \bigr \} \nonumber \\\equiv & {} E_0 +\sum _{i=1}^{13}E_i O_i+\sum _{i=1}^{5}E_i^*O_i^*, \end{aligned}$$
(1)

where \({{\varvec{k}}}_i={{\varvec{p}}}_i-{{\varvec{p}}}'_i\) and \({\varvec{Q}}_i={{\varvec{p}}}_i+{{\varvec{p}}}_i'\) are related to the initial and final momenta of the i-th nucleon, respectively \({{\varvec{p}}}_i\) and \({{\varvec{p}}'}_i\), and we indicate with \(O_{i=1-5}^*\) the operators depending on the overall momentum \({{\varvec{P}}}=\sum _i {{\varvec{p}}}_i=({\varvec{Q}}_1+ {\varvec{Q}}_2 + {\varvec{Q}}_3)/2\).

Finally, the operators \({\varvec{\sigma _i}}\) and \({\varvec{\tau _{i}}}\), satisfying \([\sigma _{i}^{\alpha }, \sigma _{j}^{\beta }]= 2i \delta _{ij} \epsilon _{\alpha \beta \gamma } \sigma _{i}^{\gamma }\) and \([\tau _{i}^{\alpha }, \tau _{j}^{\beta }]= 2i \tau _{ij} \epsilon _{\alpha \beta \gamma } \tau _{i}^{\gamma }\), represent spin and isospin respectively; the subscripts of the Pauli matrices refer to the nucleon bilinears they belong to.

The study of this three-body contact force proves particularly interesting in the context of many unsolved problems in nuclear physics [17, 18]. As shown in Refs. [14, 19], some terms of the 3N contact potential are related via a unitary transformation to the \({{\varvec{P}}}\)-dependent two-nucleon potential and seem to be crucial to solve the \(p-d\) \(A_y\) puzzle [20]. Similarly, the study of the three-body force and its relativistic corrections could have an impact on the study of systems with \(A>3\), where still there exist large and unexplained discrepancies between theory and experiment [21,22,23,24].

The paper is structured as follows. In Sect. 2 the relativistic corrections are calculated by nonrelativistic reduction of covariant Lagrangians. In Sect. 3 we show how the same corrective terms can be derived from Poincaré algebra constraints. Finally, in Sect. 4 we present the conclusions of this work.

2 Boost corrections from a covariant 3N contact Lagrangian

The objective of this section is to determine the \(\varvec{P}\)-dependent relativistic correction to the leading order 3N contact potential in any given frame by applying the non-relativistic reduction to the covariant Lagrangian.

We begin by establishing a complete non-minimal set of relativistically invariant 3N contact operators \({\tilde{O}}_i\) that contribute to the non-relativistic expansion starting from order \(Q^0\), while satisfying the requirements of hermiticity and CPT invariance, following general principles outlined in Refs. [15, 25,26,27]. Formally, the operators \({\tilde{O}}_i\) are structured as the composition of fermion bilinears [13, 28]

$$\begin{aligned}{} & {} ({\bar{\psi }}\overleftrightarrow {\partial }_{\mu _1}\cdots \overleftrightarrow {\partial }_{\mu _i}\Gamma _A\psi ) \partial _{\rho _1}\cdots \partial _{\rho _m}({\bar{\psi }}\overleftrightarrow {\partial }_{\nu _1}\cdots \overleftrightarrow {\partial } _{\nu _j}\Gamma _B\psi )\nonumber \\{} & {} \quad \times \; \partial _{\sigma _1}\cdots \partial _{\sigma _n}({\bar{\psi }}\overleftrightarrow {\partial }_{\lambda _1}\cdots \overleftrightarrow {\partial } _{\lambda _k}\Gamma _C\psi ). \end{aligned}$$
(2)

Here, \(\psi \) represents the relativistic nucleon field, which is a doublet in isospin space. The symbol \(\overleftrightarrow {\partial }\) denotes the derivative operator \(\overrightarrow{\partial }-\overleftarrow{\partial }\). The symbols \(\Gamma _{A,B,C}\) denote generic elements of the Clifford algebra, expanded in the basis 1, \(\gamma _5\), \(\gamma _{\mu }\), \(\gamma _{\mu }\gamma _5\), \(\sigma ^{\mu \nu }\), as well as the metric tensor or the Levi-Civita tensor \(\epsilon ^{\mu \nu \rho \sigma }\) (with the convention \(\epsilon ^{0123}=-1\)).

The Lorentz indices on the partial derivatives must be contracted among themselves and/or with those in the \(\Gamma _{A,B,C}\) in order to preserve Lorentz invariance.

Regarding the isospin degrees of freedom, the allowed isospin-invariant flavor structures are \(1 \bigotimes 1 \bigotimes 1\), \({\varvec{\tau _i}}\cdot {\varvec{\tau _j}}\), \({\varvec{\tau _1}}\times {\varvec{\tau _2}} \cdot {\varvec{\tau _3}}\).

In Table 2 are displayed the transformation properties under parity, charge conjugation, and Hermitian conjugation of the fermion bilinears with the aforementioned different elements of the Clifford and flavour algebra.

If charge conjugation and parity symmetries are satisfied, time reversal symmetry is automatically fulfilled, according by the CPT theorem.

Table 1 Transformation proprieties of the different elements of the Clifford algebra, metric tensor, Levi-Civita tensor and derivative operators under parity (\({\mathcal {P}}\)), charge conjugation (\({\mathcal {C}}\)) and hermitian conjugation (h.c.)

We now outline power counting criteria needed to establish which operators contribute to the non-relativistic expansion starting from order \(Q^0\) [13, 15].

Derivatives \(\partial \) acting on the whole bilinears are of order Q, while derivatives \(\overleftrightarrow {\partial }_{\mu }\) acting inside a bilinear are of order \(Q^0\) due to the presence of the heavy fermion mass scale. Therefore, we can restrict ourselves to retain only operators containing the latter kind of derivatives. Nevertheless, a generic operator contributing at order \(Q^0\) may in principle include arbitrary powers of space-time derivatives of the fields. However, it is possible to restrict ourselves to consider only a finite number of structure, as detailed in what follows. Whenever \(\overleftrightarrow {\partial }_{\mu }\) is contracted with an element of the Clifford algebra inside of the same bilinear, the fields’ equations of motion can be used to remove it [29, 30]. The same is true when \(\overleftrightarrow {\partial }_{\mu }\) is contracted with another \(\overleftrightarrow {\partial }^{\mu }\) inside the same bilinear, since \(\overleftrightarrow {\partial }_{\mu }\overleftrightarrow {\partial }^{\mu } = -4\,m^2 - \partial ^2\). As a result, by the equation of motions, no two Lorentz indices can be contracted among themselves inside the same bilinear, exept for the Levi-Civita tensors and for the suppressed \(\partial ^2\).

For what concerns pairwise contracted \((\overleftrightarrow {\partial }_A \cdot \overleftrightarrow {\partial }_B)\) between two different bilinears, we observe that these structures too generate redundant contributions. For instance,

$$\begin{aligned}{} & {} ({\bar{\psi }} \psi )_1 ({\bar{\psi }} {{\,\mathrm{\overleftrightarrow {\partial }}\,}}^{\mu } \psi )_2 ({\bar{\psi }} {{\,\mathrm{\overleftrightarrow {\partial }}\,}}_{\mu } \psi )_3 \nonumber \\{} & {} \quad = 2 m^2({\bar{\psi }} \psi )_{1} ({\bar{\psi }} \psi )_2 ({\bar{\psi }} \psi )_3 + \frac{1}{2} ({\bar{\psi }} \psi )_{1} ({\bar{\psi }} \psi )_2 \partial ^2 ({\bar{\psi }} \psi )_3,\nonumber \\ \end{aligned}$$
(3)

so that the contribution \(({\bar{\psi }} \psi )_2 ({\bar{\psi }} {{\,\mathrm{\overleftrightarrow {\partial }}\,}}^{\mu } \psi )_2 ({\bar{\psi }} {{\,\mathrm{\overleftrightarrow {\partial }}\,}}_{\mu } \psi )_3 \)\(-2\,m^2({\bar{\psi }} \psi )_{1} ({\bar{\psi }} \psi )_2 ({\bar{\psi }} \psi )_3\) \( = O(Q^2)\) can be neglected in the non relativistic expansion, as it starts from \(Q^2\). (We see from Eq. (A1) that the contribution of \({\tilde{O}}_1\) starts from order \(Q^0\)).

The Dirac matrix \(\gamma _5\) can be thought of as of order O(Q) since it mixes the large and small components of the Dirac spinor. This also applies to the spatial components of \(\gamma _\mu \) and to the temporal component of \(\gamma _\mu \gamma _5\), as well as to \(\sigma _{0i}\). For instance, operators associated to the structure \(\gamma \bigotimes \gamma \bigotimes \sigma \), such as \( ({\bar{\psi }} \gamma _{\alpha } \psi )_1 ({\bar{\psi }} \gamma _{\beta } \psi )_2 ({\bar{\psi }} \sigma ^{\alpha \beta } \psi )_3\), do not contribute at order \(Q^0\) due to this mixing.

The antisymmetry properties of \(\epsilon _{\mu \nu \rho \sigma }\) and \(\sigma ^{\mu \nu }\) restrict the maximum number of their possible contractions with a derivative \(\overleftrightarrow {\partial }\) operating within a bilinear to one. Any additional contraction with a derivative would lead to a contribution at a higher order than \(O(Q^0)\).

On the basis of these properties we derive a complete (but non minimal) set of 92 different relativistic operators, displayed in Table 2, that contribute to the non-relativistic expansion starting from order \(Q^0\). Obviously, none of the 92 operators presents derivatives \(\partial \) acting on the entire bilinear, as they are of order Q.

Table 2 List of three-nucleon relativistic contact operators contributing to the leading order

The relativistic nucleon field \(\psi \) can be expanded in a non-relativistic manner up to second order in Q by utilizing the non-relativistic field,

$$\begin{aligned} \psi (x) = \begin{pmatrix} (1 + \frac{\nabla ^2}{8m^2})\mathbbm {1}_{2 \times 2}\\ -\frac{i}{2m} \varvec{\sigma } \cdot \varvec{}\nabla \end{pmatrix} N(x) + O(Q^3). \end{aligned}$$
(4)

We obtain 92 resulting non-relativistic operators \({\tilde{O}}_i\) as combinations of the 146 subleading 3N contact operators \(o_{1,\ldots ,146}\) compatible with the symmetries of QCD, classified in Ref. [16]. We list the resulting expressions in Appendix A. After applying Fierz’s relations, these non-relativistic expansions can be rewritten in the minimal basis consisting of the operators \(O_{1,\ldots ,13}\), \(O^{*}_{1,\ldots ,5}\) which appear in Eq. (1). They are shown in Appendix B. In these expressions the operators \(O^{*}_i\) entering in the effective Lagrangian, always appear in one single combination,

$$\begin{aligned} O_{\textbf{P}}^{(0)} = 6 O_0 +\frac{1}{4m^2} \left( \frac{2}{3} O_{1}^{*} + O_{2}^* \right) , \end{aligned}$$
(5)

which starts at \(O(Q^0)\) and contain \(\textbf{P}\)-dependent drift corrections. Formally the non-relativistic expansions of the relativistic operators \({{\tilde{O}}}_i\), up to \(O(Q^2)\), take the form

$$\begin{aligned} {\tilde{O}}_i = \alpha _i O_{\textbf{P}}^{(0)} + {\sum _{k=1}^{13}} \beta _{i}^{k}O_k, \qquad i =1,\ldots ,13 \end{aligned}$$
(6)

where \(\alpha _i\), \(\beta _{i}^{k}\) are coefficients which can be read from the explicit expressions.

Thus, starting from the relativistic 3N contact Lagrangian written in terms of 92 (redundant) LECs, \({{\tilde{E}}}_i\), the potential can be written as

$$\begin{aligned} {\tilde{V}} = \sum _{i=1}^{92}{\tilde{E}}_i {\tilde{O}}_i = \sum _{i=1}^{92} {\tilde{E}}_i \left( \alpha _i O_{\textbf{P}}^{(0)} + {\sum _{k=1}^{13}} \beta _{i}^{k}O_k \right) , \end{aligned}$$
(7)

and comparing with Eq. (1), while considering Eq. (5), we obtain the following identification

$$\begin{aligned} \sum _{i=1}^{92} {\tilde{E}}_i\alpha _i = \frac{1}{6} E_0, \end{aligned}$$
(8)

and specific constraints on the LECs \(E^{*}_{i=1,\ldots , 5}\),

$$\begin{aligned} E^{*}_{1}&= \frac{1}{36 m^2}E_0, \end{aligned}$$
(9)
$$\begin{aligned} E^{*}_{2}&=\frac{1}{24 m^2} E_0, \end{aligned}$$
(10)
$$\begin{aligned} E^{*}_{3}&= E^{*}_{4} = E^{*}_{5} = 0. \end{aligned}$$
(11)

Finally, we can identify

$$\begin{aligned} \delta V(\varvec{P}) \equiv \frac{E_0}{24 m^2}\left( \frac{2}{3} O_{1}^{*} + O_{2}^* \right) , \end{aligned}$$
(12)

as the \(\varvec{P}\)-dependent component of the 3N contact potential in an arbitrary frame of Eq. (1), i.e. the boost correction up to order \({\varvec{Q}}^2\) to the 3N leading order contact potential in the rest frame of the system,

$$\begin{aligned} \begin{aligned} V_{3N}&= E_0 +\sum _{i=1}^{13}E_i\,O_i+\sum _{i=1}^{5}E_i^*O_i^* \\&= E_0 +\sum _{i=1}^{13}E_i O_i+\delta V(\varvec{P}). \end{aligned} \end{aligned}$$
(13)

3 The 3N contact interaction boost corrections from Poincaré algebra

As an alternative to the procedure discussed in the previous Section, we review the calculation of the boost correction to the leading order 3N contact interaction up to \(Q^2\) order from the Poincaré algebra constraints.

Relativistic many-body descriptions of systems consisting of a fixed number of interacting particles can be achieved using relativistic Hamiltonians. These Hamiltonians are defined as the sum of relativistic one-body kinetic energies, two- and many-body interactions and, importantly, their corresponding boost corrections. For a generic system of interacting particles with momenta \({\varvec{p}}_{\nu }\) and masses \(m_{\nu }\), such Hamiltonians may be expressed as follows [31],

$$\begin{aligned} H_R{} & {} = \sum _{\nu } \sqrt{m_{\nu }^2 + p_{\nu } ^2} + \sum _{\nu<\mu } \bigl [{v}_{\nu \mu } + \delta v_{\nu \mu }({\varvec{P}}_{\nu \mu })\bigr ] \nonumber \\{} & {} \quad +\sum _{\nu<\mu <\rho }\bigl [{V}_{\nu \mu \rho } + \delta V_{\nu \mu \rho } ({\varvec{P}}_{\nu \mu \rho })\bigr ] +\cdots , \end{aligned}$$
(14)

where \({\varvec{P}}_{\nu \mu } = {\varvec{p}}_{\nu } + {\varvec{p}}_{\mu }\) is the total momentum of particles \(\nu \) and \(\mu \), and \({\varvec{P}}_{\nu \mu \rho } = {\varvec{p}}_{\nu } + {\varvec{p}}_{\mu } + {\varvec{p}}_{\rho }\) is the total momentum of particles \(\nu \), \(\mu \) and \(\rho \). The term \({v}_{\nu \mu }\) corresponds to the two-body potential in the rest frame of the sub-system constituted by particles of indices \(\nu \)\(\mu \). Analogously, \( V_{\nu \mu \rho }\) is the three-body potential in the rest frame of particles \(\nu \),\(\mu \),\(\rho \). Terms \(\delta v_{\nu \mu }({\varvec{P}}_{\nu \mu })\) and \(\delta V_{\nu \mu \rho } (\varvec{P}_{\nu \mu \rho })\) are referred to as “boost interactions”. Clearly, these quantities vanish in the rest frame of their corresponding sub-system (i.e., \(\delta v_{\nu \mu }(0)=0\) if \({{\varvec{P}}}_{\nu \mu }=0\), and \(\delta V_{\nu \mu \rho }(0)=0\) if \({\varvec{P}}_{\nu \mu \rho }=0\)). However, it is essential to take them into account to attain accurate descriptions in reference frames where \({\varvec{P}} \ne 0\).

Both \({v_{\mu \nu }}\) and \(V_{\mu \nu \rho }\) are determined by the fields and by the internal structure of the interacting particles. Realistic models of \(v_{\mu \nu }\) and \(V_{\mu \nu \rho }\) are obtained by choosing their theoretical model and by fitting them to experimental data; as a consequence, they may contain some form of model-dependent relativistic effects.

Starting from \({v}_{\mu \nu }\) (respectively, \(V_{\mu \nu \rho }\)) it is possible to obtain \(\delta v_{\mu \nu }({\varvec{{P}}}_{{\mu \nu }})\) ( respectively, \(\delta V_{\mu \nu \rho } ({\varvec{{P}}}_{{\mu \nu \rho }})\)) without any further model dependence, through relations fixed by the general principle of relativistic covariance.

For our present purposes, we are considering a system of three particles, each with spin s and mass m. The dynamical variables for the \(\nu \)th particle (\(\nu =1,2,3\)) are spin \({\varvec{\sigma _{\nu }}}\), isospin \({\varvec{\tau }}_{{\nu }}\), momentum \({\varvec{p}}_{{\nu }}\), and position \({\varvec{r}}_{{\nu }}\). The momenta and positions are canonically conjugate operators, as are the center-of mass variables \({\varvec{R}}=\frac{{\varvec{r}}_1 + {\varvec{r}}_2 + {\varvec{r}}_3}{3}\) and \({\varvec{P}}={\varvec{p}}_{1} + {\varvec{p}}_{2} + {\varvec{p}}_{3}\). The spin and isospin operators satisfy the well-known angular momentum commutation relations: \([\sigma _{\nu }^i, \sigma _{\mu }^j]= i \delta _{\nu \mu } \epsilon _{ijk} \sigma _{\nu }^k\) and \([\tau _{\nu }^i, \tau _{\mu }^j]= i \delta _{\nu \mu } \epsilon _{ijk} \tau _{\nu }^k\).

In the instant form of relativistic dynamics [32], interactions affect the Hamiltonian H and, necessarily, the boost generators \({\varvec{K}}\). We write

$$\begin{aligned} \begin{aligned} {\varvec{P}}&= {\varvec{P}}_0,\\ {\varvec{J}}&= {\varvec{J}}_0, \end{aligned} \quad \begin{aligned} H&= H_0 + V, \\ \varvec{K}&= \varvec{K}_0 + {\varvec{W}}, \end{aligned} \end{aligned}$$
(15)

where V, \({\varvec{W}}\) are the interaction terms, and the subscripts 0 indicate the corresponding operators in the absence of interactions,

$$\begin{aligned} {\varvec{P}}_0= & {} \sum _{\nu =1}^{3} {\varvec{p}}_{\nu },\nonumber \\ {\varvec{J}}_0= & {} \sum _{\nu =1}^{3} {\varvec{r}}_{\nu } \times {\varvec{p}}_{\nu } + {\varvec{s}}_{\nu } \equiv \sum _{\nu =1}^{3} {\varvec{j}}_{\nu }, \nonumber \\ H_0= & {} \sum _{\nu =1}^3 \omega _{\nu },\nonumber \\ {\varvec{K}}_0= & {} \sum _{\nu =1}^3 \frac{{\varvec{r}}_{\nu } \omega _{\nu } + \omega _{\nu } {\varvec{r}}_{\nu }}{2c^2} - \frac{{\varvec{s}}_{\nu } \times {\varvec{p}}_{\nu }}{m_{\nu } c^2 + \omega _{\nu }} - t{\varvec{p}}_{\nu } \nonumber \\\equiv & {} \sum _{\nu } {\varvec{k}}_{\nu }, \end{aligned}$$
(16)

where \(\omega _{\nu }=\sqrt{m^2 c^4 + c^2p_{\nu }^2}\) is the single-particle energy of the \(\nu \)th particle.

The generators in Eq. (15) must satisfy the commutation relations of the Poincaré group:

$$\begin{aligned}{}[P_i, P_j]&=0,\qquad [J_i, P_j]=i\epsilon _{ijk}P_k, \nonumber \\ [P_i, H]&=0, \qquad [J_i, J_j]=i\epsilon _{ijk}J_k, \nonumber \\ [J_i, H]&=0,\qquad [J_i, K_j]=i\epsilon _{ijk}K_k, \nonumber \\ [H, K_i]&= - i P_i, \nonumber \\ [K_i, K_j]&=-i\epsilon _{ijk}J_k/c^2, \nonumber \\ [P_i, K_j]&=-i\delta _{ij}H /c^2, \end{aligned}$$
(17)

where \(i,j,k \in \{1,2,3\}\), \(\epsilon _{ijk}\) is the Levi-Civita tensor, \(\delta _{ij}\) is the Kronecker delta tensor, and summation convention on repeated indices is in force. Units are such that \(\hbar =1\) and c is the speed of light in vacuum.

As it is well known, the relations of Eq. (17) are satisfied by the free generators in Eq. (16). The problem of describing an interacting system of relativistic particles consists of determining functions V and \({\varvec{W}}\) such that the commutation relations (17) are still satisfied [10].

It is assumed that we are considering an interacting system for which H and \({\varvec{K}}\) can be expanded in powers of \(\frac{1}{m^2}\) as

$$\begin{aligned} \begin{aligned} H&= Mc^2 + H^{(0)} + H^{(1)} +\cdots , \\ {\varvec{K}}&= {\varvec{K}}^{(0)} + {\varvec{K}}^{(1)} +\cdots , \end{aligned} \end{aligned}$$
(18)

where \(M=\sum _\nu ^{i} m_\nu \) and the superscripts refer to the order in powers of \(\frac{1}{m^2}\). Under this assumption, interactions can be introduced at each order as additional terms \(V^{(n)}\), \({\varvec{W}}^{(n)}\) to the non-interacting components at the order n, respectively \(H_0^{(n)}\) and \({\varvec{K}}_0^{(n)}\),

$$\begin{aligned} \begin{aligned} H^{(n)}&= H_0^{(n)} + V^{(n)}, \\ {\varvec{K}}^{(n)}&= {\varvec{K}}_0^{(n)} + {\varvec{W}}^{(n)}, \end{aligned} \end{aligned}$$
(19)

with both \(V^{(n)}\) and \({\varvec{W}}^{(n)}\) depending on the dynamical variables of the system, and not explicitly on time [10].

The commutation relations in Eq. (17) can be consequently expanded in powers of \(\frac{1}{m^2}\) and, in principle, they could be solved at each order by mean of a “direct integration”. It is conjectured that the obtained solutions represent the most general case for systems of the depicted kind for which the expansion exists.

We assume, following [10], that the representation for a relativistic system is chosen so that in the nonrelativistic limit it holds \({\varvec{W}}^{(0)}=0\) and \({\varvec{K}} = M {\varvec{R}} - t{\varvec{P}}\), and \({\varvec{J}}\) and \({\varvec{P}}\) are those given in Eqs. (15) and (16).

At the first order of the expansions (18), the constraints on \(H^{(1)}= H_0^{(1)}+ V^{(1)}\) and \({\varvec{K}}^{(1)}={\varvec{K}}_0^{(1)} + {\varvec{W}}^{(1)}\) inherited from Poincarè algebra are

$$\begin{aligned}{} & {} [P_i, H^{(1)}] = 0,\nonumber \\{} & {} [P_i, K_j^{(1)}] = -i \delta _{ij} \frac{H^{(0)}}{c^2},\nonumber \\{} & {} [J_i, H^{(1)}] = 0,\nonumber \\{} & {} [J_i, K_j^{(1)}] = i \epsilon _{ijk} K_k^{(1)},\nonumber \\{} & {} [H^{(0)}, K_i^{(1)}] + [H^{(1)}, K_i^{(0)}] = 0,\nonumber \\{} & {} [K_i^{(0)}, K^{(1)}_j] - [K^{(0)}_j,K^{(1)}_i] = - i \epsilon _{ijk} \frac{J_k}{c^2}. \end{aligned}$$
(20)

The solution of the the above relations allows to identify the relativistic correction \(V^{(1)}\) to a phenomenological potential \(V^{(0)}\).

In particular, we focus on the \({\varvec{P}}\)-dependent component of such correction, i.e. the boost correction \(\delta V({\varvec{P}})\), which provides the relationship between descriptions of the system in different reference frames.

An expression for \(\delta V\) up to order \(\frac{1}{m^2}\) beyond the non-relativistic limit has been derived by Friar [33].

It is convenient to write it in terms of normalized canonical Jacobi coordinates of momentum, \({\varvec{\pi }}_{a,b}\) and position \({\varvec{\rho }}_{a,b}\), which are related to the

physical variables \({\varvec{p}}_{1,2,3}\), \({\varvec{r}}_{1,2,3}\) through the change of coordinates

$$\begin{aligned}{} & {} {\left\{ \begin{array}{ll} {\varvec{\pi }}_a &{}= \frac{{\varvec{p}}_1 - {\varvec{p}}_2}{2}, \\ {\varvec{\rho }}_a &{}= {\varvec{r}}_1 - {\varvec{r}}_2; \end{array}\right. } \quad {\left\{ \begin{array}{ll} {\varvec{\pi }}_b &{} = \frac{2}{3}\biggl [ {\varvec{p}}_3 - \frac{{\varvec{p}}_1 + {\varvec{p}}_2}{2}\biggr ], \\ {\varvec{\rho }}_b &{}= {\varvec{r}}_3 - \frac{{\varvec{r}}_1 + {\varvec{r}}_2}{2}; \end{array}\right. }\nonumber \\{} & {} {\left\{ \begin{array}{ll} {\varvec{R}} &{}= \frac{{\varvec{r}}_1 + {\varvec{r}}_2 + {\varvec{r}}_3}{3},\\ {\varvec{P}} &{}= {\varvec{p}}_1 + {\varvec{p}}_2 + {\varvec{p}}_3. \end{array}\right. } \end{aligned}$$
(21)

Thus, for a system of three particles, \(\delta V\) reads

$$\begin{aligned} \delta V({\varvec{P}}) = - \frac{P^2 V^{(0)}}{2 (3m)^2} - i [\chi _v, H_0] - i [\chi _0, V^{(0)}], \end{aligned}$$
(22)

where

$$\begin{aligned} \chi _v ({\varvec{P}})&= - \frac{1}{6m} \int _{0}^{{\varvec{P}}} {\varvec{w}} \cdot {\varvec{dP}} + H. c., \end{aligned}$$
(23)
$$\begin{aligned} \chi _0 ({\varvec{P}})&= -\frac{1}{4 (3m)^2} \Biggl [\biggl ( {\varvec{\rho }}_a \cdot {\varvec{P}} {\varvec{\pi }}_a \cdot {\varvec{P}}\nonumber \\&\quad + {\varvec{\rho }}_{b} \cdot {\varvec{P}} {\varvec{\pi }}_b \cdot {\varvec{P}}\biggr ) + H. c. \Biggr ] \nonumber \\&\quad + \frac{1}{12 m^2} \Biggl [\biggl ( {\varvec{\rho }}_a \cdot {\varvec{P}} {\varvec{\pi }}_a \cdot {\varvec{\pi }}_b - \frac{1}{2}{\varvec{\rho }}_{b} \cdot {\varvec{P}} {{\varvec{\pi }}_b}^2 \nonumber \\&\quad + \frac{2}{3} {\varvec{\rho }}_{b} \cdot {\varvec{P}} {{\varvec{\pi }}_a}^2 \biggr ) + H. c. \Biggr ] \nonumber \\&\quad - \frac{1}{6 m^2} \biggl [({\varvec{s}}_1 - {\varvec{s}}_2) \wedge {\varvec{P}} \cdot {\varvec{\pi }}_a \nonumber \\&\quad + ({\varvec{s}}_3 - \frac{{\varvec{s}}_1 + {\varvec{s}}_2}{2} ) \wedge {\varvec{P}} \cdot {\varvec{\pi }}_b \biggr ]. \end{aligned}$$
(24)

We identify \(V^{(0)}\) in Eq. (22) with the leading order 3N contact interaction parameterized by the LEC \(E_0\) in Eq. (1).

The vector \({\varvec{w}}\) in Eq. (23) is a translationally invariant function of \({\varvec{P}}\) and \({\varvec{\rho }}_{{a,b}}\), \({\varvec{\pi }}_{a,b}\). It satisfies \(\nabla _{{\varvec{P}}} \times {\varvec{w}} = 0\), making the integral in (23) independent of the path. As a minimal choice, we set \({\varvec{w}} = 0\), so that \(\chi _v ({\varvec{P}}) = 0\), as in Refs. [11, 12, 34, 35]; this corresponds to assuming the existence of an appropriate unitary transformation absorbing \({\varvec{w}}\) [14].

We evaluate \(\delta V\) between 3N states \(\Psi \) and \(\Psi '\) as \(\langle \Psi '\vert \)\(\delta V ({{\varvec{P}}}) \vert \Psi \rangle \). The details of the calculation can be found in Appendix (C).

The result, expressed in terms of variables \({\varvec{k}}_{i} = {\varvec{p}}_i - {\varvec{p}}_i'\) and \({\varvec{Q}}_{i} = {\varvec{p}}_i + {\varvec{p}}_i'\), with \(i=1,2,3\), is

$$\begin{aligned} \delta V= & {} - \frac{E_0 }{6m^2} \Biggl [{\varvec{P^2}} + \frac{i}{4} {\varvec{P}} \times ({\varvec{k}}_1-{\varvec{k}}_2)\cdot ({\varvec{\sigma }}_1-{\varvec{\sigma }}_2) \nonumber \\{} & {} \quad + \frac{i}{3}{\varvec{P}} \times \biggl ({\varvec{k}}_3- \frac{{\varvec{k}}_1+{\varvec{k}}_2}{2}\biggr ) \cdot \biggl ({\varvec{\sigma }}_3- \frac{{\varvec{\sigma }}_1+{\varvec{\sigma }}_2}{2}\biggr )\Biggr ].\nonumber \\ \end{aligned}$$
(25)

When written in the basis of the 146 3N subleading contact operators \(o_{i}\), \(i=1,\dots ,146\), Eq. (25) reads

$$\begin{aligned} \delta V= - \frac{E_0}{48m^2} (-o_{127}-2o_1 + 2 o_{75} - 2 o_{79}). \end{aligned}$$
(26)

However, when we use the basis of the 18 independent 3N subleading contact operators \(O_{1-13}\), \(O^{*}_{1-5}\), the same result can be written as

$$\begin{aligned} \delta V= \frac{E_0}{24m^2} \left( \frac{2}{3} O^{*}_{1} +O^{*}_{2} \right) . \end{aligned}$$
(27)

Since it is completely characterized by the low energy constant \(E_0\), we recognize \(\delta {V}({{\varvec{P}}}) \) as the boost correction of our interest, in perfect agreement with Eq. (12).

4 Conclusions

In this paper we derived the relativistic corrections of the leading order 3N contact potential in an arbitrary frame with two different approaches. The first approach, developed within the framework of field theory, involves identifying the operators that contribute to the covariant Lagrangian at the zeroth-order in the low-energy expansion and afterwards performing relativistic reduction; the result is represented by Eqs. (5) and (12) or, equivalently, by constraints on the LECs \(E_i^*\) parametrizing \(\textbf{P}\)-dependent interactions, Eqs. (91011). The second approach, formulated within the context of relativistic quantum mechanics, is directly based on fundamental principles of covariance and the constraints that arise from them through Poincaré algebra; the result is Eq. (27). In both cases it is evident that the \({\varvec{P}}\)-dependent boost correction is entirely determined by the interaction at the leading order. The expression for the boost correction is given by

$$\begin{aligned} \delta V({{\varvec{P}}}) = \frac{E_0}{24m^2} \left( \frac{2}{3} O^{*}_{1} +O^{*}_{2} \right) , \end{aligned}$$
(28)

indicating overall agreement within the two approachesFootnote 1.

The consistency between the two approaches supports the validity of the minimal ansatz \({\varvec{w}}=0\) made in Eq. (22). Hence, it is possible to assume the existence of an appropriate unitary transformation absorbing \({\varvec{w}}\) [14]. A similar assumption has been made in the 2N case in Refs. [31] and [13]; nevertheless, the validity of its extension for systems composed of a \(N>2\) nucleons is not straightforward [11].

Furthermore, the results obtained in Eqs. (B94)–(B185) provide a non-trivial check of the Fierz’s relations. In fact, if there had been an error in the Fierz’s identities, as in Ref. [16] where only 14 nonrelativistic operators were found, the relativistic corrections would have had different expressions for each operator thus precluding the unambiguous determination of the boost correction.

It is conjectured that the obtained solutions are the most general for systems of the kind depicted for which the expansion exists.

Any relativistic description of a system of interacting particles of finite mass and spin, whether exact or approximate, should fall in this framework.