Effective Brascamp-Lieb inequalities
arXiv:2511.11091
Abstract
We establish an effective upper bound for the Brascamp-Lieb constant associated to a weighted family of linear maps.
21 pages. Some bibliographical references have been added. The paper has been formalized in LEAN by Project Numina (https://projectnumina.ai)