宇宙は計算機第 9 回（延長）／ 情報の式と物理の式

「情報の式を組み合わせ、自由度をとって厳密にすると、物理の微分方程式になる」── を本気で

情報の式と物理の式 情報理論の式は数える（有限・代数・整数）。物理の式は流れる（連続・微分）。
両者をつなぐ操作はたった一つ ── 自由度を \(\infty\) にとり、厳密を要求する。すると数え上げが微分に化ける。

芯：情報＝有限・数える／物理＝連続・微分／橋＝dof→∞ フック：情報の式 \(\xrightarrow{\text{dof}\to\infty}\) 微分方程式

前回、\(D\) を複素数に開いて「打ち切りが本物か」を追いました。今回はその一歩手前の、もっと骨太な問い ── 情報の式と物理の式は、何が違うのか。 答えはきれいです。情報の式は帳簿（状態を数える）、物理の式は流れ（レートを追う）。そして帳簿を流れに変える操作はただ一つ、自由度を無限にとって厳密にすること。しかも、それが文字通り Einstein 方程式を吐き出す実例が、あなたの質量シリーズにもう入っています。

01二種類の式 ── 数えるものと、流れるもの

まず並べてみます。この数回で出てきた式を、左右に仕分けるだけで差が見えます。

情報の式（数える・有限・微分なし）物理の式（流れる・連続・微分）
\(S=k\ln W\)（状態数を数える）拡散・熱方程式 \(\partial_t\rho=D\nabla^2\rho\)
\(S\le A/4\)（ビットの天井）Einstein 方程式 \(G_{ab}+\Lambda g_{ab}=8\pi G\,T_{ab}\)
\(kT\ln2\)（1ビット消去の代償）熱力学の微分関係 \(dU=T\,dS-p\,dV\)
\(F=1/(Cn)^D\)（次元の勘定）波動・場の方程式 \(\Box\,\phi=0\)
転送行列・回路（有限次元の線形代数）Schrödinger 方程式 \(i\hbar\,\partial_t\psi=H\psi\)

左は整数と代数、右は導関数。左には微分が一つもなく、右には至るところ導関数がある。この見た目の差が、実はたった一つの操作で埋まります。

02橋は一つ ── 差分が微分になる

格子間隔 \(\varepsilon\)（＝解像度の単位、有限の自由度）で刻んだ差分は、\(\varepsilon\to0\) で微分になります：

帳簿 → 流れ の素朴な機構 $$\frac{f(x+\varepsilon)-f(x)}{\varepsilon}\ \xrightarrow[\ \varepsilon\to0\ ]{}\ \frac{df}{dx},\qquad \sum_i f(x_i)\,\varepsilon\ \xrightarrow[\ \varepsilon\to0\ ]{}\ \int f\,dx$$

差分（引き算＝数える）が微分（レート）に、和（数える）が積分になる。自由度 \(N=L/\varepsilon\) を \(\infty\) にとった瞬間、代数の恒等式が力学の微分法則に化ける。\(S=k\ln W\)（数える）が熱力学極限でなめらかな熱力学・拡散方程式（流れる）になるのも、同じこの操作です。

図1：自由度 \(N\) を増やすと、差分（帳簿）が微分（流れ）になる。曲線上の一点で、差分の傾き（テラコッタの割線）が \(\varepsilon=L/N\to0\) につれ 真の微分（青緑の接線）に近づく。点を増やすほど折れ線（離散版）も曲線に貼りつく。誤差はおよそ \(\varepsilon\) に比例して消える。
スライダーで N を増やすと、差分の傾きが真の微分に近づきます。
真の連続曲線 f(x) 差分の割線（情報＝数える） 真の微分＝接線（物理＝流れる）
◇ ◇ ◇

03決定的な実例 ── 情報の式から Einstein 方程式が落ちる

抽象論ではありません。文字通りあなたの一文が実現している導出があります ── Jacobson 1995（質量シリーズ補遺⑥でやったもの）：

情報の式 ＋ すべての自由度 ＋ 厳密 ＝ 微分方程式

情報の式を入れる：

$$\underbrace{\delta S=\eta\,\delta A}_{\text{面積エントロピー（数える）}}\quad \underbrace{T=\frac{\hbar\kappa}{2\pi}}_{\text{Unruh 温度}}\quad \underbrace{\delta Q=T\,\delta S}_{\text{Clausius}}$$

これをあらゆる局所リンドラー地平線について（＝すべての方向・自由度をとって）厳密に成り立てると：

$$\boxed{\,R_{ab}-\tfrac12 R\,g_{ab}+\Lambda g_{ab}=8\pi G\,T_{ab}\,}$$

Einstein の微分方程式が落ちてくる。\(G\) は面積エントロピーの係数、\(\Lambda\) は積分定数として。まさに「情報の式を組み合わせ、自由度をとり、厳密にすると物理の微分方程式になる」。

同じ骨の実例は他にもあります ── どれも「情報の式 ＋ すべての自由度で厳密に ＝ 微分方程式」：

同じ形をした橋たち

04差の言い直し ── どちらが「本物」か

ここまでで差は一つの矢印に凝縮します：

情報の式と物理の式の関係
$$\underbrace{\text{情報の式}}_{\text{有限・数える・厳密}}\ \xrightarrow[\ \text{厳密を要求}\ ]{\ \text{自由度}\to\infty\ }\ \underbrace{\text{物理の微分方程式}}_{\text{連続・流れる・理想化}}$$

微分とは「無限にズームできる」を前提にした操作。だから物理の微分方程式は、有限で数える基層が、個々のビットを数えるのをやめて平均だけを追ったときに自分について語る物語。導関数は連続極限のフィクションです。

ここで前回の「打ち切りは本物（宇宙はめんどくさがり屋）」に置くと、序列がはっきりします。基層が本当に有限なら ── 情報の式が本物（有限・厳密）で、物理の微分方程式はその \(\varepsilon\to0\) の理想化＝便利な嘘。

前回の「打ち切って計算」の逆向き 第8回の「ある程度で打ち切って計算しよう（有効場理論）」は自由度を減らす向き。今回の「dof→∞で微分方程式」は自由度を増やす向き。二つは同じ一本の軸の両端です ── 実務では打ち切って計算し（有限）、理論の美しい連続 PDE は「打ち切らなければこうなる」という到達しない理想。めんどくさがりの宇宙では、その理想像には決して届かない。だから微分方程式は常に創発・近似で、根本ではない ── というのが「打ち切り本物」派の一貫した読み。
◇ ◇ ◇

05正直な線 ── 連続極限はタダじゃない

この橋は本物ですが、片道の仮定に乗っています。三点、正直に：

(1) 連続極限は臨界点でだけ立つ。 \(\varepsilon\to0\) でまともな微分方程式が出るのは、離散理論が臨界点（RG 固定点、相関長 \(\xi\to\infty\)）に座っているときだけです。ふつうの有限・離散理論は、格子アーティファクト＝ローレンツ破れを出す（第2回で格子CAが失格した、あれ）。だから「自由度をとれば物理になる」は無条件ではない。

図2：連続極限が立つのは臨界点の近くだけ。縦軸は相関長 \(\xi\)÷格子間隔 \(a\)。臨界点 \(g_c\) に近づくと \(\xi/a\to\infty\)（格子間隔が無視できて連続・微分方程式が立ち、ローレンツも回復）。離れると \(\xi/a\) は数個 ── 格子が見えてアーティファクト＝ローレンツ破れで、微分方程式は近似ですらない。スライダー \(g\) で今どちらにいるかが決まる。
スライダーで g を臨界点 g_c=0.5 に近づけると、連続極限が立ちます。
相関長 ξ/a 連続極限OK（ξ≫a） 臨界点 g_c

(2) Jacobson は情報の式を仮定して微分方程式を出す。 面積則 \(S=\eta A\) を入力にして Einstein 方程式を導くが、面積則そのものは導かない。謎は「なぜ \(S=A/4\) か」＝微視的な状態数勘定へ移動するだけで、閉じない（補遺⑥の正直な線そのまま）。もつれ版・Verlinde 版も同じ構造です。

(3) 向きが逆。 この「dof→∞」は前回の「打ち切って計算」の反対向き。二つが同じ軸の両端であること自体は確かですが、与えられた有限理論から「正しい」連続極限が本当に存在するかは臨界性を要し、重力では未証明（スピンフォームの連続極限、CDT の二次相転移）。これが二シリーズで一貫して指してきた the one hole です。

正直な線

「情報の式 → 微分方程式」は実在の機構です（差分→微分、\(S=k\ln W\)→熱力学、Boltzmann→Navier–Stokes、転送行列→Schrödinger、そして Jacobson→Einstein）。ここに新物理はなく、いずれも確立した数学／物理。

ただし ──「情報の式のほうが本物で、微分方程式は創発の理想化」という序列づけは、確立した事実ではなくあなたの賭け（打ち切りが本物なら、の話）。物理側は逆に「連続が本物で離散は近似」とも読める（第3回：連続／離散は表現、読む向き）。どちらが根源かは、連続極限が臨界でしか立たないという事実と、\(S=A/4\) の微視的起源＝未解決の穴に賭かっている。「解けた」とは言わない ── 橋は架けた、どちら岸が土台かは決めない。

練習問題（この一枚で解けます）
  1. 情報の式と物理の式の見た目の差を一言でいうと？ そして両者をつなぐ操作は？
    答えを見る
    情報の式は「数える」（有限・代数・整数、微分なし）、物理の式は「流れる」（連続・微分）。つなぐ操作は一つ ── 自由度を \(\infty\) にとり厳密を要求する（\(\varepsilon\to0\)）。差分が微分に、和が積分に、\(S=k\ln W\) がなめらかな熱力学になる。
  2. 「情報の式から微分方程式が出る」の最も鮮烈な実例は？ そこで導かれていないものは？
    答えを見る
    Jacobson 1995：面積エントロピー \(\delta S=\eta\delta A\)＋Unruh 温度＋Clausius \(\delta Q=T\delta S\) を、あらゆる局所リンドラー地平線で厳密に課すと Einstein 方程式が落ちる。ただし面積則 \(S=A/4\) 自体は仮定で、導かれていない。謎は「なぜ \(S=A/4\) か」＝微視的状態数勘定へ移動するだけ。
  3. 「情報の式が本物で、微分方程式は創発の理想化」は事実？
    答えを見る
    事実ではなく賭け。それが成り立つのは「打ち切りが本物（基層が有限）」の場合。逆に「連続が本物で離散は近似的表現」とも読める（第3回）。決着は、連続極限が臨界点でしか立たないこと、および \(S=A/4\) の微視的起源＝未解決に賭かっている。橋（数え上げ→微分）は確立、どちら岸が土台かは未決。

まとめ数え上げは、自由度をとると微分になる

情報の式は数える（\(S=k\ln W\)・\(S\le A/4\)・\(kT\ln2\)・\(F=1/(Cn)^D\)、有限・代数・微分なし）、物理の式は流れる（Einstein・Schrödinger・Navier–Stokes、連続・微分）。両者をつなぐのは一つの操作＝自由度を \(\infty\) にとり厳密にする。差分は微分に、和は積分になる。そして文字通り ── 面積エントロピー＋Unruh＋Clausius をすべての地平線で厳密に課すと Einstein 方程式が落ちる（Jacobson）。もつれ第一法則→線形化 Einstein、Boltzmann→Navier–Stokes、転送行列→Schrödinger も同じ骨。

「打ち切りが本物」の読みでは、情報の式が本物・微分方程式は \(\varepsilon\to0\) の理想化（＝前回の「打ち切って計算」の逆向き）。ただしこの序列は賭けであって事実ではない ── 連続極限は臨界点でしか立たず（さもなくば格子アーティファクト＝ローレンツ破れ）、Jacobson は \(S=A/4\) を仮定し、その微視的起源＝the one hole は開いたまま。橋は架けた、どちら岸が土台かは正直に決めずに置く。

← 第8回：虚数の次元 目次へ 第10回：四つの力の次元 →
この文書は「宇宙は計算機」シリーズ第9回（延長・会話のまとめ・正直版）です。有限差分の連続極限（差分→微分、Riemann 和→積分）、統計力学から流体力学への極限（Boltzmann 方程式→Navier–Stokes）、経路積分・転送行列の連続時間極限（→Schrödinger 方程式）、熱力学的重力（Jacobson 1995：局所リンドラー地平線＋面積エントロピー＋Unruh 温度＋Clausius から Einstein 方程式）、もつれの第一法則からの線形化 Einstein 方程式（Van Raamsdonk・Faulkner・Lashkari ら）、連続極限と RG 固定点／臨界点（相関長発散）、格子の連続極限問題とローレンツ不変性の回復（スピンフォームの連続極限、CDT の二次相転移）は、いずれも確立した数学／物理、または現行の研究課題です。\(F=1/(Cn)^D\) は次元の定義関係、\(S\le A/4\)・CKN 境界・\(\hbar H_0/c^2\) は姉妹シリーズ「わかる質量」で正直に線引きした内容。「情報の式が根源で微分方程式は創発」という序列は確立した事実ではなく、基層が有限（type I）かどうかという未解決の賭けに依存します。Jacobson の導出は面積エントロピー則を仮定として用い、その微視的起源は導かれません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を（印刷版ではスライダーと解答は静止・非表示になります）。

印刷 / PDF 化：Ctrl+P（Mac は ⌘+P）。画面では、図1で自由度 N を増やすと差分が微分に近づき、図2で臨界点に近づくと連続極限が立つ様子が見えます。「答えを見る」で解答が開きます。