A random walk on p-groups with a symmetric perfect pairing

技術要約：対称な完全対合を持つp群上のランダムウォーク

問題提起
本論文は、$\mathbb{Z}_p$上のランダム行列の核（kernel）の分布について扱っている。非対称な行列における核（または余核）の漸近分布は、既知の理論（Cohen-Lenstraの予想、具体的にはFriedmanとWashingtonの研究）に従い、よく理解されている。しかし、対称なケースは異なる課題を提示する。

具体的には、$M$をハール測度から要素が抽出された対称行列とする。このとき、核 $\ker(M)$ はランダムな有限アーベル$p$群となる。しかし、非対称な場合とは異なり、左上 $n \times n$ のコーナー部分の核 $\ker(\text{SymHaar}_{n,n})$ によって形成されるプロセスは、アーベル群のみを状態として見た場合、マルコフ性を有しない。本論文は、マルコフ性を回復させるために必要な追加の構造を特定し、その結果として得られる確率過程を特徴付けることを目的としている。

手法
著者は、非対称な行列に関する[Lvo24]で確立された枠組みを、対称な設定へと一般化している。核心となる手法上の革新は、状態空間の拡充である。単に群 $\ker(M)$ の同型類を追跡するのではなく、核に定義された対称な完全対合 $\langle \cdot, \cdot \rangle$ を伴うペア $(\ker(M), \langle \cdot, \cdot \rangle)$ を追跡する。

この対合は、ベクトル $v, w \in \ker(M)$ に対して次のように定義される：
$$\langle v, w \rangle = v^T M w \pmod{\mathbb{Z}_p}$$
この対合は、$M$ が非特異であるとき、ウェルディファインド（well-defined）かつ完全である。状態空間 $X_S$ は、完全な対称対合を備えた有限アーベル$p$群の同型類からなる。

本論文は、$\text{SymHaar}_{n-1, n-1}$ から $\text{SymHaar}_{n, n}$ への遷移を分析することにより、$X_S$ 上のマルコフ連鎖を構築する。これには以下のステップが含まれる：

1. 幾何学的解釈： 対合に関して誘導される $\mathbb{Q}_p^n$ 内の直交補空間を用いて、核を表現する。
2. 代数的簡約： $n-1$ から $n$ への遷移が、状態 $(G, \langle \cdot, \cdot \rangle)$ に対する特定のランダムな操作に対応することを示す。この操作 $\Delta_S$ は以下を含む：
   • ランダムな要素 $g \in G$ の選択。
   • 新しい要素 $(g, 1)$ が自己直交的（すなわち $(g, 1) \in (g, 1)^\perp$）であるという制約の下での、対合の $G \times \mathbb{Q}_p$ へのランダムな拡張の選択。
   • 商 $(g, 1)^\perp / (g, 1)$ の取得。

主な貢献および結果

1. マルコフ性の回復 (Theorem 1):
   主要な結果は、対合付きの群を値に持つプロセス $\widetilde{\ker}(\text{SymHaar}_{n,n})$ がマルコフ連鎖であることである。これは、対合を持たない核のプロセスがマルコフ的ではないことと対照的である。

2. 明示的な生成子 (Theorem 2):
   本論文は、遷移作用素 $\Delta_S$ の明示的な記述を提供する。$M$ が対称な非特異行列である場合、$M$ にランダムな行と列を追加して形成された行列の $\widetilde{\ker}$ の分布が、$\widetilde{\ker}(M)$ にアルゴリズム $\Delta_S$ を適用した出力と一致することを証明する。これにより、$\Delta_S$ がこのプロセスの生成子であることが確認される。

3. 可逆性 (Theorem 3):
   本論文は、特定の確率測度に関して、$\Delta_S$ によって生成されるマルコフ連鎖が可逆であることを証明する。この測度は、次のようなCohen-Lenstra型の分布である：
   $$\mu(G, \langle \cdot, \cdot \rangle) \propto \frac{1}{\#G \cdot \#\text{Aut}(G, \langle \cdot, \cdot \rangle)}$$
   ここで $\text{Aut}(G, \langle \cdot, \cdot \rangle)$ は対合を保存する自己同型群を表す。証明には、エッジが完全列（exact sequences）のペアに対応する重み付き有向グラフを構成する組合せ論的なアプローチが用いられる。エッジの集合上の対合（involution）$\sigma$ が、定常測量が上記の場合に選ばれたとき、エッジの重みを保存することが示され、これにより可逆性が確立される。

4. 既存文献との関連:
   これらの結果は、$\widetilde{\ker}(\text{SymHaar}_{n,n})$ の $n \to \infty$ における極限分布を記述する、Cheong, Li, 他による静的な定理 [CKL+15] の動的な一般化として機能する。また、本論文は、[Lvo24] で非対称な場合のスペクトル問題が解決された一方で、この対称なマルコフ連鎖に関するスペクトル問題については、本稿では扱わないことも述べている。

意義
本論文は、ランダムな$p$進対称行列を研究するための厳密な確率論的枠組みを確立している。正しい状態空間（対合付きの群）を特定することで、マルコフ性を回復し、算術統計学の問題に対して確率過程の手法を適用することを可能にしている。生成子の明示的な構成と可逆性の証明は、対称なケースにおけるCohen-Lenstra予想の理解を深め、核の静的な分布と、アーベル群上のランダムウォークとしての動的な性質を結びつけている。本研究は、$\mathbb{Z}_p$ 上の線形代数、群論、および確率論の相互作用に依拠しており、特にハール測度と完全対合の性質を利用している。