Entropy Generation in Computation and the Second Law of Thermodynamics

Landauer discussed the minimum energy necessary for computation and stated that erasure of information is accompanied by heat generation to the amount of kT ln2/bit. Modifying the above statement, we claim that erasure of information is accompanied by entropy generation k ln2/bit. Some new concepts will be introduced in the field of thermodynamics that are implicitly included in our statement. The new concepts that we will introduce are ``partitioned state'', which corresponds to frozen state such as in ice, ``partitioning process'' and ``unifying process''. Developing our statement, i.e., our thermodynamics of computation, we will point out that the so-called ``residual entropy'' does not exist in the partitioned state. We then argue that a partioning process is an entropy decreasing process. Finally we reconsider the second law of thermodynamics especially when computational processes are involved.