# The First Law of Complexodynamics > [!abstract] 概要 > 30papers が、閉鎖系のエントロピーが単調増加する一方で、直観的な複雑性は中間状態で極大になる理由を形式化しようとしたブログ記事として選んだソースである。[[Scott Aaronson]] は、計算資源制約を組み込んだ sophistication を complextropy と呼び、「初期に小さく、中間で大きく、平衡後に再び小さくなる」という第一法則の候補を提示した。ただし、記事自身が未証明の予想であることを明記している。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]; [30papers](https://30papers.com/papers/first-law-of-complexodynamics/); [原典](https://scottaaronson.blog/?p=762)) ## ソース情報 - **30papers 掲載名**: The First Law of Complexodynamics - **30papers 上の著者・年**: [[Scott Aaronson]]、2011年 - **30papers の位置づけ**: 閉鎖系の複雑性がエントロピーと同じように単調増加せず、増加・極大・減少を示す理由を説明する形式的法則を問うブログエッセイ - **原典**: [Shtetl-Optimized](https://scottaaronson.blog/?p=762) - **公開日**: 2011-09-23 30papers は案内・初学者向け用語解説の層であり、技術的主張の根拠は Scott Aaronson の原典記事で照合した。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) ## 問題設定 閉鎖系のエントロピーは熱力学第二法則に従って最大値まで増える。しかし、物理系の「複雑さ」や「興味深さ」は単調には増えない。初期の整然とした状態と、十分に混合した平衡状態はいずれも単純に見え、その間の構造を含む状態が最も複雑に見える。記事は、複雑性の形式的定義と、自然なモデル系で中間時刻の値が大きくなることの証明を別々の課題として立てる。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) ![[_attachments/30papers-first-law-of-complexodynamics/fig01-coffee-mixing.jpg]] ミルクとコーヒーの混合例。左から右へエントロピーは増えるが、界面と混合領域が共存する中間状態の複雑性が最も高いという直観を示す。(Source: [原典](https://scottaaronson.blog/?p=762)) ![[_attachments/30papers-first-law-of-complexodynamics/fig02-complexity-over-time.jpg]] エントロピーの単調増加と、創発的複雑性の山型の変化を対比した概念図である。この滑らかな単峰形は法則として証明された観測結果ではなく、形式化すべき仮説を表す。(Source: [原典](https://scottaaronson.blog/?p=762)) ## 通常のコルモゴロフ複雑性が足りない理由 [[コルモゴロフ複雑性]]は、文字列を出力する最短プログラムの長さである。しかし、単純な初期状態から決定論的規則で発展した時刻 \(t\) の状態は、初期状態、遷移規則、\(t\) を与えれば再現できる。追加記述は \(O(\log t)\) ビットで済むため、目で見た乱雑さが線形・多項式的に増えていても、通常の尺度はそれを捉えない。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) さらに、一様ランダムな文字列はほぼ最大のコルモゴロフ複雑性を持つ一方、「ランダムである」と要約できるため、構造としては興味深くない。したがって、圧縮不能性だけでは「単純でもランダムでもない中間構造」を区別できない。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) ## Sophistication と complextropy 文字列 \(x\) の sophistication は、\(x\) がランダムな要素として属する集合 \(S\) の最短記述長として捉えられる。単純な \(x\) では \(S=\{x\}\)、一様ランダムな \(x\) では全 \(n\) ビット列の集合を選べるため、どちらも小さくなる。これにより「単純」と「ランダム」の間にある構造を測る余地が生まれる。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) しかし、資源制約のない sophistication も、時刻 \(t\) と遷移規則を短く記述できる問題を引き継ぐ。Aaronson は、集合からほぼ一様にサンプルするプログラムと、サンプルオラクルを使って \(x\) を復元するプログラムの両方に、例として \(n\log n\) 時間の制約を課す量を提案した。片方だけを制約すると、中間状態で大きくなった後に平衡で小さくなる性質を保証できないというのが提案の中心である。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) この資源制約付き量を記事は complextropy と呼ぶ。想定される第一法則は、complextropy が低エントロピーの初期状態で小さく、構造が生じる中間状態で大きく、十分に混合した平衡状態で再び小さくなるという予想である。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) ## 検証案 候補モデルは、黒と白の画素をコーヒーとミルクに見立て、隣接する異色画素をランダムに交換する二次元系である。中間状態では、単色領域、混合領域、不規則な境界を指定する必要があり、記述が長くなると予想される。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) complextropy 自体は計算・近似が困難と考えられるため、経験的研究では gzip 圧縮後のファイルサイズのような計算可能な代理指標を使う案が示される。これは数学的証明ではなく、仮説の物理学的・実験的な検査である。(Source: [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]]) ## 評価 ### 強み - エントロピー、圧縮不能性、構造的な興味深さを同一視せず、測りたい対象を切り分けた。 - 直観的な疑問を、モデル系、資源制約、証明対象を選べる研究問題へ狭めた。 - coarse-graining が担う「観測可能な規則性だけを数える」という役割を、効率的計算という操作的条件で置き換えようとした。 ### 限界 - 「第一法則」という名称に反して、記事時点では定理でも経験則でもなく予想である。 - 時間制約 \(n\log n\)、集合や分布の選び方、近似精度などは例示にとどまり、唯一の定義ではない。 - コーヒーの一様拡散では複雑性が大きくならない場合や、現実の系で複雑性が複数回増減する場合をどう扱うかは未解決である。 - gzip サイズはコルモゴロフ複雑性の粗い代理であり、complextropy の二重の資源制約を直接測定しない。 ## 関連 - 著者: [[Scott Aaronson]] - 中心概念: [[Complexodynamics]] - 理論的基礎と限界: [[コルモゴロフ複雑性]] ## 出典 - [[.raw/articles/30papers-first-law-of-complexodynamics-2026-07-28]] - [30papers: The First Law of Complexodynamics](https://30papers.com/papers/first-law-of-complexodynamics/) - [Scott Aaronson, “The First Law of Complexodynamics”](https://scottaaronson.blog/?p=762)