Two-qubit Grover search (referencing arXiv:2607.08636)

This card demonstrates a textbook two-qubit Grover search primitive, referencing arXiv:2607.08636 ("GroverFigureOfMerit: An Agnostic Figure of Merit for Quantum Backend Characterization in the NISQ Era") by Restucha, Lammers, and Fernandez. Per its abstract, that paper proposes a figure of merit based on Grover's algorithm as an algorithmic stress test for evaluating quantum backend performance holistically. The abstract states the metric combines success probability on target states with penalties for non-uniform amplification and leakage to non-marked states, is implemented via the Qonscious framework using polymorphic adapters, and executes agnostically on IBM and IonQ backends and simulators. It also reports a systematic analysis of heterogeneity across nine quantum providers and an experimental demonstration via ideal simulators and real-processor noise models.

The circuit shown here is our own small, faithful reconstruction of the underlying primitive: a single Grover iteration on two qubits marking the state |11>. It initializes a uniform superposition with Hadamards, applies a controlled-Z oracle to phase-flip the marked state, and applies the standard diffusion (inversion-about-the-mean) operator. For n=2 a single iteration is exact, so the marked state is recovered with certainty in the noiseless case.

This is a deterministic state-vector simulator run executed on Provenova, not a reproduction of any hardware result, figure of merit, or benchmark reported in the paper. It is inspired by the paper's use of Grover's algorithm as a reference primitive and does not imply any endorsement by the authors. The counts reflect only what our simulator produced for this specific small circuit.