[論文レビュー] Stochastic monotonicity and realizable monotonicity

James Allen Fill, Motoya Machida|ArXiv.org|May 27, 2000

Markov Chains and Monte Carlo Methods参考文献 8被引用数 6

ひとこと要約

本稿は、有限部分順序集合（poset）上の確率測度に関して、確率的単調性と実現可能単調性の同値性を調査する。確率的単調性は実現可能単調性の必要条件ではあるが、一般には同値ではない。しかし、インデックスposet 𝒜 が無サイクルで、ステートposet 𝒮 がパス（クラスZ）である場合、または 𝒮 にサイクルがない場合には同値性が成り立つ。主な貢献は、パス上で逆確率変換を用いた同値性の十分条件の特定である。

ABSTRACT

We explore and relate two notions of monotonicity, stochastic and realizable, for a system of probability measures on a common finite partially ordered set (poset) S when the measures are indexed by another poset A. We give counterexamples to show that the two notions are not always equivalent, but for various large classes of S we also present conditions on the poset A that are necessary and sufficient for equivalence. When A = S, the condition that the cover graph of S have no cycles is necessary and sufficient for equivalence. This case arises in comparing applicability of the perfect sampling algorithms of Propp and Wilson and the first author of the present paper.

研究の動機と目的

• 有限poset上の確率測度系における確率的単調性と実現可能単調性の関係を明確化すること。
• 確率的単調性が実現可能単調性を示す条件を同定し、完全サンプリングアルゴリズムにおける主要な問題を解決すること。
• poset順序を尊重する確率変数のカップリングの存在が、確率的順序によって保証される条件を特定すること。
• 単調性の同値性が成り立つposet 𝒮 とインデックスposet 𝒜 を特徴づけること、特に完全シミュレーションの文脈において。
• 逆確率変換法をクラスZ（パス）のposetに拡張し、構成的カップリングを可能にする

提案手法

• 上集合における確率的優位性による確率的単調性の定義：P₁ ≼ P₂ は、すべての上集合Uに対してP₁(U) ≤ P₂(U)が成り立つこと。
• 実現可能単調性を、α ≤ β ならば Xₐ ≤ Xᵦ を満たすカップリング (Xₐ) の存在として定義する。
• ストラッセングの定理を用いて、確率的単調性が実現可能単調性の必要条件であることを示す。
• 反例（例：ダイヤモンド型poset）を構成し、一般には確率的単調性が十分でないことを示す。
• クラスZ poset（パス）を導入し、パス上の線形順序を用いて逆確率変換 P⁻¹(u) = min{xₖ : u < F(xₖ)} を定義する。
• 確率的順序と逆変換の点ごとの順序の同値性を証明する：すべての u ∈ [0,1) に対して P₁⁻¹(u) ≤ P₂⁻¹(u) が成り立ち、これにより一様確率変数を用いたカップリングが可能になる。

実験結果

リサーチクエスチョン

• RQ1 poset 𝒮 と 𝒜 に対して、確率的単調性と実現可能単調性が同値となる条件は何か？
• RQ2 なぜ一般には確率的単調性が実現可能単調性を保証しないのか。その背後にある構造的障害は何か？
• RQ3 逆確率変換は、クラスZのposet上での確率的単調性を持つ系に対してカップリングを構成可能か？
• RQ4 𝒮 のカバー図の無サイクル性が単調性同値性を保証する役割を果たすのはなぜか？
• RQ5 状態空間がパス（クラスZ）である場合、単調性を実現する構成的メソッドは存在するか？

主な発見

• 2次元ブール代数（ダイヤモンドposet）における反例により、一般には確率的単調性と実現可能単調性が同値でないことが示された。
• ステートposet 𝒮 がパス（クラスZ）である場合、逆確率変換の構成により、確率的単調性が実現可能単調性を示す。
• 𝒮 がクラスZに属する場合、U ∼ Uniform[0,1) として Xₐ = Pₐ⁻¹(U) を定義すると、𝒜 内で α ≤ β ならば Xₐ ≤ Xᵦ を満たすカップリングが得られる。
• 𝒜 が無サイクルに拡張可能で、𝒮 がクラスBに属さない場合、(𝒜,𝒮) に対して単調性同値性が成り立つ。
• 𝒮 = 𝒜 で、𝒮 のカバー図にサイクルがない場合、単調性同値性が成り立つのは、カバー図が無サイクルであるときである。
• 結果は例1.2を一般化し、状態空間がパスである場合の完全サンプリングのための構成的メソッドを提供する。