[논문 리뷰] Strong Convergence of Forward-Backward-Forward Methods for Pseudo-monotone Variational Inequalities with Applications to Dynamic User Equilibrium in Traffic Networks

Benoît Duvocelle, Dennis Meier외 2명|arXiv (Cornell University)|2019. 08. 20.

Optimization and Variational Analysis참고 문헌 26인용 수 5

한 줄 요약

이 논문은 무한차원 힐버트 공간 내에서 허위-단조성 변분부등식을 해결하기 위한 강한 수렴성을 보장하는 새로운 전진-역행-전진(FBF) 알고리즘을 제안한다. 특히 교통망 내 동적 사용자 균형(DUE) 문제에 적용된다. 기존 티센의 FBF 방법에 단순하고 계산 비용이 저렴한 수정을 가미하여, 전역 단조성 또는 리프시츠 상수의 사전 지식 없이도 최소 노름 해로의 강한 수렴을 보장한다. 수치 실험을 통해 뉴먼 및 수이프 폴스 네트워크에서 최신 기술 대비 경쟁적인 성능을 입증하였다.

ABSTRACT

In infinite-dimensional Hilbert spaces we device a class of strongly convergent primal-dual schemes for solving variational inequalities defined by a Lipschitz continuous and pseudomonote map. Our novel numerical scheme is based on Tseng's forward-backward-forward scheme, which is known to display weak convergence, unless very strong global monotonicity assumptions are made on the involved operators. We provide a simple augmentation of this algorithm which is computationally cheap and still guarantees strong convergence to a minimal norm solution of the underlying problem. We provide an adaptive extension of the algorithm, freeing us from requiring knowledge of the global Lipschitz constant. We test the performance of the algorithm in the computationally challenging task to find dynamic user equilibria in traffic networks and verify that our scheme is at least competitive to state-of-the-art solvers, and in some case even improve upon them.

연구 동기 및 목표

• 무한차원 힐버트 공간 내 변분부등식을 해결하기 위한 수치적 방법을 개발하여, 단조성 조건이 약한 경우(예: 허위-단조성)에도 강한 수렴성을 보장하고자 한다.
• 지연 연산자가 닫힌 형태로 표현되지 않으며 강한 단조성이 없는 동적 사용자 균형(DUE) 문제의 계산적 과제를 해결하고자 한다.
• 저비용 반복과 강한 수렴성을 동시에 확보하는 알고리즘을 설계하여, 기존 방법이 강한 단조성에 의존하거나 고비용 투영을 요구하는 한계를 극복하고자 한다.
• 전역 리프시츠 상수의 사전 지식이 필요 없도록 적응형 스텝 사이즈 전략을 통해 알고리즘을 자유롭게 만들고자 한다.
• 실제 교통망 사례에 대해 최신 기술 대비 수렴 속도 및 해의 정확도 측면에서 성능을 검증하고자 한다.

제안 방법

• 제안된 방법은 원래 리프시츠 연속성과 허위-단조성 조건 하에서 약한 수렴성만 보장하는 티센의 전진-역행-전진(FBF) 방법의 적응형 확장 버전이다.
• 핵심 혁신은 FBF 반복에 단순하고 계산 비용이 저렴한 수정을 가미하여, 변분부등식의 최소 노름 해로의 강한 수렴을 보장하는 것이다.
• 전역 리프시츠 상수의 사전 지식이 필요 없도록 하는 적응형 선색색 전략이 도입되었다.
• 지연 연산자를 단조 맵으로 삼는 변분부등식으로 공식화함으로써 동적 사용자 균형(DUE) 문제에 알고리즘을 적용하였다.
• 각 반복에서 지연 연산자를 계산하기 위해 LWR 모델을 활용한 동적 네트워크 로딩(DNL) 절차를 사용하여 경로-유량 공간에서 변분부등식을 해결할 수 있도록 하였다.
• 알고리즘은 오픈소스 DTA 툴박스를 활용해 MATLAB로 구현되었으며, 수렴 여부는 연속된 반복 간 상대 갭(relative gap)을 통해 모니터링되었다.

실험 결과

연구 질문

• RQ1 허위-단조성 조건을 만족하는 무한차원 힐버트 공간 내 변분부등식에 대해, 강한 단조성이 요구되지 않는 전진-역행-전진(FBF) 방법을 수정하여 최소 노름 해로의 강한 수렴을 달성할 수 있는가?
• RQ2 비용 효율적인 반복과 강한 수렴성을 보장하는 동적 사용자 균형(DUE)을 위한 알고리즘을 설계할 수 있는가? 이는 고비용 투영 단계를 피할 수 있어야 한다.
• RQ3 기존의 투영 경사하강법과 비교해 볼 때, 제안된 적응형 강한 수렴성 FBF 방법은 벤치마크 교통망에서 수렴 속도 및 해의 정확도 측면에서 어떻게 성능을 발휘하는가?
• RQ4 지연 연산자의 전역 리프시츠 상수를 사전에 알 필요 없이 알고리즘이 작동할 수 있는가? 그리고 적응형 스텝 사이즈 전략은 얼마나 효과적인가?
• RQ5 강한 수렴 보장이 복잡한 교통망 내 DUE 계산의 신뢰성과 강건성에 얼마나 기여하는가?

주요 결과

• 제안된 FBF 알고리즘은 강한 단조성이 필요 없이 리프시츠 연속성과 허위-단조성 조건 하에서 변분부등식의 최소 노름 해로 강한 수렴을 달성한다.
• 알고리즘의 적응형 변형은 전역 리프시츠 상수의 사전 지식이 필요 없음을 해결하여 실용적 적용 가능성을 높였다.
• 뉴먼 네트워크에서의 수치 실험 결과, 제안된 FBF 방법은 수렴 속도 및 해의 정확도 측면에서 투영 경사하강법을 능가하였다. 이는 더 낮은 O-D 갭을 통해 뒷받침되었다.
• 더 큰 수이프 폴스 네트워크에서는 반복 복잡도 및 O-D 갭 분포 측면에서 FBF 방법이 투영 경사하강법과 유사한 성능를 보였으며, 동시에 강한 수렴성을 유지하였다.
• 두 네트워크 모두에서 상대 갭(epsilon)이 10^-4 이하로 떨어져 수렴이 충분히 이루어졌음을 나타내었으며, 뉴먼 네트워크에서는 FBF 방법이 약간의 우월성을 보였다.
• O-D 갭 히스토그램 분석 결과 대부분의 갭은 0.1에서 0.3 사이에 분포되어 있었고, 이는 조기 종료를 시사했지만, FBF 방법은 투영 방법 대비 더 우수한 전체 분포와 낮은 최대 갭을 달성하였다.