La formule de Green-Kubo pour les systèmes en interactions répétées

La formule de Green-Kubo exprime les courants de chaleur provoqués par une légère perturbation d'un équilibre thermique, en terme de corrélation entre les flux de chaleurs des sources chaudes et froides. Elle s'inscrit dans le cadre plus général de la réponse linéaire des courants d'énergie (relations de réciprocité d'Onsager et théorème de limite centrale) et des théorèmes de fluctuations de l'entropie (symétrie d'Evans-Searles et grandes déviations). Les systèmes en interactions répétées (SIR) sont un ensemble de modèles de physique quantique inspirés de l'expérience du One-Atom Maser : un faisceau d'atomes traverse une cavité électromagnétique. Dans cet exposé, on suppose que les atomes arrivent à des températures distinctes T1, T2, ..., Tm, de façon cyclique. On souhaite alors remontrer la formule de Green-Kubo dans une version adaptée à la dynamique discrète des SIR.