Noise-Robustness for Delegated Quantum Computation in the Circuit Model

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Broadbent, Anne, Nevin, Joshua
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866918221711409152
author Broadbent, Anne
Nevin, Joshua
author_facet Broadbent, Anne
Nevin, Joshua
contents Cloud-based quantum computing, coupled with the rapid progress in quantum algorithms, brings to the forefront the question of verifiability in delegated quantum computations. In the current landscape of noisy quantum devices, this question must be addressed alongside noise tolerance. In this work, we revisit the circuit-based framework for verifiable quantum computation introduced by Broadbent [Theory of Computing, 2018], and extend it to the setting of server-side noise. Our contribution is an improved upper bound on the noise-tolerance threshold, achieved through a protocol that interleaves computation and test rounds in an indistinguishable manner. This structure enables a concise security proof against arbitrary deviations by the server, while ensuring robustness to realistic noise.
format Preprint
id arxiv_https___arxiv_org_abs_2511_22844
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Noise-Robustness for Delegated Quantum Computation in the Circuit Model
Broadbent, Anne
Nevin, Joshua
Quantum Physics
81P68, 81P94
Cloud-based quantum computing, coupled with the rapid progress in quantum algorithms, brings to the forefront the question of verifiability in delegated quantum computations. In the current landscape of noisy quantum devices, this question must be addressed alongside noise tolerance. In this work, we revisit the circuit-based framework for verifiable quantum computation introduced by Broadbent [Theory of Computing, 2018], and extend it to the setting of server-side noise. Our contribution is an improved upper bound on the noise-tolerance threshold, achieved through a protocol that interleaves computation and test rounds in an indistinguishable manner. This structure enables a concise security proof against arbitrary deviations by the server, while ensuring robustness to realistic noise.
title Noise-Robustness for Delegated Quantum Computation in the Circuit Model
topic Quantum Physics
81P68, 81P94
url https://arxiv.org/abs/2511.22844