TY - RPRT TI - A certified refinement and asymptotic analysis of the Kuznetsov-Sahinidis diameter bound for Lennard-Jones clusters AU - Guillaume Lecomte PY - 2026 UR - https://arxiv.org/abs/2607.09555 ID - 2607.09555 ER -