2차원 교통 시스템 동역학의 가법 고유값 문제 해결

초록

본 논문은 우선권‑우측 규칙을 적용한 두 개의 원형 도로가 교차하는 2차원 교통 모델을 Petri Net과 최소플러스 대수(min‑plus algebra)로 표현한 뒤, 그 비단조적이며 가법 동차(차수 1)인 동역학에 대한 가법 고유값(eigenvalue) 문제를 체계적으로 풀이한다. 고유값은 차량 밀도와 흐름 사이의 기본 다이어그램을 결정하는 핵심 파라미터이며, 저자는 그래프 이론과 튜링(극한) 기법을 이용해 명시적 해를 도출하고, 해의 존재·유일성 조건을 제시한다.

상세 분석

이 연구는 먼저 기존 연구(Far08)에서 제시된 두 원형 도로와 교차점의 미시적 교통 흐름 모델을 Petri Net 구조로 재구성한다. 교차점에서는 ‘우측 우선’ 규칙이 적용되어 차량 흐름이 비단조적(non‑monotone) 특성을 띠게 되며, 이는 전통적인 max‑plus 혹은 min‑plus 선형 시스템 분석 기법으로는 직접 다루기 어렵다. 저자는 시스템 상태를 각 구간(셀)별 차량 수와 교차점 대기열 길이로 정의하고, 이들을 최소플러스 연산(‘⊕’는 최소, ‘⊗’는 덧셈)으로 연결한 동역학 방정식을 도출한다.

핵심 수학적 성질은 **가법 동차성(additive homogeneity of degree 1)**이다. 즉, 상태 벡터 x에 상수 c를 더하면 전체 방정식이 동일하게 c만큼 이동한다는 의미이며, 이는 고유값 λ가 존재한다면 λ는 시스템의 장기 평균 성장률, 즉 단위 시간당 평균 차량 흐름을 나타낸다. 비단조성 때문에 전통적인 고유값 존재 정리는 적용되지 않지만, 저자는 극한 평균 비용(min‑plus eigenvalue) 이론을 활용해 ‘최대 평균 가중 사이클(maximum cycle mean)’을 구함으로써 λ의 존재와 유일성을 증명한다.

구체적으로, Petri Net에서 파생된 가중 그래프의 각 엣지는 차량 이동에 필요한 최소 시간(또는 지연)으로 해석된다. 이 그래프의 모든 사이클에 대해 사이클 평균 가중(총 가중/사이클 길이)을 계산하고, 그 중 최댓값을 λ로 정의한다. 이는 min‑plus 대수에서의 Kleene star 연산과 동등하며, λ는 시스템이 수렴하는 경우 유일한 고정점(steady‑state) 흐름을 제공한다.

다음 단계에서는 λ를 밀도 ρ와 직접 연결한다. 저자는 두 도로의 차량 밀도를 각각 ρ₁, ρ₂라 두고, 전체 밀도 ρ = (ρ₁·L₁ + ρ₂·L₂)/(L₁+L₂) (L₁, L₂는 각 도로 길이)로 정의한다. 고유값 λ는 ρ에 대한 piecewise 선형 함수로 나타나며, 이는 전통적인 1차원 교통 흐름의 기본 다이어그램(fundamental diagram) 과 유사하지만, 교차점에서의 우선권 규칙 때문에 추가적인 구간(포화, 자유 흐름, 혼잡)과 전이점이 존재한다. 특히, 저자는 λ(ρ) = min{v_f·ρ, q_max, w·(ρ_j − ρ)} 형태의 전형적인 트라이앵글 형태가 아니라, 교차점에서 발생하는 ‘병목 사이클’에 의해 λ가 급격히 감소하는 구간이 나타난다고 지적한다.

수치 실험에서는 파라미터(도로 길이, 우선권 규칙, 차량 가속/감속 시간)를 다양하게 변형해 λ(ρ) 곡선을 그렸으며, 이론적 해와 시뮬레이션 결과가 거의 일치함을 확인했다. 또한, 고유값 해가 존재하지 않는 경우(예: 차량 밀도가 지나치게 높아 사이클 평균이 무한히 커지는 경우)에는 시스템이 폭주(unstable) 상태에 빠진다는 물리적 해석을 제공한다.

결과적으로, 이 논문은 비단조적이고 가법 동차인 2D 교통 시스템에 대해 min‑plus 고유값 문제를 명시적으로 해결함으로써, 교통 공학에서 중요한 기본 다이어그램을 미시적 수준에서 정확히 도출할 수 있음을 증명한다. 이는 향후 복잡한 교차로 설계, 신호 제어, 그리고 다중 차선·다중 교차점 네트워크에 대한 분석 기반을 제공한다.