[論文レビュー] On reverse hypercontractivity

Elchanan Mossel, Krzysztof Oleszkiewicz+1 more|arXiv (Cornell University)|Aug 4, 2011

Markov Chains and Monte Carlo Methods参考文献 28被引用数 4

ひとこと要約

本稿は、有限確率空間上の単純な作用素およびそのテンソル積に対して、一様な逆超合同不等式を確立する。すべての $ q < p < 1 $ および $ t \geq \log\frac{1-q}{1-p} $ に対して、半群 $ e^{-tL} $ が正の $ f $ に対して $ \|e^{-tL}f\|_q \geq \|f\|_p $ を満たすことを証明する。主な貢献は、最小の原子に依存しない、あらゆる有限空間に一様に成り立つこの不等式であり、標準的な超合同性とは対照的である。これにより、新しい混合時間および等周的評価が可能になる。

ABSTRACT

We study the notion of reverse hypercontractivity. We show that reverse hypercontractive inequalities are implied by standard hypercontractive inequalities as well as by the modified log-Sobolev inequality. Our proof is based on a new comparison lemma for Dirichlet forms and an extension of the Strook-Varapolos inequality. A consequence of our analysis is that {\em all} simple operators $L=Id-\E$ as well as their tensors satisfy uniform reverse hypercontractive inequalities. That is, for all $q

研究の動機と目的

• 対称ベルヌーイ分布の場合にBorellが示した逆超合同性の結果を、一般の有限確率空間へと拡張すること。
• 逆超合同性が空間内の最小の原子に依存するという予想を解消し、実際には依存しないことを示すこと。
• 下位の空間構造に依存しない、テンソル化可能な一様な逆超合同不等式を確立すること。
• 短いランダムウォーク、カードシャッフル、Glauberダイナミクス、キューイングプロセスのための新しい混合時間および等周的評価を導出すること。
• 結果を定量的Arrowの不可能性定理および $ m $ 面ダイスを用いた非インタラクティブ相関集約に応用すること。

提案手法

• ディリクレ型形式のための新しい比較補題を用いて、標準的な超合同性および修正済み対数ソボレフ不等式から逆超合同性が導かれるこを証明する。
• ストロック＝バロウスの不等式を拡張し、逆超合同性フレームワークを支える。
• 有限確率空間上での動的系を $ T_t = e^{-tL} $、$ L = \mathrm{Id} - \mathbb{E} $ を用いて定義する。
• 空間のサイズや原子の分布に依存しない、$ t \geq \log\frac{1-q}{1-p} $ に対して $ \|T_t f\|_q \geq \|f\|_p $ を示すことで、一様な逆超合同不等式を確立する。
• $ f = 1 + \varepsilon g $（$ g \perp 1 $）に対する摂動論法を用いて、逆超合同性から固有値ギャップの評価を導出する。
• $ d $-正則な拡張子を用いた反例を構成し、$ 1 $-対数ソボレフが $ 0 $-対数ソボレフを意味しないことを示し、$[0,1]$ 上での $ r $-対数ソボレフ定数の等価性を否定する。

実験結果

リサーチクエスチョン

• RQ1 逆超合同性が、標準的な超合同性と同様に、確率空間内の最小の原子に依存するのか？
• RQ2 標準的な超合同性または修正済み対数ソボレフ不等式から、逆超合同不等式を導出できるのか？
• RQ3 最小の原子に依存しない、すべての有限確率空間に一様に成り立つ逆超合同不等式が存在するのか？
• RQ4 逆超合同性が固有値ギャップの推定を導けるのか？また、固有値ギャップが $ 1 $-対数ソボレフ不等式を意味するのか？
• RQ5 逆超合同性は、積空間における混合時間、等周的性、相関集約にどのような影響を及ぼすのか？

主な発見

• 単純な作用素 $ L = \mathrm{Id} - \mathbb{E} $ 及びそのテンソル積に対する逆超合同不等式は、すべての有限確率空間に一様に成り立ち、すべての $ q < p < 1 $ および $ t \geq \log\frac{1-q}{1-p} $ に対して $ \|e^{-tL}f\|_q \geq \|f\|_p $ が成り立つ。
• 逆超合同不等式の評価は、空間内の最小の原子に依存せず、このような依存があるという予想と矛盾する。
• 逆超合同性はPoincaré（固有値ギャップ）不等式を含み、$ \mathrm{Var}(g) \leq \frac{2t}{\log(1-q) - \log(1-p)} \cdot \mathcal{E}(g,g) $ という評価が得られる。
• $ 1 $-対数ソボレフ定数は、$ 0 $-対数ソボレフ定数によって上から抑えられない。$ d $-正則な拡張子を用いた構成により、$ n \to \infty $ のとき $ 1 $-対数ソボレフ定数が無限大に発散することが示された。
• 結果として、$ m $-面ダイスを用いた非インタラクティブ相関集約において、プレイヤー数の逆多項式オーダーの評価が得られる。
• 逆超合同不等式から、離散立方体上の短いランダムウォーク、高温スピン系におけるGlauberダイナミクス、キューイングプロセスのための新しい混合時間評価が導出された。