[论文解读] Quantum Arithmetic on Galois Fields

Stéphane Beauregard, Gilles Brassard+1 more|ArXiv.org|Jan 29, 2003

Quantum Computing Algorithms and Architecture被引用 19

一句话总结

本文提出了在伽罗华域 GF(p)、GF(2^k) 和 GF(p^k) 上进行受控乘法的显式量子线路设计，采用进位-求和与基于 QFT 的（phi-adder）两种方法。推导出这些操作的精确资源消耗——量子比特数、门数和电路深度，这对在有限域上实现 Shor 算法以及实现求解离散对数问题的量子算法的精确资源估算至关重要。

ABSTRACT

In this paper we discuss the problem of performing elementary finite field arithmetic on a quantum computer. Of particular interest, is the controlled-multiplication operation, which is the only group-specific operation in Shor's algorithms for factoring and solving the Discrete Log Problem. We describe how to build quantum circuits for performing this operation on the generic Galois fields GF($p^k$), as well as the boundary cases GF($p$) and GF($2^k$). We give the detailed size, width and depth complexity of such circuits, which ultimately will allow us to obtain detailed upper bounds on the amount of quantum resources needed to solve instances of the DLP on such fields.

研究动机与目标

• 为有限域上的受控乘法提供详细的量子线路实现，这对 Shor 算法至关重要。
• 分析并量化伽罗华域 GF(p)、GF(2^k) 和 GF(p^k) 中算术运算的量子资源需求——量子比特、门和深度。
• 为使用量子算法求解这些域上的离散对数问题提供精确的资源成本上界。
• 比较两种方法：进位-求和加法器（量子比特高效）与 phi-加法器（通过 QFT 实现门高效）在量子线路中模运算的性能。

提出的方法

• 在 GF(p) 和 GF(p^k) 中使用进位-求和加法器实现模加法，通过重用辅助量子比特以最小化量子比特数量。
• 采用基于量子傅里叶变换（QFT）的 phi-加法器实现模加法，无需额外的进位量子比特，但需增加受控相位门和 Hadamard 门。
• 通过重复受控加法-乘法（add-mult）操作构建受控乘法线路，使用具有两个控制量子比特的受控模加法。
• 通过应用 add-mult 操作的逆操作完成受控乘法，形成三步序列：add-mult、交换、逆 add-mult。
• 通过在 GF(p) 上并行使用 k 个加法器，将设计扩展到 GF(p^k)，并在多项式基表示中对每个系数应用模约减。
• 通过符号化分析门类型（C^kN、CP、P、H 和 N）推导出每种线路变体的复杂度度量（量子比特数、门数、深度）。

实验结果

研究问题

• RQ1 在 GF(p) 中执行受控乘法的精确量子资源成本（量子比特、门和深度）是多少？
• RQ2 在 GF(2^k) 和 GF(p^k) 中，进位-求和方法与 phi-adder 方法在量子比特效率和门数方面如何比较？
• RQ3 当 k > 1 且 p > 2 时，GF(p^k) 中受控乘法的可扩展资源边界是什么？
• RQ4 如何将伽罗华域上的模算术分解为可重用的量子子程序，以支持 Shor 算法？
• RQ5 通过受控乘法线路实现 Shor 算法中的模指数运算黑箱，所需的最小开销是多少？

主要发现

• 对于 GF(2^k)，受控乘法线路使用 2k+1 个量子比特，(k² + k) 个 C²N 门，2k 个 CN 门，深度为 k² + k + 2。
• 对于 GF(p)（p 为素数），受控乘法线路需要 2n+1 个量子比特，(n²/2) 个 C²N 门，深度为 n²/2，其中 n 是 p 的位长。
• 对于使用进位-求和加法器的 GF(p^k)，受控乘法线路使用 2n + k + ⌈lg(p)⌉ + 1 个量子比特，门数主要由 6nk 个 C⁴N 门主导，深度为 55n² - 57nk + n + 2。
• 对于使用 phi-adder 的 GF(p^k)，受控乘法线路仅需 2n+3 个量子比特，但需要 6n² 个 C²P 门，深度为 32n² + 22nk + n + 2，反映出更高的门成本。
• phi-adder 方法通过消除进位量子比特降低了量子比特使用量，但因 QFT 和逆 QFT 的开销导致门数增加。
• 本文确立了 Shor 算法在伽罗华域上求解 DLP 的资源成本由受控乘法线路的复杂度直接决定，而该复杂度现已被精确量化。