[논문 리뷰] Quantum computing approach to railway dispatching and conflict management optimization on single-track railway lines

Krzysztof Domino, Mátyás Koniorczyk외 3명|arXiv (Cornell University)|2020. 10. 16.

Railway Systems and Energy Efficiency참고 문헌 61인용 수 14

한 줄 요약

이 논문은 현재의 양자 앤날러에 호환되는 이차 무제약 이진 최적화(QUBO) 모델을 사용하여 단선 노선에서 실시간 철도 운행 조정 및 갈등 관리에 양자 컴퓨팅 접근법을 제안한다. 실제 폴란드 철도 데이터를 바탕으로 한 개념 증명을 통해, 소규모 운행 조정 문제는 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 모델로 수립하기.
• 고급 임bedding 알고리즘을 사용하여 D-Wave 2000Q 양자 프로세서의 카이머라 그래프 구조로 QUBO 모델 매핑하기.
• 물리적 D-Wave 2000Q 하드웨어에서 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 인스턴스에 대해 고품질의 해를 제공하여 검증 및 실용적 구현을 위한 타당한 대안이 됨.
• 본 연구는 양자 앤날링이 소규모 운행 조정 문제에 실현 가능하며, 향후 철도 최적화 시스템에서 하이브리드 양자-고전적 접근법으로 이어질 수 있음을 확인함.