The contact temperature of arbitrary quantum states

Technische Samenvatting: De Contacttemperatuur van Willekeurige Kwantumtoestanden

Probleemstelling
Het artikel behandelt de uitdaging om een temperatuur toe te wijzen aan een willekeurige, niet-evenwichtstoestand $\rho$ van een einddimensionaal systeem. Evenwichtstoestanden zijn goed gedefinieerd door de Gibbs-dichtheidsmatrix $\gamma_\beta = e^{-\beta H}/\text{Tr}(e^{-\beta H})$, maar het uitbreiden van het concept van temperatuur naar algemene toestanden blijft een openstaand probleem. Bestaande benaderingen omvatten de "effectieve temperatuur" $\beta^*$, gedefinieerd als de Gibbs-temperatuur die dezelfde gemiddelde energie oplevert, of de minimizer van de relatieve entropie. Deze definities zijn echter vaak abstract of missen een operationele fysieke interpretatie. De auteurs beogen een "contacttemperatuur" $\beta_c$ te definiëren via een operationeel schema: het koppelen van het systeem aan een universele thermometer en het bepalen van de temperatuur van de thermometer waarbij de netto warmtestroom verdwijnt.

Methodologie
De auteurs stellen een specifiek model voor van een "universele thermometer" (Systeem B) gekoppeld aan het systeem van belang (Systeem A).

1. Systeem A: Een $d$-niveau kwantumsysteem met een niet-degeneratieve Hamiltoniaan $H_A$ en energieën $\varepsilon_1 < \dots < \varepsilon_d$.
2. Systeem B (Thermometer): Een oneindig dimensionaal kwantumsysteem met een Hamiltoniaan $H_B$ die even ruimteverdelende eigenwaarden $\eta_k = k/N$ heeft (waarbij $N$ groot is). De thermometer wordt voorbereid in een Gibbs-toestand $\tau_\beta = e^{-\beta H_B}/\text{Tr}(e^{-\beta H_B})$ bij inverse temperatuur $\beta$.
3. Interactie: De systemen interageren via een unitaire operator $U$ die werkt op de samengestelde Hilbertruimte, waarbij voldoet aan de energiebehoudconditie $[U, H_A + H_B] = 0$.
4. Generieke Aanname: Om een "goede" thermische contact te garanderen, leggen de auteurs twee voorwaarden op:
   • Resonantie: De energieverschillen (Bohr-frequenties) van Systeem A moeten veelvouden zijn van de niveau-afstand $1/N$ van de thermometer.
   • Equiprobabiliteit: De overgangskansen tussen de eigentoestanden van de ongekoppelde Hamiltoniaan $H_A + H_B$ met dezelfde totale energie zijn gelijk. Dit wordt wiskundig gemodelleerd door aan te nemen dat $U$ werkt als een willekeurige unitaire operator (Haar-maat) binnen elke energie-eigenspace.

De centrale grootheid is de warmtestroom $Q_A(\beta)$, gedefinieerd als de verandering in de verwachte energie van Systeem A na de interactie:
$$Q_A(\beta) = \text{Tr}_{AB}(U(\rho \otimes \tau_\beta)U^* H_A) - \text{Tr}_A(\rho H_A)$$
De contacttemperatuur $\beta_c$ wordt gedefinieerd als de unieke waarde van $\beta$ waarvoor $Q_A(\beta) = 0$.

Belangrijkste Resultaten en Bijdragen

1. Expliciete Expressie voor Warmtestroom:
   De auteurs leiden een expliciete formule af voor de warmtestroom $Q_A(\beta)$ voor $\beta > 0$. De stroom hangt alleen af van het energiespectrum van $H_A$ en de populaties $p_j$ van de toestand $\rho$ in de energie-eigenbasis, onafhankelijk van de specifieke details van de degeneratie van de thermometer of de gap-grootte $N$ (in de limiet $N \to \infty$).
   $$Q_A(\beta) = \sum_{1 \le j < k \le d} \frac{e^{-\beta(\varepsilon_k - \varepsilon_j)}}{k(k-1)} p_j \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l) - \sum_{k=2}^d \frac{p_k}{k} \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l)$$

2. Bestaan en Uniciteit van Contacttemperatuur:

   • Geval $Q_A(0) \ge 0$: Als de warmtestroom bij oneindige temperatuur niet-negatief is, bestaat er een unieke niet-negatieve wortel $\beta_c \ge 0$. De functie $\beta \mapsto Q_A(\beta)$ is strikt dalend en continu.
   • Geval $Q_A(0) < 0$: Voor toestanden waarbij het systeem zelfs warmte overdraagt aan een oneindig heet reservoir (wat de intuïtie van de tweede wet van de thermodynamica in evenwicht schendt), levert de standaardformule voor $\beta > 0$ geen wortel op. De auteurs pakken dit aan door een thermometer met een eindig aantal niveaus ($K$ niveaus) te overwegen die gedefinieerd is voor alle $\beta \in \mathbb{R}$, en vervolgens de limiet $K \to \infty$ te nemen. Dit levert een uitgebreide warmtestroomfunctie $\bar{Q}_A(\beta)$ op die gedefinieerd is voor alle $\beta \in \mathbb{R}$.
   • Resultaat: Voor elke toestand $\rho$ (met uitzondering van de grondtoestand en de meest geëxciteerde toestand) bestaat er een unieke reële wortel $\beta_c \in \mathbb{R}$ waarvoor $\bar{Q}_A(\beta_c) = 0$.
     • Als $\rho$ de grondtoestand is, dan is $\beta_c = +\infty$.
     • Als $\rho$ de meest geëxciteerde toestand is, dan is $\beta_c = -\infty$.
     • Voor alle andere toestanden is $\beta_c$ eindig. Het teken van $\beta_c$ komt overeen met het teken van $Q_A(0)$.

3. Structurele Analyse via Stochastische Matrices:
   Het artikel analyseert de interactie vanuit het perspectief van gereduceerde thermische kwantumkanalen $\Phi_\beta$. De warmtestroom is gerelateerd aan een stochastische matrix $G(\beta)$ die de overgangskansen tussen energieniveaus beschrijft.

   • De matrix $G(\beta)$ is strikt positief en voldoet aan het principe van gedetailleerd evenwicht (detailed balance).
   • Het spectrum van het kanaal $\Phi_\beta$ wordt geanalyseerd: het heeft een eenvoudige eigenwaarde 1 (overeenkomend met de Gibbs-toestand) en alle andere eigenwaarden hebben een modulus strikt kleiner dan 1.
   • Deze spectrale kloof zorgt ervoor dat herhaalde interacties met een verse thermometer bij temperatuur $\beta$ het systeem exponentieel snel naar de Gibbs-toestand $\gamma_\beta$ drijven. Bijgevolg convergeert de contacttemperatuur van de toestand van het systeem naar $\beta$ onder herhaalde thermalisatie.

4. Vergelijking met Effectieve Temperatuur:
   De auteurs tonen aan dat de contacttemperatuur $\beta_c$ over het algemeen verschilt van de effectieve temperatuur $\beta^*$ (gedefinieerd via energie-matching of relatieve entropie-minimalisatie). In specifieke voorbeelden (bijv. een 3-niveau systeem) kunnen $\beta_c$ en $\beta^*$ aanzienlijk verschillen, en hun relatie hangt af van de specifieke populaties van de toestand.

Betekenis en Claims
Het artikel claimt een universele en operationele definitie van temperatuur te bieden voor willekeurige einddimensionale kwantumtoestanden.

• Universaliteit: Het thermometer-model levert een unieke contacttemperatuur ongeacht de specifieke fysieke aard van het systeem, mits het systeem einddimensionaal is.
• Operationele Definitie: In tegenstelling tot abstracte definities gebaseerd op entropiemaximalisatie, wordt $\beta_c$ gedefinieerd door een fysiek proces: het verdwijnen van de warmtestroom bij koppeling aan een specif kind type thermisch reservoir.
• Afhandeling van Niet-Evenwicht: Het raamwerk slaagt erin een temperatuur (mogelijk negatief) toe te wijzen aan toestanden die "ver van evenwicht" zijn en anders de standaard thermodynamische intuïties zouden schenden (bijv. het overdragen van warmte aan een oneindig heet bad).
• Wiskundige Rigor: Het werk vestigt de existentie en uniciteit van deze temperatuur door een rigoureuze analyse van de warmtestroomfunctie en de spectrale eigenschappen van de bijbehorende kwantumkanalen.

De auteurs stellen geen experimentele implementaties of specifieke toepassingen voor kwantummachines voor, behalve het vermelden van de connectie met "virtuele temperaturen" in thermische machines. Het werk blijft een theoretische constructie die een nieuwe thermodynamische grootheid voor kwantumtoestanden definieert.