Certifying Hidden Dissipation from Observed Current Fluctuations

Résumé Technique : Certifier la dissipation cachée à partir des fluctuations de courant observées

Énoncé du problème
Dans les expériences sur molécule unique impliquant des machines moléculaires pilotées (par exemple, les moteurs de kinésine ou les enzymes), les chercheurs ne résolvent généralement qu'un sous-ensemble des transitions au sein du réseau d'états sous-jacent. Bien que les étapes mécaniques produisant un déplacement visible soient souvent observables, les sous-étapes chimiques qui les pilotent restent cachées. Le défi central consiste à déterminer la dissipation d'énergie libre totale (production d'entropie) de l'ensemble du système, y compris les contributions de ces transitions non observées, sans connaissance préalable des taux de transition ou accès aux états cachés. Les relations d'incertitude thermodynamique (TUR) existantes limitent la dissipation en se basant sur des courants choisis, mais ne précisent pas quand l'observation partielle est suffisante pour déterminer de manière unique la contribution cachée.

Méthodologie
L'article analyse des systèmes de sauts de Markov à états finis dans un état stationnaire hors équilibre (NESS). L'approche repose sur les propriétés statistiques des courants empiriques sur de longs temps, spécifiquement leurs moyennes et leurs fluctuations (covariances).

1. Cadre géométrique : L'auteur utilise la fonction de taux de grande déviation de niveau 2.5 pour la densité et le flux empiriques. En contractant ce fonctionnel sur les fluctuations de densité empirique normalisées, il dérive une métrique quadratique, $M_T$, sur l'espace des courants de cycle, qui représente l'« énergie de trafic contractée par la densité », où la métrique locale de l'arête est l'inverse de l'activité dynamique (trafic), $1/T_e$.
2. La covariance comme métrique : La covariance asymptotique des courants d'arêtes empiriques, projetée sur l'espace des cycles, est montrée comme étant la pseudo-inverse de la métrique $M_T$.
3. Complétion par énergie minimale : Lorsqu'un sous-ensemble d'arêtes $O$ est observé, la covariance du courant observé correspond à un problème de minimisation sous contrainte. Plus précisément, la forme quadratique $K_O^\top \Sigma_O^+ K_O$ est égale à l'énergie de trafic contractée par la densité minimale de tout courant stationnaire reproduisant les courants observés sur $O$.
4. Observabilité des cycles : Une condition critique est dérivée : si les transitions observées couvrent l'espace des cycles du réseau (c'est-à-dire que la projection de la base des cycles sur les arêtes observées est injective), la complétion par énergie minimale est unique et récupère l'énergie totale du réseau.
5. Borne hybride : L'auteur combine le terme de covariance quadratique avec la production d'entropie de Schnakenberg non linéaire exacte, calculée directement à partir des arêtes observées. Cela produit une borne inférieure monotone de la dissipation totale qui s'améliore à mesure que davantage de transitions sont observées.

Principales contributions
L'article établit quatre avancées théoriques majeures :

• Condition d'observabilité des cycles : Il identifie une condition précise sous laquelle l'observation partielle fixe la contribution cachée à la dissipation. Contrairement aux précédentes TUR qui limitent la dissipation à partir de courants arbitraires, ce travail prouve que si les arêtes observées couvrent l'espace des cycles, la covariance du courant observé certifie la totalité du coût quadratique caché.
• Identité de complétion par énergie minimale : La covariance du courant observé est reformulée comme la complétion stationnaire de moindre énergie des courants cachés. Cela fournit un mécanisme géométrique par lequel les fluctuations encodent l'information sur le réseau non observé.
• Identification de la métrique de trafic : Le travail identifie explicitement la métrique au sein de l'objet de covariance du courant comme étant la métrique de trafic contractée par la densité $M_T$. Il distingue le coût de trafic quadratique brut du coût filtré, introduisant une « fraction de filtrage » $\gamma_G(K)$ qui quantifie la part du coût de trafic absorbée par les fluctuations de densité.
• Borne monotone opérationnelle : Un estimateur pratique, $B_{O}^{\max}$, est construit en prenant le maximum de la somme non linéaire par arête et de la borne hybride basée sur la covariance. Cet estimateur est garanti d'être une borne inférieure de la production d'entropie totale et est monotone non décroissante à mesure que davantage d'arêtes sont observées.

Résultats

• Validation théorique : L'auteur démontre que lorsque les arêtes observées couvrent l'espace des cycles, la covariance observée récupère l'énergie complète du réseau contractée par la densité $K^\top M_T K$. De plus, si le courant stationnaire physique est également « non filtré » ($\gamma_G(K) = 0$), cette énergie récupérée est égale au coût de trafic quadratique brut exact $\sum K_e^2/T_e$, même pour les arêtes cachées.
• Effets de filtrage : Dans les régimes où le filtrage est non nul, la contribution de la covariance est réduite, mais la borne opérationnelle reste valide en incorporant le coût non linéaire exact des arêtes observées.
• Démonstrations numériques :
  • Sur un réseau de tore $3 \times 3$ sans filtrage, la borne opérationnelle sature la dissipation réelle lors d'une couverture complète et récupère 93,5 % de la dissipation totale même lorsqu'un tiers des arêtes est caché.
  • Sur un réseau à deux cycles à quatre états avec un filtrage variable, la borne suit les limites théoriques prédites, montrant que la dégradation due au filtrage est une propriété structurelle de la chaîne, et non un échec de la borne.
• Application à la kinésine : En appliquant la théorie au modèle de kinésine à six états de Liepelt–Lipowsky, l'auteur montre que l'observation du seul pas mécanique est insuffisante pour certifier la dissipation à la force de blocage (où le courant net est nul). Cependant, l'ajout d'une seule transition chimique restaure l'observabilité du cycle, permettant à la borne de certifier l'énergie complète du cycle malgré la disparition du déplacement net.

Signification
L'article affirme que sa principale importance réside dans la transformation de l'observation partielle, d'une source d'information incomplète, en un problème de « complétion par énergie minimale » soluble. Il fournit un théorème de certification rigoureux : si les transitions observées couvrent les cycles du réseau, les fluctuations de ces transitions sont suffisantes pour certifier la totalité de la dissipation cachée sans avoir besoin des taux de transition ou de la topologie cachée. Cela comble le fossé entre les relations d'incertitude basées sur les fluctuations de courant et les exigences géométriques spécifiques nécessaires pour inférer de manière unique les coûts thermodynamiques cachés. Ce travail souligne que le « trafic » (activité dynamique) est le partenaire symétrique du courant qui façonne les fluctuations, et que cette relation permet la reconstruction des coûts énergétiques cachés à partir des statistiques observables seules.