C057 - The error-sensitivity simulations use delta = 2 pi x 15 kHz, t = 2 pi/delta = 66.6 us, et...
Verdict: verified
Location: Supp. Mat. S3
Type / expected artifact: numeric / numeric
Claim: The error-sensitivity simulations use delta = 2 pi x 15 kHz, t = 2 pi/delta = 66.6 us, eta = 0.028, Omega = delta/(2 eta) = 2 pi x 265 kHz, with the state initialised in |down,down> and the motional ground state.
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/supp_content.tex:100-101 (Supp. Mat. S3).
Conclusion
Paper: delta=2pi15kHz, t=2pi/delta=66.6us, eta=0.028, Omega=delta/(2eta)=2pi265kHz. Computed: t=66.667us (matches 66.6 to rounding); Omega=delta/(20.028)=2pi267.86kHz, which paper rounds to 2pi*265kHz (1.08% off, plain rounding). Internally consistent. The tex 't=2 pi delta' is a typo for 2 pi/delta, confirmed by the 66.6us value. Verified (pure arithmetic, rounding noted).
Verification details
Executable rerun: run.py exited 0 in 0.41s; log verification/C057/attempts/R002/run.log.
Output excerpt:
delta = 2pi x 15.0000 kHz
t = 2pi/delta = 66.6667 us (paper says 66.6 us)
Omega = delta/(2 eta) = 2pi x 267.8571 kHz (paper says 2pi x 265 kHz)
-- checks --
t matches 66.6 us within 0.1 us : True (t=66.667 us, 66.67 rounds to 66.6/66.7)
Omega computed = 267.86 kHz; paper 265 kHz; rel diff = 1.08%
Note: exact Omega = delta/(2 eta) = 2pi x 267.86 kHz = 2pi x 267.86 kHz
Internal consistency delta/(2 eta) recomputed: 267.857 kHz