[論文レビュー] Chains with complete connections and one-dimensional Gibbs measures

Roberto Fernández, Grégory Maillard|arXiv (Cornell University)|May 1, 2003

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

ひとこと要約

本稿では、統計力学の仕様形式の類似形たる左区間仕様（LIS）を導入することで、完全接続付きの1次元確率過程（鎖）と1次元ギブス測度との間の厳密な確率的対応関係を確立する。主な貢献は、遺伝的同一性条件（HUC）および良好未来（GF）条件の下で、LISと仕様の間の構成的かつ可逆な写像を確立し、既知のマルコフ的および指数的減少連続率の等価性を一般化することにある。

ABSTRACT

We discuss the relationship between discrete-time processes (chains) and one-dimensional Gibbs measures. We consider finite-alphabet (finite-spin) systems, possibly with a grammar (exclusion rule). We establish conditions for a stochastic process to define a Gibbs measure and vice versa. Our conditions generalize well known equivalence results between ergodic Markov chains and fields, as well as the known Gibbsian character of processes with exponential continuity rate. Our arguments are purely probabilistic; they are based on the study of regular systems of conditional probabilities (specifications). Furthermore, we discuss the equivalence of uniqueness criteria for chains and fields and we establish bounds for the continuity rates of the respective systems of finite-volume conditional probabilities. As an auxiliary result we prove a (re)construction theorem for specifications starting from single-site conditioning, which applies in a more general setting (general spin space, specifications not necessarily Gibbsian).

研究の動機と目的

• 排他規則を伴う有限アルファベット系における離散時間確率過程と1次元ギブス測度との関係を明確化すること。
• マルコフ的でない場合にまで拡張された、マルコフ鎖とギブス場の既存の等価結果を一般化すること。
• 左区間仕様（LIS）を用いた確率的枠組みを提供し、確率過程とギブス的仕様の統一的取り扱いを可能にすること。
• 非マルコフ的過程で可 summable 変動を示す場合に、過程がギブス的である条件と逆に、ギブス測度が一貫した確率過程として表現可能である条件を確立すること。
• 連続率が指数的に減少する過程のギブス的性質が、その一貫性としての確率過程的性質と同値であることを証明し、未解決の問題を解決すること。

提案手法

• 統計力学の仕様形式の確率的類似形たる左区間仕様（LIS）を導入し、ギブス測度との直接的比較を可能にする。
• 正規系の条件付き確率（仕様）を用い、LISと仕様の間で一貫性を保つ写像を確立する。
• 遺伝的同一性条件（HUC）および良好未来（GF）性質を適用し、構成における一意的かつ適切に振る舞う極限を保証する。
• 有限集合内の最大要素を用いた条件付き確率の再帰的分解を実行し、順序一貫性および正規化性質を活用する。
• 有界性および順序一貫性の下で、単一サイト核を全仕様に一意に拡張する再構成定理（定理A.4）を証明し、一般スピン空間に対しても有効であることを示す。
• 再帰的恒等式および帰納的議論を用いて、LISと関連する仕様との間の連続率推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全接続付きの確率過程がギブス測度を定義するための条件は何か？
• RQ2 1次元ギブス測度は、どのような条件下で一貫した遷移確率を持つ確率過程として表現可能か？
• RQ3 過程における条件付き確率の連続率（LIS）と、それに対応する仕様における連続率との関係は何か？
• RQ4 LISと仕様の間の写像が可逆であるための条件は何か？
• RQ5 仕様に対して成り立つドゥブリーシュチンの基準や境界一様性といった基準が、関連する確率過程にどの程度にまで伝播するか？

主な発見

• 遺伝的同一性条件（HUC）および良好未来（GF）性質の下で、左区間仕様（LIS）とギブス測度の仕様との間には、明確に定義され、可逆な写像が存在する。
• 連続率が指数的に減少する過程に対しては、LISと仕様の間の対応関係が双対的（双方向）に成立し、既知のマルコフ鎖の結果を一般化する。
• 仕様の連続率は、関連するLISの連続率の関数として有界であり、定理4.18で明示的な推定式が与えられている。
• 仕様がドゥブリーシュチンまたは境界一様性基準を満たすならば、それに対応する確率過程に対しても同様の基準が成り立つことが定理4.17で示された。
• 再構成定理（定理A.4）により、順序一貫性および有界性の下で、単一サイト正規化核を全仕様に一意に拡張可能であり、これは非ギブス的核に対しても成立する。
• 主要定理の証明は、有限添字集合内の最大要素を用いた条件付き確率の帰納的分解に依拠しており、再帰的正規化および因数分解性質から導かれる恒等式が用いられている。