하이퍼그래프 위 모듈러 소멸 랜덤 워크의 도달 가능성 및 재발성

초록

본 논문은 정수 모듈러 체계 ℤₚ(p≥3) 위에서 정의된 입자 소멸 랜덤 워크를 하이퍼그래프 구조에 일반화한다. “도달 가능성”과 “재발성”을 결정하는 문제를 선형대수식으로 변환하고, 하이퍼엣지 크기가 3 이상인 ‘좋은’ 하이퍼그래프에 대해 다항시간 알고리즘을 제시한다. 반면 일반 그래프에서는 동일한 방법이 실패함을 반례로 보인다.

상세 분석

논문은 먼저 기존의 ‘소멸 랜덤 워크(annihilating random walk)’를 두 차원에서 확장한다. 첫 번째 확장은 상호작용 토폴로지를 단순 그래프가 아니라 하이퍼그래프로 바꾸는 것이고, 두 번째 확장은 각 정점에 존재하는 입자 수를 0 ~ p‑1 범위의 ℤₚ 원소로 모델링한다. 이때 한 번의 이동은 선택된 정점 v와 그 정점을 포함하는 하이퍼엣지 e에 대해, v의 입자를 하나 감소시키고 e에 속한 다른 모든 정점에 하나씩 입자를 증가시킨다. 입자 수가 p에 도달하면 동시에 소멸(ℤₚ에서 0이 됨)한다.

핵심 질문은 두 상태 w₁, w₂∈ℤₚ^V 사이에 위 규칙을 반복 적용해 w₂에 도달할 수 있는가(Reachability)와, w₁에서 도달 가능한 모든 상태 중 w₂가 언제든 다시 도달 가능한가(Recurrence)이다. 일반적인 상태공간은 |V|·(p) 크기의 지수적 그래프이므로 직접 탐색은 불가능하다. 저자들은 이를 선형 방정식 시스템 H(w₁,w₂,G)으로 변환한다. 변수 X_{e,v}는 (e,v) 쌍이 몇 번 선택됐는지를 ℤₚ에서 기록하고, 각 정점 v에 대해
 ∑{e∋v} X{e,v} – ∑{e∋v} X{e,u (u≠v)} = w₂