C065 - When drive (A) is applied, the blue-sideband tone causes an AC Stark shift of Delta ~= 2...
Verdict: data_unavailable (data_unavailable)
Location: Supp. Mat. S4
Type / expected artifact: numeric / numeric / paper_text
Claim: When drive (A) is applied, the blue-sideband tone causes an AC Stark shift of Delta ~= 2 pi x 25 kHz on |down>.
Models: extraction claude-opus-4-8; verification gpt-5; verification_chain claude-opus-4-8 -> gpt-5; verdict_chain data_unavailable -> data_unavailable.
Limitations: data_unavailable.
Source location(s): source/supp_content.tex:125 (Supp. Mat. S4).
Conclusion
Paper: drive-(A) blue-sideband tone causes AC Stark shift Delta ~= 2pi x 25 kHz on |down>. MEASURED/device value; no raw data. The 2-level formula Delta = Omega^2/(4*det) is NOT closeable from the claim's stated constants (the relevant tone Rabi frequency Omega on |down> is not given; only det ~2pi x 0.9 MHz). Cross-check: required Omega ~ 2pi x 300 kHz is a plausible carrier Rabi frequency, and main.tex independently quotes a ~2pi x 17 kHz drive-(A) AC Stark shift, confirming the 10s-of-kHz scale, but the specific 25 kHz cannot be reconstructed -> data_unavailable. No data synthesized.
Verification details
Executable rerun: run.py exited 0 in 0.423s; log verification/C065/attempts/R002/run.log.
Output excerpt:
measured AC Stark shift Delta = 25.0 kHz [MEASURED]
stated detuning = 0.90 MHz
=> Omega required for Delta=Omega^2/(4 det) = 300.0 kHz (= 0.300 MHz)
Reference scale: main.tex quotes ~2pi x 17 kHz drive-(A) AC Stark shift.
Required Omega ~ 300 kHz is a plausible carrier Rabi frequency, but it is
NOT stated in the claim; the formula is not closeable from given constants.
CONCLUSION: 25 kHz is a MEASURED/device value -> data_unavailable.