[論文レビュー] On sets of zero stationary harmonic measure

Eviatar B. Procaccia, Yuan Zhang|arXiv (Cornell University)|Nov 3, 2017

Mathematical Dynamics and Fractals参考文献 4被引用数 5

ひとこと要約

本稿は、拡散制限凝集（DLA）モデルの主要な量である非ゼロの定常ハーモニック測度を持つ上半平面格子内の無限部分集合が存在するための条件を確立する。部分集合の水平方向の成長が線形未満である場合には正の定常ハーモニック測度を持つことが示され、成長が線形を超える場合には測度が至る所でゼロになる。これは、このような測度に基づく凝集過程が成長が速すぎると停止することを示唆する。

ABSTRACT

In this paper, we prove that any subset with an appropriate sub-linear horizontal growth has a non-zero stationary harmonic measure. On the other hand, we also show any subset with super-linear horizontal growth will have a $0$ stationary harmonic measure at every point. This result is fundamental to any future study of stationary DLA. As an application we prove that any possible aggregation process with growth rates proportional to the stationary harmonic measure has non zero measure at all times.

研究の動機と目的

• 上半平面格子内の無限部分集合が非ゼロの定常ハーモニック測度を持つための条件を特定すること。
• 定常ハーモニック測度が無限凝集過程に与える影響を理解すること、特に定常DLAモデルの文脈において。
• 特定の無限配置が吸収境界条件下で継続的な成長を支持できるかどうかを解明すること。
• ハーモニック測度に基づく凝集過程における成長と凍結の鋭い閾値を確立すること。
• 定常ハーモニック測度に基づく無限定常DLAモデルの構築の基盤を提供すること、特に住める初期配置を同定すること。

提案手法

• 定常ハーモニック測度を、高い水平線から出発するランダムウォークがサイトに到達する期待回数の極限として定義し、集合またはx軸に到達した時点で吸収されるものとする。
• カップリングおよびカップリング推定を用いて、無限遠から出発するランダムウォークが吸収境界に到達する前に特定のサイトに到達する確率を評価する。
• ネストされた集合の列を構築し、強マルコフ性を用いて異なるスケール間の到達確率を関連付ける。
• 中間層の逸脱確率および訪問回数の期待値の推定を用い、ハーモニック測度の下界を導出する。
• 時間における凝集体の成長を制御するため、平行移動不変性および子供分布のモーメントバウンドを用いる。
• ボレル・カンテリの補題を用いて、高確率で凝集体が空間的にゆっくり成長することを示し、ハーモニック測度が消えないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 上半平面内の無限部分集合の幾何的条件として、定常ハーモニック測度が消えるのはどのような場合か？
• RQ2 定常ハーモニック測度を成長率として用いる凝集過程は、無限に継続可能か、それとも凍結するか？
• RQ3 水平方向の広がりに関して、非ゼロの定常ハーモニック測度とゼロの測度を分ける臨界成長率は何か？
• RQ4 集合内に高い点が存在する場合、下方の点のハーモニック測度に影法的効果が及ぼす影響は何か？
• RQ5 初期配置の定常ハーモニック測度が至る所でゼロである場合、無限定常DLAモデルは適切に定義可能か？

主な発見

• 水平方向の成長が線形未満（すなわち、x座標に関して線形より遅く高さが増加する）である任意の無限部分集合は、ある点において非ゼロの定常ハーモニック測度を持つ。
• 水平方向の成長が線形を超える（例：x座標に対して線形より速く高さが増加する）任意の部分集合は、至る所でゼロの定常ハーモニック測度を持つ。
• 線形未満の成長を示す任意の配置に対して、正の定常ハーモニック測度を持つ点が存在することが保証され、これにより継続的な凝集が可能となる。
• [6]で定義された無限相互作用粒子系に対して、凝集体は空間的にゆっくり成長し、すべてのtおよびn ≥ 1に対して |B_t ∖ {x : x₂ ≤ |x₁|^{1/n}}| < ∞ を満たす。
• 補題1により、すべてのt ≥ 0に対して、配置B_tは少なくとも1つの正の定常ハーモニック測度を持つサイトを有しており、これにより凍結は発生しないことが示される。
• 定常ハーモニック測度は、ある定数Cに対してC√x₂で一様に上から有界である。これにより成長率は可積分性を保ち、プロセスは活性のままである。