Tight eigenvalue bound on the traveling salesman problem. - Lasse H. Wolff (CoRR, 2025)