Full HTML report

Generation of a maximally entangled state using collective optical pumping

verification/C027/attempts/R002/claim_report.md

C027 - Fig. 3a: the steady-state error associated with each individual error channel of probabil...

Verdict: partial Location: Fig. 3a Type / expected artifact: plot / figure (errors_bit_flip.pdf) Claim: Fig. 3a: the steady-state error associated with each individual error channel of probability p. Models: extraction claude-opus-4-8; verification gpt-5; verification_chain claude-opus-4-8 -> gpt-5; verdict_chain partial -> partial. Limitations: visual_match_only, paper_text_only_reimplementation. Source location(s): source/main.tex:139-145 (Fig. 3a).

Conclusion

Reproduced per-channel steady-state error grid for the 16 M_{i,j} depolarising channels (map rho->(1-p)rho+p M rho M^dag once/cycle after drive A). Global errors (interior 3x3) ~0; local errors amplified: X_I/I_X~4.89, Y_I/I_Y~4.89, Z_I/I_Z~3.88 (round to 5,5,4 as in Fig 3a panel). Matches paper structure. Theory-reproducible plot; Tier-A visual match only -> caps at partial.

Verification details

Executable rerun: run.py exited 0 in 0.92s; log verification/C027/attempts/R002/run.log.

Output excerpt:

Steady-state error linear coefficient (error ~ coeff*p), rows=i, cols=j:
             I       X       Y       Z
  I    0.00    4.89    4.89    3.88
  X    4.89    0.00    0.00   -0.00
  Y    4.89    0.00   -0.00   -0.00
  Z    3.88   -0.00   -0.00    0.00
global-error coeffs (should be ~0): [np.float64(0.0), np.float64(0.0), np.float64(-0.0), np.float64(0.0), np.float64(-0.0), np.float64(-0.0), np.float64(-0.0), np.float64(-0.0), np.float64(0.0)]
local-error coeffs (amplified): [np.float64(3.88), np.float64(3.88), np.float64(4.89), np.float64(4.89), np.float64(4.89), np.float64(4.89)]
X_I/I_X coeff (bit-flip uncorrelated, single op) = 4.89
wrote figure.png

Plot evidence: C027 paper figure C027 reproduced or diagnostic figure

Visual comparison notes: - Reproduced the 4x4 grid (i,j in {I,X,Y,Z}) of per-channel steady-state singlet-error linear coefficients (error ~ coeff*p, fitted for p<0.01) for the depolarising map rho->(1-p)rho + p M_{i,j} rho M_{i,j}^dag applied once per cycle after drive (A), at the optimal parameters. - Structure matches paper Fig 3a: all GLOBAL errors (both i,j != I; the interior 3x3 block) give coefficient ~0 (white), consistent with the paper text 'final fidelity independent of all global errors'. All LOCAL errors (exactly one index = I; the first row/column) are amplified and shaded. - Local coefficients: X_I=I_X~4.89, Y_I=I_Y~4.89, Z_I=I_Z~3.88, which round to the integer labels (5,5,4) shown in the paper grid. The I_I cell is 0. - The reproduced grid uses the FULL 3-level identity for the sigma_0 (I) factor so an error on one ion leaves the other ion's |up> spectator population untouched; with this the singlet is no longer trivially invariant and local errors are correctly amplified.

Supporting files