Arnold Diffusion in the Full Three-Body Problem

The paper rigorously proves O(1) energy transfer between K̄_ε and H̄_ε in the planar full three-body problem for the Neptune–Triton–asteroid model, with explicit ε0=10^{-10} and Δ=10^{-11} (Theorem 8) using a computer-assisted, topological method of correctly aligned windows on section-to-section maps, after deriving the splitting H̄_ε = K̄_ε + H̄_ε via explicit coordinates and scalings ((13),(16),(17)) . The candidate solution reaches the same result but sketches a different proof strategy based on NHIM persistence and scattering maps with Melnikov-type first-order expansions; this analytic route is not used (nor required) in the paper, which emphasizes topological covering/cone conditions and finite families of connecting sequences (Theorem 19) validated by interval arithmetic . The end claims and constants match the paper; the methods differ.