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.

Why Classical Certification is Impossible in a Quantum World

A proposal for founding mistrustful quantum cryptography on coin tossing

General Method for Classicality Certification in the Prepare and Measure Scenario

Forging quantum data: classically defeating an IQP-based quantum test

Classical Commitments to Quantum States

Classical command of quantum systems via rigidity of CHSH games

Generalized Uncertainty Principles for Quantum Cryptography

Towards experimental classical verification of quantum computation

Unconditional proofs of quantumness between small-space machines

Comment on "A short impossibility proof of quantum bit commitment"

Simple Tests of Quantumness Also Certify Qubits

Classical Verification of Quantum Learning

Reexamination of Quantum Bit Commitment: the Possible and the Impossible

Quantum Proofs for Classical Theorems

Certified Randomness implies Secure Classical Position-Verification

Classical Verification of Quantum Measurement for the Computational Basis and the XY-plane Basis

Randomness-free Test of Non-classicality: a Proof of Concept

Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions

Infeasibility of Quantum Cryptography Without Eavesdropping Check

A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games

Hidden-State Proofs of Quantumness