[논문 리뷰] Sharp relations between volume growth, isoperimetry and resistance in vertex-transitive graphs

Romain Tessera, Matthew Tointon|arXiv (Cornell University)|2020. 01. 06.

Limits and Structures in Graph Theory참고 문헌 8인용 수 10

한 줄 요약

이 논문은 정점에 대해 대칭적인 그래프에서 단순 랜덤 워크의 탈출 확률에 대해 날카로운 유한한 경계를 설정하며, 전적으로 일관된 갭을 보여준다: 워크는 항상 재귀적이거나 최소한 일관된 상수 c 이상의 확률로 탈출한다. 이는 볼로파스의 정리를 유한하고 정량적인 경계를 도입하여 개선한 것으로, 체적 성장, 등면성, 저항 간의 관계를 연결하며, 2002년 벤자민니와 코즈마가 제기한 유한 그래프에 대한 추측을 확인한다.

ABSTRACT

We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius r before returning to its starting point. In particular, this shows that if the ball of radius r has size slightly greater than r^2 then this probability is bounded from below. On the other hand, we show that if the ball of radius r has volume slightly less than r^3 then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also combine to show that there is a gap for escape probabilities: there exists a universal constant c such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least c of escaping to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generlise our results to give a sharp finitary version of the characterisation of p-parabolic vertex-transitive graphs, and prove a number of sharp isoperimetric inequalities for vertex-transitive graphs.

연구 동기 및 목표

• 정점에 대해 대칭적인 그래프에서 랜덤 워크의 재귀성에 관한 볼로파스의 정리를 개선하기 위해 유한하고 정량적인 경계를 도입하는 것.
• 정점에 대해 대칭적인 그래프에서 체적 성장, 등면성 성질, 저항 간의 날카로운 연결 고리를 설정하는 것.
• 유한한 정점에 대해 대칭적인 그래프에서의 탈출 확률에 관해 2002년 벤자민니와 코즈마가 제기한 추측을 해결하는 것.
• 결과를 p-포라빅 그래프로 일반화하고, 정점에 대해 대칭적인 구조에 대해 날카로운 등면성 부등식을 도출하는 것.

제안 방법

• 반지름 r인 공 안에서 출발점으로 돌아오기 전에 탈출할 확률에 대해 날카로운 경계를 유도한다.
• 탈출 행동을 분류하기 위한 핵심 매개변수로, r²를 略초과하거나 r³를 略미만하는 체적 성장 조건을 사용한다.
• 스펙트럼 그래프 이론 및 저항 네트워크 기법을 적용하여 탈출 확률과 그래프 구조 간의 관계를 규명한다.
• 정점에 대해 대칭적인 그래프에 대해 p-포라빅성의 유한한 버전을 도입한다.
• 혼합 및 탈출 속도를 제어하기 위해 등면성 부등식을 중심 도구로 사용한다.
• 확률론적 및 기하학적 방법을 융합하여 탈출 확률에 대한 전적으로 일관된 하한 경계를 증명한다.

실험 결과

연구 질문

• RQ1 정점에 대해 대칭적인 그래프에서 재귀적 행동과 양의 탈출 확률을 구분하는 체적 성장의 정확한 임계값은 무엇인가?
• RQ2 유한 및 무한한 정점에 대해 대칭적인 그래프에서 등면성 성질과 그래프 저항은 탈출 확률과 어떻게 관련이 있는가?
• RQ3 워크가 재귀적이지 않은 경우, 탈출 확률에 대해 전적으로 일관된 하한 경계를 설정할 수 있는가? 이 경계는 그래프에 무관하게 성립하는가?
• RQ4 정점에 대해 대칭적인 그래프에서 날카로운 등면성 부등식이 어느 정도 성립하며, 이는 기존의 경계를 어떻게 개선하는가?
• RQ5 벤자민니와 코즈마가 유한한 정점에 대해 대칭적인 그래프에 대해 제기한 추측은 날카로운 체적 및 등면성 조건 하에서 성립하는가?

주요 결과

• 반지름 r인 공의 체적이 r²를 略초과하는 경우, 그 공에서의 탈출 확률는 일관되게 하한 경계를 가진다.
• 반지름 r인 공의 체적이 r³를 略미만하는 경우, 모든 더 큰 공에서 탈출 확률은 로그적으로 감소한다.
• 모든 그래프에 대해 일관된 상수 c > 0 가 존재하여, 탈출 확률은 0(재귀적)이거나 최소한 c(비재귀적)이므로 탈출 행동에 전적으로 일관된 갭이 존재한다.
• 결과는 2002년 벤자민니와 코즈마의 추측을 유한한 정점에 대해 대칭적인 그래프에 대해 확인하고 강화한다.
• 정점에 대해 대칭적인 그래프에 대해 날카로운 등면성 부등식을 확립하였으며, 체적 및 확산 측면에서 기존의 경계를 개선한다.
• 정점에 대해 대칭적인 그래프에 대해 p-포라빅성의 유한한 버전을 증명하였으며, 체적 성장이 재귀성 및 탈출과 정량적으로 정확하게 연결됨을 보여준다.