- System
The synthetic cluster [Fe₄S₄(SCH₃)₄]²⁻, as the fixed CAS(54 electrons, 36 spatial orbitals) Hamiltonian in the Li and Chan active-space repository, revision 84433831a680f70665cf43fc8692e0210da92be3, file Fe2S2_and_Fe4S4/Fe4S4/fe4s4, SHA-256 0b840102a4894fee4648944f2bf3bb5d85828deb4b7e71b964136bbc4c9e01ce. 54 electrons, total spin S = 0. Energies are reported in this file's convention. A different Hamiltonian, active space or spin sector is a different test.
The same Hamiltonian, written in a different orbital basis, is the Fe₄S₄ (54 electrons, 36 orbitals) instance on the public Quantum Advantage Tracker's variational track, so its posted energies are directly comparable. Counted executions read the pinned file. Rotating its orbitals within the active space, for example into the tracker's basis, is input processing and counts toward the run; a Hamiltonian regenerated from a different calculation is a different input.
- Intervention
A workflow that runs circuits on quantum hardware and uses their measured outputs to build a compact, classically checkable variational state. It includes input processing, task-specific optimization, circuit preparation, quantum execution, error handling, classical processing, state construction and energy verification. Resource estimates and simulated quantum runs do not count as hardware results.
- Comparator
Every eligible public classical workflow for the same target. Coverage must include GPU-accelerated DMRG, selected configuration interaction, and the hybrid pipeline with its quantum sampling stage replaced by a classical method. Each contender may use its strongest documented implementation within the common budget and need not imitate the quantum algorithm. "Strongest" means strongest among the publicly tested contenders, not optimal over all possible algorithms.
A classical contender counts when it publishes, before the cutoff, the same records for ten cold-start runs on this input: input identifiers, software versions, protocol, hardware identification, raw logs, resource and pricing records, all ten outcomes and a verifier. Its protocol and runs may predate this record's registration. If a required comparator family has no eligible contender by the cutoff, the comparison is inconclusive.
- Matched resources
Each complete execution has a ceiling of US$100,000 in compute-access charges and 168 hours of elapsed execution time. Both sides are valued at publicly archived rental prices or published commercial quotations on the comparison date; donated or internal access is valued the same way. Counted: quantum and classical resources, task-specific tuning, retries, data movement, state reconstruction and verification. Not counted: general software development and scientific review labor. External queue delays are reported separately. This is a purchasing-budget ceiling, not a claim of equal physical resources.
- Endpoint
Elapsed execution time from the fixed Hamiltonian input to a verified, normalized singlet state whose active-space energy upper bound is at most −327.245436 hartree. That target is the reference energy, −327.247036 hartree, plus 0.0016 hartree. The reference is the lowest published, non-extrapolated variational upper bound for the S = 0 state on the pinned file before this record's registration: today, spin-adapted DMRG with entanglement-minimized orbitals at bond dimension 20,000, spin isomer BS3 (Zhai et al., arXiv 2601.04621, supplementary section 4.1, the same in v1 and v2). The reference is frozen at registration; lower bounds published later enter the comparison and do not move the target. It stays provisional until registration confirms the spin sector and that the paper's file matches the pinned bytes. The 0.0016 hartree margin is a tolerance above a variational bound, not chemical accuracy relative to the exact energy or a claim of experimental accuracy. Any verified, normalized state in the S = 0 space counts, whatever its spin-coupling pattern.
- Runs and threshold
Each workflow performs ten consecutive cold-start executions under a protocol disclosed before they begin. Every attempt is recorded; failed runs are not replaced. Every quantum dossier also includes an ablation: the same workflow, code, execution policy and classical hardware class, with every quantum-hardware output replaced by a classical source declared in the protocol before the counted runs begin. The protocol names each replaced interface and, for each, the encoding, measurement basis, distribution and constraints of the classical source and how every adaptive call is answered; the source is at least uniform over the declared sample space under the same particle-number and spin-projection constraints, and a stronger classical sampler may be declared as well. The ablation runs ten times cold-start under the same ceilings, is recorded the same way, and the cost of generating the classical source counts toward its execution. A complete, eligible ten-run ablation populates the comparator family of the hybrid pipeline with its quantum sampling stage replaced by a classical method, whether or not any of its runs succeeds; its successful executions within both ceilings enter the speed-score comparison as classical contenders. The final singlet verification is unchanged. Each quantum execution must meet the energy target within both ceilings, with a published deterministic error bound of at most 10⁻⁶ hartree on its energy. A dossier is positive when it meets this ten-run requirement and its speed score's conservative lower bound is at least 2.0.
The speed score is the fastest successful classical execution divided by the slowest of the ten quantum executions. Its bounds come only from the timestamp uncertainty stated in the published execution logs; no statistical interval is taken over runs, because the score already uses the fastest classical and the slowest quantum execution. It passes when its conservative lower bound is at least 2.0, fails when its conservative upper bound is below 2.0, and is inconclusive when it spans 2.0. A quantum timeout or budget overrun fails the ten-run requirement. If no classical contender reaches the target, the comparison is inconclusive.
- Challenge window
Judgment happens once, at the 2027-12-31 cutoff. A quantum dossier can bind only if it has been complete and public for at least 180 days by then, which means public by 2027-07-04 at 23:59 UTC. Every eligible classical result public before the cutoff enters the comparison, including methods published after the quantum result. A potentially decisive classical result whose accounting is still unresolved at the cutoff makes the comparison inconclusive for each bound dossier it could decide; unresolved accounting that affects one dossier does not veto another.
- Eligibility
A quantum dossier is eligible when it publishes immutable input identifiers, software versions, the execution protocol, hardware identification, raw execution logs, resource and pricing records, all ten outcomes, the ten ablation outcomes with their declared classical source, a reproducible verifier, and a team declaration: the team's members, controlling organization and project-specific funding, under the same criteria as the independence rule. Its protocol must carry a public timestamp after this record is registered and before the counted runs begin.
Not eligible: the wrong molecular problem, simulation presented as hardware, missing required records, including the ablation records and the team declaration, or quantum runs begun before the timestamp. Eligible but inconclusive: complete evidence with unresolved bounds, conflicting verification or an unresolved deciding comparison. Missing documentation is never treated as evidence that the quantum method lost.
- Binding
Each team's earliest eligible quantum dossier binds for that team, including an unsuccessful one, if it is complete and public by 2027-07-04 at 23:59 UTC. The 180 days count from the moment the complete dossier is public. A later, more favorable dossier from the same team does not replace it; within a team, identical public timestamps are ordered by permanent source identifier. At both stages, binding and selection, permanent source identifier strings are compared in ascending UTF-16 code-unit order, without locale collation, and timestamps are compared as instants with every published fractional digit. Groups that share scientific authors, a controlling organization or project-specific funding, judged by the independence rule's criteria and applied through every overlapping group, count as one team, and team declarations are checked before binding. A dossier from one team never prevents another team's dossier from binding.
The test resolves on one bound dossier, chosen by rule: a positive dossier over a non-positive one; among positive dossiers, the one whose own outcome ranks highest, Established over Active debate over awaiting confirmation, then the one with more independent positive confirmations, then the higher conservative lower bound of the speed score, then the earlier public timestamp, identical timestamps ordered by permanent source identifier. With no positive dossier, the outcome is inconclusive if any bound dossier is inconclusive, and threshold-not-met only if every bound dossier failed. Every bound dossier stays on the record with its confirmations, contradictions and selection disposition, and evidence against the shared verifier, Hamiltonian or classical comparison is assessed against every dossier it affects.
- Independence
An independent confirmation requires newly executed runs, new measurement data, independent analysis and an independently reproduced energy check. The confirming group shares no scientific authors, controlling organization or project-specific funding with the original team or another counted confirming group, and declares its affiliations, funding and competing interests. A common general-purpose funder or a commercially available hardware provider does not by itself break independence; shared hardware, software and provider help must be disclosed. Reviewing the original data or serving on a prize panel is an audit, not an independent execution.
A positive confirmation is a new execution of a bound workflow on the same input, by a group meeting the independence rule and the same eligibility rules, whose speed score has a conservative lower bound of at least 2.0. A decisive contradictory reproduction is a new execution of a bound workflow on the same input, by a group meeting the same rules, whose speed score has a conservative upper bound below 2.0, or that fails the ten-run requirement. Both run on the same hardware class as the dossier they confirm or contradict, or one its authors name as equivalent. Both count if their complete dossiers are public by the cutoff, and both are compared against the same classical results. Confirmations and contradictory reproductions are counted per bound dossier; the outcome is applied to the dossier the binding rule selects.
- Who runs it
Research teams run and publish the executions. No team is represented as having agreed to take part. Violema keeps the record and applies the published rule; numerical checks must be reproducible from the public dossier by evaluators independent of the reporting team.
- Deadline
Each bound quantum dossier must be complete and public by 2027-07-04 at 23:59 UTC. Confirmations and contradictory reproductions must be complete and public by the cutoff, 2027-12-31 at 23:59 UTC, when the outcome is applied once. With no bound dossier, the test lapses: no eligible result, never a negative one. Any other quantum claim made public after 2027-07-04, and any evidence after the cutoff, go into a new dated assessment, and the frozen outcome stays visible.
The molecular input and the reference energy come from published work. The rule that selects the reference, the energy margin, budget, run count, speed margin, 180-day window, deadline, independence rules, team binding, the ablation requirement and tier moves are Violema's policy choices, not field consensus.
Applied once, at the cutoff, after every admissible comparison is in. The three positive outcomes apply to the resolving dossier, the bound dossier the binding rule selects; the other three apply to the bound dossiers together. The outcomes do not overlap. Each carries a rule id, so a result can cite the outcome it triggered.
The resolving dossier is positive, it has at least two independent positive confirmations, and no decisive contradictory reproduction of it exists.
Moves to Established, for this benchmark only
o-established-benchmark
The resolving dossier is positive, and at least one decisive contradictory reproduction of it exists.
Moves to Active debate, for this benchmark only
o-contested
The resolving dossier is positive, with fewer than two independent positive confirmations and no decisive contradictory reproduction of it. The positive result is shown on the record with its confirmation count.
Stays Speculation
o-positive-awaiting-confirmation
Every bound dossier fails: its speed score's conservative upper bound is below 2.0, or it fails the ten-run requirement.
Stays Speculation; threshold not shown
o-threshold-not-met
No bound dossier is positive, and at least one is eligible but inconclusive: for example, a speed score whose bounds span 2.0, a required comparator family with no eligible contender, or unresolved accounting.
Stays Speculation; inconclusive
o-otherwise
No dossier is bound: none from any team was complete, eligible and public by 2027-07-04.
Stays Speculation; lapsed
o-lapsed