A minimal mathematical approach is used to state Landauer’s principle in a precise, general way. The results are obtained by means of a rigorous development which is based on the use of quantum statistical mechanics. A mathematical form of the principle results as an equality rather than an inequality. The equality version does imply the original statement of the principle as introduced by Landauer.
Bracken, P. A mathematical investigation of Landauer’s principle. J Math Chem 61, 1292–1300 (2023). https://doi.org/10.1007/s10910-023-01463-x
Journal of Mathematical Chemistry