[논문 리뷰] The McKean-Singer Formula in Graph Theory

Oliver Knill|arXiv (Cornell University)|2013. 01. 08.

Graph theory and applications참고 문헌 27인용 수 33

한 줄 요약

이 논문은 그래프 이론에서 McKean-Singer 공식을 수립하여, 유한 단순 그래프 G의 오일러 특성수 χ(G)가 그래프 라플라스 연산자 L일 때 임의의 복소수 시간 t에 대해 열핵 e^{-tL}의 슈퍼트레이스와 같음을 증명한다. 이 결과는 t=0에서의 오일러-포앵카레 공식과 t→∞ 근처에서의 호지 정리로 일반화되며, cos(tD)와 같은 유니터리 진동으로까지 확장되어 이산 기하학에서 깊은 스펙트럼적이고 위상수학적 연결을 드러낸다.

ABSTRACT

For any finite simple graph G=(V,E), the discrete Dirac operator D=d+d* and the Laplace-Beltrami operator L=d d* + d* d on the exterior algebra bundle Omega are finite v times v matrices, where dim(Omega) = v is the sum of the cardinalities v(k) of the set G(k) of complete subgraphs K(k) of G. We prove the McKean-Singer formula chi(G) = str(exp(-t L)) which holds for any complex time t, where chi(G) = str(1)= sum (-1)k v(k) is the Euler characteristic of G. The super trace of the heat kernel interpolates so the Euler-Poincare formula for t=0 with the Hodge theorem in the real limit t going to infinity. More generally, for any continuous complex valued function f satisfying f(0)=0, one has the formula chi(G) = str(exp(f(D))). This includes for example the Schroedinger evolutions chi(G) = str(cos(t D)) on the graph. After stating some general facts about the spectrum of D which includes statements about the complexity, the product of the non-zero eigenvalues as well as a perturbation result estimating the spectral difference of two graphs, we mention as a combinatorial consequence that the spectrum of D encodes the number of closed paths in the simplex space of a graph. McKean-Singer implies that the number of closed paths of length n starting at an even dimensional simplex is the same than the number of closed paths of length n starting at an odd dimensional simplex. We give a couple of worked out examples and see that McKean-Singer allows to find explicit pairs of non-isometric graphs which have isospectral Dirac operators.

연구 동기 및 목표

• 리만 기하학에서 알려진 McKean-Singer 초대칭 공식을 유한 단순 그래프로 확장하기.
• 그래프의 오일러 특성수가 그 라플라스 연산자의 열핵의 슈퍼트레이스에 의해 암묵적으로 포함됨을 보여주기.
• 공식이 임의의 복소수 시간 t에 대해 성립하고, cos(tD)와 같은 유니터리 진동으로 일반화됨을 보여주기.
• 디라크 연산자 D의 스펙트럼이 단순체 공간 내 폐쇄된 경로와 같은 조합적 자료를 암묵적으로 포함함을 입증하기.
• 디라크 연산자와 그래프 위의 라플라스 연산자를 사용하여 호지 이론과 코homology의 이산적 해석 제공하기.

제안 방법

• 유한 단순 그래프 G 위의 외부 대칭대체(bundle) Ω에 대해 이산 디라크 연산자 D = d + d* 를 정의하기.
• p-형식 위에서 작용하는 라플라스-벨트라미 연산자 L = D² = dd* + d*d 를 구성하며, L은 대칭적이고 유한차원임을 보장하기.
• McKean-Singer 공식: χ(G) = str(e^{-tL}) 를 스펙트럼 분해와 슈퍼트레이스 성질을 이용해 증명하기.
• Hodge 분해 Ω = im(d) ⊕ im(d*) ⊕ ker(L) 를 사용하여, t=0에서 슈퍼트레이스가 오일러 특성수로 줄어듦을 보여주기.
• f(0)=0 인 임의의 연속 복소수 함수 f에 대해 f(D)로 일반화하여 χ(G) = str(e^{f(D)}) 를 도출하기.
• 유니터리 진동, 예를 들어 cos(tD) 및 슈뢰딩거 유형 진동에 공식을 적용하여 오일러 특성수가 이러한 동역학 하에서 보존됨을 보여주기.

실험 결과

연구 질문

• RQ1 미분기하학에서 알려진 McKean-Singer 공식을 유한 단순 그래프로 확장할 수 있는가?
• RQ2 이산적 상황에서 열핵 e^{-tL}의 슈퍼트레이스는 오일러 특성수 χ(G)와 어떻게 관련이 있는가?
• RQ3 디라크 연산자 D는 그래프의 위상수학적 및 기하학적 불변량을 어떻게 암묵적으로 포함하는가?
• RQ4 열핵을 초월하여 cos(tD)와 같은 D의 함수로 공식을 일반화할 수 있는가?
• RQ5 D의 스펙트럼은 그래프의 단순체 공간 내 폐쇄된 경로와 같은 조합적 구조와 어떻게 관련이 있는가?

주요 결과

• 모든 복소수 t에 대해 McKean-Singer 공식 χ(G) = str(e^{-tL}) 이 성립하며, 이는 t=0에서의 오일러-포앵카레 공식과 t→∞ 근처에서의 호지 정리를 통합한다.
• 열핵의 슈퍼트레이스는 오일러 특성수와 조화 형식의 차원 사이를 보간하며, 이는 이산적 상황에서 호지-웨일 정리의 확인을 제공한다.
• f(0)=0 인 임의의 연속 복소수 함수 f에 대해 χ(G) = str(e^{f(D)}) 가 성립함을 보여, 공식이 유니터리 진동으로 일반화됨을 입증한다.
• Schrödinger 유형 진동 T(f(t), f(t-1)) = (Df(t) - f(t-1), f(t)) 에 공식을 적용하여 이러한 동역학 하에서 오일러 특성수가 보존됨을 보여준다.
• 디라크 연산자 D의 스펙트럼은 그래프의 단순체 공간 내 폐쇄된 경로의 수를 암묵적으로 포함하며, 새로운 조합적 불변량을 제공한다.
• 명시적 예시를 통해 등거리가 아닌 그래프들이 등스펙트럼 디라크 연산자를 가질 수 있음을 보여, 공식이 등스펙트럼 그래프 구성에 유용함을 입증한다.