🔢 mathematics

An efficient sum of squares nonnegativity certificate for quaternary quartic

Dit artikel onderzoekt de efficiëntie van som-van-kwadraten-certificaten voor niet-negatieve kwaternaire quartische vormen door aan te tonen dat het product van twee kwadratische vormen en een dergelijke vorm altijd een som van kwadraten is, terwijl het open blijft of één kwadratische vorm (waarschijnlijk de coëfficiënt $a$ ) voldoende is, ondanks voorbeelden waar de directe toepassing van Hilberts theorema suboptimaal is.

Oorspronkelijke auteurs: Dmitrii V. Pasechnik

Gepubliceerd 2026-03-19

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Dmitrii V. Pasechnik

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grootte van de Taak: Een Wiskundig Puzzelstukje

Stel je voor dat je een enorme, ingewikkelde taart hebt (een wiskundige formule) die je wilt bewijzen dat hij altijd positief is. Dat betekent dat je er nooit een stuk van kunt afsnijden dat "onder de grond" ligt (negatief is). In de wiskunde noemen we dit een niet-negatief polynoom.

De vraag die de auteur, Dmitrii Pasechnik, stelt, is heel simpel maar lastig te beantwoorden:
"Als we een taart hebben die altijd positief is, kunnen we die dan altijd schrijven als een som van kwadraten?"

Een som van kwadraten (s.o.s.) is als het bouwen van een muur met alleen maar bakstenen die perfect vierkant zijn. Als je iets kunt bouwen met alleen maar vierkante bakstenen, dan is het object per definitie stevig en positief (want een kwadraat is nooit negatief).

Hilbert, een beroemde wiskundige uit 1888, had al ontdekt dat dit niet altijd lukt. Soms heb je "schraperige" bakstenen nodig die niet perfect vierkant zijn, of je moet ze in een speciaal raamwerk (een breuk) zetten om ze positief te houden.

Het Probleem: De "4-Variabele" Taart

Deze paper focust op een heel specifiek type taart: een quaternary quartic.

Quaternary: De taart heeft 4 ingrediënten (variabelen, laten we ze $x, y, z, u$ noemen).
Quartic: De taart is van graad 4 (de ingrediënten worden tot de 4e macht verheven).

De vraag is: Als zo'n taart overal positief is, kunnen we hem dan altijd maken door hem te vermenigvuldigen met een simpele "hulpstuk" (een kwadratische vorm $q$ ) en hem dan als een som van kwadraten te schrijven?

De Oplossing: Twee Hulpstukken zijn Voldoende

Pasechnik bewijst in dit paper een prachtig resultaat:
Je hebt nooit meer dan twee van die simpele hulpstukken ( $q$ en $q'$ ) nodig. Als je je taart ( $f$ ) vermenigvuldigt met deze twee, krijg je een nieuwe taart die perfect uit vierkante bakstenen bestaat.

De Analogie:
Stel je voor dat je een slecht gebalanceerde wagen hebt die altijd naar voren rijdt (positief is), maar die niet rechtuit gaat.

Pasechnik zegt: "Als je deze wagen twee keer een kleine duw geeft (vermenigvuldigen met $q$ en $q'$ ), dan rijdt hij perfect rechtuit en kun je hem volledig opbouwen uit perfecte blokken."
Hij doet dit door de wagen te "ontleden". Hij kijkt naar de taart als een kwadratische vergelijking in één variabele ( $u$ ), terwijl de andere drie variabelen ( $x, y, z$ ) als vaste waarden fungeren.
Hierdoor ontdekt hij een "geheime kern" in de formule, genaamd de discriminant ( $\Delta$ ). Dit is als het hart van de taart.
Hilbert had al bewezen dat voor dit hart (dat 3 variabelen heeft) je maar één duw nodig hebt om het perfect te maken. Pasechnik gebruikt dit bewijs om te laten zien dat voor de hele taart (4 variabelen) twee duwen genoeg zijn.

De Twist: Is Één Hulpstuk Voldoende?

Nu komt het spannende deel. Pasechnik vraagt zich af: "Misschien hebben we wel maar één duw nodig? Misschien is het tweede hulpstuk overbodig?"

Hij bouwt een speciaal, zeer ingewikkeld voorbeeld van zo'n taart.

Hij toont aan dat het "hart" van deze taart ( $\Delta$ ) geen som van kwadraten is. Het is een rare, kromme vorm die niet uit vierkante blokken bestaat.
Dit betekent dat de simpele methode (alleen kijken naar het hart) niet direct werkt.
Maar! Als hij de hele taart ( $f$ ) vermenigvuldigt met het eerste ingrediënt ( $a$ ), blijkt die nieuwe taart wel een som van kwadraten te zijn.

De Metafoor:
Het is alsof je een slecht gebalanceerde auto hebt. Je denkt: "Ik moet de motor (het hart) repareren." Maar als je de hele auto een beetje aanpast (vermenigvuldigen met $a$ ), blijkt de auto plotseling perfect te rijden, zelfs als de motor er nog steeds raar uitziet.

De Conclusie: Een Open Deur

Pasechnik concludeert het volgende:

Bewezen: Twee hulpstukken ( $q$ en $q'$ ) zijn altijd genoeg om elke positieve 4-variabele taart in perfecte blokken te zetten.
Gok: Hij vermoedt dat één hulpstuk ( $q = a$ ) misschien altijd genoeg is. Hij heeft voorbeelden gevonden waar dit werkt, maar hij kan het nog niet voor elk mogelijk geval bewijzen.
Betekenis: Dit is een enorme stap voorwaarts. Het betekent dat we voor deze complexe wiskundige problemen een zeer efficiënte manier hebben gevonden om te controleren of iets "goed" (positief) is, zonder dat we onmogelijke berekeningen hoeven te doen.

Samenvatting in één zin

De auteur laat zien dat je voor een complexe, 4-dimensionale wiskundige vorm die altijd positief is, hooguit twee simpele "correcties" nodig hebt om hem te ontleden in perfecte vierkanten, en hij vermoedt dat zelfs één correctie vaak al volstaat.

Titel: Een Efficiënt Som-van-Kwadraten (SOS) Non-negativiteitscertificaat voor Quaternaire Quartics

1. Probleemstelling

Het paper adresseert een fundamenteel probleem in de algebraïsche meetkunde en de optimalisatie: het certificeren van de globale non-negativiteit van polynomen.

Context: Een polynoom $f$ van graad $2d$ in $n$ variabelen is non-negatief ( $f \geq 0$ ) als hij overal niet-negatief is. Een klassieke methode om dit te bewijzen is het decomponeren van $f$ als een som van kwadraten (Sum of Squares, SOS) van andere polynomen.
Het probleem: Hilbert bewees in 1888 dat niet elke non-negatieve polynoom een SOS-polynoom is, tenzij $n=1$ , $2d=2$ , of $(n, 2d) = (2, 4)$ . Voor het specifieke geval van quaternaire quartics (homogene polynomen van graad 4 in 4 variabelen, $n=4, d=2$ ) is het onbekend of elke non-negatieve vorm $f$ direct een SOS is.
Hilbert's 17e Probleem: Hilbert toonde later aan dat elke non-negatieve polynoom geschreven kan worden als een som van kwadraten van rationale functies. Dit betekent dat er een noemer (een multiplier $q$ ) bestaat zodat $q \cdot f$ wel een SOS is.
Specifiek doel: Het paper onderzoekt de efficiëntie van deze multipliers. De vraag is: hoeveel kwadratische multipliers zijn nodig om een quaternaire quartic $f \geq 0$ om te zetten in een SOS? Bestaat er altijd één kwadratische vorm $q$ zodat $qf$ een SOS is?

2. Methodologie

De auteur hanteert een constructieve en algebraïsche aanpak, gebaseerd op de volgende stappen:

Reductie tot een nulpunt:
- Eerst wordt bewezen dat men zonder verlies van algemeenheid kan aannemen dat de polynoom $f$ een reëel nulpunt heeft. Via een orthogonale coördinatenverandering kan $f$ worden herschreven als een kwadratische vorm in één variabele $u$ (waarbij de andere variabelen in de coëfficiënten zitten):
  $f = a u^2 + 2b u + c$
  Hierbij zijn $a, b, c$ homogene vormen in 3 variabelen met respectievelijk graad 2, 3 en 4.
Gebruik van de Discriminant:
- Voor een kwadratische vorm $au^2 + 2bu + c$ om non-negatief te zijn, moet de discriminant $\Delta = ac - b^2$ non-negatief zijn.
- Door "kwadraat te maken" ( $af = (au+b)^2 + \Delta$ ) wordt het probleem gereduceerd tot het analyseren van $\Delta$ , een ternaire sextic (graad 6 in 3 variabelen).
- Hilbert (1893) bewees dat voor elke non-negatieve ternaire sextic $h$ , er een kwadratische vorm $q'$ bestaat zodat $q'h$ een SOS is.
Constructie van tegenvoorbeelden en optimalisatie:
- De auteur onderzoekt of de twee multipliers ( $q$ en $q'$ ) die in de standaardconstructie nodig lijken, echt nodig zijn, of dat één multiplier (zoals $a$ ) volstaat.
- Hiervoor wordt een specifiek voorbeeld geconstrueerd waarbij $\Delta$ geen SOS is, maar wel non-negatief. Dit vereist het vinden van een punt in de variëteit van non-negatieve vormen dat niet in de SOS-kegel ligt.
- Er wordt gebruik gemaakt van computeralgebra (Macaulay2) om specifieke polynomen te genereren en te verifiëren, inclusief het analyseren van de rand van de SOS-kegel ( $\partial \Sigma$ ).

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling 2 (Het Certificaat):
Voor elke non-negatieve quaternaire quartic $f \in P_{4,4}$ bestaan er twee kwadratische vormen $q$ en $q'$ (beide in $\Sigma_{4,2}$ ) zodat het product $q q' f$ een som van kwadraten is van quartics.

Dit betekent dat $f$ geschreven kan worden als $f = \frac{p}{q q'}$ met $p \in \Sigma_{4,8}$ .
De bewijsvoering gebruikt de reductie naar de vorm $au^2+2bu+c$ en past Hilbert's resultaat toe op de discriminant $\Delta$ .

Hoofdstelling 3 (Bestaan van niet-SOS discriminanten):
Er bestaan ternaire sextics van de vorm $\Delta = ac - b^2$ die non-negatief zijn maar geen som van kwadraten zijn.

Dit weerlegt de hypothese dat $\Delta$ altijd een SOS zou zijn (wat de noodzaak van een extra multiplier $q'$ zou hebben weggenomen).
De auteur construeert expliciete voorbeelden met coëfficiënten $a, b, c$ van graad 2, 3 en 4.

Hoofdstelling 4 (Relatie tussen $f$ en $\Delta$ ):
Er wordt een nauwkeurige relatie gelegd tussen de SOS-decompositie van $f$ en die van de discriminant $\Delta$ :

Als er een multiplier $q$ bestaat zodat $q f$ een SOS is, impliceert dit een specifieke SOS-decompositie voor $a \Delta$ .
Omgekeerd: Als $a \Delta$ een SOS is van een specifieke vorm (binnen het ideaal $(a,b)$ ), dan is $f$ zelf een SOS.
Dit suggereert dat de keuze van de multiplier $q$ voor $f$ direct gekoppeld is aan de structuur van $\Delta$ .

Numerieke Experimenten en Vermoedens:

Hoewel er voorbeelden zijn gevonden waar $\Delta$ geen SOS is, blijkt in alle onderzochte gevallen dat het vermenigvuldigen van $f$ met alleen $a$ (dus $q=a$ ) al volstaat om $af$ tot een SOS te maken.
De auteur formuleert het vermoeden dat één kwadratische multiplier ( $q=a$ ) altijd volstaat voor quaternaire quartics.
De scherpheid van de graadgrens (of twee multipliers nodig zijn) blijft een open vraag, maar de bewezen constructie met twee multipliers is "bijna scherp".

4. Significatie

Vooruitgang in Hilbert's 17e Probleem: Het paper levert een expliciete, bijna optimale bound voor de graad van de noemer in het geval van quaternaire quartics. Het toont aan dat men niet naar complexe hoge-graad noemers hoeft te zoeken; twee kwadratische vormen zijn voldoende.
Verband tussen Geometrie en Algebra: De studie van de discriminant $\Delta = ac - b^2$ onthult diepe structurele eigenschappen van de ruimte van non-negatieve vormen. Het paper toont aan dat de variëteit van vormen van de vorm $ac-b^2$ een eigen subvariëteit is binnen de ruimte van alle ternaire sextics, en dat deze subvariëteit punten bevat die non-negatief zijn maar geen SOS.
Praktische Toepassingen: In de semidefinite optimalisatie (SDP) is het vinden van SOS-certificaten cruciaal voor het oplossen van polynoomoptimalisatieproblemen. Het inzicht dat vaak slechts één specifieke multiplier ( $a$ ) nodig is, kan de efficiëntie van algoritmen voor het verifiëren van non-negativiteit aanzienlijk verbeteren.
Computational Algebra: De paper demonstreert de kracht van computeralgebra-systemen (Macaulay2) bij het vinden van contra-exempels en het verifiëren van complexe algebraïsche structuren die handmatig niet hanteerbaar zijn.

Conclusie:
Dmitrii Pasechnik bewijst dat elke non-negatieve quaternaire quartic een rationaal SOS-certificaat heeft met een noemer bestaande uit het product van twee kwadratische vormen. Hoewel het bewijs twee multipliers vereist, suggereren de gevonden voorbeelden en numerieke experimenten sterk dat één multiplier ( $q=a$ ) vaak voldoende is, wat leidt tot een nieuw vermoeden dat de graad van de noemer in dit specifieke geval lager kan zijn dan de algemene theorie suggereert.