Neural S-matrix bootstrap II: solvable 4d amplitudes with particle production

Technische Samenvatting: Neural S-matrix bootstrap II: oplosbare 4d-amplitudes met deeltjesproductie

Probleemstelling
Dit werk behandelt de niet-perturbatieve constructie van $2 \to 2$ verstrooiingsamplitudes in vierdimensionale kwantumveldentheorie die deeltjesproductie bevatten. De auteurs richten zich op een specifieke klasse amplitudes gedefinieerd door "two-particle-recursively-reducible" (2PRR) grafieken. Dit zijn diagrammen die herhaaldelijk door het doorsnijden van twee interne lijnen kunnen worden gereduceerd tot een enkele vertex. Terwijl de perturbatietheorie deze via Feynman-diagrammen definieert, zoeken de auteurs naar een niet-perturbatieve oplossing die voldoet aan de eenheidsvoorwaarde (unitariteit) en kruisymmetrie zonder expliciet de diagrammen op te tellen.

De kernuitdaging is het oplossen van de gekoppelde niet-lineaire integraalvergelijkingen (de Atkinson–Mandelstam bootstrap) die de enkelvoudige en dubbele spectrale dichtheden van de amplitude relateren. Eerdere benaderingen, zoals iteratieve fixed-point methoden, falen vaak bij sterke koppeling of slagen er niet in om het juiste hoogenergetische (Regge) gedrag te vangen. Bovendien bestaat er een spanning in de S-matrix bootstrap-literatuur tussen extremale oplossingen (die de neiging hebben elastisch te zijn) en de stelling van Aks, die stelt dat niet-triviale verstrooiing in $d > 2$ deeltjesproductie vereist.

Methodologie
De auteurs herformuleren het bootstrap-probleem als een physics-informed optimalisatietaak met behulp van neurale netwerken (PINNs).

1. Formalisme: De amplitude $T(s,t)$ wordt gerepresenteerd via een eenmaal gesubtraheerde Mandelstam-representatie, gekenmerkt door een subtractieconstante $c_0$, een enkelvoudige spectrale dichtheid $\rho(s)$, en een dubbele spectrale dichtheid $\rho(s,t)$.

   • 2PRR Definitie: De auteurs definiëren 2PRR-amplitudes door de multi-deeltjes dubbele discontinuïteit $\rho_{MP}(s,t)$ en de daarmee geassocieerde enkelvoudige spectrale inelasticiteit $\eta_{MP}(s)$ gelijk te stellen aan nul. De volledige dubbele discontinuïteit is dan $\rho(s,t) = \rho_{el}(s,t) + \rho_{el}(t,s)$, waarbij $\rho_{el}$ de Mandelstam-vergelijking bevredigt (het afdwingen van elastische unitariteit voor $J>0$).
   • J=0 Unitariteit: Een aparte voorwaarde dwingt unitariteit af voor de spin-0 partiële golf, wat de enkelvoudige spectrale dichtheid koppelt aan de inelasticiteit $\eta_0$.

2. Neurale Netwerk Architectuur:

   • Twee netwerken, $NN_\rho$ en $NN_{DDisc}$, parametriseren de enkelvoudige en dubbele spectrale dichtheden respectievelijk.
   • Input Representatie: Om een breed scala aan energieschalen te behandelen (van drempelwaarde tot UV), worden inputs geleverd in zowel lineaire ($x, y$) als logaritmische ($\log x, \log y$) vorm.
   • Structuur: De netwerken maken gebruik van parallelle sub-netwerken voor verschillende kinematische regimes (lage energie, gemengde energie, asymptotisch) die worden samengevoegd via intertwining-lagen.
   • Constraints: De architectuur implementeert bekende fysieke eigenschappen direct, zoals de ondersteuning van $\rho(s,t)$ boven de leidende Landau-curves en de positiviteit van $\rho(s,t)$ in de Mahoux–Martin regio.

3. Optimalisatiestrategie:

   • De unitariteitsvergelijkingen worden omgezet in een loss-functional $\mathcal{L}$, die een gewogen som is van straffen voor het schenden van de Mandelstam-vergelijking, spin-0 unitariteit, en inelasticiteit-unitariteit ($|S_J| \le 1$).
   • Gradient Mixing: Om de verschillende numerieke schalen van de constraints aan te pakken, gebruiken de auteurs een gradient-mixing strategie waarbij updates van de enkelvoudige en dubbele spectrale netwerken primair worden gedreven door hun respectievelijke dominante loss-termen, met gecontroleerde cross-koppeling.
   • Training: Het proces volgt een gefaseerde aanpak, beginnend met ijle grids en lage energie cut-offs ($10^8 m^2$) en progressief verfijnd met dichtere grids en hogere cut-offs ($10^{16} m^2$) om UV-volledigheid te garanderen.

Belangrijkste Bijdragen en Resultaten

1. Numerieke Constructie van 2PRR Amplitudes:

   • De auteurs construeren succesvol een een-parametrische familie van 2PRR-amplitudes voor koppelingen $0 \le c_0 \lesssim 44\pi$.
   • Emergent Regge Gedrag: De oplossingen vertonen een stabiel, niet-perturbatief Regge-limiet. In het Regge-limiet ($s \to \infty, t$ vast), nadert de amplitude een constante, wat consistent is met een $J=0$ Regge-pool.
   • Fixed-Angle Decay: Bij hoge energieën en vaste hoeken vervalt de amplitude als $1/\log s$, wat consistent is met het wegvallen van een negatieve koppeling in $\phi^4$ theorie.
   • Transparantie: De partiële golven $S_J(s)$ naderen één als $s \to \infty$, wat aangeeft dat de verstrooiing transparant wordt bij hoge energieën, ondanks significante inelasticiteit bij intermediaire energieën.

2. Deeltjesproductie en Inelasticiteit:

   • De 2PRR-amplitudes vertonen van nature aanzienlijke deeltjesproductie, met name nabij de vier-deeltjes drempelwaarde ($s=16m^2$).
   • De inelasticiteit groeit met de koppeling $c_0$. De auteurs observeren een machtswet-groei in de maximale inelasticiteit, wat suggereert dat er een kritische koppeling bestaat waarbij de $S$-golf puur inelastic wordt.

3. Aks Screening:

   • De auteurs breiden het raamwerk uit om multi-deeltjes data ($\rho_{MP}$) te behandelen als een dynamische variabele in plaats van een vaste input.
   • Ze demonstreren dat door $\rho_{MP}$ te tunen, het mogelijk is om deeltjesproductie in lage-spin partiële golven te onderdrukken (bijvoorbeeld het afdwingen van $|S_0|=1$ of $|S_2|=1$). Ze noemen dit fenomeen "Aks screening".
   • Kosten van Screening: Het onderdrukken van inelasticiteit drijft de amplitude richting de extremale waarden gevonden in semidefinite bootstrap-studies. Dit vereist echter dat $\rho_{MP}$ groot en sterk oscillerend wordt. De auteurs bieden grenzen aan waaruit blijkt dat de grootte van $\rho_{MP}$ exponentieel moet groeien met het aantal gescreende spins ($J_{max}$).

4. Consistentie met Semidefinite Bootstrap:

   • Door de inelasticiteit-profielen die zijn geëxtraheerd uit de 2PRR-oplossingen in te voeren in een standaard semidefinite bootstrap (primal) setup, laten de auteurs zien dat de bootstrap dezelfde laag-energetische observabelen en Regge-gedrag terugwint, wat de consistentie van de twee benaderingen valideert.

Betekenis en Claims
Het artikel claimt de eerste numerieke oplossing te bieden voor de Atkinson–Mandelstam bootstrap voor amplitudes met deeltjesproductie die volledig UV-volledig zijn en emergent Regge-gedrag vertonen.

• Voorbij de Perturbatietheorie: De resultaten onthullen niet-perturbatieve kenmerken (zoals de specifieke logaritmische verval en Regge-isatie) die onzichtbaar zijn in fixed-order perturbatietheorie of benaderingen die zich enkel richten op laag-energetische observabelen.
• Variabele Multi-deeltjes Data: Een conceptuele nieuwheid is het behandelen van multi-deeltjes data als een dynamische vrijheidsgraad. Dit maakt het mogelijk om de volledige ruimte van consistente amplitudes te verkennen en biedt een mechanisme (Aks screening) om de existentie van deeltjesproductie te verzoenen met de "elastische" natuur van extremale bootstrap-oplossingen.
• Beperkingen: De auteurs merken op dat voor koppelingen $c_0 \gtrsim 44\pi$ de numerieke optimalisatie niet convergeert naar een Regge-geïatiliseerde oplossing, en voor $c_0 > 56\pi$ werden geen geconvergeerde oplossingen gevonden. Zij interpreteren dit als een empirische observatie van de huidige numerieke limieten of een fysieke grens van de 2PRR-klasse, eerder dan een definitieve uitsluiting.

Dit werk slaat een brug tussen de gedetailleerde analytische structuur van Feynman-diagrammen (via de 2PRR-klasse) en de axiomatische beperkingen van de S-matrix bootstrap, en biedt een nieuw instrument om de ruimte van consistente kwantumveldentheorieën te verkennen.