[论文解读] Design and Analysis of an Improved Constrained Hypercube Mixer in Quantum Approximate Optimization Algorithm

Arkadiusz Wołk, Karol Capała+1 more|arXiv (Cornell University)|Mar 5, 2026

Quantum Computing Algorithms and Architecture被引用 0

一句话总结

论文对受限超立方体混合器在 QAOA 中进行改进，以降低电路规模，给出何时可减小的解析上界，并在仿真中展示了对噪声鲁棒性的提升。

ABSTRACT

The Quantum Approximate Optimization Algorithm (QAOA) is expected to offer advantages over classical approaches when solving combinatorial optimization problems in the Noisy Intermediate-Scale Quantum (NISQ) era. In its standard formulation, however, QAOA is not suited for constrained problems. One way to incorporate certain types of constraints is to restrict the mixing operator to the feasible subspace; however, this substantially increases circuit size, thereby reducing noise robustness. In this work, we refine an existing hypercube mixer method for enforcing hard constraints in QAOA. We present a modification that generates circuits with fewer gates for a broad class of constrained problems defined by linear functions. Furthermore, we calculate an analytical upper bound on the number of binary variables for which this reduction might not apply. Additionally, we present numerical experimental results demonstrating that the proposed approach improves robustness to noise. In summary, the method proposed in this paper allows for more accurate QAOA performance in noisy settings, bringing us closer to practical, real-world NISQ-era applications.

研究动机与目标

• 在硬件噪声下提升受限优化的 QAOA 性能的动机。
• 开发可应用于线性约束定义的减门受限超立方体混合器。
• 提供对有益于降低的二进制变量数量的解析上界。
• 通过数值实验展示对常见量子噪声模型的鲁棒性提升。

提出的方法

• 提出一种改良的受限超立方体混合器 U_B'，通过预计算的线性函数值 l(y) 来降低电路规模。
• 用在专门寄存器中预计算的 l(y) 替换标准校验 oracle V，并相应调整邻居可行性检查。
• 推导改件的邻居可行性 oracle N'_j 以及更新后的 RX_j 应用，以在状态跃迁过程中维持正确的 l(y) 更新。
• 扩展构造以处理多个线性函数，详细给出并行与序列扩展方法。
• 提供一个使用 G 算子进行电路规模分析的框架，以比较标准方法与修改方法的门计数。
• 在并行与序列方案下扩展到多个线性函数，并说明在这些设置中 L、V、C 算子如何扩展。

实验结果

研究问题

• RQ1 当约束由线性函数定义时，是否可以为 QAOA 设计一个门高效的受限超立方体混合器？
• RQ2 降低门数的修改在二进制变量数量的解析上界是多少，使得该修改仍具有优势？
• RQ3 在仿真中，所提出的修改是否提高了对相位衰减、振幅衰减和去极化噪声的鲁棒性？
• RQ4 如何在不显著增加电路规模的前提下，实现在并行或序列方案中对多线性函数的实用实现？
• RQ5 标准方法与修改方法在电路深度和可行性处理方面的权衡是什么？

主要发现

• 修改后的受限超立方体混合器 U_B' 在广泛的线性约束问题类中相对于标准实现减少了所需的电路规模。
• 给出解析上界，显示在某些条件下标准方法可能优于修改。
• 数值实验表明使用修改方法时，对常见噪声模型具有更强的鲁棒性。
• 通过使用预计算的线性函数值实现可行态受限混合，降低了本体复杂度。
• 对多线性函数的扩展给出并行与序列选项，概述了可扩展性考虑。
• 电路规模分析提供了一个框架，通过大小函数 G 来比较方法之间的门计数。