바리센트릭 세분화의 스펙트럼 보편성

초록

바리센트릭 세분화를 반복하면 그래프 라플라시안의 스펙트럼이 지수적으로 수렴한다. 이 극한은 초기 그래프의 클리크 수(최대 완전 부분그래프의 크기)만에 의해 결정되며, 그래프의 구체적인 구조와는 무관하다. 논문은 클리크 벡터를 바리센트릭 연산자 A 로 변환하는 선형 매핑을 제시하고, Aᵀ의 고유벡터가 오일러 특성 등 정수형 기하학적 불변량을 만든다는 점을 증명한다.

상세 분석

이 논문은 두 가지 핵심 아이디어를 결합한다. 첫 번째는 그래프 G의 모든 비공허 완전 부분그래프(클리크)를 정수 벡터 v = (v₀,v₁,…) 로 기록하고, 바리센트릭 세분화 G→G¹이 이 벡터에 선형 연산 A를 적용함을 보이는 것이다. A는 상삼각 행렬이며 대각 원소 Aₖₖ = k! 로, 이는 k‑차 클리크가 (k+1)!개의 새로운 (k+1)‑차 클리크로 분해된다는 사실을 반영한다. 행렬 A의 전치 Aᵀ는 고유값 λₙ = n! 를 갖고, 특히 λ₁ = 1에 대응하는 고유벡터 f = (1,‑1,1,‑1,…) 은 오일러 특성 χ(G)=∑(‑1)ᵏvₖ 를 보존한다는 것을 보여준다. 즉, 바리센트릭 세분화는 토폴로지적으로 동형이면서도 클리크 구조만을 확대한다는 의미다.

두 번째 아이디어는 라플라시안 스펙트럼의 함수적 표현 F_G(x)=λ_{⌊nx⌋} 를 L¹(