An explanation of the Landauer bound and its ineffectiveness with regard to multivalued logic

We discuss, using recent results on the thermodynamics of multivalued logic, the difficulties and pitfalls of how to apply the Landauer’s principle to thermodynamic computer memory models. The presentation is based on Szilard’s version of Maxwell’s demon experiment and use of equilibrium Thermodynamics. Different versions of thermodynamic/mechanical memory are presented – a one-hot encoding version and an implementation based on a reversed Szilard’s experiment. The relationship of the Landauer’s principle to the Galois connection is explained in detail.

---

Opisujemy, używając niedawne badania związane z termodynamiką dla logiki wielowartościowej, problemy związane z zastosowaniem reguły Landauera dla termodynamicznego modelu pamięci komputera. Analiza jest oparta na wersji Szilarda demona Maxwella z termodynamiki równowagowej. Zostały zaprezentowane różne wersje termodynamicznej/mechanicznej pamięci – wersja gorąco jedynkowa i implementacja bazująca na odwróconym eksperymencie Szilarda. Zaprezentowano również związek pomiędzy regułą Landauera i koneksją Galois.

---

Section "Mathematics"