[論文レビュー] On the notion(s) of duality for Markov processes

Sabine Jansen, Noemi Kurt|arXiv (Cornell University)|Oct 26, 2012

Stochastic processes and statistical mechanics参考文献 47被引用数 9

ひとこと要約

本稿は、双対関数に関して、マコフ過程における双対性の体系的で関数解析的な枠組みを提供する。ポテンシャル論、量子力学、相互作用粒子系の概念を統合する。錐双対性と半群論を用いて、双対過程の存在および一意性の基準を確立し、経路的双対性を形式化することで、時間反転、確率的単調性、対称性との関係を明らかにする。

ABSTRACT

We provide a systematic study of the notion of duality of Markov processes with respect to a function. We discuss the relation of this notion with duality with respect to a measure as studied in Markov process theory and potential theory and give functional analytic results including existence and uniqueness criteria and a comparison of the spectra of dual semi-groups. The analytic framework builds on the notion of dual pairs, convex geometry, and Hilbert spaces. In addition, we formalize the notion of pathwise duality as it appears in population genetics and interacting particle systems. We discuss the relation of duality with rescalings, stochastic monotonicity, intertwining, symmetries, and quantum many-body theory, reviewing known results and establishing some new connections.

研究の動機と目的

• 文献において広範に応用されているにもかかわらず、空白を埋めるために、双対関数に関してマコフ過程における双対性の包括的かつ体系的な理論を構築すること。
• 関数に関する双対性と測度に関する双対性の関係を明確にすること。特に、時間反転と半群論的不変性の観点から。
• 特に集団遺伝学および相互作用粒子系において中心的役割を果たす、経路的双対性の形式化と分析。
• 凸幾何学、錐双対性、ヒルベルト空間における積分表現を用いて、双対過程の存在および一意性の条件を確立すること。
• 確率的および代数的構造、たとえば確率的単調性、入れ子関係、対称性（量子多体理論における表現を含む）と双対性の接続を結ぶこと。

提案手法

• 双対空間上の双線形形式を用いて双対性を形式化し、双対対および錐双対性の概念を用いて、双対過程の存在を特徴付ける。
• 特に半群論とスペクトル解析を用いた関数解析的道具を適用し、凸集合の不変性および一意的積分表現の存在を研究する。
• 可逆な双対行列を用いた非退化双対性の概念を導入し、双対変換の一意性と可逆性を保証する。
• テンソル積構造を用いて粒子系をモデル化し、有限状態空間上での局所的双対行列（例：h行列）のテンソル積として双対関数を特定する。
• 明示的なカップリング機構（例：再サンプリング、分岐・融合、消滅）を定義し、生成子の比較によって双対性を検証することで、経路的双対性を確立する。
• スケーリングされた粒子系の漸近的極限を分析し、生成子の収束がSDE（例：ワイアト＝ファーマー拡散）に至ることを示し、極限における双対過程を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた双対関数に関して、双対過程の存在および一意性の必要十分条件は何か？
• RQ2 関数に関する双対性と測度に関する双対性の関係は何か。特に、時間反転と半群不変性の観点から。
• RQ3 相互作用粒子系における経路的双対性の明確な数学的構造は何か。一般設定においてどのように形式化できるか？
• RQ4 対称性、保存量、および入れ子関係は、マコフ過程における双対性とどのように関連するか？
• RQ5 スケーリングされた相互作用粒子系の極限的挙動は何か。その双対過程は連続拡散過程にどのように収束するか？

主な発見

• 双対過程の存在および一意性は、特定の凸集合の不変性および錐双対性を用いた一意的積分表現の存在によって特徴づけられる。
• 双対半群のスペクトルは、双対性が非退化である場合、ユニタリ同値性によって元の半群と関連づけられ、フーリエ変換がスペクトル的リンクを提供する。
• 経路的双対性は、再サンプリング、分岐・融合、消滅などの明示的カップリング機構を通じて形式化され、消滅型双対は可逆な双対行列から生じる。
• レート $ r_N/N $ および $ b_N/N $ のスケーリングされた粒子系に対して、スケーリングされた過程の生成子は、拡散生成子 $ \tilde{G}f(x) = \beta x(1-2x)f'(x) + \alpha x(1-x)f''(x) $ に収束し、ワイアト＝ファーマー拡散に対応する。
• スケーリングされた系の双対過程は、$ \mathbb{N} $ 上の分岐消滅過程に収束し、生成子は $ Gf(k) = \beta k(f(k+1) - f(k)) + \alpha k(k-1)(f(k-2) - f(k)) $ である。
• 消滅型双対メカニズムは代数的に特徴づけられる：2つのメカニズム $ f $ と $ g $ が双対であるとは、$ |x \wedge (g(y^\dagger))^\dagger| $ が奇数であるときかつそのときに限り、$ |f(x) \wedge y| $ が奇数である。