[論文レビュー] Hypercontractive measures, Talagrand's inequality, and influences

D. Cordero-Erausquin, M. Ledoux|arXiv (Cornell University)|May 23, 2011

Game Theory and Voting Systems被引用数 4

ひとこと要約

本稿は、離散的・連続的・積空間・非積空間確率空間にわたるTalagrand型の分散不等式を統一的な超合同的枠組みで導出する。幾何的影響力への応用を含む。補間技法を導入することで、古典的結果を連続的設定、特にガウス測度へと拡張し、偏微分の$L^1$ノルムに対する鋭い評価を提供。これにより、等周的仮定を必要とせず、Keller, Mossel, Senの最近の結果と一致する最適な$ \sqrt{\log N}/N $の影響力下界が得られる。

ABSTRACT

We survey several Talagrand type inequalities and their application to influences with the tool of hypercontractivity for both discrete and continuous, and product and non-product models. The approach covers similarly by a simple interpolation the framework of geometric influences recently developed by N. Keller, E. Mossel and A. Sen. Geometric Brascamp-Lieb decompositions are also considered in this context.

研究の動機と目的

• 離散的および連続的モデルにわたるTalagrand型分散不等式を、超合同性を用いて統一的かつ拡張すること。
• 補間を用いて非積測度および幾何的影響力に適用可能な一般枠組みを構築すること。
• 等周的仮定を必要とせず、ガウス測度に対してKeller, Mossel, Senの幾何的影響力下界を回復・強化すること。
• 連続的および球面的設定における幾何的影響力に適した、$ L^1 $ノルム版のTalagrand不等式を導出すること。
• 超合同性と補間を組み合わせるだけで、指数的またはガウス的尾部を示す広範な測度クラスにおいて、鋭い影響力境界が得られることを示すこと。

提案手法

• マルコフ半群の超合同性を適用し、離散的および連続的設定（離散立方体および$ \mathbb{R}^N $におけるガウス測度を含む）における分散境界を導出する。
• 導関数の$ L^2 $ノルムと$ L^1 $ノルムの間の新規な補間法を用い、標準的な超合同的推定を$ L^1 $に基づくTalagrand型不等式に変換する。
• 標準ガウス測度に対して、$ |f| \leq 1 $の下で成り立つ重要な不等式$ \mathrm{Var}_\mu(f) \leq C \sum_{i=1}^N \frac{\|\partial_i f\|_1 (1 + \|\partial_i f\|_1)}{\left[1 + \log^+(1/\|\partial_i f\|_1)\right]^{1/2}} $を導入する。
• ポテンシャルを用いた超合同性の分析により、非積モデルに一般化し、$ \beta \in (0,1] $に対して指数$ \beta/2 $を有する境界を得る。
• 球面に応用する際には、離散差分$ D_{ij}f $を用い、$ n^{-1/2} $の減衰と方向微分の$ L^1 $ノルムを伴う分散境界を導出する。
• 幾何的Brascamp-Lieb分解を用い、勾配の座標超平面への射影などの構造的分解に結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 超合同性を用いて、連続的および非積モデルにおける$ L^1 $ノルムに基づくTalagrand不等式を導出できるか？
• RQ2 超合同的法が、等周的仮定を必要とせず、最適な幾何的影響力境界をもたらすか？
• RQ3 補間技法を用いて、$ L^2 $に基づく超合同的推定を$ L^1 $に基づく影響力不等式に橋渡しできるか？
• RQ4 影響力下界の次元$ N $に対する鋭い依存関係は何か？ また、超合同性によって回復可能か？
• RQ5 結果は、座標超平面への射影や球面断面などの幾何的分解にどのように拡張されるか？

主な発見

• 本稿は、標準ガウス測度に対して、新たな$ L^1 $に基づくTalagrand不等式を導出した：$ \mathrm{Var}_\mu(f) \leq C \sum_{i=1}^N \frac{\|\partial_i f\|_1 (1 + \|\partial_i f\|_1)}{\left[1 + \log^+(1/\|\partial_i f\|_1)\right]^{1/2}} $（$ |f| \leq 1 $）。
• この不等式により、任意のボレル集合$ A \subset \mathbb{R}^N $について$ \mu(A) = a $のとき、ある座標$ i $が存在し、幾何的影響力が$ \|\partial_i f\|_1 \geq \frac{1}{C} a(1-a) \left(\log \frac{1}{a(1-a)} \right)^{1/2} $を満たすことが示される。
• $ \frac{\sqrt{\log N}}{N} $の最小幾何的影響力に対する境界が回復され、ガウス測度におけるKeller, Mossel, Senの鋭い結果と一致する。
• ポテンシャルを有する測度について、$ \log^\beta(1 + 1/\|g\|_1) $の減衰が成り立つ場合、指数$ \beta/2 $を有する影響力境界が得られ、$ \beta \in (0,1] $で有効である。
• 球面$ \mathbb{S}^{n-1} $では、$ \mathrm{Var}_\mu(f) \leq \frac{C}{\sqrt{n}} \sum_{i,j=1}^n \frac{\|D_{ij}f\|_1 (1 + \|D_{ij}f\|_1)}{\left[1 + \log^+(1/\|D_{ij}f\|_1)\right]^{1/2}} $という分散境界が得られ、定数に$ n^{-1/2} $の減衰が現れる。
• 座標超平面への射影$ \sum_{i=1}^n \frac{1}{n-1} Q_{E_i} $などの幾何的分解に対して、ある平面断面$ A^{x \cdot e_i} $の境界測度が、$ \frac{1}{C} a(1-a) \left( \log \frac{1}{a(1-a)} \right)^{1/2} $以上であることが示され、等周不等式がすべての集合に拡張される。