[논문 리뷰] Some relations between the spectra of simple and non-backtracking random walks

Nalini Anantharaman|arXiv (Cornell University)|2017. 03. 09.

Markov Chains and Monte Carlo Methods참고 문헌 13인용 수 11

한 줄 요약

이 논문은 비정규 그래프에서 단순 무작위 보행자와 비백트래킹 무작위 보행자 간의 혼합 속도 사이의 정량적 관계를 수립하고, 해석적 가중치를 갖는 비백트래킹 전이 연산자에 의해 인접행렬 또는 라플라시안의 특성다항식을 행렬식으로 표현하는 이하라 행렬식 공식의 변종을 제안한다. 이 결과들은 기존의 정규 그래프에 대한 알려진 항등식을 비정규 설정으로 일반화하여 더 넓은 그래프 클래스에서 스펙트럼 분석을 가능하게 한다.

ABSTRACT

We establish some relations between the spectra of simple and non-backtracking random walks on non-regular graphs, generalizing some well-known facts for regular graphs. Our two main results are 1) a quantitative relation between the mixing rates of the simple random walk and of the non-backtracking random walk 2) a variant of the "Ihara determinant formula" which expresses the characteristic polynomial of the adjacency matrix, or of the laplacian, as the determinant of a certain non-backtracking random walk with holomorphic weights.

연구 동기 및 목표

• 정규 그래프에서 알려진 단순 무작위 보행자와 비백트래킹 무작위 보행자 간의 스펙트럼 관계를 비정규 그래프로 일반화하기.
• 비정규 그래프에서 두 유형의 무작위 보행자 간 혼합 속도 사이의 정량적 연관성을 수립하기.
• 비백트래킹 전이 연산자에 해석적 가중치를 도입하여 이하라 행렬식 공식을 비정규 그래프로 확장하기.
• 새로운 행렬식 항등식을 통해 인접행렬/라플라시안과 비백트래킹 연산자 간의 스펙트럼 다리를 제공하기.

제안 방법

• 방향 있는 간선 위에서 정의된 비백트래킹 전이 연산자 $\mathcal{B}$ 를 사용하며, 즉각적인 백트래킹을 피하는 전이 규칙을 적용한다.
• 인접행렬의 임의해를 연결하는 해석적 가중 함수 $\zeta^z(x,y)$ 를 도입하여 스펙트럼 매개변수화를 가능하게 한다.
• 해석적 역행렬 $ (\mathcal{A} - zI)^{-1} $ 과 관련된 코alescence 항등식을 적용하여, $m(x)$ 와 $\zeta(x,y)$ 를 포함한 변환을 통해 비백트래킹 연산자 $\mathcal{B}$ 와 연결한다.
• 방향 있는 간선 위의 함수 공간을 사영 연산자 $\mathcal{P}$ 의 상과 핵으로 분해하고, 이 하위공간에서 연산자 $K$ 의 작용을 분석함으로써 행렬식 항등식을 유도한다.
• 정규화된 항등식 $ \det(\zeta^{-1}I - \mathcal{B}) \propto \det(\mathcal{A} - zI) $ 를 사용하여, $G(x,y)$ 를 포함한 보정 인자와 함께 이하라 공식을 비정규 그래프로 일반화한다.
• 스펙트럼 분해와 임의해 기법을 활용하여 $\mathcal{S}$ (비백트래킹 보행자) 의 고유값을 $ (I - u\mathcal{A} + u^2 Q)v = 0 $ 의 해와 연결하며, 이는 $\mathcal{A}$ 의 고유벡터가 아니라는 점을 보여준다.

실험 결과

연구 질문

• RQ1 비정규 그래프에서 단순 무작위 보행자와 비백트래킹 무작위 보행자의 혼합 속도는 어떻게 비교될 수 있는가?
• RQ2 정규 그래프에서 알려진 이하라 행렬식 공식을 비정규 그래프로 일반화할 수 있는가?
• RQ3 비정규 설정에서 인접행렬과 비백트래킹 전이 연산자 간의 정확한 스펙트럼적 관계는 무엇인가?
• RQ4 해석적 가중치를 어떻게 활용하여 비백트래킹 연산자를 통해 인접행렬 또는 라플라시안의 특성다항식을 표현할 수 있는가?

주요 결과

• 비정규 그래프에서 단순 무작위 보행자 $P$ 와 비백트래킹 무작위 보행자 $\mathcal{S}$ 의 혼합 속도 사이에 정량적 관계가 수립되었으며, 이는 기존 정규 그래프에 대한 결과를 일반화한 것이다.
• 이하라 행렬식 공식의 변종이 증명되었으며, $ \det(I^{|B|} - u\mathcal{B}) = (1 - u^2)^{r-1} \det(I^{|V|} - u\mathcal{A} + u^2 Q) $ 이다. 이는 $Q(x) = D(x) - 1$ 인 유한한 비정규 그래프에 대해 유효하다.
• 인접행렬 $\mathcal{A}$ 의 특성다항식이 해석적 계수를 갖는 비백트래킹 연산자의 행렬식과 $ \det(\zeta^{-1}I - \mathcal{B}) \propto \det(\mathcal{A} - zI) $ 를 통해 연결되며, 이는 $G(x,y)$ 를 포함한 보정 인자와 함께 나타난다.
• 비백트래킹 보행자 $\mathcal{S}$ 의 스펙트럼 갭은 비정규성과 $\mathcal{S}$ 의 자기수반성 부재를 고려한 변환을 통해 단순 보행자 $P$ 의 스펙트럼 갭과 연결된다.
• 연산자 $K = (2m_2)^{-1}(\iota\zeta - I)$ 는 비백트래킹 연산자와 인접행렬을 연결하는 데 사용되며, 그 행렬식은 명시적으로 $ \prod_{e=\{x,y\}} (-G(x,y)) $ 로 계산된다.
• 이 방법은 $\mathcal{S}$ 의 고유값이 $\mathcal{A}$ 의 고유벡터가 아닌 $ (I - u\mathcal{A} + u^2 Q)v = 0 $ 의 해와 관련되어 있음을 드러내며, 이는 비트레킹된 스펙트럼 대응의 비자명성을 보여준다.