The Signal
Menczel e Brandner propongono un nuovo criterio per il rilassamento quantistico sotto forzante
Paul Menczel e Kay Brandner ricavano condizioni algebriche sufficienti perché i sistemi quantistici aperti perdano la dipendenza dai loro stati iniziali. Nel caso di una forzante periodica, il loro criterio richiede una condizione di connet
Quantum.world Team · Scritto con l’IA · verificato ·
I criteri precedenti per stabilire se i sistemi quantistici sottoposti a forzante periodica dimentichino i propri stati iniziali avevano un limite: un criterio fondamentale era stato dimostrato soltanto per sistemi il cui stato stazionario è proporzionale all’identità. In un articolo presentato ad arXiv il 21 ottobre, Paul Menczel di RIKEN e Kay Brandner della University of Nottingham stabiliscono un criterio sufficiente per il rilassamento di una classe più ampia di sistemi sottoposti a forzante periodica, senza quella restrizione.
Il risultato riguarda sistemi a dimensione finita descritti dalle equazioni maestre di Gorini-Kossakowski-Sudarshan-Lindblad (GKSL), un quadro teorico standard per la dinamica markoviana dei sistemi aperti. Menczel e Brandner scrivono: «Per i sistemi sottoposti a forzante periodica, otteniamo un nuovo criterio che comprende una condizione algebrica analoga e un requisito di continuità locale per il generatore GKSL dipendente dal tempo».
Il limite dei criteri per la forzante periodica
Il rilassamento completo significa che lo stato del sistema a lungo termine non dipende più dal suo stato iniziale. Per un generatore indipendente dal tempo, il punto d’arrivo è un unico stato stazionario; sotto forzante periodica, è un unico ciclo limite che si ripete con la forzante. L’articolo affronta la questione di quando sia garantito che un sistema raggiunga quel punto d’arrivo, non di quanto rapidamente lo raggiunga.
Studi precedenti avevano proposto un criterio facilmente verificabile per la forzante periodica, basato sulla capacità degli operatori di Lindblad di collegare gli stati del sistema. Ma la dimostrazione valeva soltanto per le equazioni GKSL unitali, il cui stato stazionario è proporzionale all’identità. Il teorema di Menczel e Brandner fornisce una dimostrazione per i generatori sottoposti a forzante periodica sotto una diversa condizione esplicita e mostra che il criterio precedente ne discende come caso particolare.
Un istante, più la continuità
Il nuovo criterio per la forzante periodica esamina gli operatori di Lindblad in un istante di ciascun ciclo. In quell’istante, l’algebra generata da tali operatori deve coincidere con l’intera algebra delle matrici sullo spazio di Hilbert del sistema. Il generatore deve inoltre rimanere continuo per un intervallo di durata non nulla immediatamente successivo a quell’istante.
Se entrambe le condizioni sono soddisfatte, la dinamica presenta un rilassamento completo: gli stati, a partire da qualunque condizione iniziale, convergono verso lo stesso ciclo limite periodico. Il teorema non richiede che la condizione valga durante tutta la forzante. Si tratta però di un criterio sufficiente, non dell’affermazione che ogni sistema che si rilassa debba soddisfarlo.
Che cosa verifica il criterio algebrico
In termini semplici, la condizione algebrica chiede se combinazioni e prodotti degli operatori di Lindblad possano generare tutti gli operatori sul sistema. Gli autori recuperano anche tre criteri già ricavati per la dinamica GKSL autonoma, ossia indipendente dal tempo. Uno di questi stabilisce che, se gli operatori di Lindblad generano l’intera algebra delle matrici, il sistema converge verso un unico stato stazionario qualunque sia lo stato iniziale.
Un’altra condizione per il caso autonomo include nel criterio algebrico anche un Hamiltoniano efficace. L’articolo distingue questi risultati per sistemi indipendenti dal tempo dal teorema per quelli periodici: la condizione che include l’Hamiltoniano non si estende allo stesso modo alla dinamica sotto forzante. Un controesempio nell’articolo mostra che soddisfare quel criterio algebrico più ampio in ogni istante può comunque lasciare lo stato periodico a lungo termine dipendente dallo stato iniziale.
Un criterio diverso per la forzante non periodica
Per i generatori che cambiano nel tempo senza ripetersi periodicamente, gli autori non ricavano un criterio algebrico paragonabile, formulato direttamente in termini del generatore. Forniscono invece un criterio sufficiente basato sulla mappa dinamica, che descrive come evolvono gli stati tra due istanti. Il criterio richiede una successione di intervalli di tempo disgiunti nei quali le mappe portino ripetutamente stati iniziali diversi a esiti sovrapposti, in misura sufficiente a soddisfare una specifica condizione cumulativa.
L’articolo traduce inoltre il risultato per i sistemi periodici in termini di equazioni maestre classiche per processi di salto markoviani modulati. In questo caso, la condizione algebrica diventa un criterio concreto basato su un grafo: nell’istante esaminato, transizioni con tassi non nulli devono collegare ogni coppia di stati attraverso una sequenza di salti consentiti, e il generatore deve essere continuo in un intervallo adiacente.