Trueman Formula in Few-Body Scattering

• Trueman Formula is a set of asymptotic boundary conditions for Faddeev–Yakubovsky equations that connect calculated amplitudes to observable S- and K-matrix parameters.
• It separates square-integrable short-range contributions from long-range asymptotic behavior, ensuring reliable extraction of scattering observables in multichannel contexts.
• This framework underpins numerical methods that enhance stability and accuracy in solving complex few-body quantum scattering problems.

The Trueman Formula, in the context of few-body quantum dynamics, is not a self-contained equation but refers to a specific family of asymptotic boundary conditions for coupled integro-differential equations describing systems of three or more interacting particles. These boundary conditions are essential for extracting observable quantities, such as scattering matrices and phase shifts, from the Faddeev and Yakubovsky equations. The term is most frequently encountered in discussions of few-body scattering theory, particularly for multi-channel or open-channel systems.

1. Origin and Conceptual Context

The Trueman boundary condition (Trueman Formula) originates from the need to impose physically correct asymptotics on the reduced amplitudes (Faddeev components for three-body, Yakubovsky components for four- and higher-body systems) when one or more Jacobi coordinates go to infinity. In multi-particle quantum scattering, the asymptotic behavior of channel wave functions fixes the relation between computed amplitudes and physical S- or K-matrix parameters. This is particularly nontrivial in the presence of multiple open channels or for systems exhibiting rearrangement and breakup reactions (Lazauskas, 2017, Lazauskas et al., 2019, Lazauskas et al., 2020).

2. Mathematical Structure

For a general N-particle system, consider the (reduced) Faddeev or Yakubovsky component $f_\alpha(x,y,z,\ldots)$, where $x, y, z, \ldots$ are the set of Jacobi coordinates adapted to a given partitioning of the system. The Trueman boundary conditions specify that, as a given cluster coordinate (say $w$) tends to infinity,

$$f_{\alpha,a}(x,y,z,w) = \widetilde f^{\rm sh}_{\alpha,a}(x,y,z,w) + \widetilde f^{\rm ass}_{\alpha,a}(x,y,z,w)$$

where $\widetilde f^{\rm sh}_{\alpha,a}(x,y,z,w)$ is square-integrable ("short-range" contribution) and the asymptotic part is

$$\widetilde f^{\rm ass}_{\alpha,a}(x,y,z,w) = \sum_{b}\sum_{\beta\subset b} \delta_{\beta,\alpha}\,\widetilde\phi_{\beta}(x,y,z)\left[\delta_{a,b}\,\hat j_{\ell_w^\alpha}(q_b w) +\sqrt{\frac{q_a}{q_b}}\,K_{b,a}\,\hat n_{\ell_w^\alpha}(q_b w)\,\eta_{\ell_w^\alpha}^{\rm reg}(w)\right]$$

for a scattering problem in the $a$th channel. Here, $\hat j_\ell$ and $\hat n_\ell$ are Riccati–Bessel and –Neumann functions, $q_a$ is the relative momentum in channel $a$, $K_{b,a}$ is the physical K-matrix to be determined, and $\eta_{\ell}^{\rm reg}(w)$ is a short-distance regularization function to ensure integrability at $w\to 0$ (Lazauskas, 2017).

This asymptotic form generalizes the standard single-channel boundary condition (standing or outgoing wave) by accommodating the multichannel structure and the presence of singular Neumann-type components.

3. Role in Faddeev–Yakubovsky Calculations

In practical few-body calculations, notably for $(N\ge4)$ systems, the integral or differential equations for $f_{\alpha,a}$ are solved subject to these boundary conditions. The formulation ensures that, when projected onto the asymptotic region of a given partition, the computed amplitudes reproduce the correct form expected for open clusters (bound or scattering states). This is crucial for the variational or matching methods used to fix the unknown S- or K-matrix elements.

Table: Key Elements of the Boundary Condition

Quantity	Description	Mathematical Form / Role
$\hat j_\ell$	Riccati–Bessel function	Regular solution, outgoing/incoming spherical wave
$\hat n_\ell$	Riccati–Neumann function	Singular solution, handled by regularizer
$K_{b,a}$	Physical K-matrix element	Connects asymptotics to measurable scattering data
$\eta_{\ell}^{\rm reg}(w)$	Short-range regularizer	$\left[1-\exp(-w/w_0)\right]^{2\ell+k}$ (e.g.)

The use of Trueman-form asymptotics allows for variational enforcement of the desired physical channel, e.g., via the Kohn variational principle, and ensures that each open channel is cleanly separated in the solution (Lazauskas, 2017).

4. Connection to Numerical Methods

The boundary conditions induced by the Trueman formula underlie the numerical discretization strategies used in modern few-body calculations. For instance, by expanding $f_{\alpha,a}$ as

$$f_{\alpha,a}(x,y,z,w) = \sum C_{i_x,i_y,i_z,i_w}^{\alpha,a} \mathcal F_{i_x}^{l_x}(x) \mathcal F_{i_y}^{l_y}(y) \mathcal F_{i_z}^{l_z}(z) \mathcal F_{i_w}^{l_w}(w)$$

with basis functions $\mathcal F_{i}^{l}$ (e.g., Lagrange–Laguerre), the boundary condition is implemented by including the known asymptotic form $\widetilde f^{\rm ass}_{\alpha,a}$ in the linear system as an inhomogeneous term. The unknowns $K_{b,a}$ are extracted by enforcing orthogonality conditions between the solution and the asymptotic forms, typically via the Kohn variational approach (Lazauskas, 2017).

5. Physical and Computational Significance

The adoption of correct Trueman formula boundary conditions is essential for several reasons:

• Extraction of physical observables: S-matrix and K-matrix elements, cross sections, phase shifts, and resonance positions depend critically on the asymptotic structure imposed in the FY equations (Lazauskas, 2017, Lazauskas et al., 2020).
• Numerical stability: The explicit separation between short- and long-range contributions prevents contamination of the numerical solution by spurious asymptotic behavior.
• Generalization to multiple channels: In many-body nuclear and atomic systems (e.g., $n+^4$He scattering, weakly-bound cluster systems), multiple open clusters are present, and proper boundary imposition is only possible via a Trueman-type construction.

A plausible implication is that, without the Trueman-type formalism, ab initio few-body codes would be unable to compute reliably multichannel observables in systems above three particles.

6. Applicability and Generalizations

The Trueman formula applies to both nonrelativistic and relativistic few-body frameworks. In relativistic generalizations of Faddeev–Yakubovsky equations, such as those incorporating boosted two- and three-body potentials and full Poincaré invariance, the corresponding asymptotic structure of each component is likewise dictated by the partitioning and scattering channel, with the Trueman boundary condition generalized to appropriate mass-shell propagators and kernel asymptotics (Kamada, 2019).

The approach is also central in atomic physics for the accurate description of weakly-bound and halo systems, and in cold-atom cluster computations featuring Efimov or universal states (Carbonell et al., 2011, Hadizadeh et al., 2010).

7. References and Further Reading

• "Solution of n-$^4$He elastic scattering problem using Faddeev-Yakubovsky equations" (Lazauskas, 2017)
• "Description of Four- and Five-Nucleon Systems by Solving Faddeev-Yakubovsky Equations in Configuration Space" (Lazauskas et al., 2020)
• "The Faddeev-Yakubovsky symphony" (Lazauskas et al., 2019)
• "Derivation of Relativistic Yakubovsky Equations under Poincaré Invariance" (Kamada, 2019)

The Trueman formula, by defining rigorous multichannel boundary conditions, enables the extraction and numerical computation of scattering observables in few-body quantum systems described by Faddeev–Yakubovsky-type equations. Its role is foundational in all modern ab initio few-body nuclear and atomic scattering calculations.