マックスウェルの悪魔と非可換な情報——なぜ実世界情報は「順序」を消せないのか（責任OS）
- kanna qed
- 4 日前
- 読了時間: 5分
これは責任OSの中核を説明する記事ではない。中核(ResponsibilityInfoKernel)を支える、もう少し抽象的な「情報とは何か」という補助線の話である。素材として、物理学の有名な思考実験——マックスウェルの悪魔——を借りる。
マックスウェルの悪魔が示したこと
マックスウェルの悪魔は、19世紀の思考実験である。気体分子の入った箱の真ん中に小さな扉があり、扉の番をする「悪魔」が、速い分子だけを一方に、遅い分子だけを他方に通す。すると何もエネルギーを与えていないのに、箱の片側は熱く、もう片側は冷たくなる——熱力学第二法則(エントロピーは減らない)に違反するように見える。
この問題は長く議論され、現在ではLandauerの原理を含む情報熱力学の文脈で整理されている。悪魔が「どちらに通すか」を判断するには分子の情報を記憶しなければならず、その記憶を消去するときに、必ず熱力学的なコストが発生する。つまり、悪魔が下げたように見えるエントロピーは、情報を消去するコストとして必ず系の外に支払われる。
ここでの教訓は明確だ。情報は中立な飾りではない。情報を持つこと、使うこと、消すことには、物理的な代償が伴う。
悪魔が「主題化しなかった」もう一つの問い
マックスウェルの悪魔の議論——そしてLandauerの原理——が焦点を当てたのは、情報の量である。どれだけの情報を記憶したか、それを消すのにどれだけのコストがかかるか。
しかし、そこには問われていないことがある。
悪魔が分子Aを観測してから分子Bを観測するのと、Bを観測してからAを観測するのとで、悪魔の「持っている情報」の量は変わらない。だが、それは本当に「同じ情報」なのか?
これは物理学の問題というより、情報そのものの構造に関する問いである。「何を知っているか」が同じでも、「どの順序で知ったか・記録したか・処理したか」が違えば、それは別の情報なのではないか。
責任OS側の問い:結果が同じでも、順序が違えば「別の記録」
AI判断の文脈に置き換えると、この問いは急に実務的になる。
ある業務フローで、AIが先に「不審」のフラグを立て、その後で人間が承認する。別のフローでは、人間が先に承認し、その後でAIがフラグを立てる。最終結果——「承認済み・リスクスコア3」——は同じかもしれない。記録されている情報の量も同じかもしれない。
しかし、この2つは「同じ情報」だろうか。一方は「安全装置が機能した」、もう一方は「安全装置が手遅れだった」。情報量としては等価でも、責任のうえでは別物である。
責任OSの語彙でいえば、結果・スコア・ラベルだけを残し、順序を記録しない要約は、この2つの履歴を「同一視」する——これを**commutativization(可換化)**と呼ぶ。可換化された記録からは、どちらの履歴だったかを後から復元する方法は存在しない。
Lean 4が示すこと:非可換性は例外ではなく一般的
ここでGenericNoncommutativity.leanが登場する。この形式化が問うのは、悪魔の議論とは少し違う角度の問いである。
状態数|S|の有限な系の上で、2つの操作を「ある状態を別の状態に変える、任意の関数」としてモデル化する。このとき、「Aしてから B」と「Bしてから A」が同じ結果になる(=順序が効かない、可換である)組は、全体のどれくらいの割合か?
証明されている答えは、直感に反して強い。|S| ≥ 101なら、操作のペアの少なくとも99%は非可換——つまり順序が結果を変える。さらに一般に、状態数が大きくなるほど、非可換な組の割合は100%に近づく(任意のKについてK/(K+1)以上の比率まで押し上げられることが証明されている)。
言い換えれば、「2つの操作の順序を入れ替えても結果は同じだろう」という直感は、安全な既定値ではなく、数学的には例外側である。
ここが、マックスウェルの悪魔との接続点になる。
マックスウェルの悪魔が示したのは、情報には「持つ・使う・消す」という操作があり、それぞれに代償が伴うということだった。 このLeanが示すのは、それより一段手前の話である。情報には「どの順序で観測・作用・記録されたか」という次元があり、その順序差そのものが、量とは独立な情報である。そして、その順序差が消えてしまう(=可換になる)組み合わせの方が、構造的には例外である。
言える主張と、まだ言えない主張
ここからは誠実さが問われる部分である。
言えるのは、こうだ。実世界の情報過程を「有限状態上の状態遷移」としてモデル化する限り、順序の差異それ自体が情報であり、それを可換化して捨てることは、単に「データ量が減る」のとは違う種類の損失である——失われるのは量ではなく、後から検査できるかどうかという性質そのものである。そして、そのような順序差が「消えずに残る」組み合わせの方が一般的であることは、Leanで証明済みである。
まだ言えないのは、こうだ。Landauerの原理は、情報消去に熱力学的コストが必ず伴うという、物理法則レベルの主張だった。これに対して、「責任情報を可換化して消すことには、何らかの物理的・計算的コストが必ず発生する」という、Landauer級の対応する法則は、今のところ証明されていない。GenericNoncommutativityが証明しているのは「有限状態上の全遷移関数を一様に数えると、非可換な組が一般的である」という組合せ論的な事実であり、「実世界のすべての情報が非可換である」という経験的主張でもない。
なので、現時点で安全かつ強い言い方はこうなる。
責任情報は「重い」情報である。 ただしこの「重さ」は、今のところ熱力学的な重さではなく、構造的な重さである。順序・履歴・根拠・証跡を含む情報を、結果だけに可換化・圧縮すると、後から検査可能な差分が失われる——その差分は、量を測っても見えてこない。
「Landauer原理級に、消去コストを物理法則として示した」とは言わない。ここはむしろ、まだ誰も十分に踏み込んでいない領域として、開いたまま提示するのが良い。
まとめ:悪魔の「逆」を行く、小さな一歩
マックスウェルの悪魔とLandauerの原理は、「情報は物理的秩序に関与し、その消去には代償がある」ことを示した。これは情報量の物語である。
責任OSと、それを支えるこの非可換性のLeanは、その一段手前——「情報には量とは独立に、順序という次元があり、その順序差そのものが情報であり、一般には消えない」という構造の物語を扱う。これは、マックスウェルの悪魔が主題化しなかった領域への、ささやかな一歩である。
物理学への挑戦ではなく、情報という概念そのものの、まだ十分に掘られていない一面として読むのが、この話の一番正確な位置づけだと思う。
さらに詳しく
非可換性の一般性に関する形式的な証明(generic_noncommutativity_ratio_lower_boundを含む)は、responsibility-info-kernelリポジトリのGenericNoncommutativity.leanで公開されており、CIによってsorryなしで検証されている。
コメント