量子鍵配送BB84を外部ライブラリなしで実装して、盗聴が誤り率としてどう表に出るかを測る。全面盗聴で QBER が25%になること、検知に必要な照合ビット数、部分盗聴がどこまで隠れられるか。
測定で、なぜ一つの結果だけが選ばれるのか。デコヒーレンスが解決すること・しないことをまず切り分け、五つの解釈を「実験で判別できるか」という一点で等級づけする。標準量子力学と違う予言をする客観的収縮モデル(GRW/CSL)だけが検証可能で、最も単純な GRW は2021年の地下実験で排除された。
最終稿。一般Schmidt族の探索で等号への漸近を見きわめ、証明マシンを証明書検証型v2に作り替え、Bell面を一本の五次式まで圧縮する。C の厳密区間エンジンと摂動解析で三つの岸に定理9・10・11を立て、全11件の定理と10件の補題で締める。末尾に、読者から届いた問いへの追記を置いた。
定理7が証明できたのは偶然ではなかった。任意のランク2状態の部分転置は、正の背景から2本のもつれスパイクを引いた形に書ける——この普遍構造を確立し、補題S・K・O、凸性連鎖とGram連鎖、Ky Fan の鍵で数値被覆率を99.5%まで進める。最後に定理8として L4-Bell族6パラメータ全体を定理7へ厳密還元する。旧第23〜34稿の統合。
数値探索から厳密証明へ、手法を切り替えた後半の記録。Dykstra 交互射影で証明戦略の限界を見極め、円板則が成り立つ粒度を特定し、定理5・6を初等計算で証明する。回転Bell族は一本の永年方程式に潰れ、有理数の区間演算による定理7の全域証明で閉じる。
総量と方向ごとの上限を同時に課す線形計画で上界(定理4)を証明し、最難関の族での証明上界を 1.0002 まで詰めた。目標は 1 だから、残りは 0.02%。定理3だけでは永遠に閉じられないことも測って確定させ、十稿分の定理・予想・訂正・残る課題を一覧にする総括の回。
補題L‡に二方向から迫る。整列度を負固有ベクトルの Schmidt 係数の積で抑える補題A(整列による制限)を証明し、最大もつれの場合の比率を 9/8 まで圧縮した。正値性の使い方は半正定値計画の実行可能性として定式化し、証明書を数値で構成する。
「負固有値は1個」という前提が、実測では97%が2個だった。前提を直したうえで、還元定理で M3' を補題L‡へ落とす。正値性を外すと反例が構成できることも示し、どんな証明も状態の正値性を使わざるを得ないと確定させた第8稿。
予想M3'(混合3量子ビットの負性二乗モノガミー)を、発表する前に自分で証明できないか試した中間報告。完全証明には届かなかった。橋の補題と √2 係数の定理1は固め、問題を2枚の射影の主角度の幾何まで還元した。等号解析で予想がタイトなことも確定し、残る隙間を一点に絞る。
負性二乗モノガミーの反例を、九つの探索領域で本気で探した。出なかった。最適化が張り付いていく先は自明な境界で、それを2行の補題で特定している。純状態版は He–Vidal 予想の独立再発見と判明し、空白だった混合状態版を予想M3'として置く。
重力はもつれを作れるのか。それを問う BMV 実験の理論部分を自分で計算した。軸になるのは「古典チャネルはもつれを作れない」という LOCC 定理。現実的なパラメータで重力位相 0.314 rad、もつれ C=0.156、最大 CHSH=2.024>2 を独立2手法で確認し、実験の難所と論法の抜け穴も並べる。
第3稿で検証した CKW モノガミーは、実は量子ビット限定の法則だった。量子トリットでは Ou(2007) の反例で破れる。反例を数値で再現して破れ幅 2/3 と幾何学的な理由を突き止め、負性なら不等式が戻ることを確認し、忠実さとモノガミーの非両立定理まで、配分の上限をどう数えるかの構造を追う。
相関の配分制限(モノガミー)を3量子ビット2000例と GHZ/W 状態で確かめ、PRボックスの構成と情報因果律で「なぜ 2√2 で止まるのか」に答える。五つの部品で機構としての解答を組み上げ、残った測定問題を等級づけして、いったんシリーズを閉じる。
量子もつれは「あらかじめ書かれた答えの表」(局所隠れ変数)で説明できるのか。全16戦略を総当たりして古典の上限が 2 であることを確かめ、量子が 2√2 を出すこと、そしてなぜそこで止まるのか(Tsirelson 限界)までを数値で押さえる。
片方を測ると、離れたもう片方が瞬時に決まる。この一文には「何かが飛んでいる」と「答えは最初から書いてあった」というまったく違う二つの読みが同居している。連載の第1稿では前者を、no-signaling 定理と 10⁻¹⁷ の数値検証で潰すところから始める。