Quantum Merlin-Arthur and Proofs Without Relative Phase

被引:0
|
作者
Bassirian, Roozbeh [1 ]
Fefferman, Bill [1 ]
Marwaha, Kunal [1 ]
机构
[1] Univ Chicago, Chicago, IL 60637 USA
来源
15TH INNOVATIONS IN THEORETICAL COMPUTER SCIENCE CONFERENCE, ITCS 2024 | 2024年
关键词
quantum complexity; QMA(2); PCPs;
D O I
10.4230/LIPIcs.ITCS.2024.9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study a variant of QMA where quantum proofs have no relative phase (i.e. non-negative amplitudes, up to a global phase). If only completeness is modified, this class is equal to QMA [21]; but if both completeness and soundness are modified, the class (named QMA+ by Jeronimo and Wu [24]) can be much more powerful. We show that QMA(+) with some constant gap is equal to NEXP, yet QMA(+) with some other constant gap is equal to QMA. One interpretation is that Merlin's ability to "deceive" originates from relative phase at least as much as from entanglement, since QMA(2)subset of NEXP.
引用
收藏
页数:19
相关论文
共 50 条