Borel PMP 그래프의 스펙트럼 이론과 측정 가능한 색채·매칭 정리

초록

본 논문은 유한 차수 Borel 확률보존(pmp) 그래프에 대한 스펙트럼 이론을 체계화한다. 인접 연산자와 라플라시안의 스펙트럼을 이용해 근사 측정 가능한 이분성, 색채수 상한·하한, 함수에 의해 생성된 그래프의 색채수 2n+1 상한, 그리고 측정 가능한 튜트 조건을 제시한다. 마지막으로 로컬‑글로벌 수렴 하에서 스펙트럼의 연속성을 증명한다.

상세 분석

이 논문은 전통적인 유한 그래프 스펙트럼 이론을 Borel 확률보존(pmp) 그래프라는 무한 가산 구조에 성공적으로 확장한다는 점에서 큰 의미를 가진다. 먼저 저자들은 인접 연산자 (T_G)와 라플라시안 연산자 (L_G=D_G-T_G)를 정의하고, 이 연산자들이 유계이며 자기수반(self‑adjoint)임을 보인다. 이는 스펙트럼을 실수 구간으로 다룰 수 있게 하며, Borel 전이(transports)를 이용한 새로운 증명 기법을 제시한다.

핵심 결과인 정리 A는 근사 측정 가능한 이분성(approximate measurable bipartiteness)과 스펙트럼 대칭성 사이의 정확한 대응을 제시한다. 특히 정규·에르고딕 그래프에서 스펙트럼에 (-d)가 포함되고 스펙트럼 갭이 존재하면, 그래프는 근사 이분성을 갖는다. 이는 유한 그래프에서의 “스펙트럼이 0에 대해 대칭이면 이분성”이라는 고전적 명제의 무한 버전이며, 근사 고유함수와 Borel 전이의 정밀한 제어가 핵심이다.

정리 B는 Wilf의 고전적 상한 (\chi(G)\le \lfloor \lambda_{\max}\rfloor+1)을 측정 가능한 색채수 (\chi_{\mathrm{appr}}^\mu(G))에 그대로 옮긴다. 여기서 (\lambda_{\max}=M(T_G))는 인접 연산자의 스펙트럼 반경이며, 차수가 아닌 스펙트럼 반경에 기반한 상한을 제공한다. 특히 비정규 그래프에서 이 상한은 기존의 차수+1 혹은 Brooks 정리보다 현저히 강력하다. 증명은 평균 차수가 (M(T_G)) 이하임을 이용해 저차수 정점들을 단계적으로 제거하고, 리스트 색칠 알고리즘을 적용하는 “역방향 리스트 색칠” 기법을 사용한다.

정리 C는 함수에 의해 생성된 그래프(즉, (n)개의 bounded‑to‑one Borel 함수가 정의하는 그래프)의 근사 측정 가능한 색채수를 (2n+1) 이하로 제한한다. 이는 이전에 알려진 이차 상한을 넘어서는 최적 상한이며, Borel 전이와 역방향 리스트 색칠 아이디어를 결합해 얻는다.

정리 D는 Hoffman의 독립집합 하한을 측정 가능한 색채수에 적용한다. 구체적으로 (\chi_{\mathrm{appr}}^\mu(G)\le \lceil 1- M(T_G)/m(T_G)\rceil)를 보이며, 여기서 (M(T_G))와 (m(T_G))는 인접 연산자의 최대·최소 스펙트럼값이다. 정규 그래프에서는 라플라시안 스펙트럼을 통해 간단히 증명되지만, 비정규 경우에는 블록 행렬 분해와 스펙트럼 블록 부등식(Lemma 6.6)을 활용한다.

정리 E는 Brouwer‑Haemers의 완전 매칭 조건을 측정 가능한 형태로 변형한다. 에르고딕 정규 그래프에 대해 라플라시안의 최소·최대 Rayleigh 비율 (m_L, M_L)이 (2m_L\ge M_L)을 만족하면, “엄격한 측정 가능한 튜트 조건”을 만족한다는 것을 보인다. 이는 기존의 튜트 정리와 달리 측정 가능성을 보장하는 새로운 매칭 존재 조건이다.

마지막으로 섹션 8에서는 로컬‑글로벌 수렴(local‑global convergence) 하에서 스펙트럼이 연속함을 증명한다. 이는 유한 그래프 시퀀스의 극한 그래프가 Borel pmp 그래프가 될 때, 스펙트럼이 한계값으로 수렴한다는 강력한 결과이며, 그래프 한계 이론과 스펙트럼 이론을 연결한다. 전체적으로 이 논문은 측정 가능성, Borel 구조, 그리고 스펙트럼 분석을 결합해 무한 그래프 이론에 새로운 도구와 정리를 제공한다.