Symmetric Tensor Decompositions over Finite Fields

Resumo Técnico: Decomposições de Tensores Simétricos sobre Corpos Finitos

Enunciado do Problema
O artigo aborda o problema de determinar o posto tensorial simétrico do mapa de multiplicação $M_{q^m}: \mathbb{F}_{q^m} \times \mathbb{F}_{q^m} \to \mathbb{F}_{q^m}$ sobre extensões de corpos finitos. Embora a complexidade bilinear padrão $\mu_q(m)$ (o número mínimo de multiplicações não escalares necessárias) seja um tópico central na teoria da complexidade algébrica, o posto tensorial simétrico $\mu_q^{\text{sym}}(m)$ impõe uma restrição adicional: as duas formas lineares em cada somando de posto um da decomposição devem coincidir. Embora $\mu_q^{\text{sym}}(m) \ge \mu_q(m) \ge 2m-1$, determinar valores exatos para $\mu_q^{\text{sym}}(m)$ permanece difícil fora de regimes específicos (por exemplo, quando $q \ge 2m-2$). Métodos existentes frequentemente dependem de geometria algébrica ou construções específicas, deixando uma lacuna em abordagens construtivas para parâmetros gerais.

Metodologia
Os autores desenvolvem uma estrutura construtiva baseada em polinômios linearizados (também conhecidos como polinômios $q$). A metodologia central baseia-se em estabelecer uma correspondência que preserva o posto entre três objetos matemáticos:

1. Polinômios linearizados simétricos na álgebra $L_{m,q}$.
2. Formas bilineares simétricas em $\mathbb{F}_{q^m}$ sobre $\mathbb{F}_q$, definidas via o traço do corpo $\text{Tr}_{q^m/q}(xy)$.
3. Matrizes simétricas em $\mathbb{F}_q^{m \times m}$.

Os autores identificam que uma decomposição tensorial simétrica de comprimento $R$ corresponde à existência de $R$ polinômios linearizados simétricos de posto um que geram o espaço dos polinômios linearizados que representam o mapa de multiplicação. Especificamente, eles utilizam o resultado de que polinômios linearizados simétricos de posto um assumem a forma $\alpha \text{Tr}_{q^m/q}(\beta x)$ onde $\alpha/\beta \in \mathbb{F}_q$.

Para transformar essa condição de geração em um problema computacionalmente tratável, os autores:

• Fixam um gerador $\xi$ de $\mathbb{F}_{q^m}$ sobre $\mathbb{F}_q$.
• Traduzem a condição de geração em um sistema de equações lineares explícitas sobre $\mathbb{F}_q$.
• Empregam o automorfismo de Frobenius para ampliar esses sistemas. Ao adjuntar conjugados de Frobenius das equações, eles derivam um critério onde a existência de uma solução em $\mathbb{F}_q^R$ garante uma decomposição tensorial simétrica válida. Essa ampliação assegura que as soluções encontradas sejam fixadas pelo mapa de Frobenius, estando assim no corpo base.

Principais Contribuições e Resultados

1. Critério Construtivo: O artigo fornece uma condição necessária e suficiente para $\mu_q^{\text{sym}}(m) \le R$ em termos da solvabilidade de sistemas lineares específicos envolvendo potências de elementos em $\mathbb{F}_{q^m}$ e seus conjugados de Frobenius (Teorema 3.2).
2. Decomposições Explícitas para Pequenos $m$: Os autores aplicam seu critério para obter decomposições tensoriais simétricas explícitas para graus de extensão $m \in \{2, 3, 4\}$:
   • Caso $m=2$: Eles recuperam o valor conhecido $\mu_q^{\text{sym}}(2) = 3$ e fornecem uma decomposição explícita envolvendo três funções de traço, válida para qualquer $q$.
   • Caso $m=3$: Eles mostram que $\mu_q^{\text{sym}}(3) \le 6$ para todo $q$, com igualdade para $q \in \{2, 3\}$. Para $q \ge 4$, o valor é 5. Eles fornecem um método para encontrar os elementos necessários usando o não desaparecimento de um polinômio determinante específico.
   • Caso $m=4$: Usando verificação computacional (via MAGMA), eles fornecem decomposições explícitas para $q \in \{2, 3, 4, 5\}$. Eles recuperam valores ótimos para $q=2$ ($\mu=9$), $q=4$ ($\mu=8$) e $q=5$ ($\mu=8$), e fornecem uma decomposição de comprimento 9 para $q=3$.
3. Interpretação Teórica de Códigos: Os autores introduzem o posto tensorial simétrico de um código de métrica-rank simétrico, definido como o número mínimo de matrizes simétricas de posto um cujo $\mathbb{F}_q$-espaço gerado contém o código. Eles demonstram que o espaço da primeira fatia do tensor de multiplicação é equivalente ao código de Gabidulin unidimensional $G_1(m, q) = \langle x \rangle_{\mathbb{F}_{q^m}}$. Consequentemente, $\mu_q^{\text{sym}}(m)$ é exatamente o posto tensorial simétrico deste código de Gabidulin específico.

Significância
O artigo reivindica significância ao fornecer uma abordagem construtiva e algorítmica para decomposições tensoriais simétricas, indo além de provas de existência ou limites derivados da geometria algébrica. Ao reformular o problema como um problema de álgebra linear sobre corpos finitos envolvendo sistemas estáveis sob Frobenius, os autores oferecem um método prático para:

• Verificar decomposições candidatas.
• Produzir exemplos explícitos para parâmetros onde valores exatos eram anteriormente desconhecidos ou apenas limitados.
• Preencher a lacuna entre a teoria do posto tensorial e a teoria de códigos de métrica-rank, especificamente interpretando o posto tensorial simétrico da multiplicação como um invariante de códigos de métrica-rank simétricos.

Os autores observam que, embora seu método lide com sucesso com pequenos graus de extensão, determinar valores exatos para maiores $m$ e encontrar famílias uniformes de elementos satisfazendo as condições lineares permanecem desafios em aberto. A estrutura é apresentada como uma ferramenta para investigação adicional sobre a complexidade bilinear simétrica da multiplicação em corpos finitos.