View source for Maxwell's demon

[[wikipedia:Maxwell's demon|Maxwell's demon]] is a thought experiment invented by [[James Maxwell]], which can be found in his book<ref>{{:BOOK/Theory of Heat}}</ref>. In [[PKC]], Maxwell's demon is abbreviated as [[MxD]].

=MxD as a Universal Construct=
The simple thought experiment by [[James Maxwell]] very much resembles the characteristics of a [[quantum bit]], or [[qubit]]. It consists of a device that has two possible states that cannot be immediately determined until some measurements is conducted. The ability to conduct this measurement without distorting the actual state of the system has been extensively discussed and studied, and resulted in major advances in quantum physics, and related to ideas such as [[information erasure]]. It was until the late 80s in the twentieth century, that [[Bennett]] and others cracked the puzzle for [[MxD]], that it costs energy to extract information.
==Proposition: Use Kan Extension to model MxD==
Knowing that Kan Extension/Lift pair is the most universal of all universal constructs<ref>{{:Thesis/All Concepts are Kan extensions}}</ref>. This assertion prompts us to map the concept of [[MxD]] to [[Kan Extension]]. While we are talking about universal constructs, it is necessary to mention that the concept covers not only classical logic, but also reversible logics<ref>[[Reversible Logic]]</ref>. Imagine how the demon is trying to figure out the position or energy distribution of two chambers, which can be most confounding if the two chambers are exactly alike and no differences between the two chambers can be told. Therefore, all the demon can do is to pray for god to help it tp break information [[symmetry]]. Just like a trader making a buy/sell decision in the market place, the basic notion of telling left/right, lift/extend, up/down, and other counter-balancing pairs of actions make symmetry, all primitive universal components must cope [[symmetry]]/[[symmetry-breaking]] at its core. The core is that all [[universal component]]s must be some form of a [[symmetry breaking]] device.

<noinclude>

=References=
<references/>
==Related Pages==
{{#ask: [[Category:Entropy]] | [[Category:Symmetry]] | [[Category:Universal component]]
|format=category
}}
[[Category:Measurement]]
[[Category:Process]]
[[Category:Symmetry]]
[[Category:Symmetry breaking]]
[[Category:Invariance]]
[[Category:Assessment]]
[[Category:Verification]]
[[Category:Validation]]
[[Category:Testing]]
[[Category:Motivation]]
</noinclude>