Flavor / WET

Flavor / WET

Blanding af neutrale mesoner udgør en krævende test for enhver foreslået strukturel forfinelse af partikelfysikken. Den målte oscillation er eksperimentelt tilgængelig, men ruten fra en kortdistanceinteraktion til en observeret masseopsplitning passerer gennem flere forskellige objekter: en operatorbasis, Wilson-koefficienter, matching og renormaliseringsgruppeudvikling, hadroniske matrixelementer, CKM-faktorer, fasekonventioner og en tidsafhængig målemodel.

Denne analyse bruger denne kæde til at teste en tovejsbro mellem Sense-modellen og den etablerede flavor-ramme i Standardmodellen og Weak Effective Theory (WET).

Fra Sense-siden foreslår R9 Flavor-stilladset en detaljeret strukturel organisering: tre overgangssektorer for neutrale mesoner krydset med otte operatorlignende støtteruter. Fra fysiksiden angiver WET, hvad en operator, koefficient, skala, ordning og observerbar kontraktion skal indeholde, før denne strukturelle organisering kan indgå i en beregning.

Målet er ikke at udlede en Wilson-koefficient fra en strukturel etiket. Det er at afgøre, om Sense-stilladset kan bidrage med en nyttig differentiering af flavor-ruter, og om Standardmodel/WET-beskrivelsen kan forfine dette stillads ved at afvise skel, der kun er nominelle, og kræve de fysiske objekter, der stadig mangler.

Den komplementaritet, der testes her, er derfor asymmetrisk. Standardmodellen leverer allerede den fysiske teori, konventionerne og den eksperimentelle fortolkning. Sense-modellen leverer en kandidat til organisering af overgangs- og operatorvendt struktur. Et fysisk bidrag fra Sense ville kræve, at denne organisering til sidst pålægger en reproducerbar begrænsning, som ikke er ækvivalent med en vilkårlig reparameterisering af WET.

Hvorfor blanding af neutrale mesoner er en diskriminerende test

En neutral B_s-meson kan produceres med én flavor-etiket og senere henfalde gennem en kanal, der er forbundet med dens antipartikel. Udviklingen beskrives af et tostadiessystem med både dispersive og absorptive komponenter,

i dPsi_s/dt = (M^(s) - i Gamma^(s)/2) Psi_s,

hvor Psi_s indeholder amplituderne for B_s^0 og anti-B_s^0. De off-diagonale størrelser M_12^(s) og Gamma_12^(s) har forskellige fysiske roller. I det standardregime, hvor |Gamma_12^(s)/M_12^(s)| er lille, er masseopsplitningen omtrent

Delta m_s ≈ 2 |M_12^(s)|.

Eksperimentet observerer ikke M_12^(s) direkte. Det rekonstruerer henfaldsprodukter, egentid og flavor-etiketter og udleder en oscillationsfrekvens fra tidsafhængige sandsynligheder for samme flavor og modsat flavor.

Denne adskillelse mellem en teoretisk amplitude og en offentlig måling er central for broen. Et strukturelt objekt kan ikke sammenlignes med en oscillationsfrekvens alene, fordi begge bærer en flavor-etiket. Det skal først indgå i en lovlig Hamilton-operator, gennemløbe den nødvendige skalaudvikling, kontraheres med hadroniske matrixelementer og frembringe en observerbar størrelse under erklærede konventioner.

Jeg valgte én B_s-, Delta B = 2-rute som gennemgående eksempel. Dette snævre valg undgår to modsatrettede fejl. Langdistancevanskeligheden i sektoren for neutrale kaoner bruges ikke til at blokere et spørgsmål, der kun vedrører B_s, og et resultat for én B_s-rute får ikke lov til at ophøje hele sd/bd/bs-strukturen.

De to kildelag

Analysen holder to kildelag adskilt.

Det første er den strukturelle R9 Flavor-pakke. Den indeholder en 3 x 8-støttetopologi, overgangsetiketter, operatorlignende familienavne, komplekse strukturelle komponenter, kildeinterfaceslots og en fastfrosset replay-afstamning.

Det andet er den fysiske flavor-ramme. Den omfatter blanding af neutrale mesoner, Delta F = 2-effektive Hamilton-operatorer, WET-operatorbaser, WCxf-konventioner, matching og running, matrixelementer fra gitter-QCD, CKM- og faseinput samt tidsafhængige observerbare størrelser.

Disse lag blev ikke sammenlagt på ordforrådsniveau. En etiket i den strukturelle pakke blev behandlet som en anmodning om en mulig fysisk tilknytning. Den tilsvarende fysiske litteratur afgjorde, hvad denne tilknytning skulle indeholde.

Denne adskillelse er vigtig, fordi de to korpora besvarer forskellige spørgsmål.

Den strukturelle pakke spørger, hvordan et muligt flavor-bidrag kunne organiseres.

Det fysiske korpus spørger, om denne organisering har en gyldig operatoridentitet, koefficient, skalarute, hadronisk kontraktion og måleflade.

Broen eksisterer kun dér, hvor begge spørgsmål kan besvares uden at ændre status for nogen af objekterne.

Hvad 3 x 8-stilladset skelner mellem

R9 Flavor-objektet organiserer tre overgangsetiketter,

T_F = {sd, bd, bs},

som svarer til sektorerne for den neutrale kaon, den neutrale B_d og den neutrale B_s.

På tværs af disse rækker placerer det otte strukturelle slots for operatorfamilier,

S_full8 = {
1_VLL,
1_VRR,
1_LR,
2_LR,
1_SLL,
2_SLL,
1_SRR,
2_SRR
}.

Det fulde strukturelle objekt kan skematisk skrives som

C_struct:
T_F x S_full8 -> C_struct,

med formen 3 x 8.

Dette objekt udfører en reel organisatorisk opgave. Det bevarer identiteten af de tre overgangssektorer. Det skelner mellem vektorlignende, skalarlignende, venstre-venstre-, højre-højre- og venstre-højre-rutefamilier. Det bevarer separate strukturelle reelle og imaginære komponenter. Det registrerer også, om hvert erklæret støtteslot er til stede.

I denne begrænsede forstand er topologien komplet.

Forbeholdet er afgørende.

De fireogtyve celler er ikke fireogtyve målinger. Kolonnerne er endnu ikke en fysisk WET-basis. Indgangene er ikke Wilson-koefficienter. En kompleks strukturel komponent er ikke automatisk en CP-krænkende fase. En støttevægt er ikke M_12, Delta m eller en eksperimentelt udledt amplitude.

Stilladset forsøger derfor at differentiere flavor-fysikken uden endnu at hævde en fysisk realisering af denne differentiering.

Dets mulige værdi ligger i de spørgsmål, det gør eksplicitte:

Skal sd-, bd- og bs-sektorerne forblive adskilte på hvert trin i ruten?

Hvilke kiralitets- og Lorentz-familier skal holdes adskilt?

Hvilke tilsyneladende dubletter kræver en fysisk forskel, og hvilke kollapser, når en basis er specificeret?

Kan reelle og imaginære orienteringer bevares uden for tidligt at få tildelt en CP-fortolkning?

Forbyder den strukturelle organisering en blanding, som en generisk koefficienttabel ellers ville tillade?

Dette er legitime brospørgsmål. De bliver først fysiske, når de tilsvarende objekter er defineret i den effektive teori.

Hvor stilladset møder WET

For det valgte B_s-mål kan en Delta B = 2-effektiv Hamilton-operator skematisk skrives som

H_eff^(Delta B=2)(mu)
=
N_bs sum_a C_a,bs^WET(mu) O_a,bs^WET(mu)
+ h.c.

Indekset a tilhører en erklæret fysisk operatorbasis. Hver operator skal angive sine kvarkfelter, flavor-orientering, Lorentz- og kiralitetsstruktur, farvekontraktion, normalisering og relation til den øvrige basis. Hver koefficient skal være knyttet til denne basis, en renormaliseringsskala, en ordning, en udledning eller benchmark samt en fasekonvention.

Normaliseringen N_bs skal også være eksplicit. Afhængigt af konventionen kan CKM-faktorer, Fermi-konstanter, løkkefaktorer eller en ny-fysik-skala trækkes ud af koefficienten eller beholdes inde i den. To numeriske koefficientvektorer kan ikke sammenlignes, før disse valg er afstemt.

WET leverer det effektive teorimiljø for denne beregning. WCxf leverer en konvention for udveksling af Wilson-koefficientobjekter med erklæret EFT-, basis- og skalainformation. Ingen af betegnelserne tildeler en strukturel kolonne fysisk identitet.

Dette blev vigtigt, fordi den officielle WET/flavio-basis for Delta F = 2 ikke organiserer sine otte indgange på samme måde som den strukturelle full8-tabel. Lignende navne som VLL eller LR peger på en mulig destination, men de etablerer ikke et entydigt basiskort.

Den første fysiske test var derfor en identitetstest:

Kan hvert strukturelt slot afbildes på en defineret fysisk operator, herunder dens feltindhold, farvekontraktion, normalisering, paritetsrelation og basiskonvention?

Intet sådant kort er godkendt i den nuværende linje.

Den strukturelle celle kan identificere en adresse, som et fysisk objekt muligvis kan knyttes til. Den kan ikke indgå som et led i Hamilton-operatoren.

Den tovejs forfinelse

Analysen blev udformet til at tillade forfinelse i begge retninger.

Fra Sense mod flavor-fysikken foreslår stilladset en mere eksplicit opdeling af problemet. Det adskiller overgangssektor fra operatorfamilie, støttetopologi fra koefficientværdi, reel/imaginær orientering fra fysisk fase og strukturel fuldstændighed fra observerbar fuldstændighed.

Denne organisering kan være nyttig, selv før der findes en forudsigelse. Den forhindrer, at et B_s-resultat stiltiende generaliseres til kaon- og B_d-sektorerne. Den holder venstre-højre-ruter adskilt fra venstre-venstre- eller skalarruter. Den blotlægger de steder, hvor en koefficient, et skalarutekort, et matrixelement, et kovariansobjekt og en observerbar størrelse skal indgå.

Fra Standardmodellen og WET mod Sense anvender den fysiske ramme et stærkere filter. Den kræver præcise operatoridentiteter frem for antydende etiketter. Den skelner en koefficient fra en amplitude, en amplitude fra en observerbar størrelse og en usikkerhed fra fraværet af et objekt. Den kræver også kompatibilitet mellem skala og ordning, CKM- og fasekonventioner samt en kildenativ rute til målte data.

Den resulterende komplementaritet er ikke en sammensmeltning af to teorier.

Sense-stilladset leverer en kandidatgrammatik for differentiering.

Standardmodel/WET-rammen afgør, om de foreslåede skel har operationel betydning.

På det nuværende trin er den anden retning stærkere. Den fysiske ramme har forfinet Sense-objektet mere, end Sense-objektet har forfinet den fysiske flavor-teori. Flere strukturelle termer har fået snævrere betydning, og flere mulige ophøjelser er blevet afvist.

Denne asymmetri er videnskabeligt nyttig. En bro bør tillade, at den ene side korrigerer den anden, frem for at garantere gensidig bekræftelse.

Den forventede fysiske overdragelse

Den foreslåede overdragelse fra den strukturelle B_s-række til en fysisk koefficientvektor kan skrives som et partielt kort,

beta_R9F^coeff:
C_struct^(S_full8)
-> C_WET^(O_WET),

C_struct_bs
-> C_WET_bs(mu_in).

Pilen er partiel, fordi dens eksistens først skal etableres. At skrive kortet konstruerer det ikke.

En vellykket overdragelse ville kræve enten et kildenativt fysisk koefficientobjekt eller en udledning fra en godkendt fysisk model. Hvis udledningen begyndte over den elektrosvage skala, ville en matching-rute ind i WET også være nødvendig.

Når koefficientvektoren var godkendt, skulle den stadig transporteres til en skala, der er kompatibel med de hadroniske matrixelementer,

C_WET_bs(mu_b)
=
U_bs(mu_b, mu_in) C_WET_bs(mu_in),

mens basis, renormaliseringsordning, tærskelbehandling, perturbativ orden og konvention for evanescente operatorer holdes fast.

De resulterende koefficienter skulle derefter indgå i

M_12^(s)
=
[1/(2 m_Bs)]
<B_s^0 | H_eff^(Delta B=2) | anti-B_s^0>.

Denne kontraktion kræver hadroniske matrixelementer i samme basis, normalisering, skala og ordning. Deres usikkerheder skal repræsenteres ved en fælles kovarians, som er korrekt for det valgte mål. CKM-input og konventioner for komplekse faser skal angives konsistent.

Først når denne kæde er fuldført, kan Delta m_s eller en anden observerbar størrelse for neutral-mesonblanding konstrueres. En sammenligning med eksperimentet ville derefter kræve den tilsvarende likelihood- eller kovariansmodel.

Dette var den forventede rute, gennem hvilken Sense-differentieringen kunne blive fysisk testbar.

Hvad analysen opnåede

Den strukturelle side nåede et klart og reproducerbart resultat.

3 x 8-støttetopologien er komplet inden for det erklærede objekt. Rækkerne sd, bd og bs er bevaret. De otte operatorlignende familier er til stede. Tabellen kan replayes, og den valgte celle C_struct_(bs,1_VLL) kan følges mod et erklæret fysisk mål.

Den fysiske overdragelse bestod ikke sin første adgangsport.

Intet fysisk basiskort fra full8-slottene til en erklæret WET-operatorbasis blev godkendt. Ingen fysisk koefficientvektor C_WET_bs(mu_in) blev udledt eller indlæst. De strukturelle vægte havde ingen fysisk normalisering, skala, ordning, kovarianspolitik eller tilladelse til brug i en Hamilton-kontraktion.

Det første manglende objekt var derfor ikke en mindre fejlbjælke.

Det var selve det fysiske koefficientobjekt.

Denne forskel blokerer flere falske reparationer.

En strukturel imaginær komponent kan ikke omfortolkes som en CKM-fase eller en fase fra ny fysik.

En strukturel nul-fase-politik kan ikke etablere fysisk CP-bevarelse.

Uafhængige usikkerheder kan ikke knyttes til støtteværdier og behandles som en fysisk koefficientkovarians.

En numerisk skalering valgt efter inspektion af Delta m_s ville være retuning og ikke matching.

WCxf-formatering kan ikke skabe den manglende koefficient.

Da den første fysiske pil ikke blev godkendt, blev de efterfølgende størrelser ikke beregnet. Der blev ikke frembragt nogen RG-udviklet koefficientvektor, M_12^(s), Delta m_s, residual, chi-i-anden-værdi, likelihood eller fit.

NOT_COMPUTED er en status og ikke den numeriske værdi nul. Linjen stemte ikke overens med dataene, og den var heller ikke i modstrid med dem. Den standsede, før der fandtes en fysisk forudsigelse.

Hvordan flavor-fysikken kalibrerede Sense-modellen

Mødet med Standardmodel/WET-kæden begrænsede Sense-beskrivelsen på flere konkrete måder.

For det første blev »komplet« objektrelativt. Den strukturelle topologi er komplet; den effektive teori er det ikke.

For det andet blev etiketter for operatorfamilier adresser frem for identiteter. VLL, LR og SLL angiver en retning for sammenligning, men de definerer ikke et fysisk basiselement.

For det tredje mistede strukturelle komplekse komponenter enhver automatisk CP-fortolkning. En fysisk fase kræver en invariant, en konvention, en amplitude og en målerute.

For det fjerde blev støtteamplitude adskilt fra fysisk amplitude. En støttevægt kan beskrive stilladsets interne organisering. M_12^(s) er et konventionsbundet matrixelement af en fysisk Hamilton-operator.

For det femte blev usikkerhed adskilt fra fravær. En koefficient med stor usikkerhed er stadig et fysisk koefficientobjekt. Den nuværende linje har intet godkendt fysisk koefficientobjekt, som en usikkerhed kan knyttes til.

For det sjette blev B_s-målet lokalt. En fremtidig succes i denne rute ville ikke automatisk validere bd-, sd- eller hele R9 Flavor-objektet.

Disse revisioner er ikke kosmetiske. De reducerer antallet af påstande, som den strukturelle pakke har lov til at fremsætte, og definerer de præcise objekter, der kræves for en genåbning.

Hvordan Sense kan supplere Standardmodellen

Den nuværende linje ændrer ikke Standardmodellen og forbedrer ikke en WET-forudsigelse. Dens bidrag er på nuværende tidspunkt strukturelt.

Et stærkere Sense-bidrag er fortsat muligt, men det skal være ikke-generisk.

Stilladset kunne for eksempel til sidst indebære, at kun en begrænset delmængde af WET-operatorerne kan aktiveres, at to tilsyneladende uafhængige koefficientretninger følger en stabil relation, at en faseorientering er korreleret på tværs af overgangssektorer, eller at en foreslået kontraktion skal afvises under en bestemt kildebetingelse.

Et sådant resultat skulle overleve oversættelsen til en erklæret fysisk basis. Det skulle også kunne skelnes fra et vilkårligt basisvalg, en parameterreduktion eller et post hoc-fit.

En egnet fremtidig specificitetstest ville sammenligne to ruter.

Baseline-ruten ville bruge en generisk WET-parameterisering for én erklæret Delta B = 2-sektor.

Sense-ruten ville bruge et på forhånd erklæret strukturelt-til-fysisk kort med egne regler for udvælgelse, ikke-sammenblanding eller afståelse.

Begge ruter ville anvende de samme fysiske koefficienter eller den samme udledning, RG-udvikling, hadroniske matrixelementer, kovarians, CKM-input og observerede likelihood.

Sense-broen ville først blive fysisk informativ, hvis den leverede en reproducerbar begrænsning eller residualstruktur, som ikke allerede var til stede i baseline-ruten.

Hvis de to ruter kun adskilte sig ved notation eller reorganisering af basis, ville Sense-bidraget forblive metodologisk.

Dette kriterium bevarer den tilsigtede tovejsrelation. Sense-modellen må foreslå et finere fysisk spørgsmål. Standardmodellen og dataene bevarer autoriteten til at afgøre, om spørgsmålet identificerer en reel forskel.

Nuværende status

Flavor / WET-ruten forbliver FROZEN_STRUCTURAL_ONLY.

Det godkendte resultat er en komplet strukturel støttetopologi, et snævert B_s-mål, et WET-vendt interface og en replaybar sekvens af blokeringer.

Ruten godkender ikke:

et fysisk WET- eller WCxf-koefficientobjekt;

et eksplicit full8-til-fysisk-basis-kort;

matching fra en ultraviolet teori eller SMEFT;

renormaliseringsgruppeudvikling af godkendte koefficienter;

en kompatibel vektor af hadroniske matrixelementer med lovlig kovarians;

en fuldstændig CKM- og fasepolitik;

en observeret likelihood;

M_12^(s), Delta m_s, en residual, et fit eller et teorem.

En ansvarlig genåbning ville begynde med ét erklæret fysisk mål og én erklæret Hamilton-konvention. Derefter skulle operatorbasen og den fysiske koefficientvektor godkendes med proveniens, skala, ordning, normalisering og usikkerhedspolitik. Først efter matching, running, hadronisk kontraktion, binding af CKM og faser samt godkendelse af den observerbare likelihood kunne en flavor-forudsigelse vurderes.

Det nuværende resultat er derfor en tovejs forfinelse af struktur og ikke et nyt resultat i flavor-fænomenologien.

Sense-modellen bidrog med en kandidatgrammatik til at skelne mellem overgangs- og operatorvendte ruter.

Standardmodellen og WET omdannede denne grammatik til et sæt præcise fysiske krav og fjernede de fortolkninger, som kilden ikke kunne understøtte.

Broen forbliver nyttig, fordi den registrerer begge resultater: hvor Sense-stilladset kan tilføre detalje, og hvor etableret fysik kræver, at denne detalje forbliver strukturel.