[论文解读] Quantum Threshold Is Powerful

Daniel Grier, John R. Morris|arXiv (Cornell University)|Nov 7, 2024

Quantum Information and Cryptography被引用 1

一句话总结

本文证明了量子阈值门——用于判断量子比特寄存器的汉明权重是否超过某一阈值——可以在常数深度和多项式规模下以高保真度实现量子扇出门。该构造推广了Rosenthal关于广义Toffoli门的结果，表明任何能够弱近似计算奇偶性的门均可替代扇出门，从而确立了在常数深度量子电路中，阈值门与扇出门的计算等价性。

ABSTRACT

In 2005, Høyer and Špalek showed that constant-depth quantum circuits augmented with multi-qubit Fanout gates are quite powerful, able to compute a wide variety of Boolean functions as well as the quantum Fourier transform. They also asked what other multi-qubit gates could rival Fanout in terms of computational power, and suggested that the quantum Threshold gate might be one such candidate. Threshold is the gate that indicates if the Hamming weight of a classical basis state input is greater than some target value. We prove that Threshold is indeed powerful - there are polynomial-size constant-depth quantum circuits with Threshold gates that compute Fanout to high fidelity. Our proof is a generalization of a proof by Rosenthal that exponential-size constant-depth circuits with generalized Toffoli gates can compute Fanout. Our construction reveals that other quantum gates able to "weakly approximate" Parity can also be used as substitutes for Fanout.

研究动机与目标

• 确定量子阈值门是否能在常数深度量子电路中模拟多量子比特扇出门的计算能力。
• 解决Høyer与Špalek（2005）以及Takahashi与Tani（2011）长期提出的开放问题：即阈值门是否可作为低深度量子计算中的通用基本门。
• 识别出一类广义的量子门——具体而言，是奇偶性受限的相位门——当与广义Toffoli门结合时，可模拟扇出门，从而推广了阈值门的能力。

提出的方法

• 通过构造一个使用阈值门和单量子比特操作的常数深度量子电路，以高保真度计算扇出门，利用Rosenthal原始构造在Toffoli门基础上实现扇出的广义版本。
• 引入“弱奇偶性”门的概念——即仅在特定奇偶性（偶数或奇数）输入上非平凡作用的相位门——作为关键构建模块。
• 证明了阈值门可模拟广义Toffoli门，从而使得基于Toffoli门的电路技术可应用于基于阈值门的模型。
• 通过线性映射E将qudit态编码为量子比特，利用受控MODn,p,ℓ门和置换操作来模拟模运算（例如模-p加法）。
• 使用一系列类交换控制操作和置换酉操作（Uσ）来计算求和∑k k·sk mod p，其中sk表示输入量子比特中值为k的个数。
• 通过与Qp门共轭，实现对编码量子比特的完整扇出操作，从而证明其与QNC0中标准扇出门的等价性。

实验结果

研究问题

• RQ1 量子阈值门是否可在常数深度和多项式规模下模拟扇出门？
• RQ2 在常数深度量子电路的背景下，阈值门是否与扇出门具有相同的计算能力？
• RQ3 何种多量子比特门的结构特性使其可在常数深度模型中替代扇出门？
• RQ4 能否利用弱近似奇偶性的门——即仅在固定奇偶性输入上作用的门——来构建完整的奇偶性或扇出操作？
• RQ5 为使弱奇偶性门足以模拟扇出门，所需添加的最小门集（例如Toffoli门）是什么？

主要发现

• 本文确立了BQTC0 = BQNC0_wf，证明了在常数深度量子电路中，量子阈值门与扇出门具有同等计算能力。
• 阈值门可模拟广义Toffoli门，从而使得基于Toffoli门的现有构造可应用于基于阈值门的模型。
• 任何在奇偶性受限集合S上定义的相位门USn（其中S中所有字符串的汉明权重奇偶性相同）均可在与广义Toffoli门结合后模拟扇出门。
• 当|Sn| ≥ 2n−O(1) 或 |Sn| ≤ 2(1−ε)n 时，USn门本身即可模拟奇偶性，但后一种情况需要超多项式规模的电路。
• 该构造证明了对所有p > 1，QNC0_wf = QNC0[p]，并由此推出对所有a > 1，QNC0_a = QNC0_wf，表明基于阈值门的电路与含模运算门的电路具有同等能力。
• 整个电路通过仅使用常数深度、多项式规模的量子电路（由阈值门、单量子比特操作及少量Toffoli门构成），在编码的qudit上实现了精确扇出。