[论文解读] Component mixers and a hardness result for counterfeiting quantum money

Andrew Lutomirski|arXiv (Cornell University)|Jul 1, 2011

Computability, Logic, AI Algorithms参考文献 2被引用 17

一句话总结

本文引入组件混合器（component mixers）作为工具，以证明在对量子操作进行黑箱访问的条件下，从纽结构造的量子货币的伪造难度。研究证明，若‘同一组件’问题对量子计算机而言是困难的，则伪造量子货币态在计算上不可行，从而在合理假设下首次为该量子货币方案的安全性提供了形式化证据。

ABSTRACT

In this paper we give the first proof that, under reasonable assumptions, a problem related to counterfeiting quantum money from knots [Farhi et al. 2010] is hard. Along the way, we introduce the concept of a component mixer, define three new classical query problems and associated complexity classes related to graph isomorphism and group membership, and conjecture an oracle separating QCMA from QMA.

研究动机与目标

• 在对组件混合器和标记函数进行黑箱访问的条件下，证明伪造从纽结构造的量子货币在计算上是困难的。
• 基于组件混合器定义三种新的查询问题——同一组件、多组件和多平衡组件，并将其与已知复杂性类相关联。
• 通过表明伪造量子货币可归约为在量子计算机上求解困难的组件问题，为从纽结构造的量子货币的安全性提供证据。
• 探讨利用多平衡组件问题实现QCMA与QMA之间经典预言机分离的可能性。

提出的方法

• 引入组件混合器的概念：在划分集合S的每个组件内，定义一个可逆且均匀随机的映射。
• 定义三种新的查询问题：同一组件问题（两个元素是否属于同一组件？）、多组件问题（是否存在多个组件？）以及多平衡组件问题（是否存在多个无主导的组件？）
• 将这些问题与复杂性类相关联：SCP（同一组件问题）属于NP和SZK，且可能为co-MA或BQP-hard。
• 设计一种量子算法，若已知某组件中的一个元素，则可准备该组件上的均匀叠加态，前提是同一组件问题难以求解。
• 应用Bernstein-Vazirani定理与迹距离分析，表明若该算法失败，则意味着在经典查询复杂度上实现了超多项式加速，与已知下界矛盾。
• 将从纽结构造的量子货币的安全性归约为同一组件问题的困难性，表明任何高效的伪造方案都将意味着可解决一个困难的查询问题。

实验结果

研究问题

• RQ1 是否可以在对组件混合器和标记函数进行黑箱访问的条件下，证明伪造从纽结构造的量子货币是困难的？
• RQ2 能否证明同一组件问题对量子计算机而言是困难的，从而推导出该量子货币方案的安全性？
• RQ3 多平衡组件问题是否可作为QCMA与QMA之间经典预言机分离的候选？
• RQ4 能否构造一个密码安全的组件混合器？若能，它是否会提升量子货币协议的安全性与效率？
• RQ5 组件叠加问题的量子查询复杂度是多少？它与同一组件问题的困难性有何关联？

主要发现

• 在合理假设下，证明了同一组件问题对量子计算机而言是困难的，从而表明伪造从纽结构造的量子货币在计算上不可行。
• 若同一组件问题困难，则可通过利用组件混合器的量子算法，以可忽略的误差解决组件叠加问题（即给定一个元素，准备其所在组件的均匀叠加态）。
• 证明了所有零函数与点函数的输出态之间的迹距离可忽略，意味着任何能区分它们的算法将违反BBBV下界。
• 多平衡组件问题被识别为QCMA与QMA之间经典预言机分离的候选问题，提示了可能解决这一开放复杂性理论问题的路径。
• 本文建立了一一对应关系：组件叠加问题可归约为同一组件问题，因此后者的困难性意味着量子货币方案的安全性。
• 本研究首次在黑箱模型下，结合组件混合器与标记函数，为伪造从纽结构造的量子货币提供了正式的困难性结果。