[論文レビュー] Quantum computing approach to railway dispatching and conflict management optimization on single-track railway lines

Krzysztof Domino, Mátyás Koniorczyk+3 more|arXiv (Cornell University)|Oct 16, 2020

Railway Systems and Energy Efficiency参考文献 61被引用数 14

ひとこと要約

本稿では、現在の量子アニーリング機器と互換性のある二次無制約バイナリ最適化（QUBO）モデルを用いて、単線鉄道線路上におけるリアルタイム列車ダイヤ改正および衝突管理のための量子コンputィング手法を提案する。実際のポーランド鉄道データを用いた概念実証により、小規模なダイヤ改正問題がD-Wave量子プロセッサ上で最適に解けることが示された。一方、古典的ソルバーやテンソルネットワーク手法は、より大きなインスタンスに対して堅牢でスケーラブルな代替手段を提供する。

ABSTRACT

In this work, we consider a practical railway dispatching problem: delay and conflict management on a single-track railway line. We examine the issue of train dispatching consequences caused by the arrival of an already delayed train to the segment being considered. This problem is computationally hard and often needs to be solved timely. Here, we introduce a quadratic unconstrained binary optimization (QUBO) model of the problem in question, compatible with the emerging quantum annealing technology. The model's instances can be executed on present-day quantum annealers. As a proof-of-concept, we solve selected real-life problems from the Polish railway network using D-Wave quantum annealers. As a reference, we also provide solutions calculated with classical methods, including those relevant to the community (linear integer programming) and a sophisticated algorithm based on tensor networks for solving QUBO problems.

研究の動機と目的

• 遅延の影響を受ける単線鉄道線路上におけるリアルタイム列車ダイヤ改正および衝突解消という計算的に困難な問題に取り組む。
• 量子アニーリングハードウェアに適した二次無制約バイナリ最適化（QUBO）問題として、ダイヤ改正問題をモデル化する。
• D-Wave 2000Qなどの近い将来の量子アニーリング機器を用いて、実世界の鉄道ダイヤ改正インスタンスを解く可能性を実証する。
• 古典的手法（線形整数プログラミングおよびテンソルネットワークベースのQUBOソルバーを含む）と比較し、量子アニーリングの結果を検証し、スケーラビリティを評価する。
• ハイブリッド量子古典的手法の可能性を検討し、将来的に量子デバイスを運用上の鉄道管理システムに統合する道筋を模索する。

提案手法

• 単線鉄道線路上の列車ダイヤ改正問題を、列車のスケジューリング意思決定および衝突制約をバイナリ変数に符号化することでQUBOモデルとして定式化する。
• 高度な埋め込みアルゴリズムを用いて、D-Wave 2000Q量子プロセッサのチメラグラフトポロジにQUBOモデルをマッピングする。
• 物理的D-Wave 20000Qハードウェア上でQUBOインスタンスを実行し、線形整数プログラミングおよびテンソルネットワークベースのQUBOアルゴリズムを含む古典的ソルバーと結果を比較する。
• 小規模インスタンスに対してグリーディなブルートフォース探索を実施し、エネルギースペクトルを分析し、QUBO定式化の構造を検証する。
• ノイズの多い中規模量子（NISQ）ハードウェア上で低エネルギー（最適）解を確得させるために、エラー低減および繰り返しアニーリング実行を適用する。
• 標準的なダイヤ改正モデルおよび最先端のQUBOソルバーを含む古典的ベンチマークと照合することで、量子結果の性能および正確性を評価する。

実験結果

リサーチクエスチョン

• RQ1 単線鉄道線路上の列車ダイヤ改正問題のQUBO定式化は、現在の量子アニーリングハードウェアに効果的にマッピング可能か？
• RQ2 現在のD-Wave量子プロセッサは、実世界のダイヤ改正問題に対して、どの程度最適または近似最適な解を生成するか？
• RQ3 解の質および実行時間の観点から、量子アニーリングの結果は、線形整数プログラミングやテンソルネットワーク手法といった古典的ソルバーと比べてどうか？
• RQ4 複雑度が増す実用的ダイヤ改正問題を解く際、量子ハードウェアの埋め込みおよびノイズといった制限要因は、どのような影響を及ぼすか？
• RQ5 量子インスパイアド古典的アルゴリズムは、鉄道最適化分野における新興の量子ソリューションの信頼性の高いベンチマークおよび検証手段を提供できるか？

主な発見

• QUBOモデルは、ポーランド鉄道網の実世界のダイヤ改正問題を的確に符号化でき、単線路における衝突解消および遅延管理をカバーした。
• Nidzica–Olsztynek区間（48論理キュービット）という小規模なインスタンスでは、D-Wave 2000Qが複数のパrameter設定で最適解を生成した。これは近い将来のハードウェア上で実現可能であることを示している。
• Goleszów–Wisła Uzdrowisko区間（198論理キュービット）は、理想のチメラグラフ（2048物理キュービット）に埋め込めるが、物理的D-Wave 2000Qでは4つのケース中3つしか埋め込めなかった。これはハードウェアの不完全性に起因する。
• 大規模インスタンスでは、ノイズおよびハードウェア制限のため、量子アニーリングの結果は最適でなかった。これはNISQデバイスの現在の制限を浮き彫りにしている。
• 古典的テンソルネットワーク手法は、同じQUBOインスタンスに対して高品質な解を提供し、検証および実用的導入の代替手段として有効である。
• 本研究は、量子アニーリングが小規模なダイヤ改正問題に実用可能であり、将来的な鉄道最適化システムにおけるハイブリッド量子古典アーキテクチャの道筋を示している。