[논문 리뷰] Conjectures about Traffic Light Queues

Steven R. Finch, Guy Louchard|arXiv (Cornell University)|2018. 10. 09.

Stochastic processes and statistical mechanics참고 문헌 3인용 수 4

한 줄 요약

이 논문은 주기적인 빨간색/초록색 사이클이 길이 ℓ ≥ 1인 이산시간 신호등 시스템에서 최대 큐 길이의 추측된 渐近 분포를 제안한다. 큰 행렬식 방정식의 수치적 해법과 고정밀 계산을 통한 대수적 인식을 통해, ℓ=1일 때 알려진 결과를 ℓ=2 및 ℓ=3로 확장하여 최대 큐 크기 Mn의 尾尾 감쇠에 대한 비율 상수 χₗ(p)에 대한 폐쇄형 표현식을 도출한다. 주요 기여는 주기적 신호 제어 하에서 최악의 혼잡도에 대한 추측된 극값 분포이다.

ABSTRACT

In discrete time, $\ell$-blocks of red lights are separated by $\ell$-blocks of green lights. Cars arrive at random. The maximum line length of idle cars is fully understood for $\ell = 1$, but only partially for $2 \leq \ell \leq 3$.

연구 동기 및 목표

• 주기적 신호등 시스템에서 ℓ-블록 빨간색 및 초록색 단계를 가진 최악의 교통 혼잡도(최대 큐 길이)를 이해하기 위해.
• 현재 엄밀한 다루기가 불가능한 ℓ≥2로 ℓ=1에 대한 알려진 정확한 渐近 결과를 확장하기 위해.
• 최대 큐 크기 분포의 꼬리 감쇠를 지배하는 비율 상수 χₗ(p)에 대한 폐쇄형 표현식을 추측하기 위해.
• 고정밀 수치적 해법을 기반으로 한 계산 프레임워크를 개발하여, χₗ(p)에 대한 대수적 공식을 유추하기 위해.

제안 방법

• 신호등 주기 모듈로 2ℓ에 따라 달라지는 Xj에 따라 Sj = max(Sj−1 + Xj, 0)으로 정의된 확률과정 Sj를 정의한다.
• 차량 도착을 i.i.d. 베르누이(p)로 모델링하고, 초록색 단계 동안는 고정된 -1의 도착으로 간주하며, 빨간색 단계 동안는 도착이 없음을 가정한다.
• ℓ개의 빨간색 단계와 ℓ개의 초록색 단계 동안의 전이 역학을 나타내기 위해 (k+1)×(k+1) 행렬 Uk 및 Vk를 구성한다.
• det[I - Uₖ^ℓ Vₖ^ℓ z] = 0을 수치적으로 풀어, 1에 가까운 가장 작은 실수 z > 1인 zₖ를 구한다.
• zₖ - 1)/(p/q)^{2k}의 극한인 χₗ(p) = limₖ→∞ (zₖ - 1)/(p/q)^{2k}을 정의하여 渐近 행동에서 비율 상수를 추출한다.
• 유리수 p에 대해 χₗ(p)의 고정밀 수치값을 사용하여 다항식 회귀 및 근의 인식을 통해 대수적 표현식을 추론한다.

실험 결과

연구 질문

• RQ1 주기 길이 2ℓ, ℓ개의 빨간색/초록색 단계를 가진 주기적 신호등 시스템에서 최대 큐 길이 Mn의 渐近 분포는 무엇인가요?
• RQ2 P(Mn ≤ log(q²/p²)n + h) ∼ exp[−χₗ(p)/(2ℓ)(q²/p²)^{-h}]의 꼬리 감쇠에서 비율 상수 χₗ(p)는 도착 확률 p와 주기 길이 ℓ에 따라 어떻게 달라지나요?
• RQ3 ℓ ≥ 2에 대해 χₗ(p)에 대한 폐쇄형 대수적 표현식을 추측하기 위한 체계적인 계산 방법을 개발할 수 있을까요?
• RQ4 다양한 전략, 즉 결정적 주기 신호와 무작위 신호 단계 간의 최악의 혼잡도는 어떻게 비교될 수 있나요?

주요 결과

• ℓ=2일 때, 추측된 꼬리 감쇠는 P(Mn ≤ log(q²/p²)n + h) ∼ exp[−χ₂(p)/4 ⋅ (q²/p²)^{-h}]이며, χ₂(p) = (q−p)²/(4q⁶)[(1−8p²+16p³−8p⁴)+(q−p)√(1+4pq)]이다.
• ℓ=3일 때, 추측된 꼬리 감쇠는 P(Mn ≤ log(q²/p²)n + h) ∼ exp[−χ₃(p)/6 ⋅ (q²/p²)^{-h}]이며, χ₃(p)는 p에 대한 다항식과 근을 포함하는 복잡한 대수적 표현식으로 표현된다.
• 행렬식 방정식에서 유도된 zₖ의 고정밀 수치 계산을 통해 χₗ(p)의 대수적 형태를 인식할 수 있었으며, p=1/3, 1/5, 1/17, 1/19에서 검증되어 정확한 근 표현식이 도출되었다.
• n=10¹⁰일 때의 최대 큐 길이에 대한 경험적 히스토GRAM은 이론적 예측과 매우 잘 일치하여, ℓ=2 및 ℓ=3에 대한 추측된 분포가 확인되었다.
• 기대 최대 큐 길이 Eₗ(n,p)는 ℓ=1일 때 최소이며, ℓ=2 및 ℓ=3일 때는 약간 더 나쁘게 작용하지만, 랜덤 신호 사례(ℓ=0)는 유의미하게 더 나쁘게 작용한다.
• 이 방법은 χₗ(p) 내의 대수적 구조를 성공적으로 식별하였으며, x=1/p가 홀수일 때 분모가 12(−1+x)^9 형식인 유리수 분모와 다항식 계수를 다항식 회귀를 통해 도출하였다.