Exact cospectrality probabilities for uniform random matrices

技術要約：一様ランダム行列における厳密な余共鳴確率

問題設定
本論文は、離散行列のスペクトル特性化問題、具体的には、直交行列 $Q$ による共役変換後も、その成分が離散集合（代数体 $K$ の整数環 $\mathcal{O}_K$ など）内に留まるようなランダムな対称行列の確率について調査している。

「典型的」なケースでは、ランダムなグラフや行列はそのスペクトルによって一意に特徴付けられることが示唆されている（Haemersの予想）が、 $X$ と同じスペクトルを共有する非自明な直交行列 $Q$ （代数的成分を持つ可能性がある）が存在すること（余共鳴性）が、この問題を複雑にしている。核心となる問いは、「固定された直交行列 $Q$（潜在的に代数的成分を持つ）と、成分が $\mathcal{O}_K$ 内で一様に分布するランダムな対称行列 $X$ が与えられたとき、$Q^\top X Q$ の成分が $\mathcal{O}_K$ 内に存在するための厳密な確率はいくらか？」というものである。

WangおよびZhao [33] による先行研究では、次元 $n \to \infty$ における、有理直交行列（有界な分母を持つ）に対する漸近的な上界が確立されている。本論文は、固定された次元および任意の代数体に対して、漸近的な領域を超え、この確率の厳密かつ非漸近的な公式を提供することを目的としている。

手法
著者は、代数体論、デデキント整域におけるイデアル論、および確率的な不変性の議論を組み合わせて用いている。

1. 代数的枠組み: 研究は、代数体 $K$ とその整数環 $\mathcal{O}_K$ の枠組みで行われる。行列 $Q$ の「レベル」 $\ell$ は、 $\ell Q \in \mathcal{O}_K^{n \times n}$ となる最小の整数として定義される。解析には、 $\ell Q$ に付随するスミス標準形およびスミス・イデアル ($\mathfrak{d}_i$) が活用される。
2. 確率的不変性: 証明は、商環 $\mathcal{O}_K / \ell^2 \mathcal{O}_K$ 上の一様分布の平行移動不変性に依拠している。ランダムな対称行列 $X$ の法則が決定論的な対称行列による平行移動に対して不変であるという事実を利用することで、著者は $Q^\top X Q$ が整数値となる確率が $\ell Q$ のスミス標準形式のみに依存することを示し、これにより確率計算において $Q$ を実質的に対角行列に置き換えることを可能にしている。
3. イデアル論的簡約: 問題は、スミス・イデアルを用いた合同式の解を数え上げる問題へと簡約される。 $Q$ の直交性は、これらのイデアルに対して特定の構造的制約（具体的には $\mathfrak{d}_i$ と $\mathfrak{d}_{n-i+1}$ の間の関係）を課しており、これが任意の行列に対して導出される一般的な公式を簡略化させている。

主要な貢献と結果

• 厳密な確率公式 (定理 1.3): 主要な結果は、 $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$ に対する厳密な公式である。成分が $\ell^2$ モジュロで一様に分布するランダムな対称行列 $X$ について、確率は次のように与えられる：
  $$\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n}) = \prod_{i=1}^{\lfloor n/2 \rfloor} \prod_{j=i}^{n-i} \frac{\mathrm{N}_{\mathcal{O}_K}(\mathfrak{d}_i \mathfrak{d}_j)}{\mathrm{N}_{\mathcal{O}_K}(\ell^2 \mathcal{O}_K)}$$
  ここで $\mathfrak{d}_i$ は $\ell Q$ のスミス・イデアルであり、 $\mathrm{N}$ はイデアルノルムを表す。この公式は、あらゆる代数体に対して成立し、対称およびエルミート・アンサンブルの両方に適用される。

• 低次元における有理余共鳴 (定理 1.6 & 1.7): 本論文は、与えられた分母 $\ell$ を持ち、整数性を保持する有理直交行列の期待値について、次元 $n=2$ および $n=3$ のための明示的な公式を導出している：

  • 次元 2: 期待値は、 $\ell$ の素因数がすべて $1 \pmod 4$ である場合にのみ非ゼロとなる。期待値は $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$ である（ここで $r$ は異なる素因数の数）。
  • 次元 3: 期待値は、 $\ell$ が奇数である場合にのみ非ゼロとなる。期待値は $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$ である。

• 非単調性: 重要な発見は、保存的な共役変換の期待数と分母 $\ell$ との関係が非単調であることである。 $1/\ell^2$ という因子は一般的な減少を示唆しているが、 $\ell$ の素因数分解（特に素因数の数と大きさ）に伴う数論的な変動により、局所的な増加が生じる。

• 有理余共鳴の境界 (系 1.8): 厳密な期待値を用いて、著者は $n \le 3$ において、ランダムな整数行列が（有界ではあるが任意に大きな分母を持つ）有理直交行列を介して別の行列と余共鳴となる確率が、厳密に1未満であることを確立している。

  • $n=2$ の場合、極限は約 $0.114$ に抑えられる。
  • $n=3$ の場合、極限は約 $0.296$ に抑えられる。
    これは、低次元における Haemers の予想に対する、厳密かつ非漸近的なバリアントを提供している。

意義と主張
本論文は、共役による整数性保持の確率を、共役行列のスミス・イデアルに直接結びつける、最初の厳密かつ非漸近的な公式を提供したと主張している。

著者は、これらの結果が低次元の設定における新しい現象、すなわち、算術的変動による分母への非単調な依存関係を明らかにしていることを強調している。これは、確率が通常単調に減少する単純な漸近的傾向とは対照的である。

本研究は、ランダム行列の確率的研究と、スペクトル特性化のための決定論的な十分条件（Qiu, Wang, および Zhang [23]、ならびに Wang および Yu [32] の研究を参照）を結びつけており、スミス標準形が、行列がスペクトルによって一意に特徴付けられるかどうかを決定する上で根本的な役割を果たすことを示唆している。論文は、この厳密な不等式（確率 $< 1$）がすべての固定された次元 $n$ に対して成立するという予想（予想 1.9）を提示して締めくくられているが、これを一般的な $n$ に対して証明することは依然として未解決かつ困難な課題である。