의사무작위 그래프에서 랜덤 워크 트레이스의 커버 타임과 해밀토니안성

초록

본 논문은 스펙트럼 확장성을 갖는 (n,d,λ)-그래프에서 단순 랜덤 워크의 트레이스가 가지는 구조적 특성을 연구한다. d/λ 비율이 충분히 크면 커버 타임이 (1+ε)n·log n 이하가 되며, 같은 길이의 워크 트레이스는 거의 확률적으로 해밀토니안 사이클을 포함한다. 결과는 무작위 d-정규 그래프에도 적용된다.

상세 분석

이 연구는 의사무작위 그래프, 특히 두 번째 고유값 λ가 정규 차수 d에 비해 충분히 작을 때(즉, d/λ ≥ C) 발생하는 확장성 특성을 활용한다. 먼저 저자들은 기존의 Θ(n log n) 커버 타임 결과를 정밀하게 다듬어, d/λ가 충분히 큰 경우 기대 커버 타임 T(G)와 강한 커버 타임 ST(G) 모두 (1+ε)n·log n 이하임을 보인다. 여기서 강한 커버 타임은 모든 시작 정점에 대해 고확률로 전체 정점을 방문하는 최소 단계 수를 의미한다. 핵심은 전이 행렬의 스펙트럼 분해를 이용해 t≈(1+ε)n·log n 단계 후 각 정점이 Θ(log n) 번 방문됨을 증명하는 것이다. 이 방문 횟수는 트레이스 그래프 Γ의 최소 차수를 보장하고, 따라서 Γ가 충분히 큰 C‑expander가 됨을 보인다. Draganić·Montgomery·Munhá Correia·Pokrovskiy·Sudakov(2022)의 결과에 따르면, C‑expander는 C가 충분히 크면 해밀토니안 사이클을 포함한다. 따라서 (1+ε)n·log n 길이의 랜덤 워크 트레이스는 거의 확률적으로 해밀토니안 그래프가 된다. 또한 저자들은 이 현상을 블랭킷 타임과 연결시켜, ε에 따라 일정 비율 δ의 블랭킷 타임이 커버 타임과 동일한 차수(1+o(1))·n·log n임을 시사한다. 결과는 λ=O(√d)인 무작위 d‑정규 그래프에도 그대로 적용되며, d가 충분히 크면 동일한 상수 C만으로 보장된다. 전체 증명은 전이 행렬의 수렴 속도, 전기 회로 모델을 통한 유효 저항 하한, 그리고 매트리오스·레마를 이용한 커버 타임 상한을 조합한다.