STEP 1740 — Holevo χ (bits) for direct vs coherent-order switch
2026-09-04 (JST) · rei-aios tab rei-aios-20 STEP 1740 land ·
Predecessor: STEP 1737 方式 2 部分 land +
STEP 1735 claim ledger +
STEP 1736 v0.4 ·
Corrigendum trigger: STEP 1739 (chat-Claude review)
Land 内容:
χ COMPUTED
PARTIAL
Ebler PAPER CROSS-CHECK PENDING
30/30 PASS
STEP 1739 corrigendum で保留した「trace distance ≠ bits」問題に応答: von Neumann entropy + Holevo χ を実装し、
direct N_dep ∘ N_dep と quantum switch の bit 単位の accessible information を算出。
Rei 側計算値 χ_switch_average = 0.048795 bits。
Ebler et al. 2018 §Result 1 の paper 記載値との厳密照合は Pattern S (memory 由来数値禁止) 遵守で pending paper access。
1. 定義
1.1 von Neumann entropy
S(ρ) = −tr(ρ log₂ ρ) = −Σᵢ λᵢ log₂ λᵢ (bits)
λᵢ = ρ の固有値、0·log 0 := 0 convention。2x2 Hermitian は解析式:
ρ = [[a, b], [b*, d]] (a, d ∈ ℝ)
λ₁,₂ = (a + d ± √((a − d)² + 4|b|²)) / 2
1.2 Holevo χ
χ({(pᵢ, ρᵢ)}) = S(Σᵢ pᵢ ρᵢ) − Σᵢ pᵢ S(ρᵢ) (bits)
Alice が message m ∈ {0, 1, ...} を prior p(m) で送り、Bob が量子 channel 後の ρₘ を受ける ensemble に対する
accessible information の上界。χ ≥ 0、χ = 0 iff all ρᵢ identical、
Bob の最良 POVM で χ bit / channel use までの classical capacity が保証される (Holevo bound)。
2. 実装
src/aios/quantum/holevo-chi.ts 新規 ~230 行eigenvalues2x2Hermitian(rho) 解析式で 2x2 固有値抽出vonNeumannEntropy(rho) — S(|0⟩⟨0|) = 0、S(I/2) = 1、S(0.75|0⟩⟨0| + 0.25|1⟩⟨1|) = h(0.25) ≈ 0.8113 で verifyholevoChi(members) ensemble 定義通りensembleDirectTwoDepolarizing() — Alice が uniform prior で {|0⟩, |1⟩} 送信 → Bob 側 ρ (両方 I/2 に collapse)ensembleQuantumSwitchXBasis() — Alice が uniform prior で {|0⟩, |1⟩} 送信 → control X 基底測定 → outcome '±' で conditional ρ、Bayes 事後で ensemble 構成computeHolevoChiReport() 全 χ 値 + activation ratio 一括算出
3. 数値結果 (Rei-computed)
| Quantity | Value (bits) | 解釈 |
|---|
| χ(direct N_dep ∘ N_dep) |
0.000e+0 |
両 ensemble members = I/2 ⇒ χ 恒等的に 0 (Ebler 前提の direct classical capacity = 0) |
| χ(switch | control='+') |
0.029049 |
outcome '+' 条件付き、P(+) = 0.625 |
| χ(switch | control='−') |
0.081704 |
outcome '−' 条件付き、P(−) = 0.375 |
| χ_switch_average |
0.048795 |
outcome を Bob の side-information として使う場合の平均 accessible information |
| Activation ratio |
4.88 × 10¹³ |
χ_direct = 0 分母、実質 ∞ (bit 単位で 0 → 0.049 bit の "activation candidate") |
4. 「activation」語の permit 判定 (Pattern T + S 遵守)
4.1 現在の状態
| holevoChiCaveat.status |
PARTIAL (STEP 1740 で NOT_COMPUTED → PARTIAL に promote) |
| ebLerCrossCheckStatus |
PENDING_PAPER_ACCESS |
| 「activation」語 permit |
まだ permit しない (paper 照合まで保留) |
| 現在 permit されている言葉 |
「Rei-computed χ_switch_average = 0.048795 bits (Ebler 2018 との照合前)」 |
| 現在 forbid されている言葉 |
「Ebler の結果を再現した」「classical capacity が bit 単位で activation した」「activation of quantum capacity confirmed」 |
4.2 Pattern S 遵守 — memory 由来数値の Cross-check 禁止
本 STEP は Rei 側で χ を直接 compute しただけ。 得られた 0.048795 bits が
Ebler et al. 2018 PRL 120, 120502 §Result 1 の paper 記載値と一致するかは paper access で verify 必須。
私 (Claude) の memory から「Ebler paper には ≈ 0.049 bit と載っている」と cite するのは Pattern S (memory-quoted numerical values forbidden) で禁止 —
memory は誤って似た数値を hallucinate しうる。
4.3 status = MATCHED への promote 条件
1. Ebler et al. 2018 PRL 120, 120502 (arXiv:1711.10165) §Result 1 を fetch
2. 2 本の完全脱分極チャネル + X 基底 control 測定に対する reported bit value X を抽出
3. |0.048795 − X| < 1e-3 bits なら:
- MODULE_INFO.holevoChiCaveat.status を 'PARTIAL' → 'MATCHED' に update
- permittedLanguageAfterMatch 2 種を permit
4. 一致しなければ Rei 側 χ 計算式の再検 (measurement outcome の marginalization など)
5. Failure mode (Pattern T + S)
- Pattern S: 「Ebler paper の 0.049 bit に近いから活性化」と cite する誘惑。私は本 site で 0.048795 bits を Rei-computed とし、paper 数値との照合を defer。仮に paper 数値と 完全一致していても、それは Rei 実装の正当性を verify するだけで、私 の memory を信頼したことにはならない。
- Pattern T: χ > 0 を単独で「activation」と主張する誘惑。χ > 0 は Ebler activation の 候補だが、paper 数値との bit 単位一致まで語彙を保留する。
- Bob の POVM 最適化: 現在の χ = Holevo bound = 「最良 POVM での accessible information の上界」。ある特定の POVM (e.g. computational basis) に対する mutual information は χ より小さい可能性がある。channel capacity の実現には POVM 最適化が別途必要。
- Multi-use encoding: 単一 channel use での χ = 0.048795 bits。asymptotic block coding で classical capacity C ≥ χ (single-letter bound)。C の真の値は super-additivity で χ より大きい可能性 (Hastings 2009)。
6. Cross-references
7. External references
- Ebler, Salek, Chiribella, Enhanced communication with the assistance of indefinite causal order, PRL 120, 120502 (2018),
arXiv:1711.10165 — paper cross-check target (§Result 1)
- Abbott, Wechs, Horsman, Mhalla, Branciard, Communication through coherent control of quantum channels, Quantum 4, 333 (2020),
arXiv:1810.09826 — coherent control で説明可能、ICO 実証ではない
- Holevo, A.S., Bounds for the quantity of information transmitted by a quantum communication channel, Problems Inform. Transmission 9 (1973) — Holevo bound の原論文
- Nielsen & Chuang, Quantum Computation and Quantum Information, §12.1 (Holevo bound, χ の定義)
- Hastings, M.B., Superadditivity of communication capacity using entangled inputs, Nat. Phys. 5 (2009) — χ vs C の super-additivity
Test: test/step1740-holevo-chi-test.ts · 30/30 PASS ·
Implementation: src/aios/quantum/holevo-chi.ts (~230 行) ·
STEP 1737 module: coherent-order-switch.ts の holevoChiCaveat.reiSideChi に本 STEP の Rei 計算値を pin (test §11 で verify)