Principe de Landauer
Le principe de Landauer, formulé pour la première fois en 1961 par Rolf Landauer d'IBM, est un principe physique relatif à la limite théorique basse de consommation d'énergie d'un système physique de calcul[1]. Il affirme que « n'importe quelle manipulation logique irréversible d'information, telle que l'effacement d'un bit ou la fusion de deux voies de calcul, est accompagnée d'une augmentation de l'entropie en degrés de liberté non informationnels de l'appareil de traitement de l'information ou de son environnement »[2].
Le principe de Landauer établit le niveau d’énergie minimal nécessaire pour effacer un bit d'information, connu sous le nom de limite de Landauer :
- kT ln 2
où :
- k est la constante de Boltzmann (approximativement 1,38×10-23 J·K-1) ;
- T est la température du système physique considéré (ex. : circuit) en kelvins ;
- ln 2 est le logarithme naturel de 2 (approximativement 0,693 15).
Démonstration
[modifier | modifier le code]Tout d'abord, « effacer irréversiblement un bit d'information », dans le cadre du principe de Landauer, signifie que si une porte logique prend en entrée deux bits, produit un bit en sortie et que son entrée est effacée, la connaissance de la sortie ne permet pas de retrouver les états d'entrée : de l'information a été perdue irréversiblement lors du processus de calcul. Par exemple, si une porte NAND produit la sortie 1, il n'est plus possible de reconstruire l'entrée à partir de la valeur de sortie car les trois valeurs d'entrée (0,1), (1,0) et (0,0) sont possibles.
Considérant un système composé d'une porte logique à deux entrées et une sortie, le nombre d'états d'entrée possibles est ; son entropie est donnée par . Après application de l'opération logique, la sortie ne peut prendre que deux valeurs, l'entropie de la porte passe à ; la variation d'entropie entre l'état final et l'état initial est donc de . Le second principe de la thermodynamique impose que la somme des entropies de la porte logique et de l'extérieur soit supérieure ou égale à 0, ainsi l'entropie de l'extérieur augmente a minima de . Si le système est plongé dans un thermostat à la température T, la chaleur dégagée par la porte est supérieure ou égale à .
Remarque : l'effacement d'une mémoire n'entre pas dans le cadre du principe de Landauer si son état est connu. En effet, pour une mémoire composée d'un cylindre tel que celui décrit par la figure Fig. 1, si effacer la mémoire consiste à la basculer dans l'état 0, deux cas sont possibles : soit la mémoire est dans l'état 0 et aucune action n'est nécessaire, soit la mémoire est dans l'état 1 et il suffit de pivoter à 180° le cylindre de façon quasi-statique et réversible pour l'effacer. Dans les deux cas, l'effacement a été réalisé sans variation d'entropie.
Une autre manière de décrire le principe de Landauer est de dire que si un observateur perd de l'information sur un système physique, cet observateur perd la capacité d'en extraire un travail.
Une expérience de pensée proposée par Leó Szilárd en 1929[3] permet de comprendre cette dernière assertion. Szilárd considère un gaz réduit à une unique particule piégée dans un cylindre en contact avec un thermostat à la température T, séparé en deux parties égales par une cloison M. Le cylindre est délimité par deux pistons situés de part et d'autre (voir Fig.1 ci-contre).
Si l'information utile sur la position de la particule est le compartiment dans lequel elle se trouve, un seul bit est suffisant pour la stocker. Par convention il est choisi de fixer sa valeur à 0 ou 1 selon que la particule se trouve respectivement à gauche ou à droite.
Supposant que la position de la particule soit connue et qu'elle soit dans la partie gauche, il est possible d'extraire un travail du cylindre en réalisant le cycle suivant :
- déplacer le piston de droite vers le centre du cylindre ; ce déplacement ne nécessite aucun travail car le compartiment est vide ;
- retirer la paroi séparatrice M ; la variation de volume étant nulle, l'opération ne nécessite elle aussi aucun travail ;
- la pression exercée par le gaz contenu dans la partie gauche va repousser le piston droit vers sa position initiale et ainsi fournir un travail à l'extérieur ;
- une fois le piston revenu dans sa position initiale, remettre la paroi séparatrice.
Considérant que le mouvement du piston est quasi-statique, le travail fourni à l'extérieur est donné par .
Remarque : bien que le gaz ne soit constitué que d'une seule particule, la notion de variable thermodynamique conserve un sens car dans ce cas l'hypothèse ergodique permet de remplacer une moyenne sur un ensemble de particules par une moyenne temporelle. Par exemple, entre deux déplacements infinitésimaux du piston, l'opérateur calcule la moyenne temporelle du carré de la vitesse sur un temps suffisamment long pour que cette valeur se stabilise autour de .
En remettant la paroi séparatrice en place, nous retrouvons la configuration initiale du cylindre mais le mouvement de la particule étant aléatoire[4], elle a une probabilité de 1/2 de se trouver dans l'un des deux compartiments : sans une nouvelle mesure, l'information sur la position de la particule dans le cylindre est perdue. En conclusion le cycle décrit ci-dessus a transformé un bit d'information en un travail de .
A contrario, si le compartiment contenant le gaz est choisi en début de cycle, l'extérieur doit fournir un travail pour comprimer le gaz. Ainsi sans connaissance préalable de la position de la particule, en choisissant aléatoirement le piston à pousser, la probabilité d'extraire un travail positif est de 1/2. En réitérant l'opération N fois, sans information sur la position de la particule au début de chaque cycle, il n'est pas possible d'extraire en moyenne un travail positif.
À 20 °C (température ambiante, ou 293,15 K), la limite de Landauer représente une énergie d'approximativement 0,017 5 eV, ou 2,80 zJ. Théoriquement, la mémoire d'un ordinateur à température ambiante fonctionnant à la limite de Landauer pourrait être modifiée à la vitesse d'un milliard de bits par seconde, avec seulement 2,85 trillionièmes de watt de puissance se dégageant dans le module de mémoire. Les ordinateurs modernes utilisent des millions de fois plus d'énergie.
Cette importante prédiction physique qui fait le lien entre la théorie de l'information et la thermodynamique a été pour la première fois vérifiée expérimentalement en 2012 par des chercheurs du Laboratoire de physique de l'École normale supérieure de Lyon (CNRS/ENS de Lyon/université Claude Bernard Lyon 1), en collaboration avec un groupe allemand de l'Université de Augsburg. Leurs travaux sont publiés dans la revue Nature du [5].
Bibliographie
[modifier | modifier le code]- Jean-Paul Delahaye, « Vers du calcul sans coût énergétique », Pour la science, no 471, (lire en ligne)
Références
[modifier | modifier le code]- (en) Rolf Landauer, « Irreversibility and heat generation in the computing process », IBM Journal of Research and Development, vol. 5, no 3, , p. 183-191 (DOI 10.1147/rd.53.0183, lire en ligne [PDF], consulté le ).
- (en) Charles H. Bennett, « Notes on Landauer's principle, Reversible Computation and Maxwell's Demon » [PDF], Studies in History and Philosophy of Modern Physics, no 34., 2003.
- (de) Szilard, Leo (1929). "Über die Entropieverminderung in einem thermodynamischen System bei Eingriffen intelligenter Wesen (On the reduction of entropy in a thermodynamic system by the intervention of intelligent beings)". Zeitschrift für Physik. 53 (11–12): 840–856. Bibcode:1929ZPhy...53..840S. doi:10.1007/bf01341281. cited in Bennett 1987. English translation available as NASA document TT F-16723 published 1976
- La vitesse de la particule est constante dans le cylindre mais à chaque choc avec les atomes constitutifs des parois, la vélocité est modifiée aléatoirement suivant la loi de distribution des vitesses de Maxwell.
- (en) Bérut A, Arakelyan A, Petrosyan A, Ciliberto S, Dillenschneider R, Lutz E., Experimental verification of Landauer’s principle linking information and thermodynamics, Nature. 2012 Mar 7;483(7388):187-9. doi: 10.1038/nature10872.