Mathematicians derive large‑distance formula for a Fredholm determinant tied to the Lieb–Liniger gas | arXiv News