The small Davenport constant of the Heisenberg group of order 125

Resumo Técnico: A Constante de Davenport Pequena do Grupo de Heisenberg de Ordem 125

Enunciado do Problema
O artigo aborda a determinação da constante de Davenport pequena, $d(G)$, para o grupo de Heisenberg $H_p^3$ de ordem $p^3$ sobre o corpo finito $\mathbb{F}_p$. A constante $d(G)$ é definida como o comprimento máximo de uma sequência livre de produto-um sobre $G$ (uma sequência onde nenhum subsequência não vazia admite uma ordenação cujo produto seja a identidade). Embora Godara e Sarkar tenham estabelecido que $d(H_{27}) = 6$ para $p=3$ e conjecturado que $d(H_p^3) = 3p - 3$ para todos os primos ímpares $p$, o caso para $p \ge 5$ permanecia em aberto. Este trabalho resolve especificamente o primeiro caso em aberto: $p=5$, determinando $d(H_{125})$.

Metodologia
A prova combina teoria de grupos estrutural com verificação computacional exaustiva, reduzindo um problema não comutativo à combinatória aditiva sobre $\mathbb{F}_p$.

1. Critério de Produto-Um: Os autores estabelecem uma condição necessária e suficiente para que uma sequência possua uma ordenação de produto-um. Para uma sequência $I$ com elementos $g_i = M(a_i, b_i, c_i)$, uma ordenação de produto-um existe se, e somente se:

   • A soma dos vetores de quociente é nula: $\sum (a_i, b_i) = (0, 0)$.
   • A soma negativa das coordenadas centrais, $-\sum c_i$, pertence ao "conjunto de soma cruzada" $\Omega(I)$. Este conjunto é definido como o conjunto de todos os valores possíveis de $\sum_{s<t} a_{\sigma(s)}b_{\sigma(t)}$ sobre todas as permutações $\sigma$ da sequência.
   • Este critério reduz o problema não abeliano à análise da geometria dos vetores de quociente em $\mathbb{F}_p^2$ e da aritmética das coordenadas centrais.

2. Redução à Combinatória Aditiva:

   • Caps de Linha: Utilizando o resultado de Olson sobre a constante de Davenport de $C_p^2$, os autores derivam um limite de "cap de linha": para qualquer linha $L$ que passa pela origem em $\mathbb{F}_p^2$, o número de termos não centrais com quocientes sobre $L$ mais o número de termos centrais é limitado por $2p-2$.
   • Forçamento Central: Um lema é provado afirmando que se uma sequência contém um conjunto livre de soma zero de termos centrais $Z$ e uma coleção de blocos disjuntos de soma de quociente zero $B_j$, um produto-um é forçado se $|\Sigma_0(Z)| + \sum (|\Omega(B_j)| - 1) \ge p$. Aqui, $\Sigma_0(Z)$ é o conjunto de somas de subconjuntos das coordenadas centrais.

3. O Limite de Espalhamento (Spread Bound) e Busca Exaustiva:

   • O núcleo da prova do limite superior baseia-se em um parâmetro de "espalhamento", $\sigma(Q)$, definido como o valor máximo de $\sum (|\Omega(B_j)| - 1)$ sobre blocos disjuntos de soma zero de um multiconjunto de quociente $Q$.
   • Para $p=5$, os autores reduzem o problema de provar $d(H_{125}) \le 12$ à verificação de uma única afirmação finita: Proposição 2. Esta proposição afirma que, para qualquer multiconjunto $Q$ de comprimento $13-z$ (onde $z$ é o número de termos centrais) satisfazendo as restrições de cap de linha, $\sigma(Q) \ge 4-z$.
   • Esta proposição é verificada via uma busca em profundidade (depth-first search) exaustiva e de memória plana em C. A busca enumera todos os multiconjuntos válidos sobre os 24 vetores não nulos de $\mathbb{F}_5^2$, podando ramos que falham em atender ao requisito de espalhamento. O resultado (zero "folhas ruins") foi independentemente reproduzido por uma segunda implementação com uma estratégia de poda diferente.

4. Rigor de Verificação: Cada afirmação numérica, incluindo a lógica de multiplicação do grupo, o critério de produto-um e os lemas auxiliares, foi verificada por máquina. Os autores explicitamente observam que, embora o resultado não seja formalmente verificado por um assistente de prova, a reprodução independente da busca de carga e dos lemas verificados por máquina serve como a garantia de reprodutibilidade.

Resultados Principais

• Teorema 1: $d(H_{125}) = 12$.
  • Limite Inferior: A sequência $x^4 y^4 v^4$ (comprimento 12) é explicitamente mostrada como livre de produto-um.
  • Limite Superior: Toda sequência de comprimento 13 sobre $H_{125}$ contém uma subsequência de produto-um. Isso é provado mostrando que qualquer tal sequência deve satisfazer as condições do lema de Forçamento Central, o que é garantido pelo Limite de Espalhamento verificado (Proposição 2).
• Limitações para $p \ge 7$: Os autores demonstram que o método não se generaliza diretamente para $p=7$. Um multiconjunto de contraexemplo específico $Q_0$ é identificado onde o teorema de Chevalley–Warning força um bloco de soma zero, mas esse bloco é colinear (resultando em $|\Omega|=1$) em vez de "largo" (resultando em $|\Omega|=p$). Consequentemente, o espalhamento não pode ser forçado apenas por métodos polinomiais, e o espaço de busca exaustiva torna-se computacionalmente intratável ($\sim 10^{16}$ multiconjuntos). Isso deixa o intervalo $18 \le d(H_{343}) \le 24$ em aberto.

Significância e Alegações
O artigo afirma ser a primeira resolução do caso em aberto para a conjectura da constante de Davenport do grupo de Heisenberg ($d(H_p^3) = 3p-3$) além de $p=3$.

• Novidade: A contribuição não reside na introdução de novos teoremas (Cauchy–Davenport, Chevalley–Warning e os resultados de Olson são padrão), mas em sua montagem específica para abordar um alvo não abeliano e na verificação finita rigorosa que fecha a lacuna para $p=5$.
• Especificidade: O argumento é destacado como "genuinamente específico para $p$". Os autores identificam o passo preciso onde a lógica falha para $p \ge 7$ (a incapacidade de Chevalley–Warning de forçar um bloco largo e não colinear), fornecendo uma avaliação honesta dos limites do método.
• Reprodutibilidade: O artigo enfatiza o papel da verificação computacional, observando que o "veredito" do limite superior é um fato empírico derivado de busca exaustiva, independentemente reproduzido para garantir a correção.
• Atribuição: O artigo divulga explicitamente que os resultados foram obtidos via uma colaboração de pesquisa com IA, com tarefas específicas (enquadramento do problema, aparato de verificação e a redação final) atribuídas a um sistema de IA sob direção humana, enquanto a redução lógica e a correção de hipóteses iniciais foram realizadas por um raciocinador "frio e sem ferramentas".