Landau Singularities from Whitney Stratifications

Technische Samenvatting: Landau-singulariteiten vanuit Whitney-stratificaties

Probleemstelling
De analytische structuur van Feynman-integralen, die centraal staan bij berekeningen van dwarsdoorsneden bij de Large Hadron Collider en in de gravitatiegolf-fysica, wordt gekenmerkt door hun singulariteiten. Deze singulariteiten, bekend als Landau-singulariteiten, treden op bij specifieke waarden van kinematische variabelen waar de integraal niet-analytisch wordt. Hoewel de rigoureuze definitie van de Landau-variëteit door Pham werd vastgesteld als de kritische waarden van een projectiemap van de variëteit van de integraand naar de kinematische ruimte, blijkt het direct berekenen van deze verzameling een uitdaging.

Bestaande computationele methoden vertrouwen vaak op het hoofd-$A$-determinant of verfijningen daarvan (zoals het principal Landau-determinant). Deze benaderingen lijden echter onder twee belangrijke beperkingen:

1. Spookkandidaten: Ze kunnen factoren produceren die identiek verdwijnen wanneer ze worden gespecialiseerd naar fysieke Feynman-integraalcoëfficiënten, wat vereist dat factoren ad-hoc worden verwijderd.
2. Onvolledigheid: Ze staan erom bekend bepaalde Landau-singulariteiten te missen, met name in gevallen die te maken hebben met specifieke kinematische limieten of niet-generieke configuraties. Bovendien ontbreekt een algemeen bewijs van correctheid voor empirische verfijningen gebaseerd op sequentiële limieten.

Concluderend is er geen algemeen, rigoureus recept voor het berekenen van de volledige en niet-redundante verzameling Landau-singulariteiten voor willekeurige integralen.

Methodologie
De auteurs stellen een methode voor om de Landau-variëteit direct en volledig te berekenen door gebruik te maken van recente algoritmische vooruitgang in Whitney-stratificaties.

1. Wiskundig Kader:

   • De Feynman-integraal wordt gerepresenteerd met behulp van de gehomogeniseerde Lee-Pomeransky polynoom $G_h = U x_0 + F$, waarbij $U$ en $F$ Symanzik-polynomen zijn.
   • De auteurs definiëren de variëteit $X = V(x_0 \cdots x_n G_h)$ in de productruimte van projectieve integratievariabelen en kinematische parameters ($\mathbb{P}^n \times \mathbb{C}^m$).
   • Zij beschouwen de projectiemap $\pi: X \to \mathbb{C}^m$ op de kinematische ruimte.
   • Volgens de definitie van Pham wordt de Landau-variëteit geïdentificeerd als de variëteit $Y_{m-1}$ die verschijnt in de minimale Whitney-stratificatie van de kaart $\pi$.

2. Whitney-stratificatie:

   • Een Whitney-stratificatie deelt een potentieel singuliere variëteit op in gladde manifolds (strata) zodanig dat de lokale geometrie consistent is binnen elk stratum en voldoet aan de Whitney-voorwaarde B (het waarborgt een goed gedrag van limieten van raakvlakken en secantlijnen).
   • Voor een kaart zorgt een stratificatie ervoor dat de restrictie van de kaart op elk stratum van het domein een submarsie is naar een stratum van de codomein.
   • De auteurs maken gebruik van Thom's Eerste Isotoop-lemma, dat garandeert dat de topologie van de vezel $\pi^{-1}(q)$ constant blijft over elk stratum $N$ van de basisruimte. De grenzen tussen deze strata (de lager-dimensionale componenten van de stratificatie) komen daarmee exact overeen met de punten waar de topologie verandert — oftewel de singulariteiten.

3. Implementatie:

   • De berekening wordt uitgevoerd met behruik van de WhitneyStratifications package (versie 2.27) voor de Macaulay2 software.
   • Het algoritme berekent expliciet de minimale Whitney-stratificatie van de projectiemap gedefinieerd door de vergelijkingen van de Feynman-integraal.

Belangrijkste Bijdragen en Resultaten
Het artikel levert een "proof of concept" die aantoont dat deze rigoureuze definitie de volledige verzameling Landau-singulariteiten oplevert voor niet-triviale voorbeelden, inclusief gevallen waarin andere methoden falen.

1. One-Loop Bubble:

   • De methode herstelt succesvol de Landau-variëteit voor generieke massa's en impulsen.
   • Cruciaal is dat het singulariteiten die voortkomen uit kinematische limieten (bijv. het instellen van massa's op nul) correct identificeert direct vanuit de lager-dimensionale strata van de stratificatie, zonder dat handmatige substitutie van limieten in het generieke resultaat nodig is.

2. Two-Loop Slashed Box (Two-Mass Hard):

   • De berekende Landau-variëteit komt overeen met de resultaten van de HyperInt package.
   • Het identificeert succesvol een component ($p_4^2 - s - t = 0$) die wordt gemist door de PLD.jl (Principal Landau Determinant) package. De auteurs verifiëren dat deze component een ware singulariteit is via expliciete analytische expressies.

3. Two-Loop Parachute Integral:

   • Dit geval wordt genoteerd als problematisch voor zowel de naïeve hoofd-$A$-determinant als het principal Landau-determinant, die een specifieke singulariteit missen die in eerdere literatuur is afgeleid.
   • Hoewel de volledige stratificatie voor de algemene 7-parameter casus computationeel te veeleisend was, hebben de auteurs de methode gevalideerd door de kinematica te beperken tot een specifieke limiet. In deze limiet identificeerde de methode correct de singulariteit ($p_3^2 - 1 = 0$) die andere benaderingen misten.

Betekenis en Claims
De auteurs claimen dat hun benadering een rigoureuze, algoritmische en volledige methode biedt voor het bepalen van de Landau-singulariteiten.

• Volledigheid: In tegen tegenstelling tot vorige methoden die mogelijk superverzamelingen (met spookfactoren) of deelverzamelingen (missende singulariteiten) bieden, levert de Whitney-stratificatie van de projectiemap exact de Landau-variëteit en niets meer.
• Verenigde Behandeling van Limieten: De stratificatie codeert op natuurlijke wijze de Landau-variëteiten van integralen verkregen via kinematische limieten (bijv. massaloze limieten) binnen haar lager-dimensionale strata. Dit biedt een verenigde geometrische beschrijving van de singulariteiten van de oorspronkelijke integraal en haar limieten.
• Fysische Relevantie: De lager-dimensionale strata relateren ook aan de Euler-karakteristiek van de parametrische variëteit, die het aantal master-integralen in de integraalfamilie telt, wat wijst op een diepere connectie tussen de stratificatie en de basis van de integraalfamilie.

Beperkingen en Vooruitblik
Het artikel erkent bescheiden dat de huidige computationele route via WhitneyStratifications nog niet zo efficiënt is als gespecialiseerde software voor het vinden van deelverzamelingen van singulariteiten. De methode is momenteel beperkt door de computationele complexiteit voor hoog-dimensionale parameterruimten (zoals gezien bij de volledige parachute-casus). Toekomstig werk suggereert het verbeteren van de efficiëntie door de specifieke algebraïsche structuren van Feynman-integralen uit te buiten en het verkennen van directe toegang tot singulariteiten in de fysieke (reële) regio via reële semi-algebraïsche set-stratificaties.