마코프 체인으로 작은 집합 확장 분석

초록

본 논문은 유한하고 비가역적인 마코프 체인의 내적 구조와 열 연산자를 이용해 그래프의 작은 집합 확장 문제를 일반화한다. 기존의 정규·무방향 그래프 결과를 간단히 증명하고, 비정규·방향 그래프에도 적용 가능한 새로운 분석 틀을 제시한다. 이를 통해 “분석적” 작은 집합 확장 문제에 대한 근사 알고리즘을 설계하고, 기존의 작은 집합 확장 근사법을 즉시 얻는다. 또한, 무작위 행보가 특정 집합 안에 머무를 확률에 대한 하한을 간결히 증명한다.

상세 분석

이 논문의 핵심은 마코프 체인의 전이 행렬 $P$와 그 불변분포 $\pi$가 정의하는 $\pi$‑내적 $\langle f,g\rangle_\pi=\sum_x\pi(x)f(x)g(x)$을 활용해 라플라시안 연산자를 $L=I-P$ 형태로 재구성하는 데 있다. 이때 $L$은 자기수반이며, 고유값이 $0=\lambda_1\le\lambda_2\le\cdots\le\lambda_n\le2$인 스펙트럼을 가진다. 기존 그래프 이론에서는 정규 그래프의 라플라시안을 이용해 작은 고유값과 작은 집합의 확장률 사이의 관계를 보였는데, 저자는 $\pi$‑내적을 도입함으로써 정규성 가정을 완전히 제거하고, 방향성까지 포함하는 일반적인 마코프 체인에 동일한 관계를 확장한다.

특히, $f\in\mathbb{R}^V$에 대해 열 연산자 $H_t=e^{-tL}$를 정의하고, $f$를 $H_t$에 적용한 뒤 $|H_t f|{2,\pi}$와 $|f|{2,\pi}$ 사이의 감소율을 분석한다. 이때 $t$에 대한 적절한 선택을 통해 $|H_t f|{2,\pi}^2\le e^{-2\lambda_k t}|f|{2,\pi}^2$와 같은 불평등을 얻으며, 여기서 $\lambda_k$는 $k$번째 작은 고유값이다. 이를 이용해 $k$개의 작은 고유값이 존재하면, $\pi$‑측면에서 작은 확장률을 갖는 집합이 $k$개 이상 존재한다는 정량적 명제를 도출한다.

또한, 무작위 행보가 집합 $S$ 안에 머무를 확률 $p_t(S)=\Pr