[논문 리뷰] Hitting times for non-backtracking random walks.

Dario Fasino, Arianna Tonetto외 1명|arXiv (Cornell University)|2021. 05. 30.

Complex Network Analysis Techniques참고 문헌 25인용 수 4

한 줄 요약

이 논문은 유한하고 무방향 그래프에서 비되돌아다니는 랜덤 워크의 기대 도달 시간을 선형 시스템을 풀어 계산하는 방법을 제시하며, 동일한 조건 하에서 비되돌아다니는 워크의 평균 귀환 시간이 표준 랜덤 워크의 것과 정확히 일치함을 보여준다. 이 방법은 평균 첫 번째 통과 시간과 왕복 시간을 효율적으로 계산할 수 있게 한다.

ABSTRACT

A non-backtracking random walk on a graph is a random walk where, at each step, it is not allowed to return back to the node that has just been left. Non-backtracking random walks can model physical diffusion phenomena in a more realistic way than traditional random walks. However, the interest in these stochastic processes has grown only in recent years and, for this reason, there are still various open questions. In this work, we show how to compute the average number of steps a non-backtracking walker takes to reach a specific node starting from a given node. This problem can be reduced to solving a linear system that, under suitable conditions, has a unique solution. Finally, we compute the average number of steps required to perform a round trip from a given node and we show that mean return times for non-backtracking random walks coincide with their analogue for random walks in all finite, undirected graphs in which both stochastic processes are well-defined.

연구 동기 및 목표

• 시작 노드에서 목표 노드에 도달하기까지 비되돌아다니는 랜덤 워커가 취하는 평균 단계 수를 계산할 수 있는 계산적으로 실현 가능한 방법을 개발하기 위해.
• 비되돌아다니는 랜덤 워크에 대해 아직 확립된 분석 도구가 부족한 데에 대응하기 위해, 이는 현실적인 확산 과정을 모델링하는 데 점점 더 중요해지고 있다.
• 유한하고 무방향 그래프에서 비되돌아다니는 워크의 평균 귀환 시간이 표준 랜덤 워크의 것과 일치하는지 확인하기 위해.
• 적절한 조건 하에서 도달 시간 계산 문제를 잘 정의된 선형 시스템으로 환원하기 위해.

제안 방법

• 비되돌아다니는 랜덤 워크를 그래프의 유한 방향 엣지 위의 마르코프 과정으로 모델링하여 즉각적인 역행을 피한다.
• 비되돌아다니는 과정의 전이 확률에서 유도된 선형 시스템의 해로 목표 노드에 대한 기대 도달 시간을 수식화한다.
• 기본적인 그래프 이론적 조건(예: 연결성 및 유한 크기) 하에서 선형 시스템이 유일한 해를 가짐을 보장한다.
• 그래프의 구조와 비되돌아다니는 전이 규칙을 활용해 시스템의 계수 행렬을 정의한다.
• 같은 선형 시스템 프레임워크를 사용해, 시작 노드에서 떠난 후 다시 돌아올 때까지의 기대 시간을 계산함으로써 평균 귀환 시간을 유도한다.
• 대칭성과 그래프 구조를 활용해 결과를 표준 랜덤 워크와 비교하고, 평균 귀환 시간의 동치성을 검증한다.

실험 결과

연구 질문

• RQ1 주어진 그래프와 목표 노드에 대해 비되돌아다니는 랜덤 워크의 기대 도달 시간을 효율적으로 계산할 수 있는 방법은 무엇인가요?
• RQ2 비되돌아다니는 도달 시간을 위한 선형 시스템이 유일한 해를 가지는 조건은 무엇인가요?
• RQ3 유한하고 무방향 그래프에서 비되돌아다니는 워크의 평균 귀환 시간이 표준 랜덤 워크의 것과 일치합니까?
• RQ4 시뮬레이션 또는 근사 계산을 요구하지 않고도 도달 시간 계산을 해법 가능한 선형 시스템으로 환원할 수 있습니까?

주요 결과

• 기본적인 그래프 조건 하에서 유일한 해가 보장되는 선형 시스템을 풀어, 특정 노드에 도달하기 위한 비되돌아다니는 랜덤 워크의 기대 도달 시간을 계산할 수 있다.
• 비되돌아다니는 워크의 평균 귀환 시간은 두 과정이 모두 잘 정의된 모든 유한하고 무방향 그래프에서 표준 랜덤 워크의 것과 정확히 일치한다.
• 선형 시스템 수식화를 통해 몬테카를로 시뮬레이션이나 渐近 근사에 의존하지 않고도 평균 도달 시간을 정확히 계산할 수 있다.
• 비되돌아다니는 워크와 표준 랜덤 워크 간의 평균 귀환 시간 동치성은 전적으로 잘 정의된 전이 규칙을 가진 모든 유한하고 무방향 그래프에서 일반적으로 성립한다.
• 이 방법은 비되돌아다니는 과정에서의 첫 번째 통과 시간 추정에 대해 시뮬레이션 기반 추정과 대비해 계산적으로 효율적이고 분석적으로 엄밀한 대안을 제공한다.