[論文レビュー] 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分解とどのように関連するかの特定。
• Loomis–Whitney、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 この枠組みは、多次元Kakeya予想のような幾何不等式における未解決予想を解消できるか？
• RQ5 多次元Kakeya型不等式における最適定数の正確な値は何か？

主な発見

• 本稿は、完全な多次元版のMaureyの因子分解定理を確立し、$ 0 < q < 1 $ に対して $ L^q $ に写す正の多次元作用素が $ 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理論による有限加法的測度の使用により、$ q < 1 $ の $ L^q $ ノルムを扱うために不可欠な $ L^∞ $ の双対の取り扱いが可能になった。