Optimal Automated Market Makers: Differentiable Economics and Strong Duality | Arena Library | Arena