[论文解读] Near-linear constructions of exact unitary 2-designs

Richard Cleve, Debbie Leung+2 more|arXiv (Cornell University)|Jan 19, 2015

Quantum Computing Algorithms and Architecture参考文献 29被引用 14

一句话总结

本文提出了在 n 量子比特上实现精确酉 2-设计的近线性量子电路构造，使用 Clifford 门（在扩展黎曼猜想假设下）或非 Clifford 门（无条件地）实现 O(n log n log log n) 的门复杂度，且深度为对数级。关键贡献在于，与以往的精确或近似构造相比，电路规模和深度均实现了二次改进，从而实现了仅使用 5n 个随机位的高效、低熵采样。

ABSTRACT

A unitary 2-design can be viewed as a quantum analogue of a 2-universal hash function: it is indistinguishable from a truly random unitary by any procedure that queries it twice. We show that exact unitary 2-designs on n qubits can be implemented by quantum circuits consisting of ~O(n) elementary gates in logarithmic depth. This is essentially a quadratic improvement in size (and in width times depth) over all previous implementations that are exact or approximate (for sufficiently strong approximations).

研究动机与目标

• 开发门数和深度最少的精确量子电路实现，用于酉 2-设计。
• 将精确酉 2-设计的量子电路规模和深度降低至低于以往构造的 O(n²) 门槛。
• 实现近乎最优的资源使用——具体而言，仅使用 O(n) 的随机性与近线性门数，同时保持精确性。
• 提供一种在电路深度上高效且可在多项式时间内经典采样的构造。

提出的方法

• 利用 SL₂(GF(2ⁿ)) 的结构，生成通过共轭实现泡利混合的随机矩阵。
• 采用上三角、下三角和列泡利混合操作的混合方式，实现均匀的泡利分布。
• 使用概率过程：以概率 2ⁿ/(2ⁿ+1) 应用上三角混合后接列混合；以概率 1/(2ⁿ+1) 应用 Hadamard 变换后接下三角混合。
• 通过在 GL₂(GF(2ⁿ)) 中的随机矩阵系统映射构造 Clifford 单元，确保精确的 2-设计性质。
• 利用高效的有限域算术，特别是 GF(2ⁿ) 中的平方根计算，实现在多项式时间内经典采样电路参数。
• 利用快速卷积算法将电路组织为对数深度的层级，实现低深度实现。

实验结果

研究问题

• RQ1 能否以接近线性于 n 的门数和深度构造精确酉 2-设计？
• RQ2 实现精确酉 2-设计所需的最少随机位数是多少？
• RQ3 此类设计能否被高效地经典采样，其生成电路描述的古典复杂度是什么？
• RQ4 不同的混合操作——上三角、下三角和列——如何组合以实现完整的泡利混合？
• RQ5 在无条件情况下，是否可能仅使用 Clifford 门实现接近线性门数的精确 2-设计，还是非 Clifford 门在其中起到关键作用？

主要发现

• 本文在扩展黎曼猜想假设下，为无穷多个 n 构造了使用 O(n log n log log n) Clifford 门的精确酉 2-设计。
• 无条件地，提供了使用 O(n log n log log n) 门（包括非 Clifford 门）的构造，适用于所有 n。
• 第三种构造在无条件情况下实现了仅使用 Clifford 门的 O(n log²n log log n) 门数，电路深度为 O(log²n)。
• 所有构造均仅使用 5n 个随机位的熵，与精确 2-设计的已知下限一致。
• 前两种构造的电路深度为 O(log n)，第三种为 O(log²n)，实现了近乎最优的深度。
• 电路描述的经典采样过程在多项式时间内运行，其主要开销为 GF(2ⁿ) 中的平方根计算。