Um ensaio visual
Identidades polinomiais, visualmente
O que significa um polinômio se anular em todas as matrizes? Oito imagens, de um único comutador a um banco de dados com dezenas de milhares de valores certificados.
Waldeck Schützer · UFSCar
Seu sistema pede menos movimento: as figuras mudam conforme você rola a página, mas não se animam sozinhas.
Cena 1 de 8
A ordem importa
Para números, \(ab-ba=0\) sempre. Para matrizes quase nunca: multiplique as mesmas duas matrizes na outra ordem e a figura muda. Um polinômio que continua se anulando para qualquer valor é chamado de identidade, e o comutador não é uma.
Cena 2 de 8
Um polinômio que toda matriz 2×2 obedece
Pegue quatro matrizes e some as 24 maneiras de multiplicá-las em fila, cada uma com sinal mais ou menos conforme a ordem. É o polinômio standard \(s_4\). Amitsur e Levitzki provaram em 1950 que, para matrizes \(2\times2\), o resultado é sempre a matriz nula. Veja o total acumulado voltar a zero.
Cena 3 de 8
Cada grau tem as suas formas
Identidades de grau \(d\) vivem entre as \(d!\) maneiras de ordenar \(d\) variáveis. Embaralhar as variáveis divide esse espaço em blocos, um para cada modo de empilhar \(d\) caixas em um diagrama de Young. Para \(d=4\) há cinco formas, com blocos de tamanhos \(1,3,2,3,1\): os quadrados somam \(24\).
Cena 4 de 8
Um exemplo: matrizes 2×2, grau 4
Quantas identidades se escondem em cada bloco? No banco de dados, para matrizes \(2\times2\) em grau 4, quatro blocos não têm nenhuma e o bloco em forma de coluna tem exatamente uma cópia: ela é gerada por \(s_4\). Toda identidade de grau 4 de \(M_2\) é múltipla do polinômio standard.
Cena 5 de 8
Como um computador as encontra
Substitua unidades matriciais (matrizes com um único 1) nas 24 ordenações. Cada escolha dá uma coluna de números; somar os produtos delas com elas mesmas constrói uma tabela \(24\times24\). As direções nulas são as identidades. O posto conta o que não é identidade. Veja o posto subir conforme mais escolhas entram.
Cena 6 de 8
Um mapa do que se sabe
Cada quadrado é um tamanho de matriz (linhas) e um grau (colunas). Verde significa que todos os blocos daquela célula foram determinados exatamente, com certificado. Âmbar significa que alguns blocos estão apenas limitados entre uma cota inferior e uma superior. O banco de dados tem dezenas de milhares desses valores.
Cena 7 de 8
Qual é o grau de certeza?
Cada valor tem um status. Uma cota inferior vem de uma identidade que sabemos exibir; uma cota superior vem de um determinante não nulo. Quando se encontram, o valor é exato. Se só um teste aleatorizado dá a evidência, o valor é marcado como provável e nunca é promovido a exato.
Cena 8 de 8
O que falta
A fronteira é a parte âmbar do mapa: as células em que alguns blocos ainda estão apenas entre duas cotas que não se encontraram. Fechá-las exige uma nova família de identidades ou um certificado mais rápido. Tudo nesta página pode ser explorado, célula por célula, no banco de dados.