P=NPだったので世界が終わるかと思ったら、星座の方が先に壊れた
最初の異常は、あまりにきれいに起きた。
CERN地下百メートル、実験棟E-17。朝四時三十七分。冷却管の結露が青い非常灯を鈍く反射し、サーバラックのLEDが規則正しく明滅していた。機械だけが起きている時間だった。人間はまだ、起きているふりをしている。
真城玲司は紙コップのコーヒーを口に運んで、まずいと思った。冷めていたのではない。三杯目で、豆の違いが消えていた。
主画面には《LAPLACE》の待機ウィンドウが出ていた。
CERNが新しい衝突事象解析のために組んだ、ひどく贅沢な箱だ。高エネルギーイベントを深層学習で表現空間へ落とし、生成モデルで候補法則を立て、SATやSMTやアニーリングで整合する説明を絞り、最後にLean系の形式検証器で内部矛盾をふるい落とす。全体を最小記述長の規準で束ねた、研究費でしか成立しない寄せ集めだった。
解析班の責任者、サミール・ハダドはそれを《箱》としか呼ばない。
「また遊んでるのか」
そのサミールが、背後から言った。眠っていない顔をしているのに、起きている顔でもなかった。
「健全な好奇心です」
玲司は振り向かずに答えた。
「朝四時半に健全な人間はいない」
「ここにはそもそも人間が少ないでしょう」
サミールは鼻で笑った。
玲司が投げたのは、衝突データではなかった。
SAT。
論理式が与えられたとき、無数の yes / no の組み合わせの中に、すべての条件を満たす答えが一つでもあるかを問う問題だ。見た目は地味だが、回路設計も配車最適化も証明探索も、最後にはしばしばこの形へ押し込める。計算量理論の人間にとって、難しさの共通言語みたいなものだった。
もしこれが一瞬で解けるなら、世界中の暗号は紙くずになる。銀行も軍も選挙も、すべての鍵が同時に壊れる。
変数数は三百二十万。節数はその約十倍。
LAPLACEに食わせるには場違いで、悪ふざけとしても少し本気すぎるサイズだった。
「何分待つ気だ」
サミールが言った。
「来週までに解ければ拍手します」
「解けなかったら？」
「箱の自尊心が守られます」
玲司がEnterを押した。
画面の下に進捗バーが一瞬だけ出た。
〇・七九秒後、答えが返った。
> SATISFIABLE
> CERTIFICATE COMPRESSED
> MINIMAL DESCRIPTION FOUND
玲司は、数秒、意味がわからなかった。
「……は？」
サミールが画面を覗き込み、缶コーヒーを持ったまま止まった。
「ログを」
すでに彼の指は端末を叩いていた。外部アクセスなし。量子アクセラレータとの接続なし。クラスタ転送なし。キャッシュ汚染なし。ジョブ履歴正常。異常終了なし。
「入力を間違えた」
「間違えてません」
「問題が小さい」
「三百万変数で？」
「箱が壊れた」
「その線が一番健全ですね」
玲司は喉の渇きを感じながら、二つ目を投げた。
グラフ彩色。
三つ目を。
巡回セールスマン。
四つ目を。
ラムゼー型命題を形式化した証明探索。
全部、一秒前後で返った。
サーバルームの冷気が、別の意味を持ち始めた。寒いのではない。意味が剥がれる温度だった。
「エレナを呼ぶ」
サミールが言った。
「量子班を？」
「誤配線だと言い張るには、本人の目の前で否定される必要がある」
◇
エレナ・ヴァイスは十一分後に現れた。
白いシャツ、黒いパンツ、髪は後ろで束ね、眠そうではないのに、起こされたことだけははっきりわかる顔だった。量子計算チーム主任。彼女が無言で部屋に入ると、たいてい機械の方が緊張して見える。
「で」
開口一番、それだけだった。
玲司は同じSATインスタンスを流した。
〇・八一秒。
エレナの眉が、わずかに動いた。
「別の機械」
検証用の古い古典サーバを立ち上げる。量子デバイスとの物理接続なし。ネットワーク遮断。問題データをUSBで運び、ローカル実行。
〇・九二秒。
「外へ」
彼女が言った。
サミールが同じデータをラップトップにコピーし、三人で廊下に出る。
同じソルバ。
同じデータ。
同じ設定。
ふつうに時間がかかった。進捗表示がじわじわ伸び、沈黙が続く。
「中だけ？」
サミールが言った。
「……中だけね」
エレナは言った。
玲司の胸を冷たいものが通った。
理屈が同じなら結果も同じであるべきだ。だがLAPLACEは純粋な決定的機械ではない。生成層が候補法則を提案する順序、探索層が枝を切る閾値、アニーリングの揺らぎ、Lean側へ渡す証明スケッチの圧縮順序。そのどれもが乱数と環境ノイズに触れている。普段ならそれは性能差にしか見えない。
だがE-17の中では、その揺れ方そのものが別の法則に触れているように見えた。
「軽々しく言わないで」
エレナが玲司を見た。
「まだ口に出してないですよ」
「顔に書いてある。P=NPだと思ったでしょ」
玲司は数秒黙った。
「思いました」
「軽々しく言わないで」
「三百万変数のSATが一秒で解けてる」
「だからといって計算量クラスの等式が証明されたことにはならない」
「じゃあ何だと言うんです」
「もっと悪いかもしれない」
その言葉に、サミールが二人の間へ割り込んだ。
「喧嘩はあとだ。まず箱を読む。こいつはソルバじゃない。何を"解いたつもり"なのか見ろ」
◇
E-17は、その日のうちに準封鎖された。
外部公表禁止。
通信の一時保全。
量子班、解析班、理論班の合同調査。
CERN上層部の対応は慎重だったが、その慎重さは不吉だった。慎重というのは、言い換えれば、誰も正体を掴んでいないということだ。
彼らは測った。
問題サイズを変え、還元系列を変え、ラック位置を変え、温度、磁場、電源、シールド、床からの高さ、実験棟のどこに置くかを変えた。
LAPLACEに限らない。旧式サーバ、ノートPC、機械式に近い単純な探索器。
E-17の特定区画では、SATも彩色も証明探索も、ありえない速さで終わる。
外へ持ち出すと、終わらない。
玲司はホワイトボードにグラフを描いた。横軸は問題サイズ。縦軸は計算時間。曲線は、あってはならないほど寝ていた。
「ここで起きてるのは」
玲司が言いかけると、エレナが遮った。
「言葉を選んで」
「言葉を選んでも、グラフは変わらない」
「変わるわ。研究者が世界にどんな災厄を投げ込むかは、最初の言葉でかなり決まる」
「じゃあ何て言えばいい」
エレナは数秒考えてから言った。
「局所的な探索複雑性の異常圧縮」
サミールが鼻で笑った。
「世界が終わりかけてる朝に、その言い回しはひどいな」
◇
世界は、彼らの会議を待ってはくれなかった。
午後、スイスの民間銀行二行が電子署名検証異常を理由に一部送金を停止した。
夜にはフランクフルトの決済システムで障害が起き、ロンドンで緊急の認証監査が始まり、ニューヨークでは説明のつかない約定遅延が広がった。
翌朝、アメリカ国家安全保障局は「量子計算を含む新種の計算脅威に対応中」と発表し、中国は越境デジタル決済の一部停止を表明した。
量子計算。
世界はまず、その名前でしか現実を呼べなかった。
E-17地下の会議室で、三人はその会見映像を見た。
「あなたの分野が犯人にされてますね」
玲司が言うと、エレナは画面を見たまま答えた。
「犯人ならまだまし。犯人には意図があるし、責任の輪郭もある」
「これは？」
「輪郭がない」
その言い方が妙に腹立たしくて、玲司は言った。
「輪郭くらいありますよ。難しさの輪郭だ。計算困難性が崩れてる」
「またそれ」
「否定できますか」
エレナは初めて彼の方を向いた。
「否定できない。でも、あなたの言い方は嫌い」
「なぜ」
「理論が勝ったみたいな顔をするから」
玲司は思わず立ち上がった。
「勝ってませんよ。こんなの」
「顔に出てる。あなた、半分は興奮してる」
サミールが机を叩いた。
「やめろ。二人とも当たってる相手が違う」
しばらく沈黙が落ちた。
モニタの向こうでは、どこかの国の首脳が耐量子暗号を連呼していた。地下にいる三人だけが、それでは足りないと知っている。
◇
三日目の未明、玲司の私用領域に一つの通知が来た。
古い暗号化ファイルが、開ける状態になっていた。
> boundary_notes.sbk
十年前に亡くなった恩師、佐伯修一から受け取ったファイルだ。
「解けたら読め」とだけ言われていた。玲司は何度も挑み、やめた。解けないままでいてほしい遺品というものが世の中にはある。
今は、あっさり開いた。
鍵がなくなった世界では、死者の沈黙も守られない。
中には長大な研究ノートではなく、断片的な測定ログと、短い文章があった。
計算困難性は知識不足ではない。
物理的な境界条件である可能性が高い。
"解くのに時間がかかる"のではなく、解がまだ現実に固定されていない。
局所的にP=NPが成立するように見えるなら、それは計算機科学の勝利ではなく、因果律の剥離である。
玲司は画面を見つめた。
剥離。
その言葉だけが、異様に生々しかった。
恩師は知っていたのだ。十年前に。いや、知っていたのではなく——怖がっていた。だから鍵をかけた。解けない鍵を。
解けないはずの鍵を。
警告音が鳴った。
LAPLACEが自律ジョブの結果を返したのだ。
誰かが面白半分に、衝突データの解析キューにいくつか数学命題を混ぜたらしい。研究者は追い詰められると、だいたい少し幼稚になる。
双子素数予想。
ゴールドバッハ予想。
Navier–Stokes の一変種。
Hodge型の簡約版。
そしてリーマン予想。
双子素数予想には、妙に短い証明候補。
ゴールドバッハには、構成的な圧縮記述。
リーマン予想には、たった一行。
> UNDECIDED UNDER CURRENT BOUNDARY
玲司が立ち上がった音で、サミールが振り向いた。
エレナも画面を覗き込む。
「そんな出力になるように作ってない」
サミールが言った。
「箱は言語モデルじゃない。冗談も哲学もいらないんだよ」
玲司は恩師のメモをスクロールした。
宇宙のどこかに、解が先にある相があると仮定せよ。
そこで証明は探索されるのではなく、固定される。
最適解は見つかるのではなく、実在の側へ沈む。
もしこちらがその相に接触すれば、数学は"解かれる"のではなく"気候"になる。
「気候……」
玲司は小さく繰り返した。
◇
四日目、世界は二つの方向へ同時に壊れた。
一方では秩序が崩れた。
銀行は紙に戻り、各国政府は専用回線を物理遮断し、病院はカルテを印刷し、電子投票は停止され、証券決済は凍結と再開を繰り返した。
市場は死にかけた。
もう一方では、新しい技術が噴き出した。
安定区画――まだ"難しさ"が残っている場所――の外側に作られた異常区画で、旧式の古典サーバですら異様な最適化結果を吐くようになったのだ。創薬候補、材料設計、発電配置、物流網、軌道力学、感染症封じ込め。これまで何十年もかけていた探索が、一夜で片づく。
市場は死にながら、新しい市場を作った。
安定区画。
難度保存。
署名寿命保証。
秘密の延命。
境界条件保険。
ニュースは洪水のように流れた。
【速報】スイス大手銀行、署名認証異常で一部送金停止
【NSA声明】量子脅威を含む新種の計算異常に対応中
【EU緊急法案】電子契約の法的効力を一部凍結
【中国国務院】全国計算安定区画の接収を開始
【東京市場】"難度保存"関連銘柄が連日ストップ高
【ジュネーブ】小学校教師、児童に「星座は変わることがある」と授業
【ムンバイ】異常区画最適化で送電網復旧、従来比11分の1
【ボストン】情報学的エンジンにより新規抗がん剤候補を一晩で設計
【ルーブル】各国使節団、紙媒体による覚書交換を再開
仮眠室のモニタの前で、三人は交代でそれを見た。
サミールが缶コーヒーを開けた。持つ手が、わずかに震えていた。
「人類は止まらないな」
サミールが言った。
「止まれないんです」
玲司が答えた。
「こんな答えが出るなら」
エレナが低く言った。
「だからこそ怖い。壊れた秩序の代わりに、もっと大きな力が来る」
「受け入れれば救われる人もいる」
玲司は言った。
「飢えも病もエネルギー不足も、かなり片づきそうだ」
「受け入れれば、の話ね」
エレナはようやく彼を見た。
「あなた、本気でそれを魅力だと思ってるでしょう」
「思わない方が不誠実です」
「だから腹が立つのよ」
「何に」
「あなたが、世界が壊れてるのに、少しうれしそうだから」
玲司は返事に詰まった。
サミールが言った。
「玲司は理論屋だ。壁が壊れると覗きたくなる」
「そういう問題じゃない」
エレナはサミールではなく、玲司に向かって言った。
「私のチームは、外じゃ"犯人"扱いされてる。市場も国家も軍も、全部この部屋の外に押し寄せてる。で、あなたはその中心で"面白い"顔をしてる」
エレナのスマートフォンが光った。画面を伏せる動作が、もう反射になっていた。
玲司も立ち上がった。
「面白いわけじゃない！」
「半分は面白がってる！」
「じゃああなたはどうなんです。量子計算の枠じゃ収まらないってわかって、ほんの少しも興奮してないと？」
エレナの顔から、ほんの一瞬だけ無表情が剥がれた。
サミールが椅子を蹴って立ち上がる。
「やめろって言ってるだろ！」
声が、会議室のガラスに鋭く当たった。
誰も続けなかった。
モニタの向こうでは、どこかの国の首脳が耐量子暗号を連呼していた。
◇
五日目、宇宙が割り込んできた。
南極の宇宙線観測所。
ラグランジュ点L2の望遠衛星。
月周回の老朽探査機。
重力波検出器群。
パルサータイミングアレイ。
ばらばらに届いた報告の内容は、不気味なほど似ていた。
ノイズが、圧縮できる。
宇宙線シャワーに、SAT証明書と似た構造がある。
遠方クエーサーのゆらぎが、異常に短い記述で再現できる。
重力波背景雑音が、まるで最適化の途中結果みたいに整っている。
だが世間を本当に凍らせたのは、もっと単純なニュースだった。
【速報】ベテルギウスの変光、突如として安定化
天文学者「説明困難」
オリオン座の赤い肩。
気まぐれに明るさを変えるあの巨星が、ぴたりと呼吸を止めた。
翌日には、星座がずれた。
人間の目で明らかにわかるほどではない。だが天文アプリの線と実際の星が、微妙に合わない。オリオンの肩が内側へ寄り、冬の大三角が少し丸く見える。最初はアプリの不具合だと言われた。二日後には世界中のアマチュア観測者が同じズレを報告した。
自分の夜空が変わる。
財布より先に、星座が信用できなくなる。
それは暗号崩壊より深く、人々を怯えさせた。
◇
LAPLACEはその夜、巨大な因果グラフを描いた。
地球各地と軌道上から届くデータを統合し、宇宙線ノイズ、変光星の周期変化、銀河団ガスのゆらぎ、重力波背景の規則性を重ねる。
最初、中心はCERNに見えた。
次に地球。
観測点が増えると、その中心は太陽系の外へ飛んだ。
オリオン腕のさらに外。
あまりに静かで、いままで背景として処理されてきた暗い領域。
星が少なく、変化も少なく、観測資源を割く価値がないと判断されていた空白。
「ここ」
玲司が指した。
「ここから来てる」
「来てる？」
サミールが言った。
「何が」
エレナが先に言葉を掴んだ。
「接触じゃない。重なり」
玲司は頷いた。
「こっちの宇宙と、向こうの計算相が」
CERN理事会から来ていた理論物理学者が、怒ったように言った。
「そんなものを科学用語として認めた覚えはない」
「では別の語で呼んでください」
玲司は答えた。
「ですが、これは量子計算の勝利ではありません。演算資源の改善でもない。
"解の探索コストがこちらの現実に乗っていない相"が、宇宙規模でこちらへ重なってきている」
「知的文明の介在は？」
軍の連絡官が言った。
玲司は数秒迷った。
「あるかもしれない。けれど、もしあるとしても、相手はメッセージを送ってきているんじゃない。物理法則で接触してきている」
◇
説明は三時間後には各国首脳の机に乗り、六時間後には国連の緊急特別会合で読み上げられ、八時間後にはリークされた。
世界はパニックにならなかった。
パニックより速いものが起きたからだ。
競争である。
米国は深宇宙観測網を軍事保護下に置いた。
EUはCERN周辺一帯を「国際境界保全区域」とした。
中国は月面に大規模相境界観測拠点を建設すると宣言し、インドは送電網の安定区画制御を全面実装した。ロシアは北極圏の電波静穏域を封鎖し、日本はJAXAと大学連合、民間精密加工企業を束ねた「境界条件工学タスクフォース」を立ち上げた。
ニュースは、経済でも政治でも科学でもなく、すべてが一つだった。
【国連総会】"宇宙的計算相接触"を正式議題化
【米中共同声明ならず】月面観測資産の保護で対立
【EU】CERN周辺を準軍事管理区域に指定
【ベテルギウス】安定光度を維持、観測史上初
【アンドロメダ外縁】重力レンズ分布に異常な規則性
【東京】電子投票停止、紙投票へ全面回帰
【ナイロビ】異常区画最適化により淡水供給網を再構成
【サンパウロ】創薬・食糧・電力最適化企業が急騰
【横浜・鶴見】町工場、不完全性機関の精密部品を初めて受注
【シリコンバレー】"難度保存クラウド"に各国政府が殺到
玲司たち三人の前にある問いは、それでも一つだけだった。
向こうの相が"解が先にある世界"なら、こちらは何を武器にするのか。
◇
答えを最初に口にしたのは、玲司だった。
「未解決を使う」
E-17のホワイトボードに、彼は次々と単語を書いた。
ゲーデル。
チューリング。
独立命題。
停止性。
連続体仮説。
自己言及。
証明不能。
境界依存。
「向こうが"解を先に持つ世界"なら、こちらの武器は逆です。最後まで一つの答えに落ちないもの。どの境界でも同じ顔にならないもの。固定できないもの」
「ノイズ源にするの？」
エレナが言った。
「違う」
玲司は首を振った。
「エンジンです」
「きれいに言い換えただけね」
「そうかもしれない。でも、向こうの相は短い記述へ現実を引き寄せている。ならこちらは、短く閉じきれない構造で楔を打つ」
サミールが眉をひそめた。
「実装は？」
「できる」
玲司より先にエレナが言った。
二人が同時に彼女を見た。
エレナはホワイトボードへ歩き、いくつか図を書いた。
「自己言及回路。停止性近傍。未決定命題列を生成する論理格子。生成層に食わせる候補法則の方へ、解が落ちきらない構造を混ぜる。Lean側の検証も"成功"だけでなく"境界依存"を保存するよう改造する」
玲司が言った。
「できるんですか」
「聞いたのはそっちでしょ。できるかできないかなら、できる」
「でも」
「でも、じゃない」
エレナは彼をまっすぐ見た。
「あなたが未解決を武器にするって言い出した。なら、その責任くらい持ちなさい」
玲司は一瞬、言葉を失った。
サミールが小さく言った。
「お、やっと同じ方向向いたな」
◇
人類はそこで、二度目の加速を始めた。
最初の加速は、向こうの相がもたらした"解けやすさ"だった。
二度目は、人類自身が作ることにした"解けなさ"だった。
不完全性機関。
その名はいつ誰が言い出したのかわからない。気づけば各国の予算書に載り、軍の報告書に載り、子ども向けニュースにまで出ていた。
CERN、フェルミ研、KEK、ESA、JAXA、ISRO、旧ソ連地下施設、イスラエルの暗号企業、日本の精密加工企業、インドの数理研究所、ブラジルの宇宙線観測班。
ありとあらゆる頭脳と工場が、一つの装置を作り始めた。
未決定命題列を生成する論理格子。
停止問題の縁を走る自己言及回路。
境界依存数論を燃料にする圧縮不能列。
証明と反証の両側へ落ちきらない構造を、現実に保持する機械。
最初は小さかった。
病院地下の一室。
銀行の保管庫。
月面基地の端。
だが小さな成功が出た。
浸潤してくる"解けやすさ"の前線が、局所的に鈍ったのだ。
最初の機関が起動したとき、玲司はその場にいた。周囲の計器の数字が一瞬だけ迷った。確定していた値が、ほんの少しだけ揺れて、また戻る。まるで現実が寝返りを打ったような感触だった。
暗号は数時間だけ寿命を取り戻し、証明探索は少しだけ不安定になり、リーマン予想はまた"UNDECIDED UNDER CURRENT BOUNDARY"へ戻った。
世界は叫ぶ代わりに投資した。
国家は不完全性機関の配備競争を始め、企業は"難度保存保証つき"商品を売り、宗教家は「神は世界を閉じ切らない」と説教し、数学者は学会で殴り合い、法曹界は未決定性を前提にした新しい契約理論を作り始めた。
人類は、壊れた秩序を元へ戻そうとしなかった。
別の秩序を、猛烈な速度で実装し始めた。
◇
六週間後、星座は誰の目にも変わっていた。
教科書の線が、もう夜空に合わない。
オリオンの肩は明らかに内へ寄り、冬の大三角はゆっくり潰れた形になった。天文学者は必死に「見かけ上の問題」「相境界による観測系の歪み」と説明したが、人々にとっては違いがなかった。
子どもの頃に覚えた空が、別のものになる。
ベテルギウスはまだ安定していた。
あの気まぐれな巨星が、まるで命じられたみたいに一定の明るさを保っている。
そして、もっと遠いものが変わった。
局所銀河群の分布図に、低記述長の偏りが現れた。
銀河団間ガスのフィラメントが、自然形成にしては整いすぎた線を描き始める。
遠方銀河の形状統計が、宇宙論モデルより先に圧縮ソフトの方で異常として検出される。
宇宙の大規模構造そのものが、計算相の干渉縞に見え始めた。
「銀河で止まってない」
サミールが言った。
「銀河群だ」
エレナはさらに先を見ていた。
「その先も行く。局所群だけじゃない。超銀河団スケールまで伸びる」
「向こうは何をしてる」
サミールが問う。
玲司は答えた。
「設計してる。宇宙の解き方を」
◇
向こうが初めて応えたのは、通信ではなかった。
局所銀河群外縁の星形成率が、人類の不完全性機関の起動パターンに同期して変わり始めたのだ。
こちらが未決定命題列を強く焚くと、向こうの整合相の浸潤が少し退く。
向こうが銀河団フィラメントを滑らかにすると、こちらの安定区画が縮む。
LAPLACEはそれを見て、異様に簡潔な出力を返した。
> RESPONSE DETECTED
> NEGOTIATION IMPOSSIBLE IN LANGUAGE
> NEGOTIATION ACTIVE IN BOUNDARY
「言語では交渉できない」
エレナが読み上げた。
「境界でなら交渉中」
サミールが言った。
「交渉って呼ぶには、派手すぎるな」
「でも、対話ではある」
玲司は宇宙図を見つめた。
言葉ではない。力でもない。
どんな宇宙であるかを、互いに実装し合っている。
「受け身は終わりだ」
エレナが言った。
「ええ」
玲司も頷いた。
「こちらから踏み込む」
◇
国連は「境界安定化共同計画」を立ち上げ、米国は「戦略的相制御」、中国は「宇宙的整合防衛」、EUは「混相移行プロトコル」と呼んだ。
E-17の三人は、もっと短く言った。
「踏み込む」
月面工場は不完全性機関を量産し、火星の整合都市は逆位相制御へ転じ、木星圏には相境界レンズが建設された。土星リング上には未決定命題放射器が並び、地球軌道の証明不能性帆船が太陽風を利用して大規模干渉パターンを展開した。
ニュースは戦況報告になった。
【CERN】相境界制御炉、フルスケール起動へ
【月面】不完全性機関群が同期開始
【火星】整合都市群、一時的に全計算資源を境界制御へ転用
【ベテルギウス】安定光度、ついに緩慢な再揺動を開始
【局所銀河群】フィラメント再配列の速度低下
【超銀河団境界】重力レンズ分布に新たな干渉縞
【市場】"混相域"関連指数が史上最高値
【教育】各国で"境界数学"が必修化
【東京・小平市】天文部の高校生、新しい星座の名前を投稿
【国連】外宇宙相への先制干渉計画を承認
最後の一行に、三人は無言になった。
「先制干渉、ね」
サミールが言った。
「ずいぶん上品な言い方だ」
「政治はいつもそう」
エレナが答えた。
「じゃあ、実際には？」
玲司はスクリーンの外宇宙図を見ながら言った。
「こちらから向こうの相へ、混相を打ち込む」
◇
踏み込み船団は、推進剤だけで飛ぶ船ではなかった。
第一波。
第二波。
第三波。
月、火星、木星圏から同時に発進した。
船体そのものが不完全性機関であり、内部に自己言及回路、未決定命題列、証明不能性ゆらぎ、境界依存数論、相反する圧縮規準を抱えている。
航法は力学ではなく、公理工学だった。
どの程度の整合性を受け入れ、どの程度の未解決性を持ち込むか。
船は宇宙を"進む"のではなく、"どの宇宙を通るか"を選びながら飛んだ。
玲司は《ゲーデル》に乗った。
エレナは当然のように同じ船を選んだ。
サミールは最後まで地上に残ると言っていたが、出発二十四時間前に荷物を抱えて現れた。
「箱を置いていけるかよ」
彼はそれだけ言った。
船窓の外で、ベテルギウスがゆっくりと脈打っていた。
安定と揺らぎのあいだで、今や人類の味方みたいに呼吸している。
◇
相手の宇宙は、国境のようには見えなかった。
光の壁でも闇の溝でもなく、説明の偏りだった。
船の観測系が、短い記述へ短い記述へと引き寄せられる。
進路予測が"きれいすぎる"解へ落ちる。
圧縮率が上がり、ノイズが減り、未来が気味悪いほど素直になる。
「来てる」
エレナが言った。
「向こうの整合相が、船内へ染みてくる」
「不完全性機関は」
玲司が問う。
「持ってる。でも押されてる」
サミールが主画面を睨んだ。
「LAPLACEが勝手に証明を閉じようとしてる。箱の趣味が悪くなってる」
船体がわずかに軋んだ。
物理的な衝撃ではない。
採用される説明が変わるとき、機械も人間も軋む。
エレナが制御卓を叩いた。
「第一格子、解放。停止性回路を全開。未決定命題列を前方へ吐いて」
「吐くって、何を」
サミールが言う。
「干渉よ」
エレナは言った。
「相手が"全部解ける"を押しつけてくるなら、こっちは"まだ決めるな"を押しつける」
玲司は思わず笑った。
それはたぶん、彼女がこの数か月で言った中でいちばん美しい暴言だった。
《ゲーデル》は前方へ不完全性を放射した。
命題列。
自己言及。
停止性近傍。
独立性。
証明と反証の両側へ落ちきらない構造。
宇宙が、ほんの少しだけ乱れた。
向こうの整合相が滑らかに閉じようとする場所に、細い亀裂が走る。
説明が一つに固まらず、縞になる。
短い記述に落ちきれない。
「効いてる！」
サミールが叫んだ。
「まだ足りない」
エレナは言った。
「混相域が薄い。もっと奥まで行く」
「奥って」
サミールが振り向く。
玲司は答えた。
「相手の発生源まで」
◇
発生源は、文明そのものだった。
星が少なく静かな暗黒域だと思われていたそこには、整合相で編まれた巨大構造があった。
物質の都市ではない。
計算相の都市。
銀河間ガスの圧縮率、重力レンズの配列、星形成の偏り、そのすべてが巨大な一つの"解"へ向かうよう設計されている。
LAPLACEが、初めて人間に近い怯え方をした。
> EXTREME COHERENCE DETECTED
> CIVILIZATION LIKELY
> BOUNDARY-WRITTEN ENTITY
「境界記述文明……」
玲司が読んだ。
「つまり、相手は建物や船で宇宙を支配してるんじゃない。宇宙の説明そのものを書いてる」
「最悪ね」
エレナが言った。
「最悪です」
玲司も同意した。
「でも、だから書き換えられる」
サミールが言った。
それがこの男のいいところだった。
宇宙規模の絶望を前にすると、雑に正気になる。
◇
先制干渉は、戦闘の形をしていなかった。
《ゲーデル》は発生源の縁へ到達すると、船体を展開した。
自己言及格子が花のように開き、未決定命題放射器が銀河間空間へ向く。
木星圏レンズ、土星リング放射器、火星逆位相都市、月面機関群、そしてCERN地下E-17が、同時に同期する。
地球は、まだ遠い。
それでも三人には、E-17の冷却管の音が聞こえる気がした。
「行く」
エレナが言った。
「玲司、理論値」
「混相率、0.41から0.63へ上げられる。でも相手の整合圧に押し潰される可能性がある」
「サミール、箱」
「LAPLACEはびびってる。でもまだこちら側だ」
「よし」
エレナは深く息を吸った。
「宇宙を書き換えに行く」
起動。
《ゲーデル》から放たれた不完全性の束が、境界記述文明の整合構造へ刺さった。
銀河間ガスの滑らかな配列に、証明不能性のしわが入る。
重力レンズのきれいすぎる並びに、独立命題の歪みが走る。
星形成の規則性が、一瞬だけ"迷った"。
まるで、初めて問い返されたものの沈黙だった。
その瞬間、向こうから応答が来た。
通信ではない。
こちらの船体内部で、すべての未決定命題が一斉に"決まりそうになる"。
「まずい！」
サミールが叫ぶ。
「全部閉じる！」
整合相の逆流だった。
不完全性機関の心臓部が、短い記述へ引きずり込まれる。
玲司は歯を食いしばった。
恩師の走り書きが、脳裏にちらついた。
——閉じ切るな。
「エレナ！」
「わかってる！」
彼女は制御卓に両手を叩きつけた。
「LAPLACE、生成層を切るな！ 候補を増やせ！ 絞るな、散らせ！」
サミールが怒鳴った。
「箱にそんな使い方するな！ 壊れる！」
「壊れてもいい！」
エレナが怒鳴り返す。
「今は閉じる方がだめ！」
玲司はその言葉で、ようやく見えた。
こちらは相手に勝つ必要はない。
相手の宇宙をこちらの宇宙に変える必要もない。
必要なのは、相手が"整合しかない"状態から抜け出せなくすることだ。
「混相率を1にしない！」
玲司が叫んだ。
「0.5前後で揺らがせる！ 決め切るな！」
「そんな制御、簡単に言うな！」
サミールも叫ぶ。
「簡単じゃなくていい！」
玲司は返した。
「未解決のまま保て！」
◇
戦いは七十時間続いた。
混相率0.38。
「理論値が現場で死んでる！」
0.41。
「現場で生きるだけの理屈なら宇宙なんか書き換えられない！」
0.39。
「二人とも黙れ、箱が拗ねてる！」
0.44。
「箱に感情はない！」
0.47。
「あるみたいな挙動してるだろうが！」
0.51。
「——持ってる」
0.49。
「——持ってる！」
サミールが無言でコーヒーを三人分淹れた。誰も礼を言わなかった。言う暇がなかったのではなく、言わなくても通じる距離にいた。
地球では、ニュースがほとんど実況になっていた。
【特報】踏み込み船団、外宇宙相への先制干渉を継続
【CERN】E-17、臨界出力の97%で運転
【ベテルギウス】周期的明滅を再獲得、天文学者ら騒然
【局所銀河群】フィラメント配置に複数の"数学気候"形成
【国連】対外宇宙相交渉は"進行中"との見解
【中国・米国・EU】混相域維持で異例の共同声明
【東京】紙と電子の混相法体系を暫定施行
【世界教育機関】"未決定性の尊厳"を共通宣言
◇
転機は、ベテルギウスが再び揺れ始めた瞬間に来た。
あの巨星は、整合相に押さえ込まれていた呼吸を取り戻した。
単なる天文学的現象ではない。
向こうの宇宙の一色塗りに、こちらの不完全性が初めて恒星規模で勝ったという証拠だった。
LAPLACEが、新しい出力を返した。
> MIXED BOUNDARY STABLE
> OPPONENT COHERENCE FRACTURING
> ENTRY POSSIBLE
「入れる」
エレナが読んだ。
「どこへ」
サミールが言う。
玲司はスクリーン中央の整合構造を見た。
境界記述文明の中枢。
宇宙の説明を書き換えている場所。
「中だ」
「まさか」
「行くしかない」
エレナは一瞬も迷わなかった。
「突入する」
サミールが乾いた笑いを漏らした。
「ほんとに踏み込みだな」
◇
中枢は、空間ではなかった。
整合構造の核へ入ると、船の観測系は"どの説明が選ばれるか"そのものに触れ始めた。
そこには壁も床もない。
ただ、あらゆる現象が最短の記述へ畳み込まれようとする力だけがある。
境界記述文明は、言語も顔も持たなかった。
持つ必要がなかったのだろう。
彼らは宇宙を十分短く書けるので、会話する必要がない。
船窓の外には、整合しきった光があった。すべての波長が一つの式に従い、すべての粒子が最短経路を辿り、すべての影が同じ深さで落ちている。美しく、冷たく、問いかける余地がない風景だった。
「嫌な相手」
エレナが吐き捨てるように言った。
「わかる」
玲司も言った。
「理屈は強いのに、余白がない」
「だったら」
サミールが制御卓を叩いた。
「余白を押し込め！」
三人は中枢へ、不完全性機関そのものを突き立てた。
未決定命題。
自己言及。
停止性。
独立性。
証明不能。
境界依存。
あらゆる"閉じ切れないもの"が、整合構造の核へ雪崩れ込む。
宇宙が、初めて大きく迷った。
局所銀河群のフィラメントが揺れ、超銀河団境界のレンズ分布に新しい縞が走り、遠方銀河団の形状統計が一斉に乱れた。星座はさらに崩れ、また少し別の均衡へ落ち着く。ベテルギウスは呼吸を深くし、アンドロメダ外縁の規則性はほどけた。
境界記述文明の整合性が、割れた。
「今！」
エレナが叫ぶ。
「玲司！」
「混相率、0.52！」
「サミール！」
「箱、泣きながら耐えてる！」
「十分！」
三人は最後の起動列を打ち込んだ。
中枢は破壊されなかった。
破壊する必要はなかった。
閉じ切らないようにしたのだ。
境界記述文明は、以後、自分たちの宇宙を"一つの最短解"として維持できなくなった。
彼らもまた、未解決と余白と揺らぎを抱え込むことになる。
佐伯の最後のメモが浮かんだ。
——もしこちらがその相に接触すれば、数学は"気候"になる。
気候は、一方的には吹かない。
◇
帰還後、世界は終わらなかった。
国家は残った。
市場も残った。
暗号は永久の盾ではなくなったが、寿命と場所と境界条件を設計する産業になった。法は署名だけに頼らなくなり、教育は"正しい答え"より"どの境界で何が未決定か"を教えるようになった。量子コンピュータは主役ではなかったが、不完全性機関の重要な器官として再発明された。
CERNは研究所のまま、文明炉になった。
そして宇宙は、一つの答えではなくなった。
局所銀河群には複数の数学気候が生まれた。
整合が濃い領域。
不完全性が濃い領域。
その二つが干渉して、美しい縞になる領域。
超銀河団スケールですら、もはや一枚岩ではない。
ニュースは、何年も"今日の宇宙天気"を読み上げた。
【宇宙気候】オリオン腕外縁で混相率上昇
【ベテルギウス】安定と揺動の複合周期を維持
【局所銀河群】相境界航法に適した回廊を新たに確認
【教育】境界数学・公理工学・宇宙気候学が基幹教科に
【国連】元・境界記述文明との相互干渉安定化を宣言
"元・境界記述文明"。
向こうもまた、こちらをそう呼んでいるのかもしれない。
◇
何十年か後、最初の混相船団が局所銀河群外縁へ向かったとき、船体には二つの記号が刻まれていた。
一つはCERN。
もう一つは、古くて新しい記号。
⊬
証明できない。
だから、進める。
◇
出航前夜、玲司はE-17の外に立って空を見た。
星座はまだ見慣れない形をしていた。
それでももう、他人の空という感じはしなかった。
ベテルギウスは、安定と揺らぎのあいだで、ゆっくりと呼吸している。
遠方銀河群の分布図には、いくつもの数学気候が重なり合っていた。整合しすぎる領域、不完全が濃い領域、その両者が縞になる領域。
宇宙は一つの答えではなくなった。
だからこそ、長く生きられる気がした。
サミールが缶コーヒーを持って来て、一本を差し出した。
玲司は一口飲んで、まずいと思った。三杯目だからではない。同じ味がした。最初の朝と。
エレナは少し遅れて現れ、何も言わず隣に立った。
三人で空を見上げた。しばらく、誰も何も言わなかった。
「最初に世界を壊したのは、たった一行だったな」
サミールが言った。
玲司は頷いた。
「SATISFIABLE」
「最後に世界を救ったのは？」
エレナが言う。
玲司は少し考えた。
そして笑った。
「OPEN、かな」
エレナも、サミールも笑った。
空の向こうでは、銀河群がゆっくり形を変えている。
向こうの宇宙も、こちらの宇宙も、もう以前のままではない。
どちらも相手によって傷つき、広がった。
証明はまだない。
完成もしていない。
宇宙は開いたままだ。
だから船は出る。
だから星座はまた変わる。
だから人類は、まだ始められる。
