Sayan Das, Yuchen Liao, Matteo Mucciconi, “Lower tail large deviations of the stochastic six vertex model” (arXiv)