数学・物理 23件

量子もつれ攻略ノートは、未解決のモノガミー予想にAIと数値実験・計算機援用証明で肉薄する試みだった。本稿はその舞台裏の方法論を記録する。山登り探索が凸最適化（Dykstra交互射影）に進化し、素朴な区間演算が中心形式で二乗収束し、「単調性を証明する」代わりに「marginを直接証明する」発想の転換が8秒で定理を落とす——AIが証明に効いた瞬間を具体的に示す。同時に、AIが必ず犯す誤りも隠さない：拘束イデアルの見落とし、共役の付け間違い。それらを「式は数値が裁く」という規律で回収した記録から、AIで証明できること・できないこと、そして最も重要な『できないと言わせる』ことの価値までを帳簿づけする。

量子もつれ攻略ノートは「相関はどう保存され読まれるか」を完全に説明した上で、たった一つの謎を棚に残して終わった——測定でなぜ一つの結果が選ばれるのか。本稿はその約束を回収する。射影公理という異物を出発点に、デコヒーレンス（Zurek）が何を解決し何を解決しないかを切り分け、五つの解釈（コペンハーゲン・多世界・パイロット波・QBism・客観的収縮）を「実験で判別できるか」で正直に等級づけする。鍵は客観的収縮モデル（GRW/CSL）——これだけが標準量子力学と異なる予言をし、実際に検証されている。2021年、地下の低バックグラウンド実験が最も単純なGRWモデルを排除した。夢のような解釈論の中で、どこに実験の刃が届いているかを帳簿づけする。

「エネルギーを与えて反重力を生み出す装置」は作れるのか。夢を頭ごなしに否定せず、量子力学と一般相対論の抜け穴を一つずつ開けて、開くか閉じるかを正直に帳簿づけする。カシミール効果の負エネルギーは本物だ——だが量子エネルギー不等式が貸した分を必ず取り立てる。反物質は上に落ちるかと思いきや普通に落ちた（ALPHA-g 2023）。甲虫の反重力は空力だった。七つの抜け穴を検分し、それらを封じる四つの定理（等価原理・正エネルギー定理・量子エネルギー不等式・ANEC）を示し、最後に「本物に見えて本物の物理で動く」三つの浮上技術と、唯一開いている扉のありかを記す。すべて実在の査読論文を引用する。

最終稿。最後の二ペア戦線・一般Schmidt族の偵察は「崖ではなく岸辺」を発見する——r=0.999998は破れではなく等号多様体への漸近だった。証明マシンを固有値追跡から証書検証型v2へ転換し、片翼剛性・ゲージ・角族・セクター固有値・交互配置の各補題でBell面を8×8行列から一本の五次式まで圧縮。五次元区間証明の計算の壁はC厳密区間エンジン（298万箱・108秒）が破る。岸辺は三面とも制圧——定理12（積翼族・トレースアウトは減衰を薄める）、定理13（p岸・完全平方と普遍公式margin=2x₁²）、定理14（q岸・直交が救う岸）。シリーズ全51回相当の攻略戦を定理14件・補題10件の総帳簿で締め、追記として「なぜ瞬時に情報が届くのか」という読者の問いに研究ノートで答える。

第12稿。定理10の勝利は偶然ではなかった——任意のランク2混合状態の部分転置は「正の背景から2本のもつれスパイクを引く」形に普遍的に書け、永年方程式がランク2全体に持ち上がる。局在仮説を支える三補題（スパイクは常に最大もつれ・原資は内部コヒーレンスで頭打ち・BとCは円板を分け合う補題O、5行の完全証明つき）を確立し、凸性連鎖（71%で破れる）とGram連鎖（99%）の相補地図をKy Fanの鍵で99.5%まで押し上げる。残欠0.5%の解剖は「相手の重みの上に座る」巨大クロス減衰を露出させ、問題は3本の永年方程式の負根比較に帰一。最後に定理11——危険の震源だった6パラメータのL4-Bell族全体が、単一の複素数を経由して定理10に厳密還元され、一括で陥落する。

第11稿。攻城戦の後半戦——数値探索から厳密証明へ武器を持ち替える。Dykstra交互射影で「どんな証明戦略が原理的に通るか」の国境線を引き、円板則の粒度を解剖して原子版L*は偽（残差10⁻¹⁵の厳密反例）・重みつきL†は真（カミソリ一枚0.9985）と確定。そしてシリーズ初の完全証明・定理8——震源そのものだった敵対的家族が初等不等式1行で沈む。対蹠点の鎖族は恒等式 n=a+b で落ち（定理9）、残った回転Bell族は一本の4次永年方程式に潰れ、有理数区間演算＋中心形式、そして「marginを直接証明する」発想の転換（3,253箱・8秒・未解決ゼロ）を経て、定理10——回転Bell族の全域証明——が完結する。

第10稿・帳簿の回。M3'攻城戦の最終装備・定理6（LP精密化）を証明する：X⁻の予算nと方向ごとの橋の税κ/2を同時に課す線形計画の上界で、最難関の敵対的家族での証明上界は1.0002——目標1まで残り0.02%に迫った。同時に包囲網の限界も精密に測る：定理5は構造的に単独では閉じられず（σ₁σ₁'≥1/2の壁）、無条件証明済み領域は片翼PPT（ランダム状態の62.5%）に留まる。シリーズ10稿の全帳簿——解けた問い・証明済み定理8件・予想2件・障害定理・未解決の的——を、正直な等級づけで総決算する。

第9稿。補題L‡（M3'の最後の砦）への二正面攻撃。第一の武器・補題A：二つの負方向スライスの整列度cは、負固有ベクトルのSchmidt係数の積で上から抑えられる——「整列したければ、もつれを手放せ」という課税規則（コーシー・シュワルツで2行証明、数値ではほぼ等号達成）。これで定理3の角度が内在量に置換され、v・wが最大もつれの場合 r≤9/8 まで圧縮（定理5）。第二の武器・双対証書：正値性の使い方を「分解 D=R+P^{T_A} の存在」という半正定値計画の実行可能性1問に定式化し、最難関の敵対的状態で違反10⁻³の証書を数値構成した。M3'包囲網：√2 → 9/8 → 証書1点。

第8稿。予想M3'の証明の隙間を大きく狭めた回。まず前提の修正：ランダム混合状態の97%は部分転置の負固有値が2個で、第7稿の単一固有値解析はほぼ測度ゼロだった。負部分全体で整列度p̄を定義し直すと、3行の還元定理「M3' ⟸ 補題L‡（p̄²+q̄²≤1）」が成立する。L‡は596例の検査で最大0.983・破れなし。さらに決定的な発見：正値性ρ≥0を外した明示構成で比率1.31＞1が実現できる——つまりL‡は行列解析だけでは偽であり、いかなる証明も状態の正値性を使わねばならない。途中で踏んだ転置規約のバグとその発見の経緯も、研究ノートの流儀で正直に記録する。

第7稿。予想M3'（混合3量子ビットの負性二乗モノガミー）を「発表する前に証明する」試み。完全証明には届かなかったが、道中で証明できたものを固める：橋の補題（部分転置の負固有値は固有ベクトルのもつれの半分以下——2行で証明）、定理1（√2係数つきモノガミーは無条件に成立）、定理3（問題は2つの射影の主角度cの幾何に還元され、c≤√2−1なら完全証明）。等号解析により予想がタイト（単一ペア状態で厳密に飽和）であることも確定。残る隙間はc>√2−1領域での正値性制約の活用一点に絞られた。数値検証は全項目つき。

第6稿。負性二乗モノガミーの反例を9つの猟場（純・混合、qubit・qutrit・ququart、3体・4体、ランダム・構造化・敵対的最適化）で本気で狩った報告。獲物は出ず、最適化はギャップ0に漸近するだけで越えない——しかもその漸近が自明な境界への吸い寄せであることを2行の補題で特定した。文献との突き合わせで、純状態版は He–Vidal 予想（2014）として10年前に同じ数値実験つきで提出済みと判明（独立再発見）。一方、混合状態版は2022年のレビューにも記載がない空白地帯であり、4,800例＋最適化2系統の証拠を添えて「予想M3'」として提出する。新規性監査の実務——何が既知で、何が再発見で、何が新規候補か——を最初から帳簿に組み込んだ稿。

第5稿。棚卸しで挙げた実験可能な未解決問題——重力はもつれを作れるか——に踏み込む。鍵となる論法は驚くほど純粋な量子情報理論である：古典チャネルはもつれを作れない（LOCC定理）。ゆえに、重力だけで二つの質量がもつれたなら、重力は古典では有り得ない。本稿ではBMV実験（Bose et al. / Marletto–Vedral 2017）の理論部分を完全に計算する：現実的パラメータ（10⁻¹⁴ kg・450 μm・2.5秒）で重力位相 Δφ=0.314 rad、生成もつれ C=0.156、そして最大CHSH=2.024>2 ——ベル違反可能な量のもつれが、独立2手法の計算一致つきで出る。成功すれば重力の量子性の初の実験的証拠であり、ノーベル賞級の的である理由と、残る抜け穴も正直に記す。

攻略再開の第4稿。第3稿で検証したCKWモノガミー（相関の配分制）は、実は量子ビット限定の法則である。次元を1つ上げた量子トリット（qutrit）では、Ou(2007)の反例——3粒子の完全反対称状態——で帳簿が破れる。本稿はこの反例を数値で完全再現し（破れ幅はちょうど2/3）、破れの幾何学的な理由（Λ²(C³)の全元が分解可能）を特定する。そして「どの通貨なら帳簿が合うのか」を追う：負性（negativity）は同じ状態で帳簿を守り、ランダム1200例でも反例なし。さらに文献から「忠実さとモノガミーは原理的に両立しない」という定理を引いて、通貨問題の構造を確定する。

最終稿。部品は揃った——何も飛ばない（第1稿）、答えの表でもない（第2稿）、正体は2√2の強さを持つ相関関数（第2稿）。本稿ではまず相関の配分制限（モノガミー）をランダム3量子ビット2000例とGHZ/W状態で数値検証し、もつれが「深さ2に置かれた配分制の資源」であることを確定する。次にPRボックス（no-signalingなのにCHSH=4）を構成して「なぜ自然は2√2で止まるのか」が独立の問いであることを示し、情報因果律による答えを紹介する。最後に、五部品の機構としての解答を組み上げ、それでも残る本物の謎（測定問題）を正直に等級づけして、シリーズを閉じる。

第2稿。前稿で「何も飛んでいない」ことは確定した。残る候補は「答えは最初から書いてあった」（隠れた変数説）。ベルの定理はこれを実験で判定可能な数値——CHSH相関量——に変えた。本稿では、あらかじめ答えの表を持つ全戦略16通りを総当たりして古典の上限2を確認し、量子（シングレット状態）が2.8284271247=2√2を出すことを数値で確かめ、さらになぜぴったり2√2で止まるのか（Tsirelson限界）を演算子の恒等式で検証する。深さ2の倉庫の容量が古典1ビット・量子2ビットである帳簿も添える。

新シリーズ第1稿。量子エンタングルメントの有名な疑問——もつれた粒子の片方を測ると、どんなに離れていてももう片方が瞬時に決まるのはなぜか。アインシュタインが「不気味な遠隔作用」と呼んだこの現象を、疑問の解剖から始める。「瞬時に決まる」には二つの読み方があり、片方（何かが飛んでいる説）はno-signaling定理が機械精度で殺すことを数値検証する。残るもう片方（最初から書いてあった説）が本当に成り立つのかが、次稿の主題になる。

全7部の最終部（第1〜9章を収録）。残っていた宿題の掃討戦——三つの時間スケールの解決（律速つき勾配流・0.5%一致）、辞書の定理化、Stokes位相＝量子位相、ホロノミーの数値検証（10⁻¹⁵）、極大性への前進、OPEの測定、応答曲面の完全地図（暗合はすべて等高線だった）——を経て、リーマン予想の「赤道予想」への翻訳と、ブラックホール情報問題への機構的解答「情報は動かない、地平が動く」でシリーズを締める。

全7部の第6部（第1〜7章を収録）。c=1 のCFTが立てた予言を検証し、外れ、修正し、当てるまでの往復。セクター重みの成長則（ヌル塔と線形則 p_n=1/2−5n/8）、応答曲面と「二次非線形は極値」という天井（上限5/2）、カオス限界・量子速度限界との統一（率×解析性の幅≦定数）、三十章の帳簿、そして地平線の熱力学（型は比熱である）まで。

全7部の第5部（第1〜7章を収録）。縫い目は曲がっていて（Painlevé I）、その整合条件には黄金比が刻まれていた。曲率を手がかりに変換の圏 C_max を建て（Stokes群とsl(2)）、二十章の帳簿で現在地を確認したのち、縫い目の代数（Witt）の中心拡大を追いかける——葉の量子化・正規順序を経て、モジュライの上に c=1 自由ボソンの共形場理論が確定する。

全7部の第4部（第1〜5章を収録）。地図帳の縫い目の検算（Airy接続公式・機械精度10⁻¹⁵）を経て、第2章でいったん「最初の問いへの答え」を宣言する。続いて答えの適用範囲の監査（存在問題——Nevanlinna–Sokalの定理と自然境界の限界線）、発散級数が本当に有限値へ収束することの数値検証（13桁一致）、そして特異点の型を読む辞書の証明へ。