Tootfinder

Certifying Quantum Gates via Automata Advantage
Anna Schroeder, Lucas B. Vieira, Jan N\"oller, Nikolai Miklin, Mariami Gachechiladze
https://arxiv.org/abs/2510.09575 https:…

Certifying Quantum Gates via Automata Advantage
There is growing interest in developing rigorous tests of quantumness that are feasible even before practical quantum advantages become a reality. Such tests not only aim to certify the quantum nature of a system but also serve as benchmarks for precise quantum control. In this work, we argue that promise problems, studied in the theory of finite automata, provide a natural framework for designing sound tests of quantum gate quality. Soundness, the property that only implementations of sufficie…