[論文レビュー] Exponential moments for planar tessellations

András Tóbiás, Benedikt Jahnel|arXiv (Cornell University)|Jan 1, 2019

Point processes and geometric inequalities参考文献 15被引用数 2

ひとこと要約

本稿は、ポアソン＝ボロノイ、ポアソン＝デラウンエイ、ポアソン直線、ジョンソン＝メーリング、マンハッタングリッド、ネストドテッセレーションを含む、点過程から導かれる広範な定常平面テッセレーションのクラスにおいて、単位円板内の全指数的モーメントが存在することを確立する。証明はモーメント生成関数の上限とパルム計算に依拠しており、主な結果は特定の条件下で単位円板と交差する細胞数および辺数に対しても拡張可能である。

ABSTRACT

In this paper we show existence of all exponential moments for the total edge length in a unit disc for a family of planar tessellations based on Poisson point processes. Apart from classical such tessellations like the Poisson--Voronoi, Poisson--Delaunay and Poisson line tessellation, we also treat the Johnson--Mehl tessellation, Manhattan grids, nested versions and Palm versions. As part of our proofs, for some planar tessellations, we also derive existence of exponential moments for the number of cells and the number of edges intersecting the unit disk.

研究の動機と目的

• 広範な定常平面テッセレーションのクラスに対して、単位円板内の全指数的モーメントが存在することを確立すること。
• 特定のテッセレーション型において、単位円板と交差する細胞数および辺数に対しても分析を拡張すること。
• パルム版およびネストドまたは反復的テッセレーション構成における指数的モーメントの挙動を調査すること。
• 確率的テッセレーションモデルにおける大偏差および確率的臨界現象の解析の理論的基盤を提供すること。
• 古典的テッセレーション（例：ポアソン＝ボロノイ）からのモーメントバウンドを、ジョンソン＝メーリングやマンハッタングリッドのようなより複雑な構造へ一般化すること。

提案手法

• 指数的モーメント不等式、特に $\exp(x) - 1 \leq K_\alpha x$（$x \leq \alpha$）を用いたモーメント生成関数のバウンドの使用。
• 元の点過程のパルム版における辺長および細胞／辺数の分布を分析するためのパルム計算の応用。
• スリブニャク＝メーケの定理を用い、ポアソン点過程のパルム分布が元の過程に典型的な点を加えたものと等価であることを同定。
• ポアソン過程の独立性および重ね合わせの性質を活用し、辺数のモーメント生成関数をバウンドする。
• 例えば $|S \cap B_1|$ が $2\pi(\#(X \cap B_4) + 1)$ によって確率的に支配されることなど、確率的支配結果を導出し、モーメント性質を転送する。
• ホルダーの不等式およびポアソン確率変数のモーメントバウンドを用いて、有界区間内の点数の指数的モーメントを制御する。

実験結果

リサーチクエスチョン

• RQ1 ポアソン＝ボロノイ、ポアソン＝デラウンエイ、ポアソン直線テッセレーションにおいて、単位円板内の全指数的モーメントが存在するか？
• RQ2 定常点過程のもとで、ジョンソン＝メーリングおよびマンハッタングリッドテッセレーションに対しても指数的モーメントの存在が拡張可能か？
• RQ3 これらのテッセレーションモデルにおいて、単位円板と交差する細胞数および辺数の指数的モーメントの挙動はいかなるものか？
• RQ4 独立な基本テッセレーションのコピーから構築されたネストドおよび反復的テッセレーションにおいて、指数的モーメントの性質はどのように拡張されるか？
• RQ5 テッセレーションのパルム版が、辺長および関連関数の指数的モーメントの存在を保つのか？

主な発見

• ポアソン＝ボロノイ、ポアソン＝デラウンエイ、ポアソン直線、ジョンソン＝メーリング、マンハッタングリッド、ネストドテッセレーションを含む、すべてのテッセレーションにおいて、全指数的モーメントが存在する。すなわち、すべての $\alpha \in \mathbb{R}$ に対して $\mathbb{E}[\exp(\alpha |S \cap B_1|)] < \infty$ が成り立つ。
• ポアソン＝ボロノイ、ポアソン＝デラウンエイ、ポアソン直線テッセレーションにおいて、単位円板と交差する細胞数および辺数に対しても、全指数的モーメントが存在する。
• ポアソン＝ボロノイテッセレーションにおいて、$B_1$ 内の全辺長は $2\pi(\#(X \cap B_4) + 1)$ によって確率的に支配され、$X$ がポアソン過程であるため、この量は全指数的モーメントを持つ。
• スリブニャク＝メーケの定理およびモーメント支配を用いて、ポアソン＝ボロノイテッセレーションのパルム版が指数的モーメントの存在を保つことが示された。
• マンハッタングリッドにおいて、$[-1,1]^2$ と交差する垂直および水平線の数の指数的モーメントが、パルム分布の性質とホルダーの不等式を用いて有限であることが示された。
• ネストドテッセレーションには、第一層の各細胞内に独立な第二層テッセレーションを適用し、再帰的にモーメントバウンドを適用することで、結果を拡張できる。