[论文解读] A Framework for Approximating Qubit Unitaries

Vadym Kliuchnikov, Alex Bocharov+2 more|arXiv (Cornell University)|Oct 13, 2015

Quantum Computing Algorithms and Architecture被引用 12

一句话总结

本文提出了一种通用框架，用于高效近似由完全确定四元数代数导出的门集上的单量子比特酉操作，实现 ε-近似所需的电路长度为 O(log(1/ε))—渐近最优。该算法在 log(1/ε) 上平均多项式时间运行，条件依赖于一个数论猜想，并适用于包括 Clifford+T、V-基以及 Clifford+√T 在内的广泛故障容忍门集。

ABSTRACT

We present an algorithm for efficiently approximating of qubit unitaries over gate sets derived from totally definite quaternion algebras. It achieves $\varepsilon$-approximations using circuits of length $O(\log(1/\varepsilon))$, which is asymptotically optimal. The algorithm achieves the same quality of approximation as previously-known algorithms for Clifford+T [arXiv:1212.6253], V-basis [arXiv:1303.1411] and Clifford+$π/12$ [arXiv:1409.3552], running on average in time polynomial in $O(\log(1/\varepsilon))$ (conditional on a number-theoretic conjecture). Ours is the first such algorithm that works for a wide range of gate sets and provides insight into what should constitute a "good" gate set for a fault-tolerant quantum computer.

研究动机与目标

• 开发一种通用且高效的算法，用于近似故障容忍量子计算中广泛使用的通用门集上的单量子比特酉操作。
• 解决一个开放问题：何种数学性质使门集适用于高效的近似算法。
• 统一并推广现有针对特定门集（如 Clifford+T、V-基和 Clifford+π/12）的算法，形成单一数学框架。
• 提供理论与实证证据，表明近似效率与底层门集的数论性质密切相关。
• 展示该框架在新门集（如 Clifford+√T）上的适用性，并复现已知门集的既定结果。

提出的方法

• 利用完全确定四元数代数的代数结构对 SU(2) 中的通用门集进行建模，从而实现对酉操作近似的数论分析。
• 将酉操作近似问题转化为在四元数代数中最大序的乘法群中寻找短因子分解的问题。
• 利用约化范数与单位群结构对等价酉操作（模 Clifford 等价）进行分类与分组，以最小化电路成本。
• 采用递归近似过程，通过门集生成元迭代减小与目标酉操作的距离。
• 依赖一个数论猜想（推广自 [63, 8, 9] 中的先前猜想）来证明在 log(1/ε) 上平均多项式时间的运行效率。
• 在 Magma 计算代数系统中实现该算法，并在多个门集（包括 Clifford+T+V 和 Clifford+√T）上进行验证。

实验结果

研究问题

• RQ1 何种门集的结构性质可使任意单量子比特酉操作的近似实现 O(log(1/ε)) 长度的电路？
• RQ2 能否建立一个统一的数学框架，以解释为何针对特定门集（如 Clifford+T 和 V-基）存在高效的近似算法？
• RQ3 门集生成元中元素的数论性质如何影响近似算法的效率？
• RQ4 该框架在多大程度上可推广至已知门集之外，如 Clifford+√T 或其他“黄金门”构造？
• RQ5 支持该算法在 log(1/ε) 上平均多项式时间运行的猜想的证据是什么？其与计算数论中现有结果有何关联？

主要发现

• 该算法使用长度为 O(log(1/ε)) 的电路，实现了对任意单量子比特酉操作的 ε-近似，达到渐近最优。
• 该算法在 log(1/ε) 上平均多项式时间运行，条件依赖于一个数论猜想，其效率与先前针对特定门集的算法相当。
• 该框架成功复现了 Clifford+T、V-基和 Clifford+π/12 门集的已知结果，验证了其通用性。
• 在 Clifford+T+V 上的数值实验表明，该算法生成的电路具有低代价向量，当 ε = 10⁻⁶ 时，平均运行时间低于 1 秒/次近似。
• 该算法识别出 Clifford+T+V 门集中 26 个对应于约化范数为 5 的四元数的门，其中 20 个可通过 T 和 V 门的组合表示，暗示潜在的成本节省。
• 结果为支撑高效合成的数论猜想可能不仅适用于已知门集，还可扩展至更广泛的“黄金门”构造类群提供了间接证据。