Jensen's inequality for partial traces in von Neumann algebras

Dit artikel bewijst een ongelijkheid van Jensen voor partiële sporen in semifinite von Neumann-algebra's en in het algemeenere kader van niet-traciale von Neumann-algebra's, geïnspireerd door recente resultaten op eindig-dimensionale Hilbertruimten.

De kern

De Wiskundige "Rekenfout" die nooit optreedt: Een Verklaring van Jensen's Ongelijkheid in Quantumland

Stel je voor dat je een enorme, ingewikkelde machine hebt die gegevens verwerkt. In de wiskunde en de quantumwereld noemen we zo'n machine een von Neumann-algebra. Het is een heel abstract concept, maar we kunnen het zien als een super-geavanceerde keuken waar chefs (wiskundigen) proberen te voorspellen wat er gebeurt als je ingrediënten (getallen of toestanden) mengt.

Dit artikel, geschreven door Mizanur Rahaman en Lyudmila Turowska, gaat over een specifieke regel in deze keuken: Jensen's Ongelijkheid.

1. Wat is Jensen's Ongelijkheid? (De "Gemiddelde" Regel)

Om dit te begrijpen, laten we een simpele analogie gebruiken: Het bakken van een taart.

Stel je voor dat je een taart maakt. Je hebt een functie $f$ die de "lekkerheid" van de taart bepaalt.

• Als je de taart in tweeën deelt, de helft apart bakt en de andere helft apart, en ze daarna samenvoegt, is dat niet hetzelfde als de hele taart in één keer bakken.
• Jensen's Ongelijkheid zegt eigenlijk: "Het is altijd makkelijker (of 'lekkerder') om de gemiddelde waarde te nemen voordat je de moeilijke berekening doet, dan om de moeilijke berekening te doen en daarna te middelen."

In wiskundetaal: Als je een "convexe" functie hebt (een bocht die naar boven wijst, zoals een kom), dan is de waarde van de functie op het gemiddelde kleiner dan het gemiddelde van de functiewaarden.

• Voorbeeld: Als je een berg beklimt (de functie), is het gemiddelde van de hoogte op twee punten aan de helling lager dan de hoogte op het exacte midden van die twee punten (als de berg bol is).

2. Het Nieuwe Probleem: Het "Splitsen" van de Wereld

In het verleden wisten wiskundigen al hoe ze deze regel moesten toepassen op simpele systemen. Maar in de quantumwereld hebben we te maken met systemen die uit twee delen bestaan, die met elkaar verweven zijn.

Stel je voor dat je een enorme doos hebt met twee compartimenten: Kast A en Kast B.

• In Kast A zitten je gegevens.
• In Kast B zit de rest van het universum.
• De "deur" tussen ze is gesloten, maar ze beïnvloeden elkaar.

De auteurs van dit artikel kijken naar een proces dat ze een partieel spoor (partial trace) noemen. Dit is alsof je alleen naar Kast A kijkt en Kast B volledig negeert (alsof je de deur dichtdoet en Kast B "wegrekent").

De vraag was: Als we de "lekkerheidsformule" (de convexe functie) toepassen op het systeem voordat we Kast B weghalen, is dat dan hetzelfde als het toepassen nadat we Kast B hebben weggewerkt?

In 2025 bewezen Carlen, Frank en Larson dat dit werkt voor kleine, eindige systemen (zoals een simpele computerchip). Maar wat als het systeem oneindig groot is? Wat als het een heel complex quantumnetwerk is? Dat was de grote vraag die Rahaman en Turowska wilden beantwoorden.

3. De Oplossing: Een Nieuw Wiskundig Recept

De auteurs hebben bewezen dat deze regel ook geldt voor deze enorme, oneindige systemen (von Neumann-algebra's). Ze hebben een nieuw "recept" bedacht dat werkt in twee scenario's:

1. De "Tracé" Keuken (De Simpele Versie):
   Hier werken ze met systemen waar de "hoeveelheid" (de trace) goed gedefinieerd is. Ze bewijzen dat je de volgorde van handelingen kunt omwisselen zonder dat de wiskunde in elkaar stort.

   • Analogie: Het is alsof je zegt: "Het maakt niet uit of je eerst de suiker in de kom doet en dan de melk toevoegt, of eerst de melk en dan de suiker; het eindresultaat (de taart) blijft even lekker, zolang je maar de juiste volgorde van Jensen's regel volgt."

2. De "Niet-Tracé" Keuken (De Complexe Versie):
   Dit is nog moeilijker. Hier zijn de systemen zo complex dat je niet zomaar kunt "optellen". Voor deze situatie hebben ze een strengere regel nodig: Operator-convexiteit.

   • Analogie: Stel je voor dat de ingrediënten niet alleen suiker en melk zijn, maar ook "quantum-schokjes" die van alles kunnen doen. Dan moet je niet alleen kijken naar de smaak, maar ook naar de structuur van de taart. De auteurs bewijzen dat als je een heel specifieke, sterke vorm van convexiteit gebruikt, de regel nog steeds werkt, zelfs in deze chaotische keuken.

4. Waarom is dit belangrijk?

Waarom zouden we hierover schrijven? Waarom is het belangrijk om te weten of je eerst de deur van Kast B moet sluiten of niet?

• Quantum-Informatie: In de toekomst bouwen we quantumcomputers. Deze computers werken met verweven toestanden. Om te begrijpen hoe fouten zich verspreiden of hoe informatie verloren gaat, moeten we wiskundige ongelijkheden kunnen gebruiken. Dit artikel geeft ons een krachtig nieuw gereedschap om die berekeningen te maken.
• Energie en Atomen: Het helpt bij het begrijpen van hoe atomen zich gedragen in zware, complexe systemen (zoals in sterren of diepe materie).
• De Basis van de Wiskunde: Het is een mooie uitbreiding van een oude theorie. Het laat zien dat regels die we in de simpele wereld hebben ontdekt, ook gelden in de meest ingewikkelde, oneindige hoeken van het universum.

Samenvatting in één zin

Rahaman en Turowska hebben bewezen dat je in de complexe wereld van quantummechanica (zelfs bij oneindig grote systemen) veilig kunt "wegrekenen" met een deel van het systeem, zonder dat de wiskundige wetten van de gemiddelde waarde (Jensen's ongelijkheid) worden geschonden.

Het is alsof ze hebben bewezen dat je, zelfs in een heel groot en rommelig huis, altijd kunt zeggen: "Als ik alleen naar de woonkamer kijk, is de gemiddelde temperatuur nog steeds logisch, zelfs als ik de rest van het huis negeer."

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Jensen's inequality for partial traces in von Neumann algebras" van Mizanur Rahaman en Lyudmila Turowska, geschreven in het Nederlands.

Titel: Jensen's ongelijkheid voor partiële sporen in von Neumann-algebra's

1. Probleemstelling en Achtergrond

Jensen's ongelijkheid is een fundamenteel concept in de convexe analyse en waarschijnlijkheidstheorie dat een relatie legt tussen convexe functies en verwachtingswaarden. In de operatoralgebra's is deze ongelijkheid uitgebreid door Davis, Choi en Hansen-Pedersen voor positieve afbeeldingen en operatorconvexe functies.

Onlangs hebben Carlen, Frank en Larson (2025) een specifieke variant van Jensen's ongelijkheid bewezen voor partiële sporen op eindig-dimensionale Hilbertruimten. Hun resultaat luidt als volgt: voor een zelfgeconjugeerde operator $H$ en een convexe functie $f$, geldt:
$$\text{Tr}_2 f (\text{Tr}_1((\rho \otimes 1)^{1/2} H (\rho \otimes 1)^{1/2})) \leq \text{Tr}_1(\rho^{1/2} \text{Tr}_2 f(H) \rho^{1/2})$$
waarbij $\rho$ een dichtheidsmatrix is.

Het doel van dit artikel is om dit resultaat te generaliseren naar het veel bredere kader van von Neumann-algebra's, zowel voor de traciële (met een trace) als de niet-traciële (met normale toestanden) gevallen. Een belangrijk obstakel is dat eerdere generalisaties in operatoralgebra's (zoals die van Brown-Kosaki en Petz) voornamelijk gericht waren op volledige sporen of contractieve positieve afbeeldingen, maar niet specifiek op de structuur van partiële sporen in tensorproducten van algebra's.

2. Methodologie

De auteurs hanteren een combinatie van technieken uit de theorie van von Neumann-algebra's, niet-commutatieve $L_p$-ruimten en spectrale theorie.

• Kader: Het werk speelt zich af in semifiniete von Neumann-algebra's $(M, \tau)$ met een normale, getrouwe, semifinite trace $\tau$. Ze maken gebruik van de theorie van meetbare operatoren en de ruimten $L_1(M, \tau)$ en $L_2(M, \tau)$.
• Versterking van Petz's Resultaat: Een cruciale technische stap is het uitbreiden van een bestaand resultaat van Petz (1987). Petz bewees Jensen's ongelijkheid voor positieve elementen. De auteurs bewijzen in Theorema 4 dat deze ongelijkheid ook geldt voor zelfgeconjugeerde elementen (die niet noodzakelijk positief zijn), mits de trace aan beide zijden gedefinieerd is.
  • Hiervoor gebruiken ze de spectrale pre-orde ($\lesssim$) en de Jordan-decompositie van operatoren.
  • Ze analyseren het gedrag van convexe functies op verschillende intervallen van het spectrum (positief/negatief, stijgend/dalend) en gebruiken projecties om de operator in blokken te verdelen.
• Slice Maps (Snedemaps): Voor het definiëren van partiële sporen in het oneindig-dimensionale geval introduceren ze "slice maps" ($R_\omega$ en $L_\omega$). Deze zijn volledig positieve, normale afbeeldingen die het concept van het nemen van een partiële spoor generaliseren naar algebra's zonder een eindige dimensie.
• Operatorconvexiteit: Voor het niet-traciële geval (sectie 5) maken ze gebruik van de sterkere eigenschap van operatorconvexiteit in plaats van gewone convexiteit, gebaseerd op de ongelijkheid van Hansen-Pedersen.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 2): Jensen's ongelijkheid voor partiële sporen in traciële algebra's
Laat $(M_1, \tau_1)$ en $(M_2, \tau_2)$ twee von Neumann-algebra's zijn met normale semifinite traces. Laat $H \in M_1 \bar{\otimes} M_2$ een zelfgeconjugeerd element zijn en $f: \mathbb{R} \to \mathbb{R}$ een continue convexe functie. Voor een element $a \in L_2(M_1, \tau_1)$ met $\tau_1(a^*a) = 1$, geldt:
$$\tau_2 f \left( (\tau_1 \otimes \text{id})[(a^* \otimes 1)H(a \otimes 1)] \right) \leq \tau_1 \left[ a^* (\text{id} \otimes \tau_2) f(H) a \right]$$

• Voorwaarde: Beide zijden moeten gedefinieerd zijn (in de zin van de Jordan-decompositie).
• Versterking t.o.v. CFL25: In het eindig-dimensionale geval ($M_i = B(H_i)$) is dit resultaat sterker dan dat van Carlen et al. omdat de auteurs geen vierkantswortel van de dichtheidsoperator nodig hebben in de conjugatie; het resultaat geldt direct voor $a$ in $L_2$.

Uitbreiding naar niet-traciële algebra's (Theorema 8)
Voor algemene von Neumann-algebra's met normale toestanden $\rho_1, \rho_2$ (in plaats van traces) en een operatorconvexe functie $f$, geldt voor elke contractie $a \in M_1$:
$$\rho_2 f \left( (\rho_1 \otimes \text{id})[(a^* \otimes 1)H(a \otimes 1)] \right) \leq \rho_1 \left[ a^* (\text{id} \otimes \rho_2) f(H) a \right]$$
Hier is de eis van operatorconvexiteit noodzakelijk omdat de standaard Jensen-ongelijkheid voor gewone convexe functies niet direct geldt voor operatorconvexe afbeeldingen in dit niet-traciële kader zonder extra aannames.

4. Significatie en Toepassingen

• Generalisatie: Dit artikel sluit een gat in de literatuur door Jensen's ongelijkheid voor partiële sporen formeel te bewijzen in de context van oneindig-dimensionale von Neumann-algebra's. Dit is een essentiële stap voor het toepassen van deze ongelijkheden in de kwantummechanica en statistische fysica waar systemen vaak oneindig-dimensionaal zijn.
• Technische Innovatie: De bewijstechniek die zelfgeconjugeerde elementen toelaat in de traciële ongelijkheid (Theorema 4) is een waardevolle bijdrage aan de operatoralgebra-theorie, aangezien het de toepasbaarheid van Petz's resultaten verruimt.
• Kwantuminformatie en Entropie: De auteurs wijzen erop dat trace-ongelijkheden en Jensen's ongelijkheid cruciaal zijn in de studie van kwantum-entropie. De resultaten kunnen leiden tot nieuwe inzichten in de asymptotiek van eigenwaarden van operatoren met homogene potentialen (zoals in het werk van Carlen et al.) en mogelijk nieuwe toepassingen vinden in kwantuminformatietheorie, bijvoorbeeld bij het analyseren van kwantumkanalen en entanglement.
• Toekomstperspectief: De resultaten bieden een fundament om meer algemene situaties te behandelen dan de beperkte discrete spectraal-voorwaarden die nodig waren in eerdere eindig-dimensionale benaderingen.

Samenvattend biedt dit artikel een robuuste wiskundige onderbouwing voor het gebruik van Jensen's ongelijkheid in complexe kwantumsystemen beschreven door von Neumann-algebra's, met zowel traciële als niet-traciële generalisaties.