[論文レビュー] Talagrand's inequality at higher order and application to Boolean analysis

Kévin Tanguy|arXiv (Cornell University)|Jan 26, 2018

Mathematical Approximation and Integration参考文献 17被引用数 1

ひとこと要約

この論文は、離散立方体 $\{-1,1\}^n$ 上の高次影響にタラグランドの不等式を拡張し、ペアワイズ座標影響の新しい概念を導入する。半群補間と超合同的推定を用いて、任意の中心化されたブール関数に対して、ある単一の座標が影響 $ \Omega((1/n)^{1/(1+\eta)}) $ を持つか、あるいは $ i\neq j $ であるようなあるペア $ (i,j) $ が影響 $ \Omega((\log n/n)^2) $ を持つという鋭い二分岐を証明する。この結果は、カーン＝カライ＝リンゲルの定理を第二階層の影響に一般化する。

ABSTRACT

This note is concerned with an extension, at higher order, of an inequality on the discrete cube $C_n=\{-1,1\}$ with the uniform measure due to Talagrand (\cite{TalL1L2}). As an application, we provide a Theorem in the spirit of a famous result from Kahn, Kalai and Linial (cf. \cite{KKL}) concerning the influence of Boolean functions. We introduce the notion of influence of a couple of coordinate $(i,j)\in\{1,\ldots,n\}^2$ and we proved the following alternative : for any, centered, fonction $f\,:\, C_n o \{0,1\}$, either there exists a coordinate with influence at least of order $(1/n)^{1/(1+\eta)}$, with $\, 0<\eta<1$ or there exists a couple of coordinate $(i,j)\in\{1,\ldots,n\}^2$, with $i eq j$, with influence at least of order $(\log n/n)^2$. We also show that this extension of Talagrand's inequality can be obtained for the standard Gaussian measure $\gamma_n$ on $\mathbb{R}^n$ with minor modifications. The obtained inequality can be of independent interest. The arguments rely on interpolation methods by semigroup together with hypercontractive estimates. At the end of this article, we present some related questions to our work and some variations of Kahn, Kalai and Linial's Theorem at order two due to Oleszkiewicz.

研究の動機と目的

• 離散立方体 $\{-1,1\}^n$ 上の均一測度に関して、タラグランドの不等式を高次影響へ拡張すること。
• 異なる座標ペア $ (i,j) $、$ i \neq j $ における第二階層の影響の概念を導入し、その分析を行うこと。
• カーン＝カライ＝リンゲルの定理の高次アナログを確立し、単一座標とペアワイズ座標の影響閾値の二分岐を提供すること。
• 標準ガウス測度 $\gamma_n$ に対して、フレームワークをわずかに修正することで、拡張された不等式が成り立つことを示すこと。

提案手法

• ブール関数の高次導関数を分析するために、オルンシュタイン＝ウーレンバック半群を用いた補間技術を用いる。
• 補間フレームワーク内のモーメントとノルムを制御するために、超合同的推定を適用する。
• 座標ペア $ (i,j) $、$ i \neq j $ の影響を、標準的影響の第二階層アナログとして定義し、共同感度を捉える。
• 半群ダイナミクスと離散立方体上のモーメント推定を組み合わせることで、高次タラグランド型不等式を導出する。
• 半群と超合同的道具を $\mathbb{R}^n$ に適応させることで、離散結果をガウス空間に翻訳する。
• オルンシュタイン＝ウーレンバック半群の構造を用いて、$n$ と $\log n$ の関数として影響の定量的評価を得る。

実験結果

リサーチクエスチョン

• RQ1 タラグランドの不等式は、$\{-1,1\}^n$ 上のブール関数における個々の座標を超えた高次影響へ拡張可能か？
• RQ2 異なる座標ペア $ (i,j) $、$ i \neq j $ における適切な影響の概念とは何か？ そして、これはブール関数の総影響とどのように関係するか？
• RQ3 単一座標とペアワイズ座標の影響を区別する、カーン＝カライ＝リンゲルの定理の高次アナログは存在するか？
• RQ4 拡張されたタラグランド不等式は、$\mathbb{R}^n$ 上の標準ガウス測度 $\gamma_n$ に適応可能か？
• RQ5 このような高次設定において、$n$ と $\log n$ の関数としての影響の鋭い定量的閾値は何か？

主な発見

• この論文は鋭い二分岐を確立する：任意の中心化されたブール関数 $ f: \{-1,1\}^n \to \{0,1\} $ に対して、任意の $ 0 < \eta < 1 $ に対して、ある単一の座標が影響 $ \Omega((1/n)^{1/(1+\eta)}) $ を持つか、あるいは $ i\neq j $ であるようなあるペア $ (i,j) $ が影響 $ \Omega((\log n/n)^2) $ を持つ。
• 高次タラグランド不等式は、半群補間と超合同的推定を用いて導出され、ブール解析のための新しい道具を提供する。
• この手法は、フレームワークをわずかに修正するだけで、$\mathbb{R}^n$ 上の標準ガウス測度 $\gamma_n$ に対しても成功裏に拡張可能である。
• 導入されたペアワイズ影響 $ (i,j) $、$ i \neq j $ の概念は第二階層感度を捉え、個々の影響を超えた洗練された分析を可能にする。
• この結果は、第二階層閾値を導入することで、カーン＝カライ＝リンゲルの定理を一般化し、強い個別的影響または強い共同影響のいずれかが発生することを示している。
• 分析により、与えられた条件下でペアワイズ影響の $ (\log n/n)^2 $ 閾値がタイトであることが明らかになり、個別的影響と共同影響の間の非自明なトレードオフが強調されている。