Exact cospectrality probabilities for uniform random matrices

Technische Samenvatting: Exacte Cospectrale Waarschijnlijkheden voor Uniform Willekeurige Matrices

Probleemstelling
Het artikel behandelt het spectrale karakteriseringsprobleem voor discrete matrices, waarbij specifiek wordt onderzocht wat de waarschijnlijkheid is dat een willekeurige symmetrische matrix met elementen uit een discrete verzameling (zoals de ring van gehele getallen $\mathcal{O}_K$ van een algebraïsch getallenveld $K$) binnen die verzameling blijft na conjugatie door een orthogonale matrix $Q$.

Hoewel het "generieke" geval suggereert dat een willekeurige graaf of matrix uniek wordt gekarakteriseerd door zijn spectrum (Haemers' vermoeden), compliceert het bestaan van niet-triviale orthogonale matrices $Q$ waarvoor $Q^\top X Q$ hetzelfde spectrum heeft als $X$ (cospectraliteit) dit. De kernvraag is: Gegeven een vaste orthogonale matrix $Q$ (mogelijk met algebraïsche elementen) en een willekeurige symmetrische matrix $X$ met elementen die uniform verdeeld zijn over $\mathcal{O}_K$, wat is de exacte waarschijnlijkheid dat de geconjugeerde $Q^\top X Q$ ook elementen in $\mathcal{O}_K$ heeft?

Vorig werk, zoals Wang en Zhao [33], stelde asymptotische bovengrenzen vast voor rationale orthogonale matrices met begrensde noemers naarmate de dimensie $n \to \infty$. Dit artikel beoogt exacte, niet-asymptotische formules te bieden voor deze waarschijnlijkheid voor vaste dimensies en willekeurige algebraïsche getallenvelden, waarmee het de asymptotische regime overstijgt.

Methodologie
De auteur maakt gebruik van een combinatie van algebraïsche getalentheorie, ideale theorie in Dedekind-domeinen en probabilistische invariantie-argumenten.

1. Algebraïsch Kader: De studie is geplaatst binnen een algebraïsch getallenveld $K$ met de ring van gehele getallen $\mathcal{O}_K$. Het "niveau" $\ell$ van een matrix $Q$ wordt gedefinieerd als het kleinste geheel waarvoor $\ell Q \in \mathcal{O}_K^{n \times n}$ geldt. De analyse maakt gebruik van de Smith-normaalvorm en de bijbehorende Smith-idealen ($\mathfrak{d}_i$) van de matrix $\ell Q$.
2. Probabilistische Invariantie: Het bewijs steunt op de translatie-invariantie van de uniforme verdeling over de quotientring $\mathcal{O}_K / \ell^2 \mathcal{O}_K$. Door gebruik te maken van het feit dat de wet van een willekeurige symmetrische matrix invariant is onder translatie door deterministische symmetrische matrices, demonstreert de auteur dat de waarschijnlijkheid dat $Q^\top X Q$ integraal is, enkel afhangt van de Smith-normaalvorm van $\ell Q$, waardoor $Q$ effectief vervangen kan worden door een diagonale matrix in de waarschijnlijkheidsberekening.
3. Ideaal-theoretische Reductie: Het probleem wordt gereduceerd tot het tellen van oplossingen voor congruenties die betrokken zijn bij de Smith-idealen. De orthogonaliteit van $Q$ legt specifieke structurele beperkingen op aan deze idealen (met name relaties tussen $\mathfrak{d}_i$ en $\mathfrak{d}_{n-i+1}$), wat de algemene formule die voor willekeurige matrices is afgeleid, vereenvoudigt.

Belangrijkste Bijdragen en Resultaten

• Exacte Waarschijnlijkheidsformule (Stelling 1.3): Het primaire resultaat is een exacte formule voor de waarschijnlijkheid $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$. Voor een willekeurige symmetrische matrix $X$ met elementen die uniform verdeeld zijn modulo $\ell^2$, wordt de waarschijnlijkheid gegeven door:
  $$\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)}$$
  waarbij $\mathfrak{d}_i$ de Smith-idealen van $\ell Q$ zijn en $\mathrm{N}$ de ideaalnorm voorstelt. Deze formule geldt voor elk algebraïsch getallenveld en is van toepassing op zowel symmetrische als Hermitische ensembles.

• Rationale Cospectraliteit in Lage Dimensies (Stellingen 1.6 & 1.7): Het artikel leidt expliciete formules af voor het verwachte aantal rationale orthogonale matrices met een gegeven noemer $\ell$ die integrale eigenschappen behouden voor dimensies $n=2$ en $n=3$:

  • Dimensie 2: De verwachting is alleen niet-nul als de priemfactoren van $\ell$ allemaal congruent zijn aan $1 \pmod 4$. De verwachting is $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$, waarbij $r$ het aantal verschillende priemfactoren is.
  • Dimensie 3: De verwachting is alleen niet-nul als $\ell$ oneven is. De verwachting is $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$.

• Niet-monotoniciteit: Een belangrijke bevinding is dat de afhankelijkheid van het verwachte aantal behoudende conjugaties van de noemer $\ell$ niet-monotoon is. Hoewel de $1/\ell^2$ factor een algemene afname suggereert, veroorzaken getaltheoretische fluctuaties in de priemfactorisatie van $\ell$ (specifiek het aantal en de grootte van de priemfactoren) lokale toenames in de waarschijnlijkheid.

• Grenzen aan Rationale Cospectraliteit (Corollary 1.8): Gebruikmakend van de exacte verwachtingen, stelt de auteur vast dat voor $n \le 3$ de waarschijnlijkheid dat een willekeurige gehele matrix cospectraal is aan een andere via een rationale orthogonale matrix (met een begrensde maar willekeurig grote noemer) strikt kleiner is dan 1.

  • Voor $n=2$ is de limiet begrensd door ongeveer $0.114$.
  • Voor $n=3$ is de limiet begrensd door ongeveer $0.296$.
    Dit biedt een rigoureus, niet-asymptotisch variant van Haemers' vermoeden voor lage dimensies.

Betekenis en Claims
Het artikel claimt de eerste exacte, niet-asymptotische formules te bieden voor de waarschijnlijkheid van integriteitsbehoud onder orthogonale conjugatie, waarbij deze waarschijnlijkheid direct wordt gekoppeld aan de Smith-idealen van de conjugerende matrix.

De auteur benadrukt dat deze resultaten een nieuw fenomeen in lage-dimensionale settings onthullen: de niet-monotone afhankelijkheid van de noemer door rekenkundige fluctuaties. Dit staat in contrast met eenvoudigere asymptotische trends waar de waarschijnlijkheid doorgaans monotoon afneemt.

Het werk verbindt de probabilistische studie van willekeurige matrices met deterministische voldoende voorwaarden voor spectrale karakterisering (verwijzend naar het werk van Qiu, Wang en Zhang [23] en Wang en Yu [32]), en suggereert dat Smith-normaalvormen een fundamentele rol spelen bij het bepalen of een matrix uniek wordt gekarakteriseerd door zijn spectrum. Het artikel concludeert door een conjectuur voor te stellen (Conjectuur 1.9) dat deze strikte ongelijkheid (waarschijnlijkheid $< 1$) geldt voor alle vaste dimensies $n$, hoewel het bewijzen hiervan voor algemene $n$ een openstaand en uitdagend probleem blijft.