IBM and University of Chicago researchers build a hard circuit with a structure that lets its fidelity be certified from the machine's own error alarms. It is a preprint, and the certificate is a floor, not a score.
The whole point of a quantum advantage experiment is to run something a classical computer cannot reproduce. That creates an awkward question: if you cannot reproduce the answer, how do you know the quantum computer got it right? Noise is real, and a noisy machine can produce confident-looking nonsense. Past advantage claims were answered by better classical algorithms, so checking matters.
A team from IBM, the University of Chicago and others posted Sampling hard circuits with verifiably high fidelity to arXiv on 28 July 2026 (arXiv:2607.25941; the version we read is the revision of 2 September 2026). It is a preprint and has not been peer reviewed.
The idea is to build the circuit with a structure. The authors introduce “structured circuits” that carry provable hardness guarantees and that can be encoded in an error-correcting code. Because of that structure, the syndrome measurements of the code give a way to certify the fidelity of the experiment, meaning how close the final state is to the intended one. The certificate depends on the device, but the authors say it needs weaker assumptions about the noise than existing fidelity proxies.
From the abstract, the demonstration is a Clifford circuit on 64 qubits with depth 73, doped with 314 T gates. It is encoded in spacetime codes using 76 physical qubits, which suppresses gate errors by 10 times after syndrome post-selection. The resulting state has a certified fidelity lower bound of 0.349 at 95% confidence. They also give a way to turn a stabilizer state into a magic state while keeping the certificate.
Earlier press coverage of the first version quoted different numbers, because the paper was revised. We use the current abstract only.
The figure is built only from the abstract. Four boxes carry the circuit’s size. The bar underneath runs from 0 to 1 and marks the certified lower bound of 0.349. The shaded part is what the authors can certify at least, not what they expect the machine reached.
Think of a maths test where the answers cannot be looked up. The authors build the test so that most of it is easy to check, and the hard part is slipped in sparingly. They also watch the machine’s own alarm signals during the run. From the alarms and the structure they can say: whatever happened, the final state is at least this close to the right one, assuming the noise behaves in the ways they state. A lower bound is a floor, not a score.
This is the kind of claim the Ledger exists to follow. IBM has a dated promise about verified quantum advantage by the end of 2026, tracked as its own Ledger entry. We have not issued a verdict on it, and this preprint is evidence to weigh, not a verdict. How to read such claims, including the ones that were later answered classically, is the subject of Advantage Watch. The error-detection tricks used here belong to the same family as the Microsoft and Quantinuum paper on this desk.
We read the sources above ourselves. Where a figure or number is ours, the article says so. If you find a mistake, tell us: a wrong sentence here gets logged like any other.