[论文解读] Multilinear Duality and Factorisation for Brascamp-Lieb-type Inequalities with applications

Anthony Carbery, Timo S. Hänninen+1 more|arXiv (Cornell University)|Sep 7, 2018

Advanced Harmonic Analysis Research参考文献 36被引用 8

一句话总结

本文为Brascamp–Lieb型不等式发展了一套多线性对偶性与分解理论，建立了一个功能性分析框架，将正算子加权几何平均的范数不等式与函数空间的逐点分解性质联系起来。关键贡献是通过$ L^1 $证明了Maurey分解定理的完整多线性版本，方法基于凸优化、极大极小对偶性以及有限可加测度，其应用涵盖Loomis–Whitney、Brascamp–Lieb及多线性Kakeya不等式，包括一个反例，表明多线性Kakeya不等式中最佳常数超过1。

ABSTRACT

We initiate the study of a duality theory which applies to norm inequalities for pointwise weighted geometric means of positive operators. The theory finds its expression in terms of certain pointwise factorisation properties of function spaces which are naturally associated to the norm inequality under consideration. We relate our theory to the Maurey-Nikisin-Stein theory of factorisation of operators, and present a fully multilinear version of Maurey's fundamental theorem on factorisation of operators through $L^1$. The development of the theory involves convex optimisation and minimax theory, functional-analytic considerations concerning the dual of $L^\infty$, and the Yosida-Hewitt theory of finitely additive measures. We consider the connections of the theory with the theory of interpolation of operators. We discuss the ramifications of the theory in the context of concrete families of geometric inequalities, including Loomis-Whitney inequalities, Brascamp-Lieb inequalities and multilinear Kakeya inequalities.

研究动机与目标

• 为涉及正线性算子加权几何平均的范数不等式发展对偶性理论。
• 建立通过$ L^1 $的Maurey分解定理的多线性类比，将经典线性对偶性推广至多线性情形。
• 将该理论与凸优化、极大极小理论以及有限可加测度的Yosida–Hewitt分解联系起来。
• 将该框架应用于具体几何不等式，包括Brascamp–Lieb与多线性Kakeya不等式。
• 通过构造显式反例，解决开放猜想，表明最优常数超过1。

提出的方法

• 通过与不等式相关的函数空间的逐点分解，形式化多线性范数不等式的对偶性原理。
• 利用凸优化与极大极小对偶性，刻画$ L^∞ $对偶空间中分解函数的存在性。
• 应用Yosida–Hewitt理论处理对偶表示中出现的有限可加测度。
• 通过证明$ L^q $（$ 0 < q < 1 $）中的正多线性算子可分解通过$ L^1 $，建立Maurey定理的多线性版本。
• 通过将不等式约化为可通过CVXOPT求解的有限维凸优化问题，将该理论应用于具体不等式。
• 在$ \mathbb{F}_3^3 $中构造显式反例，以证伪多线性Kakeya常数$ C_n = 1 $的猜想。

实验结果

研究问题

• RQ1 能否为涉及正算子加权几何平均的多线性范数不等式发展对偶性理论？
• RQ2 如何将通过$ L^1 $的Maurey分解定理推广至多线性情形？
• RQ3 凸优化与极大极小对偶性在刻画多线性算子分解性质中起什么作用？
• RQ4 该框架能否解决Loomis–Whitney、Brascamp–Lieb及多线性Kakeya不等式等几何不等式中的开放猜想？
• RQ5 多线性Kakeya型不等式中最佳常数的精确值是什么？

主要发现

• 本文建立了Maurey分解定理的完整多线性版本，表明$ L^q $（$ 0 < q < 1 $）中的正多线性算子可分解通过$ L^1 $。
• 在$ \mathbb{F}_3^3 $中构造的反例表明，多线性Kakeya不等式中的最优常数$ C_3 $超过1.04，证伪了$ C_n = 1 $的猜想。
• 多线性Kakeya不等式左边的和超过11.65，而右边在$ C_3 = 1 $时被约11.19所限制，从而证明$ C_3 > 1 $。
• 对偶框架将复杂的多线性不等式约化为可通过CVXOPT求解的有限维凸优化问题，且可同时获得原始与对偶解。
• 该理论自然地与复插值及凸性相联系，为Loomis–Whitney、Brascamp–Lieb与多线性Kakeya不等式提供了统一的理论框架。
• 通过Yosida–Hewitt理论使用有限可加测度，使得$ L^∞ $的对偶处理成为可能，这对处理$ q < 1 $的$ L^q $范数至关重要。