Basis for non-derivative baryon-number-violating operators

Dit artikel presenteert een minimale basis voor niet-afgeleide baryongetal-schendende operatoren in de Effectieve Veldtheorie van het Standaardmodel tot en met massadimensie 11, evenals specifieke operatoren van dimensie 12, en biedt een reeks termen die over het algemeen minder componenten en eenvoudigere contracties kenmerkt dan bestaande resultaten, terwijl het gevallen erkent waarin minimaliteit in conflict komt met structurele eenvoud.

De kern

Stel je het Standaardmodel van de deeltjesfysica voor als een enorme, ongelooflijk complexe Lego-set. Decennialang hebben fysici geweten hoe ze de standaardstructuren (atomen, protonen, elektronen) moeten bouwen met specifieke regels. Maar er is een geheime regel in het spel: Baryongetal. In ons huidige begrip van het universum zegt deze regel dat je nooit een proton (een baryon) kunt laten verdwijnen of in iets anders kunt omzetten zonder spoor. Het is alsof je zegt dat een Lego-blok nooit kan verdwijnen.

Echter, veel fysici vermoeden dat deze regel diep in de code van het universum misschien wordt geschonden. Als dat zo is, zouden protonen uiteindelijk kunnen vervallen en zou het universum er heel anders uitzien. Om uit te vinden of dit gebeurt, gebruiken wetenschappers een "woordenboek" van mogelijke manieren waarop deze regel kan worden geschonden. Dit woordenboek heet een Efficiënte Veldtheorie.

Dit artikel is in wezen een enorme renovatie van dat woordenboek.

Het probleem: een rommelige bibliotheek

Stel je voor dat je probeert een catalogus te schrijven van elke mogelijke manier waarop een Lego-blok kan verdwijnen.

• De oude manier: Vorige wetenschappers schreven lijsten op met deze mogelijkheden. Maar hun lijsten waren rommelig. Ze bevatten hetzelfde idee dat op drie verschillende manieren was opgeschreven (alsof je schrijft "De kat zat op het tapijt", "Het tapijt had een kat erop" en "Op het tapijt zat een kat"). Ze gebruikten ook ingewikkelde, moeilijk leesbare instructies voor het klikken van de stukken.
• Het doel: De auteurs van dit artikel wilden een minimale, schone catalogus creëren. Ze wilden het absolute kleinste aantal unieke "zinnen" vinden dat nodig is om elke mogelijke manier waarop een proton kan verdwijnen te beschrijven, zonder enige redundantie, en met de eenvoudigst mogelijke instructies.

De uitdaging: de "permutatie"-puzzel

Het moeilijkste deel van deze taak is het omgaan met herhaalde stukken.
Stel je een zin voor met drie identieke Lego-blokken gelabeld "Q" (zoals een quark). Als je de eerste "Q" verwisselt met de tweede "Q", betekent de zin dan iets nieuws?

• De oude aanpak: Sommige wetenschappers behandelden elke verwisseling als een nieuwe, unieke zin. Dit maakte de lijst enorm en opgeblazen.
• De nieuwe aanpak: De auteurs realiseerden zich dat het verwisselen van identieke stukken vaak slechts een wiskundig "echo" van hetzelfde idee creëert. Ze ontwikkelden een slimme telmethode (met behulp van een hulpmiddel genaamd Sym2Int) om precies uit te rekenen hoeveel werkelijk unieke zinnen er bestaan.

De analogie:
Denk eraan als een liedje.

• Als je een refrein hebt met drie identieke noten, klinkt het spelen in een andere volgorde misschien hetzelfde voor het oor.
• De auteurs vroegen zich af: "Hoeveel distincte melodieën kunnen we maken met deze noten?"
• Ze ontdekten dat voor veel complexe scenario's eerdere lijsten 74 verschillende "melodieën" hadden, maar de auteurs bewezen dat slechts 2 werkelijk unieke melodieën nodig zijn om alle mogelijkheden te dekken. Ze bereikten dit door de oude, rommelige versies te mixen en te matchen tot nieuwe, compacte versies.

De methode: het bouwen van de "minimale basis"

De auteurs gokten niet zomaar; ze bouwden een systematisch proces:

1. Tel de ruimte: Ze berekenden het totale "volume" van alle mogelijke manieren waarop de deeltjes kunnen interageren.
2. Vind het minimum: Ze bepaalden het kleinste aantal "bouwstenen" (termen) dat nodig is om dat volume te vullen.
3. Vereenvoudig de constructies: Ze probeerden deze blokken te bouwen met simpele, standaard Lego-connectoren (wiskundige hulpmiddelen genaamd tensoren).
   • De valkuil: Soms zegt de wiskunde dat je slechts één blok nodig hebt om de ruimte te vullen. Maar dat ene blok is zo vreemd gevormd (een "lelijke" wiskundige contractie) dat het onmogelijk is om het te bouwen met simpele Lego-stukken. In die zeldzame gevallen moesten ze twee iets grotere, eenvoudigere blokken gebruiken in plaats van één gigantische, verwarrende. Ze noemen dit een "niet-minimale maar nette" basis.

De resultaten: een schonere catalogus

Het artikel behandelt "dimensies" van complexiteit, variërend van simpele interacties (Dimensie 6) tot zeer complexe (Dimensie 12).

• Dimensies 6 & 7: Ze bevestigden dat bestaande lijsten correct waren.
• Dimensies 8 & 9: Ze ontdekten dat eerdere lijsten te lang waren. Ze knipten ze in, verwijderden redundante entries en vereenvoudigden de instructies.
• Dimensies 10, 11 & 12: Dit is het grensgebied. Niemand had deze complexe interacties eerder volledig in kaart gebracht. De auteurs leverden de eerste complete, minimale lijsten voor deze scenario's met hoge energie.

Waarom dit belangrijk is (volgens het artikel)

De auteurs benadrukken dat dit werk gaat over organisatie en duidelijkheid.

• Efficiëntie: Als je wilt onderzoeken hoe protonen zouden kunnen vervallen, wil je niet 100 verschillende vergelijkingen controleren als er slechts 2 werkelijk uniek zijn. Dit artikel vertelt je precies welke 2 je moet controleren.
• Eenvoud: Ze vermijden waar mogelijk het gebruik van "vector"- of "tensor"-operatoren (die lijken op het gebruik van een complexe, op maat gemaakte 3D-geprinte connector). In plaats daarvan hielden ze het bij simpele, standaard connectors (scalairen), waardoor de wiskunde voor andere wetenschappers makkelijker te lezen en te gebruiken is.
• Volledigheid: Ze hebben het landschap in kaart gebracht tot Dimensie 12, zodat er geen potentieel "protonverval"-scenario buiten de kaart valt.

Samenvatting

Kortom, dit artikel is een opruimingsploeg voor de theoretische fysica van protonverval. Ze namen een bibliotheek vol met dubbele boeken en verwarrende instructies, gooiden de redundanties weg, herschreven de complexe hoofdstukken in eenvoudige taal en organiseerden het geheel in een minimale, gebruiksvriendelijke catalogus. Ze ontdekten geen nieuw deeltje en bewezen niet dat protonen wel degelijk vervallen; ze zorgden er gewoon voor dat als we ooit bewijs daarvan vinden, we de perfecte, niet-redundante lijst met theorieën hebben om het mee te vergelijken.

Technische samenvatting

1. Probleemstelling

Het artikel adresseert de noodzaak van een systematische en minimale classificatie van Baryongetal-vernietigende (BNV) operatoren binnen de Standard Model Effective Field Theory (SMEFT).

• Context: Hoewel BNV een gevoelige probe is voor fysica buiten het Standaardmodel (bijvoorbeeld nucleonverval), worden uitgebreide studies gehinderd door de exponentiële groei van het aantal onafhankelijke operatoren naarmate de massadimensie ($d$) toeneemt.
• Gat: Bestaande literatuur biedt minimale bases voor $d \le 9$, en gedeeltelijke resultaten voor $d=12$. Echter, veel bestaande bases zijn ofwel niet-minimaal (bevatten overbodige termen) of maken gebruik van complexe contractiestructuren (met vector/tensorstromen of expliciete lineaire combinaties) die de onderliggende gauge-structuur verduisteren.
• Doel: De auteurs beogen een minimale basis te construeren van niet-derivatieve BNV-operatoren tot en met massadimensie $d=11$, plus specifieke $\Delta B = 2$-operatoren bij $d=12$. De basis moet minimaal zijn in het aantal termen en bestaan uit "eenvoudige" contracties (met uitsluitend invariantietensoren zoals $\epsilon$ en $\delta$, zonder vector/tensorstromen).

2. Methodologie

De auteurs hanteren een rigoureuze drie-stapskader dat groepsleer, permutatiesymmetrie en expliciete lineair-algebraconstructie combineert.

A. Definities en Ruimten

• Operator Type ($T$): Gedefinieerd door veldinhoud (bijvoorbeeld $e H e Q^3 L^2$) zonder specifieke gauge/Lorentz-contracties.
• Term: Een specifiek gauge- en Lorentz-invariant contractiepatroon (niet-ontvouwd naar smaak).
• Smaak-Permutatieruimte ($W_T$): Een vectorruimte waarin smaaklabels formeel worden behandeld. Dit stelt de auteurs in staat om lineaire afhankelijkheden die voortvloeien uit gauge/Lorentz-symmetrieën te analyseren voordat specifieke smaakgeneraties worden vastgesteld.
• Minimale Basis: Een verzameling termen zodat de vereniging van hun smaak-permutatie-operatoren de volledige operatieruimte $V_T$ overspant met het kleinst mogelijke aantal termen.

B. Het Constructiealgoritme

1. Dimensietelling: Met behulp van hulpmiddelen zoals GroupMath berekenen de auteurs de dimensie van de smaak-permutatieruimte ($\dim W_T$), wat het aantal lineair onafhankelijke gauge/Lorentz-singletten vertegenwoordigt.
2. Termtelling: Met het Sym2Int-algoritme (gebaseerd op representaties van permutatiegroepen) bepalen ze het theoretisch minimale aantal termen ($N_T$) dat vereist is voor een minimale basis. Dit wordt berekend als $N_T = \lceil \max_\lambda (m_\lambda / \dim \lambda) \rceil$, waarbij $m_\lambda$ de multipliciteit van irreducibele representaties is.
3. Constructieve Zoeking:
   • De auteurs gokken iteratief op kandidaat-termen met minimale permutatiesymmetrie (om de deelruimte die door smaakpermutaties wordt gegenereerd te maximaliseren).
   • Ze breiden deze termen expliciet uit tot tensormonomen in Mathematica, rekening houdend met Grassmann-tekens.
   • Ze lossen lineaire systemen op om te verifiëren dat de gekozen verzameling termen de volledige ruimte $\dim W_T$ overspant.
   • Als een minimale basis niet kan worden gevormd met behulp van "mooie" (eenvoudige) contracties, presenteren ze óf een licht niet-minimale basis óf een onhandige minimale basis (gedocumenteerd in Appendix A).

3. Belangrijkste Bijdragen

• Uitbreiding van Scope: Biedt de eerste expliciete minimale bases voor niet-derivatieve BNV-operatoren tot $d=11$ en specifieke $\Delta B=2$-operatoren bij $d=12$.
• Vereenvoudiging van Structuur: In tegenstelling tot eerdere werken (bijvoorbeeld Murphy, He & Ma) die vaak vector/tensorstromen of complexe lineaire combinaties gebruiken, prioriteert dit artikel bases die volledig zijn opgebouwd uit scalair bilineairen en eenvoudige invariantietensoren ($\epsilon_{\alpha\beta\gamma}, \delta_{ij}$, enz.).
• Oplossing van Redundantie: Demonstreert dat verschillende eerder voorgestelde bases (bijvoorbeeld voor $d=8$ en $d=12$) niet minimaal waren. De auteurs leveren expliciete lineaire relaties die tonen hoe grotere bases reduceren tot hun kleinere, minimale tegenhangers.
• Identificatie van Obstructies: Benadrukt gevallen (Appendix A) waar een minimale basis wiskundig bestaat maar niet kan worden gerealiseerd met eenvoudige contractiepatronen vanwege structurele conflicten tussen smaakpermutaties en gauge/Lorentz-symmetrieën (bijvoorbeeld de $eHLed^3LH$-operator).

4. Belangrijkste Resultaten

Het artikel classificeert operatoren op basis van massadimensie, $(\Delta B, \Delta L)$ en veldinhoud. Belangrijke statistieken zijn:

• Dimensies 6 & 7: Herproduceert bekende minimale bases uit de literatuur (refs [10, 11]).
• Dimensie 8: Reduceert het aantal termen voor bepaalde operatoren (bijvoorbeeld $eHQ^3LH$) van 3 termen (Murphy) naar 2 termen.
• Dimensie 9: Verifieert de minimaliteit van de basis van Liao en Ma, maar vervangt tensor-stroomoperatoren door scalair bilineairen voor betere bruikbaarheid.
• Dimensies 10 & 11:
  • Lijst systematisch bases op voor alle niet-derivatieve BNV-types.
  • Bijvoorbeeld, het operatortype $eHeQ^3L^2$ ($d=10$) blijkt een minimale basis van 3 termen te hebben (een daling van 17 in de permutatiesymmetrie-basis).
• Dimensie 12:
  • Richt zich op $\Delta B = 2$-operatoren (relevant voor dinucleonverval).
  • Vergelijkt met He en Ma [30] en stelt vast dat hun bases vaak meer termen bevatten dan nodig (bijvoorbeeld voor $Q^6L^2$ gebruiken ze 2 termen, maar de auteurs bevestigen de minimaliteit; voor $u^2d^2Q^2L^2$ gebruiken He en Ma 6 termen, terwijl het minimale aantal 4 is).
  • Identificeert dat voor sommige $d=12$-operatoren een minimale basis van eenvoudige termen onmogelijk is (bijvoorbeeld $u^2d^2Q^2L^2$ vereist 6 termen in de "mooie" basis van de auteurs, hoewel het wiskundige minimum 4 is).

Tabelsamenvatting van Operatortypes (Niet-derivatief, $\Delta B > 0$):

Dimensie	Totaal Types	$\Delta B=1$	$\Delta B=2$
6	4	4	0
7	4	4	0
8	7	7	0
9	26	23	3
10	54	54	0
11	60	53	7
12	178	164	14

5. Betekenis

• Fenomenologische Nut: Door bases te leveren met minder termen en eenvoudigere structuren, faciliteert het artikel een efficiëntere koppeling aan UV-completies en een duidelijkere interpretatie van experimentele grenzen voor nucleonverval.
• Systematisch Kader: De methodologie (combinatie van Hilbert-reekstelling met expliciete constructieve verificatie) stelt een standaard voor het behandelen van hoge-dimensionale EFT-operatoren waar handmatige telling onuitvoerbaar wordt.
• Verduidelijking van Literatuur: Het artikel lost ambiguïteiten op met betrekking tot de minimaliteit van bestaande bases, en toont aan dat "minimaal" in de literatuur soms verwees naar permutatiesymmetrie-bases in plaats van het ware minimale aantal onafhankelijke termen.
• Fundering voor Toekomstig Werk: De auteurs merken op dat derivatieve operatoren aanzienlijk complexer zijn en apart zullen worden behandeld, maar dit werk vestigt de essentiële niet-derivatieve fundering voor het BNV-SMEFT-landschap.

Concluderend biedt dit werk tot nu toe de meest uitgebreide, minimale en gebruiksvriendelijke catalogus van niet-derivatieve baryongetal-vernietigende operatoren, essentieel voor precisiestudies van nucleonverval en baryogenese.