Classical Verification of Quantum Proofs

被引：22
|
作者：
Ji, Zhengfeng [1 ,2 ,3 ]
机构：
[1] Univ Technol Sydney, Ctr Quantum Computat & Intelligent Syst, Sch Software, Fac Engn & Informat Technol, Sydney, NSW 2007, Australia
[2] Univ Waterloo, Inst Quantum Comp, Waterloo, ON, Canada
[3] Chinese Acad Sci, State Key Lab Comp Sci, Inst Software, Beijing, Peoples R China
来源：
STOC'16: PROCEEDINGS OF THE 48TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING | 2016年
基金：
加拿大自然科学与工程研究理事会;
关键词：
Quantum Interactive Proofs; Local Hamiltonian Problem; Non-Local Games; Entanglement; Bell Inequalities; HIDDEN-VARIABLES; COMPLEXITY; SYSTEMS;
D O I：
10.1145/2897518.2897634
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It follows from this protocol that approximating the non-local value of a multi-player one-round game to inverse polynomial precision is QMA-hard. Our work makes an interesting connection between the theory of QMA-completeness and Hamiltonian complexity on one hand and the study of non-local games and Bell inequalities on the other.
引用
收藏
页码：885 / 898
页数：14
相关论文
共 50 条
  • [1] Classical Verification of Quantum Proofs
    Ji, Zhengfeng
    THEORY OF COMPUTING, 2019, 15
  • [2] Classical Proofs of Quantum Knowledge
    Vidick, Thomas
    Zhang, Tina
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2021, PT II, 2021, 12697 : 630 - 660
  • [3] Quantum versus classical proofs and advice
    Aaronson, Scott
    Kuperberg, Greg
    TWENTY-SECOND ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2007, : 115 - +
  • [4] Classical Proofs for the Quantum Collapsing Property of Classical Hash Functions
    Fehr, Serge
    THEORY OF CRYPTOGRAPHY, TCC 2018, PT II, 2018, 11240 : 315 - 338
  • [5] CLASSICAL VERIFICATION OF QUANTUM COMPUTATIONS
    Mahadev U.
    SIAM Journal on Computing, 2022, 51 (04) : 1172 - 1229
  • [6] Quantum Money with Classical Verification
    Gavinsky, Dmitry
    2012 IEEE 27TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2012, : 42 - 52
  • [7] Classical Verification of Quantum Learning
    Caro, Matthias C.
    Hinsche, Marcel
    Ioannou, Marios
    Nietner, Alexander
    Sweke, Ryan
    15TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2024, 2024,
  • [8] Classical Verification of Quantum Computations
    Mahadev, Urmila
    2018 IEEE 59TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2018, : 259 - 267
  • [9] CLASSICAL VERIFICATION OF QUANTUM COMPUTATIONS
    Mahadev U.
    SIAM Journal on Optimization, 2022, 32 (03) : 1172 - 1229
  • [10] Quantum Money with Classical Verification
    Gavinsky, Dmitry
    ELEVENTH INTERNATIONAL CONFERENCE ON QUANTUM COMMUNICATION, MEASUREMENT AND COMPUTATION (QCMC), 2014, 1633 : 135 - 140
12345