数学と物理的実在のギャップとその計測モデル

Decrypt history, Encrypt future™

数学と物理的実在のギャップとその計測モデル

1. 演繹体系と物理的拘束の非同値性

計算機科学、数理論理学、および理論物理学の交差点において長年議論されてきた根本的な課題は、「数学的妥当性(Mathematical Validity)」と「物理的実現可能性(Physical Feasibility)」の間に存在する構造的な乖離である。
数学における真理は、選択された公理系(Axiom Systems)および推論規則(Inference Rules)に基づく演繹的閉包(Deductive Closure)として定義される。ある命題が真であるとは、前提となる公理から有限ステップの記号操作によって同値変形可能であることを意味するに過ぎず、その導出過程が現実の時空においていかなる物質的・エネルギー的制約を伴うかは問われない。公理系が恒等関係を保存する限り、論理的導出は「無資源」かつ「瞬時」に行われるものとして扱われる。
これに対し、物理世界におけるあらゆる情報処理および状態遷移は、熱力学第二法則、相対論的局所性(因果律および光速限界)、量子力学的測定限界といった物理法則に不可逆的に束縛される。ランドルフ・ランダウアーが提唱した「情報は物理的である(Information is Physical)」という命題が示す通り、記号の消去や状態の反転には不可避的に熱力学的散逸(最小で $k_B T \ln 2$)が伴い、回路内の配線長は電磁気的遅延(RC遅延およびマクスウェル方程式による伝播遅延)を発生させる。
数学的公理系における等価性と物理的実装における非等価性の間に横たわるギャップを定量化する学術的体系を精緻に整理し、それらが企業経営、資本配分、および組織スケーリングというマクロな動的システムにおいてどのように発現するかを、誇張を排した客観的・学術的事実に基づいて論述する。

2. 数学と計算の物理的実現ギャップ(Physical Realization Gap)を測る学問体系

抽象的な数学的命題を現実世界で実行する際に生じる空間(Space)、時間(Time)、エネルギー(Energy)の消費と破綻のメカニズムは、単一の学問ではなく、複数の理論分野によって多層的に定式化されてきた。

2.1 証明複雑性(Proof Complexity)

クック(Stephen Cook)とレックハウ(Robert Reckhow)によって1979年に形式化された証明複雑性は、命題論理における恒真式(Tautology)や矛盾(Unsatisfiability: UNSAT)を検証・証明するために必要な「最短の証明長(Proof Size)」を研究する分野である。
$$NP \stackrel{?}{=} co\text{-}NP$$
この未解決問題は、任意の真である命題に対し、多項式長(Polynomial size)の証明が常に存在するか否かを問うている。後述するアルミン・ハッケン(Armin Haken, 1985)の研究が示したように、制限された証明体系(分解法など)においては、命題の変数が線形に増大するだけで、証明に必要な推論ステップ数が指数関数的($2^{\Omega(n)}$)に発散することが証明されている。これは、論理的には有限ステップで証明可能であるという事実が、物理的な時間内での証明の完了を何ら保証しないことを数学的に示している。

2.2 回路計算量(Circuit Complexity)

ブール関数を論理ゲート(AND, OR, NOT等)の有向非巡回グラフ(DAG)として具現化する非一様計算モデル(Non-uniform Model)の複雑性を測る理論である。チューリングマシンのような逐次処理(ソフトウェア)に対し、回路計算量は固定配線されたハードウェア(シリコン基板上のゲート配置)の規模を直接的にモデル化する。
  • サイズ(Circuit Size): 必要なゲート総数であり、物理的実装におけるチップ面積やハードウェアリソース量の上限・下限を規定する。
  • 深さ(Circuit Depth): 入力から出力に至る最長パスであり、並列計算時間および回路全体の信号遅延の物理限界を規定する。
証明複雑性と回路計算量は、クレイグ補間定理(Craig Interpolation)を発展させた「実行可能補間定理(Feasible Interpolation)」によって数学的に接続されている(Krajíček 1997, Razborov 1995)。ある証明体系で短い証明が存在することと、対応するブール関数を小さな回路で計算できることの間には双対性が成立しており、証明の長さの爆発と回路規模の爆発は数学的同値性を持つ。

2.3 VLSI計算量(VLSI Complexity)

C. D. トンプソン(C. D. Thompson, 1979)やブレント&クング(R. P. Brent & H. T. Kung, 1981)らによって確立されたVLSI複雑性は、抽象的なグラフ理論としての回路計算量に対し、「有限の2次元または3次元空間に配線(Wire)とゲート(Node)を配置した際の幾何学的・物理的制約」を組み込んだ理論である。
VLSIモデルでは、素子の面積だけでなく、素子間を結ぶ導線の交差や配線面積が考慮される。ここで導出された著名な下界が $AT^2$ 下界(Area-Time Trade-off) である。ある情報処理において、チップ面積を $A$、実行時間を $T$ としたとき、入出力間でやり取りされる情報の境界二乗幅(Bisection Width)$w$ に対し、
$$A T^2 = \Omega(w^2)$$
という物理的制約が課される。これは、計算を高速化($T$ を縮小)しようとすれば、通信配線が占有する幾何学的面積($A$)が二乗に比例して膨張し、熱的・空間的限界に突き当たることを示している。

2.4 細粒度複雑性(Fine-Grained Complexity)

従来の計算複雑性理論は、多項式時間($P$)と指数時間($EXP$)の二分法を主軸としていた。しかし、現実の大規模データ処理においては、$O(n)$ と $O(n^2)$、あるいは $O(n^3)$ の差異は、実用可能か破滅的停止かの絶対的境界線となる。
強指数時間仮説(SETH: Strong Exponential Time Hypothesis)などを公理的仮定として置き、例えば「最長共通部分列問題(LCS)」や「編集距離問題」など、理論上は多項式時間で解ける問題に対して、真に $O(n^{2-\varepsilon})$($\varepsilon > 0$)のアルゴリズムが存在し得ないことの下界を証明する学問である。

2.5 物理的計算論(Physics of Computation)

物理法則そのものが情報処理に課す下界を定量化する分野である。
  • ランダウアー限界(Landauer’s Principle, 1961): 1ビットの情報を不可逆的に消去または併合する際、熱力学的に周囲環境へ散逸する最小エネルギーは $E \ge k_B T \ln 2$ である。
  • マージョラス=レヴィチン定理(Margolus-Levitin Theorem, 1998): 平均エネルギー $E$ を持つ量子系が直交する別の状態に遷移するために必要な最小時間は $\Delta t \ge \frac{\pi \hbar}{2 E}$ である。
  • ブレマーマンの限界(Bremermann’s Limit, 1962)およびロイドの計算限界(Seth Lloyd, 2000): アインシュタインの質量エネルギー等価性 $E=mc^2$ と量子力学的限界を組み合わせることで、質量 $1\text{ kg}$・体積 $1\text{ L}$ の究極の物理的コンピュータが実行可能な最大演算速度は秒間約 $10^{51}$ 演算、保持可能な最大情報量は約 $10^{31}$ ビットであることが導かれている。

3. 組み合わせ爆発と相転移の数理

数学的抽象においては直観的に自明とされる命題であっても、物理的実装においては「リソースの指数的爆発」や「臨界点における挙動の急変」によって破綻する。これを代表する二大数理モデルが「鳩の巣原理」と「くりこみ群における相転移」である。

3.1 鳩の巣原理(Pigeonhole Principle)における証明長の下界

鳩の巣原理($\mathrm{PHP}_n^{n+1}$)は、「$n+1$ 羽の鳩を $n$ 個の巣に入れると、少なくとも1つの巣には2羽以上の鳩が入る」という命題である。有限集合の基数比較としては自明な真理である。
しかし、これを充足不能性(UNSAT)問題として命題論理の連言標準形(CNF)に形式化し、一般的な命題自動証明手法である「分解法(Resolution)」を用いて矛盾(空節 $\square$)を導出する場合、様相は一変する。

ハッケンの定理(Haken, 1985)

1985年、アルミン・ハッケンは、$\mathrm{PHP}_n^{n+1}$ を分解法体系で証明するために必要な節(Clause)のステップ数が、ある正の定数 $c$ に対して下界を持つことを証明した。
$$S(n) \ge 2^{cn} = 2^{\Omega(n)}$$
この下界を導出するためにハッケンが開発した手法が「ボトルネック法(Bottleneck Method)」である。
証明木(または有向非巡回グラフ)の根から葉への各探索パスにおいて、「割り当てられた真偽値の数が一定の範囲(例えば $n/3$ から $2n/3$)にある中間的な節」を定義する。このような節は膨大な数の部分配置を同時に排除しなければならず、二項係数を用いた組合せ論的評価から、節の幅(含まれるリテラル数)が $\Omega(n)$ 以上にならざるを得ない。その結果、証明グラフの断面積が指数関数的に肥大化することが示された。
この定数 $c$ は、ハッケンの原論文では安全側の厳密な評価により $c \approx 0.01$ 程度とされ、その後の研究(Beame & Pitassi 1993, Buss & Turán 1988等)により $c \approx 0.05 \sim 0.1$ の範囲に位置することが特定されている。
上限についても、素朴な全探索木($n!$ 通り)や効率化された分解法アルゴリズムにより、$S(n) \le 2^{O(n \log n)}$ の範囲で抑えられており、$c$ が $1$ を超えるような非現実的な巨大値にはならない($c < 1$)ことが証明されている。
しかし、$c = 0.05$ であっても、$n = 2,000$ の段階で証明長は $2^{100} \approx 1.26 \times 10^{30}$ ステップに達する。毎秒 $10^{12}$ 回(1テラステップ)の演算を実行できる計算機であっても、宇宙の現在の年齢(約 $138$ 億年 $\approx 4.35 \times 10^{17}$ 秒)の数万倍の時間を要し、物理的に証明を完了させることは不可能となる。論理的な真理と物理的な計算完了可能性は、指数関数的障壁によって断絶している。

3.2 ウィルソンのくりこみ群(Renormalization Group)と大数の法則の破綻

通常のマクロ系において、ミクロな微小変動(ゆらぎ)がマクロな挙動に影響を与えず無視できるのは、「大数の法則(LLN)」および「中心極限定理(CLT)」が成立しているためである。
格子上にある変数 $s_i$ に対し、相関関数が距離 $r$ に対して相関長 $\xi$ で指数関数的に減衰する場合:
$$\langle s_i s_j \rangle – \langle s_i \rangle \langle s_j \rangle \sim e^{-r / \xi}$$
系をブロックサイズ $L \gg \xi$ で粗視化(Coarse-graining)して平均をとると、各ブロックは統計的に独立となり、ゆらぎの分散は $1/N$ で収縮する(ガウス的不動点への収束)。
しかし、ケネス・ウィルソン(Kenneth G. Wilson, 1971, 1982年ノーベル物理学賞)が確立したくりこみ群理論(RG)は、臨界点(相転移点)においてこの前提が完全に瓦解する数理的メカニズムを明らかにした。

くりこみ変換と相関長の発散

空間を $b$ 倍に粗視化し、変数をリスケールする変換写像を $\mathcal{R}_b$ と定義する。系のハミルトニアンパラメータ $K$ の空間において、変換を施しても変化しない点を臨界不動点(Critical Fixed Point)$K^*$ とする。
$$K^* = \mathcal{R}_b(K^*)$$
不動点近傍で線形化された変換の固有値を $\lambda_i = b^{y_i}$ とする。
温度や外部制御パラメータが臨界値に達したとき、系を不安定化させる関連変数(Relevant parameters: $y_i > 0$)のズレがゼロに調整される。このとき、系はスケール変換を繰り返しても不動点 $K^*$ に留まり続ける。
相関長 $\xi$ のスケール則は $\xi(K^*) = \xi(\mathcal{R}_b(K^*)) = \xi(K^*) / b$ であるため、$b > 1$ においてこの等式が成立する解は唯一、
$$\xi = \infty$$
である。相関長が無限大に発散した結果、2点相関関数は指数減衰からスケール不変なベキ乗減衰(Power-law)へと変形する。
$$\langle s(0) s(r) \rangle \sim \frac{1}{r^{d – 2 + \eta}}$$
($d$ は空間次元、$\eta$ は異常臨界指数)
長距離相関が全域に及ぶため、ミクロ変数の独立性が失われ、大数の法則は無力化される。ブロック変数の和の分散は $N$ に対して超線形に増大し、ミクロな1自由度のゆらぎが系全体を巻き込むマクロな集団的変動(臨界乳光、巨大な相転移)へと直結する。

4. 観測誤差と解像度変換の情報力学

「解像度を変えると観測誤差になる」という構造は、物理学における粗視化と、情報理論における不可逆圧縮の数理から厳密に裏付けられる。

4.1 自由度の射影とノイズの生成

微視的状態空間(高次元位相空間)を $\Omega_{\text{micro}}$、巨視的状態空間(低次元)を $\Omega_{\text{macro}}$ とし、粗視化写像を $\Pi: \Omega_{\text{micro}} \to \Omega_{\text{macro}}$ とする。
リウヴィル方程式に従う微視的な完全決定論的動力学において、状態ベクトル $x(t) \in \Omega_{\text{micro}}$ は保存的(ユニタリ的)に推移する。しかし、射影写像 $\Pi$ を通じて観測されるマクロ変数 $X(t) = \Pi(x(t))$ の時間発展を記述する場合、森=ゾンツィッヒ(Mori-Zwanzig)の射影演算子法が示す通り、微視的な自由度は以下の3つの項へと形式的に分解される。
$$\frac{d}{dt}X(t) = \Omega X(t) – \int_0^t K(s) X(t-s) ds + R(t)$$
  1. 第1項(平均的なドリフト運動): マクロ変数自身の瞬時的な決定論的挙動。
  2. 第2項(メモリカーネル・散逸項): 過去にミクロ空間へ逃げた情報が遅延してフィードバックする摩擦・抵抗。
  3. 第3項(ランダム力・ノイズ $R(t)$): 観測機器の解像度では追跡不能となった、切り捨てられた微視的自由度がもたらす「ゆらぎ」。
すなわち、観測者が「ランダムな誤差」「ノイズ」と認識している物理的実体は、本質的なランダム性の発現ではなく、「観測系の解像度限界によって積分消去(部分トレース)された決定論的自由度の射影成分」である。

4.2 通常領域と臨界領域における誤差の挙動

特性 非臨界領域(定常・安定相) 臨界領域(相転移・極限状態)
相関長 $\xi$ 有限($\xi \ll L$) 無限大($\xi \sim L \to \infty$)
微視的ゆらぎの合成 独立同分布に漸近、打ち消し合う ベキ乗則に従い、大域的に共鳴・増幅
解像度低下の影響 ホワイトノイズ化(平均値に収束) スケール不変な1/fゆらぎ(構造が残存)
マクロシステムへの影響 観測誤差として無視可能 局所エラーが系全体を停止・破壊

5. 物理経営(Physical Management)の数理モデル

以上の計算理論、VLSI複雑性、相転移力学、および情報物理学の知見を、人間集団と資本が形成する「制度的計算機械(Institutional Automaton)」としての企業経営へと適用した体系が「物理経営(Physical Management)」である。
従来の経営理論が、人間の心理的インセンティブ、帰納的ケーススタディ、または会計上の事後集計値(P/L)を基盤としていたのに対し、物理経営は、企業を「有限の物理的資源(キャッシュ・帯域・レイテンシ・エネルギー)の拘束下で稼働する分散ステートマシン」として捉え、そのスケーリング限界(下界)を定量化する。

5.1 財務諸表(P/L, B/S)の計算論的解像度限界

会計システムにおけるP/L(損益計算書)およびB/S(貸借対照表)は、物理的な現金の動態を直接表したものではなく、一定期間ごとに離散化された「低解像度の事後サンプリングデータ」である。
  • P/Lの虚構性: 発生主義に基づく収益・費用の認識は、契約や請求という記号的操作(数学的等価性)に立脚しており、現金の物理的移動(着金)とは時間軸上の位相差(フェーズラグ)を持つ。売掛金が回収される前に仕入れ代金や人件費の支払いが到来すれば、P/L上で巨額の純利益が計上されていても、系は流動性枯渇によって不可逆的に停止する(黒字倒産)。
  • B/Sの静止性: 特定期日の残高のスナップショットであり、資産の流動化速度(Velocity)や、制約条件下で即時に引き出し可能な「有効自由エネルギー」の量を表現できない。
物理経営においては、P/L上の利益ではなく、単位時間あたりに系を通過する「非拘束な正味流動性(Free Cash Flow: FCF)」の流速と遅延(Latency)のみを一次情報(Ground Truth)として扱う。

5.2 限界FCFマージン50%ルールの物理的根拠

TANAAKKが提唱するスケーリングモデルにおける中核規律「限界FCFマージン50%($R \ge 2C$)」は、恣意的な経験則ではなく、自己増殖オートマトンが外部レバレッジなしに定常スケーリングを維持するための熱力学的・計算論的下界である。
あるサイクル $t$ における投下コストを $C_t$、それによって生成される回収キャッシュを $R_t$ とする。限界FCFマージン $m$ は次のように定義される。
$$m = \frac{R_t – C_t}{R_t}$$
外部からの資本注入(負債・増資)を行わず、自己創出したキャッシュのみを再投資して次サイクルの規模を倍化($C_{t+1} = 2 C_t$)させるスケーリング条件を課す。このとき、系が破綻(資金ショート)しないための条件は、
$$R_t – C_t \ge C_{t+1} – C_t = C_t \implies R_t \ge 2 C_t$$
両辺を $R_t$ で除算することで、
$$m = \frac{R_t – C_t}{R_t} \ge \frac{2C_t – C_t}{2C_t} = \frac{1}{2} = 50\%$$
この $m = 50\%$($R = 2C$)の境界線は、統計力学における相転移の臨界境界(Critical Boundary)に相当する。
  • $m > 50\%$(亜臨界・安定相): 内部エネルギー(余剰FCF)が常に正であり、市場摩擦、貸倒れ、システム障害などのミクロな「揺らぎ」は、系内部の分厚いバッファによって熱的に散逸され、大数の法則により無毒化される。
  • $m = 50\%$(臨界点): 自己増殖の極限速度。相関長 $\xi \to \infty$ となり、余剰マージンはゼロ。系全体が極度の緊張状態に置かれる。
  • $m < 50\%$(超臨界相・発散): 成長を維持するために外部資本(Debt/Equity)の連続注入が不可欠となり、通信計算量およびガバナンス遅延が急増。何らかの外部ショックによる供給停止が発生した瞬間、連鎖的崩壊に至る。

5.3 物理的シグナルとしての即時決済能力

前述の通り、5億円の決済を即時に執行できるか否かという問題は、金額の多寡ではなく、系のトポロジーと物理的状態関数に依存する。
純利益100億円の定常企業にとって、5億円は全体の5%に過ぎず、粗視化されたマクロ観測においては「観測誤差(無視可能な雑音)」として処理される。
しかし、この5億円の即時拠出を、「直前に同等規模(約5億円)の資金排出を完了させた直後に、間髪を入れず連続して実行した」という観測事実に着目した場合、情報理論的な解釈は反転する。
  1. 確率的独立性の排除: 一過性のストック取り崩しであれば、初回の排出によって系の流動性ポテンシャルは枯渇し、2回目の即時拠出は不可能となる。連続した高エネルギー放出の成功は、それが「静的な蓄積」ではなく「高流速の定常スループット(フロー)」によって駆動されていることを示す。
  2. 対話型証明系(Interactive Proof System)における頑健な検証(Witness):
    紙の上の事業計画書や未監査のP/L(証明プロトコル)は、検証者にとって偽造(サンプリングバイアス)の余地を残す。しかし、銀行間決済ネットワークという物理的実空間において「短期間に累計10億円の純流動性を着金させた」というトランザクションログは、暗号論的および物理的に改ざん不能な証拠(Hard Witness)である。
  3. 潜在的純利益能力の逆算:
    $R \ge 2C$ の規律下において、短期間に10億円の資本排出($C = 10\text{億円}$)を外部支援なしに吸収・循環させ得る内部代謝速度は、その背後に月次で10億円規模(年換算100億円規模)の正味キャッシュ創出力、またはそれと同等の信用調達枠(財務CF速度)がすでに定常稼働していることを数学的必然として要請する。
P/Lの集計値がこの物理現実に追いついていない事実は、単に会計的認識の「時間的遅延(遅延評価)」を示しているに過ぎず、物理層における状態遷移はすでに完了していると見なすのが、計算論的に整合した判断となる。

6. 学術的知見の対比と概念マトリクス

数学的理論、物理的実装制約、および企業経営における動的現象の数理的対応関係を以下に総括する。
レイヤ 抽象・数学の世界 物理的実装の世界 物理経営における対応事象 支配する数学・物理法則
導出・計画
証明体系(Proof System)

 

命題の論理的恒真性
実装回路(Circuit)

 

論理ゲートの物理的集積
事業計画・ピッチデック

 

論理的ユニットエコノミクス
クック=レックハウの定理

 

実行可能補間定理
スケーリング
鳩の巣原理($\mathrm{PHP}_n^{n+1}$)

 

基数比較による自明性
ハッケンの下界($2^{\Omega(n)}$)

 

物理的計算時間の爆発
組織・市場スケーリング

 

局所整合性と全体破綻
ボトルネック法

 

通信計算量(Yao 1979)
空間・配置
ブール関数

 

無次元の抽象的入出力
VLSI複雑性($A T^2$ 下界)

 

チップ面積と配線遅延
DevOps / CI/CD / RevOps

 

組織間通信の配線遅延
トンプソンのモデル

 

電磁気的伝播限界
エネルギー
可逆論理・恒等変換

 

計算コストゼロの公理
ランダウアーの限界

 

情報消去に伴う熱散逸
意思決定の撤回コスト

 

組織再編に伴う摩擦熱
熱力学第二法則

 

$E \ge k_B T \ln 2$
ゆらぎと誤差
大数の法則・中心極限定理

 

微視的ノイズの消滅
くりこみ群と相転移

 

相関長発散($\xi \to \infty$)
キャッシュ枯渇・連鎖倒産

 

臨界点での微小破綻の拡大
ウィルソンのRG方程式

 

自己組織化臨界(SOC)
状態観測
連続量としての実数

 

無限解像度の状態記述
射影演算子法・粗視化

 

解像度変換に伴うノイズ化
P/L・B/S(発生主義会計)

 

事後サンプリングの限界
森=ゾンツィッヒ理論

 

量子化・標本化定理
生存・増殖
幾何級数的成長

 

制約なき指数関数
熱力学的散逸構造

 

開放定常系における自己組織化
限界FCFマージン50%規律

 

自己資金による再投資サイクル
プリゴジンの散逸構造論

 

フォン・ノイマンのオートマトン

7. 物理経営というフロンティア

数学と物理が異なる理由は、物理宇宙が無限の計算資源を許容せず、常に「有限の作用、空間、時間、エネルギーの中で系を破綻させずに駆動するための計算の省略(最適化・粗視化)とエラー補正」を要請するからに他ならない。
最小作用の原理、対称性による保存則、量子力学的遅延評価、そして熱力学的粗視化は、すべてこの宇宙が計算資源の破綻を回避するために採用している物理的プロトコルである。平穏な定常領域において、人間が「大数の法則」によって微小な揺らぎを観測誤差として安全に無視できるのも、系が臨界点から十分に離れ、相関長が短く保たれているという厳格な物理的境界条件の恩恵に浴しているからである。
企業経営を、単なる法制度上の手続きや心理的マネジメントの対象から解き放ち、「物理的拘束下で自己増殖を行う動的計算系」として再定義する物理経営のアプローチは、この数理的実在に立脚している。
事業計画(証明)がいくら論理的に正しくとも、組織や資本配分の回路(実装)が抱える物理的遅延や熱力学的散逸を無視すれば、系はスケーリングの途上で指数関数的ボトルネック(ハッケンの下界)や相転移(臨界破綻)に直面し、必ず停止する。P/L上の抽象的な利益記号に惑わされることなく、リアルタイムの物理的キャッシュ流速(Velocity)、非拘束流動性の確保、そして限界FCFマージン50%という絶対的境界条件を死守すること。これこそが、数学的イデアの錯覚を排し、物理宇宙の冷徹な限界の中で非連続なスケーリングを可能にするための、唯一の論理的・物理的帰結である。

参考文献

  1. Haken, A. (1985). The intractability of resolution. Theoretical Computer Science, 39, 297–305.
  2. Cook, S. A., & Reckhow, R. A. (1979). The relative efficiency of propositional proof systems. The Journal of Symbolic Logic, 44(1), 36–38.
  3. Krajíček, J. (1997). Interpolation theorems, lower bounds for proof systems, and independence results in bounded arithmetic. The Journal of Symbolic Logic, 62(2), 457–486.
  4. Razborov, A. A. (1995). Unprovability of lower bounds on the size of boolean formulas. Transactions of the American Mathematical Society, 347(4), 1149–1165.
  5. Thompson, C. D. (1979). Area-time complexity for VLSI. Proceedings of the eleventh annual ACM symposium on Theory of computing (STOC ’79), 81–88.
  6. Brent, R. P., & Kung, H. T. (1981). The area-time complexity of binary multiplication. Journal of the ACM, 28(3), 521–534.
  7. Landauer, R. (1961). Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5(3), 183–191.
  8. Lloyd, S. (2000). Ultimate physical limits to computation. Nature, 406(6799), 1047–1054.
  9. Margolus, N., & Levitin, L. B. (1998). The maximum speed of dynamical evolution. Physica D: Nonlinear Phenomena, 120(1-2), 188–195.
  10. Wilson, K. G. (1971). Renormalization group and critical phenomena. I. Renormalization group and the Kadanoff scaling picture. Physical Review B, 4(9), 3174.
  11. Wilson, K. G. (1975). The renormalization group: Critical phenomena and the Kondo problem. Reviews of Modern Physics, 47(4), 773.
  12. Bak, P., Tang, C., & Wiesenfeld, K. (1987). Self-organized criticality: An explanation of the 1/f noise. Physical Review Letters, 59(4), 381.
  13. Glansdorff, P., & Prigogine, I. (1971). Thermodynamic Theory of Structure, Stability and Fluctuations. Wiley.
  14. Zwanzig, R. (2001). Nonequilibrium Statistical Mechanics. Oxford University Press.
  15. Wigderson, A. (2019). Mathematics and Computation: A Theory Revolutionizing Technology and Science. Princeton University Press.