Sound certification of memory-bounded quantum computers
Jan N\"oller, Nikolai Miklin, Martin Kliesch, Mariami Gachechiladze

TL;DR
This paper presents a practical, sound certification protocol for quantum gates in memory-bounded quantum computers, eliminating the need for trusted state preparation and measurement, and validated through numerical experiments.
Contribution
It introduces quantum system quizzing, a novel certification method that is sound, robust, and does not rely on trusted state preparation, suitable for memory-limited quantum devices.
Findings
Proved soundness for a wide range of gate sets including universal gates.
Resolved tensor product structure recovery in memory-bounded systems.
Validated efficiency and robustness through numerical experiments.
Abstract
The rapid advancement of quantum hardware calls for the development of reliable methods to certify its correct functioning. However, existing certification tests often fall short: they either rely on flawless state preparation and measurement or lack soundness guarantees, meaning that they do not rule out incorrect implementations of the target operations by a quantum device. We introduce an approach, which we call quantum system quizzing, for the certification of quantum gates in a practical server-user scenario, where a classical user tests the results of quantum computation performed by a quantum server by checking its responses to a set of predesigned small-sized computational problems. Importantly, this approach does not require trusted state preparation and measurement and is thus inherently free from the associated systematic errors. For a wide range of relevant gate sets,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Quantum Information and Cryptography · Neural Networks and Applications
