首页    期刊浏览 2025年12月04日 星期四
登录注册

文章基本信息

  • 标题:Interactive Proofs for $\mathsf{BQP}$ via Self-Tested Graph States
  • 本地全文:下载
  • 作者:Matthew McKague
  • 期刊名称:Theory of Computing
  • 印刷版ISSN:1557-2862
  • 电子版ISSN:1557-2862
  • 出版年度:2016
  • 卷号:12
  • 页码:1-42
  • 出版社:University of Chicago
  • 摘要:$ \newcommand{\cclass}[1]{\mathsf{#1}} $

    Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in $\cclass{BQP}$ with a polynomial number of quantum provers, each of which, in the honest case, performs only a single measurement.

    In this paper we introduce two main improvements over previous work in self-testing for graph states. Specifically, we derive new error bounds which scale polynomially with the size of the graph compared with exponential dependence on the size of the graph in previous work. We also extend the self-testing error bounds on measurements to a very general set which includes the adaptive measurements used for measurement-based quantum computation as a special case. These improvements allow us to apply graph state self-testing and measurement based quantum computation to build interactive proofs for all languages in $\cclass{BQP}$

  • 关键词:complexity theory; quantum computing; interactive proofs; BQP
国家哲学社会科学文献中心版权所有