DecaQ unveils candidate standard for verifying logical quantum computation

DecaQ has released SLQCS v0.1, a candidate technical standard that sets substrate-agnostic rules for proving whether a system truly performs logical quantum computation. The framework emphasizes reproducible evidence, independent verification and separate reporting of correctness, scale and efficiency.

Why it matters: - SLQCS tries to answer a basic quantum-computing question: what must a system preserve and execute before it can claim logical quantum computation? - The standard could affect how quantum, digital and hybrid systems are evaluated across superconducting, photonic, trapped-ion, neutral-atom, spin, topological and other implementations. - The framework is built to make output-matching alone insufficient, which raises the bar for proof of quantum behavior.

What happened: - DecaQ released Standard for Logical Quantum Computational Systems v0.1 for public review and technical evaluation. - The candidate standard is substrate-agnostic and applies the same operational requirements to different implementation types. - Gal Rotem, DecaQ co-founder, said quantum computation should be evaluated by what a system preserves and executes, not by what it is made from.

The details: - SLQCS v0.1 defines 12 mandatory conformance requirements. - The requirements are state sufficiency, relative-phase causality, joint relational state, deferred resolution, lawful transformation, measurement and readout semantics, conditional state evolution, reversibility and echo, negative controls and fault injection, numeric contract, scaling preservation and independent verification. - Each applicable requirement has its own tolerance, and strong performance in one area cannot offset failure in another. - The standard includes a dedicated SLQCS-ORACLE profile. - SLQCS defines a logical quantum oracle as a callable logical operation that implements a declared mapping or transformation inside a quantum computation. - An oracle may be physical, digital or hybrid, and may be primitive or composite. - Oracle qualification depends on operational action under supported queries and continuations, including controlled application, composition, interference or phase kickback, inversion when declared and measurement consequences. - Returning a benchmark answer does not prove oracle execution if the system uses a precomputed answer, lookup shortcut or hidden expected result. - SLQCS distinguishes simulators from direct logical implementations through operational contracts and evidence, not through hardware category alone. - A simulator models or emulates a separately specified target machine, device, state representation or dynamical model. - A direct logical implementation performs the declared logical operations themselves and must satisfy the relevant SLQCS requirements. - A digital system on general-purpose hardware is not automatically a simulator. - Physical qubits do not automatically establish logical correctness. - The standard’s Complexity Honesty Rule requires separate reporting of semantic correctness, executed scale and computational efficiency. - The standard says none of those properties implies the others. - SLQCS conformance does not by itself establish physical nonclassicality, physical qubits, operation of a QPU, universal quantum computation, fault tolerance or quantum advantage. - Those claims require their own declared profiles and evidence. - Every conformance claim must be backed by a versioned evidence package that binds input, implementation, execution, result and verification. - The package includes the declared profile, numeric contract, inputs, implementation version, execution environment, raw results, verification methods, negative controls, observed failures, hashes and an independent evaluator statement where applicable. - The qualification process moves through five stages: semantic-core testing, independent relational tests, a width-and-depth scale ladder, specialized profile qualification and a blind external run using undisclosed inputs and negative controls. - DecaQ published SLQCS v0.1 as a Candidate Technical Standard, not as an ISO, IEC, IEEE or other accredited consensus standard. - The framework is vendor-neutral and contains no vendor-specific tests, exemptions or conformance criteria. - Researchers, quantum-computing companies, digital-computation developers, independent evaluators, standards specialists and enterprise users are invited to review the definitions and contribute revisions. - The full standard is available for public review through DecaQ.ai.

Between the lines: - The framework appears aimed at reducing vague claims in quantum computing by separating actual logical execution from resemblance, output matching or marketing language. - The emphasis on negative controls, independent verification and blind external runs suggests an attempt to make quantum claims harder to game. - By applying the same criteria across substrates, SLQCS also challenges the idea that quantum credibility should be inferred from the underlying hardware alone.

What's next: - DecaQ is seeking public review and technical feedback on SLQCS v0.1. - Future revisions may incorporate challenge points from researchers, companies and standards specialists. - The company provided media contact details and pointed readers to the public review version.

The bottom line: - SLQCS v0.1 is a new attempt to define and verify logical quantum computation with explicit evidence rules, separate performance claims and substrate-neutral testing.