ハイブリッド炉《継ぎ火（つぎび）》IV：ホロノミーの庭

本作はフィクションです。登場する数式・制御構造・運転語彙は物語上の抽象です。実機の設計・製造・運転・改造の手順を与えるものではありません。

0:00 — ループは閉じたのに、状態が戻らない

夜明け前の制御室。蓮斗と志帆は、RMP 位相 θ\thetaθ、塩ポンプ位相 ϕ\phiϕ、源強度 SSS を遅い閉路で一周させ、可逆性枠を外さずにログを取った。開始点と同じ数値に戻ったはずなのに、TBR は +0.004、M は −0.2 だけ微小にずれている。非正規は縫った。Sheaf で局所整合も取った。なのに「戻らない」。

「ホロノミーだね」数学担当の悠真が、運転パラメータ多様体 P\mathcal{P}P 上に主束 π:E→P\pi:\mathcal{E}\to\mathcal{P}π:E→P を描く。繊維は大域節で貼られた制御状態、構造群は受動相互接続を保つゲージ群 G\mathsf{G}G。接続 1-形式 A\mathcal{A}A の曲率 2-形式 F=dA+A∧A\mathcal{F}=d\mathcal{A}+\mathcal{A}\wedge\mathcal{A}F=dA+A∧A が 0 でない限り、閉路 γ\gammaγ の輸送でホロノミー Pexp⁡∫γA\mathcal{P}\exp\int_\gamma \mathcal{A}Pexp∫γ​A が単位にならず、幾何学的位相として小さなズレが残る。

「局所は正しい」が、「大域で戻らない」——Sheaf を積んでも接続が非可積分なら、貼って回ると位相が出る。

0:18 — 曲率の地図を描く：雑音によるベリー曲率トモグラフィ

直接の励振は可逆性を削る。志帆は雑音を使う。中性子雑音・電磁雑音・微小圧振を署名済み微振幅で重ね、閉路実験の前後差を線形応答核で消した残差から、ベリー曲率に相当する運転曲率カーネル Fij\mathfrak{F}_{ij}Fij​ を推定する。

Δz≈∬Σ(γ)Fij(p) dpi∧dpj,p=(θ,ϕ,S,…)\Delta z \approx \iint_{\Sigma(\gamma)} \mathfrak{F}_{ij}(\mathbf{p})\, dp_i\wedge dp_j,\quad \mathbf{p}=(\theta,\phi,S,\ldots)Δz≈∬Σ(γ)​Fij​(p)dpi​∧dpj​,p=(θ,ϕ,S,…)

pH 座標で前処理し、非正規方向のゲインを潰してから逆問題を解く。曲率のピークは二つ：

• (θ,ϕ)(\theta,\phi)(θ,ϕ) 面の塩 MHD×RMP交差域、

• (S,ϕ)(S,\phi)(S,ϕ) 面の崩壊熱遷移近傍。

「平坦化（フラットニング）で 0 にできる？」「大域は無理。第二コホモロジが非自明だから」全体の曲率は局所ゲージの貼り替えで逃がせても、大域はゼロにならない。ならば——曲率を持つ世界で運転哲学を立てるしかない。

0:45 — 運転アトラス：ホロノミーが積分ゼロになるセル複体

悠真は運転パラメータ空間 P\mathcal{P}P を、ホロノミーが消える（または界面で補償可能）なセルに分割して、アトラス化する。各セル CkC_kCk​ は可逆性路が収縮でき、∫CkF=0\int_{C_k}\mathfrak{F}=0∫Ck​​F=0。セル間の遷移は境界受動制御の補償操作（ゲージ遷移）として型付けし、Proof‑Carrying Operations（PCO）にホロノミー補償証明片を追加した。補償操作は非可逆に見えるが、束レベルでは平行移動に等価で、可逆性レールに留まることが証明される。

「最短閉路だけでなく、同位相クラスの代表路にポリシーを付ける」操作 DSLは線形論理（アフィン型）の上に路ホモトピー型を重ね、許容量とホロノミークラスを同時に管理する。

1:20 — 影炉（デジタルツイン）の昇格：Sheaf からStackへ

影炉はこれまでSheaf（局所モデルの貼り合わせ）だった。だが接続が絡むと、貼り合わせは一意ではない。「Stack（層状圏）に上げる」モデルは対象（1-層）、較正射（1-射）、較正の同値（2-射）を持つ2-圏になり、貼り合わせは擬関手として扱う。較正の履歴は2-モルフィズムで記録され、別経路で貼っても同値が取れるときだけ運転有効。

自己更新は禁止の原則は変えない。代わりに、Stackへの明示的 2-射としてしか較正差を導入できないようにし、ゼロ知識で検証可能な 2-レベル証跡を付けた。これがProof‑Carrying Twins（PCT）：

• 1-レベル：操作の受動性差分・可逆経路・バリア不変（従来 PCO）。

• 2-レベル：貼り合わせ経路差の可換性・ホロノミー補償の存在証明。

2:05 — 粗い駆動に備える：Rough Paths と署名核

マイクロバブルと壁トラップ/デトラップが作る雑音はホワイトではない。1/f と突発ポアソンが混じる粗い駆動に対し、操作系を

dXt=V(Xt) dZtdX_t = V(X_t)\,d\mathbf{Z}_tdXt​=V(Xt​)dZt​

（Z\mathbf{Z}Z は粗路）で表し、シグネチャ S(Z)\mathcal{S}(\mathbf{Z})S(Z) で圧縮。署名核で影炉同化を行うと、非正規方向の遷移増幅を抑えたままホロノミー推定の分散が落ちる。可逆性のため、粗路のトランケーション次数は固定、重みはPCT 証跡に含める。

2:50 — 形状がずれる：形状微分とトポロジカル変調

REBCO コイルの座屈前微小撓みが磁場トポロジをわずかに変え、塩の導電率分布とMHD ブレーキが非一様になる。形状は変えない。境界条件の形状感度だけを制御側で吸収する。形状微分で得た感度 DΓJD_\Gamma JDΓ​J を境界受動制御のゲージに反映し、曲率 2-形式 F\mathfrak{F}F の局所分布を平坦化。幾何相は消えないが、運転アトラスの可行セルが広がる。

3:30 — 崩壊熱期 v3：幾何学的位相の「残り香」

計画停止。源 SSS を段階的に落とす。分数階拡散・分布遅延・粗い駆動が重なり、崩壊熱期に幾何位相の残差が顔を出す。通常のバリアにホロノミー項を足した幾何バリア

hgeo(x,p)=h(x)−β∫Σt⟨F(p), dΣ⟩h_\mathrm{geo}(x,p) = h(x) - \beta \int_{\Sigma_t} \langle \mathfrak{F}(p),\, d\Sigma\ranglehgeo​(x,p)=h(x)−β∫Σt​​⟨F(p),dΣ⟩

で不変集合を守る。β\betaβ はPCT 証跡に固定値で記録。時間可変化は不可——可逆性が最優先だ。

4:05 — 最小摂動輸送：シュレディンガー橋で合わせる

雑音と閉路差から復元した分布を、元の運転分布へ最小変更で戻す。シュレディンガー橋（最小エントロピー補間）をpH 座標に持ち込み、受動性を壊さない範囲で確率流を変形。Wasserstein 幾何でカーブを制限し、曲率二次項は補償操作で打ち消す。操作は微小だが、証跡は濃い。「戻す」とは、分布を最小の物語で再貼付け**することだ。

4:50 — IQC on Stacks：非線形不確かさの会計

MHD×回収化学の非線形不確かさを積分二次拘束（IQC）で囲う。ただし対象はStack。不確かさ関手 Δ:C→C\Delta:\mathsf{C}\to\mathsf{C}Δ:C→C にIQC 形式を与え、擬関手合成に対して閉性を示す。μ-解析の代わりに2-層版の構造特異値 μ2\mu_2μ2​ を導入し、最悪遷移増幅を階層的に抑える。会計は受動不足 σi\sigma_iσi​ とホロノミー予算 ηk\eta_kηk​ の二本立て。

∑iσi≤Σbudget,∑k∣∮∂CkA∣≤Hbudget\sum_i \sigma_i \le \Sigma_\mathrm{budget},\qquad \sum_k |\oint_{\partial C_k}\mathcal{A}| \le H_\mathrm{budget}i∑​σi​≤Σbudget​,k∑​∣∮∂Ck​​A∣≤Hbudget​

文化は会計を持ち、会計は物語を縛る。

5:30 — 外部監査の反証ゲーム（Zero‑Knowledge, Two‑Level）

外部監査がPCTに反証クエリを投げる。レベル1：バリア・受動性・可逆径路。レベル2：貼り合わせ経路の可換図式。応答はゼロ知識で返り、ホロノミー補償が局所ゲージの貼替えに等価であることを示す。「規格の外側で規格を守る」ためのメタ規格が、静かに出来上がる。

6:00 — 平坦ではない世界の、静かな増幅

源 SSS が戻る。RMP 位相と塩ポンプ位相は、Stack 上の受動相互接続と運転アトラスに導かれて自動協調。TBR = 1.060±0.004、M = 19.8±0.2。幾何位相は補償され、遷移増幅は**μ2\mu_2μ2​** 会計の枠内。蓮斗は短く記す。「平坦ではないことは、失敗ではない。曲率ごと設計する」「戻すとは、束を運ぶこと」

技術付録（物語理解のための抽象）

A. ホロノミー運転学

• 主束 π:E→P\pi:\mathcal{E}\to\mathcal{P}π:E→P：運転パラメータ空間 P\mathcal{P}P 上の制御状態の束。

• 接続 A\mathcal{A}A と曲率 F\mathcal{F}F：閉路操作で現れる幾何位相を記述。

• 運転アトラス：∫CkF=0\int_{C_k}\mathfrak{F}=0∫Ck​​F=0 を満たすセル複体と、セル遷移に伴う補償操作（ゲージ遷移）。

B. Proof‑Carrying Twins（PCT）

• 1‑レベル：受動性差分、バリア不変、可逆径路（従来 PCO）。

• 2‑レベル：貼り合わせ経路差の可換性証明、ホロノミー補償の存在証明。

• ゼロ知識検証：外部に手順を晒さず正当性だけを示す。

C. Rough‑path 同化

• 署名 S(Z)\mathcal{S}(\mathbf{Z})S(Z) による雑音の圧縮と、署名核での同化。

• pH 座標前処理で非正規方向の増幅を制限。

D. 幾何バリア

• 標準バリア h(x)h(x)h(x) に、曲率の面積分項を減算した hgeoh_\mathrm{geo}hgeo​。

• 崩壊熱期の幾何残差に対して不変集合を保つ。

E. IQC on Stacks と μ2\mu_2μ2​

• 不確かさ関手に対する積分二次拘束の 2‑層版。

• 構造特異値の拡張 μ2\mu_2μ2​ で、最悪遷移増幅を束レベルで評価。

運転倫理 v4（差分）

1. 平坦性の幻想を捨てる安全は平坦な設計ではなく、曲率を持つ世界の運転アトラス。

2. 戻す＝数値の復元ではない束を運び、ホロノミーを補償して戻す。

3. モデルは Stack、証跡は 2‑層局所モデルの貼り合わせに経路依存があるなら、PCTでしか較正を許さない。

4. 会計は二重受動不足とホロノミー予算の両方を型システムで管理する。

5. 雑音は計測器雑音から曲率を測り、幾何位相を地図に載せる。

余白

冷凍機の霜が、朝の光で薄く光っていた。世界は平坦ではない。それでも《継ぎ火》は歌う。曲率ごと設計された静かな増幅で。