Proof Complexity, Circuit Complexity非対称性から導く単純繰り返し問題としてのCall vs Putアービトラージ
序論：富の集積を記述する基底法則
資本主義市場において「なぜ一部の主体にのみ超過利潤（永久アルファ）が永続的に集積し、大多数の主体は利益率ゼロの均衡へと沈んでいくのか」という問いに対し、従来の経済学や経営学は「ブランド力」「イノベーション」「情報の非対称性」といった曖昧な自然言語で説明を試みてきた。しかし、チューリングとフォン・ノイマンに端を発し、クック、カープ、パパディミトリウ、そしてアヴィ・ヴィグダーソンへと至る計算複雑性理論（Computational Complexity Theory）とアルゴリズム的ゲーム理論（AGT）の系譜に立つとき、それらの表層的な言葉はすべて不要となる。
市場における富の偏在とは、主体の間に存在する「証明複雑性（Proof Complexity）」および「回路複雑性（Circuit Complexity）」の非対称性から必然的に導かれる物理現象である。そして、高次計算主体が市場から富を抽出し続けるプロセスは、未来を予測するギャンブルではなく、「周囲のノードにとって計算複雑な事象を手元にCallし、自らの高次回路で計算単純な形へとコンパイルした上で、その単純出力とダウンサイドを市場へPutする」という極めて単純な繰り返し問題（Iterative Loop）へと還元される。
本稿では、Proof ComplexityとCircuit Complexityという2つの厳密な数学的尺度を定義の起点とし、そこからなぜ「Put vs Callの非対称アービトラージ」が単純反復アルゴリズムとして成立するのか、その数理的構造を全5章で論証する。
第1章：Proof Complexity（証明複雑性）の非対称性——なぜ一般ノードは「解の存在」を利益に変換できないのか
1979年にスティーブン・クック（Stephen Cook）とロバート・レックハウ（Robert Reckhow）によって定式化された証明複雑性（Proof Complexity）とは、「ある命題（定理）が真であることを証明するために、具体的な証明系（Proof System）において最低限どれだけのステップ数（証明のサイズ・長さ）が必要か」を問う理論である。
これを実体経済および企業経営の空間にそのまま射影する。企業経営における「命題（Proposition）」とは、「この事業・工場・資産ポートフォリオは、ROIC 30%以上のキャッシュフローを確定的に出力できる」という主張である。そして、その命題に対する「構成的証明（Constructive Proof）」とは、紙の上の事業計画書ではなく、実際に法務・税務・会計・サプライチェーン・ECのアルゴリズムを繋ぎ合わせ、矛盾（バグや破産）を起こすことなく最終的なキャッシュフロー（Q.E.D.）を出力しきった「物理的な実行トレース（オペレーションの連鎖）」そのものである。
ここに、主体間の決定的な「証明複雑性の非対称性」が存在する。
1. 低次元ノードの証明系（Resolution等の弱い証明系）
伝統的な大企業の取締役会、セクショナリズムで分断された組織、あるいは人月商売のコンサルタントや一般的なPEファンドが持っている証明系は、計算量理論で言えば「命題論理の導出原理（Resolution）」のような極めて弱い推論規則に制限されている。彼らのシステムでは、「法務は法務」「税務は税務」「工場の生産管理は工場」「ECの販売は販売」と変数が局所的に分断されているため、複数の変数が絡み合う命題（例：「海外子会社に5億円の追徴課税リスクがあり、かつ親会社のITと密結合して赤字になっている400人の縫製工場を再生せよ」）が与えられると、鳩の巣原理（Pigeonhole Principle）の証明がResolutionにおいて指数関数的なステップ数 Ω(2n) を要するのと同様に、証明長が指数爆発（Exponential Blowup）を起こして停止しなくなる。
彼らにとって、その複雑な事業が利益を生むことの「構成的証明」を書き下すステップ数は実質的に無限大（∞）であり、時間軸（任期やファンド期限）の制約内に証明を完了させることができない。結果として、彼らは「この命題は証明不能（＝この事業は再建不能なゴミである）」と判定する以外に道を持たない。
2. 高次計算主体の証明系（Extended Fregeに相当する強い証明系）
これに対し、高次計算主体（GAAS等の統合アーキテクチャを持つ主体）は、法務・税務・財務・製造・物流・ソフトウェア（ERP）を単一の頭脳とデータベースの上で結合し、新しい中間変数（ショートカットとなる補題：Lemma）を自由に定義・導入できる「強い証明系（Extended Frege系に相当）」を保持している。
たとえば、「工場のアイドリングリスク（手待ち赤字）」という難問に対し、強い証明系を持つ主体は「原価率30%以下・値下げなしの定番NB商品を1,000 SKU並べる定数写像」という補題（サブルーチン）を1行で代入する。これにより、弱い証明系では何万ステップかけても解けなかった稼働率とキャッシュフローの証明が、わずか数ステップの多項式サイズ O(nk)（実質的な定数ステップ）へと劇的に圧縮される。
すなわち、同じ1つの複雑な対象（資産・事業）を目の前に置いたとき、「低次元ノードの証明系では証明サイズが指数爆発して解けないが、高次主体の証明系では極小のステップ数で瞬時に構成的証明が完了する」という圧倒的な証明複雑性のギャップが生じるのである。
第2章：Circuit Complexity（回路複雑性）の非対称性——深さ（Depth）とサイズ（Size）が規定する演算速度の壁
第二の基底軸が、クロード・シャノンに始まり、ボロディンやヴィグダーソンらによって精緻化された回路複雑性（Circuit Complexity）である。これは、ある関数 f(x) を計算するための論理回路（組織の意思決定ネットワークおよび業務執行インフラ）において、必要な「回路のサイズ（Size：ゲート数・関与する人間の頭数・資本コスト）」と「回路の深さ（Depth：入力から出力までに通過する階層の数＝リードタイム）」を測定する理論である。
現代の市場ネットワークにおけるプレイヤーの階層は、この回路のサイズと深さによって残酷なまでに分類される。
| 比較項目 | 低次元ノード（伝統的大企業・巨大コンサル） | 高次計算主体（GAAS・数理コングロマリット） |
|---|---|---|
| 回路のサイズ (Size) | 巨大（O(2n) または O(N) の線形肥大） 複雑な問題を解くために、何百人もの会議、何千人もの人月（70万人のコンサル等）を直列・並列に動員する。 |
極小（O(1) 〜 多項式サイズの圧縮回路） 標準化された型（ERPと定数写像のモジュール）により、最小限のコア人員と自動化コードだけで回路が組まれている。 |
| 回路の深さ (Depth) | 極めて深い（Deep Circuit） 現場 → 課長 → 部長 → 経営企画 → 役員会 → 外部アドバイザーという多段階の承認ゲートを通過するため、1つの出力に数ヶ月〜数年を要する。 |
極限まで浅い（Shallow Circuit: NC0 / NC1 クラス） 公理（ROIC基準とオプション価値）とプリンシパル（自己勘定）が直結しており、入力から意思決定までの深さが「定数（ミリ秒〜数日）」である。 |
| 計算可能な問題空間 | 局所的な線形問題（1次元の値下げ競争や単年度予算の消化）しか時間内に計算できない（AC0 の限界）。 | 市場全体ではPPAD完全に見える多変数の非線形問題を、縮小写像へと変換して定数時間で処理する。 |
計算量理論における「深さ（Depth）」とは、そのまま実世界の「物理的時間（Time）」に対応する。市場において、ある歪み（カーブアウト案件の発生、サプライチェーンの寸断、セキュリティホール、競合の在庫切れ）が発生したとき、深さ Dlow の深い回路を持つ大企業やPEファンドが、稟議とLBOローン審査のゲートを1段ずつ通過している間に、深さ Dhigh ∼ O(1) の浅く高密度な回路を持つ主体は、すでに計算を完了して物理的なロックイン（買収決済やSKU配置）を終えている。
また、回路の「サイズ（Size）」は、そのまま企業の「固定費（損益分岐点の高さ）」に対応する。世界最大級のコンサルティング企業のように、顧客の計算複雑性を処理するために「自社の回路サイズ（人間の頭数）」を比例して拡大させるモデルは、回路自体を維持するためのエネルギー（人件費という巨大な固定費）によって営業利益率が15%前後で頭打ちになる。一方、最小サイズの論理回路（標準化されたソフトウェアとオペレーションの型）で同じ複雑性を処理する主体は、スループットが増えても回路サイズが膨張しないため、限界利益がそのまま純利益へと直結する非線形なオペレーティング・レバレッジを獲得する。
第3章：複雑性のギャップから「Put vs Call」が自然導出される数理的メカニズム
では、この「Proof Complexity（証明の構成力）」と「Circuit Complexity（回路の深さとサイズ）」の非対称性が存在するとき、なぜ市場の取引は必然的に 「Call（複雑性の引き受け）」 と 「Put（単純性の放出）」 という2つのオプション構造へと相分離するのか。
プット・コール・パリティの恒等式を、計算複雑性の関数として書き換えることで、そのメカニズムは一目で明らかになる。ある事業や資産、あるいは商流が持つ本来のファンダメンタル価値（または需要ポテンシャル）を S、そこに付着している「複雑性（税務トラブル、アイドリングリスク、多変数の絡み合い、法規制対応）」を処理するために必要な計算コストを K(C) とする。
このとき、ある主体 i がその対象から引き出せる実質的な価値（ペイオフ）は、主体の回路複雑性 Ci に依存する。
1. 低次元ノードが直面する「Short Put（破滅的ダウンサイド）」と投げ売り
低次元ノード（回路が深く、証明系が弱い主体）が、高複雑性の事象（たとえば、需要変動が激しい400人の縫製工場や、5億円の追徴課税リスクを抱えた海外子会社、あるいは無数のエンドポイントを持つITインフラ）を保有している状態を考える。彼らにとって、この複雑性を自力で解きほぐして証明を構成するコスト K(Clow) は、自らの回路容量を超えて発散（K(Clow) ≫ S）している。
すると、彼らのバランスシート上において、その対象は利益を生む資産ではなく、「いつ爆発して巨額の特別損失や事業停止を引き起こすかわからない負の爆弾（−max(K(Clow) − S, 0) = Short Put）」として機能する。恐怖とパニック（計算オーバーフロー）に陥った低次元ノードの最適反応はただ一つ、「どれほど本来の実体価値 S（再調達価値20億円の工場や、1.5億円の立退料キャッシュ）が内部に眠っていようとも、見かけの価格をゼロ（あるいはマイナス）にディスカウントしてでも、今すぐこの複雑性の塊を誰かに引き取ってもらうこと」である。
2. 高次計算主体による「複雑性のLong Call」
この瞬間、強い証明系と浅い回路を持つ高次計算主体が交渉テーブルに現れる。高次主体にとって、その同じ複雑性を自社の回路（GAAS / ERP / 法務税務処理網）で解きほぐすための計算コスト K(Chigh) は、確定した極小の定数 K0（K0 ≪ S）に過ぎない。
したがって、高次主体が「現状有姿（傷がついたまま）で、その複雑な塊を確定コスト K0 で丸ごと引き受ける」という契約を結んだ瞬間、低次元ノードにとっては「悪夢のPutの消滅」であったものが、高次主体のバランスシートの上では「下値リスクが K0 に完全限定され、内部に眠る実体価値 S（20億円の生産能力と永続的なキャッシュフロー）を無制限に享受するコール・オプション（+max(S − K0, 0) = Long Call）」へと劇的に反転する。
3. 内部コンパイルと「計算単純なもののPut」
さらに、高次主体は手元にCallした「計算複雑な塊」を、自らの強い証明系（縮小写像の回路）に通すことで、ノイズと不確実性を除去した「計算単純なオブジェクト（クラス P / O(1) の出力）」へと内部でコンパイルする。
そして、その計算単純化された出力を、再び外部の低次元ノード（消費者や一般企業）へと Put（供給・転嫁） する。
- 複雑性を吸収した「単純な商品・サービス」の高値供給： 裏側の複雑なグローバル調達や生産管理、あるいはAIによる膨大な脆弱性スキャン（高複雑性）をすべてブラックボックス内に吸収し、表側には「Amazonで即座に買える原価率30%の定番NB商品」や「稟議1枚で導入できる定額のセキュリティ証明（ImmuniWeb等）」という計算量 O(1) の単純なインターフェースとして市場に置く。計算資源の乏しい市場のノードは、「自分が頭を使わなくて済む単純さ」に対して喜んで70%〜80%の高い粗利率（プレミアム）を支払う。
- 単純で重たい固定費リスク（アイドリング）の外部へのPut： 同時に、非線形なアップサイドを生まない単純な作業や、需要変動による末端の固定費リスク（単純な人月作業やコモディティ物流）は、稼働率を埋めるためにベルトラン競争をしている外部の低次元ノードへと Put（オフバランス） する。
第4章：なぜこれは「単純繰り返し問題（Simple Iterative Problem）」になるのか
以上の構造を統合すると、高次計算主体が実行している経営戦略とは、複雑怪奇な神業などではなく、以下のわずか4行の疑似コード（Whileループ）で表される「単純繰り返し問題（バナッハの不動点反復）」であることがわかる。
While (市場に計算限界を持つ低次元ノードが存在する) {
1. [Scan] 市場において、低次元ノードが Proof/Circuit Complexity の壁（PPAD/NP）に阻まれ、パニックを起こして放置・投げ売りしている「高複雑性の対象 x」を探索する。
2. [Call] 対象 x の複雑性（税務・法務・赤字・切り離し摩擦）を現状有姿のまま確定コスト K_0 で丸ごと引き受け、内部の本源的価値 S（物理ボトルネック・キャッシュ・商圏）を Long Call として自己勘定にロックインする。
3. [Compile] 自社の浅く強い演算回路（ERP・1,000 SKUの定数写像・HDC）に x を接続し、高複雑性のカオスを「ROICが確定的に収束する計算単純な縮小写像」へと次元削減（コンパイル）する。
4. [Put] コンパイルされた「計算単純なプロダクト（NB・SaaS）」を高マージンで市場へ供給しつつ、工場のアイドリングリスクや単純作業（Put）を市場のアンサンブル平均へとオフバランスし、抽出された純キャッシュフローを次の Step 1 の原資へ再投資する。
}なぜこのアルゴリズムは、一度構築されると「単純な繰り返し作業」として永久に回り続けるのか。その理由は3つある。
1. 入力（カオス）の枯渇不可能性
チューリングの停止性問題および P ≠ NP・PPAD完全の定理により、一般の市場ネットワーク（大企業、中小企業、官僚機構、人月コンサル）が自力で市場の複雑性を解消することは数学的に不可能である。環境（技術・税制・金利・地政学）が変化するたびに、低次元ノードの深い回路は必ずあちこちで計算オーバーフローを起こし、新たな「傷物の優良資産（複雑な塊）」を市場に吐き出し続ける。つまり、Step 1 の入力パイプラインは自然法則として絶対に枯渇しない。
2. 変換回路の再利用性（ゼロ限界費用）
高次主体が一度構築した「強い証明系（GAASの型、法務・税務・PMIの標準プロトコル、1,000 SKUのNB展開網）」という論理回路は、1つ目の工場（たとえばルシアンベトナム）で証明を完了させれば、2つ目の商社（ルシアン上海）、3つ目のカーブアウト案件に対しても、同じ回路（サブルーチン）をほぼ限界費用ゼロでそのまま適用（再利用）できる。対象が変わっても、「複雑性をCallし、定数写像を流し込んで単純化し、市場へPutする」という演算の型自体はまったく同じであるため、反復すればするほど1回あたりの処理速度（回路の浅さ）はさらに研ぎ澄まされていく。
3. 複利による回路容量の自己拡大
このループを1回転させるごとに、Δ Alpha = S − K0 の確定的な純資産（キャッシュと物理的ボトルネック）がバランスシートに蓄積される。すると、次のループで引き受けられる「複雑性のサイズ（確定コスト K0 の上限）」が5億円から50億円、500億円へと指数関数的に拡大する。サイズが大きくなればなるほど、LBOローンに依存するPEファンドや稟議の遅い事業会社はますます手が出せなくなるため、競争はさらに消滅し、より巨大な複雑性をより深いディスカウントでCallできるようになる。
第5章：結語——熱力学のカルノー機関としての複雑性アービトラージ
物理学において、熱機関（カルノー機関）が仕事（エネルギー）を取り出すためには、「高温の熱源（高エントロピー）」と「低温の熱源（低エントロピー）」という2つの異なる状態の間に温度差が存在し、その間で吸熱と放熱のサイクルを単純に繰り返すだけでよい。
経済空間における「Put vs Callのアービトラージ」は、これと完全に同型（Isomorphic）の計算論的熱機関である。
【市場の高複雑性領域】 —Long Call（複雑性の吸収）→ 【高次回路による証明構成】 —Put（単純性の放出）→ 【市場の低複雑性領域】
- 市場の低次元ノードは、「複雑なものは嫌だ（解けないからタダでも手放したい）」「単純でわかりやすいものが欲しい（高くても買いたい、薄利でも単純作業なら受注したい）」という強烈な勾配（バイアス）を持って生きている。
- 高次計算主体は、その勾配の真ん中に自らの「浅く強い論理回路（バナッハの不動点）」を設置し、「世間が複雑だと怖がるものを安くCallして飲み込み、世間が理解できる単純な形に噛み砕いて高くPutする」というピストン運動を、感情を挟まずただ機械的に反復（Iterate）し続ける。
ここには、カリスマ的なひらめきも、一か八かの賭けも存在しない。Proof ComplexityとCircuit Complexityの非対称性という数学的公理を物理空間に実装した主体にとって、富の集積とは、ただこの「複雑性のCallと単純性のPut」という単純繰り返し問題を、定められたクロック周波数に従って淡々と回し続けることの自明な計算結果（Output）に過ぎないのである。