[论文解读] Targeted Fibonacci Exponentiation

Burton S. Kaliski|arXiv (Cornell University)|Nov 5, 2017

Quantum Computing Algorithms and Architecture参考文献 6被引用 3

一句话总结

本文提出三种针对斐波那契幂运算的算法，通过使用可逆量子线路实现 $ a^k $ 的计算，仅保留结果 $ a^k $ 和固定的垃圾值，且不与中间值产生纠缠。通过利用斐波那契加法链以及霍夫施塔特 G 对算法的新变体，这些方法减少了寄存器使用量和迭代次数，为量子密码分析应用提供了空间与时间效率之间的权衡。

ABSTRACT

A targeted exponentiation algorithm computes a group exponentiation operation $a^k$ with a reversible circuit in such a way that the initial state of the circuit consists of only the base $a$ and fixed values, and the final state consists of only the exponential $a^k$ and fixed values. Three targeted exponentiation algorithms based on Fibonacci addition chains are considered, offering tradeoffs in terms of the number of working registers and the number of iterations. The approaches also motivate related results on the Fibonacci Zeckendorf array, including a new \emph{modular Hofstadter G problem} and an improvement to Anderson's recent algorithm for locating pairs of adjacent integers in the extended Fibonacci Zeckendorf array. The algorithms have applications in quantum computing.

研究动机与目标

• 设计可逆的量子线路，仅在最终状态保留 $ a^k $ 和固定的辅助量子比特值，避免与中间值产生纠缠。
• 通过使用斐波那契加法链而非二进制表示，减少量子幂运算中的工作量子比特数量和迭代次数。
• 在基 $ a $ 可变或计算过程中动态生成的情况下，实现在叠加态中的高效幂运算。
• 改进现有算法以在扩展的斐波那契齐肯多夫数组中定位相邻对，并解决一个新的模形式霍夫施塔特 G 问题。
• 为量子密码分析提供实用且优化的工具，尤其适用于涉及群幂运算的秀尔算法变体。

提出的方法

• 利用斐波那契加法链构建可逆线路，实现 $ (a, b) \mapsto (b, ab) $ 的演化，保持可逆性并最小化辅助量子比特。
• 采用低到高斐波那契幂运算算法作为基础方法，通过状态转移追踪 $ a^{F_i} $ 的幂次。
• 提出一种“双路”方法，同时处理两条加法链，提升寄存器效率，但增加迭代次数。
• 开发一种混合方法，结合高到低的霍夫施塔特 G 对指数运算与低到高的斐波那契指数运算，以平衡量子比特与迭代成本。
• 应用一种新的模形式霍夫施塔特 G 问题的解决方案，实现齐肯多夫数组中相邻斐波那契对的高效计算。
• 改进安德森算法以在扩展的斐波那契齐肯多夫数组中更高效地定位相邻整数对。

实验结果

研究问题

• RQ1 能否使基于斐波那契的幂运算实现目标化，使得最终仅保留 $ a^k $ 和固定的辅助值，且不与中间值产生纠缠？
• RQ2 在目标化斐波那契幂运算中，工作寄存器数量与迭代次数之间存在何种权衡？
• RQ3 如何将霍夫施塔特 G 对指数运算算法适配于目标化量子幂运算线路中？
• RQ4 能否利用齐肯多夫表示和斐波那契数组的性质来提升量子幂运算的效率？
• RQ5 目标化幂运算的最小量子比特数和迭代次数要求是什么？能否建立下限？

主要发现

• 基础斐波那契幂运算算法使用 3 个工作寄存器，需 $ 3h $ 次迭代，其中 $ h = \lceil \log_\phi r \rceil $。
• 双路方法使用 4 个寄存器和 $ 4h $ 次迭代，通过增加迭代次数提升了寄存器效率。
• 混合方法使用 3 个寄存器和 $ 3h $ 次迭代，在空间与时间之间实现了良好的平衡。
• 本文提出一种新的模形式霍夫施塔特 G 问题，并提供解决方案，使齐肯多夫数组中的高效计算成为可能。
• 提出一种改进的算法，用于在扩展的斐波那契齐肯多夫数组中定位相邻整数对，降低了搜索复杂度。
• 目标化幂运算框架使得在量子线路中实现干净的叠加态幂运算成为可能，这对诸如秀尔算法中特征态变换等应用至关重要。