🔢 mathematics

An efficient sum of squares nonnegativity certificate for quaternary quartic

O artigo apresenta um certificado eficiente de não negatividade como soma de quadrados para formas quárticas quaternárias, demonstrando que o produto de duas formas quadráticas por uma forma não negativa sempre resulta em uma soma de quadrados, enquanto investiga se um único fator é suficiente, conjecturando que a forma quadrática $a$ seja essa solução.

Autores originais: Dmitrii V. Pasechnik

Publicado 2026-03-19

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Dmitrii V. Pasechnik

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem uma receita de bolo (uma fórmula matemática) e quer ter certeza absoluta de que o resultado nunca será negativo (ou seja, que o bolo nunca "desaparece" ou vira algo impossível). Na matemática, isso se chama não-negatividade.

O problema é que, às vezes, provar que algo é sempre positivo é muito difícil. A maneira mais fácil de provar isso é mostrar que a receita é, na verdade, uma soma de "quadrados" (como $x^2 + y^2$ ). Como qualquer número real ao quadrado é positivo (ou zero), a soma deles também será. Isso é chamado de Soma de Quadrados (SoS).

Aqui está o que o artigo do Dmitrii Pasechnik descobre, explicado de forma simples:

1. O Problema: Nem tudo é um quadrado perfeito

O autor está lidando com uma classe específica de "receitas" matemáticas: polinômios de 4 variáveis com grau 4 (chamados de quaternary quartics).
Hilbert, um grande matemático do século XIX, já sabia que nem toda receita que é sempre positiva pode ser escrita diretamente como uma soma de quadrados. Às vezes, a receita é boa, mas não se encaixa na caixa de "somas de quadrados".

2. A Solução: O "Multiplicador Mágico"

O grande truque do artigo é: se você não consegue provar que a receita é uma soma de quadrados, tente multiplicá-la por outra receita simples (um multiplicador) antes.

O autor prova que, para qualquer uma dessas receitas de 4 variáveis, você pode pegar duas "receitas auxiliares" simples (chamadas de formas quadráticas, $q$ e $q'$ ) e multiplicá-las pela receita original. O resultado dessa multiplicação sempre será uma soma de quadrados.

Analogia: Imagine que você tem um objeto estranho que não cabe na sua mala. Você descobre que, se colocar esse objeto dentro de duas caixas menores específicas ( $q$ e $q'$ ), o pacote final cabe perfeitamente na mala (é uma soma de quadrados).

3. O Segredo: O "Discriminante" (A Chave do Mistério)

Como ele conseguiu provar isso? Ele usou um truque de redução:

Ele transformou o problema complexo de 4 variáveis em algo mais simples, parecendo uma equação quadrática comum ( $au^2 + 2bu + c$ ).
Para saber se essa equação é sempre positiva, os matemáticos olham para o seu discriminante (uma fórmula que diz se a equação tem raízes reais ou não).
O autor mostrou que o "problema" do discriminante (que é uma receita de 3 variáveis) pode ser resolvido usando um teorema antigo de Hilbert. Se o discriminante for multiplicado por uma pequena ajuda, ele vira uma soma de quadrados.
Ao conectar isso de volta à receita original, ele provou que multiplicar por duas pequenas receitas ( $q$ e $q'$ ) resolve o problema.

4. A Grande Questão: Precisamos de duas caixas ou uma basta?

O artigo faz uma descoberta interessante e um pouco frustrante:

O autor construiu exemplos onde o discriminante é "ruim" (não é uma soma de quadrados). Isso significa que, teoricamente, poderíamos precisar de dois multiplicadores.
PORÉM, em todos os exemplos que ele testou, na verdade, apenas um multiplicador (especificamente a parte $a$ da receita) foi suficiente para transformar a receita original em uma soma de quadrados.

A Metáfora Final:
Imagine que você tem um cadeado difícil (o polinômio original).

O teorema antigo dizia: "Você precisa de duas chaves ( $q$ e $q'$ ) para abrir".
O autor descobriu: "Eu construí cadeados onde a fechadura interna parece quebrada, mas, na prática, ao tentar abrir, descobri que uma única chave ( $q=a$ ) funcionou em todos os casos que testei".

Conclusão

O artigo é um passo gigante na matemática porque:

Garante que sempre existe uma maneira de provar que essas receitas são positivas (multiplicando por duas chaves).
Sugere fortemente que talvez uma única chave seja suficiente (uma conjectura do autor), o que seria muito mais eficiente.
Mostra que a matemática às vezes exige "truques" (multiplicadores) para provar coisas que parecem óbvias, e que a melhor maneira de provar algo nem sempre é a mais direta.

Em resumo: O autor encontrou um método infalível para "empacotar" certas fórmulas matemáticas complexas em caixas de "somas de quadrados", provando que, mesmo que a fórmula original seja teimosa, ela sempre pode ser "domada" com a ajuda certa.

Resumo Técnico: Certificado Eficiente de Não-Negatividade como Soma de Quadrados para Quarticas Quaternárias

1. O Problema

O artigo aborda um problema clássico na geometria algébrica e otimização: certificar a não-negatividade global de um polinômio $f$ de $n$ variáveis e grau $2d$ . Especificamente, o foco está em quarticas quaternárias (polinômios homogêneos de 4 variáveis e grau 4, denotados como $f \in P_{4,4}$ ).

Contexto Histórico: Hilbert (1888) provou que, para $n \ge 3$ e $2d \ge 6$ , existem polinômios não-negativos que não podem ser escritos como soma de quadrados (s.o.s. - sum of squares) de polinômios.
O Desafio: Para polinômios não-negativos que não são s.o.s., busca-se um "multiplicador" $q$ tal que o produto $qf$ seja uma soma de quadrados. Hilbert (1893) mostrou que para ternárias sexticas ( $n=3, 2d=6$ ), existe um multiplicador quadrático $q$ tal que $qh$ é s.o.s.
A Questão Aberta: Para quarticas quaternárias ( $n=4, 2d=4$ ), é conhecido que $f$ pode ser representado como s.o.s. de funções racionais. A questão central deste trabalho é: Quantos multiplicadores quadráticos são necessários para tornar $f$ uma soma de quadrados de polinômios? Especificamente, um único multiplicador quadrático $q$ é suficiente?

2. Metodologia

O autor utiliza uma combinação de redução algébrica, teoria de formas quadráticas e análise de discriminantes para atacar o problema.

Redução a um Caso com Zero Real:
- O autor demonstra que, sem perda de generalidade, pode-se assumir que o polinômio $f$ possui um zero real.
- Através de uma mudança linear de variáveis (rotação ortogonal), $f$ é transformado em um polinômio quadrático em relação a uma variável $u$ (onde $u = x_1$ ), com coeficientes que são formas em 3 variáveis ( $x_2, x_3, x_4$ ):
  $f(u, \mathbf{x}) = a(\mathbf{x})u^2 + 2b(\mathbf{x})u + c(\mathbf{x})$
  onde $a, b, c$ são formas de graus 2, 3 e 4, respectivamente.
Análise do Discriminante:
- A não-negatividade de $f$ implica que o discriminante $\Delta = ac - b^2$ é não-negativo ( $\Delta \in P_{3,6}$ ).
- O autor aplica o teorema de Hilbert (1893) para formas ternárias sexticas: existe um multiplicador quadrático $q \in \Sigma_{3,2}$ tal que $q\Delta$ é uma soma de quadrados.
- Completando o quadrado na expressão de $f$ , obtém-se: $af = (au+b)^2 + a\Delta$ .
- Se $q\Delta$ é s.o.s., então $q(af) = q(au+b)^2 + q(a\Delta)$ é uma soma de quadrados. Isso prova que dois multiplicadores quadráticos ( $q$ e $a$ ) são suficientes para tornar $f$ uma soma de quadrados.
Construção de Contra-Exemplos e Verificação Computacional:
- Para investigar a necessidade de dois multiplicadores (ou se um só basta), o autor constrói explicitamente exemplos onde o discriminante $\Delta$ não é uma soma de quadrados ( $\Delta \in P_{3,6} \setminus \Sigma_{3,6}$ ).
- Utiliza-se o software Macaulay2 para:
  1. Gerar formas ternárias sexticas não-s.o.s. na fronteira do cone de formas não-negativas.
  2. Verificar as condições de contato duplo e calcular raízes reais.
  3. Testar a decomposição s.o.s. para $af $e$ qf$.

3. Principais Contribuições e Resultados

Teorema 2 (Existência de Certificado com Dois Multiplicadores):
Para qualquer quartica quaternária não-negativa $f \in P_{4,4}$ , existem formas quadráticas $q, q' \in \Sigma_{4,2}$ tais que $qq'f$ é uma soma de quadrados de quarticas.
- Prova: Reduz-se a $f = au^2 + 2bu + c$ . O discriminante $\Delta = ac - b^2$ é uma sextica ternária não-negativa. Pelo teorema de Hilbert, existe $q$ tal que $q\Delta$ é s.o.s. Logo, $aqf = q(au+b)^2 + q(a\Delta)$ é s.o.s.
Teorema 3 (Existência de Discriminantes Não-S.O.S.):
O autor prova a existência explícita de formas $a, b, c$ (graus 2, 3, 4) tais que o discriminante $\Delta = ac - b^2$ é não-negativo, mas não é uma soma de quadrados.
- Isso refuta a possibilidade trivial de que $\Delta$ seria sempre s.o.s., o que tornaria o multiplicador desnecessário.
Teorema 10 (Construção Explícita):
Apresenta uma família paramétrica de exemplos onde $\Delta_\tau = ac - \tau b^2$ é não-negativo e não-s.o.s. para um intervalo específico de $\tau$ . O valor crítico $\tau^*$ é calculado como a raiz de um polinômio de grau 5.
Relação entre Decomposições (Teorema 4):
Estabelece uma ligação direta entre a existência de um multiplicador para $f$ e a estrutura da decomposição s.o.s. de $\Delta$ .
- Se $qf$ é s.o.s., então $aq\Delta$ deve ser s.o.s. com termos no ideal gerado por $(a, b)$ .
- O autor conjectura que um único multiplicador $q=a$ é sempre suficiente (ou seja, $af$ é sempre s.o.s.), mas não consegue provar a recíproca completa para o caso geral.
Resultados Numéricos e Conjectura:
- O autor constrói um exemplo específico ( $f^*$ ) baseado no discriminante não-s.o.s. de Teorema 10.
- Computacionalmente, verifica-se que $a f^*$ é uma soma de quadrados (com coeficientes racionais aproximados), mesmo que o discriminante associado não seja s.o.s.
- Isso sugere fortemente que o multiplicador $q=a$ pode ser suficiente, tornando o limite de dois multiplicadores do Teorema 2 não afiado (sharp) na prática, embora a prova teórica rigorosa de que "um multiplicador basta" permaneça aberta.

4. Significado e Impacto

Avanço Teórico: O trabalho fornece um limite quase afiado para o grau dos denominadores na representação de polinômios não-negativos como somas de quadrados de funções racionais para o caso $n=4, d=4$ .
Método Construtivo: Diferente de provas de existência puramente abstratas, o artigo oferece um método construtivo e algoritmos (via Macaulay2) para gerar certificados e contra-exemplos.
Otimização Semidefinida (SDP): O trabalho reforça a utilidade de problemas de otimização semidefinida para encontrar certificados de não-negatividade, mostrando como a teoria clássica de Hilbert pode ser combinada com ferramentas computacionais modernas.
Direção Futura: A principal questão em aberto é provar se um único multiplicador quadrático é sempre suficiente para quarticas quaternárias. A evidência computacional aponta para "sim", mas uma prova algébrica geral ainda é necessária.

Em suma, o artigo resolve a questão da existência de um certificado com dois multiplicadores e fornece fortes evidências computacionais e teóricas de que um único multiplicador (especificamente o coeficiente $a$ ) pode ser suficiente, refinando nossa compreensão sobre a estrutura dos cones de polinômios não-negativos.