ACO Seminar - Nitya Mani April 17, 2025 Strong spatial mixing for colorings on trees and its algorithmic applications