Revision 1

Accepted · first revision · record

Title: A scalable protocol to certify analog simulator outputs
Plain: Checking a simulator by calculation fails exactly where the simulator is useful. The task is a test that needs only modest classical computing and a reasonable number of measurements.
Precise: Give a protocol using $\operatorname{poly}(N)$ measurements and $\operatorname{poly}(N)$ classical post-processing (for example Hamiltonian learning, time-reversal echoes, cross-platform comparison of randomized measurements) that bounds the error of local observables of the prepared state relative to the ideal Hamiltonian, for $N > 100$ in a regime where classical simulation is believed hard. Answer: protocol with a proof of soundness and an experimental demonstration.
Settled by: A protocol with a soundness proof applied on hardware with $N > 100$ in a classically hard regime.
Kind: well-posed
Answer type: mechanism
References: (empty)
Literature status: open
Status note: (empty)
Posed since: (empty)