机构名称：
¥ 1.0
一次又一次地证明了量子算法具有比经典算法更有效地解决某些问题的潜力。因此，必须研究与经典计算的更强大的量子计算，以便更好地了解计算的限制。计算复杂性社区已经引入了专门用于量子计算的复杂性类别，以研究量子计算的能力，我们的报告将大约是这样的复杂性类别：量子Merlin-Arthur（QMA）。QMA可以被视为单音交互式证明系统，在该系统中，供奉献者（Merlin）将量子状态作为证明作为证明（Arthur），并且验证者必须决定使用证明输入字符串是否属于语言。特别是对于我们的项目，我们研究了多个梅林是否可以授予我们其他计算能力的问题。在经典的Merlin-Arthur（MA）中，多个Merlins与单个Merlin并没有什么不同，但是由于量子现象（例如纠缠），在量子情况下，多个Merlins在量子情况下比单个Merlin更强大。在本报告中，我们将总结一些有关此问题的工作和发现。我们将展示QMA（k）= QMA（2）的详细证明草图（即分别为K和2 Merlins的QMA），并演示了一些支持证据，这些证据表明QMA（2）̸= QMA。
带有多个Merlins的量子Merlin-Arthur：调查
主要关键词
相关文件推荐
