정점 세이델 에너지와 그 스펙트럼적 특성

초록

본 논문은 그래프의 세이델 행렬 절대값의 대각 원소를 이용해 정의되는 ‘정점 세이델 에너지’를 도입하고, 이를 스펙트럼 형태로 표현한다. 완전 그래프, 완전 이분 그래프, 팔레이·컨퍼런스 그래프 등에 대해 정확한 식을 구하고, 일반 그래프에 대한 상·하한을 제시한다. 또한 정점 에너지의 일정성 조건, 쿠울슨형 적분 공식, 그리고 세이델 스위칭·보완에 대한 불변성을 증명한다.

상세 분석

논문은 먼저 세이델 행렬 (S(G)=J-I-2A(G)) 를 정의하고, 절대값 행렬 (|S|=(S^{2})^{1/2}) 를 이용해 정점 (v_i) 의 에너지 (E_S(v_i)=|S|{ii}) 를 제시한다. 이 정의는 기존의 그래프 에너지 개념을 행렬‑벡터 내적 형태 (\sum_j w{ij}^2|\theta_j|) 로 전개할 수 있음을 보이며, 여기서 (\theta_j) 는 세이델 고유값, (w_{ij}) 는 정규 직교 고유벡터의 성분이다. 따라서 전체 세이델 에너지 (E_S(G)=\operatorname{tr}|S|=\sum_iE_S(v_i)) 와 일치한다.

두 개의 절대 고유값만을 갖는 경우(예: 완전 그래프, 완전 이분 그래프, 컨퍼런스·팔레이 그래프)에는 정점 에너지가 모두 동일함을 보이는 식 (1)을 유도한다. 이 식은 (\Pi_a=S^2-b^2I) 라는 투영 연산자를 이용해 (q_i=(\Pi_a)_{ii}) 를 구하고, (E_S(v_i)=b+(a-b)q_i) 로 정리한다. 특히 완전 그래프 (K_n) 에서는 (a=n-1, b=1) 이므로 (E_S(v_i)=2(n-1)n) 가 된다.

일반적인 상한은 코시–슈와르츠 부등식을 적용해 (E_S(v_i)\le\sqrt{n-1}) 로 얻는다. 등호가 성립하려면 (S^2=(n-1)I) 이어야 하는데, 이는 대칭 ((0,\pm1)) 행렬이면서 ‘대칭 컨퍼런스 행렬’이라 불리는 특수 경우와 일치한다. 하한은 호lder 부등식을 이용해 (\displaystyle E_S(v_i)\ge (n-1)^{3/2}\bigl(