확률적 모래더미 모델의 새로운 확장

초록

그래프에 싱크가 있는 경우, 각 정점이 불안정할 때 이웃에게 한 알갱이를 독립적으로 확률 p 로 보낸다. p=1이면 전통적인 아벨리안 모래더미와 동일하고, 0<p<1이면 재발현 구성이 달라진다. 논문은 이 재발현 구성을 그래프의 방향성으로 특징짓고, 그 개수를 그레인 수에 따라 생성함수인 lacking polynomial L_G 로 정의한다. 또한 L_G 가 Tutte 다항식과 유사한 재귀식을 만족함을 보인다.

상세 분석

본 논문은 기존의 아벨리안 모래더미(ASM) 모델을 확률적 요소와 결합한 새로운 확장 모델을 제안한다. 그래프 G=(V,E)와 싱크 정점 s∈V를 가정하고, 각 정점 v∈V{s}는 정수 높이 h(v)로 표현된다. 전통적인 ASM에서는 v가 임계값(인접 정점 수)보다 크면 모든 이웃에게 한 알갱이를 무조건 전달한다. 여기서는 전달 과정을 확률 p∈(0,1]로 독립화한다. 즉, v가 불안정하면 각 이웃 w∈N(v)에게 알갱이를 보낼 확률이 p이며, 이는 서로 독립이다. p=1이면 기존 ASM과 동일하고, p<1이면 전이 행렬이 확률적 마코프 체인으로 변한다.

핵심 결과는 p∈(0,1) 구간에서 재발현(recurrent) 구성이 ASM의 재발현 집합과 달라진다는 점이다. 저자들은 이를 그래프의 방향성(orientation)과 연결시킨다. 구체적으로, 각 정점 v에 대해 “부족(lack)”이라는 개념을 정의한다. 부족은 정점 v가 가지고 있는 알갱이 수와 그 정점이 실제로 필요로 하는 최소 알갱이 수(인접 정점 수)와의 차이이다. 부족이 0인 정점은 안정 상태이며, 부족이 양수인 정점은 추가적인 알갱이를 받아야 한다. 논문은 “정향 그래프(orientation) O가 모든 정점 v에 대해 out-degree(v) ≥ 부족(v) 를 만족한다면, 해당 구성이 재발현이다”라는 정리를 증명한다. 이는 기존 ASM에서 요구되는 “각 정점의 차수와 동일한 out-degree” 조건을 일반화한 형태이며, 부족값이 0인 경우에는 기존 ASM의 조건과 일치한다.

또한 저자들은 이러한 재발현 구성을 열거하기 위해 lacking polynomial L_G(x)=∑{c∈R} x^{|c|} 를 정의한다. 여기서 R은 모든 재발현 구성의 집합이고, |c|는 구성 c에 포함된 전체 알갱이 수이다. L_G는 그래프의 구조와 p와는 무관하게 정의되지만, 부족값이 p에 따라 달라지는 전이 확률을 반영한다. 흥미롭게도 L_G는 Tutte 다항식 T_G(x,y)와 비슷한 삭제-축소(delete‑contract) 재귀식을 만족한다. 구체적으로, 임의의 비다리(edge) e에 대해 L_G(x)=x·L{G/e}(x)+L_{G\setminus e}(x) 와 같은 형태가 도출되며, 이는 Tutte 다항식의 기본 재귀와 형태가 동일하다. 이 결과는 모래더미 모델과 그래프 이론 사이의 깊은 연결고리를 제공한다.

마지막으로, 논문은 몇 가지 특수 그래프(예: 트리, 사이클, 완전 그래프)에서 L_G를 명시적으로 계산하고, 기존 ASM의 구성을 복원하는 경우(p=1)와 새로운 확률적 경우(p<1)의 차이를 수치적으로 비교한다. 이를 통해 부족 다항식이 그래프의 구조적 복잡성을 포착하면서도 모래더미 동역학의 확률적 변형을 정확히 기술한다는 점을 확인한다.