Exact cospectrality probabilities for uniform random matrices

기술 요약: 균등 무작위 행렬에 대한 정확한 코스펙트럼 확률 (Exact Cospectrality Probabilities)

문제 정의
본 논문은 이산 행렬의 스펙트럼 특성 문제, 구체적으로는 직교 행렬 $Q$에 의해 공액(conjugation)되었을 때 임의의 대수적 수체 $K$의 정수환 $\mathcal{O}_K$ 내의 원소로 구성된 행렬이 해당 집합 내에 머물러 있을 확률을 조사한다.

"일반적인(generic)" 경우, 무작위 그래프나 행렬은 그 스펙트럼에 의해 유일하게 결정된다는 점(Haemers의 추측)을 시사하지만, $Q^\top X Q$가 $X$와 동일한 스펙트럼을 공유하게 만드는 비자명한 직교 행렬 $Q$(대수적 원소를 가질 수 있음)의 존재는 코스펙트럼성(cospectrality) 문제를 복잡하게 만든다. 핵심 질문은 다음과 같다: 고정된 직교 행렬 $Q$(잠재적으로 대수적 원소를 가짐)와 $\mathcal{O}_K$ 내에서 균등 분포를 따르는 원소를 가진 무작위 대칭 행렬 $X$가 주어졌을 때, $Q^\top X Q$의 원소들이 $\mathcal{O}_K$에 속할 정확한 확률은 얼마인가?

Wang과 Zhao [33]의 선행 연구는 차원 $n \to \infty$일 때 분모가 유계인 유리 직교 행렬에 대한 점근적 상한을 확립했다. 본 논문은 고정된 차원과 임의의 대수적 수체에 대해 이러한 점근적 영역을 넘어, 정확하고 비점근적인(non-asymptotic) 공식을 제공하는 것을 목표로 한다.

방법론
저자는 대수적 수론, 데데킨트 도메인의 이데알 이론, 그리고 확률적 불변성 논증을 결합하여 연구를 수행한다.

1. 대수적 프레임워크: 연구는 대수적 수체 $K$와 그 정수환 $\mathcal{O}_K$ 내에서 설정된다. 행렬 $Q$의 "레벨(level)" $\ell$은 $\ell Q \in \mathcal{O}_K^{n \times n}$을 만족하는 가장 작은 정수로 정의된다. 분석에는 $\ell Q$와 관련된 스미스 법(Smith normal form) 및 스미스 이데알(Smith ideals) ($\mathfrak{d}_i$)이 활용된다.
2. 확률적 불변성: 증명은 몫 환(quotient ring) $\mathcal{O}_K / \ell^2 \mathcal{O}_K$ 상에서의 균등 분포의 평행 이동 불변성(translation invariance)에 기초한다. 무작위 대칭 행렬 $X$의 법칙이 결정론적 대칭 행렬에 의한 평행 이동에 대해 불변이라는 사실을 활용하여, 저자는 $Q^\top X Q$가 정수성을 유지할 확률이 $\ell Q$의 스미스 법에 의해서만 결정됨을 입증함으로써, 확률 계산에서 $Q$를 효과적으로 대각 행렬로 대체할 수 있음을 보여준다.
3. 이데알 이론적 축소: 문제는 스미스 이데알을 포함하는 합동식(congruence)의 해를 세는 문제로 축소된다. $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$에 대해 $\mathcal{O}_K$ 내에서 균등 분포를 갖는 무작위 대칭 행렬 $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}$은 이데알 노름(ideal norm)을 나타낸다. 이 공식은 모든 대수적 수체에 대해 유효하며, 대칭 및 에르미트 앙상블 모두에 적용된다.

• 저차원에서의 유리 코스펙트럼성 (정리 1.6 & 1.7): 본 논문은 주어진 분모 $\ell$을 가지며 정수성을 보존하는 유리 직교 행렬의 기대값에 대한 명시적 공식을 차원 $n=2$와 $n=3$에 대해 도출한다.

  • 차원 2: 기대값은 $\ell$의 소인수가 모두 $1 \pmod 4$인 경우에만 0이 아니다. 기대값은 $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$이며, 여기서 $r$은 서로 다른 소인수의 개수이다.
  • 차원 3: 기대값은 $\ell$이 홀수인 경우에만 0이 아니다. 기대값은 $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$이다.

• 비단조성 (Non-Monotonicity): 중요한 발견은 보존하는 공액의 기대값과 분모 $\ell$ 사이의 의존성이 **비단조적(non-monotone)**이라는 점이다. $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$에 대해 이를 증명하는 것은 여전히 미해결 과제로 남아 있다.