[論文レビュー] Log-Hessian and Deviation Bounds for Markov Semi-Groups, and Regularization Effect in $L^1$

Nathaël Gozlan, Xue-Mei Li+3 more|arXiv (Cornell University)|Jul 25, 2019

Point processes and geometric inequalities参考文献 39被引用数 3

ひとこと要約

本稿は、ガウス分布およびブール超立方体の設定を拡張し、拡散過程、M/M/$\infty$ キュー、ラゲール半群を含む非ガウス的設定において、$L^1$ におけるタラグランド正則化効果を調査する。対数ヘッシアンの境界と対数擬凸関数に対する分散不等式を分析することで、すべての設定において、$O(1/(t\sqrt{\log t}))$ の減衰を示す $L^1$ 正則化効果を証明する。これは、主な要素（対数擬凸性および分散不等式）が成立しない場合でも、直接的な一様有界性技法を用いることで達成される。

ABSTRACT

It is well known that some important Markov semi-groups have a "regularization effect" -- as for example the hypercontractivity property of the noise operator on the Boolean hypercube or the Ornstein-Uhlenbeck semi-group on the real line, which applies to functions in $L^p$ for $p>1$. Talagrand had conjectured in 1989 that the noise operator on the Boolean hypercube has a further subtle regularization property for functions that are just integrable, but this conjecture remains open. Nonetheless, the Gaussian analogue of this conjecture was proven in recent years by Eldan-Lee and Lehec, by combining an inequality for the log-Hessian of the Ornstein-Uhlenbeck semi-group with a new deviation inequality for log-semi-convex functions under Gaussian measure. In this work, we explore the question of how much more general this phenomenon is. Specifically, our first goal is to explore the validity of both these ingredients for some diffusion semi-groups in $\mathbb{R}^n$, as well as for the $M/M/\infty$ queue on the non-negative integers and the Laguerre semi-groups on the positive real line. Our second goal is to prove a one-dimensional regularization effect for these settings, even in those cases where these ingredients are not valid.

研究の動機と目的

• ガウス設定におけるタラグランド $L^1$ 正則化予想に用いられる対数ヘッシアンおよび分散不等式技法が、他の半群へと拡張可能かどうかを調査すること。
• 非ガウス的設定（拡散過程、M/M/$\infty$ キュー、ラゲール半群）においても、タラグランド正則化効果—$\sup_f \mu(\{P_s f \geq t\}) \leq C / (t\sqrt{\log t})$—が成立するかどうかを特定すること。
• 標準的要素（対数擬凸性および分散不等式）が成立しない場合に、代替的一致有界性技法を用いて $L^1$ 正則化を確立すること。
• 非ガウス的測度、特にガンマ分布およびポアソン測度の下で、対数凸関数に対する対数擬凸性および分散不等式の有効性を分析すること。

提案手法

• $\mathbb{R}^n$ 内の拡散半群の対数ヘッシアンに対する明示的公式を導出し、M/M/$\infty$ キューの離散的対数ヘッシアンに対する下界を求める。
• M/M/$\infty$ キューおよびラゲール半群の不変測度の下で、対数擬凸関数に対する分散不等式を調査する。
• $P_t$ における一様有界性戦略を用いて $L^1$ 正則化を証明し、対数ヘッシアンおよび分散不等式の仮定を回避する。
• メーラー公式（オーナイズ・ウーレン半群用）やラゲール核などの半群のカーネル表現を用いて、$P_t f$ の上界を推定する。
• ベッセル関数およびガンマ測度の漸近的解析を用いて、遷移密度およびその対数ヘッシアンを有界化する。
• $\nu_\alpha$-測度（ガンマ分布）の直接計算および尾部推定を用いて、$\beta > 0$ の場合に分散不等式が成立しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 オーナイズ・ウーレン半群の対数ヘッシアンは、$\mathbb{R}^n$ 内の他の拡散半群へ一般化可能か？
• RQ2 M/M/$\infty$ キューおよびラゲール半群において、対数擬凸関数に対する分散不等式を確立できるか？
• RQ3 対数擬凸性および分散不等式が成立しない場合でも、非ガウス的半群においてタラグランド正則化効果—$\sup_f \mu(\{P_s f \geq t\}) \leq C / (t\sqrt{\log t})$—は成立するか？
• RQ4 ガンマ測度 $\nu_\alpha$ の下で、対数凸関数の対数ヘッシアンおよび尾部境界の挙動はいかなるものか？
• RQ5 標準的要素（対数ヘッシアンおよび分散不等式）が利用できない場合、$P_t$ における一様有界性により $L^1$ 正則化効果を証明できるか？

主な発見

• オーナイズ・ウーレン半群の対数ヘッシアンは、$\text{Hess}(\log P_s g) \geq -c_s^2 \text{Id}$ を満たし、ガウス設定における重要な要素である。
• M/M/$\infty$ キューでは、半群の対数擬凸性は成立するが、$\beta > 0$ の場合に $\gamma_n(\{g \geq t\}) \leq C_\beta / (t\sqrt{\log t})$ の形の分散不等式は存在しない。
• 測度 $\nu_\alpha$ を持つラゲール半群では、タラグランド正則化効果が成立する：$t > 1$ に対して $\nu_\alpha(\{P_s^\alpha f \geq t\}) \leq c / (t\sqrt{\log t})$ が成り立ち、$c$ は $s$ および $\alpha$ のみに依存する。
• 対数擬凸性および分散不等式が成立しない場合（例：$\alpha \neq 1$ の $\nu_\alpha$ に対して）、一様有界性戦略を用いても $L^1$ 正則化効果は依然として証明可能である。
• $\nu_\alpha$ の下で分散不等式が失敗するのは、測度の弱い尾部がマーカフの不等式を改善できないためである。
• ベッセル関数の漸近的解析およびラゲール半群のカーネル表現により、$\sup_y G_s^\alpha(x,y)$ に対する一様有界性が得られ、結果として $O(1/(t\sqrt{\log t}))$ の減衰が導かれる。