2차원 셀룰러 오토마톤 교통 모델의 저밀도 단계 구조와 동역학

초록

본 논문은 Biham‑Middleton‑Levine(BML) 모델의 저밀도 영역에서 자유 흐름 주기(FPP) 상태가 어떻게 형성되는지를 분석한다. H‑차와 V‑차가 대각선 밴드로 분리되는 구조와, 시스템이 이 상태로 수렴하는 과정을 정량화하기 위해 구성공간 거리 D(t)=D∥(t)+D⊥(t)를 도입한다. D∥는 동종 차 간의 충돌을, D⊥는 이종 차 간의 충돌을 측정한다. 결과는 D∥가 급격히 사라지는 반면 D⊥는 t⁻ᵞ exp(−t/τ⊥) 형태의 지수 절단 파워‑법칙으로 느리게 감소함을 보여준다. 이는 규모가 없는 ‘눈사태’‑형 동역학이 유한 격자 크기에 의해 제한된다는 의미이다.

상세 분석

BML 모델은 L×L 격자에 H‑차와 V‑차를 각각 오른쪽, 아래쪽으로 이동시키는 두 단계 동기화 교통 신호를 가정한다. 초기 상태는 밀도 p 에서 H와 V가 각각 p/2 비율로 무작위 배치된다. 저밀도(p < p_c)에서는 시스템이 결국 자유 흐름 주기(FFP) 상태에 도달한다. FFP 상태의 핵심 특징은 대각선(반대 대각선) 방향으로 H‑차와 V‑차가 서로 겹치지 않게 완전히 분리된 밴드를 형성한다는 점이다. 이때 각 차는 매 2L 시간 단계(한 사이클)마다 원래 위치로 돌아오며, 모든 차가 속도 v = 1 로 이동한다.

저자들은 이러한 수렴 과정을 정량화하기 위해 구성공간 거리 D(t) 를 정의한다. D∥(t)는 같은 종류 차들 간의 인접 충돌 가능성을 카운트하고, D⊥(t)는 서로 다른 종류 차들 간의 충돌 가능성을 측정한다. 수학적으로 D∥와 D⊥는 각각 H‑차와 V‑차의 이진 행렬 표현을 이용해 정의되며, 초기 무작위 상태에서는 D∥>0, D⊥>0이다. FFP 상태에서는 모든 대각선이 단일 종류 차 혹은 빈칸으로만 채워지므로 D∥=D⊥=0이 된다.

시뮬레이션 결과는 두 거리의 시간적 감소 속도가 현저히 다름을 보여준다. D∥는 초기 몇 사이클 내에 급격히 0에 수렴하는데, 이는 동종 차들 간의 충돌이 빠르게 해소된다는 의미다. 반면 D⊥는 훨씬 긴 시간 스케일을 보이며, t⁻ᵞ exp(−t/τ⊥) 형태로 피팅된다. 여기서 γ≈1이며, τ⊥는 격자 크기 L과 밀도 p에 의존한다. 파워‑법칙 부분은 충돌 해소 과정이 특정 규모 없이 연속적인 ‘눈사태’‑형 이벤트로 진행됨을 시사한다. 지수 절단은 유한 시스템에서 최대 가능한 연쇄 길이가 제한됨을 반영한다.

또한 저자들은 대각선 별 차량 수 h_t(n), v_t(n) 를 정의하고, 대각선 이동을 고려한 수축 프레임을 도입해 동역학을 분석한다. 이 접근법은 대각선이 H‑차와 V‑차 중 하나만을 포함하도록 스스로 정렬되는 메커니즘을 명확히 보여준다. 행과 열에 대한 보존 법칙(N_H, N_V는 변하지 않음)과 대각선 상의 상호 배제 조건(H_t(i,j) H_t(i,j+1)=0, V_t(i,j) V_t(i+1,j)=0)도 FFP 상태의 존재 조건을 수학적으로 뒷받침한다.

결론적으로, 저밀도 BML 모델은 초기 무작위 배치에서 자체 조직화 과정을 통해 대각선 밴드 구조를 형성하고, 이 과정은 두 개의 뚜렷한 시간 스케일로 구분된다. D∥의 급속 소멸은 동종 차 간의 지역적 정렬을, D⊥의 느린 파워‑법칙 감쇠는 이종 차 간의 전역적 충돌 해소가 규모 없는 연쇄 반응 형태로 진행됨을 의미한다. 이러한 결과는 교통 흐름의 자가 조직화 현상을 이해하고, 복잡계에서의 임계 현상과 유사한 동역학을 설명하는 데 중요한 통찰을 제공한다.