무작위 보행으로 가장자리 커버 시간의 새로운 상한

본 논문은 무작위 보행(Random Walk)이 그래프 G (다중 그래프 포함)의 모든 간선을 처음 시작점으로 돌아올 때까지 방문하는 데 필요한 기대 시간을 간선 수 m 을 기준으로 분석한다. 기존 연구는 주로 정점 커버 시간에 초점을 맞추어 O(m n) 또는 O(m²) 와 같은 상한을 제시했지만, 간선 길이가 다양하거나 루프·다중 간선이 존재하는 경우에는 정점 기반 분석이 충분히 강력하지 못했다. 저자들은 이러한 한계를 극복하고, ‘에지 커버’라는 개념을 중심으로 새로운 상한을 도출한다. **1. 기본 정의와 모델** - 그래프 G 는 정점 집합 V, 간선 집합 E, 다중 간선·루프 허용. - 각 간선 e 에 양의 실수 길이 ℓ(e) 를 부여하고, 이를 전기 저항으로 해석해 네트워크 N = (G,ℓ) 을 만든다. - 무작위 보행은 현재 정점 x 에서 인접 간선 (x,y) 을 선택할 확률이 1/ℓ(x,y) 에 비례하도록 정의한다(전도율에 비례). - 두 시간 스케일 모델을 고려한다: (i) 브라운 운동 모델 – 실제 이동 시간은 브라운 입자가 해당 간선을 처음 통과하는 데 걸리는 평균 시간이며, (ii) ℓ² 모델 – 간선 길이 ℓ 에 대해 이동 시간이 정확히 ℓ² 로 고정된다. 두 모델은 확률 전이는 동일하고, 기대 시간 분석에 차이만 존재한다. **2. 커밋 타임과 전기 네트워크** 전통적인 전기 네트워크 이론에 따르면, 두 정점 x, y 사이의 기대 커밋 타임 E