대규모 슈라이어 그래프에서의 양자 혼합과 에르고딕티

초록

본 논문은 무한 케이리 그래프를 베니오미니‑슈람(Benjamini‑Schramm) 수렴으로 근사하는 유한 슈라이어 그래프들의 열렬한 수열에 대해, 인접 연산자의 절대 연속 스펙트럼을 가정하면 모든 정규 직교 고유벡터 집합에 대해 양자 에르고딕티와 양자 혼합이 성립함을 증명한다. 기존 연구가 필요로 하던 트리 구조나 주기성 가정을 없애고, 새로운 트레이스 항등식·레졸벤트 근사·표현론 기법을 도입해 비정규 그래프까지 확장한다. 자유곱군, 오른쪽 각 코시터 군, 그래프 리프트 등 다양한 사례에 적용 가능함을 보여준다.

상세 분석

이 연구는 크게 네 가지 핵심 기법을 결합한다. 첫째, 케이리 그래프 (Cay(\Gamma,S)) 의 인접 연산자 (P=\lambda(p)) 가 구간 (I_0) 에서 절대 연속 스펙트럼을 갖는다는 가정(즉, 레졸벤트 (R_z) 의 상상부가 유한하고 양의 하한을 가진다)을 통해 스펙트럼 밀도가 균일하게 분포함을 보장한다. 이는 양자 에르고딕티의 전제조건인 “스펙트가 연속적”이라는 요구와 일치한다.

둘째, 슈라이어 그래프 (Sch(\Gamma,S,\rho_N)) 가 베니오미니‑슈람 수렴 혹은 더 강한 ‘분포상의 강 수렴(strong convergence in distribution)’을 만족한다는 점이다. 전자는 모든 비자명 원소 (g\in\Gamma) 에 대해 (\frac{1}{N}\operatorname{Tr}\rho_N(g)\to0) 을 의미하고, 이는 무한 케이리 그래프의 정규표현 (\lambda) 와의 평균적 동형성을 보장한다. 강 수렴은 추가적인 레졸벤트 추정과 결합해 고유값 간 상관을 더 강하게 억제한다.

셋째, 저자들은 전통적인 비백트래킹 연산자나 플뢰케 이론을 사용하지 않고, 트레이스 항등식과 레졸벤트 근사를 이용해 고유벡터들의 평균적 균일성을 직접 증명한다. 구체적으로, 임의의 로컬 관측자 (K_N) (또는 대각 행렬 (a_N))에 대해
\