[論文レビュー] A Large deviation principle for last passage times in an asymmetric Bernoulli potential

Federico Ciech, Nicos Georgiou|arXiv (Cornell University)|Jan 1, 2018

Random Matrices and Applications参考文献 30被引用数 1

ひとこと要約

本稿は、非対称ベルヌーイポテンシャルにおける最終通過時刻のための大偏差原理（LDP）を確立し、明示的なレート関数を証明するとともに、限界対数モーメント生成関数を導出する。モデルは特定の方向において形状関数に平坦な端を持つことがあり、著者らは正確な可解性とバーグ型不変性の性質を用いて、これらの領域におけるLDPの挙動を分析し、変分公式を確認するとともに、臨界的な漸近的挙動を計算する。

ABSTRACT

We prove a large deviation principle and give an expression for the rate function, for the last passage time in a Bernoulli environment. The model is exactly solvable and its invariant version satisfies a Burke-type property. Finally, we compute explicit limiting logarithmic moment generating functions for both the classical and the invariant models. The shape function of this model exhibits a flat edge in certain directions, and we also discuss the rate function and limiting log-moment generating functions in those directions.

研究の動機と目的

• 非対称ベルヌーイ環境を有する指向的最終通過時刻確率過程モデルにおける最終通過時刻のための大偏差原理（LDP）を確立すること。
• 形状関数が平坦な端を示す方向においても、レート関数の明示的表現を導出すること。
• 古典的および不変バージョンのモデルにおける、限界対数モーメント生成関数を計算すること。
• 形状関数が平坦な端を示す領域におけるLDPおよびモーメント生成関数の挙動を分析すること、特に厳密な凸性が成立しない領域での挙動を対象とする。
• 不変境界モデルを用いて形状関数の変分公式を検証し、不変設定におけるバーグ型性質を確認すること。

提案手法

• 環境としてi.i.d.ベルヌーイ(p)確率変数を用い、指向的パスと、値λを有するサイトを通るのを促進するポテンシャル関数を定式化する。
• 変数変換を用いて第一通過時刻を最終通過時刻に変換し、正確な可解性を達成するとともに、解析を単純化する。
• 凸解析と変分法を用いてレート関数を導出し、特に独立確率変数の下界畳み込みを用いる。
• i.i.d.ベルヌーイおよび幾何分布確率変数を用いた不変境界モデルを用い、大数の法則を証明するとともに、バーグ型性質を検証する。
• LDPレート関数における最小化問題を精密に分析し、パrameter uにおける二次方程式を解くことで、平坦な端領域における最小化子を同定する。
• 詳細な漸近的解析と判別式の評価を実施し、最小化子が(p, 1]に存在することを確認するとともに、関連関数のグローバル最小化であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非対称ベルヌーイポテンシャルにおける最終通過時刻のための大偏差レート関数は何か？ また、平坦な端領域における挙動はいかなるものか？
• RQ2 平坦な端を示す方向において、古典的および不変モデルにおける限界対数モーメント生成関数の挙動はどのように変化するか？
• RQ3 モデルはバーグ型不変性の性質を満たすか？ また、この性質はLDPの導出をどのように支援するか？
• RQ4 形状関数が平坦である場合、レート関数の変分公式における最小化子の正確な構造は何か？
• RQ5 平坦な端領域におけるLDPの挙動は、厳密に凸な領域と比べてどのように異なるか？ また、モーメント生成関数に与える影響は何か？

主な発見

• 本稿は、非対称ベルヌーイモデルにおける最終通過時刻の完全な大偏差原理（LDP）を確立し、変分原理を用いて明示的なレート関数を導出する。
• レート関数は制限された定義域でのみ有限であり、形状関数が特定の方向で定数となる平坦な端領域では、非自明な構造を示す。
• 古典的モデルの限界対数モーメント生成関数は明示的に計算され、レート関数のLegendre-Fenchel変換と一致することが確認される。
• 不変モデルでは、不変境界構成を用いて限界対数モーメント生成関数が導出され、古典的ケースと整合的であることが確認される。
• 平坦な端領域（t ≥ s(1−p)/p）において、レート関数は平坦領域内のすべての値に対してゼロであることが示され、これらの方向では逸脱がペナルティを受けないことが示される。
• 変分公式における最小化子u*は(p, 1]に存在し、導関数の符号解析を用いてグローバル最小化子であることが証明され、レート関数の式の正しさが裏付けられる。