Abstract:A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical. We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022), can in fact do much more. Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation. Certifying qubits was previously only known to be possible based on the hardness of the Learning with Errors problem and the use of adaptive hardcore (Brakerski et al., 2018). Our framework allows certification of qubits based only on the existence of post-quantum trapdoor claw-free functions, or on quantum fully homomorphic encryption. These can be instantiated, for example, from Ring Learning with Errors. On the technical side, we show that the quantum soundness of any such protocol can be reduced to proving a bound on a simple algorithmic task: informally, answering ``two challenges simultaneously'' in the protocol. Our reduction formalizes the intuition that these protocols demonstrate quantumness by leveraging the impossibility of rewinding a general quantum prover. This allows us to prove tight bounds on the quantum soundness of (Kahanamoku-Meyer et al., 2021) and (Kalai et al., 2022), showing that no quantum polynomial-time prover can succeed with probability larger than $\cos^2 \frac{\pi}{8}\approx 0.853$. Previously, only an upper bound on the success probability of classical provers, and a lower bound on the success probability of quantum provers, were known. We then extend this proof of quantum soundness to show that provers that approach the quantum soundness bound must perform almost anti-commuting measurements. This certifies that the prover holds a qubit.

A note on verification procedures for quantum noiseless subsystems

Verification of entangled states under noisy measurements

Classical Verification of Quantum Learning Advantages with Noises

Algebraic and information-theoretic conditions for operator quantum error-correction

Verification of Nondeterministic Quantum Programs

Quantum Subsystems: Exploring the Complementarity of Quantum Privacy and Error Correction

Certifying nonlocal properties of noisy quantum operations

Verification of Quantum Systems using Barrier Certificates

Calibration of Syndrome Measurements in a Single Experiment

Exponential Quantum Error Mitigation of BQP Computations using Verification

Noise-Induced Barren Plateaus in Variational Quantum Algorithms

Hidden-State Proofs of Quantumness

Accuracy guarantees and quantum advantage in analogue open quantum simulation with and without noise

Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario

Skyrmions in the Fractional Quantum Hall Effect

Uniformly Decaying Subspaces for Error Mitigated Quantum Computation

Hamiltonian Formulation of Quantum Error Correction and Correlated Noise: The Effects Of Syndrome Extraction in the Long Time Limit

Quantum subspace verification for error correction codes

Study of noise in virtual distillation circuits for quantum error mitigation

Symmetry verification for noisy quantum simulations of non-Abelian lattice gauge theories

Simple Tests of Quantumness Also Certify Qubits