Circuit Referee
Independent reference for eligible gate-model circuits and circuit segments.
- probabilities and selected observables;
- checkpoint divergence analysis;
- supported, conditional, or unsupported classification.
Independent quantum computation validation
IQ Intel Quantum Referee independently validates eligible quantum circuits, transformed circuits, hardware outputs, mitigation workflows, and state-level claims under a protocol frozen before grading. Exact, no-truncation coherent execution has now been demonstrated, sealed, and reproduced through 96 qubits on structured lattice-local logical-circuit classes — extending the earlier 40-qubit structured frontier.
Announcement · Sealed 2026-08-30
“Exact, no-truncation coherent execution demonstrated through 96 qubits on structured lattice-local logical-circuit classes: structured IQP (lattice-local diagonal), transversal Clifford blocks, CNOT-ladder Pauli-rotation blocks, mirror/uncompute, and Trotterized structured dynamics (TFIM-class), as sealed.”
Pre-registered before execution · every rung independently cross-referenced · every executed instance run twice with bit-identical records · full REPRODUCTION from the sealed package, byte-for-byte · study seal bbc909416b150c83999ac560bcd157cab2d02232a78d28c9d2f01f863e3ec106
The controls refused, by design.Alongside the client-representative classes, the sealed study pre-registered adversarial controls: a literature-faithful dense random diagonal over the full register and an anti-compressible volume-law circuit. Both were refused by the pre-flight screen at every tested width — the concrete demonstration that eligibility is circuit and entanglement structure, not qubit count. Every capability claim rests exclusively on the client-representative classes.
Start with the claim
The Referee is a routed service. The claim determines the evidence required, the appropriate reference path, and whether the requested validation is inside the measured envelope.
Establish what an eligible circuit should produce and where its outputs agree or diverge from an independent reference.
QASM or circuit-generating specification, initial state, parameters, target observables, and the claim to test.
Predeclared protocol, reference state/properties where supported, checkpoint comparisons, bounded verdict, and reproducibility package.
Service portfolio
Every module follows the same principle: define the claim first, freeze the test, compare against independent evidence, and state exactly what was and was not established.
Independent reference for eligible gate-model circuits and circuit segments.
Determine whether decomposition, optimization, basis translation, or routing changed the intended computation.
Test whether a plausible endpoint actually corresponds to the intended state or eigenspace.
Inspect what happened between the starting state and the reported answer.
Measure what error mitigation improved, what it worsened, and whether uncertainty remained credible.
Introduce or specify a controlled defect and test whether the validation chain detects its consequence.
Compare supplied QPU measurements with an eligible independent ideal reference.
Validate circuit-state consequences of structurally eligible Hamiltonian-derived constructions.
Use one accepted reference protocol to compare equivalent outputs from multiple QPUs or software stacks.
Structured exact coherent reference
Two OFFICIAL, sealed programs establish the frontier. The first demonstrated exact, no-truncation coherent execution on structured circuits through 40 qubits, including a two-block 40-qubit case, GHZ-block and diagonal-ladder constructions, mirror/uncompute behavior, and cross-linked blocks. The second — sealed 2026-08-30 — extended that frontier through 96 qubits on five named structured lattice-local logical-circuit classes, on a pre-registered rung ladder of 48, 64, 80, and 96 qubits per class, with every rung independently cross-referenced against analytic, stabilizer, or dense statevector evidence.
Structurally eligible circuits remain exact even at widths where a conventional dense reference is impossible in principle. Every rung of the 96-qubit structured-class ladder carried an independent cross-reference — analytic amplitude evaluation for diagonal classes, independent stabilizer simulation for Clifford classes, exact per-site identity return for mirror constructions, and dense statevector references per lattice region — with worst-case disagreement at the 10⁻¹³ level or better.
In the 40-qubit program, a deliberately anti-compressible 32-qubit control returned RESOURCE_LIMIT exactly where the pre-flight screen predicted. The 96-qubit structured-class program pre-registered two adversarial control families — a dense random diagonal over the full register and a volume-law entangling circuit — and both were refused by the screen at every tested width, as required. Unsupported complexity is refused rather than silently approximated or extrapolated.
ReproducibilityBoth programs completed a full REPRODUCTION pass matching the OFFICIAL result byte-for-byte across the sealed evidence set — for the structured-class extension, every input circuit regenerated byte-identically from pre-registered seeds and all 94 evidence records matched. For client work, the relevant question is therefore not “How many qubits?” but “Can we provide the exact reference your circuit requires?”
Client intake
Circuit width alone does not determine eligibility. IQ Intel pre-flights the submitted circuit and requested claim, then classifies the engagement without exposing internal execution architecture or substituting approximation for an exact-reference claim.
The submitted circuit and requested evidence are inside a validated exact-reference route.
The circuit remains structurally eligible, but the engagement requires appropriate provisioning or a specifically bounded validation route.
The requested exact reference or claim cannot be supported within the validated envelope. The engagement is refused as RESOURCE_LIMIT or UNSUPPORTED rather than forced into a passing answer. Where the pre-flight cannot produce the evidence to scope the engagement at all, the intake classification is UNKNOWN — a screening outcome, not a graded verdict — and no engagement is accepted on it.
Official operating-envelope program
The completed Referee operating-envelope program executed 87 OFFICIAL instances across circuit families A–F plus stress suite X at widths from 8 through 24 qubits specifically to characterize the projected O(N) reference path. The study established a narrow, width-stable exact envelope and identified circuit structures that must be routed elsewhere. It is a routing study for one reference representation, not a qubit ceiling for the Referee service.
| Construction | Projected O(N) verdict | Observed boundary | Client interpretation |
|---|---|---|---|
| Diagonal Pauli-string rotation on basis state | FULL-REF | Width-stable, 8→24 tested | Eligible high-width structural reference within the frozen construction. |
| Single rotation state prep | FULL-REF | One rotation layer | Eligible state-preparation segment. |
| Classical X/CX | CONDITIONAL | CX controls must remain 1 | Eligibility screen required. |
| TFIM Trotter | BOUNDARY | Divergence begins at L02 | Route deeper cases to the exact coherent path when structurally eligible. |
| Entangling on superposition | UNSUPPORTED | L01 | Refuse projected-path certification. |
Measured cause of failureAcross the official search grid, width, two-qubit density, connectivity, topology persistence, and parameter diversity did not move the first-divergence checkpoint. The measured boundary was dominated by operation semantics and composition structure rather than size.
Technical due diligence
Gate support is path- and context-dependent. The Referee screens complete circuit structure because an individually validated operation can cross a reference boundary when composed with other gates or applied to a superposed or entangled state.
| Operation / family | Exact coherent path | Projected O(N) path | Validated condition / routing note |
|---|---|---|---|
| X | VALIDATED | VALIDATED | Basis-state and classical reversible behavior validated. |
| Y | VALIDATED | CONDITIONAL | Single-application projected behavior validated; composition remains bounded. |
| H | VALIDATED | ROUTE: EXACT | Projected semantics are not used as a conventional Hadamard full-state reference. |
| RX / RY | VALIDATED | ROUTE: SINGLE-LAYER | Single-rotation state preparation validated; repeated composition crosses the measured projected-path boundary. |
| RZ | VALIDATED | ROUTE: EXACT | Use exact coherent routing when conventional phase-sensitive state behavior is required. |
| CX / CNOT | VALIDATED | ROUTE: CONDITIONAL | Projected path is exact only under the measured control-state condition; entangling-on-superposition routes elsewhere. |
| CZ | VALIDATED | ROUTE: EXACT | Conventional phase-entangling behavior is handled on the exact coherent path. |
| CCX / Toffoli | VALIDATED | ROUTE: DEPENDENT | Validated against exact references and exercised inside complete algorithm constructions. |
| RZZ | VALIDATED | ROUTE: EXACT | Conventional RZZ behavior is not certified through the projected gate-only path. |
| SWAP | VALIDATED | ROUTE: EXACT | Current projected lowering does not preserve conventional SWAP semantics. |
| FSWAP | VALIDATED | ROUTE: MULTIPART | Native exchange behavior is evaluated independently from SWAP decomposition. |
| Diagonal Pauli-string rotations | VALIDATED | FULL-REF | Exact on tested basis-state constructions across the OFFICIAL projected-path envelope. |
| First-order Trotter | VALIDATED | ONE-STEP TFIM | Exact coherent route demonstrated through 64 layers; projected TFIM reference is bounded at its measured one-step condition. |
| Second-order Suzuki–Trotter | VALIDATED | ROUTE: EXACT | Exact coherent route demonstrated through 96 layers. |
Gate support is not circuit support.Eligibility is determined from the complete submitted circuit and the requested validation claim, then routed to projected O(N), exact coherent, specialized protocol, or an explicit refusal outcome.
Demonstrated evidence
The validation lineage deliberately escalated from gate semantics to entanglement, complete algorithms, repeated dynamics, interacting systems, transformed circuits, hardware data, and mitigation claims.
In the retained H4 case, the reported energy was only about 0.56% from the exact ground-state energy while ground-state fidelity was approximately 8.6×10⁻13. The state was an excited eigenstate, so an energy-variance check also failed to expose the error.
The Referee can inspect state overlap and eigenspace content where tractable, rather than inferring success solely from an energy, probability, or other endpoint.
Use caseValidate whether decomposition, optimization, basis translation, or SWAP routing preserved the intended coherent computation.
Six frozen degradation modes were tested across Z/X/Y bases and 100–10,000 shots. Finite-shot sampling remained interpretable; phase error invisible in Z was exposed in X/Y; misleading readout mitigation was exposed by other bases.
Published ibmq_16_melbourne repetition-code counts were compared against the independent reference. Hardware consistency was classified separately from the scientific claim being tested.
| Metric (10,000 observable values) | Raw | ZNE | ML-QEM |
|---|---|---|---|
| Mean absolute error | 0.087 | 0.075 | 0.039 |
| RMSE | 0.117 | 0.105 | 0.074 |
| Worst error | 0.977 | 0.810 | 0.932 |
| Values improved / worsened vs raw | — | 43% / 32% | 73% / 14% |
| Error-increasing overshoots | — | 305 | 451 |
Why this mattersA method can win on average and still create serious local regressions. The Referee reports both rather than compressing the result into one headline metric.
Completed algorithm-level programs exercised controlled operations, intermediate entangled states, phase estimation, inverse-QFT interference, oracle marking, diffusion, native CCX, and uncomputation. HHL also served as a challenge-response case: an initial inconclusive result exposed a missing coherent representation before the frozen coherent-path protocol was satisfied.
The coherent/exact path validated repeated dynamics beyond the projected O(N) boundary: first-order Trotter through 64 layers, second-order Suzuki–Trotter through 96 layers, plus XY/XXZ spin-chain work with transport, correlations, reduced states, and entanglement trajectories.
Referee protocol
Identify the circuit, inputs, requested evidence, tolerances, failure classes, and conditions that make the result inconclusive.
Hash inputs, references, software versions, seeds, parameters, mappings, and the protocol itself before grading.
Projected O(N), exact coherent, specialized protocol, conditional scope, RESOURCE_LIMIT, or unsupported.
Generate the accepted reference state, properties, observables, checkpoints, or statistical expectations.
PASS / FAIL / INCONCLUSIVE / RESOURCE_LIMIT / UNSUPPORTED by criterion, with discrepancy analysis and explicit claim boundaries.
Deliver machine-readable results, report, environment records, hashes, and a reproducibility package.
What the service does not claim
Refusal and reprovisioning are different outcomes.If a circuit remains structurally eligible but exceeds the currently provisioned reference envelope, it can be classified for reprovisioning rather than treated as fundamentally unsupported. If the requested claim lies outside the validated mechanism, the result remains UNSUPPORTED; if intake screening cannot produce the evidence to scope the engagement, the intake classification is UNKNOWN and no verdict is issued. No approximate certificate is substituted for an exact-reference claim.
Sealed evidence library
The public index separates the three completed Referee packages from the broader validation lineage. Where a public sealed artifact is available, the package link and SHA-256 are provided directly. Additional public artifacts can be added without changing the page structure.
Twelve public packages in one download: the three client-style Referee programs (circuit equivalence, hardware output, mitigation), the algorithm and dynamics lineage (HHL, QPE, Grover, Trotter, Suzuki–Trotter, spin chains), the two envelope studies, and the structured logical-circuit classes capability package (exact coherent execution through 96 qubits on the named structured classes).
Pre-registered rung ladder (48, 64, 80, 96 qubits) across five client-representative structured classes, each rung independently cross-referenced; two adversarial control families refused by the pre-flight screen at every tested width, as required.
Blinded circuit transformations, including defects that preserved endpoint probabilities while changing coherent state.
Frozen synthetic degradations plus published IBM hardware measurements, with computational consistency separated from physical-device claims.
Published real-hardware ML-QEM versus digital-ZNE data reconstructed and graded point by point against an independent ideal reference.
A near-ground-state energy was shown not to establish the intended ground state.
A sealed 35-cell program used preregistered predictions and truth-blind grading, including results that falsified most prior expectations.
Complete non-variational algorithm validation with intermediate entangled checkpoints, controlled rotation, uncomputation, and solution-state comparison.
Exact and finite-resolution phase cases plus an external QASMBench PEA circuit.
Published and internal cases exercising oracle phase marking, diffusion, amplitude amplification, and native CCX.
Repeated coherent dynamics beyond the projected-path one-step boundary.
Interacting-system trajectories covering transport, conservation, relative phase, reduced states, correlations, and entanglement.
Six frozen rungs from N=4 through N=24 characterized the projected O(N) semantics and exposed latent boundaries.
Families A–F plus stress suite X at N=8 through N=24 isolated the projected path’s width-stable exact subset and structural routing boundaries.
Structured circuits through 40 qubits, including a two-block 40-qubit case, GHZ blocks, diagonal ladders, mirror/uncompute, and cross-linked blocks. Since extended through 96 qubits on the structured logical-circuit classes above.
Trajectory, mirrored behavior, recomputation integrity, null controls, and literature-grounded validation criteria for materials datasets.
Manufacturing-trajectory validation with stage boundaries, order behavior, recomputation, and published physical constraints.
IntegrityPublic package links should resolve to the exact sealed artifacts corresponding to the SHA-256 shown here. The page never substitutes a later rebuild under an earlier hash.
Reference provenance
External sources establish provenance for selected circuits and hardware datasets. Numerical reference values were independently generated wherever tractable rather than copied from the published results.