Exact cospectrality probabilities for uniform random matrices

Resumo Técnico: Probabilidades de Cospectralidade Exatas para Matrizes Aleatórias Uniformes

Enunciado do Problema
O artigo aborda o problema da caracterização espectral para matrizes discretas, investigando especificamente a probabilidade de uma matriz simétrica aleatória com entradas em um conjunto discreto (como o anel de inteiros $\mathcal{O}_K$ de um corpo numérico algébrico $K$) permanecer dentro desse conjunto após a conjugação por uma matriz ortogonal $Q$.

Embora o caso "genérico" sugira que um grafo ou matriz aleatória é caracterizado unicamente pelo seu espectro (conjectura de Haemers), a existência de matrizes ortogonais não triviais $Q$ tais que $Q^\top X Q$ compartilha o mesmo espectro que $X$ (cospectralidade) complica essa questão. A questão central é: Dado uma matriz ortogonal $Q$ fixa (potencialmente com entradas algébricas) e uma matriz simétrica aleatória $X$ com entradas uniformemente distribuídas em $\mathcal{O}_K$, qual é a probabilidade exata de que o conjugado $Q^\top X Q$ também possua entradas em $\mathcal{O}_K$?

Trabalhos anteriores, como Wang e Zhao [33], estabeleceram limites superiores assintóticos para matrizes ortogonais racionais com denominadores limitados conforme a dimensão $n \to \infty$. Este artigo visa fornecer fórmulas exatas e não assintóticas para essa probabilidade para dimensões fixas e corpos numéricos algébricos arbitrários, indo além do regime assintótico.

Metodologia
O autor utiliza uma combinação de teoria dos números algébricos, teoria dos ideais em domínios de Dedekind e argumentos de invariância probabilística.

1. Estrutura Algébrica: O estudo é situado dentro de um corpo numérico algébrico $K$ com seu anel de inteiros $\mathcal{O}_K$. O "nível" $\ell$ de uma matriz $Q$ é definido como o menor inteiro tal que $\ell Q \in \mathcal{O}_K^{n \times n}$. A análise utiliza a forma normal de Smith e os ideais de Smith ($\mathfrak{d}_i$) associados à matriz $\ell Q$.
2. Invariância Probabilística: A prova baseia-se na invariância por translação da distribuição uniforme sobre o anel quociente $\mathcal{O}_K / \ell^2 \mathcal{O}_K$. Ao aproveitar o fato de que a lei de uma matriz simétrica aleatória $X$ é invariante sob translação por matrizes simétricas determinísticas, o autor demonstra que a probabilidade de $Q^\top X Q$ ser integral depende apenas da forma normal de Smith de $\ell Q$, permitindo que $Q$ seja efetivamente substituída por uma matriz diagonal no cálculo da probabilidade.
3. Redução Teórica de Ideais: O problema é reduzido à contagem de soluções para congruências envolvendo os ideais de Smith. A ortogonalidade de $Q$ impõe restrições estruturais específicas a esses ideais (especificamente, relações entre $\mathfrak{d}_i$ e $\mathfrak{d}_{n-i+1}$), o que simplifica a fórmula geral derivada para matrizes arbitrárias.

Contribuições Principais e Resultados

• Fórmula de Probabilidade Exata (Teorema 1.3): O principal resultado é uma fórmula exata para a probabilidade $\mathbb{P}(Q^\top X Q \in \mathcal{O}_K^{n \times n})$. Para uma matriz simétrica aleatória $X$ com entradas uniformemente distribuídas módulo $\ell^2$, a probabilidade é dada por:
  $$\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)}$$
  onde $\mathfrak{d}_i$ são os ideais de Smith de $\ell Q$ e $\mathrm{N}$ denota o norma do ideal. Esta fórmula é válida para qualquer corpo numérico algébrico e aplica-se tanto a conjuntos simétricos quanto hermitianos.

• Cospectralidade Racional em Baixas Dimensões (Teoremas 1.6 & 1.7): O artigo deriva fórmulas explícitas para o número esperado de matrizes ortogonais racionais com um determinado denominador $\ell$ que preservam a integralidade para as dimensões $n=2$ e $n=3$:

  • Dimensão 2: O valor esperado é não-zero apenas se os fatores primos de $\ell$ forem todos congruentes a $1 \pmod 4$. A expectativa é $\mathbb{E}[N_2(\ell)] = 2^{r+3}/\ell^2$, onde $r$ é o número de fatores primos distintos.
  • Dimensão 3: O valor esperado é não-zero apenas se $\ell$ for ímpar. A expectativa é $\mathbb{E}[N_3(\ell)] = \frac{48}{\ell^2} \prod_{p|\ell} (1 + 1/p)$.

• Não-Monotonicidade: Uma descoberta significativa é que a dependência do número esperado de conjugações preservadoras em relação ao denominador $\ell$ é não-monótona. Embora o fator $1/\ell^2$ sugira um decaimento geral, as flutuações numérico-teóricas na fatoração prima de $\ell$ (especificamente o número e o tamanho dos fatores primos) causam aumentos locais na probabilidade.

• Limites para a Cospectralidade Racional (Corolário 1.8): Usando as expectativas exatas, o autor estabelece que para $n \le 3$, a probabilidade de uma matriz inteira aleatória ser cospectral a outra via uma matriz ortogonal racional (com denominador limitado, porém arbitrariamente grande) é estritamente menor que 1.

  • Para $n=2$, o limite é limitado por aproximadamente $0,114$.
  • Para $n=3$, o limite é limitado por aproximadamente $0,296$.
    Isso fornece uma variante rigorosa e não assintótica da conjectura de Haemers para baixas dimensões.

Significância e Alegações
O artigo afirma fornecer as primeiras fórmulas exatas e não assintóticas para a probabilidade de preservação da integralidade sob conjugação ortogonal, ligando esta probabilidade diretamente aos ideais de Smith da matriz conjugante.

O autor destaca que estes resultados revelam um novo fenômeno em configurações de baixa dimensão: a dependência não-monótona do denominador devido a flutuações aritméticas. Isso contrasta com tendências assintóticas mais simples onde a probabilidade tipicamente decai monotonicamente.

O trabalho conecta o estudo probabilístico de matrizes aleatórias com condições suficientes determinísticas para a caracterização espectral (referenciando o trabalho de Qiu, Wang e Zhang [23] e Wang e Yu [32]), sugerindo que as formas normais de Smith desempenham um papel fundamental em determinar se uma matriz é unicamente caracterizada pelo seu espectro. O artigo conclui propondo uma conjectura (Conjectura 1.9) de que esta desigualdade estrita (probabilidade $< 1$) se mantém para todas as dimensões fixas $n$, embora provar isso para um $n$ geral permaneça um problema aberto e desafiador.