Adiabatic definitions of scattering matrix and inclusive scattering matrix

Technische Samenvatting: Adiabatische Definities van de Verstrooiingsmatrix en de Inclusieve Verstrooiingsmatrix

Probleemstelling
Het artikel behandelt de rigoureuze definitie van de verstrooiingsmatrix (S-matrix) en de inclusieve verstrooiingsmatrix binnen het formalisme van L-functionalen. Dit formalisme, geworteld in de geometrische benadering van de kwantumtheorie, representeert toestanden als niet-lineaire functionalen (L-functionalen) op Weyl- of Clifford-algebra's, die overeenkomen met vectoren in alle irreducibele representaties van de Canonieke Commutatie Relaties (CCR) of Anticommutaatierelaties (CAR). Een primaire uitdaging is het vaststellen van de relatie tussen de adiabatische S-matrix (afgeleid via langzaam variërende Hamiltoniaanse families) en de gerenormaliseerde verstrooiingsmatrix, met name in de context van inclusieve dwarsdoorsneden. Bovendien onderzoekt het artikel het klassieke limiet ($\hbar \to 0$) van deze matrices en hun verbinding met adiabatisch kwantumcomputergebruik (adiabatic quantum computing).

Methodologie
De auteur maakt gebruik van het formalisme van L-functionalen, waarbij kwantumtoestanden worden gerepresenteerd als positieve lineaire functionalen $L_K(\alpha^*, \alpha) = \text{Tr}(e^{-\alpha a^\dagger} e^{\alpha^* a} K)$ op een Weyl-algebra. De methodologie verloopt via enkele cruciale stappen:

1. Opzet van het Formalisme: Het artikel definieert evolutie-operatoren en adiabatische S-matrices ($\hat{S}_a$) binnen dit functionele kader. Het maakt onderscheid tussen het standaard operator-formalisme (werkend op de Fock-ruimte) en het L-functionaal formalisme, waarbij de "Hamiltoniaan" fungeert als een differentiële operator op de ruimte van functionalen.
2. Adiabatisch Limiet en Renormalisatie: De auteur analyseert het limiet van de adiabatische S-matrix wanneer de adiabatische parameter $a \to 0$ en het volume $\Omega \to \infty$. Er wordt aangetoond dat het directe adiabatische limiet een niet-gerenormaliseerde matrix oplevert. Om de gerenormaliseerde S-matrix te verkrijgen, worden specifieke fasefactoren (adiabatische dressing) geïntroduceerd. Deze factoren zijn afgeleid van de energieverschuivingen van de grondtoestand en één-deeltjes-toestanden tijdens het adiabatische schakelproces.
3. Green-functies en Diagrammen: Het artikel maakt gebruik van gegeneraliseerde GGreen-functies, die analogen zijn van Green-functies in het L-functionaal formalisme en overeenkomen met die in het Keldysh-formalisme van de niet-evenwichtsstatistische fysica. Diagrammatische technieken worden ontwikkeld waarbij propagatoren fysieke twee-punts GGreen-functies zijn en vertices één-deeltje irreducibele (1PI) diagrammen zijn.
4. Inclusieve Verstrooiingsmatrix: De inclusieve verstrooiingsmatrix $S$ wordt gedefinieerd als een operator in de ruimte van L-functionalen. Het artikel stelt een mapping vast tussen de conventionele gerenormaliseerde S-matrix $\hat{S}$ en de inclusieve matrix $S$ via de relatie $S L_K = L_{\hat{S} K \hat{S}^\dagger}$.
5. Klassiek Limiet: Het gedrag van de inclusieve verstrooiingsmatrix wordt geanalyseerd in het limiet $\hbar \to 0$, waarbij gebruik wordt gemaakt van de Keldysh-basis (klassieke en kwantumcomponenten) om aan te tonen dat het limiet wordt beheerst door specifieke GGreen-functies.

Kernbijdragen en Resultaten

• Adiabatische Definitie van de Gerenormaliseerde S-Matrix: Het artikel biedt een vereenvoudigd bewijs dat de gerenormaliseerde verstrooiingsmatrix $\hat{S}$ verkregen kan worden als een limiet van de adiabatische S-matrix $\hat{S}_{a,\Omega}$ vermenigvuldigd met unitaire operatoren $\hat{U}_{a,\Omega}$ die faseverschuivingen compenseren:
  $$\hat{S} = \lim_{a \to 0} \lim_{\Omega \to \infty} \hat{U}_{a,\Omega} \hat{S}_{a,\Omega} \hat{U}_{a,\Omega} \langle \theta | \hat{S}_{a,\Omega} | \theta \rangle^{-1}$$
  Hierbij bevat $\hat{U}_{a,\Omega}$ fasefactoren $r_{a,\Omega}(k)$ afgeleid van het verschil tussen de interagerende en vrije één-deeltjes energieën.

• Inclusieve Verstrooiingsmatrix in L-Functionalen: Het artikel definieert de inclusieve verstrooiingsmatrix $S$ direct binnen het L-functionaal formalisme zonder de noodzaak van een volumecutoff. Het bewijst dat $S$ gerelateerd is aan de conventionele gerenormaliseerde S-matrix $\hat{S}$ via de transformatie $S L_K = L_{\hat{S} K \hat{S}^\dagger}$. Deze relatie rechtvaardigt de term "inclusief", aangezien inclusieve dwarsdoorsneden direct uit de matrixelementen van $S$ kunnen worden uitgedrukt.

• Expressie via Geamputeerde GGreen-functies: Een centraal resultaat is de demonstratie dat de inclusieve verstrooiingsmatrix uitgedrukt kan worden in termen van on-shell geamputeerde GGreen-functies. Dit weerspiegelt de standaard LSZ-reductieformule, maar is afgeleid binnen het L-functionaal kader. Het artikel vermoedt dat deze expressie geldig blijft voor Kwantumelektrodynamica (QED), waar infrarood divergenties in het L-functionaal formalisme van nature afwezig zijn.

• Verbinding met Adiabatisch Kwantumcomputergebruik: Het artikel trekt een parallel tussen de constructie van stationaire toestanden via adiabatische dressing (limiet $a \to of 0$) en de principes van adiabatisch kwantumcomputergebruik. Het suggereert dat de technieken die gebruikt worden om stationaire toestanden van complexe Hamiltonia true te verkrijgen vanuit eenvoudige Hamiltonia, gezien kunnen worden als generalisaties van adiabatisch kwantumcomputergebruik, met name wanneer problemen worden gereduceerd tot het vinden van evenwichtstoestanden.

• Klassiek Limiet ($\hbar \to 0$): Het artikel toont aan dat de bewegingsvergelijkingen voor L-functionalen en de inclusieve verstrooiingsmatrix een goed gedefinieerd limiet bezitten wanneer $\hbar \to 0$. In dit limiet wordt de dynamica beheerst door GGreen-functies in de Keldysh-basis, specifiek die welke de "kwantum" component ($\phi_{qu}$) involleren, die proportioneel is aan $\hbar$.

Betekenis en Claims
Het artikel beweert een eenvoudiger bewijs te bieden voor de belangrijkste resultaten betreffende de adiabatische definitie van de verstrooiingsmatrix zoals gevonden in eerdere literatuur (specifiek verwijzend naar werken [4] en [5]). Door gebruik te maken van het L-functionaal formalisme, elimineert de auteur de noodzaak van volumecutoffs in de definitie van de verstrooiingsmatrix, wat de bewijzen vereenvoudigt en de behandeling van divergenties vergemakkelijkt (uitgaande van de afwezigheid van infrarood en ultraviolet divergenties in de specifieke overwogen theorieën, behalve voor de geconstateerde toepassing op QED).

Het werk positioneert de inclusieve verstrooiingsmatrix niet louter als een computationeel hulpmiddel voor dwarsdoorsneden, maar als een fundamenteel object in de geometrische benadering van de kwantumtheorie. Het overbrugt de kloof tussen de algebraïsche benadering (L-functionalen), niet-evenwichtsstatistische fysica (Keldysh-formalisme) en adiabatisch kwantumcomputergebruik. Het artikel presenteert zijn resultaten bescheiden als een verheldering en vereenvoudiging van bestaande perturbatieve technieken, waarbij een verenigd kader wordt geboden voor het definiëren van verstrooiingsmatrices en het analyseren van hun klassieke limieten zonder afhankelijk te zijn van de specifieke representatie van de CCR-algebra.