[論文レビュー] Exact determinant formulas for coalescing particle systems

Piotr Śniady|arXiv (Cornell University)|Feb 11, 2026

Opinion Dynamics and Social Influence被引用数 0

ひとこと要約

ゴースト粒子を導入して固定粒子数を維持し、共融ランダムウォークの正確な決定式を可能にする。格子経路、誕生-死チェイン、ブラウン運動に適用可能なゴーストを含む/なしの決定式を導出。

ABSTRACT

When particles on a line collide, they may coalesce into one. Such systems arise in the voter model, where boundaries between opinion clusters perform coalescing random walks, and in reaction-diffusion theory, where diffusing particles merge on contact. Computing exact coalescence probabilities has been difficult because collisions reduce the particle count, while classical determinantal methods require a fixed number of particles throughout. We introduce ghost particles: at each collision, one particle emerges as usual and one invisible ghost emerges alongside it, preserving the total count. This restores the square matrix structure needed for a determinantal formula. We prove that the probability of any specified coalescence pattern - which initial particles merge into which survivors - is given by a determinant whose entries are transition probabilities. Integrating out ghost positions yields a closed-form formula for the surviving particles alone: the coalescence determinant. The only assumptions are the Markov property and nearest-neighbor transitions, so the results apply wherever the classical non-colliding theory does: discrete lattice paths, birth-death chains, and continuous diffusions including Brownian motion.

研究の動機と目的

• 衝突により粒子数が減少し決定式法を複雑にする共融粒子系の動機づけとモデル化。
• 粒子数の固定次元性を回復させ、共融パターンの決定計算を可能にするゴースト粒子を導入。
• 一般的な共融決定式を提供し、ゴーストを取り除くことでゴーストなしの結果を得る方法を示す。
• 新しい式を古典的な LGV/Karlin–McGregor の結果と関連付け、離散・連続過程の広い適用性を示す。

提案手法

• 粒子ダイナミクスをモデル化するための重み付き辺を持つ時空間指向非巡回グラフを構築。
• 共融後も軌道を維持して総数を固定するようにゴースト粒子を導入。
• 樹状のパターンを含む正式変数を含む階段状の列を持つ heirs およびゴーストへの遷移を行列要素に符号付き反転同型を適用して共融決定式を構成。
• キャスティング（最終対象に割り当てられた経路）に対して符号反転の同型を用いて不適切な構成を打ち消し、有効な共融パターンのみを抽出。
• 正式変数の係数を抽出してゴースト符号を強制し、共融確率を決定式として得る。
• ゴースト寄与を積分してゴーストなしの形で heirs の位置について閉形式の決定式を得るように枠組みを拡張。

実験結果

リサーチクエスチョン

• RQ1 初期および最終の粒子配置が与えられたとき、特定の共融パターンの確率はどれくらいか。
• RQ2 衝突による粒子数の変化にもかかわらず、確定的な決定式形で共融確率を表現できるか。
• RQ3 ゴースト構成を用いて決定式の構造を保持し、古典的な LGV/Karlin–McGregor の結果とどのように関連付くか。
• RQ4 ゴースト寄与を積分して生存する heirs のみを対象としたゴーストなしの閉形式表現を得るにはどうすればよいか。
• RQ5 これらの決定式はどのクラスの過程（格子経路、誕生-死チェーン、ブラウン運動）に適用できるか。

主な発見

• 共融式は、ゴースト符号で重み付けされた確率を決定する形で特定の結果の確率を表す：Pr = [ghosts の符号の積 t_g^{ε(g)}] det(M)。
• 総数を固定するためゴーストを導入し、共融後でも正方行列の行列式を可能にする。
• 行列 M は heirs 列が標準の遷移重みに、ゴースト列が正式変数 t_g^{+} および t_g^{-} を含む階段状パターンを持つ。
• 係数抽出は prescribed 共融パターンと一致する候補の全射を分離し、符号反転の同型が失敗したキャスティングを打ち消して有効な寄与のみを残す。
• この枠組みは Karlin–McGregor および LGV を共融系へ一般化し、離散格子経路、誕生-死チェーン、ブラウン運動に適用される。ゴーストなしの変種はゴーストを積分して得られる。