第11稿。攻城戦の後半戦——数値探索から厳密証明へ武器を持ち替える。Dykstra交互射影で「どんな証明戦略が原理的に通るか」の国境線を引き、円板則の粒度を解剖して原子版L*は偽(残差10⁻¹⁵の厳密反例)・重みつきL†は真(カミソリ一枚0.9985)と確定。そしてシリーズ初の完全証明・定理8——震源そのものだった敵対的家族が初等不等式1行で沈む。対蹠点の鎖族は恒等式 n=a+b で落ち(定理9)、残った回転Bell族は一本の4次永年方程式に潰れ、有理数区間演算+中心形式、そして「marginを直接証明する」発想の転換(3,253箱・8秒・未解決ゼロ)を経て、定理10——回転Bell族の全域証明——が完結する。
2026年7月の記事 18件
すべての記事へ第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桁一致)、そして特異点の型を読む辞書の証明へ。
全7部の第3部(第1〜5章を収録)。深さの球面上の力学(エントロピー勾配流とH定理)、分布全体への拡張(単体とKL勾配流・Gibbs平衡)、ランダム量子回路による微視的検証と中間総括。そして量子系で建てた幾何を発散級数の側に移植する——Borel平面に距離無限大の地平線が現れ、多重地平線の地図帳(トランス級数)が姿を見せる。
全7部の第2部(第1〜4章を収録)。情報が「深いところにある」とはどういうことか。量子系を実験台に、深さの操作的定義(何個の部品を同時に読まないと見えないか)、手で解ける最小模型 D=1+H₂(sin²θ)、Page曲線の読み替え、スクランブリング時間の再導出、そして深さの空間に幾何(Fisher計量・球面)を入れるところまで。
全7部の第1部(第1〜3章を収録)。「なぜ 1+2+3+… が −1/12 になっても嘘ではないのか」という素朴な疑問から出発し、発散は情報の消失ではなく表現の変換ではないかという仮説を立て、「情報とは何か」「保存則とは何か」を手探りで定義していく。情報不変量 I(S)、情報保存変換の七公理、応答関手と完全情報予想まで。