C024 - The final fidelity is independent of all global errors (e.g. X_e X_e, X_e Z_e), while all...
Verdict: verified
Location: Theoretical error analysis; Fig. 3a
Type / expected artifact: empirical / math / Fig. 3a
Claim: The final fidelity is independent of all global errors (e.g. X_e X_e, X_e Z_e), while all local errors (e.g. X_e I_e, I_e Z_e) become amplified.
Models: extraction claude-opus-4-8; verification gpt-5; verification_chain claude-opus-4-8 -> gpt-5; verdict_chain verified -> verified.
Source location(s): source/main.tex:138-145 (Theoretical error analysis).
Conclusion
Paper (main.tex l.145): final fidelity independent of all global errors (e.g. X_eX_e, X_eZ_e); all local errors (e.g. X_eI_e, I_eZ_e) amplified. Reproduced in the discrete cycle by inserting each of the 16 M_{i,j}=exp(-i(pi/2)sigma_i(x)sigma_j) channels (sigma_0 = FULL identity, per the paper) once per cycle at prob p and taking the power-iteration steady state. RESULT: all 9 global channels give d(1-F)/dp < 4e-11 (fidelity unaffected); all 6 local channels are amplified (bit/Y local slope 5.60, phase local slope 4.35). Dichotomy CONFIRMED exactly as claimed. [Round-1 correction: the original run used a buggy shared the self-contained model where PAULI_DE['I'] was the {down,e}-restricted projector (zeroing |up>), which broke the global/local split and gave a false 'mismatch'. The self-contained code was fixed (sigma_0 = full identity; M_error() helper; power-iteration steady_state) and this claim re-run.]
Verification details
Executable rerun: run.py exited 0 in 0.64s; log verification/C024/attempts/R002/run.log.
Output excerpt:
bare protocol steady state: F(Psi-)=1.000000 eig=1.000000
channel kind d(1-F)/dp slope
I_e X_e local 5.5992
I_e Y_e local 5.5992
I_e Z_e local 4.3523
X_e I_e local 5.5992
X_e X_e global 0.0000
X_e Y_e global -0.0000
X_e Z_e global -0.0000
Y_e I_e local 5.5992