{"title":"Convergence rate of entropy-regularized multi-marginal optimal transport costs","authors":"Luca Nenna, Paul Pegon","doi":"10.4153/s0008414x24000257","DOIUrl":null,"url":null,"abstract":"<p>We investigate the convergence rate of multi-marginal optimal transport costs that are regularized with the Boltzmann–Shannon entropy, as the noise parameter <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240404055322598-0693:S0008414X24000257:S0008414X24000257_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$\\varepsilon $</span></span></img></span></span> tends to <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240404055322598-0693:S0008414X24000257:S0008414X24000257_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$0$</span></span></img></span></span>. We establish lower and upper bounds on the difference with the unregularized cost of the form <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240404055322598-0693:S0008414X24000257:S0008414X24000257_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$C\\varepsilon \\log (1/\\varepsilon )+O(\\varepsilon )$</span></span></img></span></span> for some explicit dimensional constants <span>C</span> depending on the marginals and on the ground cost, but not on the optimal transport plans themselves. Upper bounds are obtained for Lipschitz costs or locally semiconcave costs for a finer estimate, and lower bounds for <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240404055322598-0693:S0008414X24000257:S0008414X24000257_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$\\mathscr {C}^2$</span></span></img></span></span> costs satisfying some signature condition on the mixed second derivatives that may include degenerate costs, thus generalizing results previously in the two marginals case and for nondegenerate costs. We obtain in particular matching bounds in some typical situations where the optimal plan is deterministic.</p>","PeriodicalId":501820,"journal":{"name":"Canadian Journal of Mathematics","volume":"22 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Canadian Journal of Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4153/s0008414x24000257","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We investigate the convergence rate of multi-marginal optimal transport costs that are regularized with the Boltzmann–Shannon entropy, as the noise parameter $\varepsilon $ tends to $0$. We establish lower and upper bounds on the difference with the unregularized cost of the form $C\varepsilon \log (1/\varepsilon )+O(\varepsilon )$ for some explicit dimensional constants C depending on the marginals and on the ground cost, but not on the optimal transport plans themselves. Upper bounds are obtained for Lipschitz costs or locally semiconcave costs for a finer estimate, and lower bounds for $\mathscr {C}^2$ costs satisfying some signature condition on the mixed second derivatives that may include degenerate costs, thus generalizing results previously in the two marginals case and for nondegenerate costs. We obtain in particular matching bounds in some typical situations where the optimal plan is deterministic.