[论文解读] Image Acquisition Planning for Earth Observation Satellites with a Quantum Annealer

Tobias Stollenwerk, V. Michaud+4 more|arXiv (Cornell University)|Jun 17, 2020

Satellite Communication Systems参考文献 16被引用 10

一句话总结

本文针对地球观测卫星图像获取规划问题，评估了D-Wave 2000Q量子退火处理器相较于经典优化方法的性能，将该问题建模为二元二次优化问题。尽管在部分实例中量子退火在运行时间上优于经典精确求解器，但由于硬件精度限制，尤其在较大问题上，解的质量显著下降。

ABSTRACT

We present a comparison study of state-of-the-art classical optimisation methods to a D-Wave 2000Q quantum annealer for the planning of Earth observation missions. The problem is to acquire high value images while obeying the attitude manoeuvring constraint of the satellite. In order to investigate close to real-world problems, we created benchmark problems by simulating realistic scenarios. Our results show that a tuned quantum annealing approach can run faster than a classical exact solver for some of the problem instances. Moreover, we find that the solution quality of the quantum annealer is comparable to the heuristic method used operationally for small problem instances, but degrades rapidly due to the limited precision of the quantum annealer.

研究动机与目标

• 评估量子退火在真实世界地球观测卫星图像获取规划问题中的性能。
• 将量子退火与工业界实际应用中的经典精确求解器和启发式求解器进行比较。
• 研究硬件限制（尤其是链式耦合和精度）对量子退火性能的影响。
• 使用两个现实标准对量子退火进行基准测试：达到精确解所需时间，以及在固定时间预算下的解质量。
• 评估当前量子硬件在工业规划应用中的成熟度与潜力。

提出的方法

• 将卫星图像获取问题建模为具有二元决策变量 $x_{r,i}$ 的二元二次优化问题，其中 $x_{r,i}$ 表示是否选择某次成像尝试。
• 使用小嵌入技术将问题映射到D-Wave 2000Q的Chimera架构上，将逻辑量子比特表示为物理量子比特的链。
• 探索两种链式耦合策略：最坏情况处理法与优化值法，以提高解的保真度。
• 采用99%置信度的时间到解基准，比较量子退火运行时间与经典精确求解器（成对和团基ILP求解器）的表现。
• 固定量子退火的执行时间（每次退火20μs），并在多个问题实例上将解质量（近似比）与贪心启发式算法进行比较。
• 通过模拟卫星轨道和成像请求生成真实感的基准实例，包含时间约束和机动持续时间。

实验结果

研究问题

• RQ1 在真实世界的卫星图像获取规划问题中，量子退火是否能在运行时间上优于经典精确求解器？
• RQ2 在固定时间预算下，量子退火的解质量与经典启发式算法相比如何？
• RQ3 硬件限制（如链式耦合精度和量子比特连通性）在多大程度上影响了该问题上量子退火的性能？
• RQ4 在同时考虑运行时间和解质量的情况下，量子退火是否相对于经典方法具有性能优势？
• RQ5 量子退火是否可被视为地球观测任务操作规划中经典求解器的可行替代方案？

主要发现

• 对于某些问题实例，特别是采用优化链式耦合策略时，量子退火处理器的运行时间快于经典成对精确求解器。
• 在较大问题实例中，团基精确求解器在运行时间上优于所有其他经典方法。
• 由于D-Wave 2000Q处理器的精度和退相干时间有限，量子退火的解质量随着问题规模增大而迅速下降。
• 在固定执行时间下，经典贪心启发式算法在解质量上始终优于量子退火，仅在小规模实例且执行时间较长时例外。
• 对于较大实例，量子退火的近似比显著下降，表明精度问题抑制了成功概率。
• 尽管存在当前限制，量子退火在与经典求解器的对比中表现出具有竞争力的性能，表明未来设备有望在工业规模问题上超越经典方法。