[論文レビュー] Optimal factor matchings for point processes on non-amenable unimodular graphs

Yinon Spinka, Oren Yakir|arXiv (Cornell University)|Jan 13, 2026

Random Matrices and Applications被引用数 0

ひとこと要約

彼らは非恺啓非アメニック不可約グラフ上の2つの不変点過程の間に因子完全マッチングを構築し、マッチング距離の尾部界を最適化し、因子マッチングの存在を示す。

ABSTRACT

Consider a unit-intensity point process $Π$ on the vertex set $V$ of a transitive non-amenable unimodular graph. We study invariant matchings between $Π$ and $V$ having small typical matching distances. When $Π$ is either a Poisson process or i.i.d. perturbations of the vertex set, we determine the optimal matching distance and show that it can be attained by a factor matching scheme (that is, a deterministic and equivariant function of $Π$).

研究の動機と目的

• トランジティブな非アメニック・ユモドゥモグラフ上の点過程間の不変マッチングの問題を動機づけ formalize する。
• マッチング距離の強い尾部減衰を持つ因子完全マッチングの存在を確立する。
• 点過程の関数として決定論的・同時変換可能な形でマッチングを構築できることを示す。
• 最適尾部を達成する際のグラフの拡張性、スペクトル半径、質量輸送の役割を強調する。

提案手法

• 半径様のランダム変数（R_v, R'_v）を用いて2つの点過程間のランダム二部グラフを定義する。
• このグラフ上で Lyons–Nazarov 型のマッチングアルゴリズムを構築し、不変な完全マッチングを得る。
• 拡張性と質量輸送の議論を用いて尾部界を証明し、P(R_v > r) <= exp(-c b_r) を示す。
• マッチングが点過程の不変関数として全構成が成り立つようにして、マッチングが基盤過程の因子であることを保証する。
• 質量輸送原理を用いて密度を関連付け、段階的な部分マッチングの進展を制御する。

Figure 1: Left: A chain of length 9, beginning at the red vertex $x_{1}$ and ending at the blue vertex $y_{5}$ . Dashed edges correspond to edges not contained in the partial matching. Right: The corresponding chain after flipping. Solid edges correspond to edges contained in the (new) partial match

実験結果

リサーチクエスチョン

• RQ1 非アメニック・ユモドゥモグラフ上の2つの点過程間の不変マッチングにおける距離の尾部減衰の最良は何か。
• RQ2 最適尾部減衰を、プロセス間の因子（決定論的・同時変換可能）マッチングで実現できるか。
• RQ3 グラフの拡張性、スペクトル半径、チェイジャ定数が因子マッチングの存在と質にどのように影響するか。
• RQ4 このようなグラフ上での不変マッチング構成をポアソンと摂動頂点集合の双方に拡張することは可能か。

主な発見

• ある定数 c>0 が存在し、Pi と Pi' の因子完全マッチングは ball-volume b_r で指数尾部界を達成する：E|{x in Pi ∩ {v}: dist(M(x),x) >= r}| ≤ exp(-c b_r)。
• 最適尾部界は、過程の決定論的同変関数である因子マッチングによって達成可能である。
• Pi と Pi′ はポアソン型または摂動頂点型のいずれであっても、尾部界はグラフ次数、チェアラー定数、スペクトル半径のみに依存する。
• ラ尾プ・ノザロフ型のマッチングアルゴリズムを適用することで、 radii を用いたランダムな二部グラフを構築し、不変な完全マッチングを得る。
• Pi と Pi′ の間に独立性がなくても成り立つ。共通の i.i.d. 過程の因子である限り成立する。

Figure 2: The infinite ladder graph with added diagonal edges.