Algebraic Reduction to Improve an Optimally Bounded Quantum State Preparation Algorithm

技术摘要：通过代数约简改进最优受限量子态制备算法

问题陈述
量子态制备（QSP）是众多量子算法（包括线性系统求解器、哈密顿量模拟、量子化学和机器学习）所需的基础子程序。主要的挑战在于最小化用于将初始态 $|0\rangle^{\otimes n}$ 映射到目标态 $|\psi\rangle = \sum c_i |i\rangle$ 的幺正算符 $U$ 的电路复杂度（深度、门计数和 CNOT 计数）。虽然 Sun 等人（SUN）的算法在渐近时空权衡（利用辅助量子比特来降低深度）方面已知是具有最优界的，但其实现涉及为每个均匀控制门（UCG）分解出三个 $\Lambda$ 型算符。本文旨在通过一种更高效的代数分解，来降低 SUN 算法的电路深度和门计数，特别是在辅助量子比特数量 $m$ 满足 $2^n \leq m \leq 2^n/n$ 的参数范围内。

方法论
作者提出了一种新型 QSP 算法，称为 OSUN，该算法引入了一种更简单的幺正算符代数分解。核心方法论的转变是将目标态的制备分为两个截然不同的幺正块：

1. 实部 ($U_{mod}$): 负责制备目标态系数实模值的幺正算符。
2. 复部 ($D_{ph}$): 负责施加必要复相位的对角幺正算符。

在传统的 SUN 框架中，阶梯结构中的每个 UCG 都被分解为三个 $\Lambda$ 型算符（分别处理实部和复部的对角相位偏移）。所提出的 OSUN 算法利用了 $U_{mod}$ 仅需制备实振幅这一事实。通过将该块中的 UCG 限制为 $R_y$-块对角矩阵，并利用特定的门集变换（$R_y(\gamma) \equiv SH \cdot R_z(\gamma) \cdot HS^\dagger$），作者证明了 $U_{mod}$ 中的每个 UCG 都可以使用单个 $\Lambda$ 型算符而非三个来实现。复相位信息随后通过一个单一的、最大维度的 $\Lambda$ 算符在电路末端施加。

这种分解允许在利用先前 SUN 实现中所建立的五阶段傅里叶空间求和方法的同时，对辅助寄存器上的操作进行并行化处理，但每个层级的 $\Lambda$ 构造器数量有所减少。

主要贡献
论文概述了六项具体贡献：

1. 优化 SUN: 一种新的 QSP 算法，在 Sun 等人 [40, 定理 1] 定义的最优时空权衡的整个第一范围内，在深度和门计数方面优于 SUN 算法。
2. 代数分解: 推导过程表明，通过分离实部和复部，可以将每个 UCG 实现为单个 $\Lambda$ 型构造器，从而将每个门层级的计数从三个减少到一个。
3. 更紧凑的渐近界: 提供了一个形式化分析，为特定参数范围内的时空权衡提供了更紧凑的渐近最优界。
4. 实现: 使用 PennyLane 库完成了 OSUN 算法的完整实现，并在 GitHub 上开源。
5. 广泛验证: 在帕尔马大学的高性能计算（HPC）系统上执行了全面的测试集，涵盖了稠密和稀疏态、随机系数（实正、实负、复数）以及物理相关的态（Bell、GHZ、W、Dicke），量子比特数最高达 10 个。
6. 对比分析: 与 Möttönen 等人的算法（无辅助量子比特时的 QSP 标准算法）以及原始 SUN 实现进行了直接的性能比较，评估了深度、总门数、CNOT 计数和门类型等指标。

结果
仿真结果表明，与原始 SUN 实现相比，OSUN 算法实现了电路深度的系统性降低。

• 复杂度分析: 理论分析确认，虽然渐近复杂度类别仍为 $O(n^2 + 2^n/m)$，但主导项的预因子显著降低。具体而言，对数线性项 ($n \log m$) 表现出 3 倍的改进，而指数项 ($2^n/m$) 表现出 2 倍的改进。
• 仿真指标: 对于具有复系数的随机态，OSOT 在 6 个量子比特起便展现出比原始 SUN 和 Möttönen 算法更浅的深度。其深度增长曲线比原始版本更平滑。
• 门计数: 虽然 OSUN 降低了深度，但其总门数和 CNOT 数量与 Möttönen 算法相比并未显示出减少。然而，作者指出其门集组成发生了变化：Möttönen 的方法使用 CNOT 和旋转门，而 OSUN 利用 CNOT 和相位移（对角算符）。
• 保真度: 在所有测试的态类型和量子比特数（2 到 10）下，该算法均保持了高保真度（接近 1）和低迹距离。

意义与主张
论文声称，所提出的代数约简在不改变其基本渐近复杂度类别的情况下，为最先进的 SUN 算法提供了实际的改进。通过降低深度和门计数中的常数因子，OS在辅助寄存器可用（$m \geq 2^n$）的情况下，为态制备提供了一个更高效的电路。作者将这项工作定位为对最优时空权衡的精细化，强调 $\Lambda$ 算符数量的减少（从每个 UCG 的 3 个减少到 1 个）是性能提升的主要驱动力。

作者明确指出，此优化适用于最优权衡的整个第一参数范围。他们建议未来的工作可以将这些优势扩展到辅助寄存器呈指数级增长的其他定义域点。论文最后指出，虽然 OSUN 改进了深度，但未来的研究应解决实际硬件上的量子比特连通性问题，并将这些电路转化为 Clifford+T 门集，以全面评估其在容错上下文中的复杂度。这项工作并不声称解决了所有硬件约束下的通用 QSP 问题，而是利用现有的辅助策略，为 SUN 框架提供了一个特定的、经过验证的改进。