[논문 리뷰] On sofic approximations of Property (T) groups

Gábor Kun|arXiv (Cornell University)|2016. 06. 13.

Advanced Operator Algebra Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 가산 무한 카즈단의 성질 (T)를 가진 군에 대한 모든 소픽 근사가 마르코프 연산자와 히쳐 상수를 통해 특징지어지는 정점-소속이 없는 확장 그래프들의 본질적인 합집합임을 증명한다. 주요 결과는 이러한 근사가 강력한 스펙트럼 및 확장 성질을 보여야 하며, 소픽성과 성질 (T)를 가진 군의 확장 그래프의 구조를 연결한다.

ABSTRACT

We prove Bowen's conjecture that every sequence of finite graphs that locally converges to the Cayley graph of a countably infinite group with Kazhdan Property (T) is essentially a vertex-disjoint union of expander graphs. We characterize graph sequences that are essentially a vertex-disjoint union of expander graphs in terms of the Markov operator.

연구 동기 및 목표

• 카즈단의 성질 (T)를 가진 군에 대한 소픽 근사의 구조에 관한 보웬의 추측을 해결하기 위해.
• 스펙트럼 및 기하적 성질을 통해 본질적으로 이산적인 확장 그래프들의 합집합인 그래프 수열을 특징짓기 위해.
• 성질 (T)를 가진 군의 소픽 근사와 유한 그래프 위에서의 마르코프 연산자의 행동 사이의 연결 고리를 설정하기 위해.
• 마르코프 연산자와 $L_2$/$L_∞$ 노름을 포함하는 부등식을 통해 이러한 그래프 수열의 스펙트럼 특징을 제공하기 위해.
• 결과를 복합체의 비초기화성 및 코arse 임bedding에 적용하여 기하군론과 그래프 이론에서 열려 있는 질문에 답하기 위해.

제안 방법

• 마르코프 연산자 부등식, 큰 집합에 대한 등면적 조건, 분할 기반의 확장, 확장 그래프 합집합과의 그래프 대칭차이를 통한 네 가지 특징화가 본질적으로 이산적인 확장 그래프들의 합집합임을 증명하는 등가성.
• d-정규 그래프에서의 마르코프 연산자 $M_n$을 사용하여 성분 전체에 걸쳐 균일한 확장을 유도하는 스펙트럼 조건을 정의.
• 모서리 수에 대해 선형보다 작은 대칭차이를 갖는 '본질적으로' 이산적 합집합의 개념을 도입하여 강건한 근사를 정의.
• 확률적 및 스펙트럼 기법을 사용하여, 비확장 케이스에서 모순을 이끌어내기 위해 $ℤ_p$에서의 무작위 간선 가중치와 측도 집중 기법을 활용.
• 성질 (T)를 가진 군이 양의 카즈단 상수를 가지므로, 마르코프 연산자 부등식에서 스펙트럼 갭이 강화됨을 이용.
• 비초기화된 복합체가 특정 근사를 수용할 수 없음을 보이기 위해, 무작위 보행과 $ℤ_p$에서의 사이클 합을 통한 모순 증명을 통해 주요 결과를 도출.

실험 결과

연구 질문

• RQ1 성질 (T)를 가진 군의 소픽 근사는 본질적으로 확장 그래프들의 이산적 합집합으로 특징지어질 수 있는가?
• RQ2 유한 그래프에 대해 어떤 스펙트럼적 또는 기하적 조건이 본질적으로 이산적인 확장 그래프들의 합집합임을 암시하는가?
• RQ3 d-정규 그래프에서의 마르코프 연산자는 기저 그래프 수열의 확장성과 이산성의 구조를 어떻게 반영하는가?
• RQ4 스펙트럼 갭과 카즈단 상수를 사용하여 카즈단 군의 소픽 근사의 구조를 더 정교하게 기술할 수 있는가?
• RQ5 이 특징화의 결과는 대규모 둘레를 가진 그래프에서 복합체의 비초기화성과 코arse 임bedding에 어떤 영향을 미치는가?

주요 결과

• 가산 무한 성질 (T) 군의 모든 소픽 근사는 마르코프 연산자와 히쳐 상수를 통해 특징지어지며, 체이저 상수가 양수인 상수 $\gamma>0$ 로 아래로 유계된 $d$-정규 확장 그래프들의 본질적인 정점-소속이 없는 합집합이다.
• d-정규 그래프 수열에 대해 네 가지 특징화(마르코프 연산자 부등식, 등면적 조건, 분할 기반의 확장, 확장 그래프 합집합과의 대칭차이)가 서로 등가임이 성립한다.
• 카즈단 군의 소픽 근사에 대해 마르코프 연산자 부등식의 스펙트럼 갭 $\varepsilon$ 는 카즈단 상수로 취할 수 있으며, 이는 결과를 강화한다.
• 등면적 조건에서의 예외 집합 $B_n$ 과 분할 조건에서의 $P_n^0$ 은 소픽 근사의 오차 집합에 포함될 수 있다.
• 결과는, 유한 생성 성질 (T) 군의 카이리 복합체로 국소 수렴하는 임의의 2차원 복합체 수열은 1-초기화되지 않음을 암시한다.
• 논문은 멘델과 노아르의 결과에 대해 대규모 둘레를 가진 그래프로의 코arse 임bedding에 대한 새로운 증명을 제공하며, L. M. 로바슈의 리프시츠 임bedding에 관한 질문에 답한다.